2014 dxdy logo

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

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




На страницу 1, 2  След.
 
 Задачи по топологии
Сообщение15.04.2009, 18:56 
Здравствуйте!!!
Помогите разобраться с понятием базы...Счётной базы...
Есть следующая задачка:
1. Покажите, что если пространство имеет счётную база, то каждая база этого пространства содержит счётное семейство, являющееся базой

 
 
 
 
Сообщение15.04.2009, 20:10 
Аватара пользователя
Перенесено из корневого раздела

 
 
 
 
Сообщение15.04.2009, 20:56 
Аватара пользователя
А какие у Вас есть идеи?

Вот, например, пусть $X$ - топологическое пространство, $\mathcal B$ - его (не более чем) счётная база, $\mathcal B'$ - любая база. Пусть $\mathscr A$ - множество таких упорядоченных пар $(U,V)$ элементов базы $\mathcal B$, для которых найдётся элемент $W\in \mathcal B'$, удовлетворяющий условию $U\subseteq W\subseteq V$. Как использовать семейство $\mathscr A$ для построения (не более чем) счётной базы $\mathcal B''\subseteq\mathcal B'$?

 
 
 
 
Сообщение19.04.2009, 14:24 
Вот если честно, у меня никаких идей нет...собственно поэтому и спрашиваю..Мне интересно разобраться....
Просто я вообще не сталкивалась раньше с базами....
А тут вот пришлось...

 
 
 
 
Сообщение19.04.2009, 18:38 
Аватара пользователя
Арианна! Есть ли у Вас доступ к книге П.С. Александрова "Введение в теорию множеств и общую топологию"? В этой книге на странице 131 Вы найдёте нужную Вам теорему, правда, в более общем виде. Упомянутый в этой теореме вес топологического пространства -- "наименьшее кардинальное число, являющееся мощностью какой-либо базы пространства". Это определение Вы найдёте на странице 128.

 
 
 
 
Сообщение19.04.2009, 19:58 
Я поробую найти эту книгу... Спасибо...

 
 
 
 
Сообщение20.04.2009, 09:30 
Доказав след. коротенькую лемму Линделефа можно получить док-во непосредственно:
Цитата:
В пространстве со счетной базой из любого открытого покрытия данного мн-ва можно выделить счетное подпокрытие.


( просто фиксируем в каждом элементе исходного произвольного покрытия множество всех его составляющих из счетной базы, объединением последних получаем некоторое подмножество счетной базы, обратно, для последнего выбираем по одному элементы исходного покрытия, в котором оно лежит )

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

 
 
 
 
Сообщение20.04.2009, 18:17 
Ух ты....спасибо большое....
Буду обмазговывать.... :)

 
 
 
 
Сообщение20.04.2009, 21:32 
Аватара пользователя
Арианна в сообщении #206117 писал(а):
Вот если честно, у меня никаких идей нет...собственно поэтому и спрашиваю..Мне интересно разобраться....


Ну, я Вам хорошую идею предложил. Подскажу дальше. Пусть $\mathscr A$ - то семейство, которое я определил выше. Для каждой пары $(U,V)\in\mathscr A$ зафиксируем элемент $W_{U,V}\in\matcal B'$, удовлетворяющий условию $U\subseteq W\subseteq V$. Покажите, что семейство $\mathcal B''=\{W_{U,V}:(U,V)\in\mathscr A\}$ (не более чем) счётно и является базой.

Подумайте также над таким вопросом. Предположим, что топологическое пространство $X$ имеет конечную базу $\mathcal B$, и пусть $\mathcal B'$ - любая база. Верно ли, что существует база $\mathcal B''\subseteq\mathcal B'$, удовлетворяющая условию $|\mathcal B''|\leqslant|\mathcal B|$?

 
 
 
 
Сообщение21.04.2009, 16:16 
Ну наверное может существовать такая база, которая удовлетворяет тому условию, что вы написали. :) [/code]

 
 
 
 
Сообщение21.04.2009, 17:02 
Аватара пользователя
Someone писал(а):
Подумайте также над таким вопросом. Предположим, что топологическое пространство $X$ имеет конечную базу $\mathcal B$, и пусть $\mathcal B'$ - любая база. Верно ли, что существует база $\mathcal B''\subseteq\mathcal B'$, удовлетворяющая условию $|\mathcal B''|\leqslant|\mathcal B|$?


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

 
 
 
 
Сообщение21.04.2009, 20:20 
Аватара пользователя
Виктор Викторов в сообщении #206751 писал(а):
которая содержится во всех базах пространства


Эту базу можно определить явно, причём, её мощность не превосходит мощности пространства $X$.

Арианна в сообщении #206733 писал(а):
Ну наверное может существовать такая база, которая удовлетворяет тому условию, что вы написали.


Это не ответ. Ну ладно, моя задача для Вас посторонняя. С первоначальной-то задачей Вы разобрались? Хоть одним из предложенных Вам способов?

 
 
 
 
Сообщение21.04.2009, 21:19 
Ну на вашу постороннюю для меня задачу вам кажется ответили :)
А со своей задачей я не разобралась ещё. Я не думала, что всё это так сложно (по-крайней мере для меня). Какие-то леммы Линделёфа и т.д. :)
А в вашем расуждении, я так понимаю, что осталось только показать, что B с двумя штрихами - счётно и является базой!

 
 
 
 
Сообщение21.04.2009, 22:09 
Аватара пользователя
Не отвлекайтесь на лемму Линделёфа, сосредоточьтесь на моём варианте. Тем более, если Вы найдёте рекомендованную Вам книгу П.С.Александрова, Вы обнаружите там именно такое рассуждение (для произвольного бесконечного веса). То, что Вам здесь осталось показать, делается в несколько строчек.

Добавлено спустя 1 минуту 50 секунд:

Арианна в сообщении #206835 писал(а):
Ну на вашу постороннюю для меня задачу вам кажется ответили


Было бы интереснее, если бы ответили Вы. Особенно если Вы хотите разобраться с базами.

 
 
 
 
Сообщение21.04.2009, 22:35 
Аватара пользователя
Someone писал(а):
Не отвлекайтесь на лемму Линделёфа, сосредоточьтесь на моём варианте. Тем более, если Вы найдёте рекомендованную Вам книгу П.С.Александрова, Вы обнаружите там именно такое рассуждение (для произвольного бесконечного веса). То, что Вам здесь осталось показать, делается в несколько строчек.


Уважаемый Someone!
Чем Вам не понравилось доказательство id? Красиво и просто. А доказательство из книги П.С.Александрова само собой надо знать.

 
 
 [ Сообщений: 20 ]  На страницу 1, 2  След.


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group