2014 dxdy logo

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

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




На страницу 1, 2, 3, 4  След.
 
 Контрпримеры в теории множеств [топология]
Сообщение24.06.2013, 23:17 
Аватара пользователя
В теории множеств большинство материала - определения, которые как снежный ком растут и растут, точнее как дерево или более сложный граф; и каждое следующее включает предыдущие, и чтобы понять что-то одно, нужно понимать всё предыдущее.

Для их понимания часто бывают нужны контрпримеры. Не говоря уже о примерах. Примеры более-менее легко строятся в большинстве случаев.

Контрпримеры же помогли бы понять сущность определения.


Итак.

"Топология - это семейство множеств, удовлетворяющее двум условиям: пересечение двух любых элементов семейства является элементом семейства и объединение элементов любого подсемейства семейства принадлежит семейству."
И объединение X всех множеств семейства - пространство топологии семейства. И семейство есть топология на X.

Как может пересечение двух множеств, принадлежащих семейству, не принадлежать семейству? Ведь все элементы этих двух множеств принадлежат семейству. И значит, элементы в пересечении принадлежат семейству также.

Или речь идет о другом? Нариусем три произвольных фигуры на листе бумаги (в том числе так, чтобы они по-всякому пересекались) и скажем, что вот ОНИ образуют семейство. Но чтобы они образовали топологию, нужно включить в семейство ещё и их попарные пересечения и объединения? А затем и пересечения и объединения пересечений и объединений, и т.д.? Это верное рассуждение?

Тогда - контрпример готов, и для начала хватит.

 
 
 
 Re: Контрпримеры в теории множеств
Сообщение24.06.2013, 23:25 
Аватара пользователя
Alex_J в сообщении #740095 писал(а):
Или речь идет о другом? Нариусем три произвольных фигуры на листе бумаги (в том числе так, чтобы они по-всякому пересекались) и скажем, что вот ОНИ образуют семейство. Но чтобы они образовали топологию, нужно включить в семейство ещё и их попарные пересечения и объединения? ...
Именно так.

 
 
 
 Re: Контрпримеры в теории множеств
Сообщение24.06.2013, 23:26 
Alex_J в сообщении #740095 писал(а):
Топология - это семейство множеств, удовлетворяющее двум условиям: пересечение двух любых элементов семейства является элементом семейства и объединение элементов любого подсемейства семейства принадлежит семейству."

про пустое множество забыли

 
 
 
 Re: Контрпримеры в теории множеств
Сообщение25.06.2013, 00:14 
Oleg Zubelevich в сообщении #740100 писал(а):
про пустое множество забыли

Да вроде не забыли.

 
 
 
 Re: Контрпримеры в теории множеств
Сообщение25.06.2013, 00:29 
а где про это написано?

 
 
 
 Re: Контрпримеры в теории множеств
Сообщение25.06.2013, 00:37 
Из двух приведенных условий следует, что пустое множество принадлежит этому семейству.

 
 
 
 Re: Контрпримеры в теории множеств
Сообщение25.06.2013, 00:37 
докажите это плз

 
 
 
 Re: Контрпримеры в теории множеств
Сообщение25.06.2013, 00:42 
Предлагаю во втором условии взять объединение элементов пустого подсемейства.

 
 
 
 Re: Контрпримеры в теории множеств
Сообщение25.06.2013, 00:44 
а почему пустое подсемейство входит входит в семейство?

 
 
 
 Re: Контрпримеры в теории множеств
Сообщение25.06.2013, 00:45 
Аватара пользователя
Oleg Zubelevich в сообщении #740111 писал(а):
а где про это написано?

Слово "любой" в математике достаточно всеобъемлющее, чтобы избегать уточнений "в том числе...".

ИСН в сообщении #740099 писал(а):
Именно так.


Тогда, например, множество отрезков $[a,b]$ на вещественной прямой, где a и b - целые, является топологией, а множество таких же отрезков, но при условии, что $|a-b|>1$, не является, т.к. пересечениями непременно будут отрезки длины 1.

На клетчатом листе бумаги все фигуры из клеток (в том числе несвязные?) должны быть включены в семейство, чтобы стать топологией. Так?

На непрерывной же плоскости всё множество двумерных фигур, в том числе и одномерные, и все точки - образуют топологию.


Далее речь идёт о том, что элементы топологии открыты - видимо, все. Элемент топологии - множество, значит, речь идёт об открытости множеств, а определение открытости затрагивает элементы множеств. Или речь идёт об окрестностях множеств? Это что за зверь такой? И что такое окрестность элемента дискретного множества? Вот это - непонятно. Ведь непрерывность множеств никак не следует из определения топологии, значит, можем иметь дело и с дискретными. Как тогда понимать открытость?

 
 
 
 Re: Контрпримеры в теории множеств
Сообщение25.06.2013, 00:47 
Oleg Zubelevich в сообщении #740116 писал(а):
а почему пустое подсемейство входит входит в семейство?

Потому что в каждом множестве есть пустое подмножество.

 
 
 
 Re: Контрпримеры в теории множеств
Сообщение25.06.2013, 00:49 
ну значит авторы учебников по топологии этого не знают

 
 
 
 Re: Контрпримеры в теории множеств
Сообщение25.06.2013, 00:53 
Аватара пользователя
Oleg Zubelevich в сообщении #740119 писал(а):
ну значит авторы учебников по топологии этого не знают


Да хватит вам. Сказано "любое" - значит в том числе пустое. Сказано "кроме пустого"? Нет, не сказано.

 
 
 
 Re: Контрпримеры в теории множеств
Сообщение25.06.2013, 00:54 
ну, вообще да, можно и так

 
 
 
 Re: Контрпримеры в теории множеств
Сообщение25.06.2013, 00:55 
Думаю, у многих авторов учебников имеется подсознательный страх перед понятием пустого множества.

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


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