MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let (X,d) be a polish space. Does the metric d have to be measurable (regarding the Borel sigma-algebra in the product space)?

share|cite|improve this question

closed as too localized by Andrés E. Caicedo, Todd Trimble, Emil Jeřábek, Andreas Blass, Yemon Choi Aug 15 '11 at 20:41

This question is unlikely to help any future visitors; it is only relevant to a small geographic area, a specific moment in time, or an extraordinarily narrow situation that is not generally applicable to the worldwide audience of the internet. For help making this question more broadly applicable, visit the help center.If this question can be reworded to fit the rules in the help center, please edit the question.

If you just say "complete metric" but not "separable", then the answer can be negative. Take $X$ of power greater than the continuum, and the discrete metric (all nontrivial distances are $1$) so that the algebra of Borel sets is the full power set. But the diagonal in $X \times X$ is not measurable for the product sigma-algebra. And thus the metric is not a Borel function.

share|cite|improve this answer
The diagonal is trivially Borel on account of its being closed. Am I missing something? – Emil Jeřábek Aug 15 '11 at 14:13
The argument above ($d$ is [Lipschitz] continuous, and therefore Borel-measurable) works for arbitrary metric spaces, no assumption of completeness or separability is needed. – Emil Jeřábek Aug 15 '11 at 14:21
@EJ: That is true if you endow the product with the sigma-algebra generated by the open sets in the product topology. But the product sigma-algebra is generated by the product of the Borel sigma-algebras. For non-separable metric spaces these sigma-algebras differ. Arguably, the question was about the first notion, but I'm not sure about that. – Michael Greinecker Aug 15 '11 at 14:56

The metric function is continuous, therefore measurable.

One can show that measurable functions can be built with a hierarchy similar to the Borel hierarchy. You start with continuous functions (into $\mathbb R$), then take pointwise limits, and reiterate $\omega_1$ many steps (each time taking pointwise limits of previously defined stages).

This is done by taking functions that preserve $\Sigma^0_\alpha$ and $\Pi^0_\alpha$ sets (i.e. a preimage of a $\Sigma^0_\alpha(\mathbb R)$ is $\Sigma^0_\alpha(X)$, similarly for $\Pi$. Continuous functions are indeed the first level, as preimage of open/closed set is an open/closed set), and prove by induction that the pointwise limits behave as we would like.

share|cite|improve this answer

Not the answer you're looking for? Browse other questions tagged or ask your own question.