Measurable total order

MathOverflow Asked by Aryeh Kontorovich on November 5, 2020

Under what conditions on a metric space $X$, equipped with the Borel $sigma$-algebra, does there exist a measurable total ordering of the elements of $X$?

By "measurable total ordering" we mean that any initial segment $I_y:={x: x<y}$ is Borel-measurable.

Edit: We know that separability is sufficient for a measurable total order to exist.

Edit II: Vladimir Pestov (private communication) has shown that a measurable total order always exists; will post answer soon with link to full paper.

One Answer

As mentioned in the OP, Vladimir Pestov has answered the question affirmatively. See Appendix D here:

Correct answer by Aryeh Kontorovich on November 5, 2020

Add your own answers!

Related Questions

A certain property for Heegaard splittings

1  Asked on January 15, 2021 by no_idea


Cut points and critical points of the exponential map

0  Asked on January 9, 2021 by longyearbyen


Eigendecomposition of $A=I+BDB^H$

0  Asked on January 9, 2021 by user164237


Ask a Question

Get help from others!

© 2022 All rights reserved. Sites we Love: PCI Database, MenuIva, UKBizDB, Menu Kuliner, Sharing RPP