ThmDex – An index of mathematical definitions, results, and conjectures.
F10849
Formulation 0
Let $f : X \to Y$ be a D1519: Constant map from $X$ to $Y$ such that
(i) $M_Y = (Y, \mathcal{F}_Y)$ is a D1108: Measurable space
(ii) $\sigma_{\text{pullback}} \langle f \rangle$ is a D1730: Pullback sigma-algebra on $X$ under $f$ with respect to $M_Y$
Then \begin{equation} \sigma_{\text{pullback}} \langle f \rangle = \{ \emptyset, X \} \end{equation}