Топологично пространство

от Уикипедия, свободната енциклопедия
Направо към: навигация, търсене

Дефиниция[редактиране | edit source]

Фамилия T\, от подмножества на множеството M се нарича (отворена) топология или фамилия на неговите отворени подмножества, ако изпълнява следните свойства:

  • самото множество \mathcal{X} и празното множество принадлежат на T\,,
  • обединенията на елементи на T\, са елементи на T\,,
  • сеченията на краен брой елементи на T\, са също елементи на T\,.

Наредената двойка (\mathcal{X},T) се нарича топологично пространство, елементите на \mathcal{X} - елементи или точки на топологичното пространство, а елементите на T\, - отворени множества.

Основни понятия и свойства[редактиране | edit source]

Фамилията F=\{\mathcal{B}:\mathcal{B}=\mathcal{X}\setminus\mathcal{A}\}_{\mathcal{A}\in T} от подмножества на \mathcal{X} се нарича фамилия на затворените подмножества на \mathcal{X}. Лесно може да се покаже, че сечението на затворени множества и обединението на краен брой затворени множества също е затворено множество.

Затворена обвивка на подмножество \mathcal{A} на \mathcal{X} се нарича сечението на всички затворени подмножества, на които \mathcal{A} е подмножество. Затворената обвивка на \mathcal{A} се бележи с \overline{\mathcal{A}}.

Множеството Int(\mathcal{A})=\mathcal{X}\setminus\overline{(\mathcal{X}\setminus\mathcal{A})} се нарича вътрешност на \mathcal{A}.

Множеството Fr(\mathcal{A})=\overline{\mathcal{A}}\cap\overline{(\mathcal{X}\setminus\mathcal{A})} се нарича контур или граница на \mathcal{A}.

Отворена околност на x\in\mathcal{X} се нарича всяко отворено множество, което съдържа x\,. Околност на x\, се нарича всяко подмножество на \mathcal{X} сред подмножествата, на което има отворена околност на x\,. Фамилията от околности на x\, образува филтър, който се нарича филтър от околности на x\, и се бележи най-често с \mathfrak{U}(x).\,

Алтернативни дефиниции на топологично пространство[редактиране | edit source]

Възможно е понятията затворени подмножества, затворена обвивка, вътрешност, контур и филтри от околности да бъдат въведени и аксиоматично по подобие на по-горе формулираната дефиницията на отворено множество, а самото понятие отворено множество да бъде дефинирано чрез тях. Може да се покаже, че всички тези алтернативни дефиниции на топологично пространство са дуални помежду си, т.е. че чрез тях се задават едни и същи (в топологичен смисъл) структури.

Дефиниране чрез посочване на затворените множества[редактиране | edit source]

Фамилия F\, от подмножества на множеството \mathcal{X} се нарича (затворена) топология или фамилия на неговите затворени подмножества, ако изпълнява следните свойства:

  • самото множество \mathcal{X} и празното множество принадлежат на F\,,
  • сеченията на елементи на F\, са елементи на F\,,
  • обединенията на краен брой елементи на F\, са също елементи на F\,.

Наредената двойка (\mathcal{X},F) се нарича топологично пространство, а елементите на F\, - затворени множества.

Фамилията T\, на отворените подмножества на \mathcal{X} се дефинира както следва:

T=\{\mathcal{A}:\mathcal{A}=\mathcal{X}\setminus\mathcal{B}\}_{\mathcal{B}\in F}

Дефиниране чрез задаване на затворените обвивки[редактиране | edit source]

Нека за всяко на множеството \mathcal{A}\subset\mathcal{X} е определено множеството \overline{\mathcal{A}}\subset\mathcal{X}, наречено затворена обвивка на \mathcal{A} и изпълняващо следните условия:

  • \overline{\mathcal{A}\cup\mathcal{B}}=\overline{\mathcal{A}}\cup\overline{\mathcal{B}}
  • \overline{\varnothing}=\varnothing
  • \mathcal{A}\subset\overline{\mathcal{A}}
  • \overline{(\overline{\mathcal{A}})}=\overline{\mathcal{A}}

Множеството \mathcal{X} заедно с функцията затворена обвивка се нарича топологично пространство.

Фамилията F\, на затворените подмножества на \mathcal{X} се дефинира както следва:

F=\{\mathcal{B}:\overline{\mathcal{B}}=\mathcal{B};\mathcal{B}\subset\mathcal{X}\},

а фамилията T\, на отворените подмножества на \mathcal{X}:

T=\{\mathcal{A}:\mathcal{A}=\mathcal{X}\setminus \overline{(\mathcal{X}\setminus\mathcal{A})};\mathcal{A}\subset\mathcal{X}\}

Дефиниране чрез задаване на вътрешност[редактиране | edit source]

Нека за всяко множеството \mathcal{A}\subset\mathcal{X} е определено множеството Int(\mathcal{A})\subset\mathcal{X}, наречено вътрешност на \mathcal{A} и изпълняващо следните условия:

  • Int(\mathcal{A})\subset\mathcal{A}
  • Int(Int(\mathcal{A}))=Int(\mathcal{A})
  • Int(\mathcal{X})=\mathcal{X}
  • Int(\mathcal{A}\cap\mathcal{B})=Int(\mathcal{A})\cap Int(\mathcal{B})

Множеството \mathcal{X} заедно с функцията вътрешност се нарича топологично пространство.

\mathcal{A}\, се нарича околност на x\, ако x\in Int(\mathcal{A}).

Отворени са множествата, които са околности на всяка своя точка.

Дефиниране чрез задаване на филтри от околности[редактиране | edit source]

