для каждых двух различных существует такое, что (выпуклость Менгера)
каждое -ограниченное множество бесконечной мощности имеет точки накопления
для каждого существует такое, что для любых различных точек существует такое, что ( геодезические локально продолжаемы)
для любых различных точек , если таких, что , и , то (геодезические продолжения единственны).
тогда говорят, что X является G - пространством Буземана . Каждое G -пространство Буземана является однородным пространством .
Гипотеза Буземана утверждает, что каждое G -пространство Буземана является топологическим многообразием . Это частный случай гипотезы Бинга–Борсука . Известно, что гипотеза Буземана верна для размерностей от 1 до 4. [1] [2]
Ссылки
^ М., Халверсон, Дениз; Душан, Реповш (23 декабря 2008 г.). «Гипотезы Бинга–Борсука и Буземана». Математические коммуникации . 13 (2). arXiv : 0811.0886 . ISSN 1331-0623.{{cite journal}}: CS1 maint: несколько имен: список авторов ( ссылка )