Journal    Friends    Archive    User Info    memories
 

dimpas - топологическое...

Feb. 3rd, 2006 10:51 pm топологическое...

напомните мне грешному, почему кривая Пеано обязана иметь самопересечения. Не могу вспомнить.
А студенты могут спросить, ох могут...

(Про кривую Пеано им знать не положено, но они спросили, почему дифференцируемость отображений
важна; теперь обратного пути нету :))

12 comments - Leave a commentPrevious Entry Add to Memories Tell A Friend Next Entry

Comments:

From:[info]jedal@lj
Date:February 3rd, 2006 - 12:35 pm
(Link)
Потому что инъективное отоброжение компакта — гомеоморфизм на образ, а отрезок и квадрат не гомеоморфны.
From:[info]clearspringleaf@lj
Date:February 4th, 2006 - 03:16 am
(Link)
+1
From:[info]dimpas@lj
Date:February 11th, 2006 - 03:21 am
(Link)
кстати, не знаешь, почему канторово множество С гомеоморфно СхС – где–то видел такое утверждение,
без доказательства. Как–то подозрительно, так ли это...
From:[info]clearspringleaf@lj
Date:February 11th, 2006 - 08:55 am
(Link)
Канторово множество - это построенное канонически? Отрезок делим на три равные части, среднюю выкидываем, потом опять на три и так далее? Гомеоморфно своему квадрату? Верится с трудом, но если кто-то знает, то это [info]zavr@lj
From:[info]dimpas@lj
Date:February 11th, 2006 - 09:28 am
(Link)
угу, канонически – но это неважно:

The Cantor set can be characterized by these properties: every nonempty totally-disconnected perfect compact metric space is homeomorphic to the Cantor set. See Cantor space for more on spaces homeomorphic to the Cantor set.

отсюда:
http://en.wikipedia.org/wiki/Cantor_set

From:[info]clearspringleaf@lj
Date:February 11th, 2006 - 09:36 am
(Link)
Но они же разной меры бывают. Бывают нулевой, бывают положительной
From:[info]dimpas@lj
Date:February 11th, 2006 - 09:48 am
(Link)
тээкс, кто–то из двух пиздит не прав – или Федя, или Википедя...
From:[info]clearspringleaf@lj
Date:February 11th, 2006 - 09:55 am
(Link)
Ну представь себе, что при построении канторовского множества на каждом шаге ты будешь делить не на равные три части, а на разные, и выкидывать всё меньше и меньше. Все качественные свойства канторовского множества сохранятся, но оно будет положительной меры
From:[info]dimpas@lj
Date:February 11th, 2006 - 10:15 am
(Link)
если будет положительной меры, то компоненты не все будут точками, так ведь?
А у канторовского мн–ва С все компоненты – точки...
Да, вот, кроме Википеди, "Counterexamples in topology" р.58 то же самое говорит...
Счетно–бесконечное произведение двухточечных дискретных пространств гомеоморфно С.
From:[info]clearspringleaf@lj
Date:February 11th, 2006 - 10:19 am
(Link)
А иррациональные числа - множество положительной меры, но все компоненты точки. Разве нет?
From:[info]dimpas@lj
Date:February 11th, 2006 - 10:58 am
(Link)
да, это правильно, конечно...
Но они же не будут своему квадрату гомеоморфны...
From:[info]clearspringleaf@lj
Date:February 11th, 2006 - 11:09 am
(Link)
Ну про канторовское множе ство я бы тоже так сказал, но видишь как удивительно оно устроено... Короче, не знаю