Нека за всяка точка x\in\mathcal{X} е зададена фамилия от подмножества \mathfrak{U}(x)\subseteq \mathcal{X} наречена филтър от околности на x\, със свойствата:

  • \mathcal{U}\in \mathfrak{U}(x) \Rightarrow x\in \mathcal{U}
  • \mathcal{U},\mathcal{V}\in\mathfrak{U}(x)\Rightarrow\mathcal{U}\cap\mathcal{V}\in\mathfrak{U}(x)
  • \mathcal{V}\subseteq\mathcal{U}\in\mathfrak{U}(x) \Rightarrow \mathcal{V}\in\mathfrak{U}(x)
  • \forall \mathcal{U}\in\mathfrak{U}(x)\ \exists\mathcal{V} \in\mathfrak{U}(x) : y\in\mathcal{V}\Rightarrow \mathcal{U}\in\mathfrak{U}(y) .

\mathcal{X} заедно с филтирите от околности задават топологичното пространство: (\mathcal{X},\mathfrak{U}). Отворени в това топологично пространство са по дефиниция онези множества \mathcal{A}, за които:

x\in\mathcal{A} \Rightarrow \left\{\mathcal{U}:\mathcal{U}\in\mathfrak{U}(x),\ \mathcal{U}\subseteq  \mathcal{A}\right\}\neq\varnothing.

Конструиране на топологични пространства[редактиране | edit source]

Съществуват различни начини за конструиране на топологично пространство. Някои от тях са: чрез бази, чрез индуциране, чрез образуване на декартово произведение, чрез инитиални или чрез фактор-топологии.

Бази[редактиране | edit source]

База на топологичното пространство (\mathcal{X},T) е всяка фамилия от отворени множества B\subset T, за която

T=\left\{\bigcup_{\mathcal{A}\in B'}\mathcal{A}\right\}_{B'\subseteq B},

a подбаза - фамилия P\subset T, за която

T=\left\{\bigcap_{\mathcal{A}\in P'}\mathcal{A}\right\}_{P'\subseteq P:\ Card(P')<\aleph_0}

Породени и индуцирани топологични пространства[редактиране | edit source]

Всяко множество B \subseteq \{\mathcal{A}\}_{\mathcal{A}\subseteq \mathcal{X}}, което съдържа сеченията на краен брой свои елементи, е база на топологично пространство наречено породено от базата B\,.

Ако (\mathcal{X},T) е топологично пространство, а \mathcal{X'} е подмножество на \mathcal{X}, то пространството:

\left(\mathcal{X'},\left\{ \mathcal{A}\cap \mathcal{X}'  \right\}_{\mathcal{A}\in T}\right)

се нарича пространство с индуцирана от T\, върху \mathcal{X}'\, топология или подпространство на (\mathcal{X},T).

Декартово произведение на топологични пространства[редактиране | edit source]

Декартовото произведение на две топологични пространства (\mathcal{X},T) и (\mathcal{Y},S) се дефинира като пространството върху (\mathcal{X}\times\mathcal{Y}) породено от базата:

\left\{\mathcal{A}\times\mathcal{B}:\mathcal{A}\in T, \mathcal{B} \in S\right\}.

Възможно е да се конструира и декартовото произведние на произволна фамилия от топологични пространства. Те се наричат обобщени декартови произведения или топологии на Тихонов.

Сравняване на топологични пространства[редактиране | edit source]

Две топологични пространства могат да бъдат сравнени по следния начин: Пространството (\mathcal{X},T) се нарича по-грубо (в някои източници: по-бедно), а (\mathcal{X},S) - по-фино (по-богато), ако T\subseteq S, тоест ако всяко отворено множество в първото пространство е отворено и във второто. Тази терминология е дуална с едноименната терминология при филтрите: в по-финото/по-грубото пространство филтърът от околности на точката x\in\mathcal{X} е по-фин/по-груб.

Затворените множества в по-грубото пространство са затворени и в по-финото, а затворената обвивка на едно множество в по-грубото пространство съдържа затворената обвивка на това множество в по-финото пространство.

Сечение на две топологични пространства (\mathcal{X},T_1) и (\mathcal{X},T_2) се нарича пространсвото (\mathcal{X},T_1\cap T_2). За разлика от сечението подобно механично обединяване на топологични пространства е невъзможно, защото "обединението" на две топологични пространства (т.е. (\mathcal{X},T_1\cup T_2)) не винаги е топологично пространсво.

Сравнени по тяхната грубост топологичните пространства върху \mathcal{X} образуват пълна решетка. Долните граници в тази решетка могат да се определят като се пресечат пространсвата в подмножествата на решетката. Горните граници пък са най-грубите топологични пространства съдържащи тяхното обединение. Пълната решетка от топологични пространства върху \mathcal{X} притежава най-малък елемент - хаотичната топология: (\mathcal{X},\{\varnothing,\mathcal{X}\}) и най-голям елемент - дискретната топология: (\mathcal{X},\{\mathcal{A}\}_{\mathcal{A}\subset\mathcal{X}}).

Литература[редактиране | edit source]

  • Schubert H., Topologie - eine Einführung, B. G. Teubner Stuttgart, 1964
  • Александров П., Введение в теорию множеств и общую тополгию, "Наука", Москва, 1977
  • Куратовски К., Увод в теория на множествата и топологията, изд. "Наука и изкуство", София, 1979
  • Александрян Р., Мирзаханян Э., Общая топология, , "Высшая школа", Москва, 1979
  • Heuser H., Lehrbuch der Analysis, Teil 2, B. G. Teubner Stuttgart, 1981