14.06.2013 Views

TOPOLOGÍA GENERAL II - Universidad de Zaragoza

TOPOLOGÍA GENERAL II - Universidad de Zaragoza

TOPOLOGÍA GENERAL II - Universidad de Zaragoza

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

<strong>TOPOLOGÍA</strong> <strong>GENERAL</strong> <strong>II</strong><br />

(1) Introducción<br />

(2) Topología Producto<br />

(3) Topología Cociente<br />

(4) Separación<br />

(5) Compacidad<br />

(6) Conexión<br />

(7) Espacios Homogéneos<br />

(8) Grupos Lineales<br />

1 INTRODUCCIÓN<br />

José Luis Navarro<br />

Departamento <strong>de</strong> Matemáticas<br />

<strong>Universidad</strong> <strong>de</strong> <strong>Zaragoza</strong><br />

La Topología General tiene sus propios objetivos, pero también nutre los fundamentos<br />

<strong>de</strong> muchas áreas matemáticas como el Análisis, la Geometría y<br />

otros campos <strong>de</strong> la topología (Topología Algebraica, Topología Geométrica<br />

ó Topología Diferencial).<br />

Tomando como mo<strong>de</strong>los los espacios métricos, se ha <strong>de</strong>finido sobre un conjunto<br />

X una topología τ ⊂ P(X) y el par (X, τ) se dice espacio topológico (e.t.)<br />

Las aplicaciones relevantes entre dos e.t. son las aplicaciones continuas y el<br />

concepto <strong>de</strong> equivalencia en topología se llama homeomorfismo.<br />

Uno <strong>de</strong> los objetivos <strong>de</strong> cualquier área matemática es clasificar y contar. En<br />

particular, para clasificar es necesario saber discernir cuándo dos objetos son<br />

ó no equivalentes (en nuestro caso, cuándo dos e.t. son ó no homeomorfos).<br />

En general, éste es un problema muy difícil y está muy lejos <strong>de</strong> ser resuelto.<br />

La (corta) duración <strong>de</strong>l curso hace necesario optar entre los diferentes caminos<br />

a seguir tras un primer cuatrimestre <strong>de</strong> generalida<strong>de</strong>s. La opción elegida aquí<br />

es un curso básico sobre las diferentes propieda<strong>de</strong>s <strong>de</strong> un espacio topológico,<br />

tanto en su versión local como global, con aplicaciones a espacios usuales<br />

(euclí<strong>de</strong>os, proyectivos, grupos lineales,...) y estudiar si estas propieda<strong>de</strong>s se<br />

conservan ó no bajo operaciones usuales (productos, cocientes,...). Definiremos<br />

Preprint submitted to Elsevier Science 12 December 2006


pues una serie <strong>de</strong> propieda<strong>de</strong>s (separación, compacidad, conexión,...) que<br />

serán invariantes topológicos <strong>de</strong> los espacios (es <strong>de</strong>cir, si un e.t. tiene una<br />

<strong>de</strong> estas propieda<strong>de</strong>s, también la tienen todos los que son homeomorfos a él).<br />

Es más ”fácil” dar una respuesta negativa al problema <strong>de</strong>l homeomorfismo que<br />

una respuesta positiva: por ejemplo R n y R m tienen los mismos invariantes<br />

topológicos mencionados pero no son homeomorfos si n = m (Teorema <strong>de</strong> la<br />

Dimensión). En este curso probaremos parcialmente este resultado, <strong>de</strong>jando<br />

para cursos posteriores una respuesta general.<br />

En ellos se <strong>de</strong>finirán otro tipo <strong>de</strong> invariantes, los invariantes algebraicos,<br />

que consiste en asociar a todo e.t. X ciertas estructuras algebraicas (como por<br />

ejemplo el grupo fundamental π1(X) ó los grupos <strong>de</strong> homología Hn(X), n ≥ 0)<br />

que nos dará más criterios para una respuesta negativa al problema: si los<br />

invariantes algebraicos son no isomorfos, los espacios no son homeomorfos.<br />

La respuesta afirmativa sigue siendo difícil: Uno <strong>de</strong> los gran<strong>de</strong>s problemas <strong>de</strong> la<br />

Topología es saber si una 3-variedad M 3 con los mismos invariantes topológicos<br />

y algebraicos que S 3 es homeomorfa a S 3 (Conjetura <strong>de</strong> Poincaré, 1904).<br />

Esta conjetura no pudo ser resuelta durante todo el siglo XX y pasó a ser<br />

uno <strong>de</strong> los siete problemas <strong>de</strong>l milenio propuestos por el Clay Mathematics<br />

Institute. En 2002 el matemático ruso Gregori Perelman anunció una solución<br />

a través <strong>de</strong> dos publicaciones en internet. En el XXV Congreso Internacional<br />

<strong>de</strong> Matemáticas celebrado en Madrid en agosto <strong>de</strong> 2006 se reconoció como<br />

correcto el trabajo <strong>de</strong> Perelman y dicha conjetura pasó a ser un teorema.<br />

Volviendo al contenido <strong>de</strong> este curso, lo primero que cabe <strong>de</strong>stacar es que<br />

en un e.t. (X, τ) es más relevante la topología τ que el conjunto X: entre la<br />

topología indiscreta τI = {∅, X} y la topología discreta τD = P(X) pue<strong>de</strong>n<br />

<strong>de</strong>finirse muchas topologías sobre un mismo conjunto X t.q. los (X, τ) tienen<br />

propieda<strong>de</strong>s distintas y por tanto no son homeomorfos mientras que conjuntos<br />

distintos pue<strong>de</strong>n ser topológicamente equivalentes.<br />

En el curso previo se dieron una serie <strong>de</strong> topologías no usuales sobre espacios<br />

usuales (recta <strong>de</strong> Sorgenfrey, plano <strong>de</strong> Moore, plano <strong>de</strong>l semidisco,...) que<br />

conviene recordar por ser útiles ejemplos (más bien contraejemplos) <strong>de</strong> que<br />

ciertas propieda<strong>de</strong>s no se conservan en subespacios, productos ó cocientes.<br />

2 <strong>TOPOLOGÍA</strong> PRODUCTO<br />

Dado un conjunto X y una aplicación f : X −→ (Y, τY ), la familia<br />

f −1 (τY ) = {f −1 (V )|V ∈ τY }<br />

2


es la menor topología sobre X t.q. f es continua: si τX es otra topología sobre<br />

X t.q. f es continua entonces es claro que f −1 (τY ) ⊂ τX. Tal topología f −1 (τY )<br />

se <strong>de</strong>nomina topología débil inducida por f.<br />

Dados dos e.t. X e Y , consi<strong>de</strong>ramos el producto cartesiano X × Y y queremos<br />

<strong>de</strong>finir una topología sobre él t.q. las proyecciones canónicas p1 y p2 sean<br />

continuas, es <strong>de</strong>cir p −1<br />

1 (U) = U × Y y p −1<br />

2 (V ) = X × V <strong>de</strong>ben ser abiertos en<br />

X × Y para todo U ∈ τX y V ∈ τY . Es claro que la menor topología sobre<br />

X × Y que hace continuas las proyecciones es la que tiene a dichos conjuntos<br />

como subbase, es <strong>de</strong>cir<br />

Sp = {U × Y |U ∈ τX} ∪ {X × V |V ∈ τY }<br />

es subbase <strong>de</strong> una topología τp sobre X × Y que se <strong>de</strong>nominará topología<br />

producto.<br />

Dadas f : Z −→ X y g : Z −→ Y , existe una aplicación h : Z −→ X × Y<br />

única t.q. t.q. p1h = f y p2h = g (propiedad universal <strong>de</strong>l producto directo).<br />

Notar que h(z) = (f(z), g(z)) y es usual <strong>de</strong>notar h = (f, g).<br />

2.1 Proposición h es continua si y sólo si lo son f y g. En particular, la<br />

diagonal ∆ : X −→ X × X es continua.<br />

Dem. Si h es continua, entonces f = p1h y g = p2h también lo son, por serlo las<br />

proyecciones. Recíprocamente, si f y g son continuas y U × V es un abierto en<br />

X ×Y , entonces h−1 (U ×V ) = h−1 (U ×Y ∩X ×V ) = h−1 (p −1<br />

1 (U)∩p −1<br />

2 (V )) =<br />

h−1p −1<br />

1 (U)∩h −1p −1<br />

2 (V ) = (p1h) −1 (U)∩(p2h) −1 (V ) = f −1 (U)∩g −1 (V ) abierto<br />

en Z, luego h continua.<br />

Ejercicio 01 Probar los siguientes homeomorfismos<br />

(1) X × Y ≈ Y × X.<br />

(2) (X × Y ) × Z ≈ X × (Y × Z).<br />

(3) X × {pt} ≈ X ≈ {pt} × X.<br />

Ejercicio 02 Dados A ⊂ X y B ⊂ Y , probar las siguientes afirmaciones:<br />

(1) A × B = A × B.<br />

(2) (A × B) ′ = A ′ × B ∪ A × B ′<br />

(3) Int(A × B) = Int(A) × Int(B).<br />

(4) F r(A × B) = [A × F r(B)] ∪ [F r(A) × B].<br />

(5) A × B es <strong>de</strong>nso en X × Y si y sólo si A <strong>de</strong>nso en X y B <strong>de</strong>nso en Y .<br />

Ejercicio 03 Sean B x y B y bases <strong>de</strong> entornos <strong>de</strong> x ∈ X e y ∈ Y , probar que<br />

{U x × V y |U x ∈ B x , V y ∈ B y } es una base <strong>de</strong> entornos <strong>de</strong> (x, y) en X × Y .<br />

Ejercicio 04 Probar que X × Y es I-AN, <strong>II</strong>-AN y separable, respectivamente,<br />

3


si y sólo si lo son ambos factores.<br />

Ejercicio 05 Sea RS la recta <strong>de</strong> Sorgenfrey. ¿Cual es la topología producto<br />

en RS × RS? ¿Cual es la topología inducida en A = {(x, y) ∈ R 2 |x + y = 1}?<br />

Ejercicio 06 En R 2 , con la topología usual, se consi<strong>de</strong>ran los subespacios<br />

A = {(x, y) ∈ R 2 |xy = 0} y B = {(x, y) ∈ R 2 |xy = 1}. Estudiar si A es<br />

abierto en R 2 y en M = A ∪ B. Estudiar si U = {(x, 0) ∈ R 2 |x ∈ R} es<br />

entorno <strong>de</strong>l origen en R 2 y en M.<br />

Ejercicio 07 En R 2 , con la topología usual, se consi<strong>de</strong>ran los subespacios<br />

C = {(x, y) ∈ R 2 |x 2 + y 2 = 1} y D = {(x, y) ∈ R 2 |x = y} y sea N = C ∪ D.<br />

Estudiar si C es entorno <strong>de</strong> ( √ 2, √ 2) y <strong>de</strong> (0, 1) en N.<br />

Sea X un conjunto, {(Xi, τi)}i∈J una familia <strong>de</strong> e.t. y {fi : X −→ Xi}i∈J una<br />

familia <strong>de</strong> aplicaciones. Definimos la topología débil sobre X inducida por<br />

la familia {fi}i∈J como la menor topología que hace continuas las fi.<br />

El conjunto S = <br />

i∈J Si con Si = {f −1<br />

i (Ui)|Ui ∈ τi} es una subbase para dicha<br />

topología.<br />

2.2 Teorema Sea X con la topología débil inducida por {fi}i∈J, entonces una<br />

aplicación h : Y −→ X es continua si y sólo si fih es continua para todo i ∈ J.<br />

Dem. Si h es continua, entonces fih es continua para todo i ∈ J, ya que las<br />

fi son continuas. Recíprocamente, sea U abierto en X, entonces U es unión<br />

arbitraria <strong>de</strong> intersecciones finitas <strong>de</strong> elementos <strong>de</strong> la forma f −1<br />

i (Ui), por tanto<br />

h −1 (U) será unión arbitraria <strong>de</strong> intersecciones finitas <strong>de</strong> elementos <strong>de</strong> la forma<br />

h −1 f −1<br />

i (Ui) = (fih) −1 (Ui), abiertos en Y si las fih son continuas para todo<br />

i ∈ J, luego h −1 (U) abierto y por tanto h continua.<br />

Sea ahora X = Xi, un punto <strong>de</strong>l producto es una |J|-tupla (xi) y <strong>de</strong>notamos<br />

por pk : Xi −→ Xk t.q. pk((xi)) = xk la proyección canónica sobre el k-simo<br />

factor, entonces <strong>de</strong>finimos la topología producto τp sobre Xi como la<br />

topología débil inducida por las proyecciones {pi}i∈J.<br />

Si U ∈ τk notar que p −1<br />

k (U) = Ui, don<strong>de</strong> Uk = U y Ui = Xi para todo i = k.<br />

Una subbase <strong>de</strong> τp viene dada por<br />

Sp = {p −1<br />

i (U)|U ∈ τi, i ∈ J} = <br />

i∈J<br />

{p −1<br />

i (U)|U ∈ τi}<br />

y, si F recorre los subconjuntos finitos <strong>de</strong> J, una base para τp viene dada por<br />

Bp = { Uj|Uj ∈ τj, Uj = Xj, ∀j ∈ J − F }<br />

Dada una familia <strong>de</strong> aplicaciones {fi : X −→ Xi}i∈J, existe una aplicación<br />

f : X −→ Xi <strong>de</strong>finida por f(x) = (fi(x)), única t.q. pif = fi. Entonces<br />

4


2.3 Corolario f es continua si y sólo si cada fi = pif lo es.<br />

La topología caja sobre Xi está <strong>de</strong>finida por τi = { <br />

i∈J Ui|Ui ∈ τi}.<br />

Es claro que τp ⊆ τi y notar que τp = τi si J = {1, 2, ...n} (es <strong>de</strong>cir, si<br />

|J| < ∞). Pero estas topologías no coinci<strong>de</strong>n en el caso <strong>de</strong> una familia infinita.<br />

Ejemplo Dada una familia infinita {(Xi, τi)}i∈J t.q. cada Xi es un espacio<br />

discreto con más <strong>de</strong> un punto, entonces la topología caja τi es la topología<br />

discreta mientras que la topología producto τp no es discreta.<br />

2.4 Proposición Dada una familia arbitraria {(Xi, τi)}i∈J <strong>de</strong> e.t. entonces:<br />

(1) Las proyecciones pj : Xi −→ Xj son continuas, abiertas y sobre.<br />

(2) Si Ai ⊂ Xi, entonces Ai = Ai.<br />

(3) Int( Ai) ⊂ Int(Ai) y en general el contenido es estricto.<br />

(4) Di <strong>de</strong>nso en Xi si y sólo si Di <strong>de</strong>nso en Xi para todo i ∈ J<br />

Ejercicio 08 Sea {fi : Xi −→ Yi}i∈J una familia <strong>de</strong> aplicaciones y <strong>de</strong>finimos<br />

f : Xi −→ Yi por f((xi)) = (fi(xi)), es <strong>de</strong>cir f = fi. Probar que f es<br />

continua si y sólo si fi es continua para todo i ∈ J.<br />

3 <strong>TOPOLOGÍA</strong> COCIENTE<br />

Sea (X, τ) un e.t. y f : X −→ Y una aplicación suprayectiva ó sobre, entonces<br />

la colección <strong>de</strong> partes <strong>de</strong> Y<br />

τ(f) = {U ⊂ Y |f −1 (U) ∈ τ}<br />

es una topología sobre Y llamada topología i<strong>de</strong>ntificación ó topología<br />

cociente inducida sobre Y por f.<br />

Ejercicio 09 Sea R con la topología usual τU, Y = {a, b, c} un conjunto y<br />

f : R −→ Y una aplicación dada por f(x) = a si x > 0, f(x) = b si x < 0 y<br />

f(0) = c. Hallar la topología i<strong>de</strong>ntificación τ(f) sobre Y inducida por f.<br />

Si τY es una topología sobre Y t.q. f es continua notar que τY ⊆ τ(f), entonces<br />

3.1 Lema τ(f) es la mayor topología sobre Y que hace continua a f.<br />

Dada una aplicación continua y sobre f : (X, τX) −→ (Y, τY ), diremos que<br />

f es una i<strong>de</strong>ntificación si τY = τ(f). Es claro que todo homeomorfismo<br />

es una i<strong>de</strong>ntificación y, como (gf) −1 (U) = f −1 g −1 (U), es claro también que<br />

composición <strong>de</strong> i<strong>de</strong>ntificaciones es i<strong>de</strong>ntificación.<br />

Ejercicio 10 Sea I = [0, 1] con la topología usual, S 0 = {0, 1} con la topología<br />

5


<strong>de</strong> Sierpinski y sea χ : I −→ S 0 la función característica <strong>de</strong> A = [1/2, 1].<br />

Probar que χ es una i<strong>de</strong>ntificación pero que no es abierta ni cerrada.<br />

3.2 Proposición Sea f : X −→ Y una aplicación sobre, continua y abierta<br />

(ó cerrada), entonces f es una i<strong>de</strong>ntificación. En particular, una biyección<br />

continua es una i<strong>de</strong>ntificación si y sólo si es un homeomorfismo.<br />

Dem. Sabemos que τY ⊆ τ(f). Recíprocamente, sea U ∈ τ(f), entonces<br />

f −1 (U) ∈ τX y por ser f abierta ff −1 (U) ∈ τY . Pero f sobre implica que<br />

ff −1 (U) = U, luego U ∈ τY y por tanto τ(f) ⊆ τY . Concluimos que τY =<br />

τ(f). Por otra parte, si f es una i<strong>de</strong>ntificación biyectiva y U ∈ τX, como<br />

f −1 f(U) = U se sigue que f(U) ∈ τ(f) = τY , luego f abierta y sabemos que<br />

toda biyección continua y abierta es un homeomorfismo.<br />

Dada una aplicación continua f : X −→ Y llamaremos sección <strong>de</strong> f a una<br />

aplicación continua s : Y −→ X t.q. fs = 1Y .<br />

3.3 Proposición Sea f : X −→ Y una aplicación continua. Si f admite una<br />

sección entonces f es una i<strong>de</strong>ntificación.<br />

Dem. Notar que fs = 1Y implica que f es sobre. Sea U ∈ τ(f), entonces<br />

f −1 (U) ∈ τX y s continua implican que s−1f −1 (U) ∈ τY , pero s−1f −1 (U) =<br />

(fs) −1 (U) = 1 −1<br />

Y (U) = U, luego U ∈ τY y por tanto τ(f) ⊆ τY . Concluimos<br />

que τ(f) = τY y en consecuencia f es una i<strong>de</strong>ntificación.<br />

3.4 Proposición Sea f : X −→ Y una i<strong>de</strong>ntificación y g : Y −→ Z una<br />

aplicación. Entonces g es continua (i<strong>de</strong>ntificación) si y sólo si la composición<br />

gf es continua (i<strong>de</strong>ntificación).<br />

Dem. Sea U ∈ τZ, si gf continua entonces f −1 g −1 (U) = (gf) −1 (U) ∈ τX,<br />

pero f i<strong>de</strong>ntificación implica que g −1 (U) ∈ τ(f) = τY , por tanto g continua.<br />

Notar que U ∈ τ(gf) sí y sólo si f −1 g −1 (U) = (gf) −1 (U) ∈ τX, lo cual ocurre<br />

sí y sólo si g −1 (U) ∈ τ(f) = τY , ó equivalentemente si U ∈ τ(g). Por tanto<br />

τ(gf) = τ(g) y es claro que gf es i<strong>de</strong>ntificación sí y sólo si g es i<strong>de</strong>ntificación.<br />

Dada una aplicación continua f : X −→ Y y A ⊂ X, en general se tiene que<br />

A ⊆ f −1 f(A). Diremos que A es un conjunto f-saturado si A = f −1 f(A).<br />

Notar que una i<strong>de</strong>ntificación f es abierta (cerrada) si y sólo si f −1 f(U) es<br />

abierto (cerrado) para todo U abierto (cerrado) en X.<br />

3.5 Teorema Sea f : X −→ Y una i<strong>de</strong>ntificación y h : X −→ Z una<br />

aplicación continua. Si h es constante sobre f −1 (y), para cada y ∈ Y , entonces<br />

g : Y −→ Z, dada por g(y) = hf −1 (y), es continua (notar que gf = h).<br />

A<strong>de</strong>más g es abierta (cerrada) si y sólo si h(U) es abierto (cerrado) para todo<br />

U abierto (cerrado) y f-saturado.<br />

6


Dem. Sea U ∈ τZ, entonces f −1 g −1 (U) = (gf) −1 (U) = h −1 (U) ∈ τX luego<br />

g −1 (U) ∈ τ(f) = τY , ya que f es i<strong>de</strong>ntificación, por tanto g continua. Por<br />

otra parte, sea U = f −1 f(U) abierto en X, como f es i<strong>de</strong>ntificación se sigue<br />

que f(U) ∈ τ(f) = τY , entonces si g es abierta, también h(U) = gf(U) es<br />

abierto. Recíprocamente, si V es abierto en Y se sigue que g(V ) = hf −1 (V )<br />

será abierto en Z, ya que f −1 (V ) es un abierto f-saturado (en efecto, f sobre<br />

implica que f −1 (A) es f-saturado para todo A ⊂ Y ), por tanto g es abierta.<br />

Sea (X, τ) un e.t. y R una relación <strong>de</strong> equivalencia sobre X, <strong>de</strong>notaremos X/R<br />

el conjunto cociente y q : X −→ X/R, dada por q(x) = [x], la proyección.<br />

Entonces X/R con la topología i<strong>de</strong>ntificación τ(q) inducida por q se dirá<br />

espacio cociente <strong>de</strong> X por R.<br />

Ejemplo Definimos una relación <strong>de</strong> equivalencia R sobre R 3 −{0} como sigue:<br />

x ∼ y si y sólo si existe t ∈ R−{0} t.q. y = tx. El espacio cociente R 3 −{0}/R<br />

se llama plano proyectivo real y lo <strong>de</strong>notaremos RP 2 .<br />

Ejercicio 11 Sea D 2 = {x ∈ R 2 |x ≤ 1} el disco unidad, <strong>de</strong>finimos una<br />

relación <strong>de</strong> equivalencia R sobre D 2 como sigue: x ∼ y si y sólo si x = y ó son<br />

antipodales (es <strong>de</strong>cir, x, y ∈ S 1 y y = −x). Probar que D 2 /R ≈ RP 2 .<br />

Sean X1, X2 e.t. con relaciones <strong>de</strong> equivalencia R1 y R2, respectivamente.<br />

Diremos que una aplicación f : X1 −→ X2 conserva la relación si para todo<br />

x ∼ y se sigue que f(x) ∼ f(y). En tal caso, se sigue que f induce una<br />

aplicación en los cocientes f∗ : X1/R1 −→ X2/R2 dada por f∗[x] = [f(x)].<br />

