Rodzina lokalnie skończona
Z Wikipedii
Rodzina lokalnie skończona jest pojęciem topologii ogólnej, charakteryzujące rodziny zbiorów przestrzeni topologicznej. Szczególnym przypadkiem rodziny skońćzonej jest rodzina dyskretna Uwaga: rodzina dyskretna jest pojęciem różnym od pojęcia zbioru dyskretnego.
[edytuj] Definicja
Niech X będzie przestrzenią topologiczną. Mówimy, że rodzina podzbiorów przestrzeni topologicznej X jest lokalnie skończona, gdy dla każdego punktu istnieje otoczenie U takie, że zbiór jest skończony. Jeżeli każdy punkt ma otoczenie przecinające co najwyżej jeden element rozważanej rodziny, to rodzinę tę nazywamy dyskretną. Rodzinę zbiorów nazywamy σ-lokalnie skończoną (σ-dyskretną) jeśli jest przeliczalną sumą rodzin lokalnie skończonych (dyskretnych).
[edytuj] Własności
- Każda rodzina dyskretna, bądź skończona, jest lokalnie skończona.
- Dla każdej rodziny lokalnie skończonej spełniona jest równość
- ,
- gdzie cl jest operacją domknięcia.
- Jeśli jest rodziną lokalnie skończoną i wszystkie zbiory z tej rodziny są domnięte (domnięto-otwarte), to jest zbiorem domniętym (domnięto-otwartym).
- Jeśli jest rodziną lokalnie skończoną (dyskretną), to rodzina jest również rodziną lokalnie skończoną (dyskretną).[1]
[edytuj] Źródła
- ↑ Engelking, Ryszard; General Topology; Helderman, Berlin, 1989. strona 29-31. ISBN 3-88538-006-4