2014 dxdy logo

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

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




 
 Аксиома отделимости Т2
Сообщение27.07.2015, 19:26 
Как доказать, что топологическое пространство удовлетворяет $T_2$ в том и только в том случае, если каждая точка $x$ равна пересечению замыканий всех её окрестностей?

Аналогичная задача для аксиомы $T_1$, только в ней пересечение не замыканий, а просто окрестностей. Её решал (импликация слева направо) так:

Пусть $y \in U$, для некоторой окрестности $U$. Согласно аксиоме $T_1$ существует для $x$ такая окрестность $V$, что $y$ не принадлежит $V$, следовательно $y$ не лежит в $V \cap U$. Так как $y$ было выбрано случайно, то имеем, что пересечение всех окрестностей равно точке $x$. Обратная импликация тоже легко.

Но этот же прием не работает в случае с хаусдорфовым топологическим пространством. Как с ним быть?

 
 
 
 Re: Аксиома отделимости Т2
Сообщение27.07.2015, 22:53 
Аватара пользователя
Braga в сообщении #1040887 писал(а):
Пусть $y \in U$, для некоторой окрестности $U$. Согласно аксиоме $T_1$ существует для $x$ такая окрестность $V$, что $y$ не принадлежит $V$, следовательно $y$ не лежит в $V \cap U$. Так как $y$ было выбрано случайно, то имеем, что пересечение всех окрестностей равно точке $x$. Обратная импликация тоже легко.
Ничего не понял из вашего "доказательства. Что за "икс" с "игреком", что за окрестности? Что доказывается?

 
 
 
 Re: Аксиома отделимости Т2
Сообщение27.07.2015, 23:20 
Пардон :) читайте обновленный вариант:

Аналогичная той задаче, которую у меня не выходит решить, есть и для аксиомы $T_1$, которая звучит очень похоже:
Топологическое пространство удовлетворяет аксиоме $T_1$ в том и только в том случае, если каждая его точка $x$ есть пересечение всех её окрестностей.

Выбираем точку $x$ произвольно и хотим показать, что пересечение всех её окрестностей есть одноэлементное множество $\lbrace x \rbrace$. Пусть $U$ - некоторая окрестность x и пусть $y \in U$ произвольная точка этой окрестности такая, что $x \neq y$. Тогда существует, согласно аксиоме $T_1$ такая окрестность $x$ $V$, что $y$ не лежит в $V$. В таком случае, если $\lbrace U_{\alpha} \rbrace_{\alpha \in A} $ множество всех окрестностей точки х, то $\cap_{\alpha \in A} U_{\alpha} \subset V \cap U$ и $y$ не принадлежит $V \cap U$, следовательно не принадлежит и $\cap_{\alpha \in A} U_{\alpha}$. Так как окрестность $U$ и точка $y$ были выбраны произвольно, то отсюда следует, что $\cap_{\alpha \in A} U_{\alpha}=\lbrace x \rbrace$

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

 
 
 
 Re: Аксиома отделимости Т2
Сообщение28.07.2015, 01:00 
Аватара пользователя
Зачем нужна окрестность $U$? Без неё проще.

Braga в сообщении #1040922 писал(а):
кажется, будто что-то должно быть очень подобное.
Да, очень подобное. Почистите своё рассуждение от ненужных окрестностей и подумайте, как его модифицировать для хаусдорфова пространства.

 
 
 
 Re: Аксиома отделимости Т2
Сообщение28.07.2015, 13:03 
Дайте, пожалуйста, точнее наводку

 
 
 
 Re: Аксиома отделимости Т2
Сообщение28.07.2015, 22:55 
Аватара пользователя
Выкиньте из доказательства окрестность $U$, а взамен введите обозначение для того топологического пространства, о котором Вы говорите.

 
 
 [ Сообщений: 6 ] 


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