Hustá sada
Aktuální verze stránky ještě nebyla zkontrolována zkušenými přispěvateli a může se výrazně lišit od
verze recenzované 1. dubna 2022; ověření vyžaduje
1 úpravu .
Hustá množina je podmnožina prostoru, jejíž body se mohou libovolně dobře aproximovat libovolnému bodu uzavírajícího prostoru. Formálně řečeno, je hustý v případě, že jakékoli okolí libovolného bodu z obsahuje prvek z .
![A](https://wikimedia.org/api/rest_v1/media/math/render/svg/7daff47fa58cdfd29dc333def748ff5fa4c923e3)
![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![A](https://wikimedia.org/api/rest_v1/media/math/render/svg/7daff47fa58cdfd29dc333def748ff5fa4c923e3)
Definice
- Říká se, že sada je všude hustá , pokud je hustá uvnitř
![A](https://wikimedia.org/api/rest_v1/media/math/render/svg/7daff47fa58cdfd29dc333def748ff5fa4c923e3)
![X.](https://wikimedia.org/api/rest_v1/media/math/render/svg/5ba76c5a460c4a0bb1639a193bc1830f0a773e03)
Poznámka
Výše uvedená definice hustoty sady je ekvivalentní kterékoli z následujících:
- Sada je hustá tehdy a jen tehdy, když uzávěr obsahuje , tedy . Zejména je všude hustý, pokud .
![A](https://wikimedia.org/api/rest_v1/media/math/render/svg/7daff47fa58cdfd29dc333def748ff5fa4c923e3)
![B](https://wikimedia.org/api/rest_v1/media/math/render/svg/47136aad860d145f75f3eed3022df827cee94d7a)
![{\displaystyle {\bar {A}}\supset B}](https://wikimedia.org/api/rest_v1/media/math/render/svg/94a598eee1e7df8604a61c6b5b424cff9b311cd5)
![A](https://wikimedia.org/api/rest_v1/media/math/render/svg/7daff47fa58cdfd29dc333def748ff5fa4c923e3)
![{\displaystyle {\bar {A}}=B}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dc80ffa6691efd38739cb1568cc0fd2da22d7169)
- Množina je hustá tehdy a jen tehdy, když se vnitřek doplňku k neprotíná s , tedy . Zejména je všude hustý, pokud .
![A](https://wikimedia.org/api/rest_v1/media/math/render/svg/7daff47fa58cdfd29dc333def748ff5fa4c923e3)
![A](https://wikimedia.org/api/rest_v1/media/math/render/svg/7daff47fa58cdfd29dc333def748ff5fa4c923e3)
![B](https://wikimedia.org/api/rest_v1/media/math/render/svg/47136aad860d145f75f3eed3022df827cee94d7a)
![{\displaystyle \left(A^{\complement }\right)^{0}\cap B=\emptyset }](https://wikimedia.org/api/rest_v1/media/math/render/svg/1171c520db4e82ed37a2b445ac86c60c82eda608)
![A](https://wikimedia.org/api/rest_v1/media/math/render/svg/7daff47fa58cdfd29dc333def748ff5fa4c923e3)
![{\displaystyle \left(A^{\complement }\right)^{0}=\emptyset }](https://wikimedia.org/api/rest_v1/media/math/render/svg/a4a21b2bffbe1862108632ec2c7e30cd8d1d8119)
Příklady
Viz také
Literatura
- R. A. Aleksandryan, E. A. Mirzakhanyan . Obecná topologie - M: Vyšší škola, 1979.
- Kelly J. L. Obecná topologie - M .: Nauka, 1968
- Engelking R. Obecná topologie - M .: Mir, 1986
- Viro O. Ya., Ivanov O. A., Kharlamov V. M., Netsvetaev N. Yu. Elementary topology Archived 19. února 2012 na Wayback Machine . Tutoriál v úlohách (rus., angl.)