3.6 Proposición Si f es continua entonces también f∗ es continua. Si f es<br />

i<strong>de</strong>ntificación, también f∗ es i<strong>de</strong>ntificación.<br />

Dem. Notar que f∗q1 = q2f, entonces dado U ∈ τ(q2) se tiene que q −1<br />

1 f −1<br />

∗ (U) =<br />

f −1q −1<br />

2 (U) ∈ τX1 ya que f continua. Entonces f −1<br />

∗ (U) ∈ τ(q1) y por tanto f∗ es<br />

continua. Por otra parte, f i<strong>de</strong>ntificación implica que también lo es q2f = f∗q1,<br />

es <strong>de</strong>cir τ(f∗q1) = τ(q2), pero τ(f∗) = τ(f∗q1) por (3.4), ya que q1 es una<br />

i<strong>de</strong>ntificación. Entonces τ(f∗) = τ(q2) y por tanto f∗ es i<strong>de</strong>ntificación.<br />

Una aplicación f : X −→ Y <strong>de</strong>fine una relación R(f) en X como sigue:<br />

x1 ∼ x2 si y sólo si f(x1) = f(x2). Claramente R(f) es <strong>de</strong> equivalencia. El<br />

espacio cociente X/R(f) se llama espacio <strong>de</strong>scomposición <strong>de</strong> f. Denotamos<br />

por q : X −→ X/R(f) la i<strong>de</strong>ntificación, como f es constante sobre cada fibra<br />

q −1 ([x]) = f −1 f(x), se sigue por (3.5) que la aplicación ˆ f : X/R(f) −→ Y ,<br />

dada por ˆ f([x]) = f(x), es continua. Notar que f = ˆ fq y que ˆ f es inyectiva.<br />

3.7 Teorema Sea f : X −→ Y continua y sobre, entonces ˆ f : X/R(f) −→ Y<br />

es un homeomorfismo si y sólo si f es una i<strong>de</strong>ntificación.<br />

Dem. Si ˆ f es un homeomorfismo entonces f = ˆ fq es una i<strong>de</strong>ntificación, ya<br />

7


que q lo es. Recíprocamente, notar que si f = ˆ fq es sobre, también lo es ˆ f,<br />

por tanto ˆ f es una biyección continua. Como τ(f) = τ( ˆ fq) = τ( ˆ f), si f es<br />

i<strong>de</strong>ntificación también lo es ˆ f y el teorema se sigue por (3.2).<br />

Coproductos<br />

Dados dos espacios X1, X2 <strong>de</strong>finimos la el coproducto ó suma topológica<br />

<br />

X1 X2 como la unión disjunta <strong>de</strong> X1 y X2. Definimos una topología sobre<br />

<br />

X1 X2 como sigue: U ⊂ X1 X2 es abierto si y sólo si U ∩ X1 y U ∩ X2 son<br />

abiertos en X1 y X2 respectivamente. Es claro que esta topología es la mayor<br />

<br />

t.q. las inclusiones i1 : X1 −→ X1 X2 y i2 : X2 −→ X1 X2 son continuas<br />

(U), para k = 1, 2).<br />

