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.

As mentioned in the OP, Vladimir Pestov has answered the question affirmatively. See Appendix D here: https://arxiv.org/pdf/1906.09855.pdf

Correct answer by Aryeh Kontorovich on November 5, 2020

1 Asked on January 19, 2021 by adittya-chaudhuri

cech cohomology ct category theory grothendieck topology nonabelian cohomology

0 Asked on January 17, 2021 by harry-gindi

0 Asked on January 17, 2021 by manfred-weis

1 Asked on January 16, 2021 by learning-math

geometric probability pr probability probability distributions st statistics

18 Asked on January 16, 2021

big list mathematics education open problems soft question thesis

3 Asked on January 16, 2021 by jochen-glueck

fa functional analysis linear algebra matrix analysis oa operator algebras operator theory

1 Asked on January 15, 2021

1 Asked on January 15, 2021 by no_idea

10 Asked on January 14, 2021 by edmund-harriss

big list ho history overview mathematical philosophy sociology of math

1 Asked on January 13, 2021 by david-jones

computational number theory conjectures nt number theory prime numbers

0 Asked on January 13, 2021 by jianrong-li

1 Asked on January 12, 2021

0 Asked on January 12, 2021 by francesco-polizzi

combinatorial group theory finite groups gap geometric group theory gr group theory

2 Asked on January 11, 2021 by user839372

ac commutative algebra coalgebras hopf algebras reference request

0 Asked on January 10, 2021 by goulifet

duality fa functional analysis integration schwartz distributions

0 Asked on January 10, 2021 by stabilo

cones derived categories modules quasi isomorphism triangles

0 Asked on January 9, 2021 by longyearbyen

0 Asked on January 9, 2021 by user164237

1 Asked on January 9, 2021 by bill-bradley

ca classical analysis and odes convex analysis convex optimization matrices permanent

1 Asked on January 9, 2021 by lrnv

Get help from others!

Recent Questions

Recent Answers

- Jon Church on Why fry rice before boiling?
- haakon.io on Why fry rice before boiling?
- Peter Machado on Why fry rice before boiling?
- Lex on Does Google Analytics track 404 page responses as valid page views?
- Joshua Engel on Why fry rice before boiling?

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