Ejercicio.

Sea X un conjunto no vacı́o, Y un espacio topológico con topologı́a Γ, y f : X −→ Y

una función sobreyectiva. Pruebe que la clase:

Ψ = {f −1 (U ) : U ∈ Γ}

es una topologı́a en X.
Solución.
Note que por ser f : X −→ Y una función sobreyectiva se tiene que:

∀y ∈ Y ∃x ∈ X tal que f (x) = y,

por tanto f (X) = Y .

Ahora, para demostrar que Ψ es una topologı́a en X se tienen que probar los siguientes tres puntos.

1. ∅, X ∈ Ψ:

Como Γ es una topologı́a en Y , se tiene que ∅, Y ∈ Γ. Luego por como esta definada Ψ

f −1 (∅) = {x ∈ X : f (x) ∈ ∅} = ∅

y
f −1 (Y ) = {x ∈ X : f (x) ∈ Y } = X
son elementos de Ψ.

2. Si (f −1 (Ui ))i∈I es una familia arbitraria de elementos en Ψ, entonces f −1 (Ui ) ∈ Ψ:

S
i∈I

Como
S f −1 (Ui ) ∈ Ψ, tenemos que Ui ∈ Γ para cada i ∈ I, luego por ser Γ una topologı́a
i∈I Ui ∈ Γ, ası́ que
!
[ [
−1 −1
f (Ui ) = f Ui ∈ {f −1 (U ) : U ∈ Γ} = Ψ.
i∈I i∈I

T
3. Si V1 , V2 ∈ Ψ, entonces V1 V2 ∈ Ψ:

Como V1 , V2 ∈ Ψ, existen U1 , U2 ∈ Γ tal que f −1 (UT1 ) = V1 y f

−1
(U2 ) = V2 . Ahora como
U1 , U2 ∈ Γ y por ser Γ una topologı́a, tenemos que U1 U2 ∈ Γ, luego
\ \  \ 
V1 V2 = f −1 (U1 ) f −1 (U2 ) = f −1 U1 U2 ∈ Ψ.