Skip to main content
1 of 3
Packo
  • 285
  • 1
  • 6

Sufficient condition for the graph of a measurable map to be measurable

Let $f:X \to Y$ be measurable map between measurable spaces w.r.t. to their corresponding $\sigma$-algebras $\Sigma_X$ and $\Sigma_Y$, resp.

If $(X,\Sigma_X)$ is a standard Borel space can we always conclude that the graph: $$ \Gamma(f) := \{ (x,y) \in X \times Y \mid y=f(x) \} $$ is measurable, i.e. an element of the product $\sigma$-algebra $\Sigma_X \otimes \Sigma_Y$?

Note that I'm interested in the case where $(Y,\Sigma_Y)$ is a general measurable space and not restricted to e.g. being countably separated, which would imply the claim (even for general $(X,\Sigma_X)$).

Packo
  • 285
  • 1
  • 6