Baza topologije

Baza topologije je skup otvorenih podskupova \( B \) iz kojih se svaki otvoreni skup u topološkom prostoru \( T \) može sastaviti običnom unijom. Drugim rečima, baza predstavlja najjednostavniji skup „građevinskih elemenata" od kojih se gradi cela topologija.

Zamislimo da je dat skup \( X \) sa kolekcijom \( T \) podskupova koji zajedno čine topologiju. U tom okviru, baza topologije je kolekcija \( B \) nazvana bazni skupovi, koja ispunjava dva osnovna uslova:

• Svaka tačka \( x \in X \) pripada bar jednom baznom skupu.
• Za svaku tačku \( x \) koja leži u preseku dva bazna skupa \( B_1 \) i \( B_2 \), postoji treći bazni skup \( B_3 \in B \) koji sadrži tu tačku i u celosti leži u preseku \( B_1 \cap B_2 \).
  

Ova dva uslova obezbeđuju da kolekcija \( B \) doista određuje topologiju \( T \).

Zašto je baza važna?

Baza omogućava da veliku kolekciju otvorenih skupova zamenimo manjim i preglednijim skupom generatora. Umesto da navodimo sve otvorene skupove, dovoljno je poznavati bazne skupove i način njihovog kombinovanja.

Napomena: Uslov o preseku obezbeđuje da topologija poštuje osnovna pravila, posebno da je presek dva otvorena skupa i dalje otvoren.

Primer na jednostavnom skupu

Posmatrajmo skup:

$$ X = \{a, b, c \} $$

i topologiju:

$$ T = \{ \emptyset, \{ a \}, \{ b,c \}, \{ a,b,c \} \} $$

Ova topologija sadrži sve otvorene skupove definisane na \( X \).

Jedna moguća baza za ovu topologiju je:

$$ B = \{ \{ a \}, \{ b,c \} \} $$

Zašto ovaj izbor funkcioniše? Svaka tačka pripada bar jednom od ove dve grupe, a svi otvoreni skupovi iz \( T \) mogu se sastaviti spajanjem ova dva bazna skupa.

Provere:

• \( \{a\} \in B \)
• \( \{b,c\} \in B \)
• \( \{a,b,c\} = \{a\} \cup \{b,c\} \)

Napomena: Prazan skup je uvek prisutan u topologiji, jer je nepravi podskup svakog skupa i po definiciji se smatra otvorenim: $$ \emptyset \in T $$

Ovaj primer lepo pokazuje kako baza funkcioniše na malom skupu. Kod većih ili beskonačnih skupova ideja je ista, samo se bazni skupovi obično biraju pažljivije.

Druga moguća baza

Umesto prethodne, možemo izabrati i sledeću bazu:

$$ B = \{ \{ a \}, \{ b \}, \{ c \} \} $$

Reč je o jednoelementnim skupovima, odnosno singltonima. I ova baza uspešno generiše celu topologiju, jer sve otvorene skupove možemo dobiti njihovim unijama.

Provera:

• \( \varnothing \) je otvoren skup.
• \( \{a\} \in B \)
• \( \{b,c\} = \{b\} \cup \{c\} \)
• \( X = \{a\} \cup \{b\} \cup \{c\} \)

Napomena: Jedna topologija može imati više različitih baza. To je potpuno uobičajeno i često korisno, jer različite baze istu strukturu prostora prikazuju iz različitih uglova.

Primer iz realne analize

Standardna topologija na realnoj pravoj \( \mathbb{R} \) ima veoma poznatu bazu: sve otvorene intervale.

$$ B = \{ (a,b) \subseteq \mathbb{R} \mid a < b \} $$

Svaka tačka realne prave pripada nekom otvorenom intervalu, što zadovoljava prvi uslov. Drugi uslov je takođe ispunjen: presek dva otvorena intervala koji sadrže istu tačku uvek sadrži manji otvoreni interval oko nje.

Na primer, presek intervala \( (0,3) \) i \( (2,4) \) je otvoreni interval \( (2,3) \):

Dakle: $$ (0,3) \cap (2,4) = (2,3) \in B $$

Dodatne napomene

Baza zasnovana na singltonima može generisati veliki broj topologija. Na primer, baza \( B = \{ \{a\}, \{b\}, \{c\} \} \) može proizvesti sledeće topologije:

• \( T = \{ \varnothing, \{b\}, \{a,c\}, X \} \)
• Trivijalna topologija \( \{ \varnothing, X \} \)
• Diskretna topologija sa svim podskupovima skupa \( X \)

Napomena: U ovom slučaju prvi uslov baze je trivijalno ispunjen, a drugi je automatski zadovoljen jer su singltoni međusobno disjunktni.

Baze predstavljaju jedan od ključnih alata u topologiji. Zahvaljujući njima, možemo razumeti strukturu prostora počevši od najosnovnijih elemenata i videti kako celokupna topologija nastaje njihovim spajanjem.