Здравствуйте.
В книжке Коснёвски по топологии есть такая задача (12.10(o))
, где:
Необходимо доказать, что
линейно связно, но не локально линейно связно.
Для множества
это же утверждение я доказал, но не понимаю, почему оно верно и для
.
Набросок доказательства для
:
Линейная связность очевидна. Далее, любая точка, отличная от начала координат, имеет сколь угодно малую линейно связную окрестность (гомеоморфную либо отрезку, либо "крестику", либо букве Т).
Если же мы рассмотрим малую прямоугольную, вытянутую по вертикали окрестность
(стороны параллельны осям) начала координат, то и она будет линейно связной.
Интуитивно: все "обрезки" множества
вблизи нуля будут пересекать
внутри
(например, если
пересекает
на её правой границе), а тогда можно будет соединить любую точку из
с началом путём, проходящим через
.
(при достаточной малости), а точки
соединяются с
тривиальным образом. Значит
- линейно связная окрестность.
Ну а любая открытая окрестность в
содержит такой прямоугольник. Да, отношение его высоты к длине может стремиться к бесконечности, но мы всё равно сможем сделать высоту сколь угодно малой.
Где я заблуждаюсь?