Umetanja u topologiji

U topologiji, umetanje je neprekidno i injektivno preslikavanje \( f: X \rightarrow Y \) između dva topološka prostora \( X \) i \( Y \), takvo da \( f \) inducira homeomorfizam između prostora \( X \) i njegove slike \( f(X) \), pri čemu je \( f(X) \) opremljen topologijom induciranom iz prostora \( Y \).

Jednostavnije rečeno, umetanje omogućava da se topološki prostor \( X \) "smjesti" unutar prostora \( Y \) bez narušavanja njegove topološke strukture.

Da bi neko preslikavanje bilo umetanje, mora zadovoljiti tri osnovna uslova:

1. preslikavanje \( f \) mora biti neprekidno;
2. \( f \) mora biti injektivno, odnosno različite tačke prostora \( X \) moraju imati različite slike u prostoru \( Y \);
3. inverzno preslikavanje \( f^{-1} \), definirano na slici \( f(X) \), mora također biti neprekidno.

Drugim riječima, umetanje čuva topološku strukturu prostora \( X \) unutar njegove slike \( f(X) \), pa se \( f(X) \) može posmatrati kao topološki potprostor prostora \( Y \).

Jedan konkretan primjer

Posmatrajmo dva topološka prostora:

• Prostor \( X \)
  Neka je \( X = \{a, b, c\} \), sa topologijom \( \mathcal{T}_X = \{\emptyset, \{a\}, \{a, b\}, X\} \).
• Prostor \( Y \)
  Neka je \( Y = \{1, 2, 3, 4\} \), sa topologijom \( \mathcal{T}_Y = \{\emptyset, \{1\}, \{1, 2\}, \{1, 2, 3\}, Y\} \).

Definirajmo sada preslikavanje \( f: X \rightarrow Y \):

$$ f(a) = 1 \\ f(b) = 2 \\ f(c) = 3 $$

Provjerimo korak po korak da li je ovo preslikavanje umetanje.

1. Neprekidnost preslikavanja

Preslikavanje \( f: X \rightarrow Y \) je neprekidno (vidi definiciju preko otvorenih skupova) ako je inverzna slika svakog otvorenog skupa iz \( Y \) otvoren skup u \( X \).

Provjerimo otvorene skupove prostora \( Y \):

• \( f^{-1}(\emptyset) = \emptyset \in \mathcal{T}_X \)
• \( f^{-1}(\{1\}) = \{a\} \in \mathcal{T}_X \)
• \( f^{-1}(\{1,2\}) = \{a,b\} \in \mathcal{T}_X \)
• \( f^{-1}(\{1,2,3\}) = X \in \mathcal{T}_X \)
• \( f^{-1}(Y) = X \in \mathcal{T}_X \)

Pošto su sve inverzne slike otvoreni skupovi u prostoru \( X \), slijedi da je \( f \) neprekidno preslikavanje.

2. Injektivnost

Preslikavanje je injektivno jer različiti elementi prostora \( X \) imaju različite slike u prostoru \( Y \):

$$ f(a) = 1 \\ f(b) = 2 \\ f(c) = 3 $$

Nijedna dva elementa iz \( X \) nisu preslikana u istu tačku prostora \( Y \).

3. Neprekidnost inverznog preslikavanja

Slika preslikavanja je:

$$ f(X)=\{1,2,3\} \subseteq Y $$

Na ovom podskupu definiše se inducirana topologija:

$$ \mathcal{T}_{f(X)} = \{\emptyset,\{1\},\{1,2\},\{1,2,3\}\} $$

Sada provjeravamo da li je inverzno preslikavanje \( f^{-1}: f(X)\rightarrow X \) neprekidno.

Potrebno je pokazati da je inverzna slika svakog otvorenog skupa iz \( \mathcal{T}_X \) otvorena u \( \mathcal{T}_{f(X)} \):

• \( \emptyset \mapsto \emptyset \)
• \( \{a\} \mapsto \{1\} \)
• \( \{a,b\} \mapsto \{1,2\} \)
• \( X \mapsto \{1,2,3\} \)

Svi ovi skupovi su otvoreni u induciranoj topologiji, pa je i \( f^{-1} \) neprekidno.

Zaključak

Preslikavanje \( f \) jeste umetanje, zato što:

• je neprekidno;
• je injektivno;
• njegovo inverzno preslikavanje na slici također je neprekidno.

Iako skup \( f(X)=\{1,2,3\} \) ne pokriva cijeli prostor \( Y \), on zadržava topološku strukturu prostora \( X \).

Razlika između umetanja i homeomorfizma

• Homeomorfizam
  Homeomorfizam predstavlja potpunu topološku ekvivalenciju između dva prostora. Preslikavanje mora biti bijektivno, neprekidno i imati neprekidno inverzno preslikavanje.
• Umetanje
  Umetanje ne mora preslikati cijeli prostor \( Y \), nego samo umeće prostor \( X \) u neki njegov dio, pri čemu se topološka struktura prostora \( X \) očuva unutar slike \( f(X) \).

Ukratko, homeomorfizam povezuje dva topološka prostora u potpunosti, dok umetanje čuva topologiju jednog prostora unutar podskupa drugog prostora.

I tako dalje...