Malfermaĵo: Malsamoj inter versioj
| [kontrolita revizio] | [kontrolita revizio] |
Enhavo forigita Enhavo aldonita
Moldur (diskuto | kontribuoj) e Je topologio -> En topologio |
e Lingva plibonigo Etikedoj: Poŝtelefona redakto Redakto de poŝaparata retejo Altnivela poŝaparata redaktado |
||
Linio 4:
Supozu ke <math>S \subseteq X</math> estas subaro en [[topologia spaco]] <math>X</math>. Konsideru la kolekton <math>\mathcal T(X)</math> de ĉiuj malfermitaj aroj de <math>X</math>. El tiuj, konsideru la subkolekton
:<math>\{U\in\mathcal T(X)\colon U\subseteq S\}</math>
de tiuj malfermitaj aroj, kiuj estas subaroj de <math>S</math>. Ĉi tiu estas [[parte ordita aro]] laŭ la rilato de subareco. Ĝi havas unikan [[maksimuma elemento|maksimumon]], ĉar la [[
:<math>S^\circ = \bigcup \{U\in\mathcal T(X)\colon U\subseteq S\}</math>.
'''Interna punkto''' de <math>S</math> estas elemento de la malfermaĵo de <math>S</math>.
| |||