Wnętrze (matematyka): Różnice pomiędzy wersjami
[wersja nieprzejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
Nie podano opisu zmian |
m <sup>o</sup> -> °, drobne techniczne |
||
Linia 1:
'''Wnętrze''' [[zbiór|zbioru]] (figury, bryły) ''F'' – w [[geometria|geometrii]] lub [[Topologia|topologii]] oznacza zbiór tych [[punkt
<center>[[
Na rysunku punkt ''W'' jest punktem wewnętrznym figury.
==
Z definicji wnętrza zbioru wynikają bezpośrednio poniższe jego własności.
#Wnętrze jest [[zbiór otwarty|otwartym podzbiorem]] ''F''.
Linia 12:
#int(int(''S'')) = int(''S'').
#Jeżeli ''S'' jest podzbiorem ''F'', to int(''S'') jest podzbiorem int(''F'').
#int(''S''
#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 [[Przestrzeń topologiczna|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 [[przestrzeń metryczna|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''.
==
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 [[Przestrzeń topologiczna#
==
*W dowolnej przestrzeni wnętrze zbioru pustego jest zbiorem pustym, a wnętrzem całej przestrzeni jest przestrzeń.
*W [[przestrzeń topologiczna dyskretna|przestrzeni dyskretnej]] każdy zbiór jest swoim wnętrzem.
|