(en efecto, notar que U ∩ Xk = i −1<br />

k<br />

<br />

Dadas fk : Xk −→ Z (k = 1, 2) existe una aplicación f : X1 X2 −→ Z única<br />

t.q. fi1 = f1 y fi2 = f2 (propiedad universal <strong>de</strong>l coproducto)<br />

3.7 Teorema f es continua si y sólo si f1 y f2 son continuas.<br />

Dem. Sean f1 y f2 continuas y U abierto en Z, notar que f −1 (U) es abierto<br />

<br />

en X1 X2 sí y sólo sí f −1 (U) ∩ Xk es abierto en Xk para k = 1, 2, pero<br />

f −1 (U) ∩ Xk = i −1<br />

k (f −1 (U)) = (fik) −1 (U) = f −1<br />

k (U)<br />

el cual es abierto en Xk por ser fk continua. El recíproco es obvio.<br />

Sean A, B ⊂ X con la topología inducida, las inclusiones jA y jB <strong>de</strong> A y B<br />

en A ∪ B respectivamente, son continuas e inducen por tanto una aplicación<br />

continua y sobre j : A B −→ A ∪ B. Si f : A −→ Y y g : B −→ Y son<br />

dos aplicaciones t.q. f(x) = g(x) para todo x ∈ A ∩ B, <strong>de</strong>finimos la aplicación<br />

”pegamiento” <strong>de</strong> f y g como la aplicación f ∪ g : A ∪ B −→ Y dada por<br />

(f ∪ g)(x) = f(x) si x ∈ A y (f ∪ g)(x) = g(x) si x ∈ B.<br />

3.8 Lema Sean f : A −→ Y y g : B −→ Y continuas, si A y B son cerrados<br />

(ó abiertos) en A ∪ B entonces f ∪ g : A ∪ B −→ Y es también continua.<br />

Dem. Por (3.7) la composición (f ∪ g)j : A B −→ Y es continua si lo<br />

son f y g. Si A y B son cerrados en A ∪ B se sigue que j aplica cerrados<br />

en cerrados luego es cerrada. Por (3.2) se sigue que j es una i<strong>de</strong>ntificación,<br />

entonces (f ∪ g)j continua y (3.4) implican que f ∪ g es continua.<br />

Sea A un subespacio cerrado <strong>de</strong> X y f : A −→ Y una aplicación continua,<br />

<strong>de</strong>finimos una relación <strong>de</strong> equivalencia R sobre X Y como sigue: a ∼ f(a)<br />

para todo a ∈ A. El espacio cociente X Y/R se llama adjunción ó pegado<br />

<strong>de</strong> X e Y a través <strong>de</strong> f y lo <strong>de</strong>notaremos X ∪f Y . Si A cerrado en X y<br />

f : A −→ Y continua t.q. Y = {∗} entonces X ∪f {∗} se <strong>de</strong>nota usualmente<br />

por X/A. Este último espacio <strong>de</strong>nota también el espacio cociente X/R, don<strong>de</strong><br />

R es la siguiente relación <strong>de</strong> equivalencia: xRy sí y sólo si x = y ó x, y ∈ A.<br />

8


4 SEPARACIÓN<br />

Un e.t. X se dice T0-espacio si para todo par <strong>de</strong> puntos x = y en X, existe un<br />

abierto que contiene a uno <strong>de</strong> ellos y no al otro (es <strong>de</strong>cir, ∃ U ∈ τ t.q. x ∈ U,<br />

y ∈ (X − U) ó bien ∃ V ∈ τ t.q. y ∈ V , x ∈ (X − V )).<br />

Ejemplo Espacios indiscretos no son T0-espacios. El espacio <strong>de</strong> Sierpinski<br />

(X = {a, b} con τ = {∅, {a}, X}) es un T0-espacio.<br />

Un e.t. X se dice T1-espacio si para todo par <strong>de</strong> puntos x = y en X, existen<br />

entornos <strong>de</strong> cada uno <strong>de</strong> ellos que no contienen al otro (es <strong>de</strong>cir, ∃ U, V ∈ τ<br />

t.q. x ∈ U ∩ (X − V ), y ∈ V ∩ (X − U)).<br />

Ejemplo Todo T1-espacio es T0-espacio pero no recíprocamente: Notar que el<br />

espacio <strong>de</strong> Sierpinski es un T0-espacio pero no T1-espacio.<br />

4.1 Proposición Son equivalentes las siguientes afirmaciones:<br />

(1) X es un T1-espacio.<br />

(2) Todo punto en X es cerrado.<br />

(3) Todo subespacio <strong>de</strong> X es intersección <strong>de</strong> abiertos que lo contienen.<br />

Dem. Sea X un T1-espacio, x ∈ X y sea y ∈ X − {x}, como existe U entorno<br />

abierto <strong>de</strong> y que no contiene a x se sigue que y ∈ U ⊂ X − {x}, luego X − {x}<br />

es abierto y por tanto {x} es cerrado. Si todo punto es cerrado y A ⊂ X es<br />

claro que A = ∩{X − {x}|x ∈ X − A}. Finalmente, sea x = y y supongamos<br />

que se satisface (3), entonces para A = {x} es claro que existe un entorno<br />

abierto <strong>de</strong> x que no contiene a y y análogamente, tomando A = {y}, existirá<br />

un entorno abierto <strong>de</strong> y que no contiene a x, por tanto X es un T1-espacio.<br />

Notar que la menor topología que hace <strong>de</strong> un conjunto X un T1-espacio es la<br />

que tiene como subbase a S = {X − {x}|x ∈ X}, es <strong>de</strong>cir la topología cofinita<br />

τCF = {U ⊂ X|card(X − U) < ∞}. En particular, si X es un conjunto finito,<br />

la única topología que hace <strong>de</strong> X un T1-espacio es la discreta.<br />

Ejercicio 12 Sea X un T1-espacio y A ⊆ X. Si A es finito probar que A ′ es<br />

cerrado. Si A infinito y x ∈ A ′ , probar que todo entorno <strong>de</strong> x contiene infinitos<br />

puntos <strong>de</strong> A.<br />

Ejercicio 13 Una relación <strong>de</strong> equivalencia R se dice cerrada si las clases<br />

Rx = {y|y ∼ x} son subconjuntos cerrados <strong>de</strong> X. Sea R una relación <strong>de</strong><br />

equivalencia sobre un e.t. X, probar que X/R es T1 si y sólo si R es cerrada.<br />

Ejercicio 14 Sea X un T1-espacio y A ⊂ X, entonces probar: (1) A ′ cerrado.<br />

(2) (A ′ ) ′ ⊂ A ′ . (3) (A) ′ = A ′ .<br />

9


Espacios Hausdorff ó T2-espacios.<br />

Un e.t. X se dice T2-espacio ó que es Hausdorff si para todo par <strong>de</strong> puntos<br />

distintos existen abiertos disjuntos que los contienen (es <strong>de</strong>cir, para todo x = y<br />

en X, existen U, V ∈ τ t.q. x ∈ U, y ∈ V , U ∩ V = ∅).<br />

Es claro que todo T2-espacio es un T1-espacio. Un conjunto <strong>de</strong> cardinal infinito<br />

X con la topología cofinita es T1 pero no T2. La propiedad <strong>de</strong> ser un Tk-espacio<br />

(k = 0, 1, 2) es hereditaria: subespacios <strong>de</strong> un Tk-espacio son Tk-espacios.<br />

4.2 Proposición Son equivalentes las siguientes afirmaciones:<br />

(1) X es Hausdorff.<br />

(2) Sea x ∈ X, para todo y = x existe U ∈ τ t.q. x ∈ U, y /∈ U.<br />

(3) Para todo x ∈ X, {U|U ∈ τ, x ∈ U} = {x}.<br />

(4) La diagonal ∆ = {(x, x)|x ∈ X} es cerrado en X × X.<br />

Dem. Sea x = y y suponer que X es Hausdorff, entonces existen U, V ∈ τ t.q.<br />

x ∈ U, y ∈ V , U ∩ V = ∅, en particular y ∈ Int(X − U) = X − U. Que (2)<br />

implica (3) es inmediato. Notar que U ∩ V = ∅ sí y sólo si U × V ∩ ∆ = ∅.<br />

Sea (x, y) ∈ X × X − ∆ y supongamos que existe U entorno abierto <strong>de</strong><br />

x t.q. y ∈ X − U, entonces (x, y) ∈ U × (X − U) ⊂ X × X − ∆, luego<br />

X ×X −∆ es abierto y por tanto ∆ es cerrado. Finalmente, si ∆ es cerrado su<br />

complementario es abierto, entonces dados x = y existirán abiertos U, V t.q.<br />

(x, y) ∈ U × V ⊂ X × X − ∆, por tanto U × V ∩ ∆ = ∅ ó equivalentemente<br />

U ∩ V = ∅ y se sigue que X es Hausdorff.<br />

Ejercicio 15 Sea X un espacio Hausdorff y F = {x1, ....xn} un conjunto<br />

finito. Probar que existen entornos Ui <strong>de</strong> xi, 1 ≤ i ≤ n, disjuntos dos a dos.<br />

4.3 Proposición Sea Y Hausdorff y f, g : X −→ Y continuas, entonces<br />

C = {x ∈ X|f(x) = g(x)} es cerrado en X. En particular, si D es <strong>de</strong>nso en<br />

X y f|D = g|D entonces se sigue que f = g.<br />

Dem. Veamos que X −C es abierto. Si x ∈ X −C entonces f(x) = g(x) y como<br />

Y es Hausdorff existirán U, V abiertos t.q. f(x) ∈ U, g(x) ∈ V y U ∩ V = ∅.<br />

Como f y g continuas se sigue que f −1 (U) ∩ g −1 (V ) abierto y es claro que<br />

x ∈ f −1 (U) ∩ g −1 (V ) ⊂ X − C (en efecto, si z ∈ f −1 (U) ∩ g −1 (V ) entonces<br />

f(z) = g(z), ya que f(z) ∈ U, g(z) ∈ V y U ∩ V = ∅, luego z ∈ X − C). Sea<br />

D <strong>de</strong>nso en X y f|D = g|D entonces D ⊂ C y X = D, como C es cerrado se<br />

sigue que X = C, es <strong>de</strong>cir f(x) = g(x) para todo x ∈ X y por tanto f = g.<br />

Ejercicio 16 Diremos que un A ⊂ X es un retracto <strong>de</strong> X si existe r : X −→ A<br />

continua t.q. ri = 1A, siendo i : A −→ X la inclusión. Probar que A es<br />

un retracto <strong>de</strong> X si y sólo si para todo espacio Y , toda aplicación continua<br />

f : A −→ Y se extien<strong>de</strong> a X, es <strong>de</strong>cir existe g : X −→ Y continua t.q. gi = f.<br />

10


Probar que si X es un espacio Hausdorff y A es un retracto <strong>de</strong> X, entonces A<br />

es cerrado en X<br />

Ejercicio 17 Diremos que un espacio X tiene la propiedad <strong>de</strong>l punto fijo si<br />

para toda aplicación continua f : X −→ X existe x ∈ X t.q. f(x) = x. Probar<br />

que si X tiene la propiedad <strong>de</strong>l punto fijo, también la tiene todo retracto <strong>de</strong> X.<br />

Sea X un espacio Hausdorff y f : X −→ X continua. Probar que el conjunto<br />

<strong>de</strong> puntos fijos <strong>de</strong> f es cerrado en X.<br />

Ejercicio 18 Sea f : X −→ Y una aplicación continua, <strong>de</strong>finimos el grafo <strong>de</strong><br />

f como el conjunto Γf = {(x, f(x))|x ∈ X} ⊂ X × Y . Probar que Γf, con la<br />

topología inducida por la topología producto, es homeomorfo a X.<br />

Ejercicio 19 Sea Y un e.t. Hausdorff y f : X −→ Y una aplicación continua.<br />

Probar que Γf es cerrado en X × Y .<br />

4.4 Teorema Sea f : X −→ Y una aplicación continua. Si Y es Hausdorff<br />

entonces C = {(x1, x2)|f(x1) = f(x2)} es cerrado en X × X.<br />

Dem. Veamos que el complementario <strong>de</strong> C es abierto. Si (x1, x2) ∈ X × X − C<br />

entonces f(x1) = f(x2) y como Y es Hausdorff, existirán abiertos disjuntos<br />

U1, U2 t.q. f(x1) ∈ U1 y f(x2) ∈ U2. Entonces f −1 (U1) × f −1 (U2) es abierto y<br />

(x1, x2) ∈ f −1 (U1) × f −1 (U2) ⊂ X × X − C (probaremos el último contenido:<br />

si (z1, z2) ∈ f −1 (U1) × f −1 (U2) se sigue que f(z1) ∈ U1 y f(z2) ∈ U2, luego<br />

f(z1) = f(z2), ya que U1 ∩ U2 = ∅, y por tanto (z1, z2) ∈ X × X − C).<br />

Si f es abierta y sobre, entonces se satisface el recíproco:<br />

4.5 Teorema Sea f : X −→ Y una aplicación continua, abierta y sobre, si<br />

C = {(x1, x2)|f(x1) = f(x2)} es cerrado en X × X, entonces Y es Hausdorff.<br />

Dem. Sean f(x1) = f(x2), entonces (x1, x2) ∈ X × X − C, abierto por ser C<br />

cerrado, luego existen abiertos U1, U2 t.q. (x1, x2) ∈ U1 × U2 ⊂ X × X − C y<br />

por tanto U1 × U2 ∩ C = ∅ y esto implica U1 ∩ U2 = ∅, ya que ∆ ⊂ C. Si f<br />

es abierta, se sigue que f(U1) y f(U2) son dos abiertos disjuntos que separan<br />

a f(x1) y f(x2) y concluimos que Y es Hausdorff (probaremos que f(U1) y<br />

f(U2) son disjuntos: si y ∈ f(U1) ∩ f(U2) existirán x1 ∈ U1 y x2 ∈ U2 t.q.<br />

f(x1) = y = f(x2), luego U1 × U2 ∩ C = ∅ y llegamos a una contradicción).<br />

4.6 Proposición Dada una familia no vacía {Xi}i∈J, entonces el producto<br />

Xi es un Tk-espacio (k = 0, 1, 2) si y sólo si cada factor Xi lo es.<br />

Dem. Lo probaremos para el caso k = 2. Supongamos que Xi es un T2-espacio<br />

para todo i ∈ J, si (xi) = (zi) en Xi, tales puntos diferirán al menos una<br />

coor<strong>de</strong>nada, es <strong>de</strong>cir existe k ∈ J t.q. xk = zk. Como Xk es Hausdorff existirán<br />

Uk, Vk ∈ τk t.q. xk ∈ Uk, zk ∈ Vk y Uk ∩ Vk = ∅. Entonces (xi) ∈ p −1<br />

k (Uk),<br />

11


(zi) ∈ p −1<br />

k (Vk) abiertos en Xi t.q. p −1<br />

k (Uk) ∩ p −1<br />

k (Vk) = p −1<br />

k (Uk ∩ Vk) = ∅.<br />

Recíprocamente, si Xi es Hausdorff y k ∈ J, elegimos un punto x 0 i ∈ Xi<br />

para cada i = k y sea ik : Xk −→ Xi, dada por ik(xk) = (xi) con xi = x 0 i<br />

para todo i = k. Como la propiedad ”Hausdorff” es hereditaria se sigue que<br />

ik(Xk) es Hausdorff, pero ik(Xk) es homeomorfo a Xk, y esto para todo k ∈ J.<br />

Cocientes <strong>de</strong> espacios Hausdorff no son necesariamente Hausdorff.<br />

Ejemplo Sea X = R 2 con la topología usual y <strong>de</strong>finimos la siguiente relación<br />

<strong>de</strong> equivalencia (x1, y1)R(x2, y2) sí y sólo si y1, y2 < 0 ó y1, y2 ≥ 0. Sean<br />

A = {(x, y)|y ≥ 0} y B = {(x, y)|y < 0} y consi<strong>de</strong>remos la i<strong>de</strong>ntificación<br />

q : X −→ X/R, <strong>de</strong>notamos q(A) = a y q(B) = b. Entonces X/R = {a, b}.<br />

Como q −1 (b) = B abierto en la topología usual, se sigue que {b} es abierto en<br />

X/R, luego la topología cociente es τ(q) = {∅, {b}, X/R}, es <strong>de</strong>cir (X/R, τ(q))<br />

es el espacio <strong>de</strong> Sierpinski, que no es Hausdorff.<br />

Dada una relación <strong>de</strong> equivalencia R sobre un e.t. X, po<strong>de</strong>mos mirarla como<br />

un subespacio <strong>de</strong>l producto: R = {(x1, x2)|x1 ∼ x2} ⊂ X × X. La aplicación<br />

q × q : X × X −→ X/R × X/R es continua y es claro que R = (q × q) −1 (∆).<br />

Notar que si X/R es Hausdorff entonces R <strong>de</strong>be ser un cerrado en X × X.<br />

4.7 Proposición Sea X un e.t., R una relación <strong>de</strong> equivalencia sobre X. Si R<br />

es cerrado en X × X y q : X −→ X/R es abierta, entonces X/R es Hausdorff.<br />

Dem. Sean [x1] = [x2] en X/R, es <strong>de</strong>cir (x1, x2) ∈ X ×X −R, el cual es abierto<br />

por ser R cerrado, entonces existen U1, U2 abiertos t.q. (x1, x2) ∈ U1 × U2 ⊂<br />

X × X − R. Como q abierta, q(U1) y q(U2) son dos abiertos t.q. [x1] ∈ q(U1),<br />

[x2] ∈ q(U2) y q(U1) ∩ q(U1) = ∅ (en efecto, si [x] ∈ q(U1) ∩ q(U1) entonces<br />

existen x1 ∈ U1 y x2 ∈ U2 t.q. [x] = q(x1) = q(x2) ó bien [x1] = [x2], y por<br />

tanto (x1, x2) ∈ R, lo cual es una contradicción ya que U1 ×U2 ⊂ X ×X −R).<br />

4.8 Proposición Si Y es un espacio Hausdorff y f : X −→ Y es una aplicación<br />

continua e inyectiva entonces también X es Hausdorff. En particular, si Y<br />

Hausdorff y f : X −→ Y continua entonces X/R(f) es Hausdorff.<br />

Dem. Sean x1 = x2 en X, si f es inyectiva entonces f(x1) = f(x2) y como<br />

Y es Hausdorff, existirán abiertos U1 y U2 t.q. f(x1) ∈ U1, f(x2) ∈ U2 y<br />

U1 ∩ U2 = ∅. Entonces, si f es continua, f −1 (U1) y f −1 (U2) son abiertos t.q.<br />

x1 ∈ f −1 (U1), x2 ∈ f −1 (U2) y f −1 (U1)∩f −1 (U2) = f −1 (U1 ∩U2) = f −1 (∅) = ∅,<br />

luego X ∈ T2. La segunda parte se sigue inmediatamente ya que f continua<br />

implica que ˆ f : X/R(f) −→ Y es continua e inyectiva.<br />

Espacios regulares y T3-espacios.<br />

Un e.t. (X, τ) se dice regular si para todo F cerrado en X y x /∈ F existen<br />

U, V ∈ τ t.q. x ∈ U, F ⊂ V y U ∩ V = ∅. En general, un espacio regular no es<br />

12


necesariamente un T1-espacios (en efecto, un espacio indiscreto es regular pero<br />

no es T0, por tanto tampoco T1). Un T1-espacio regular se dirá T3-espacio.<br />

Ejemplo Todo T3-espacio es Hausdorff pero no recíprocamente. Sea X = R<br />

con la topología τ <strong>de</strong>finida como sigue: los entornos básicos para cada punto<br />

x = 0 son los usuales y los entornos básicos <strong>de</strong>l 0 son <strong>de</strong> la forma (−ε, ε) − A,<br />

don<strong>de</strong> A = {1/n}n∈N. Entonces (R, τ) es Hausdorff, ya que τ es mas fina que<br />

la topología usual (es <strong>de</strong>cir, τU ⊂ τ), pero (R, τ) no es un T3-espacio: A es un<br />

cerrado en X que no se pue<strong>de</strong> separar <strong>de</strong> 0 por abiertos disjuntos.<br />

4.9 Teorema Las siguientes afirmaciones son equivalentes:<br />

(1) X es regular.<br />

(2) Sean U ∈ τ y x ∈ U, entonces existe V ∈ τ t.q. x ∈ V y V ⊂ U.<br />

(3) Todo x ∈ X admite una base <strong>de</strong> entornos Bx = {Bx} t.q. Bx cerrado.<br />

Dem. Sea U entorno abierto <strong>de</strong> x, entonces x /∈ X −U cerrado, si X es regular<br />

existirán V, W abiertos t.q. x ∈ V , X − U ⊂ W y V ∩ W = ∅. En particular<br />

V ⊂ X − W ⊂ U y X − W cerrado implica V ⊂ X − W ⊂ U. Que (2)<br />

implica (3) es obvio. Finalmente, si se satisface (3) y F es un cerrado en X<br />

t.q. x /∈ F , notar que X − F es un abierto que contiene a x, luego existe V<br />

entorno cerrado <strong>de</strong> x t.q. x ∈ V ⊂ X −F . Es claro que x ∈ Int(V ), F ⊂ X −V<br />

y Int(V ) ∩ (X − V ) = ∅, por tanto X es regular.<br />

Ejercicio 20 Si X es un T3-espacio probar que para todo par <strong>de</strong> puntos x = y<br />

existen entornos U <strong>de</strong> x y V <strong>de</strong> y t.q. U ∩ V = ∅.<br />

La regularidad es hereditaria y se conserva en productos:<br />

4.10 Proposición Dada una familia {Xi}i∈J, entonces el producto Xi es<br />

regular (T3-espacio) si y sólo si cada factor Xi es regular (T3-espacio).<br />

Dem. Si Xi es regular también lo será Xk ≈ ik(Xk) ⊂ Xi. Recíprocamente,<br />

suponer que Xk es regular para todo k ∈ J y sean (xi) ∈ Xi y U = Ui ∈ τp<br />

t.q. (xi) ∈ U (recordar que Ui = Xi para todo i ∈ J−F ). Para cada xi elegimos<br />

Vi ∈ τi t.q. xi ∈ Vi ⊂ Vi ⊂ Ui <strong>de</strong> forma que Vi = Xi cuando Ui = Xi, entonces<br />

(xi) ∈ Vi ⊂ Vi = Vi ⊂ Ui = U. Por (4.9) se sigue que Xi es regular.<br />

Por (4.5) la proposición se satisface también para T3-espacios.<br />

Cocientes <strong>de</strong> T3-espacios no son necesariamente regulares:<br />

Ejemplo Sea X = {(x, 0)|x ∈ R} ∪ {(x, 1)|x ∈ R} y sea Y el espacio cociente<br />

<strong>de</strong> X obtenido al i<strong>de</strong>ntificar los puntos p 0 ≡ (x, 0) con p 1 ≡ (x, 1) para todo<br />

0 = x ∈ R. Claramente X es T3 y la proyección q : X −→ Y es continua sobre<br />

y abierta pero los puntos p 0 y p 1 no se pue<strong>de</strong>n separar por abiertos. Por tanto<br />

Y es T1 pero no T2 y como los puntos son cerrados, tampoco es regular.<br />

13


4.11 Lema Sea f : X −→ Y una aplicación continua y cerrada, B ⊂ Y y<br />

U ∈ τX t.q. f −1 (B) ⊂ U, entonces existe V ∈ τY t.q. B ⊂ V y f −1 (V ) ⊂ U.<br />

Dem. Definimos V = Y −f(X −U) que es abierto si f cerrada. Si f −1 (B) ⊂ U,<br />

entonces B ⊂ V (en efecto, si y ∈ B entonces f −1 (y) ⊂ U ó equivalentemente<br />

f −1 (y) ∩ (X − U) = ∅, luego y = ff −1 (y) ∈ Y − f(X − U) = V ). A<strong>de</strong>más,<br />

f −1 (V ) = f −1 (Y − f(X − U)) = X − f −1 f(X − U) ⊂ X − (X − U) = U.<br />

4.12 Teorema Sea X un T3-espacio y f : X −→ Y una aplicación continua,<br />

sobre, abierta y cerrada. Entonces Y es Hausdorff.<br />

Dem. Notar en primer lugar que si f es continua, sobre y abierta se sigue en<br />

particular que f es una i<strong>de</strong>ntificación. Para que Y sea Hausdorff, por (4.4)<br />

bastará probar que R(f) = {(x1, x2)|f(x1) = f(x2)} es cerrado en X × X ó<br />

bien que su complementario es abierto: sea (x1, x2) ∈ X × X − R(f), entonces<br />

f(x1) = f(x2) y por tanto x1 /∈ f −1 f(x2). Notar que este último conjunto<br />

es cerrado ya que X es T1-espacio (en particular {x2} será cerrado) y f es<br />

cerrada, entonces como X es regular existirán abiertos U, V en X t.q. x1 ∈ U,<br />

f −1 f(x2) ⊂ V y U ∩ V = ∅. Aplicando (4.11) para B = f(x2), existirá un<br />

abierto W t.q. f(x2) ∈ W y f −1 f(x2) ⊂ f −1 (W ) ⊂ V y como U ∩f −1 (W ) = ∅<br />

se sigue que (x1, x2) ∈ U × f −1 (W ) ⊂ X × X − R(f), luego R(f) cerrado.<br />

Sea A un subespacio cerrado <strong>de</strong> X, notar que la i<strong>de</strong>ntificación q : X −→ X/A<br />

es una aplicación cerrada. En efecto, sea F cerrado en X, como X/A tiene la<br />

topología cociente, notar que q(F ) será cerrado en X/A sí y sólo si q −1 q(F )<br />

es cerrado en X. Pero q −1 q(F ) = F , si F ∩ A = ∅ y q −1 q(F ) = F ∪ A, si<br />

F ∩ A = ∅. Por tanto q −1 q(F ) es cerrado en ambos casos, supuesto A cerrado.<br />

4.13 Teorema Si X es un T3-espacio y A es cerrado en X, entonces X/A con<br />

la topología cociente es un espacio Hausdorff.<br />

Dem. Si [x1] = [x2] caben dos casos: x1, x2 /∈ A ó x1 /∈ A y x2 ∈ A. En el<br />

primer caso, como X − A es Hausdorff, existirán U, V abiertos en X − A y por<br />

tanto en X, ya que X − A abierto en X, t.q. x1 ∈ U, x2 ∈ V y U ∩ V = ∅.<br />

Notar que U = q −1 q(U) y V = q −1 q(V ), por tanto q(U) y q(V ) son abiertos<br />

en X/A t.q. [x1] ∈ q(U), [x2] ∈ q(V ) y q(U) ∩ q(V ) = ∅. En el segundo caso, si<br />

x1 /∈ A existirán U, V abiertos en X t.q. x1 ∈ U, A ⊂ V y U ∩ V = ∅, ya que<br />

A cerrado y X es un T3-espacio. Como U ⊂ X − A se sigue que U = q −1 q(U),<br />

luego [x1] ∈ q(U) abierto en X/A. Es claro también que V = q −1 q(V ) y por<br />

tanto [x2] = {A} ∈ q(V ) abierto en X/A. Como q(U) ∩ q(V ) = ∅ concluimos<br />

que X/A es Hausdorff.<br />

Espacios normales y T4-espacios<br />

Un e.t. (X, τ) se dice normal si para todo par <strong>de</strong> subespacios cerrados y<br />

disjuntos A y B, existen abiertos U y V t.q. A ⊂ U, B ⊂ V y U ∩ V = ∅.<br />

14


Ejemplo Un espacio normal no es necesariamente regular. En efecto, sea R<br />

con la siguiente topología τ = {∅, R} ∪ {(a, +∞)|a ∈ R}, entonces (R, τ)<br />

es trivialmente normal, ya que no existen dos cerrados disjuntos, pero no es<br />

regular ya que 1 ∈ R y el cerrado (−∞, 0] no se pue<strong>de</strong>n separar por abiertos<br />

disjuntos (el único abierto que contiene a (−∞, 0] es R).<br />

Notar que (R, τ) es T0-espacio pero no T1-espacio. Análogamente, el espacio<br />

<strong>de</strong> Sierpinski es normal ya que no existen dos cerrados disjuntos, pero no es<br />

un T1-espacio. Un T1-espacio normal se dirá T4-espacio. En un T1-espacio,<br />

normalidad implica regularidad, luego todo T4-espacio es T3-espacio.<br />

Ejemplo La recta <strong>de</strong> Sorgenfrey (R, τS) es un T4-espacio: dados dos cerrados<br />

disjuntos A, B ⊂ R, para todo a ∈ A existe ra > a t.q. [a, ra) ∩ B = ∅ y<br />

para todo b ∈ B existe sb > b t.q. [b, sb) ∩ A = ∅. Sean UA = <br />

a∈A[a, ra) y<br />

UB = <br />

b∈B[b, sb). Entonces UA y UB son abiertos t.q. A ⊂ UA, B ⊂ UB y<br />

UA ∩ UB = ∅. En efecto, si x ∈ UA ∩ UB existen a, b ∈ R t.q. x ∈ [a, ra) ∩ [b, sb)<br />

luego a ≤ x < ra y b ≤ x < sb. Pero si suponemos a < b entonces b ∈ [a, ra) lo<br />

cual contradice que [a, ra) ∩ B = ∅. Concluimos que (R, τS) es normal. Como<br />

τS ⊃ τU, es claro que (R, τS) es un T1-espacio y por tanto es un T4-espacio.<br />

Ejemplo Todo espacio métrico (X, d) es un T4-espacio: sean A, B cerrados<br />

disjuntos, para cada x ∈ A existe δx > 0 t.q. B(x, δx) ∩ B = ∅ y para cada<br />

y ∈ B existe εy > 0 t.q. B(y, εy) ∩ A = ∅. Definimos U = <br />

x∈A B(x, δx/3)<br />

y V = <br />

y∈B B(y, εy/3), entonces U, V son abiertos en (X, d) t.q. A ⊂ U,<br />

B ⊂ V . Supongamos que z ∈ U ∩ V , entonces d(x, z) < δx/3, d(z, y) < εy/3<br />

y por la <strong>de</strong>sigualdad triangular d(x, y) < δx/3 + εy/3 < δx, suponiendo δx =<br />

max{δx, εy}, se sigue que y ∈ B(x, δx) y esto contradice que B(x, δx) ∩ B = ∅.<br />

Por tanto U ∩ V = ∅ y en consecuencia (X, d) es normal. Claramente todo<br />

espacio métrico es un T2-espacio y por tanto un T1-espacio.<br />

4.14 Proposición Son equivalentes las siguientes afirmaciones:<br />

(1) X es normal.<br />

(2) Para todo cerrado A y abierto U t.q. A ⊂ U, existe un abierto V t.q.<br />

A ⊂ V ⊂ V ⊂ U.<br />

(3) Para todo par <strong>de</strong> cerrados disjuntos A, B existe un abierto U t.q. A ⊂ U<br />

y U ∩ B = ∅.<br />

(4) Todo par <strong>de</strong> cerrados disjuntos admiten entornos cuyas clausuras son<br />

disjuntas.<br />

Dem. Sea A cerrado y U abierto t.q. A ⊂ U, entonces X − U es cerrado y<br />

A∩(X −U) = ∅. Si X es normal existen abiertos V, W t.q. A ⊂ V , X −U ⊂ W<br />

y V ∩ W = ∅. En particular V ⊂ X − W y como X − W es cerrado se sigue<br />

A ⊂ V ⊂ V ⊂ X − W ⊂ U, luego (1) =⇒ (2). Supongamos cierto (2) y sean<br />

A, B cerrados disjuntos, entonces A ⊂ X − B abierto implica que existe un<br />

abierto U t.q. A ⊂ U ⊂ U ⊂ X − B, en particular U ∩ B = ∅ y por tanto<br />

15


(2) =⇒ (3). Sean A, B cerrados disjuntos, por (3) existe U abierto t.q. A ⊂ U<br />

y U ∩ B = ∅, aplicando <strong>de</strong> nuevo (3) a los cerrados disjuntos B y U, existirá<br />

un abierto V t.q. B ⊂ V y V ∩ U = ∅, luego (3) =⇒ (4). Finalmente, que<br />

(4) =⇒ (1) es obvio.<br />

El siguiente resultado <strong>de</strong>bido a F.B. Jones es útil para construir espacios que<br />

no sean normales.<br />

4.15 Lema Si un e.t. X contiene subespacios D, S t.q. D <strong>de</strong>nso, S cerrado y<br />

discreto (con la topología inducida) y |S| ≥ 2 |D| , entonces X no es normal.<br />

Dem. Sea T ⊂ S, como τS es la topología discreta es claro que T es cerrado<br />

en S y por lo tanto en X. Entonces T y S − T son cerrados disjuntos y si<br />

suponemos que X es normal existirán abiertos UT , VT t.q. T ⊂ UT , S −T ⊂ VT<br />

y UT ∩ VT = ∅. Sean T1, T2 ∈ P(S) y notar que si T1 = T2 entonces también<br />

UT1 ∩ D = UT2 ∩ D (en efecto, T1 = T2 implica T1 ∩ (S − T2) = ∅ ó bien<br />

T2 ∩ (S − T1) = ∅. Supongamos T1 ∩ (S − T2) = ∅, entonces UT1 ∩ VT2 = ∅ y<br />

como D es <strong>de</strong>nso UT1 ∩ VT2 ∩ D = ∅, pero como UT1 ∩ VT2 ∩ D ⊂ UT1 ∩ D y<br />

UT1 ∩ VT2 ∩ D ∩ UT2 = ∅, ya que UT2 ∩ VT2 = ∅, se sigue UT1 ∩ D = UT2 ∩ D).<br />

Entonces la aplicación Φ : P(S) −→ P(D), dada por Φ(T ) = UT ∩ D, es<br />

inyectiva y por tanto |S| < |P(S)| ≤ |P(D)| = 2 |D| , lo cual contradice la<br />

hipótesis, luego X no pue<strong>de</strong> ser normal.<br />

Ejercicio 21 Probar que el plano <strong>de</strong> Moore es T3-espacio pero no T4-espacio.<br />

La normalidad no es hereditaria en general paro sí para cerrados.<br />

4.16 Proposición Sea X un espacio normal (T4-espacio) y F cerrado en X,<br />

entonces F con la topología inducida también es normal (T4-espacio).<br />

Dem. Sean A, B cerrados disjuntos en F , entonces A y B son cerrados en X<br />

y como X es normal, existirán U, V abiertos en X t.q. A ⊂ U, B ⊂ V y<br />

U ∩ V = ∅. Entonces F ∩ U y F ∩ V son abiertos en F t.q. F ∩ U ∩ V = ∅,<br />

por tanto F es normal.<br />

El producto <strong>de</strong> espacios normales no es necesariamente normal<br />

Ejercicio 22 Sea RS = (R, τS) la recta <strong>de</strong> Sorgenfrey, probar que RS × RS no<br />

es normal.<br />

En general, la normalidad no se conserva en cocientes.<br />

4.17 Proposición Sea X un espacio normal (T4-espacio) y f : X −→ Y una<br />

aplicación continua, cerrada y sobre, entonces Y es normal (T4-espacio).<br />

Dem. Sea f : X −→ Y una aplicación continua, sobre y cerrada, dados A, B<br />

cerrados disjuntos en Y se sigue que f −1 (A) y f −1 (B) son cerrados disjuntos<br />

16


en X, como X es normal existirán U, V abiertos en X t.q. f −1 (A) ⊂ U,<br />

f −1 (B) ⊂ V y U ∩ V = ∅. Por (4.11) existirán UA, VB abiertos en Y t.q.<br />

A ⊂ UA y f −1 (UA) ⊂ U, B ⊂ VB y f −1 (VB) ⊂ V . Notar que f −1 (UA ∩ VB) =<br />

f −1 (UA) ∩ f −1 (VB) ⊂ U ∩ V = ∅, por tanto UA ∩ VB = ∅ y concluimos que Y<br />

es normal. Como la imagen <strong>de</strong> un T1-espacio bajo una aplicación continua y<br />

cerrada es un T1-espacio, la proposición se sigue para T4-espacios.<br />

4.18 Corolario Si X es normal y A cerrado en X entonces X/A es normal.<br />

Dem. Notar que si A cerrado entonces q : X −→ X/A es una aplicación<br />

continua, sobre y cerrada.<br />

Finalizamos el capítulo con dos útiles caracterizaciones <strong>de</strong> la normalidad<br />

Lema <strong>de</strong> Urysohn Un espacio X es normal si y sólo si para todo par A, B<br />

<strong>de</strong> cerrados disjuntos, existe una aplicación continua f : X −→ [0, 1] t.q.<br />

f(A) = 0 y f(B) = 1.<br />

Teorema <strong>de</strong> extensión <strong>de</strong> Tietze Un espacio X es normal si y sólo si para<br />

todo A cerrado en X y toda aplicación continua f : A −→ R existe una<br />

aplicación continua F : X −→ R extendiendo a f (es <strong>de</strong>cir, tal que F |A = f).<br />

5 COMPACIDAD<br />

Un recubrimiento abierto <strong>de</strong> X es una colección <strong>de</strong> abiertos U = {Ui}i∈J t.q.<br />

X = <br />

i∈J Ui. Diremos que un espacio X es compacto si todo recubrimiento<br />

abierto U = {Ui}i∈J <strong>de</strong> X admite un subrecubrimiento finito, es <strong>de</strong>cir si existe<br />

un conjunto finito <strong>de</strong> índices F ⊂ J t.q. X = <br />

i∈F Ui.<br />

Ejemplos Con la topología usual, R no es compacto: en efecto, si Un = (−n, n)<br />

entonces U = {Un}n∈N es un recubrimiento abierto <strong>de</strong> R que no admite un<br />

subrecubrimiento finito. Todo espacio finito es obviamente compacto. En un<br />

espacio discreto, vale el recíproco: compacto ⇐⇒ finito. Un espacio X con la<br />

topología cofinita es compacto.<br />

Diremos que un e.t. X tiene la propiedad <strong>de</strong> intersección finita (p.i.f.)<br />

si para toda familia <strong>de</strong> cerrados {Ci}i∈J t.q. cualquier número finito <strong>de</strong> ellos<br />

tiene intersección no vacía entonces también <br />

i∈J Ci = ∅.<br />

5.1 Teorema Un espacio topológico es compacto si y sólo si tiene la p.i.f..<br />

Dem. Sea X compacto y {Ci}i∈J una familia <strong>de</strong> cerrados t.q. <br />

i∈F Ci = ∅ para<br />

todo conjunto finito <strong>de</strong> índices F ⊂ J y suponer <br />

i∈J Ci = ∅, entonces X =<br />

X −∅ = X − <br />

i∈J Ci = <br />

i∈J(X −Ci), es <strong>de</strong>cir {X −Ci}i∈J es un recubrimiento<br />

17


abierto <strong>de</strong> X y como X compacto, existe un conjunto finito <strong>de</strong> índices F ⊂ J<br />

t.q. {X − Ci}i∈F recubre X. Entonces X = <br />

i∈F (X − Ci) = X − <br />

i∈F Ci y<br />

por tanto <br />

i∈F Ci = ∅, llegando a contradicción. Recíprocamente, sea X con la<br />

p.i.f. y supongamos que X no es compacto, entonces existirá un recubrimiento<br />

abierto U = {Ui}i∈J <strong>de</strong> X que no admite un subrecubrimiento finito, es <strong>de</strong>cir<br />

∅ = X − <br />

i∈F Ui = <br />

i∈F (X − Ui) para todo subconjunto finito <strong>de</strong> índices<br />

F ⊂ J, entonces ∅ = <br />

i∈J(X − Ui) = X − <br />

i∈J Ui y llegamos a contradicción.<br />

Ejercicio 23 Probar que en un espacio compacto todo subconjunto infinito<br />

tiene punto <strong>de</strong> acumulación (Teorema <strong>de</strong> Bolzano-Weierstrass).<br />

Un subespacio K ⊂ X se dice compacto si (K, τ|K) es compacto ó bien si<br />

para todo recubrimiento abierto U = {Ui}i∈J <strong>de</strong> K, es <strong>de</strong>cir t.q. K ⊂ <br />

i∈J Ui,<br />

existe algún conjunto finito <strong>de</strong> índices F ⊂ J t.q. K ⊂ <br />

i∈F Ui.<br />

5.2 Teorema Todo subespacio cerrado en un espacio compacto es compacto.<br />

Dem. Sea U = {Ui}i∈J un recubrimiento abierto <strong>de</strong> K, como K es cerrado<br />

es claro que U ′ = U ∪ {X − K} es un recubrimiento abierto <strong>de</strong> X. Como<br />

X compacto, existirá un subrecubrimiento finito {X − K, U1, ..., Un} <strong>de</strong> X,<br />

entonces es claro que K ⊂ U1 ∪ · · · Un y por tanto que K es compacto.<br />

El recíproco no es cierto en general: sea X = {a, b} con τ = {∅, {a}, X} el<br />

espacio <strong>de</strong> Sierpinski, entonces X y K = {a} son compactos por ser finitos<br />

pero K no es cerrado en X.<br />

5.3 Lema Sea X un e.t. Hausdorff, K compacto en X y x ∈ X −K. Entonces<br />

existen abiertos U, V t.q. x ∈ U, K ⊂ V y U ∩ V = ∅.<br />

Dem. Sea x ∈ X − K, si X es Hausdorff para todo y ∈ K existirán abiertos<br />

disjuntos U y x, Vy t.q. x ∈ U y x y y ∈ Vy. Es claro que {Vy}y∈K es un recubrimiento<br />

abierto <strong>de</strong> K y por ser K compacto existirá un subrecubrimiento finito, es <strong>de</strong>cir<br />

K ⊂ Vy1 ∪· · ·∪Vyn. Definimos U = U y1<br />

x ∩· · ·∩U yn<br />

x y V = Vy1 ∪· · · Vyn, entonces<br />

yk<br />

U, V abiertos, x ∈ U, K ⊂ V y U ∩ V = ∅ (en efecto, U ∩ Vyk ⊂ Ux ∩ Vyk = ∅<br />

para 1 ≤ k ≤ n, por tanto U ∩ V = (U ∩ Vy1) ∪ · · · ∪ (U ∩ Vyn) = ∅).<br />

5.4 Corolario En un espacio Hausdorff todo subespacio compacto es cerrado.<br />

Dem. Sea X Hausdorff y K un subespacio compacto <strong>de</strong> X, si x ∈ X − K<br />

por 5.3 existirán U, V abiertos disjuntos t.q. x ∈ U y K ⊂ V . En particular<br />

x ∈ U ⊂ X − V ⊂ X − K, es <strong>de</strong>cir X − K es abierto y por tanto K es cerrado.<br />

5.5 Teorema Sea X un e.t. Hausdorff y K1, K2 dos subespacios compactos y<br />

disjuntos. Entonces existen abiertos U, V t.q. K1 ∈ U, K2 ⊂ V y U ∩ V = ∅.<br />

Dem. Por 5.3, para todo y ∈ K2 existirán abiertos Uy, Vy t.q. y ∈ Uy, K1 ⊂ Vy<br />

18


y Uy ∩Vy = ∅. Notar que {Uy}y∈K2 es un recubrimiento abierto <strong>de</strong> K2 y por ser<br />

K2 compacto existirá un subrecubrimiento finito, es <strong>de</strong>cir K2 ⊂ Uy1 ∪· · ·∪Uym.<br />

Sean U = Uy1 ∪· · ·∪Uym y V = Vy1 ∩· · ·∩Vym, es claro que U y V son abiertos<br />

t.q. K1 ⊂ U, K2 ⊂ V y, como en 5.3, es fácil probar que U ∩ V = ∅.<br />

Una consecuencia inmediata <strong>de</strong> 5.5 es el siguiente resultado<br />

5.6 Corolario Todo espacio compacto y Hausdorff es un T4-espacio.<br />

Ejercicio 24 Sea A = {an}n∈N una sucesión <strong>de</strong> puntos en un e.t. X que<br />

converge a un punto a ∈ X. Probar que K = A ∪ {a} es compacto.<br />

Ejercicio 25 Sea X un e.t. Hausdorff y A ⊂ X un subespacio compacto.<br />

Probar que el <strong>de</strong>rivado A ′ también es compacto.<br />

Ejercicio 26 Sea {Ki} n i=1 una familia finita <strong>de</strong> subespacios compactos <strong>de</strong> un<br />

e.t. X. Probar que la unión K = K1 ∪ · · · ∪ Kn es un compacto.<br />

5.7 Proposición Sea X compacto y f : X −→ Y una aplicación continua,<br />

entonces f(X) es compacto. Si a<strong>de</strong>más Y es Hausdorff entonces f es cerrada.<br />

Dem. Sea U = {Ui}i∈J un recubrimiento abierto <strong>de</strong> f(X), como f continua se<br />

sigue que {f −1 (Ui)}i∈J es un recubrimiento abierto <strong>de</strong> X y siendo X compacto<br />

existirá un conjunto finito F ⊂ J t.q. X = <br />

i∈F f −1 (Ui), entonces f(X) =<br />

f( <br />

i∈F f −1 (Ui)) = <br />

i∈F ff −1 (Ui) ⊆ <br />

i∈F (Ui), por tanto f(X) compacto. Sea<br />

C cerrado en X, entonces C es compacto y también f(C) compacto, por tanto<br />

cerrado cuando Y es Hausdorff. Concluimos que f es una aplicación cerrada.<br />

Se sigue inmediatamente un importante resultado<br />

5.8 Corolario Toda biyección continua <strong>de</strong> un espacio compacto en un espacio<br />

Hausdorff es un homeomorfismo.<br />

Es también inmediato probar (ver 3.5)<br />

5.9 Corolario Si f : X −→ Y es una i<strong>de</strong>ntificación, h : X −→ Z continua<br />

y constante sobre las fibras f −1 (y), X compacto, Z Hausdorff y g : Y −→ Z,<br />

dada por g(y) = hf −1 (y), es biyectiva entonces g es un homeomorfismo.<br />

5.10 Teorema Si Y es compacto, entonces la proyección pX : X × Y −→ X<br />

es una aplicación cerrada.<br />

Dem. Sea C cerrado en X × Y y vamos a probar que X − pX(C) es abierto.<br />

Si x ∈ X − pX(C) es claro que {x} × Y ∩ C = ∅, luego (x, y) ∈ X × Y − C<br />

para todo y ∈ Y . Como X × Y − C es abierto, existirán abiertos U y x y Vy t.q.<br />

x ∈ U y x, y ∈ Vy y (x, y) ∈ U y x × Vy ⊂ X × Y − C. Es claro que {U y x × Vy}y∈Y es<br />

un recubrimiento abierto <strong>de</strong> {x} × Y y siendo este último compacto, por ser<br />

19


homeomorfo a Y , admitirá un subrecubrimiento finito {U y1<br />

x ×Vy1, ..., U yn<br />

x ×Vyn}.<br />

Entonces U = U y1<br />

x ∩ ... ∩ U yn<br />

x es un abierto t.q. x ∈ U ⊂ X − pX(C), ya que<br />

U ∩pX(C) = ∅. Concluimos que X −pX(C) es abierto, luego pX(C) es cerrado.<br />

5.11 Corolario Sea Y compacto, A ⊂ X y U un abierto en X × Y t.q.<br />

A × Y ⊂ U , entonces existe un abierto V en X t.q. A × Y ⊂ V × Y ⊂ U.<br />

Dem. Como p −1<br />

X (A) = A × Y y pX es cerrada, se sigue <strong>de</strong> (4.11) que existe<br />

V abierto en X t.q. A ⊂ V y V × Y = p −1<br />

X (V ) ⊂ U.<br />

5.12 Corolario Sea Y un e.t. compacto y Hausdorff, entonces f : X −→ Y<br />

es continua si y sólo si su grafo Γf es cerrado en X × Y .<br />

Dem. Sea C cerrado en Y , si Γf es cerrado entonces p −1<br />

Y (C)∩Γf = X ×C ∩Γf<br />

será cerrado en X × Y . Notar que pX(X × C ∩ Γf) = {x|f(x) ∈ C} = f −1 (C),<br />

como pX cerrada se sigue que f −1 (C) es cerrado y por tanto que f es continua.<br />

Para el recíproco ver Ej.19<br />

5.13 Teorema Un producto finito <strong>de</strong> espacios es compacto si y sólo si lo son<br />

cada uno <strong>de</strong> sus factores.<br />

Dem. Sea X ×Y es compacto, entonces por (5.7) también X, Y son compactos<br />

ya que pX y pY son continuas. Recíprocamente, sean X, Y compactos y sea<br />

U = {Ui}i∈J un recubrimiento abierto <strong>de</strong> X × Y . Dado x ∈ X es claro que<br />

{x} × Y es compacto, ya que es homeomorfo a Y , entonces {x} × Y admite<br />

un subrecubrimiento finito {U1, ..., Un}. Sea Ux = U1 ∪ · · · ∪ Un, por (5.11)<br />

existirá un abierto Vx t.q. {x} × Y ⊂ Vx × Y ⊂ Ux. Como X es compacto y<br />

X = <br />

x∈X Vx, admitirá un subrecubrimiento finito {Vx1, ..., Vxk }, entonces es<br />

claro que {Vx1 × Y, ..., Vxk × Y } es un recubrimiento abierto <strong>de</strong> X × Y , pero<br />

Vxi × Y ⊂ Uxi y cada Uxi es unión finita <strong>de</strong> miembros <strong>de</strong> U, luego X × Y<br />

compacto. Por inducción lo po<strong>de</strong>mos exten<strong>de</strong>r a cualquier producto finito.<br />

Este último resultado se extien<strong>de</strong> también al caso infinito (Dugundji, 224)<br />

Teorema <strong>de</strong> Tychonoff Dada una familia arbitraria {Xi}i∈J entonces el<br />

producto <br />

i∈J Xi es compacto si y sólo si Xi es compacto para todo i ∈ J.<br />

Espacios métricos compactos<br />

5.14 Lema Sea R con la topología usual, todo intervalo cerrado [a, b] ⊂ R es<br />

compacto y K ⊂ R es compacto si y sólo si es cerrado y acotado.<br />

Dem. Sea U = {Ui}i∈J un recubrimiento abierto <strong>de</strong> [a, b] y sea c el supremo<br />

<strong>de</strong> los x ∈ [a, b] t.q. [a, x] ⊂ U1 ∪ · · · ∪ Un, para algún número finito <strong>de</strong> Ui ∈ U.<br />

Supongamos que c < b y sea U0 ∈ U t.q. c ∈ U0, claramente existirá ε con<br />

0 < ε < b − c t.q. [c − ε, c + ε] ⊂ U0. Como [a, c − ε] se pue<strong>de</strong> recubrir<br />

20


con un número finito <strong>de</strong> abiertos {U1, ..., Un} ⊂ U es claro que [a, c + ε] se<br />

podrá recubrir con {U0, U1, ..., Un}, lo cual contradice que c sea el supremo.<br />

Entonces necesariamente c = b y por tanto [a, b] es compacto. Sea K un<br />

subespacio compacto, como (R, τU) es Hausdorff, se sigue que K es cerrado.<br />

Es claro que U = {(−n, n)}n∈N es un recubrimiento abierto <strong>de</strong> K, por tanto<br />

existirá n0 ∈ N t.q. K ⊂ (−n0, n0), luego K está acotado. Recíprocamente,<br />

supongamos que K es cerrado y acotado, por ser K acotado existirán a, b ∈ R<br />

t.q. K ⊂ [a, b], si K es cerrado en R también será cerrado en [a, b] y siendo<br />

este último compacto se sigue por (5.2) que K es compacto.<br />

Claramente K ⊂ R n es acotado si y sólo si existen ai, bi ∈ R, para 1 ≤ i ≤ n,<br />

t.q. K ⊂ [a1, b1] × · · · × [an, bn].<br />

5.15 Teorema <strong>de</strong> Heine-Borel Un subespacio K ⊂ R n es compacto si y<br />

sólo si es cerrado y acotado.<br />

Dem. Notar que R n no es compacto (en otro caso, por (5.13) también lo<br />

tendría que ser R). Sea K ⊂ R n compacto, como R n es Hausdorff se sigue que<br />

K es cerrado. Por otra parte, pi(K) será compacto en R, para todo 1 ≤ i ≤ n,<br />

luego pi(K) ⊂ [ai, bi], para algún ai, bi ∈ R, entonces K ⊂ [a1, b1]×· · ·×[an, bn]<br />

y por tanto K está acotado. Recíprocamente, sea K cerrado y acotado, por ser<br />

acotado es claro que K ⊂ [a1, b1]×· · ·×[an, bn], y siendo este último compacto<br />

y K cerrado, se sigue por (5.2) que K también es compacto.<br />

Sea (E, d) un espacio métrico y A ⊂ E, <strong>de</strong>finimos el diámetro <strong>de</strong> A como<br />

d(A) = sup{d(x, y)|x, y ∈ A} y diremos que A está acotado si d(A) < ∞. Una<br />

función continua f : X −→ E se dirá acotada si existe un número real M ≥ 0<br />

t.q. d(f(X)) ≤ M, es <strong>de</strong>cir si f(X) es un subespacio acotado <strong>de</strong> E.<br />

5.16 Corolario Sea X un e.t. compacto y f : X −→ R una aplicación<br />

continua, entonces f está acotada y alcanza sus cotas.<br />

Dem. Sean m = inf{f(x)|x ∈ X} y M = sup{f(x)|x ∈ X}, claramente m<br />

y M son puntos <strong>de</strong> acumulación <strong>de</strong> f(X), es <strong>de</strong>cir m, M ∈ f(X). Entonces<br />

X compacto implica f(X) compacto en R, por tanto cerrado y acotado. En<br />

particular m, M ∈ f(X), es <strong>de</strong>cir ∃ x0, y0 ∈ X t.q. f(x0) = m y f(y0) = M.<br />

5.17 Lema <strong>de</strong> Lebesgue Sea (E, d) un espacio métrico compacto y U =<br />

{Ui}i∈J un recubrimiento abierto <strong>de</strong> E, entonces existe ρ > 0 t.q. toda bola<br />

B(x, ρ) = {y ∈ E|d(x, y) < ρ} está contenida en algún Ui ∈ U (llamaremos a<br />

ρ el número <strong>de</strong> Lebesgue <strong>de</strong>l recubrimiento U).<br />

Dem. Dado xi ∈ E existe Ui ∈ U t.q. xi ∈ Ui y como las bolas forman<br />

base <strong>de</strong> la topología inducida por la métrica, existe ri > 0 t.q. B(xi, ri) ⊂<br />

Ui. Notar que {B(xi, ri/2)}xi∈E es un recubrimiento abierto <strong>de</strong> E y como<br />

E compacto existirá un subrecubrimiento finito {B(x1, r1/2), ..., B(xn, rn/2)},<br />

21


entonces dado x ∈ E se sigue que x ∈ B(xi, ri/2) para algún i ∈ {1, 2, .., n}.<br />

Denotamos ρ = min{r1/2, ..., rn/2}, entonces si z ∈ B(x, ρ) se tiene<br />

d(z, xi) ≤ d(z, x) + d(x, xi) < ρ + ri<br />

2<br />

luego z ∈ B(xi, ri) y por tanto B(x, ρ) ⊂ B(xi, ri) ⊂ Ui.<br />

≤ ri<br />

Ejercicio 27 Probar que S n−1 = {x ∈ R n |x = 1} es compacto en R n .<br />

Ejercicio 28 Sea H 2 = S 2 ∩{(x, y, z)|z ≥ 0} ⊂ R 3 el hemisferio norte. Probar<br />

que H 2 es compacto y si D 2 = {(x, y) ∈ R 2 |x 2 + y 2 ≤ 1} es el disco unidad en<br />

R 2 , entonces h : H 2 −→ D 2 dada por h(x, y, z) = (x, y) es homeomorfismo.<br />

Ejercicio 29 Sea A = [0, 1) ⊂ R, B = {(x, y) ∈ R 2 |y = x 2 , x ≥ 0} ⊂ R 2<br />

y C = {(x, y) ∈ R 2 |x 2 + y 2 = 1, x ≥ 0} ⊂ R 2 . Probar que A y B son<br />

homeomorfos pero ninguno <strong>de</strong> ellos es homeomorfo a C.<br />

Espacios localmente compactos<br />

Un subespacio A <strong>de</strong> un e.t. X se dice relativamente compacto si su clausura<br />

A es compacta. Un e.t. X se dice localmente compacto si todo punto <strong>de</strong> X<br />

tiene un entorno abierto relativamente compacto.<br />

Ejemplos (1) Todo espacio compacto es localmente compacto. (2) El espacio<br />

euclí<strong>de</strong>o R n es localmente compacto para todo n ≥ 1. (3) Todo espacio infinito<br />

y discreto es localmente compacto. La recta racional Q y la recta irracional<br />

R − Q no son localmente compactos.<br />

5.18 Teorema Sea X un e.t. Hausdorff, entonces son equivalentes:<br />

(1) X es localmente compacto.<br />

(2) Para todo x ∈ X y todo abierto U t.q. x ∈ U, existe un abierto V<br />

relativamente compacto t.q. x ∈ V ⊂ V ⊂ U.<br />

(3) Para todo subespacio compacto K y todo abierto U ⊃ K, existe un<br />

abierto V relativamente compacto t.q. K ⊂ V ⊂ V ⊂ U.<br />

(4) X tiene una base que consiste en abiertos relativamente compactos.<br />

Dem. Sea x ∈ X y U abierto en X t.q. x ∈ U. Si X localmente compacto, x<br />

admitirá un entorno W relativamente compacto. Por (5.6), notar que W es<br />

un T4-espacio y en particular será regular, como U ∩W es un abierto en W t.q.<br />

x ∈ U ∩ W , por (4.9) existirá A abierto en W t.q. x ∈ A ⊂ Cl W (A) ⊂ U ∩ W .<br />

Notar que A = B ∩W con B abierto en X, <strong>de</strong>finimos entonces V = B ∩W y es<br />

claro que x ∈ V ⊂ V ⊂ U, luego hemos probado que (1) =⇒ (2). Supongamos<br />

cierto (2) y sean K compacto y U abierto t.q. K ⊂ U, para cada x ∈ K existirá<br />

un abierto Vx relativamente compacto t.q. x ∈ Vx ⊂ Vx ⊂ U. Es claro que<br />

{Vx}x∈K es un recubrimiento abierto <strong>de</strong> K y siendo K compacto existirá un<br />

22


subrecubrimiento finito {Vx1, ..., Vxn}. Definimos V = Vx1 ∪ · · · ∪ Vxn, entonces<br />

es claro que V es un abierto relativamente compacto t.q. K ⊂ V ⊂ V ⊂ U (en<br />

efecto, V = Vx1 ∪ · · · ∪ Vxn = Vx1 ∪ · · · ∪ Vxn, compacto por ser unión finita<br />

<strong>de</strong> compactos) por tanto (2) =⇒ (3). Sea B = {V ∈ τ|V compacto}, como<br />

K = {x} es compacto se sigue <strong>de</strong> (3) que B es una base, luego (3) =⇒ (4).<br />

Finalmente, es evi<strong>de</strong>nte que (4) =⇒ (1)<br />

5.19 Corolario Todo e.t. Hausdorff y localmente compacto es un T3-espacio.<br />

Dem. Basta probar que X es regular, pero eso se sigue por (2) en (5.18).<br />

Un subespacio A ⊂ X se dirá localmente compacto si para todo x ∈ A existe<br />

V abierto en X t.q. x ∈ V y V ∩ A es compacto.<br />

5.20 Teorema Sea X un e.t. Hausdorff. Si A ⊂ X es localmente compacto<br />

entonces A = U ∩ F , con U abierto y F cerrado. Si X es localmente compacto<br />

y A = U ∩ F , con U abierto y F cerrado, entonces A es localmente compacto.<br />

Dem. Sea A localmente compacto, para todo x ∈ A existirá Ux abierto en<br />

X t.q. Ux ∩ A es compacto y por tanto cerrado, por ser X Hausdorff. Como<br />

Ux ∩ A = Ux ∩ (Ux ∩ A), se sigue que Ux ∩ A es cerrado en Ux, para todo<br />

x ∈ A, por tanto A es cerrado en U = <br />

x∈A Ux, es <strong>de</strong>cir A = U ∩ F para<br />

algún F cerrado en X. Supongamos ahora que X es localmente compacto y<br />

sea A = U ∩ F con U abierto y F cerrado, para todo punto x ∈ A, como<br />

x ∈ U existe un abierto relativamente compacto V t.q. x ∈ V ⊂ V ⊂ U.<br />

Entonces V ∩ A es un abierto en A t.q. V ∩ A = V ∩ (U ∩ F ) = V ∩ F será<br />

cerrado en V y por tanto compacto, luego V ∩ A es relativamente compacto<br />

y en consecuencia A es localmente compacto.<br />

En particular, la propiedad <strong>de</strong> ser localmente compacto es hereditaria para los<br />

abiertos y para los cerrados <strong>de</strong> un espacio localmente compacto.<br />

Ejercicio 30 Sea X un e.t. Hausdorff y localmente compacto y sea D <strong>de</strong>nso<br />

en X, probar que entonces D es localmente compacto si y sólo si es abierto.<br />

5.21 Teorema Sean X, Y dos e.t. Hausdorff y f : X −→ Y una aplicación<br />

continua, sobre y abierta. Si X es localmente compacto también lo es Y .<br />

Dem. Notar que, en particular, f es una i<strong>de</strong>ntificación. Sea y ∈ Y y sea U un<br />

abierto t.q. y ∈ U. Elegimos x ∈ f −1 (y) ⊂ f −1 (U), como f −1 (U) es abierto y<br />

X es localmente compacto existirá un abierto V relativamente compacto t.q.<br />

x ∈ V ⊂ V ⊂ f −1 (U). Pero V compacto implica f(V ) compacto y por tanto<br />

cerrado, ya que Y es Hausdorff, entonces f(V ) ⊂ f(V ) = f(V ), por otra parte<br />

f continua implica f(V ) ⊂ f(V ), entonces f(V ) = f(V ) es compacto. Como<br />

f es abierta se sigue que f(V ) es abierto, luego es un abierto relativamente<br />

compacto t.q. y ∈ f(V ) ⊂ f(V ) ⊂ U. Por tanto Y es localmente compacto.<br />

23


5.22 Teorema Dada una familia {Xi}i∈J <strong>de</strong> espacios Hausdorff, entonces<br />

<br />

i∈J Xi es localmente compacto si y sólo si cada Xi es localmente compacto<br />

y todos los factores Xi, salvo un número finito, son compactos.<br />

Dem. Sea Xi localmente compacto, como las proyecciones pk : Xi −→ Xk<br />

son continuas, sobre y abiertas se sigue que Xk es localmente compacto para<br />

todo k ∈ J. A<strong>de</strong>más, si V es un abierto relativamente compacto notar que<br />

V = Vi t.q. Vi = Xi para todo i ∈ J − F , don<strong>de</strong> F ⊂ J es un conjunto<br />

finito <strong>de</strong> índices, entonces Xi = pi(V ) ⊂ pi(V ) y por tanto Xi = pi(V ),<br />

para todo i ∈ J − F , el cual es compacto por serlo V . Recíprocamente, sea<br />

Xi localmente compacto para todo i ∈ J, compacto para todo i ∈ J − F y<br />

suponer F = {1, 2, ..., n}. Dado (xi) ∈ Xi, para cada k ∈ F existe un abierto<br />

Vk relativamente compacto t.q. xk ∈ Vk. Como Vi = Vi, por el teorema<br />

<strong>de</strong> Tychonoff se sigue que V = Vi, con Vi = Xi para i > n, es un abierto<br />

relativamente compacto t.q. (xi) ∈ V . Por tanto Xi localmente compacto.<br />

Compactación <strong>de</strong> Alexandroff<br />

Una compactación ó compactificación <strong>de</strong> un e.t. X es un par (Y, h) don<strong>de</strong><br />

Y es un T2-espacio compacto y h : X −→ Y aplica X <strong>de</strong> manera homeomorfa<br />

sobre un subespacio <strong>de</strong>nso <strong>de</strong> Y (es <strong>de</strong>cir, X ≈ h(X) <strong>de</strong>nso en Y ).<br />

Ejercicio 31 Probar que X es localmente compacto si y sólo si h : X −→ Y<br />

es abierta para toda compactificación (Y, h) <strong>de</strong> X.<br />

5.23 Teorema Un espacio X Hausdorff y localmente compacto se pue<strong>de</strong><br />

incrustar en un espacio Hausdorff y compacto X t.q. X − X es un punto {p}.<br />

Dem. Definimos X = X {p}, don<strong>de</strong> p es un punto i<strong>de</strong>al disjunto <strong>de</strong> X y sea<br />

τ = τ ∪{ X−K|K ⊂ Xcompacto}. Es fácil probar que τ es una topología sobre<br />

X y es claro que dos puntos distintos <strong>de</strong> X se pue<strong>de</strong>n separar por abiertos<br />

disjuntos si ambos están en X. Sea ahora x ∈ X y p = X − X, como X<br />

es localmente compacto existirá U ∈ τ relativamente compacto t.q. x ∈ U,<br />

entonces X − U ∈ τ, p ∈ X − U y es claro que U ∩ ( X − U) = ∅, por tanto<br />

( X, τ) es Hausdorff. Finalmente, sea U = {Ui}i∈J un recubrimiento abierto <strong>de</strong><br />

X y sea U0 ∈ U un abierto conteniendo a p, entonces U0 = X − K para algún<br />

K compacto en X y si {U1, ..., Un} ⊂ U es un subrecubrimiento finito <strong>de</strong> K es<br />

claro que {U0, U1, ..., Un} es un subrecubrimiento finito <strong>de</strong> X, por tanto ( X, τ)<br />

es compacto.<br />

Sea i : X −→ X la inclusión, notar que el par ( X, i) es una compactación<br />

<strong>de</strong> X: en efecto, X ≈ i(X) y si U = X − K es un abierto que contiene a p,<br />

entonces U ∩ X = ∅, luego p ∈ X y por tanto X = X, es <strong>de</strong>cir X es <strong>de</strong>nso<br />

en X. Tal compactación ( X, i) se dirá compactación a un punto ó <strong>de</strong><br />

Alexandroff <strong>de</strong> X.<br />

24


5.24 Teorema Sea Y un espacio Hausdorff y compacto, q ∈ Y un punto no<br />

aislado y X = Y − {q}, entonces Y es homeomorfo a X. En particular, la<br />

compactificación <strong>de</strong> Alexandroff es única salvo homeomorfismo.<br />

Dem. Sea X = Y −{q} y f : X −→ Y t.q. f|X = idX y f(p) = q, claramente f<br />

es una biyección. Veamos que f es una aplicación abierta ó equivalentemente<br />

que f −1 es continua: sea U ∈ τ, si U ⊂ X entonces f(U) = U es abierto en<br />

Y ya que X abierto en Y , si U = X − K con K compacto es un abierto que<br />

contiene a {p}, entonces f(U) = f( X − K) = Y − f(K) = Y − K, ya que<br />

K ⊂ X y f|X = idX, como todo compacto en un Hausdorff es cerrado se sigue<br />

que f(U) es abierto. Entonces f −1 : Y −→ X es una biyección continua <strong>de</strong> un<br />

espacio compacto en un espacio Hausdorff, por tanto un homeomorfismo.<br />

Ejercicio 32 Probar que R n ≈ S n<br />

6 CONEXIÓN<br />

Sea X un e.t., llamaremos separación <strong>de</strong> X a un par <strong>de</strong> abiertos {U, V } t.q.<br />

U = ∅, V = ∅, U ∩ V = ∅ y X = U ∪ V . Diremos que X es conexo si no<br />

admite una separación.<br />

Ejemplo El espacio <strong>de</strong> Sierpinski es conexo. Espacios discretos con mas <strong>de</strong> un<br />

punto, en particular S 0 = Z2 = {0, 1}, no son conexos. Espacios indiscretos<br />

son conexos. La recta racional Q no es conexa: U = (−∞, √ 2) ∩ Q y V =<br />

( √ 2, +∞) ∩ Q es una separación <strong>de</strong> Q. La recta <strong>de</strong> Sorgenfrey no es conexa:<br />

en efecto, {(−∞, a), [a, +∞)} es una separación <strong>de</strong> (R, τS).<br />

6.1 Lema Las siguientes afirmaciones son equivalentes:<br />

(1) X es conexo.<br />

(2) ∅ y X son los únicos que son simultáneamente abiertos y cerrados en X.<br />

(3) No existe aplicación continua y sobre f : X −→ S 0 .<br />

(4) Fr(B) = ∅ para todo B = ∅, X.<br />

Dem. Si A = ∅, X es abierto y cerrado entonces {A, X − A} es una separación<br />

<strong>de</strong> X, luego (1) =⇒ (2). Supongamos que existe f : X −→ S 0 continua y sobre,<br />

entonces f −1 (0) = ∅, X es abierto y cerrado en X, ya que {0} es abierto y<br />

cerrado en S 0 , lo cual contradice (2), luego (2) =⇒ (3). Supongamos que X<br />

no es conexo y sea {U, V } una separación, entonces la función característica<br />

cV : X −→ S 0 , dada por cV (x) = 0 si x ∈ U, cV (x) = 1 si x ∈ V , es continua y<br />

sobre, contradiciendo (3), luego X <strong>de</strong>be ser conexo y por tanto (3) =⇒ (1). Sea<br />

B = ∅, X y supongamos que Fr(B) = ∅, como X = Int(B) ∪ Ext(B) ∪ Fr(B)<br />

se sigue que {Int(B), Ext(B)} es una separación <strong>de</strong> X, luego (1) =⇒ (4).<br />

25


Recíprocamente, supongamos X no conexo y sea {U, V } una separación <strong>de</strong><br />

X, entonces Fr(U) = U ∩ X − U = U ∩ V = U ∩ V = ∅, por tanto (4) =⇒ (1).<br />

Ejercicio 34 Sean {U, V } una separación <strong>de</strong> X y sea A un subespacio conexo<br />

<strong>de</strong> X. Probar que entonces A ⊂ U ó A ⊂ V .<br />

6.2 Proposición Sea f : X −→ Y una aplicación continua, si X es conexo<br />

entonces f(X) también es conexo.<br />

Dem. Sea g : X −→ f(X) t.q. g(x) = f(x) la restricción <strong>de</strong> f a su imagen,<br />

entonces g es continua y sobre. Sea X conexo y supongamos que f(X) no lo<br />

es, es <strong>de</strong>cir supongamos que existe una aplicación h : f(X) −→ S 0 continua<br />

y sobre, entonces la composición hg : X −→ S 0 también es continua y sobre,<br />

contradiciendo que X sea conexo. Por tanto, necesariamente f(X) conexo.<br />

En particular, la conexión es un invariante topológico.<br />

6.3 Proposición Sea A un subespacio conexo <strong>de</strong> un e.t. X y sea B t.q.<br />

A ⊆ B ⊆ A, entonces B y en particular A también son conexos.<br />

Dem. Supongamos que existe una aplicación continua f : B −→ S 0 y vamos a<br />

probar que f no pue<strong>de</strong> ser sobre. Como A conexo, la restricción f|A : A −→ S 0<br />

es continua, por tanto no pue<strong>de</strong> ser sobre, supongamos f(A) = 0. Por otra<br />

parte B ⊆ A y f continua implican f(B) ⊆ f(A) ⊆ f(A) = {0} = {0}, luego<br />

f : B −→ S 0 no es sobre. Por tanto B y A son también conexos.<br />

Ejercicio 35 Sea C ⊂ X un subespacio conexo y A ⊂ X t.q. C ∩ A = ∅ y<br />

C ∩ (X − A) = ∅. Probar que entonces C ∩ Fr(A) = ∅.<br />

Ejercicio 36 Sea f : X −→ Y una i<strong>de</strong>ntificación t.q. las fibras f −1 (y) son<br />

conexas para todo y ∈ Y . Probar que un abierto (cerrado) B ⊂ Y es conexo<br />

si y sólo si f −1 (B) es conexo. En particular para B = Y , se sigue que X es<br />

conexo si y sólo si lo es Y .<br />

Ejercicio 37 Sea C un subespacio conexo <strong>de</strong> un e.t. conexo X. Si {U, V }<br />

forman una separación <strong>de</strong> X − C probar que C ∪ U y C ∪ V son conexos.<br />

6.4 Teorema Sea C = {Ci}i∈J una familia <strong>de</strong> subespacios conexos <strong>de</strong> X y<br />

supongamos que existe C0 ∈ C t.q. C0 ∩ Ci = ∅ para todo i ∈ J. Probar que<br />

entonces C = Ci es conexo.<br />

Dem. Supongamos que C = Ci no es conexo y sean U, V dos abiertos en C<br />

no vacíos t.q. C = U ∪ V y U ∩ V = ∅, entonces para todo i ∈ J se tiene<br />

que Ci ⊂ U ó bien Ci ⊂ V , ya que en otro caso {Ci ∩ U, Ci ∩ V } sería una<br />

separación <strong>de</strong>l conexo Ci. Notar que si C0 ⊂ U, entonces también Ci ⊂ U para<br />

todo i ∈ J (ya que si existe k ∈ J t.q. Ck ⊂ V entonces C0 ∩ Ck ⊂ U ∩ V = ∅),<br />

26


y por tanto se tendría que V = ∅, lo cual es una contradicción.<br />

Ejercicio 38 Sea C = {Ci}i∈J una familia <strong>de</strong> subespacios conexos <strong>de</strong> X t.q.<br />

Ci = ∅. Probar que C = Ci es conexo.<br />

Ejercicio 39 Sea {Cn}n∈N una familia <strong>de</strong> subespacios conexos <strong>de</strong> X tales que<br />

Cn ∩ Cn+1 = ∅ para todo n ∈ N. Probar que C = Cn es conexo.<br />

6.5 Proposición Un producto <strong>de</strong> e.t. es conexo si y sólo si lo es cada factor.<br />

Dem. Si X × Y es conexo entonces por (6.2) lo son X, Y ya que las proyecciones<br />

son continuas. Recíprocamente, supongamos que X, Y son conexos y<br />

elegimos x0 ∈ X, entonces C0 = {x0} × Y es conexo por ser homeomorfo a<br />

Y . Análogamente, Cy = X × {y} ≈ X son conexos para todo y ∈ Y . Entonces<br />

X × Y = <br />

y∈Y Cy ∪ C0 y (6.4) implican que X × Y es conexo, ya que<br />

C0 ∩ Cy = {(x0, y)} = ∅ para todo y ∈ Y . Por inducción, la proposición se<br />

sigue para un número finito <strong>de</strong> factores.<br />

También se satisface (6.5) para un número infinito <strong>de</strong> factores pero omitiremos<br />

la <strong>de</strong>mostración por ser mucho más compleja.<br />

6.6 Teorema Sea R con la topología usual y A ⊂ R un subespacio conteniendo<br />

mas <strong>de</strong> un punto, entonces A es conexo si y sólo si es un intervalo.<br />

Dem. Sea A un subespacio conexo <strong>de</strong> R con más <strong>de</strong> un punto y supongamos<br />

que A no es un intervalo, es <strong>de</strong>cir existen a, b ∈ A y c ∈ (a, b) t.q. c /∈ A,<br />

entonces {A∩(−∞, c), A∩(c, +∞)} es una separación <strong>de</strong> A lo cual contradice<br />

que A es conexo, por tanto A <strong>de</strong>be ser un intervalo. Recíprocamente, sea A<br />

un intervalo en R y supongamos que {U, V } es una separación <strong>de</strong> A, elegimos<br />

a ∈ U, b ∈ V y si a < b <strong>de</strong>finimos c = sup{x|[a, x) ⊂ U}, entonces c ≤ b y<br />

por tanto c ∈ A, ya que A es un intervalo. Es claro que c ∈ ClAU y como U<br />

es cerrado en A se sigue que c ∈ U, por otra parte U también es abierto en<br />

A, luego existirá ε > 0 t.q. (c − ε, c + ε) ⊂ U, lo cual contradice que c sea un<br />

supremo. Por tanto A no admite una separación y en consecuencia es conexo.<br />

Una consecuencia <strong>de</strong> (6.6) es el siguiente resultado conocido como el Teorema<br />

<strong>de</strong>l valor intermedio<br />

6.7 Corolario Sea X conexo y f : X −→ R una aplicación continua, si<br />

a, b ∈ f(X) y c ∈ R es t.q. a < c < b, entonces existe x ∈ X t.q. f(x) = c.<br />

Dem. Por (6.2) y (6.6) se sigue que f(X) es un intervalo, luego si a, b ∈ f(X)<br />

es claro que (a, b) ⊂ f(X), entonces si c ∈ (a, b) existirá x ∈ X t.q. f(x) = c.<br />

Ejercicio 40 Probar que I = [0, 1] es conexo.<br />

Ejercicio 41 Probar que R n es conexo para todo n ≥ 1.<br />

27


Ejercicio 42 Si X e Y son conexos y A ⊂ X, B ⊂ Y son subespacios propios,<br />

probar que X × Y − A × B es conexo.<br />

Ejercicio 43 Probar que R n − {0} es conexo para todo n ≥ 2.<br />

Ejercicio 44 Probar que R y R n no son homeomorfos si n = 1.<br />

Ejercicio 45 Probar que todo intervalo abierto, semiabierto ó cerrado en R<br />

es homeomorfo, respectivamente, a (−1, 1), (−1, 1] ó [−1, 1]. Probar también<br />

que estos intervalos no son homeomorfos entre si.<br />

Ejercicio 46 Sea I = [0, 1] y f : I −→ I una aplicación continua, probar que<br />

f tiene un punto fijo (es <strong>de</strong>cir, que existe x ∈ I t.q. f(x) = x).<br />

Ejercicio 47 Sea n ≥ 2 y S n−1 = {x ∈ R n |x = 1} la esfera unidad. Probar<br />

que S n−1 es conexo y que R n − S n−1 no lo es.<br />

Ejercicio 48 Probar que A = {(x, y) ∈ R 2 |y > x 2 + 1} es conexo.<br />

Ejercicio 49 Sea p ∈ S 1 , probar que S 1 − {p} es conexo y <strong>de</strong>ducir que S 1 no<br />

es homeomorfo a R.<br />

Ejercicio 50 Sea X un conjunto infinito con la topología cofinita, notar que<br />

τCF tiene como subbase a S = {X − {x}|x ∈ X} y es por tanto la menor<br />

topología que hace <strong>de</strong> X un T1-espacio. Probar que (X, τCF ) es conexo.<br />

Ejercicio Sea (X, τCF ) un e.t. infinito con la topología co-finita, probar que<br />

los conjuntos {x, y} no son conexos.<br />

Solución Si B = {x, y} es claro que {x} = (X − {y}) ∩ B y análogamente<br />

{y} = (X − {x}) ∩ B. Como X − {y}, X − {x} ∈ τCF se sigue que {x} e {y}<br />

son abiertos en B, es <strong>de</strong>cir la topología inducida en B = {x, y} es la discreta,<br />

por tanto B no es conexo.<br />

Ejercicio Sean A y B dos subespacios conexos <strong>de</strong> un e.t. X t.q. A ∩ B = ∅.<br />

Probar que A ∪ B es conexo.<br />

Solución Sea x ∈ A ∩ B, como A ⊂ A ∪ {x} ⊂ A, se sigue por (6.3) que<br />

A ∪ {x} es también conexo. Como x ∈ (A ∪ {x}) ∩ B = ∅ se sigue <strong>de</strong> (6.4)<br />

que A ∪ B = A ∪ {x} ∪ B es conexo.<br />

Componentes conexas<br />

Dado x ∈ X, llamaremos componente conexa C(x) <strong>de</strong> x a la unión <strong>de</strong> todos<br />

los subespacios conexos <strong>de</strong> X que contienen a x. Claramente X es conexo si<br />

y sólo si C(x) = X para todo x ∈ X<br />

28


Ejemplo En espacios discretos las componentes <strong>de</strong> un punto se reducen a<br />

dicho punto. La recta racional Q con la topología inducida por la <strong>de</strong> R no es<br />

un espacio discreto, pero también en este caso C(x) = {x} para todo x ∈ Q.<br />

Espacios con esta última propiedad se dicen totalmente inconexos.<br />

Ejercicio 51 Probar las siguientes afirmaciones:<br />

(1) Cada componente C(x) es un conexo maximal en X.<br />

(2) El conjunto <strong>de</strong> las componentes forman una partición <strong>de</strong> X.<br />

(3) Toda componente conexa es cerrada.<br />

(4) Sea f : X −→ Y continua, entonces f[C(x)] ⊂ C(f(x)).<br />

(5) El número <strong>de</strong> componentes conexas <strong>de</strong> un e.t. es un invariante topológico.<br />

(6) Sea X = X1 × · · · × Xn y x = (x1, ..., xn) ∈ X, entonces C(x) = C(xi).<br />

Ejercicio Sea R con la topología usual y Q con la topología inducida, probar<br />

que una aplicación f : R −→ Q es continua sí y sólo sí es constante.<br />

Solución Si f continua entonces f(R) es conexo por serlo R. Si x0 ∈ f(R) se<br />

sigue que f(R) ⊂ C(x0), pero Q es totalmente inconexo, es <strong>de</strong>cir C(x0) = {x0},<br />

luego f(R) = {x0} y por tanto f es constante. El recíproco es obvio ya que<br />

toda aplicación constante es continua.<br />

Ejercicio Probar que un e.t. X es conexo si y sólo si para todo par <strong>de</strong> puntos<br />

x, y ∈ X existe un subespacio conexo A(x, y) ⊂ X t.q. x, y ∈ A(x, y).<br />

Solución 1 Si X es conexo basta tomar A(x, y) = X. Recíprocamente, fijamos<br />

x ∈ X, entonces los subespacios {A(x, y)}y∈X son conexos y tienen intersección<br />

no vacía x ∈ ∩y∈XA(x, y) = ∅. Por (6.4) se sigue que la unión ∪y∈XA(x, y) es<br />

conexo, pero notar que ∪y∈XA(x, y) = X.<br />

Solución 2 Fijamos x ∈ X, como la componente conexa C(x) es la unión<br />

<strong>de</strong> todos los conexos que contienen a x, en particular A(x, y) ⊂ C(x), para<br />

todo y ∈ X, luego ∪y∈XA(x, y) ⊂ C(x). Pero ∪y∈XA(x, y) = X y por tanto<br />

X = C(x), concluimos que X es conexo.<br />

Ejercicio Sea X = {x, y, z} con la topología τ = {∅, {x}, {z}, {x, y}, {x, z}, X}.<br />

¿Es X conexo? ¿Son A = {x, y}, B = {y, z} y C = {x, z} subespacios conexos?<br />

Hallar las componentes conexas <strong>de</strong> cada punto, C(x), C(y) y C(z)<br />

Solución: X no es conexo ya que {z} = X − {x, y} es abierto y cerrado. Sean<br />

τA, τB, τC las topologías inducidas por τ en A, B y C respectivamente. Entonces<br />

τA = {∅, {x}, A} luego A conexo ya que los únicos subespacios abiertos<br />

y cerrados en A son el vacío y el total, τB = {∅, {y}, {z}, B} luego B no conexo<br />

ya que τB es la topología discreta, τC = {∅, {x}, {z}, C} por tanto C es no<br />

conexo pues τC es la topología discreta. Como la componente <strong>de</strong> un punto es el<br />

mayor conexo que lo contiene se sigue que C(x) = A, C(y) = A y C(z) = {z}.<br />

29


Espacios localmente conexos<br />

Un espacio topológico (X, τX) se dice localmente conexo si su topología τX<br />

tiene una base formada por abiertos conexos.<br />

Ejemplos (1) Como las bolas B(x, r) ⊂ R n son conexas, R n es localmente<br />

conexo. (2) Espacios discretos con más <strong>de</strong> un punto son localmente conexos<br />

pero no son conexos. (3) Un espacio pue<strong>de</strong> ser conexo y no localmente conexo:<br />

en efecto, si X ⊂ R 2 es el espacio que consta <strong>de</strong> los segmentos que unen el<br />

origen 0 con los puntos <strong>de</strong>l conjunto {(1, 1/n)|n ∈ N} junto con el segmento<br />

(1/2, 1] en el eje −→ 0x, entonces X es conexo mientras que X − {0} no lo es y las<br />

componentes <strong>de</strong> cada punto es el rayo que lo contiene. Si p ≡ (3/4, 0) ∈ X y<br />

U es un abierto que contiene a p, entonces U = B(p, ε) ∩ X para algún ε > 0.<br />

Es claro que U no es conexo, ya que la intersección <strong>de</strong> U con el segmento que<br />

une el origen 0 con el punto q ≡ (1, 1/n) es a la vez abierto y cerrado en U.<br />

Llamaremos componente <strong>de</strong> B ⊂ X a un conexo maximal contenido en B.<br />

6.8 Teorema Un e.t. X es localmente conexo si y sólo si toda componente<br />

<strong>de</strong> todo abierto en X es abierta.<br />

Dem. Sea C una componente <strong>de</strong> un abierto U y x ∈ C, como X es localmente<br />

conexo existirá un abierto conexo V t.q. x ∈ V ⊂ U, entonces x ∈ V ⊂ C y<br />

por tanto C abierto. Recíprocamente, si toda componente <strong>de</strong> todo abierto U es<br />

abierta es claro que la familia <strong>de</strong> todas las componentes <strong>de</strong> todos los abiertos<br />

<strong>de</strong> X forman una base para su topología, luego X es localmente conexo.<br />

En particular las componentes <strong>de</strong> un espacio localmente conexo son a la vez<br />

abiertas y cerradas, entonces se sigue fácilmente<br />

6.9 Corolario Un espacio compacto y localmente conexo tiene a lo más un<br />

número finito <strong>de</strong> componentes.<br />

Ejemplo En general, la imagen <strong>de</strong> un e.t. localmente conexo no es localmente<br />

conexo: Sea X = {0} ∪ N y Y = {0} ∪ {1/n|n ∈ N} como subespacios <strong>de</strong> R.<br />

Definimos f : X −→ Y t.q. f(0) = 0 y f(n) = 1/n. Como X es discreto f es<br />

continua y sobre, a<strong>de</strong>más X es localmente conexo pero Y no lo es.<br />

Pero la propiedad ”localmente conexo” sí se conserva en cocientes<br />

6.10 Teorema Sea X localmente conexo y f : X −→ Y una i<strong>de</strong>ntificación,<br />

entonces también Y es localmente conexo.<br />

Dem. Sea U abierto en Y y C una componente <strong>de</strong> U, por (6.8) bastará probar<br />

que C es abierto. Como f es una i<strong>de</strong>ntificación, es <strong>de</strong>cir τY = τ(f), notar que<br />

C es abierto en Y sí y sólo si f −1 (C) es abierto en X. Sea pues x ∈ f −1 (C) y Cx<br />

30


la componente <strong>de</strong> x en el abierto f −1 (U), entonces f(Cx) conexo y f(Cx) ⊂ U<br />

implican f(Cx) ⊂ C, ya que C maximal. Por tanto x ∈ Cx ⊂ f −1 (C) y como<br />

Cx es abierto se sigue que f −1 (C) es abierto y concluimos que C es abierto.<br />

La propiedad ”localmente conexo” también se conserva en productos finitos.<br />

Más generalmente se tiene<br />

6.11 Teorema Un producto Xi es localmente conexo si y sólo si todo factor<br />

es localmente conexo y todo factor, salvo un número finito, es conexo.<br />

Dem. Sea Xi localmente conexo, las proyecciones pk : Xi −→ Xk son<br />

continuas, sobre y abiertas por tanto son i<strong>de</strong>ntificaciones y se sigue <strong>de</strong> (6.10)<br />

que Xk es localmente conexo para todo k ∈ J. A<strong>de</strong>más, sea (xi) ∈ Xi y U<br />

un abierto conexo t.q. (xi) ∈ U, entonces U = Ui con Ui = Xi para todo<br />

i ∈ J − F , don<strong>de</strong> F es un conjunto finito <strong>de</strong> índices, por tanto Xi = pi(U)<br />

es conexo para todo i ∈ J − F . Recíprocamente, sea Xi localmente conexo<br />

para todo i ∈ J y conexo para todo i ∈ J − F1, dado (xi) ∈ Xi y U = Ui<br />

un abierto t.q. (xi) ∈ U, notar que Ui = Xi para todo i ∈ J − F2, entonces<br />

existen abiertos conexos Vk t.q. xk ∈ Vk ⊂ Uk para todo k ∈ F1∪F2. Definimos<br />

V = Vi, con Vi = Xi para todo i ∈ J − {F1 ∪ F2}, entonces por (6.5) se<br />

sigue que V es un abierto conexo y es claro que (xi) ∈ V ⊂ U.<br />

Ejercicio 52 Sea X un espacio localmente conexo, y sea C la componente<br />

conexa <strong>de</strong> un abierto U <strong>de</strong> X. Probar que U ∩ Fr(C) = ∅.<br />

Ejercicio 53 Sea X localmente conexo, A ⊂ X y C una componente <strong>de</strong> A.<br />

Probar: (1) Int(C) = C ∩ Int(A). (2) Si A es cerrado, Fr(C) = C ∩ Fr(A).<br />

Ejercicio 54 Sean A y B subespacios localmente conexos <strong>de</strong> un e.t. X, probar<br />

que entonces A∩B es localmente conexo. Si a<strong>de</strong>más A y B son cerrados, probar<br />

que A ∪ B es también localmente conexo.<br />

Ejercicio 55 Sean A y B cerrados en X t.q. X = A∪B y A∩B son localmente<br />

conexos. Probar que entonces A y B son también localmente conexos.<br />

Conexión por caminos<br />

A lo largo <strong>de</strong> esta sección <strong>de</strong>notaremos por I al intervalo cerrado [0, 1] con la<br />

topología usual. Dados x, y ∈ X llamaremos camino en X juntando a x con<br />

y a una aplicación continua γ : I −→ X t.q. γ(0) = x, γ(1) = y. Diremos<br />

que X es conexo por caminos ó arcoconexo si todo par <strong>de</strong> puntos en X<br />

pue<strong>de</strong>n juntarse por un camino.<br />

Ejemplos (1) El espacio <strong>de</strong> Sierpinski es arcoconexo. (2) Espacios indiscretos<br />

son arcoconexos mientras que espacios discretos con más <strong>de</strong> un punto no lo<br />

son. (3) R n y S n son arcoconexos.<br />

31


Ejercicio 56 Definimos una relación sobre X como sigue: x ∼ y si y sólo si<br />

existe un camino en X juntando a x con y. Probar que dicha relación es <strong>de</strong><br />

equivalencia. Llamaremos arcocomponente <strong>de</strong> x a la clase <strong>de</strong> equivalencia<br />

Cx = {y ∈ X|y ∼ x} y es el mayor subespacio arcoconexo que contiene a x. El<br />

conjunto <strong>de</strong> las arcocomponentes X/ ∼ se <strong>de</strong>nota usualmente por π0(X).<br />

Ejercicio 57 Fijado x0 ∈ X, probar que si todo punto <strong>de</strong> X pue<strong>de</strong> juntarse<br />

con x0, entonces X es arcoconexo.<br />

6.12 Lema Todo espacio arcoconexo es conexo.<br />

Dem. Sea X arcoconexo y x0 ∈ X, entonces para todo x ∈ X existe un camino<br />

γx : I −→ X t.q. γx(0) = x0 y γx(1) = x. Como I conexo y γx continua se<br />

sigue que γx(I) conexo y es claro que x0 ∈ γx(I) para todo x ∈ X, luego<br />

<br />

x∈X γx(I) = ∅. El lema se sigue por (6.4) ya que X = <br />

x∈X γx(I).<br />

El recíproco no es cierto<br />

Ejemplo Si C = Γf siendo f : (0, 1] −→ R t.q. f(x) = sin 1/x, entonces<br />

C = C ∪ {(0, y)| − 1 ≤ y ≤ 1} es conexo. Sin embargo C no es arcoconexo ya<br />

que no existe ningún camino juntando el origen 0 con p ≡ (1/π, 0).<br />

Un subespacio A ⊂ X es arcoconexo si todo par <strong>de</strong> puntos en A pue<strong>de</strong>n<br />

juntarse por un camino γ totalmente contenido en A (es <strong>de</strong>cir, γ(I) ⊂ A).<br />

Diremos que un e.t. X es localmente arcoconexo si cada punto tiene una<br />

base <strong>de</strong> entornos arcoconexos.<br />

6.13 Lema Un e.t. es localmente arcoconexo si y sólo si sus arcocomponentes<br />

son abiertas (y por tanto también cerradas).<br />

Dem. Suponer X localmente arcoconexo y sea Cx la arcocomponente <strong>de</strong> x,<br />

si U es un abierto arcoconexo t.q. x ∈ U entonces es claro que x ∈ U ⊂ Cx<br />

ya que Cx maximal, luego Cx abierto. Como el conjunto <strong>de</strong> arcocomponentes<br />

{Cx} <strong>de</strong>finen una partición <strong>de</strong> X, toda arcocomponente es el complementario<br />

<strong>de</strong> una unión <strong>de</strong> arcocomponentes, por tanto el complementario <strong>de</strong> un abierto,<br />

luego toda arcocomponente es también cerrada. El recíproco es obvio.<br />

6.14 Teorema Un e.t. es arcoconexo ⇐⇒ es conexo y localmente arcoconexo.<br />

Dem. Si X es arcoconexo entonces es conexo por (6.12) y el propio X sirve<br />

como entorno arcoconexo <strong>de</strong> todo x ∈ X, luego X es también localmente<br />

arcoconexo. Recíprocamente, sea X conexo y localmente arcoconexo entonces<br />

la arcocomponente Cx <strong>de</strong> x es abierta, cerrada y no vacía, como X conexo se<br />

sigue que Cx = X y por tanto X arcoconexo.<br />

En particular todo abierto y conexo en R n ó en S n es arcoconexo.<br />

32


Ejercicio 58 Sea X localmente arcoconexo, probar que la arcocomponente<br />

Cx coinci<strong>de</strong> con la componente C(x) <strong>de</strong> todo punto x ∈ X.<br />

La relación <strong>de</strong> Homotopía<br />

Dado un e.t. X llamaremos cilindro <strong>de</strong> X al producto X × I y cono <strong>de</strong> X al<br />

cociente CX = X × I/X × {1}. Po<strong>de</strong>mos i<strong>de</strong>ntificar X con la base <strong>de</strong>l cono<br />

X × {0} y <strong>de</strong>notamos por i : X −→ CX, dada por i(x) = (x, 0), la inclusión.<br />

Dadas dos aplicaciones continuas f, g : X −→ Y , llamaremos homotopía<br />

<strong>de</strong> f a g a una aplicación continua H : X × I −→ Y t.q. H(x, 0) = f(x)<br />

y H(x, 1) = g(x) para todo x ∈ X. Si tal aplicación existe diremos que f y<br />

g son homótopas y lo <strong>de</strong>notaremos f g. La homotopía está estrechamente<br />

relacionada a la conexión por caminos: si H es una homotopía <strong>de</strong> f a g,<br />

entonces notar que γx = H(x, −) : I −→ Y es un camino en Y <strong>de</strong> f(x) a g(x).<br />

6.15 Proposición La relación <strong>de</strong> homotopía es <strong>de</strong> equivalencia en el conjunto<br />

C(X, Y ) <strong>de</strong> las aplicaciones continuas <strong>de</strong> X en Y .<br />

Dem. La relación es reflexiva: dada f : X −→ Y , es claro que H : X ×I −→ Y<br />

dada por H(x, t) = f(x) para todo t ∈ I (homotopía estática) es continua<br />

y por tanto f f. La relación es simétrica: dadas f, g : X −→ Y y H una<br />

homotopía <strong>de</strong> f a g, es claro que G : X×I −→ Y dada por G(x, t) = H(x, 1−t)<br />

es una homotopía <strong>de</strong> g a f. La relación es transitiva: dadas f, g, h : X −→ Y<br />

y homotopías H <strong>de</strong> f a g y G <strong>de</strong> g a h, es claro que F : X × I −→ Y dada por<br />

F (x, t) = H(x, 2t) para 0 ≤ t ≤ 1/2 y F (x, t) = G(x, 2t−1) para 1/2 ≤ t ≤ 1,<br />

es continua y por tanto una homotopía <strong>de</strong> f a h.<br />

6.16 Proposición La relación <strong>de</strong> homotopía es compatible con la composición<br />

(es <strong>de</strong>cir, si f f ′ y g g ′ entonces gf g ′ f ′ ).<br />

Dem. Dadas aplicaciones f, f ′ : X −→ Y y g, g ′ : Y −→ Z, sean H : f f ′ y<br />

G : g g ′ sendas homotopías, entonces gH : X × I −→ Z es una homotopía<br />

<strong>de</strong> gf a gf ′ y G(f ′ × 1) : X × I −→ Z es una homotopía <strong>de</strong> gf ′ a g ′ f ′ . Como<br />

la relación <strong>de</strong> homotopía es transitiva se sigue que gf g ′ f ′ .<br />

Dado y0 ∈ Y , en abuso <strong>de</strong> lenguaje, <strong>de</strong>notaremos también por y0 : X −→ Y<br />

la aplicación constante a y0 (es <strong>de</strong>cir y0(x) = y0 para todo x ∈ X).<br />

Diremos que f : X −→ Y es nulhomótopa si es homótopa a una aplicación<br />

constante (es <strong>de</strong>cir si existe y0 ∈ Y t.q. f y0). Un e.t. X se dirá contráctil<br />

si existe x0 ∈ X t.q. 1X x0.<br />

Ejemplo Definimos H : R n ×I −→ R n t.q. H(x, t) = tx, claramente H es una<br />

nulhomotopía <strong>de</strong> la i<strong>de</strong>ntidad y por tanto R n es contráctil. Análogamente, el<br />

disco unidad D n es contráctil.<br />

33


Ejercicio 59 Probar que el cono CX <strong>de</strong> todo e.t. X, es un espacio contráctil.<br />

Ejercicio 60 Probar que f : X −→ Y es nulhomótopa si y sólo si se extien<strong>de</strong><br />

a CX (es <strong>de</strong>cir, existe g : CX −→ Y t.q. f = gi, don<strong>de</strong> i : X −→ CX es la<br />

inclusión en la base.<br />

Diremos que f : X −→ Y es una equivalencia <strong>de</strong> homotopía si existe<br />

g : Y −→ X t.q. gf 1X y fg 1Y . Si tal aplicación existe, diremos que X<br />

tiene el mismo tipo <strong>de</strong> homotopía que Y , y lo <strong>de</strong>notaremos X Y . Es claro<br />

que espacios homeomorfos tienen el mismo tipo <strong>de</strong> homotopía.<br />

Ejercicio 61 Probar que un espacio es contráctil si y sólo si tiene el mismo<br />

tipo <strong>de</strong> homotopía <strong>de</strong> un espacio con un sólo punto.<br />

Ejercicio 62 Probar que todo espacio contráctil es arcoconexo.<br />

Ejercicio 63 Probar que el número <strong>de</strong> arcocomponentes es un invariante <strong>de</strong>l<br />

tipo <strong>de</strong> homotopía (es <strong>de</strong>cir, si X Y entonces |π0(X)| = |π0(Y )|).<br />

Diremos que A ⊂ X es un retracto <strong>de</strong> X si existe una aplicación continua<br />

(retracción) r : X −→ A t.q. ri = 1A, don<strong>de</strong> i <strong>de</strong>nota la inclusión.<br />

Ejemplo (1) Todo punto x0 ∈ X es un retracto <strong>de</strong> X. (2) El disco D n es un<br />

retracto <strong>de</strong> R n (la aplicación r : R n −→ D n dada por r(x) = x si x ≤ 1,<br />

r(x) = x/x si x ≥ 1, es una retracción).<br />

Ejercicio 64 Sean f : X −→ Y y g : Y −→ X continuas t.q. gf = 1X. Si<br />

Y es Hausdorff probar que X también lo es y que f(X) es cerrado en Y . En<br />

particular todo retracto <strong>de</strong> un espacio Hausdorff es cerrado.<br />

Diremos que A ⊂ X es un retracto por <strong>de</strong>formación <strong>de</strong> X si existe una<br />

retracción r : X −→ A y una homotopía H : X × I −→ X <strong>de</strong> 1X a ir. En<br />

particular, si A es un retracto por <strong>de</strong>formación <strong>de</strong> X, entonces A y X tienen<br />

el mismo tipo <strong>de</strong> homotopía.<br />

Ejercicio 65 Probar que S n−1 es un retracto por <strong>de</strong>formación <strong>de</strong> R n − {0}.<br />

7 ESPACIOS HOMOGÉNEOS<br />

Un espacio se dice homogéneo si para todo par <strong>de</strong> puntos x, y ∈ X existe un<br />

homeomorfismo h : X −→ X t.q. h(x) = y. Ello implica en particular que en<br />

un espacio homogéneo las propieda<strong>de</strong>s topológicas locales <strong>de</strong> uno cualquiera<br />

<strong>de</strong> sus puntos <strong>de</strong>termina las <strong>de</strong> los otros. Los grupos topológicos nos darán<br />

los primeros ejemplos <strong>de</strong> estos espacios. Empezaremos este capítulo con un<br />

34


epaso <strong>de</strong> las nociones más elementales en Teoría <strong>de</strong> Grupos.<br />

Un grupo es un conjunto G junto con una operación binaria m : G×G −→ G<br />

t.q. si <strong>de</strong>notamos m(x, y) = xy, se satisfacen las siguientes condiciones:<br />

(1) Existe e ∈ G t.q. xe = x = ex para todo x ∈ G (el elemento distinguido<br />

e se dice elemento neutro <strong>de</strong> G, claramente es único).<br />

(2) Para todo x, y, z ∈ G, se tiene x(yz) = (xy)z (es <strong>de</strong>cir m es asociativa).<br />

(3) Para todo x ∈ G, existe x ′ ∈ G t.q. xx ′ = x ′ x = e (x ′ es único y se llama<br />

inverso <strong>de</strong> x, lo <strong>de</strong>notaremos por x ′ = x −1 ).<br />

Si a<strong>de</strong>más se satisface xy = yx para todo x, t ∈ G, entonces el grupo G se dirá<br />

abeliano. Es usual manejar notación aditiva para grupos abelianos y notación<br />

multiplicativa (como en la <strong>de</strong>finición dada aquí) para el caso no abeliano.<br />

Ejemplo (1) Sea F = R ó C, entonces F n con la suma y F ∗ = F − {0} con el<br />

producto son ejemplos <strong>de</strong> grupos (abelianos). (2) Denotaremos por M(n, F)<br />

el conjunto <strong>de</strong> matrices cuadradas n × n con coeficientes en F y por In la<br />

matriz i<strong>de</strong>ntidad. Sea <strong>de</strong>t : M(n, F) −→ F la aplicación <strong>de</strong>terminante, como<br />

<strong>de</strong>t(AB) = <strong>de</strong>t(A)<strong>de</strong>t(B) se sigue que el conjunto <strong>de</strong> las matrices regulares<br />

GL(n, F) = {A ∈ M(n, F)|<strong>de</strong>t(A) = 0}<br />

con la multiplicación <strong>de</strong> matrices es un grupo (no abeliano) con In como<br />

elemento neutro. El grupo GL(n, F) se llama Grupo General Lineal.<br />

Un subconjunto H <strong>de</strong> un grupo G se dice subgrupo <strong>de</strong> G, y lo <strong>de</strong>notamos<br />

H ≤ G, si x −1 y ∈ H para todo x, y ∈ H. En particular H es un grupo con la<br />

operación binaria inducida m|H, es <strong>de</strong>cir H −1 ⊆ H y H 2 = HH ⊆ H.<br />

Dado un subgrupo H ≤ G, la relación x ∼ y ⇔ x −1 y ∈ H es <strong>de</strong> equivalencia.<br />

El conjunto xH = {xh|h ∈ H} ⊂ G se llama clase lateral a izquierda.<br />

Análogamente <strong>de</strong>finiríamos las clases laterales a <strong>de</strong>recha Hx = {hx|h ∈ H}.<br />

En particular todo subgrupo <strong>de</strong>fine una partición <strong>de</strong>l grupo en clases laterales.<br />

Denotaremos G/H el conjunto cociente y p : G −→ G/H t.q. p(x) = {xH} la<br />

proyección. Un subgrupo H <strong>de</strong> G se dice normal, y lo <strong>de</strong>notaremos H ✂ G si<br />

xH = Hx para todo x ∈ G. Si H ✂ G entonces el cociente G/H es un grupo.<br />

Ejercicio 66 El número <strong>de</strong> clases laterales |G/H| = [G : H] se llama índice<br />

<strong>de</strong> H en G. Probar que si [G : H] = 2 entonces H es subgrupo normal <strong>de</strong> G.<br />

Ejercicio 67 El conjunto Z(G) = {x ∈ G|xy = yx, ∀y ∈ G} se llama centro<br />

<strong>de</strong> G. Probar que Z(G) es un subgrupo normal <strong>de</strong> G.<br />

Una aplicación f : G −→ H se dice homomorfismo si f(xy) = f(x)f(y) para<br />

todo x, y ∈ G. Es claro que si f es un homomorfismo entonces f(eG) = eH.<br />

35


Un homomorfismo biyectivo se dice isomorfismo. Si G = H, hablaremos <strong>de</strong><br />

endomorfismo y automorfismo respectivamente.<br />

Ejercicio 68 Dado un homomorfismo f : G −→ H, llamaremos núcleo <strong>de</strong> f<br />

al conjunto Ker(f) = {x ∈ G|f(x) = eH}. Probar que Ker(f) ✂ G.<br />

Grupos topológicos<br />

Un conjunto G se dice grupo topológico si existe una operación binaria m<br />

t.q. (G, m) es un grupo, está dotado <strong>de</strong> una topología τ que hace <strong>de</strong> (G, τ)<br />

un T1-espacio y ambas estructuras son compatibles, en el sentido <strong>de</strong> que la<br />

multiplicación m : G × G −→ G dada por m(x, y) = xy, y la inversión<br />

η : G −→ G dada por η(x) = x −1 son aplicaciones continuas.<br />

Ejemplos (1) (F, +) y (F ∗ , ·). (2) S 1 = {z ∈ C|z¯z = 1} con la multiplicación<br />

compleja. (3) Todo grupo con la topología discreta.<br />

Si U, V ⊂ G, <strong>de</strong>notamos UV = m(U, V ) = {xy|x ∈ U, y ∈ V } y U −1 =<br />

η(U) = {x −1 |x ∈ U}. En términos <strong>de</strong> entornos, la continuidad <strong>de</strong> m y η la<br />

expresaremos como sigue: para todo x, y ∈ G y entorno W <strong>de</strong> xy en G, existen<br />

entornos U <strong>de</strong> x y V <strong>de</strong> y t.q. UV ⊂ W y para todo U entorno <strong>de</strong> x −1 , U −1<br />

es un entorno <strong>de</strong> x. Notar que η es una involución (η 2 = 1 ó bien η −1 = η) y<br />

por tanto es un homeomorfismo.<br />

Ejercicio 69 Sea G un grupo y un T1-espacio, probar que G es un g.t. si y<br />

sólo si la aplicación φ : G × G −→ G dada por φ(x, y) = xy −1 es continua.<br />

Sea G un g.t. y x ∈ G, la aplicación Lx : G −→ G, dada por Lx(y) = xy,<br />

se dirá traslación a izquierda (análogamente Rx : G −→ G, dada por<br />

Rx(y) = yx, se dirá traslación a <strong>de</strong>recha). Notar que las traslaciones Lx, Rx<br />

son homeomorfismos <strong>de</strong> G en sí mismo: Lx = m(x, −) continua y las relaciones<br />

LxLy = Lxy y Le = 1 implican (Lx) −1 = L x −1 (análogamente para Rx).<br />

En particular, todo g.t. G es un espacio homogéneo: en efecto, dados x, y ∈ G<br />

entonces y = Lz(x), don<strong>de</strong> z = yx −1 . Por lo tanto las propieda<strong>de</strong>s locales <strong>de</strong>l<br />

elemento neutro <strong>de</strong>terminan las <strong>de</strong> los <strong>de</strong>más: U es un entorno <strong>de</strong> x ∈ G si y<br />

sólo si U = Lx(V ) = xV , para algún V entorno <strong>de</strong> e ∈ G.<br />

Un subespacio V ⊂ G se dice simétrico si V = V −1 . Denotaremos por<br />

E(e) = {Ui}i∈J el sistema completo <strong>de</strong> los entornos abiertos <strong>de</strong> e.<br />

7.1 Lema Para todo U ∈ E(e), existe V ∈ E(e) simétrico t.q. V 2 ⊂ U.<br />

Dem. Como m continua y m(e, e) = e, dado U ∈ E(e) existirán U1, U2 ∈ E(e)<br />

t.q. U1U2 ⊂ U. Definimos W = U1 ∩ U2 y V = W ∩ W −1 , entonces es claro<br />

que V ∈ E(e) es simétrico y que V 2 ⊂ U1U2 ⊂ U.<br />

36


7.2 Proposición Sea G un grupo topológico, entonces A = AUi = UiA,<br />

don<strong>de</strong> los Ui recorren E(e), para todo A ⊂ G.<br />

Dem. Sea x ∈ A, entonces xU −1<br />

i<br />

∩ A = ∅ ó bien x ∈ AUi para todo Ui ∈ E(e),<br />

por tanto x ∈ AUi. Recíprocamente, supongamos que x ∈ AUi para todo<br />

Ui ∈ E(e) y sea V un abierto t.q. x ∈ V , entonces V −1 x ∈ E(e) y por tanto<br />

x ∈ AV −1 x, esto implica que x = av −1 x para algún a ∈ A, v ∈ V ó bien que<br />

a = v, luego A ∩ V = ∅ y por tanto x ∈ A<br />

7.3 Corolario Todo grupo topológico es un T3-espacio.<br />

Dem. Como G es un T1-espacio bastará probar que G es regular. Por (4.9),<br />

<strong>de</strong>bemos probar que para todo x ∈ G y abierto U t.q. x ∈ U existe un<br />

abierto V t.q. x ∈ V ⊂ V ⊂ U y como todo grupo topológico es un espacio<br />

homogéneo bastará probarlo para x = e. Por (7.1), dado U ∈ E(e) existe<br />

V ∈ E(e) simétrico t.q. V 2 ⊂ U, pero por (7.2) es claro que V ⊂ V V = V 2 ,<br />

luego hemos probado que e ∈ V ⊂ V ⊂ U.<br />

Sea G un grupo topológico y H ≤ G, si G/H tiene la topología cociente<br />

entonces p : G −→ G/H es continua. A<strong>de</strong>más se tiene<br />

7.4 Lema La i<strong>de</strong>ntificación p : G −→ G/H es abierta.<br />

Dem. Sea U abierto en G, como G/H tiene la topología cociente p(U) será<br />

abierto en G/H sí y sólo si p−1p(U) es abierto en G, pero notar que p−1p(U) =<br />

UH = <br />

x∈H Ux = <br />

x∈H Rx(U) es abierto ya que Rx homeomorfismo.<br />

7.5 Teorema Sea G un grupo topológico y H ≤ G, entonces el espacio<br />

cociente G/H es Hausdorff sí y sólo si H es cerrado.<br />

Dem. Si G/H es Hausdorff el punto {H} es cerrado y siendo p continua se<br />

sigue que H = p −1 ({H}) es cerrado en G. Recíprocamente, supongamos H<br />

cerrado en G y sean {xH} = {yH} en G/H, entonces xH ∩ yH = ∅ en G y<br />

en particular x /∈ yH. Como yH = Ly(H) es cerrado existirá U ∈ E(e) t.q.<br />

Ux∩yH = ∅. Sea V ∈ E(e) simétrico t.q. V 2 ⊂ U, entonces p(V x) = V (xH) y<br />

p(V y) = V (yH) son abiertos en G/H t.q. {xH} ∈ V (xH), {yH} ∈ V (yH) y<br />

V xH∩V yH = ∅ (en efecto, si V xH∩V yH = ∅ existirán v1, v2 ∈ V , h1, h2 ∈ H<br />

t.q. v1xh1 = v2yh2 ó bien v −1<br />

2 v1x = yh2h −1<br />

1 , pero v −1<br />

2 v1x ∈ V 2 x ⊂ Ux y<br />

yh2h −1<br />

1 ∈ yH lo cual contradice Ux ∩ yH = ∅). Por tanto G/H es Hausdorff.<br />

Ejercicio 70 Probar que todo subgrupo abierto <strong>de</strong> un grupo topológico es<br />

también cerrado. En particular todo subgrupo discreto es cerrado.<br />

Ejercicio 71 Si E(e) = {Ui}i∈J, probar que Ui = {e}.<br />

Ejercicio 72 Sea G un grupo topológico, probar que si H ≤ G entonces<br />

37


también H ≤ G. A<strong>de</strong>más si H ✂ G, también H ✂ G.<br />

Ejercicio 73 Sea G un grupo topológico, probar que Z(G) ✂ G es cerrado.<br />

Ejercicio 74 Sea G un grupo topológico y V ∈ E(e) simétrico, probar que<br />

<br />

n≥1 V n es un subgrupo abierto y cerrado <strong>de</strong> G (en particular, un grupo<br />

topológico conexo está generado por cualquier entorno simétrico <strong>de</strong> e ∈ G).<br />

7.6 Lema Sea G un grupo topológico, K ⊂ G compacto y U ⊂ G abierto t.q.<br />

K ⊂ U, entonces existe V ∈ E(e) t.q. KV ⊆ U.<br />

Dem. Como U abierto, para cada xi ∈ K existe Ui ∈ E(e) t.q. xi ∈ xiUi ⊂ U.<br />

Sea Vi ∈ E(e) simétrico t.q. V 2<br />

i ⊂ Ui, es claro que {xiVi}xi∈K es un recubrimiento<br />

abierto <strong>de</strong> K y siendo K compacto existirá un subrecubrimiento<br />

finito {x1V1, ..., xnVn}. Denotamos V = V1 ∩ · · · ∩ Vn, entonces es claro que<br />

V ∈ E(e) y KV ⊂ x1V1V ∪ · · · ∪ xnVnV . Como ViV ⊂ ViVi ⊂ Ui se sigue que<br />

xiViV ⊂ xiUi ⊂ U para 1 ≤ i ≤ n, por tanto KV ⊂ U.<br />

7.7 Proposición Sea G un grupo topológico, F ⊂ G un cerrado y K ⊂ G un<br />

compacto t.q. F ∩ K = ∅, entonces existe V ∈ E(e) t.q. F V ∩ KV = ∅.<br />

Dem. Si F cerrado t.q. F ∩ K = ∅ entonces K ⊂ G − F abierto y por (7.6)<br />

existirá U ∈ E(e) t.q. KU ⊂ G−F ó bien F ∩KU = ∅. Sea V ∈ E(e) simétrico<br />

t.q. V 2 ⊂ U, entonces F V ∩ KV = ∅ (en efecto, si F V ∩ KV = ∅ existirán<br />

x ∈ F , y ∈ K y v1, v2 ∈ V t.q. xv1 = yv2 ó bien x = yv2v −1<br />

1 ∈ KV 2 ⊂ KU, lo<br />

cual contradice F ∩ KU = ∅).<br />

7.8 Proposición Sea G un grupo topológico, F ⊂ G cerrado y K ⊂ G<br />

compacto, entonces F K es cerrado.<br />

Dem. Veamos que G − F K es abierto. Si x /∈ F K entonces F −1 x ∩ K = ∅<br />

y notar que F −1 x = Rxη(F ) es cerrado, ya que Rx y η son homeomorfismos.<br />

Por (7.7) existirá V ∈ E(e) t.q. F −1 xV ∩ KV = ∅. Sea W = V V −1 ∈ E(e),<br />

entonces xW ∩ F K = ∅. Por tanto xW es un abierto t.q. x ∈ xW ⊂ G − F K.<br />

7.9 Teorema Sea G un grupo topológico y H ≤ G cerrado, entonces G es<br />

compacto si y sólo si H y G/H son compactos.<br />

Dem. Sean H y G/H compactos y sea U = {Ui}i∈J un recubrimiento abierto <strong>de</strong><br />

G, como U es también un recubrimiento <strong>de</strong> xH para todo x ∈ G y xH = Lx(H)<br />

es compacto, existirá un subrecubrimiento finito {U1, ..., Un} <strong>de</strong> xH, es <strong>de</strong>cir<br />

xH ⊂ U x = U1 ∪ · · · ∪ Un. Por (7.6) existirá V x ∈ E(e) t.q. V x xH ⊆ U x .<br />

Pero (V x x)H = p(V x x) = pRx(V x ) es abierto en G/H, ya que p abierta y<br />

Rx homeomorfismo, a<strong>de</strong>más x ∈ V x xH ya que x = exe, entonces es claro<br />

que {(V x x)H}x∈G es un recubrimiento abierto <strong>de</strong> G/H, por tanto existirá<br />

un subrecubrimiento finito {(V x1 x1)H, ..., (V xkxk)H} ya que G/H compacto.<br />

38


Entonces G = p −1 (G/H) = V x1 x1H ∪ · · · ∪ V xkxkH ⊂ U x1 ∪ · · · ∪ U xk y cada<br />

U xi es unión <strong>de</strong> un número finito <strong>de</strong> miembros <strong>de</strong> U, por tanto G compacto.<br />

Ejercicio 75 Sea G un grupo topológico compacto y H ≤ G cerrado, probar<br />

que entonces la proyección p : G −→ G/H es también cerrada.<br />

Ejercicio 76 Sea G un grupo topológico y H ✂ G cerrado en G, probar que<br />

entonces G/H es también un grupo topológico.<br />

7.10 Teorema Sea G un grupo topológico y H ≤ G cerrado. Si H y G/H<br />

son conexos, entonces también G es conexo.<br />

Dem. Sea U, V abiertos no vacíos t.q. G = U ∪ V , vamos a probar que U y<br />

V no pue<strong>de</strong>n ser disjuntos. Como p : G −→ G/H es una aplicación abierta y<br />

sobre G/H = p(U) ∪ p(V ) = UH ∪ V H y siendo G/H conexo se sigue que<br />

UH ∩ V H = ∅. Sea xH ∈ UH ∩ V H, como xH ∈ UH existirán h ∈ H y<br />

u ∈ U t.q. xh = u, por tanto xH ∩ U = ∅. Análogamente, xH ∈ V H implica<br />

xH ∩ V = ∅. Claramente xH = xH ∩ (U ∪ V ) = (xH ∩ U) ∪ (xH ∩ V ) y como<br />

xH = Lx(H) es conexo, por ser H conexo y Lx homeomorfismo, se sigue que<br />

xH ∩ U ∩ V = ∅ y en particular que U ∩ V = ∅. Por tanto G es conexo.<br />

Ejercicio 77 Sea C(e) la componente conexa <strong>de</strong>l elemento neutro e ∈ G,<br />

probar que G/C(e) es un grupo topológico.<br />

Ejercicio 78 Sea f : G −→ H homomorfismo continuo <strong>de</strong> grupos topológicos,<br />

probar que Ker(f) es cerrado. Si a<strong>de</strong>más f es sobre y abierta (ó cerrada) ó bien<br />

f sobre y G compacto, el isomorfismo <strong>de</strong> grupos inducido ˆ f : G/Ker(f) −→ H<br />

es también un homeomorfismo.<br />

Grupos <strong>de</strong> transformaciones topológicas<br />

Sea G un g.t. y X un e.t. Hausdorff, una acción a izquierda <strong>de</strong> G sobre X<br />

es una aplicación continua φ : G × X −→ X t.q. si φ(g, x) = gx, se satisface:<br />

(1) ex = x, ∀x ∈ X y (2) g(hx) = (gh)x, para todo g, h ∈ G y todo x ∈ X.<br />

Notar que G actúa como un grupo <strong>de</strong> homeomorfismos ó <strong>de</strong> transformaciones<br />

topológicas <strong>de</strong> X: dado g ∈ G, la aplicación φg = φ(g, −) : X −→ X dada por<br />

φg(x) = gx es continua y también lo es (φg) −1 = φ g −1, por tanto g = φg es un<br />

homeomorfismo <strong>de</strong> X en sí mismo. Si tal acción existe, diremos que (X, φ) es<br />

un G-espacio a izquierda. (Análogamente <strong>de</strong>finiríamos acciones a <strong>de</strong>recha).<br />

Ejemplo Si G es un g.t. y H ≤ G cerrado entonces el par (G/H, φ) con<br />

φ : G × G/H −→ G/H dada por φ(g, g ′ H) = (gg ′ )H, es un G-espacio.<br />

Definimos una relación en un G-espacio X como sigue: x ∼ y si existe g ∈ G<br />

t.q. gx = y. Esta relación es <strong>de</strong> equivalencia y <strong>de</strong>fine una partición <strong>de</strong> X. Las<br />

39


clases <strong>de</strong> equivalencia G(x) = {gx|g ∈ G} se llaman órbitas <strong>de</strong> x bajo G y<br />

el conjunto <strong>de</strong> las órbitas X/G, con la topología cociente, se dice espacio <strong>de</strong><br />

órbitas <strong>de</strong> X bajo G.<br />

Ejemplos<br />

(1) (Z, +) actúa sobre R como sigue: φ : Z × R −→ R t.q. φ(n, x) = n + x<br />

¿Quién es el espacio <strong>de</strong> órbitas R/Z?<br />

(2) La aplicación antipodal a : S n −→ S n dada por a(x) = −x genera el<br />

grupo cíclico Z2 (en efecto, a 2 = 1). Definimos φ : Z2 × S n −→ S n t.q.<br />

φ(a, x) = a(x). El espacio <strong>de</strong> órbitas S n /Z2 es el espacio proyectivo RP n .<br />

(3) Un mismo grupo pue<strong>de</strong> actuar <strong>de</strong> distintas maneras sobre un e.t. En<br />

efecto, sea T el toro generado por la rotación <strong>de</strong>l círculo en R 3 <strong>de</strong> ecuación<br />

(x−3) 2 +z 2 = 1 alre<strong>de</strong>dor <strong>de</strong>l eje −→ 0z y sea Z2 = {g|g 2 = 1} el grupo cíclico<br />

<strong>de</strong> or<strong>de</strong>n 2, <strong>de</strong>finimos φi : Z2 × T −→ T , i = 1, 2, 3 t.q. φ1(g, (x, y, z)) =<br />

(x, −y, −z), φ2(g, (x, y, z)) = (−x, −y, z) y φ3(g, (x, y, z)) = (−x, −y, −z)<br />

(es <strong>de</strong>cir, φ1, φ2, φ3 son, respectivamente, la rotación <strong>de</strong> ángulo π alre<strong>de</strong>dor<br />

<strong>de</strong>l eje −→ 0x, la rotación <strong>de</strong> ángulo π alre<strong>de</strong>dor <strong>de</strong>l eje −→ 0z y la simetría<br />

respecto <strong>de</strong>l origen. ¿Quienes son los correspondientes espacios <strong>de</strong> órbitas?<br />

Ejercicio 79 Probar que la proyección π : X −→ X/G es abierta.<br />

7.11 Teorema Sea (X, φ) un G espacio con G un grupo finito. Entonces la<br />

proyección π : X −→ X/G es también cerrada y X/G es Hausdorff.<br />

Dem. Sea G = {e, g1, ...gn} y F cerrado en X, notar que π(F ) será cerrado<br />

en X/G sí y sólo si π −1 π(F ) es cerrado en X, pero este último es cerrado por<br />

ser unión finita <strong>de</strong> cerrados π −1 π(F ) = GF = F ∪ g1F ∪ · · · ∪ gnF (en efecto,<br />

gF = φg(F ) y φg homeomorfismo), por tanto π es cerrada. Veamos que X/G<br />

es Hausdorff, sea G(x) = G(y) en X/G ó equivalentemente G(x)∩G(y) = ∅ en<br />

X, como G es finito G(x) y G(y) serán finitos y por tanto compactos, entonces<br />

por 5.5 existirán abiertos U, V t.q. G(x) ⊂ U, G(y) ⊂ V y U ∩ V = ∅. En<br />

particular U ∩G(y) = ∅, entonces π(U) es un abierto en X/G t.q. G(x) ∈ π(U)<br />

ya que π abierta. Por otra parte π(U) será cerrado en X/G, ya que π es también<br />

cerrada, y por tanto X/G − π(U) es un abierto t.q. G(y) ∈ X/G − π(U). Es<br />

claro que π(U) ∩ (X/G − π(U)) = ∅ y concluimos que X/G es Hausdorff.<br />

Fijado x ∈ X, el conjunto Gx = {g ∈ G|gx = x} <strong>de</strong> los elementos <strong>de</strong> G<br />

que fijan x es un subgrupo <strong>de</strong> G llamado subgrupo <strong>de</strong> isotropía ó <strong>de</strong><br />

estabilidad <strong>de</strong> G respecto <strong>de</strong> x.<br />

7.12 Proposición Gx es un subgrupo cerrado <strong>de</strong> G para todo x ∈ X.<br />

Dem. Dado x ∈ X la aplicación φx = φ(x, −) : G −→ X es continua y notar<br />

que Gx = φ −1<br />

x ({x}), pero {x} es cerrado ya que X es Hausdorff.<br />

40


Sea (X, φ) un G-espacio, diremos que φ es libre ó que G actúa libremente<br />

sobre X si no <strong>de</strong>ja puntos fijos, es <strong>de</strong>cir si gx = x para todo g = e y todo<br />

x ∈ X ó equivalentemente si Gx = {e} para todo x ∈ X.<br />

Sea (X, φ) un G-espacio, diremos que φ es una acción discontinua ó que G<br />

actúa <strong>de</strong> manera discontinua sobre X, si para todo x ∈ X existe un abierto U<br />

t.q. x ∈ U y g1U ∩ g2U = ∅ para todo g1 = g2.<br />

7.13 Proposición Toda acción discontinua φ : G × X −→ X es libre. Si G<br />

es un grupo finito y φ es una acción libre entonces φ es también discontinua.<br />

Dem. Si φ es discontinua y g = e para todo x ∈ X existe U abierto t.q.<br />

x ∈ U y gU ∩ U = ∅ para todo g = e, en particular gx = x y por tanto φ<br />

es libre. Por otra parte, sea G = {e, g1, ..., gn} un grupo finito y φ una acción<br />

libre, entonces gix = x para 1 ≤ i ≤ n y como X es Hausdorff, existirán<br />

abiertos U0, U1, ..., Un t.q. x ∈ U0, gix ∈ Ui y U0 ∩ Ui = ∅, para 1 ≤ i ≤ n.<br />

Sea U = U0 ∩ g −1<br />

1 U1 ∩ · · · ∩ g −1<br />

n Un, entonces U es un abierto t.q. x ∈ U y<br />

como gi pue<strong>de</strong> mirarse como un homeomorfismo <strong>de</strong> X en sí mismo, notar que<br />

giU ⊂ Ui. Entonces giU ∩ gjU = gi(U ∩ g −1<br />

i gjU) = gi(U ∩ gkU), pero U ⊂ U0,<br />

gkU ⊂ Uk y U0 ∩ Uk = ∅. Por tanto giU ∩ gjU = ∅ y φ será discontinua.<br />

Dado un G-espacio (X, φ) y x ∈ X sea ψx : G −→ G(x) t.q. ψx(g) = gx la<br />

restricción <strong>de</strong> φx en la imagen y sea q : G −→ G/Gx la i<strong>de</strong>ntificación, entonces<br />

<strong>de</strong>finimos ϑx : G/Gx −→ G(x) por ϑx(gGx) = gx, y notar que ϑxq = ψx.<br />

7.14 Proposición ϑx : G/Gx −→ G(x) es una biyección continua.<br />

Dem. Como ϑxq = ψx y ψx sobre se sigue que ϑx es sobre. Supongamos que<br />

ϑx(g1Gx) = ϑx(g2Gx) ó bien que g1x = g2x, entonces g −1<br />

2 g1 ∈ Gx y por tanto<br />

g1Gx = g2Gx y se sigue que ϑx es inyectiva. Sólo queda probar que ϑx es<br />

continua: dado U abierto en G(x) notar que ϑ −1<br />

x (U) será abierto en G/Gx sí y<br />

sólo si q −1 (ϑ −1<br />

x (U)) es abierto en G, pero q −1 (ϑ −1<br />

x (U)) = (ϑxq) −1 (U) = ψ −1<br />

x (U)<br />

que es abierto por ser ψx continua.<br />

Dado un G-espacio (X, φ) diremos que la acción φ es transitiva si para todo<br />

x, y ∈ X existe g ∈ G t.q. y = gx (equivalentemente, si G(x) = X para todo<br />

x ∈ X ó bien el espacio <strong>de</strong> órbitas X/G consta <strong>de</strong> un único punto).<br />

Como G es un grupo <strong>de</strong> homeomorfismos <strong>de</strong> X se sigue en particular que X<br />

será un espacio homogéneo. Dado un grupo topológico G y un subgrupo H ≤ G<br />

cerrado es claro que φ : G × G/H −→ G/H, dada por φ(g, g ′ H) = (gg ′ )H, es<br />

una acción transitiva que hace <strong>de</strong> G/H un espacio homogéneo. Como ϑx es<br />

una biyección continua, notar que si G es compacto y actúa transitivamente<br />

sobre X, entonces ϑx : G/Gx −→ X es un homeomorfismo.<br />

41


8 GRUPOS LINEALES<br />

Dados A = (aij) ∈ M(n, C) y r > 0, consi<strong>de</strong>ramos los conjuntos<br />

Ur(A) = {B = (bij) ∈ M(n, C)|aij − bij < r, ∀i, j}<br />

entonces {Ur(A)|A ∈ M(n, C), r > 0} es una base para una topología sobre<br />

M(n, C) t.q. la biyección h : M(n, C) −→ Cn2 dada por<br />

h(A) = (a11, ..., a1n, a21, ..., a2n, ..., an1, ..., ann)<br />

es un homeomorfismo. Consi<strong>de</strong>ramos GL(n, C) con la topología inducida y<br />

sean πij : M(n, C) −→ C t.q. πij(A) = aij la composición <strong>de</strong> h con las<br />

proyecciones canónicas pij : Cn2 −→ C, con 1 ≤ i, j ≤ n. Entonces<br />

m : GL(n, C) × GL(n, C) −→ GL(n, C)<br />

dada por m(A, B) = AB = ( aikbkj), será continua si y sólo si πijm es<br />

continua para todo 1 ≤ i, j ≤ n. Pero πijm(A, B) = aikbkj es una función<br />

polinomial y por tanto continua. Análogamente, sea<br />

η : GL(n, C) −→ GL(n, C)<br />

t.q. η(A) = A −1 la inversión, notar que πijη(A) = Aij/<strong>de</strong>t(A) es también una<br />

función polinomial, luego πijη y por tanto η es continua. En consecuencia,<br />

GL(n, C) es un grupo topológico.<br />

Ejercicio 80 Probar que GL(n, C) no es compacto.<br />

Subgrupos relevantes <strong>de</strong> GL(n, C) son los Grupos Especiales Lineales<br />

SL(n, C) = {A ∈ GL(n, C)|<strong>de</strong>t(A) = 1} y SL(n, R) = SL(n, C) ∩ GL(n, R)<br />

Como <strong>de</strong>t : GL(n, F) −→ F es una aplicación continua y F = C, R es un<br />

espacio Hausdorff se sigue que SL(n, F) = <strong>de</strong>t −1 (1) es cerrado en GL(n, F).<br />

Ejercicio 81 Probar que SL(n, F) es un subgrupo normal <strong>de</strong> GL(n, F) y que<br />

GL(n, F)/SL(n, F) ≈ F ∗ , don<strong>de</strong> F ∗ = F − {0}.<br />

Una matriz regular A ∈ GL(n, F) no es otra cosa que una transformación ó<br />

isomorfismo lineal A : F n −→ F n t.q. A(x) = Ax, don<strong>de</strong> x ≡ (x1, ..., xn) ∈ F n<br />

po<strong>de</strong>mos mirarlo como una matriz columna. Por otra parte, F n es un espacio<br />

con un producto escalar dado por < x, y >= ¯x t y, don<strong>de</strong> ¯x <strong>de</strong>nota la matriz<br />

conjugada <strong>de</strong> x ∈ F n , entonces F n es un espacio normado con x 2 = ¯x t x.<br />

Una matriz A ∈ GL(n, R) se dirá ortogonal si Ax = x. Es claro que A<br />

es ortogonal si y sólo si A t A = I ó bien A t = A −1 . Sea O(n) el conjunto <strong>de</strong><br />

42


las matrices ortogonales, es claro que I ∈ O(n) y que si A, B ∈ O(n) entonces<br />

(AB)x = A(Bx) = Bx = x, luego AB ∈ O(n). Por tanto O(n) es<br />

un subgrupo <strong>de</strong> GL(n, R) y se conoce como el Grupo Ortogonal.<br />

Una matriz A ∈ GL(n, C) se dirá unitaria si Ax = x y notar que A<br />

es unitaria si y sólo si Āt A = I ó bien Āt = A −1 . Análogamente al caso real<br />

probaríamos que conjunto <strong>de</strong> las matrices unitarias U(n) es un subgrupo <strong>de</strong><br />

GL(n, C), el cual se conoce como Grupo Unitario.<br />

Otros subgrupos relevantes <strong>de</strong> GL(n, C) son el Grupo Especial Ortogonal<br />

SO(n) = O(n)∩SL(n, R) y el Especial Unitario SU(n) = U(n)∩SL(n, C).<br />

Ejercicio 82 Probar que SO(n) ✂ O(n) ≤ U(n) y SO(n) ≤ SU(n) ✂ U(n).<br />

Denotamos por Ā = (āij) la matriz conjugada <strong>de</strong> A.<br />

8.1 Proposición La conjugación c : GL(n, C) −→ GL(n, C) y la trasposición<br />

t : GL(n, C) −→ GL(n, C), dadas por c(A) = Ā y t(A) = At respectivamente,<br />

son homeomorfismos <strong>de</strong> GL(n, C).<br />

Dem. Ambas aplicaciones son biyectivas ya que son involuciones (c 2 = t 2 = 1),<br />

entonces bastará probar que son continuas, pero eso es consecuencia <strong>de</strong> que<br />

πijc(A) = āij y πijt(A) = aji son continuas para todo 1 ≤ i, j ≤ n.<br />

8.2 Corolario U(n) es un subgrupo cerrado <strong>de</strong> GL(n, C).<br />

Dem. Notar que U(n) = {A ∈ GL(n, C)| Āt = A −1 }, es <strong>de</strong>cir tc(A) = η(A).<br />

Entonces GL(n, C) Hausdorff y (4.3) implican que U(n) cerrado en GL(n, C).<br />

8.3 Corolario SU(n), O(n) y SO(n) son cerrados en U(n) y en GL(n, C).<br />

Dem. Como U(n) es cerrado en GL(n, C), bastará probar que SU(n), O(n) y<br />

SO(n) son cerrados en U(n).Pero SL(n, C) cerrado en GL(n, C) y SU(n) =<br />

U(n)∩SL(n, C) implican SU(n) cerrado en U(n). Análogamente probaríamos<br />

que SO(n) es cerrado en O(n). Finalmente, notar que por (4.3) se sigue que<br />

GL(n, R) = {A ∈ GL(n, C)|A = Ā} es un subgrupo cerrado <strong>de</strong> GL(n, C),<br />

como O(n) = U(n) ∩ GL(n, R) concluimos que O(n) es cerrado en U(n).<br />

Dada A = (aij) ∈ M(n, R) po<strong>de</strong>mos mirar la i-sima columna <strong>de</strong> A como<br />

un vector ai = (a1i, ...ani) ∈ R n . Notar que si A ∈ GL(n, R), el conjunto<br />

{a1, ..., an} es linealmente in<strong>de</strong>pendiente y por tanto una base <strong>de</strong> R n y que si<br />

B ∈ O(n), entonces B t B = I implica que < bi, bj >= δij, con bi = (b1i, ...bni),<br />

es <strong>de</strong>cir {b1, ..., bn} es una base ortonormal <strong>de</strong> R n . El proceso <strong>de</strong> Gram-Schmidt<br />

nos da un método para ortonormalizar una base {a1, ..., an} dada: en primer<br />

43


lugar construimos una base ortogonal {c1, ..., cn} como sigue<br />

c1 = a1, c2 = a2 − < a2, c1 > c1<br />

< c1, c1 > , ......., cn<br />

n−1 < an, ci > ci<br />

= an −<br />

i=1 < ci, ci ><br />

entonces si C = (cij) es la matriz que tiene a ci = (c1i, ...cni) como i-sima<br />

columna es claro que C = AS, don<strong>de</strong> S = (sij) es una matriz triangular<br />

superior, es <strong>de</strong>cir sij = 0 para j < i, con sii = 1. La segunda etapa es<br />

normalizar la base {c1, ..., cn}, <strong>de</strong>finimos bi = ci/ci para 1 ≤ i ≤ n, entonces<br />

si B = (bij) es la matriz que tiene a bi = (b1i, ...bni) como i-sima columna, se<br />

sigue que B = CD con D = diag(1/c1, ..., 1/cn) una matriz diagonal. Por<br />

lo tanto A = B(SD) −1 , don<strong>de</strong> B ∈ O(n).<br />

8.4 Lema Sea T+(n) el conjunto <strong>de</strong> las matrices triangulares superiores cuyos<br />

elementos <strong>de</strong> la diagonal son reales positivos, entonces T+(n) ≤ GL(n, R).<br />

Dem. Si A ∈ T+(n) entonces <strong>de</strong>t(A) = a11 · · · ann > 0 luego T+(n) ⊂ GL(n, R).<br />

Sean A, B ∈ T+(n) y notar que (AB)ij = aikbkj. Si j < i, entonces k < i<br />

ó j < i ≤ k, en el primer caso aik = 0 y en el segundo caso bkj = 0, luego<br />

en cualquier caso (AB)ij = 0 para todo j < i. A<strong>de</strong>más, para i = j, se tiene<br />

(AB)ii = aiibii > 0, por tanto AB ∈ T+(n). Por otra parte, dada A ∈ T+(n)<br />

<strong>de</strong>notamos B = A −1 , entonces AB = BA = I y notar que annbnn = 1 y que<br />

annbnj = 0 para j < n, luego bnn > 0 y bnj = 0 para todo j < n ya que<br />

ann > 0. Suponer que bkj = 0 para todo j < k y k > i, entonces aiibij = 0 y<br />

aii > 0 implican bij = 0 para todo j < i. A<strong>de</strong>más aiibii = 1, luego bii > 0 para<br />

todo 1 ≥ i ≥ n, por tanto A −1 ∈ T+(n) y concluimos que T+(n) ≤ GL(n, R)<br />

8.5 Lema O(n) ∩ T+(n) = {I}<br />

Dem. Sea D ∈ O(n) ∩ T+(n), entonces D t = D −1 ∈ T+(n). Como D t es una<br />

matriz triangular inferior se sigue que D = diag(d11, ..., dnn) es una matriz<br />

diagonal y por tanto D = D t . Como I = D t D = D 2 se sigue que d 2 ii = 1,<br />

luego dii = 1 ya que dii > 0 pues D ∈ T+(n). Entonces concluimos que D = I.<br />

8.6 Teorema GL(n, R) ≈ O(n) × T+(n)<br />

Dem. Sea Φ : O(n) × T+(n) −→ GL(n, R) la restricción <strong>de</strong> m, es <strong>de</strong>cir<br />

Φ(B, T ) = BT . Por otra parte, dada A ∈ GL(n, R) vimos que A = B(SD) −1<br />

con B ∈ O(n) y S, D ∈ T+(n). Por (8.4) se sigue que T = (SD) −1 ∈ T+(n),<br />

luego toda matriz regular A <strong>de</strong>scompone como A = BT con B ∈ O(n) y<br />

T ∈ T+(n), en particular Φ es sobre. A<strong>de</strong>más esta <strong>de</strong>scomposición es única: si<br />

B1T1 = B2T2 entonces B −1<br />

2 B1 = T2T −1<br />

1 ∈ O(n) ∩ T+(n) = {I}, luego B1 = B2<br />

y T1 = T2, por tanto Φ es inyectiva. Entonces Φ es biyección continua y<br />

un homeomorfismo, ya que su inversa Ψ = Φ−1 dada por Ψ(A) = (B, T ) si<br />

A = BT , también es continua (su composición con las proyecciones πij es<br />

polinomial en cada coor<strong>de</strong>nada).<br />

44


Vamos a presentar las esferas como espacios homogéneos en la luz <strong>de</strong> (7.14).<br />

8.7 Proposición Para n ≥ 2, se tienen homeomorfismos<br />

(1) S n−1 ≈ O(n)/O(n − 1) ≈ SO(n)/SO(n − 1).<br />

(2) S 2n−1 ≈ U(n)/U(n − 1) ≈ SU(n)/SU(n − 1).<br />

Dem. Definimos φ : O(n) × S n−1 −→ S n−1 por φ(A, x) = Ax y notar que φ<br />

está bien <strong>de</strong>finida ya que Ax = x = 1, luego Ax ∈ S n−1 . Como Ix = x<br />

y A(Bx) = (AB)x se sigue que φ es una acción continua <strong>de</strong> O(n) sobre<br />

S n−1 . Sea {e1, ..., en} la base ortonormal estándar <strong>de</strong> R n y x ∈ S n−1 , entonces<br />

po<strong>de</strong>mos construir una segunda base ortonormal con x como primer vector<br />

y si A es la matriz asociada al cambio <strong>de</strong> base es claro que A ∈ O(n) y<br />

que Ae1 = x. Entonces la órbita <strong>de</strong> e1 bajo O(n) es S n−1 , es <strong>de</strong>cir φ es una<br />

acción transitiva. Si i<strong>de</strong>ntificamos B ∈ O(n − 1) con la matriz <strong>de</strong> bloques<br />

(1|B), po<strong>de</strong>mos mirar a O(n − 1) como subgrupo <strong>de</strong> O(n), entonces notar que<br />

Ae1 = e1 sí y sólo sí A = (1|B), luego O(n − 1) es el subgrupo <strong>de</strong> estabilidad<br />

<strong>de</strong> e1 y por (7.14) se sigue que S n−1 ≈ O(n)/O(n−1), ya que O(n) compacto<br />

y S n−1 es Hausdorff. Sea ψ : SO(n) × S n−1 −→ S n−1 <strong>de</strong>finida como antes,<br />

entonces ψ es también transitiva, ya que po<strong>de</strong>mos elegir la matriz A <strong>de</strong>l cambio<br />

<strong>de</strong> base t.q. <strong>de</strong>t(A) = 1, luego también como antes S n−1 ≈ SO(n)/SO(n − 1).<br />

Análogamente lo probaríamos en el caso complejo para U(n) y SU(n).<br />

Como SO(1) = {1} se sigue en particular que SO(2) ≈ S 1 .<br />

8.8 Teorema U(n), SU(n), O(n) y SO(n) son compactos.<br />

Dem. Como O(n), SO(n) y SU(n) son cerrados en U(n) bastará probar que<br />

este último es compacto. En efecto, claramente U(1) = S 1 es compacto y si<br />

suponemos que U(k) es compacto para 1 ≤ k ≤ n − 1, entonces (8.7) y (7.9)<br />

implican que U(n) es compacto, completando la inducción.<br />

Ejercicio 83 Probar que U(n) ≈ SU(n) × S 1 y O(n) ≈ SO(n) × S 0 .<br />

8.9 Teorema U(n), SU(n) y SO(n) son conexos para todo n ≥ 1, pero O(n)<br />

tiene dos componentes, una <strong>de</strong> ellas SO(n).<br />

Dem. Notar que SO(1) = {1} = SU(1) y U(1) = S 1 son conexos y suponer<br />

que SO(k), SU(k) y U(k) son conexos para 1 ≤ k ≤ n−1, entonces el teorema<br />

se sigue por inducción a partir <strong>de</strong> (8.7) y (7.10). Por otra parte, sea S 0 =<br />

{−1, 1} y notar que <strong>de</strong>t : O(n) −→ S 0 es continua y sobre, entonces O(n)<br />

es no conexo para todo n ≥ 1. Claramente SO(n) = <strong>de</strong>t −1 (1) es una <strong>de</strong> las<br />

componentes, siendo {A ∈ O(n)|<strong>de</strong>t(A) = −1} la otra componente.<br />

Un e.t. X se dice localmente euclí<strong>de</strong>o <strong>de</strong> dimensión n si todo punto <strong>de</strong><br />

X tiene un entorno homeomorfo a un abierto <strong>de</strong> R n . Como todo abierto en<br />

45


R n es localmente arcoconexo, espacios euclí<strong>de</strong>os son localmente arcoconexos.<br />

En particular, GL(n, C) y todos sus subgrupos <strong>de</strong>finidos aquí son localmente<br />

euclí<strong>de</strong>os, luego son arcoconexos sí y sólo si son conexos y en todo caso, sus<br />

arcocomponentes coinci<strong>de</strong>n con sus componentes conexas.<br />

8.10 Corolario GL(n, R) tiene dos arcocomponentes.<br />

Dem. Notar que T+(n) ≈ R n(n+1)/2 , en particular T+(n) es contráctil, es <strong>de</strong>cir<br />

T+(n) {I}, por tanto GL(n, R) ≈ O(n) × T+(n) O(n) × {I} ≈ O(n), pero<br />

el número <strong>de</strong> arcocomponentes es un invariante <strong>de</strong>l tipo <strong>de</strong> homotopía.<br />

Análogamente en el caso complejo se tiene GL(n, C) ≈ U(n) × T+(n, C) y<br />

como T+(n, C) es contráctil, se sigue que GL(n, C) U(n). Pero U(n) es<br />

arcoconexo y por lo tanto también GL(n, C) será arcoconexo.<br />

CUATERNIONES<br />

Sea {1, i, j, k} una base estándar <strong>de</strong> R 4 , <strong>de</strong>finimos un producto bilineal sobre<br />

R 4 , con 1 como elemento neutro, <strong>de</strong>finido por la siguientes reglas:<br />

(1) i 2 = j 2 = k 2 = −1<br />

(2) ij = k = −ji, jk = i = −kj y ki = j = −ik<br />

Claramente este producto es asociativo y no conmutativo. El espacio vectorial<br />

R 4 con este producto bilineal es un álgebra real llamada álgebra <strong>de</strong> cuaterniones,<br />

usualmente <strong>de</strong>notada por H en honor <strong>de</strong> su <strong>de</strong>scubridor W. Hamilton.<br />

Un cuaternión q ∈ H tiene una expresión única <strong>de</strong> la forma q = a+bi+cj +dk<br />

y como en el caso <strong>de</strong> los complejos, consta <strong>de</strong> parte real Re(q) = a y parte<br />

imaginaria pura P u(q) = bi + cj + dk. Diremos que q es puro si P u(q) = q.<br />

8.11 Lema Un cuaternión es real si y sólo si conmuta con todo elemento <strong>de</strong><br />

H, es <strong>de</strong>cir Z(H) = R.<br />

Dem. Sea q = a + bi + cj + dk ∈ Z(H), entonces<br />

0 = iq − qi = −b + ai − dj + ck + b − ai − dj + ck = −2dj + 2ck<br />

y como {1, i, j, k} es base se sigue que c = d = 0. Por tanto q = a + bi, pero<br />

qj = jq implica 0 = jq − qj = aj − bk − aj − bk = −2bk luego b = 0 y<br />

concluimos que q = a ∈ R. El recíproco es obvio.<br />

8.12 Lema Un cuaternión es puro si y sólo si su cuadrado es real y negativo.<br />

Dem. Sea q = a + bi + cj + dk ∈ H, haciendo cuentas se tiene<br />

q 2 = a 2 − b 2 − c 2 − d 2 + 2a(bi + cj + dk)<br />

46


Si q es puro entonces a = 0 y por tanto q 2 = −(b 2 + c 2 + d 2 ) es un número<br />

real negativo. Recíprocamente, supongamos que q 2 es un número real negativo<br />

y que no es puro, es <strong>de</strong>cir que a = 0, entonces por ser q 2 real se sigue que<br />

ab = ac = ad = 0, luego b = c = d = 0 y por tanto q 2 = a 2 > 0 contradiciendo<br />

que q 2 negativo. Necesariamente a = 0 y por tanto q puro<br />

Dado un cuaternión q = Re(q) + P u(q), <strong>de</strong>finimos su conjugado <strong>de</strong> manera<br />

análoga a los números complejos: ¯q = Re(q) − P u(q). Notar que qq = qq =<br />

a 2 + b 2 + c 2 + d 2 > 0 es un número real positivo. Claramente ¯q = q y es fácil<br />

comprobar que q1q2 = ¯q2 ¯q1, es <strong>de</strong>cir la conjugación en H es una anti-involución.<br />

Si <strong>de</strong>nota el producto escalar estándar sobre R 4 , se tiene que < q1, q2 >=<br />

1<br />

2 ( ¯q1q2 + ¯q2q1). En particular < q, q >= qq y <strong>de</strong>finimos una norma en H por<br />

q = √ ¯qq. Todo elemento 0 = q ∈ H tiene inverso q −1 = q −2 ¯q, por tanto<br />

H ∗ = H − {0} es un grupo topológico (con la topología usual <strong>de</strong> R 4 ).<br />

8.13 Lema q1q2 = q1q2, para todo q1, q2 ∈ H.<br />

Dem. en efecto, como ¯q1q1 ∈ R y el producto en H es asociativo, se tiene<br />

q1q2 2 = q1q2q1q2 = ¯q2¯q1q1q2 = ¯q2( ¯q1q1)q2 = ¯q1q1 ¯q2q2 = q1 2 q2 2<br />

pero q1, q2 ≥ 0, por tanto q1q2 = q1q2.<br />

Notar que S 3 = {x ∈ H|x = 1} ≤ H ∗ es también un grupo topológico.<br />

Dado x ∈ S 3 <strong>de</strong>finimos una aplicación Tx : H −→ H por Tx(q) = xqx −1 .<br />

Es claro que Tx(q) = xqx −1 = q, por tanto Tx es una transformación<br />

lineal ortogonal (ya que H es R 4 como espacio vectorial) es <strong>de</strong>cir Tx ∈ O(4)<br />

para todo x ∈ S 3 . Definimos T : S 3 −→ O(4) t.q. T (x) = Tx y notar que<br />

TxTy(q) = Txy(q), luego T es un homomorfismo continuo <strong>de</strong> grupos. Es claro<br />

que T (1) = I ∈ SO(4), con I la matriz i<strong>de</strong>ntidad, entonces T continua y S 3<br />

conexo implican T (S 3 ) ⊂ SO(4). A<strong>de</strong>más Tx(1) = 1, es <strong>de</strong>cir Tx fija el 1 ∈ H,<br />

entonces Tx ∈ SO(3) ≤ SO(4) para todo x ∈ S 3 y por tanto T (S 3 ) ⊆ SO(3).<br />

8.14 Proposición T (S 3 ) = SO(3) y Ker(T ) = Z2.<br />

Dem. Denotamos por Hi, Hj y Hk los subgrupos uniparamétricos <strong>de</strong> SO(3),<br />

es <strong>de</strong>cir el conjunto <strong>de</strong> las matrices <strong>de</strong> SO(3) que fijan, respectivamente, i, j<br />

y k. Si ω = e iϑ ∈ S 3 entonces Tω(i) = i, es <strong>de</strong>cir Tω ∈ Hi. Notar que<br />

Tω(j) = (cos2ϑ)j + (sen2ϑ)k y Tω(k) = (cos2ϑ)k − (sen2ϑ)j. Es <strong>de</strong>cir Tω<br />

es una rotación <strong>de</strong> ángulo 2ϑ en el plano expandido por j y k, por tanto<br />

Hi ⊂ T (S 3 ). Análogamente probaríamos que Hj, Hk ⊂ T (S 3 ). Entonces se<br />

tiene que T (S 3 ) = SO(3), ya que Hi, Hj y Hk generan SO(3). Por otra parte,<br />

sea x ∈ Ker(T ) entonces Tx = I y por tanto q = Tx(q) = xqx −1 ó bien<br />

xq = qx para todo q ∈ H, es <strong>de</strong>cir x ∈ Z(H) = R y como x = 1 se sigue que<br />

x = ±1, por tanto Ker(T ) = Z2.<br />

47


8.15 Teorema SO(3) ≈ RP 3<br />

Dem. El espacio proyectivo RP 3 es el espacio obtenido a partir <strong>de</strong> S 3 por<br />

i<strong>de</strong>ntificar puntos antipodales, es <strong>de</strong>cir el espacio <strong>de</strong> órbitas S 3 /Z2, <strong>de</strong>notamos<br />

por π : S 3 −→ RP 3 la i<strong>de</strong>ntificación y consi<strong>de</strong>ramos el diagrama<br />

S 3<br />

π<br />

<br />

RP 3<br />

T <br />

<br />

<br />

<br />

h<br />

<br />

SO(3)<br />

notar que T (x) = T (y) sí y sólo sí x = ±y luego T es constante sobre las<br />

fibras <strong>de</strong> π y por (3.5) existirá h : RP 3 −→ SO(3) continua t.q. hπ = T .<br />

Claramente h inyectiva y como T sobre se sigue que h también es sobre, luego<br />

es una biyección continua. Como RP 3 es compacto y SO(3) es Hausdorff se<br />

sigue por (5.8) que h es un homeomorfismo y el teorema está probado.<br />

8.16 Teorema SO(4) ≈ SO(3) × S 3<br />

Dem. Dada A ∈ SO(4) po<strong>de</strong>mos mirarla como una aplicación lineal ortogonal<br />

A : H −→ H y sea ω = A(1), entonces ω = 1 y por tanto ω ∈ S 3 . Definimos<br />

C : H −→ H t.q. C(x) = A(x)ω −1 , claramente C ∈ SO(4) y C(1) = 1,<br />

entonces C = (1|B) con B ∈ SO(3). Definimos h : SO(4) −→ SO(3) × S 3 por<br />

h(A) = (B, ω) y es fácil probar que h es una biyección continua. Como SO(4)<br />

es compacto y SO(3) × S 3 es Hausdorff, se sigue que h es un homeomorfismo.<br />

Una matriz A ∈ GL(n, H) se dirá simplética si Ax = x y notar que A<br />

es simplética si y sólo si Āt A = I ó bien Āt = A −1 . Análogamente al caso<br />

real y complejo, el conjunto <strong>de</strong> las matrices simpléticas Sp(n) es un subgrupo<br />

<strong>de</strong> GL(n, H), el cual se conoce como Grupo Simplético y se prueba como<br />

en (8.6) que GL(n, H) ≈ Sp(n) × T+(n, H), con T+(n, H) contráctil. Es claro<br />

que Sp(1) = S 3 y como en (8.7) se tiene que S 4n−1 ≈ Sp(n)/Sp(n − 1). Por<br />

inducción en n se sigue <strong>de</strong> (7.9) que Sp(n) compacto para todo n ≥ 1 y <strong>de</strong><br />

(7.10) que Sp(n) es conexo (y por tanto arcoconexo) para todo n ≥ 1.<br />

===========================================<br />

REFERENCIAS<br />

(1) J. Dugundji Topology (1966)<br />

(2) P.J. Higgins An Introduction to Topological Groups (1979)<br />

(3) J.R. Munkres Topology (2000)<br />

(4) S. Willard General Topology (1970)<br />

48

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!