Тапалагічная прастора: Розніца паміж версіямі

== Вызначэнне ==

Няхай дадзена [[мноства]] <math> X </math> . Сістэма <math> \mathcal{T}</math> яго падмноств называецца ''тапалогіяй'' на <math> X </math>, калі выкананы наступныя ўмовы:

# [[Аперацыі над мноствамі|Перасячэнне]] канечнага сямейства мностваў, якія належаць <math> \mathcal { T } </math> , належыць <math> \mathcal { T } </math>. Гэта значыць, што калі <math> U_ {i} \in \mathcal { T } \quad i = 1, \; \ldots , \; n </math>, то <math> \bigcap \limits_{i = 1}^n U_i \in \mathcal { T } </math>.

# <math> X, \; \varnothing \in \mathcal { T } </math>.

 

Пара <math> ( X, \; \mathcal { T } ) </math> называецца ''тапалагічнай прасторай''. Мноства, якія належаць <math> \mathcal { T } </math>, называюцца ''[[адкрытае мноства|адкрытымі мноствамі]]''. Элементы мноства <math> X </math>, на якім дана тапалогія, называюцца, як ў геаметрыі, пунктамі.

[[Катэгорыя:Тапалогія| ]]

[[Катэгорыя:Агульная тапалогія]]