Различия
Здесь показаны различия между двумя версиями данной страницы.
Предыдущая версия справа и слева Предыдущая версия Следующая версия | Предыдущая версия Последняя версия Следующая версия справа и слева | ||
glossary:topology:separable [09.01.2011 15:08:41] Ладилова Анна |
glossary:topology:separable [28.09.2013 18:51:24] Администратор |
||
---|---|---|---|
Строка 1: | Строка 1: | ||
====== Сепарабельное топологическое пространство ====== | ====== Сепарабельное топологическое пространство ====== | ||
- | <wrap hide>проверено. зачем же людей жуткими значками пугать?</wrap> | ||
===== Описание ===== | ===== Описание ===== | ||
__Определение 1.__ Пусть <latex>(X,\tau)</latex> --- [[:glossary:topology|топологическое пространство]] и <latex>A\subseteq X</latex> --- [[:glossary:set|подмножество]]. Говорят, что <latex> A </latex> --- **всюду плотное**((dense)) в <latex> X </latex>, если его [[:glossary:topology:point|замыкание]] совпадает со всем пространством: <latex>\overline{A}=X</latex>. | __Определение 1.__ Пусть <latex>(X,\tau)</latex> --- [[:glossary:topology|топологическое пространство]] и <latex>A\subseteq X</latex> --- [[:glossary:set|подмножество]]. Говорят, что <latex> A </latex> --- **всюду плотное**((dense)) в <latex> X </latex>, если его [[:glossary:topology:point|замыкание]] совпадает со всем пространством: <latex>\overline{A}=X</latex>. | ||
- | __Определение 2.__ Говорят, что топологическое пространство <latex>(X,\tau)</latex> является **сепарабельным**((separable space)), если оно содержит не более чем [[:glossary:set:cardinal:number|счетное]] всюду плотное множество<wrap hide>: <latex>(\exists A\subseteq X):(\vert A\vert\leqslant\aleph_0)\wedge(\overline{A}=X)</latex></wrap>. | + | __Определение 2.__ Говорят, что топологическое пространство <latex>(X,\tau)</latex> является **сепарабельным**((separable space)), если оно содержит не более чем [[:glossary:set:cardinal:number|счетное]] всюду плотное множество: <latex>(\exists A\subseteq X):(\vert A\vert\leqslant\aleph_0)\wedge(\overline{A}=X)</latex>. |
__Пример 1.__ Топологическое пространство <latex>(\mathbb{R},\tau_U)</latex> сепарабельное, а в качестве не более чем счетного всюду плотного множества можно выбрать <latex>A=\mathbb{Q}</latex>. | __Пример 1.__ Топологическое пространство <latex>(\mathbb{R},\tau_U)</latex> сепарабельное, а в качестве не более чем счетного всюду плотного множества можно выбрать <latex>A=\mathbb{Q}</latex>. |