2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


В этом разделе нельзя создавать новые темы.

Если Вы хотите задать новый вопрос, то не дописывайте его в существующую тему, а создайте новую в корневом разделе "Помогите решить/разобраться (М)".

Если Вы зададите новый вопрос в существующей теме, то в случае нарушения оформления или других правил форума Ваше сообщение и все ответы на него могут быть удалены без предупреждения.

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

Обязательно просмотрите тему Правила данного раздела, иначе Ваша тема может быть удалена или перемещена в Карантин, а Вы так и не узнаете, почему.



Начать новую тему Ответить на тему
 
 Связное "многообразие" без счётной базы
Сообщение01.12.2015, 21:48 
Заслуженный участник
Аватара пользователя


26/01/14
4845
Многообразием размерности $n$ называется хаусдорфово топологическое пространство со счётной базой, каждая точка которого имеет окрестность, гомеоморфную $\mathbb{R}^n$ (одно из возможных определений).

Меня интересуют примеры пространств, удовлетворяющих всем условиям из этого определения, кроме условия счётности базы.

Классический пример - произведение отрезка $[a,b]\mathbb{R}$ на такой же отрезок, но с дискретной топологией. Получается квадрат, снабжённый топологией без счётной базы и удовлетворяющей всем остальным условиям из определения многообразия. Кстати, "многообразие" получается размерности $1$, хоть и квадрат.

Но такое пространство не будет связным. Меня же интересуют связные примеры.
То есть, хотелось бы иметь примеры связных хаусдорфовых топологических пространств без счётной базы, каждая точка которых имеет окрестность, гомеоморфную $\mathbb{R}^n$

 Профиль  
                  
 
 Re: Связное "многообразие" без счётной базы
Сообщение01.12.2015, 22:24 


28/05/08
284
Трантор
Классический пример (и единственный, который я знаю) --- длинная полупрямая Александрова (https://en.wikipedia.org/wiki/Long_line_%28topology%29)

 Профиль  
                  
 
 Re: Связное "многообразие" без счётной базы
Сообщение01.12.2015, 22:50 
Заслуженный участник
Аватара пользователя


26/01/14
4845
Да, хороший пример.

 Профиль  
                  
 
 Re: Связное "многообразие" без счётной базы
Сообщение01.12.2015, 23:51 
Заслуженный участник


29/08/13
285
Рассмотрим квадрат $(0; 1)^2$. Возьмём на нём следующую базу топологии:
база состоит из всевозможных интервалов, лежащих на какой-нибудь прямой, проходящей через точку пересечения диагоналей квадрата. В любую базу придётся включать открытые подмножества, лежащие на каждой такой прямой, так что она несчётна.
Отсутствие связности вроде понятно: если можно представить в виде объединения непересекающихся непустых открытых, то можно найти такую прямую, которая не лежит целиком в каком-то одном из них и т.д.

 Профиль  
                  
 
 Re: Связное "многообразие" без счётной базы
Сообщение01.12.2015, 23:53 
Заслуженный участник
Аватара пользователя


01/03/06
13626
Москва
Mikhail_K в сообщении #1078694 писал(а):
Меня же интересуют связные примеры.

VanD в сообщении #1078725 писал(а):
Отсутствие связности вроде понятно
:facepalm:

 Профиль  
                  
 
 Re: Связное "многообразие" без счётной базы
Сообщение01.12.2015, 23:57 
Заслуженный участник


29/08/13
285
Brukvalub в сообщении #1078728 писал(а):
VanD в сообщении #1078725

писал(а):
Отсутствие связности вроде понятно :facepalm:


ОписАлся просто). Отсутствие отсутствия связности понятно)
Короче, понятно, что связно оно. :D

 Профиль  
                  
 
 Re: Связное "многообразие" без счётной базы
Сообщение02.12.2015, 06:11 
Заслуженный участник
Аватара пользователя


26/01/14
4845
VanD в сообщении #1078725 писал(а):
Рассмотрим квадрат $(0; 1)^2$. Возьмём на нём следующую базу топологии:
база состоит из всевозможных интервалов, лежащих на какой-нибудь прямой, проходящей через точку пересечения диагоналей квадрата.

Не годится.
Во-первых, такой базы не существует, она не удовлетворяет критерию базы. Возьмём два интервала на разных таких прямых, пересекающиеся в точке пересечения диагоналей. Вот.
Во-вторых, будем считать что Вы имели в виду предбазу. Возьмём множество, состоящее из одной точки - точки пересечения диагоналей квадрата. Оно будет открытое (как пересечение двух элементов предбазы) и замкнутое. Значит, наше пространство несвязное.
В-третьих, оно не будет многообразием вообще ни в каком смысле. Эта самая точка пересечения диагоналей квадрата не имеет окрестностей, гомеоморфных $\mathbb{R}$. Конечно, можно взять в качестве её окрестности любой интервал на любой из этих прямых, содержащий эту точку, но гомеоморфизма с обычным интервалом в $\mathbb{R}$ не будет.

 Профиль  
                  
 
 Re: Связное "многообразие" без счётной базы
Сообщение02.12.2015, 08:41 
Заслуженный участник
Аватара пользователя


08/11/11
5940
Ещё: https://en.wikipedia.org/wiki/Pr%C3%BCfer_manifold

 Профиль  
                  
 
 Re: Связное "многообразие" без счётной базы
Сообщение02.12.2015, 09:24 
Заслуженный участник


29/08/13
285
Mikhail_K в сообщении #1078750 писал(а):
Не годится.

Да, про точку пересечения-то я и забыл там где не надо :-(

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 9 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group