Wnętrze (matematyka): Różnice pomiędzy wersjami
[wersja nieprzejrzana] | [wersja nieprzejrzana] |
m robot dodaje: pt:Interior |
m robot dodaje: es:Interior de un conjunto |
||
Linia 39: | Linia 39: | ||
[[de:Innerer Punkt]] |
[[de:Innerer Punkt]] |
||
[[en:Interior (topology)]] |
[[en:Interior (topology)]] |
||
[[es:Interior de un conjunto]] |
|||
[[ko:내부 (위상수학)]] |
[[ko:내부 (위상수학)]] |
||
[[it:Interno (topologia)]] |
[[it:Interno (topologia)]] |
Wersja z 12:40, 7 lis 2006
Wnętrze zbioru (figury, bryły) F – w geometrii lub topologii oznacza zbiór tych punktów przestrzeni, które należą do zbioru F wraz z pewnym swoim otoczeniem. Wnętrze zbioru F oznaczamy Int(F), int(F) lub Fo. Punkty należące do wnętrza zbioru nazywamy punktami wewnętrznymi zbioru.
Na rysunku punkt W jest punktem wewnętrznym figury.
Własności
Z definicji wnętrza zbioru wynikają bezpośrednio poniższe jego własności.
- Wnętrze jest otwartym podzbiorem F.
- Wnętrze jest sumą wszystkich otwartych podzbiorow F.
- Wnętrze jest największym zbiorem otwartym zawartym w F.
- Zbiór jest otwarty wtedy i tylko wtegy, gdy jest swoim własnym wnętrzem.
- int(int(S)) = int(S).
- Jeżeli S jest podzbiorem F, to int(S) jest podzbiorem int(F).
- int(S∩F)=int(S)∩int(F)
- Jeżeli S jest zbiorem otwartym, to S jest podzbiorem F wtedy i tylko wtedy, gdy S jest podzbiorem int(F).
Wnętrze zbioru zależy od topologii – jeżeli na przestrzeni dane są dwie różne topologie, to jeden i ten sam zbiór punktów może być wnętrzem w jednej topologii, a w innej już nie.
Zauważmy też, że w przestrzeni metrycznej punkt p zbioru F jest puntktem wewnętrznym wtedy i tylko wtedy, gdy istnieje kula o środku w punkcie p całkowicie zawarta w zbiorze F.
Operacja wnętrza a topologia
Jeżeli operację brania wnętrza zbioru przyjmiemy jako pewną operację pierwotną na zbiorach, która spełnia warunki 5, 6, 7 oraz warunek int(X)=X, gdzie X oznacza całą przestrzeń, to może ona posłużyć do zdefiniowania topologii w zbiorze X.
Przykłady
- W dowolnej przestrzeni wnętrze zbioru pustego jest zbiorem pustym, a wnętrzem całej przestrzeni jest przestrzeń.
- W przestrzeni dyskretnej każdy zbiór jest swoim wnętrzem.
- Niech R oznacza zbiór liczb rzeczywistych z naturalną topologią. Wówczas:
- wnętrzem przedziału domkniętego [a, b] jest przedział otwarty (a, b)
- wnętrzem przedziału [a, b) jest przedział (a, b)
- wnętrzem zbioru skończonego jest zbiór pusty
- wnętrzem zbioru liczb wymiernych jest zbiór pusty
- wnętrzem zbioru liczb niewymiernych także jest zbiór pusty
- zbiór ma niepuste wnętrze wtedy i tylko wtedy, gdy zawiera pewien przedział.