Topološki prostor je osnovni pojem v topologiji, veji matematike, ki preučuje lastnosti oblik in prostorov, ohranjenih pri zveznih preoblikovanjih (npr. raztezanju ali upogibanju, brez trganja). V najosnovnejši obliki je topološki prostor sestavljen iz množice točk in iz izbora nekaterih podmnožic te množice, ki jih imenujemo odprte množice. Odprte množice določajo, katere točke so si "v bližini" drugih točk, kar omogoča opredelitev pojmov kot so soseska, notranjost in zaprtje.

Definicija

Formalno: naj bo X neka množica. Topologija na X je družina podmnožic T (T ⊆ P(X)), katerih elementi imenujemo odprte množice, takšna, da velja:

  • ∅ ∈ T in X ∈ T (prazna množica in celoten prostor sta odprta),
  • zveza poljubnega (tudi neskončnega) števila množic iz T je v T,

Par (X, T) se imenuje topološki prostor.

Odprte in zaprte množice

Odprte množice so osnovni gradniki topologije. Množica A ⊆ X je zaprta, če je njen komplement X \ A odprt. Zaradi te definicije imajo zaprte množice lastne stabilnosti:

  • X in ∅ sta zaprti,
  • presečišče poljubnega (tudi neskončnega) števila zaprtih množic je zaprto,
  • zveza končnega števila zaprtih množic je zaprta.

Opomba: v besedilu se pojavi tudi izjava, da zveza končnega števila zaprtih množic mora biti zaprta — to izhaja prav iz definicije zaprtih kot komplementov odprtih. Če bi zahtevali iste lastnosti za neskončne zveze zaprtih množic, bi v nekaterih topologijah vse množice postale zaprte; zato je pogoj omejen na končno število. V nekaterih topologijah (npr. diskretni) so sicer res vse podmnožice hkrati odprte in zaprte.

Soseske (okolice) in povezani pojmi

Soseska točke x ∈ X je pogosto opredeljena kot odprta množica, ki vsebuje x. V bolj splošni uporabi je soseska poljubna množica V, ki vsebuje neko odprto množico U z x ∈ U ⊆ V — torej soseska ni nujno sama odprta, vendar vsebuje odprto okolico točke.

Nekateri pomembni pojmi, izpeljani iz odprtih množic:

  • Notranjost množice A (oznaka Int(A)) je največja odprta množica, ki je vsebovana v A.
  • Zaprtje množice A (oznaka cl(A) ali Ā) je najmanjša zaprta množica, ki vsebuje A.
  • Meja množice A je cl(A) \ Int(A) — točke, ki se "dotikajo" tako A kot komplementa.
  • Limitne točke (accumulacijske točke) so točke, pri katerih vsaka soseska vsebuje točko iz A različno od same te točke.

Primeri topologij

  • Standardna topologija na R: odprte množice so zveze odprtih intervalov (a,b). Ta topologija izhaja iz običajne metrike (absolutna razdalja).
  • Diskretna topologija: vse podmnožice X so odprte. Tak prostor je najfinejša možna topologija na X.
  • Trivialna (indiskretna) topologija: edini odprti množici sta ∅ in X. To je najslabša (najbolj groba) topologija.
  • Kofinitna topologija: odprte so ∅ in vse množice, katerih komplement je končen. Pogosta kot kontrprimer pri nekaterih lastnostih.
  • Topologija, ki jo da metrIn prostori: metrike (npr. razdalja d) definirajo odprte krogle B_r(x) = {y | d(x,y) < r}; zveze teh krogel ustvarijo topologijo.

Baze in podbaze

Za lažjo opisovanje topologij se pogosto uporablja pojem baza B ⊆ P(X): B je baza za topologijo T, če

  • za vsak x ∈ X obstaja vsaj ena B ∈ B, ki vsebuje x,
  • za vsak x in vsaki B1, B2 ∈ B, ki vsebujeta x, obstaja B3 ∈ B tak, da x ∈ B3 ⊆ B1 ∩ B2.

Topologija, ki jo generira baza B, je zbir vseh možnih zvez množic iz B. Podobno je podbaza družina S, katere zveze tvorijo bazo.

Kontekst in uporaba

Topološki koncepti so temeljni v mnogih delih matematike: analiza, geometrija, algebraična topologija, dinamični sistemi in še več. Nekaj pomembnih pojmov, povezanih s tehnologijo topologije:

  • Kontinuiteta: preslikava f : X → Y med topološkima prostoroma je kontinualna natanko tedaj, ko je f^{-1}(U) odprta v X za vsako odprto U v Y. Ta definicija posplošuje običajno definicijo kontinuitete iz analiz.
  • Clopen (odprto-zaprte) množice: množice, ki so hkrati odprte in zaprte. Vedno sta takšni vsaj ∅ in X; v diskretni topologiji so vse množice clopen.
  • Poveznost in kompaktnost: pomembne lastnosti topoloških prostorov z mnogimi posledicami v analizi in geometriji (npr. v kompaktnih prostorih so funkcije dosegle maksimum in minimum, pri ustreznih pogojih).

Zaključek

Enaka množica točk lahko nosi zelo različne topologije — od popolnoma grobe (le ∅ in X odprti) do popolnoma fine (vse množice odprte). Izbira odprtih množic določi, kaj razumemo kot bližino in sosesko točk, ter posledično vpliva na pojme kot so kontinuiteta, zaprtje, notranjost in druge topološke lastnosti. Razumevanje aksiomov in značilnih primerov omogoča prepoznavanje in konstrukcijo topoloških prostorov, ki so uporabni v različnih področjih matematike.