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ą.
[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] Bibliografia
- ↑ Engelking, Ryszard; General Topology; Helderman, Berlin, 1989. strona 29-31. ISBN 3-88538-006-4