Topologický priestor je základný pojem v topológii, odvetví matematiky zaoberajúcom sa vlastnosťami priestorov, ktoré sú zachované pri spojitých deformáciách (natiahnutí, zmrštení, bez trhania). V hrubých rysoch je to množina bodov spolu so zadanou kolekciou podmnožín nazývaných otvorené množiny, ktoré určujú, ktoré body sú „blízko“ seba a ako vyzerá okolité správanie bodov.

Základné definície a axiómy

Formálne je topologický priestor pár (X, T), kde X je množina a T je rodina podmnožín X (tzv. topológia) spĺňajúca tieto axiomy:

  • ∅ (prázdna množina) a X sú v T (sú otvorené).
  • Arbitrána (ľubovoľná) zjednotenie množín z T patrí do T (ľubovoľné zjednotenie otvorených je otvorené).
  • Konečný prienik množín z T patrí do T (t. j. prienik dvoch alebo konečne mnohých otvorených je otvorený).

Za pomoci komplementu sa definuje aj pojem uzavretá množina: množina A je uzavretá, ak je jej doplnok X \ A otvorený. Z toho vyplývajú ekvivalentné formulácie: ľubovoľný prienik uzavretých množín je uzavretý a konečná zjednotenie uzavretých množín je uzavretá.

Okolia, vnútro, uzávierka a hraničné body

Pre bod x ∈ X sa nazýva okolie každá množina obsahujúca otvorenú množinu, ktorá obsahuje x. Vnútro množiny A (ozn. int(A)) je najväčšia otvorená množina obsiahnutá v A. Uzávierka množiny A (ozn. cl(A)) je najmenšia uzavretá množina obsahujúca A. Bod x je nazývaný hraničný

Príklady topológií

  • Triviálna (indiskrétna) topológia: T = {∅, X}. Len prázdna a celá množina sú otvorené.
  • Diskrétna topológia: T = P(X) — každá podmnožina je otvorená (a teda aj uzavretá).
  • Štandardná topológia na R^n: otvorené sú obežnice (alebo ich zjednotenia) podľa metriky euklidovskej; ide o príklad metrickej topológie, kde blízkosť určuje metrika.
  • Subspace (podpriestorová) topológia: pre Y ⊂ X sa ako otvorené v Y berú prieniky otvorených množín v X s Y.
  • Produktová topológia: na karteziánskom produkte rodín priestorov je najmenšia topológia, v ktorej sú otvorené všetky produktové množiny otvorených množín faktorov.

Základňa topológie a generovanie topológie

Často sa topológia špecifikuje pomocou základne B — rodiny otvorených množín takých, že každý otvorený je zjednotenie prvkov B a pre akékoľvek dva prvky b1, b2 ∈ B a bod x ∈ b1 ∩ b2 existuje b3 ∈ B s x ∈ b3 ⊂ b1 ∩ b2. Základňa uľahčuje konštrukciu a prácu s topológiami.

Kontinuita a homeomorfizmy

Funkcia f : X → Y medzi topologickými priestormi je spojitá, ak pre každú otvorenú množinu V v Y je f⁻¹(V) otvorená v X. Dve priestory sú homeomorfné, ak existuje bijektívna spojitá funkcia s kontinuálnym inverzom; homeomorfizmus zachováva topologické vlastnosti (napr. súvislosť, kompaktnosť).

Dôležité vlastnosti priestorov

  • Súvislosť: priestor je súvislý, ak neexistujú dve neprázdne disjunktné otvorené množiny, ktorých zjednotenie je celý priestor.
  • Kompaktnosť: priestor je kompaktý, ak z každého otvoreného pokrytia má konečné podpokrytie. V R^n s euklidovskou topológiou je podľa Heine–Borelova vety kompaktita ekvivalentná uzavretosti a obmedzenosti.
  • Separačné axiómy: rôzne stupne „oddeľovateľnosti“ bodov a množín (T0, T1, Hausdorff/T2 atď.). Napríklad Hausdorffov priestor (T2) je taký, že každý pár rôznych bodov má disjunktné okolité otvorené množiny.
  • Ďalšie vlastnosti: prvky ako prvky počítateľnosti (prvokové axiómy), lokálna kompaktita, parakompaktnosť, metrizovateľnosť a pod. sú dôležité v rozličných oblastiach topológie a analýzy.

Prečo študovať topologické priestory?

Topologické priestory poskytujú jednotný jazyk pre rôzne oblasti matematiky: analýzu (konvergencia, kontinuita), geometriu (tvar a deformácie), algebraickú topológiu (homotopia, homologická teória) a ďalšie. Pomáhajú formalizovať pojem „blízkosti“ bez potreby metriky a umožňujú skúmať vlastnosti invariantné voči spojitým transformáciám.

Krátke zhrnutie

Topologický priestor je množina s určenou rodinou otvorených množín spĺňajúcou tri základné axiomy. Z týchto jednoduchých pravidiel vzniká bohatá teória pojmov ako otvorené/uzavreté množiny, vnútro, uzávierka, kontinuita, kompaktita, súvislosť a ďalšie. Rôznymi voľbami otvorených množín môžeme z jednej a tej istej množiny vytvoriť veľmi odlišné topologické priestory (napr. diskrétny vs. indiskrétny), čo zdôrazňuje všeobecnosť a flexibilitu pojmu topológie.