Sean X, Y, conjuntos y

f:

> Y.

La relacin en X

"X-vx <=*>f(x) = f(x ) " , es una relacin de equivalencia.

Sea

Sea

p:

> X/'\' (p est bien definida pues

X I

> jQ

f^: X/'V'
o
DQ

x = x^

x=x^

> Y
^

(f est bien definida pues

o
f(x) [x]=Cx^J<}=={>f(x) = f(x^))

Es claro que p es sobre y f

Entonces:

f(x) = f ( x M

es 1-1

toda funcin se puede factorizar como la com-

posicin de una epiyeccin con una inyeccin:

^'^r.

X > Y

Ao

Adems, si f es sobre, f^ es una biyeccin y se f es

1-1

p es una biyeccin.

Ej:

Sea

R^ ^ R
(x.y) I

TR^

> ^x^+y^

>TR
N^2/^o

En el caso de que X, Y sean grupos y f homomorfismo:

x'V'X^^^=^f(x) = f(xM=^f(x) [f(xM] ^=f(xx^"M = ly.
Entonces

x'>^x < > xx ~ eN(f).

T-l

P-

Tengamos en cuenta qun si, en general., X es un grupo y

N<I X, entonces

X/N es un grupo, donde:

R/N es el co-

ciente de X por la relacin de equivalencia "congruencia

mdulo N" definida por x H y
cin en

X/N

es

mod N<t=*> xy" cN.

[^x;] C Y " C^vj

Hay que observar que an si

X 'V' y <^~^
cia.

xy~ eN

jno es normal, la relacin

sigue siendo una relacin de equivalen-

Lo que no se puede asegurar ahora es que

un grupSJ'O bajo la operacin l[x'3 [y~] ~ t^Yj

dos

Ej

La opera-

X/N

sea

(f^e todos mo-

X/N puede ser un grupo bajo otra operacin).

S,

= {(

) . (12), (13), (23). (123), (132)}

= {(

)> (12)}

H ^

S3 :

^3/H

3/H

es un subgrupo de

(23)(12)(23) = (13) ^

S3

H..

= { H. (1,3) H, (2,3) H }

no es un grupo bajo la operacin C^lCb] = [ a ^ ,

pero claro est que uno puede forzarlo a ser un grupo.

Lema:

N -3 X

->-X/N

T-2

es un homomorfismo

Tengamos en cuenta que si, en general , X es un grupo y

N<1X, entonces X/N es un grupo, donde:

X/N es el cocien-

te de X por la relacin de equivalencia "congruencia mdulo N" definida por xsy mod N4==^xy~ eN.
en X/N es W

[y] =

La operacin

Hay que observar que an si N n es normal, la relacin

x'^y=xy~ eN sigue siendo una relacin de equivalencia.
Lo que no se puede asegurar ahora es que X/N sea un grupo bajo la operacin [x] [y] = [x)^ .

(De todos modos X/N

puede ser un grupo bajo otra operacin).

Ej:

$3

= {( ) , (12). (13), (23), (123), (132)}

= {( ) (12)} es un subgrupo de S,

H^JS^:

(23)(12)(23) = (13)H.

S3/H = {H,(1,3)H, (2.3)H}

S3/H no es un grupo bajo la operacin [a] [b] = fabj ,

pero claro est que uno puede forzarlo a ser un grupo.

Lema:

N<3X-p: X

-> X/N es un homomorfismo:

T-2

dm:

Si N

es un subgrupo normal de

X,

es un homo-

morfismo por la definicin de la operacin en

Si

es un homomorfismo, sea

xeX.

X/N.

Entonces:

[xx^ = Cx7 [xj <-=-> xxN = xNxN = xx(x"'Nx)N

N = (x''Nx)N -^r^ x'^Nxc N

Entonces

es un subgrupo normal de

Consideremos un homomorfismo

Tenemos pues que

Tambin

f^

f:

X,

->G^

es un homomorfismo ya que

es un homomorfismo, pues sindolo

N<^ G
p:

^ C g j C g , - ] ) = f o ( r g ^ g , 3 ) = g , g , = ^ g ? ^og;!
Adems si

>G^

es un epimorfismo entonces

G - G/N, y en particular:

T-3

dm:

Si N es un subgrupo normal de X, p es un homomorfismo por la definicin de la operacin en X/N.

Si p es un homomorfismo, sea xeX.

Entonces:

[X.KJ = [x] [x]<=xxN = xNxN = xx(x"'^Nx)N

=N = (x"-^Nx)N =^x'-^Nxc:N.

Entonces N es un subgrupo normal de X.

Consideremos un homomorfismo

f:

>G1

->G'
\

G/ N(h) = h"Mlr)
Tenemos pues que p es un homomorfismo ya que

N< G

Tambin f

p:

es un homomorfismo, pues sindolo

'o([gi] [gz) ) = ^'e([gig2] )=gig2=fo[g3

Adems si G

> G

fo[g3

es un epimorfismo entonces

G=G/N. y en particular:

1-3

Primer teorema de isomorfismos:

Toda imagen homomrfica es un cociente

-^ G

-^ h(G)
y-f

G/N

Antes de abordar el segundo teorema de esos tengamos en

cuenta que:

M, N <j G => MN ^

a)

MN

es

G:

un s u b g r u p o

de

1 e MN
"iirii ( m a H a ) ~ ^ = m i n j n a ^ m ^ *

b)

)mi'mm2^=mn

MN <3 G
g ( m n ) g " ' = (gmg"M

c)

= mi(nin2'

MN = NM:

( g n g ' M = m'n*

mn mnm~'m = n*m

(En g e n e r a l :

s i MN

subgrupo de G entonces
T-4

MN = NM) .

Primer teorema de i sornorf i snos :

Toda imagen homomrfica es un cociente

j]

. r'
>

tl

-> h(G)

Pv
G/N
Antes de abordar el segundo teorema de esos tengamos en
cuenta que:

M, N<1G4-=MN<G:

a)

MN es un subgrupo de G
leMN
mjnjimjnj)

b)

_i

_i -1
-1 _i i
^mjnjnj mg =mj(nin2 )mj mm2 =mn

MN<]G
g(mn)g" = ( g m g ' )(gng' )=m n

c)

MN=NM:

mn=mnm~ m=n m

(En g e n e r a l :

si MN subgrupo

de G entonces M N = N M ) .

T-4

Si

H c K c G

son subgrupos con

En particualr si
H c H Kc G

H <J G
HK/H

todos los cogrupos

Hhk = Hk,

donde

HK/H

todos los cogrupos de

entonces H <3 K

subgrupo de

es el subgrupo de

Hhk

entonces

11 <q G,

hkelIK.

G,

G/H

entonces
formado por

Puesto que

est formado precisamente por

con representante en

K.

Segundo teorema de isomorfismos

Sean

HftK<d K

subgrupos de

H d G.

Entonces

HK

HAK

Demostracin:

con

HK

H/IK

-V kH^K

h k -

es un e p i m o r f i s m o con ncleo H

a)

Est bien

hk = hk^

definido:

-=>

h ' h = K^K-^e H^K ^ = > K = V (tf\K) r = >

kH/lK = KH/)K

b)

Es un homomorfismo

T-5

Si HcKcG son subgrupos con H<}G, entonces H-<lK.

cular si H<6 y K subgrupo de G, entonces Hc^H

En partiKcG y

HK/H es el subgrupo de 6/H formado por todos los cogrupos Hhk donde hkcllk.

Puesto que Hhk = Hk, entonces HK/H

est formado precisamente por todos los cogrupos de H

con represetante en K.

Segundo teorema de isomorfismos

Sean H y K subgrupos de G con H<G.

K
HHK

Demostraci n

HK
hk }i

Entonces HHK^K y

HK
H

>
^
^ HflK
- > kH K

es un epimorfismo con ncleo H

a)

Est bien definido

-1

hk=h*k^=^h^ h = K'K-*eHnK=KSKMHnK)?"kHnK=K^HnK

b)

Es un homomorfismo

T-5

f ( h k h H M = f{h(khH."Mt<kM = l<k^/l = kf\ k'f\ =f(hk)

HK

f(hHM

H/\K

HK
Ncleo de f

c)

Que f

es sobre es claro.

d)

Ncleo de

f = {hk| k (HnK) = HAK} = {hk| keH/lK} H

Teorema de la correspondencia

Sea

K<^G y

Entonces

sea 6

^ Q / K

p(g)=Cg3

define una correspondencia biunvoca entre

los subgrupos de
de

G/K. Mas an:

que contienen a

K y los subgrupos

a subgrupos normales en

ponden subgrupos normales en

T-6

G/K, y

corres-

viceversa:

f (h k h' k M ^ f {h (k h' k M k k M = k k ^ n = k n k Vi - f (h k) f (h H M

HK

HHK

HK
Ncleo de f

c)

Que f es sobre es claro.

d)

Ncleo de f={hklk(HnK)=HnK}={hk|keHnK}SH

Teorema de la correspondencia

Sea K<G y sea G

2^Q/K

p(g)=[g]

Entonces p define una correspondencia biunvoca entre

los subgrupos de G que contienen a K y los subgrupos de
G/K.

Mas an:

a subgrupos normales en G corresponden

subgrupos normales en G/K, y viceversa:

T-6

->G = G/K
S <A
K ^

^S

N e
A

^N

->{!)

a)

T ^ G

"

N/K

La c o r r e s p o n d e n c i a

K1S,

= S/K

es

1 - 1

s e S ~>

sK = t K ==> s = t K * K ' ^ ^ ; >

Entonces

S c T.

Simtricamente

s e T

T c: S.

(KcT)

Luego

S = T

b)

La correspondencia es sobre:

Sea

subgrupo de

subgrupo de

G/K.

Entonces

p"*(L)

es un

(que, claro est, contiene a K):

1. = p-'(K) E p-'(L)

gi. ga e p"Ml) :=> P(gi), p(g2)eL=> p(gi)[p(g2)]"

p(gigM c l ^ p

gig^ e p M L )

T-7

->G = G/K
S f-

-> S = S/K

K <r-

-> {1}
-> N = N/K
A
G

N <^
G

a)

La correspondencia es 1-1

KcS, TcG"S=T

seS ^ s K = t K = = s = tK K " seT( KcT)

Entonces ScT.

b)

Simtricamente TcS.

Luego S*T

La correspondencia es sobre

Sea L subgrupo de G/K.

Entonces p'i(L) es un sub-

grupo de G (que, claro est, contiene a K ) :

lg = p-MK)eP"ML)

gi. g2ep'*(L)-=^p(gi), p(g2)eL*==^p(gi)[p(g2)J'^

P(gig2MeL=^gig

ep'^(L)

T-7

c)

A subgrupos normales en
normales en

Si

entonces si

g e G

gNg~'cN.

jjg"] fg]"^ = (gK)(gK)"^ = KK = K = ( K c N )

Es decir,

d)

corresponden subgrupos

G/K:

K c N <i G,

Luego

< G.

Y viceversa:

<3 G

Si
Sea

" e , ^ g \ [g]~^e V[g] e G

entonces si

nep~*().

Entonces

[g"] " [g]"' e ,

p(gng'ME.

F = p(n)e.

es decir,

Luego

p (g )p(n )f p(g )] " ^ =

Por lo tanto

gng"e p ~ ' { )

p"M)<l G.

Tercer teorema de isomorfismos:

Sean

un grupo y

tales que

dm .

Sea

H <^

Entonces

subgrupos normales de
M/N g G/N

N
gN

^
^

-^ gM

T-8

G/N
M/N

Entonces

^,,.
^'^^

a)

est bien definida:

gi '^ 9 2 i^z=>> giN = g2N^f=e> gig'eNcM ^=^ giM = gaM

b)

es un homomorfismo:

giNgaN = gigzN f

c)

El ncleo de h es

{ gN I gN

d)

*- gigzM = giMgaM

Es claro que

Por

M/N:

^ M } = { gN | geM } = M/N.

a ) , b ) , c)

es un epimorfismo.

d)

G/N
M/N

G
M

Sucesiones exactas

Def.

Una sucesin exacta de grupos consiste de

gru-

pos y dos homomorfismos

>

f(A) = g"^(lc) = N ( g ) .

T-9

.> c

tales que

Propiedades elementales

1)

gof

2)

es la funcin trivial que escribiremos

es

1-1

.^=>

es sobre c5==>

1.

-> A

-> B

es

-> 1

es

exacta.

3)

exacta.

4)

es

1 - 1

es sobre ^: - ^

-> A

-> C

-> B

es exacta

Def.

Una sucesin exacta corta es una sucesin

-> B

-^ A

Prop.

es

1 - 1

-> C

es sobre.

B/f(A)

T-10

Adems

f(A)<i B

B/f(A)

Generalizando tenemos:

Def.

Sean

Aj,

, An

grupos

fj,

fn

ho-

momorf i smos ;

Se llama una sucesin exacta en

im

ff^ i^JH:
i 'I

fn-l

-^ An-1

Al -L-A2 ^^^-^A-

Ai

si

Ker fi

Si la sucesin es exacta en todo

Ai, decimos que

la sucesin es exacta.

Ej,:

> A
a

^ AxC
i

> C

> 1

> (a , le)
(a, c) *

li:

x2

-> 7

> c

-* Zj

-> o

I X Z'2

ii:

-? An

* Z2
> O
-> 23 ^
^ S3
4
.
grupo alternante de permutaciones pares
{ ( ) , (123), (132) }c S3
T-11

f(A)<B

B/f(A)=^C

Generalizando tenemos:

Def;

Sean Ai,

, An grupos y fi,

, fn homomor-

f ismos;

Al

fl1

> A,
A2
->

f' 2
^

> A3

-> An-1

'

Se llama una sucesin exacta en Ai

im

^""-^

> An

si

f<_i= Ker fi

Si la sucesin es exacta en todo A i , decimos que

la sucesin es exacta.

Ej :

> A

> AxC

> C

^ 1

a I > (a, le)

>c

(a, c)

-> Z ^ ^ ^ - ^ Z

Ej

^Z2

-> O

ZxZj

Ej:

> Z3

> S3

-> Za

i,

> O

grupo alternante de permutaciones pares =

{( ) , (123), (132)}cS,

T-n

l-

-> 23^ I ,
li
6

Def;

Se dice que la sucesin exacta corta

> A

-c B

Se escinde, si existe
Tal que

gs = Id .

> 1

S_^ c

(homomorfismo) de C en B

(En tal caso

es 1 - 1 ) .

En la categora de grupos abelianos.

Sean

A c. B

B/A

=* A c^^> B

Entonces

^e C

> O

B-AxC < ^

se es-

ci nde.

C->)

AxB/A

^i^

2 > B/A

(a. b'^A) S

>b"^A

AxB/A

>(0^, b"^A)

ps(b*A) = psb'^A)) = p(0^,b'*'A) = b*A

Es claro que

es un homomorfismo.
T-12

ps = Id^

( * = )

Defi namos

i:

B
b

1)

Entonces:

-* AxC

(b - s p ( b ) , p(b))

P(b) e C
(b - sp(b)) c f(A) = A

2) i

(ya que

p(b-sp(b) = 0)

es un homomorfismo:

i (0) = O
i (bl + bz) = (bl + b2
= (bl + b2

sp(bi + b z ) , p(bi + bj))

sp(bi) - sp(b2),

= (bl- s p b i ) , p(bi)) + ( b2

p(bi)+p(b2))
-sp(b2),p(b,))

= i(bi) + i(b2)

3) i

es

1-1:

i(b) = O ( b - sp(b), p(b)) = O

p(b) = O " sp(b) = b
p(b) = O " s(0)
b

4)

= O

(pues

= b
s

es un hom.)

es sobre:

Dado
b e B

(a, b) = (a, b + A) e AxC = AxB/A, existe

tal que

i(b) = (a, F ) :

b = a + s(b + A):

T-13

i(b) = (a + s(b + A) - sp(e) - s(b + A), p(a) ^ (b -!- A))

= (a - sp(a), p(a) + (b + A))
= (a, b + A) = (a, b)

porque:

.>
7

'' ' '

P(a) + (b + A) = (a + A) + (b A) + (b + Ai - b'+ A (aeA)

sp(a) = s(p(a)) - s(n + A) = s(0) = O
NOTA:

El teorema es vlido para cualquier estructura algebraica:

mdulos, anillos, - - -

Pero, en el caso no abcliano lo anterior no es cierto

->

~> S

Z:

-> Z:

lie
{ (

^ 1

f/^
), (123),(132) \{ (

g(A3) = { (

) }

s((

), (12) }

)) = (

g(S3 - A) = { (12)}s((12)) = (12)

g(s((

)))= g((

)) = (

gos = id

g(s((12))) = g((12)) = (12)

Pero

S3/Z3XZ2=ZG

(Ze

Sean

N, Q

Los automorfismos de

un grupo.

subgrupos.

es cclico y

Los automorf i smos interiores de

T-14

S3

no lo es)

N
N

forman
forman unS'."

i(b) = (a + s(b+A)-sp{a)-s{b + A) ,p(a) + (b-i-A))

=(a-sp(a), p(a)+(b+A))
=(a, b+A)=(a,F) porque:
p(a)+(b+A)=(a+A)+(b+A)=(o+A)+(b+A)=b+A(atA)
sp(a)=s(p(a))=s(0+A)=s(C)=0

Nota:

El teorema es vlido para cualquier estructura algebraica:

mdulos, anillos, - - -

Pero, en el caso no abeliano lo anterior no es cierto:

->1
A3={( ) . (123). (132)}. {( ) . (12)}

g(A3)={( )}

s(( ))=( )

g(S,-A3)={{12)}s((12))=(12)

g(s(( )))=g(( ))=( )

gos = Id

g(s((12)))=g((12))={12)
Pero Ss i

ZsxZ

= Ze

Sean N. Q subgrupos.

(Zs

es cclico y S3 no lo es)

Los automorfismos de N forman un grupo

Los automorfismos interiores de

T-14

forman un

subgrupo

normal de los automorfismos de

(ver problema

Sea

(j) :

N X Q

^ Aut
y

(Aut

N/7(N)

Z^)

un homomorfismo

- > (},,

definimos la siguiente operacin

(n; q) (m, p) = (n<}) (m), qp).

p e r a c i n es c e r r a d a

(g-2)

isomorfo a

en Jacobson)

Q
q

En

1.9.5

en

Entonces:

( 1 , r ) = (n(})q(m), qp)

= ((n(|>q{m))(()^p(l)),^qpr)

( n , q)^m, p ) ( l ,

r))

(g-4)

( n , q)(('q
1

(me) ( 1 ) ,

(n'

), q

) , qq" ) = ( 1 , 1)

({q ( n " ) , q" ) ( n , q) = (cj," ( n '

(4>q ( 1 ) .

T-15

qpr)

= ( n , q ) = ( I^ . I g ) (n , q )

) = (nc^qO(^q (n

qpr)

pr)

= (n(f)q(m)(},q (()p(l ) ) ,

I Q ) = (n(}>j^(lN). q l q )

_i

( 1 , r)

= (n(.q(m)(})q ((f)p(l ) ) ,

= ( n , q)

= (n(|)q(m(})p(l)), q p r )

(n. q)(lN.

la o-

N x Q

( ( n , q)(m, p))

(g-3)

(g-l)

) 4)

i ( n ) , q" q)

1) = ( 1 . 1)

(Adems se t i e n e que

Resumen:

NxQ

N<7NX^Q
9

"

NX^Q/N = Q)
9

es un grupo bajo la operacin

(n, q)(m, p) = {n<}) ( m ) , q p ) . Dicho grupo se

denota por

Nx^d) - N<Nx^Q

Identificando

NX.Q

(p, q ) ( n , l ) ( p ,

q )" * = ( p<.q (n ) p " ' , 1) eNx^{ 1}

(1, q) (n, 1) (1, q ) " = cj^cj"

->N

TT

^P

->Gc

= <}, (n)

-^1

es exacta

->(n, 1)

n -

(n, q)-

La sucesin se escinde si
{<^ )

Basta definir

( =^)

Definimos

-^q
P = ^^A,^

solamente si

s(q) = (1, (\)

_1

tomorfismo de

<f>q(n) = s(q) f(n) (s(c|))"

N ^ f(N)-<iP).

N pues

-V Aut N

<{> : Q
q ^-

Sea ahora

As definida ))^.

es un homomorfismo.

-^ Nx.Q
4
P

(*)

(*)(un au-

->(p.STTp' , Tr(p))

Pinsese en la conveniencia de esta definicin aparentemente artificial.

T-2 6

Entonces

1)

es un isomorfismo

est bien definida:

irpcQ

_1

iT(pS7r(p

ii)

es

psTT(p" )eN

_1

))=

_ 1

) =

IT(P) ITSIT(P

pues

IT(P)'!T(P

) = 1

(iTS = id)

1-1

i(p) = 1 ^=>7r(p) = 1 -^ p.STr(p"') = 1 :=>T7(p-') = 1 = > p . s ( l ) = 1 => p = 1

iii)

es sobre:

(recurdese que por ser la sucesin

exacta:

f(N) = KerTT

Sea

(n, q)eNx<j)Q.

por

sobre

Veamos que

TT

p = n,s(q)

1)

se aplica

(n, q ) :

1
l(n.sq) = (n.(sq)(sTrsq" )(siTn' ) , (TTn)(Trsq))

(n(sq)(sq)

_i

(sirn)

, (un) q)

= (n(sTrn)" , {Trn)q)

= (n q)

ya que

T-17

n e N = Ker

TT

y por lo

tanto

iV)

frn = 1 .

es un homomorfismo:

i(l)

= ( 1 . 1)

i(mim2)

= 1

= (mim2STT(mim2)'

T^im^mz)}

_1
= (mim2(s7rm2)

i(mi)l(m2)

_I
(sirm)

( i r m ) (irmz ) )

_1
_1
= ( m i ( s i T m i ) ~ , u m i ) (m2 (sTrm2 )
, 7rm2)
_1
(mi(s7rmi)

_ 1
(j)Ttmi (mz (sirma ) ' ,

( i r m ) (Trm2))

_1
_1
_1
( m i ( s i r m j ) " (sirm ) f (m2 ( s i i m z ) " ) ( s i r m ) ~ , ( u m j ) (TTm2 ) )

= (mim2 ( s i r m 2 ) ~

NOTA

(sum)"

( i r m ) (TTm2 ) )

Sabemos pues que en la c a t .

de los g r u p o s , si

sucesin

=> N

^ P

V Q

T-iS

-> 1

N < } P, la

se escinde si

NOTA

solo si

P =: Nx^Q

En particular sabemos que en la categora de grupos abelianos la sucesin

O

-> A

se escinde si

-> B
y

solo si

> O

> B/A
B ^ AxB/A

(Asubgrupo de

B)

Lo que nos inclina a preguntar: en la categora de g r u p o s ,

qu clase de grupos

hacen que V p

la sucesin si-

guiente se escinda ?

(1

> Ker (p)

-> ) G

-> 1

obligado, salvo isomorfismos

(A dichos grupos los llamaremos grupos 1 ibres)

Ej:

En la categora de grupos abelianos todo epimorfis

mo sobre

se escinde:

(A tiene elementos de orden infinito pues de lo contrario

T-19

no existira ningn epimorfismo sobre Z .

Definamos

s(l) = a ^ p" (1).

Entonces

es una escisin

Adems se tiene:

-> B

-> A

-> O

-> Z

B <5 2
(I

B X Z

Lo dicho demuestra que

Pero

Ej:

(J)

es libre abeliano.

tambin es libre no abeliano:

Todo epimorfismo sobre

t___

_2
.

_ 1
.

o
X.

1
X

2
,

se escinde:

-> J

t a l que

Se t i e n e

s ( l = x) = a e p ' (x = 1)

entonces:

-^ N

NxpJ

ii:

-> I'

no se e s c i n d e :

T-20

-> 1

S(l) = a ^=i>S(l + 1) = S ( 0 )

2a -=%> a

Una manera que se manifestar equivalente de mirar el mismo asunto es la s i g u i e n t e :

Ej:

Sean

V, W

Entonces

Def.

espacios vectoriales y 6 una base de V.

f(V

> W ) <f

>{f|f

W} :

En la categora de grupos
Se dice que
ra todo grupo

es "LIBRE" con base

G

y toda funcin

existe un nico homomorfismo

tal que

Ej:

: 3

7 :

X c. F

f:
F

si pa>

G,

T \ x = f :

Todo espacio vectorial

base del espacio

T-21

es " L I B R E " con base cualquier

ii:

Z (J)

es LIBRE

Ahora la equivalencia

con base

{1}

({X })

entre los c o n c e p t o s :

Un grupo

sobre

se e s c i n d e ; es d e c i r , un grupo es " L I B R E " si

es "LIBRE"

si

solo si todo

epimorfismo
y

solamente si es libre.
Lema

Si

F'

son grupos libre con base

en-

tonces

F = F

F'

^ F'

-^ F

X
01
por la unicidad

F Jl5_ p
hog = Id

h o g ( F ) = F " hog|x = Idx

VI

:]

(*)goh(F')= F'" gohlx = I d x J

X
NOTA:

~ >

'

goh = Id

Podemos entonces hablar de j_ grupo

libre con base X

Lema

2. X
Sea
6

genera a
6

(F grupo l i b r e con base X ) :

el subgrupo g e n e r a d o por X.

es libre con base

X :

'T

(como

es n i c o , su res-

triccin a
nica).

T-22

Entonces

es tambin

(*)

Luego, por el lema

COROLARIO : ^ X

1,

G = F

existe el grupo libre con base

X.

Demostracin de la equivalencia de concepto de libertad

a)

Si un grupo
F

es

LIBRE,

todo epimorfismo sobre

se escinde:

-^ F

-> 1

Ui
X = {x}

Sea

gep" (X^)

Entonces

(ax. de eleccin).

Sea

s(X^) = g^

es claramente un homeomorfismo y

ps(X) = p(g) = X

b)

Si todo epimofirmismo sobre un grupo

entonces

es un grupo

tracin) .

T-23

LIBRE

se escinde,

(omitimos la demos-

PRODUCTO

Def.

Sean

A y B

ducto de

funciones
jeto

Ej:

dos objetos de una categora.

por
py;^ y

B
Pg

consta de un objeto

Un proP

y dos

tales que dado cualquier ob-

dos funciones

funcin

tal que el diagrama que sigue conmuta:

Sean

A, B

f y g, existe una nica

dos objetos de la cat. de los grupos,

(no de anillos de integridad, por ejemplo).

ces

A X B

Enton-

es un producto:

A x B

p. y Pg las proyecciones cannicas, h(c) = (f(c),g(c))

T-24

es nica por la def.

de igualdad en

A x B.

COPRODUCTO

Def.

Refrasear la def.

de producto pero invirtiendo el

sentido de todas las flechas del diagrama.

Ej:

En la categora de los conjuntos la "unin ajena"

es un coproducto:

X v; Y

f(t)

si

t e X

g(t)

si

t e Y

h(t)

Ej:

En la categora de grupos abelianos

producto :

A x B

es co-

(o, b)

Unicidad

^(^' '^ - ' ^ ' ^ '

Obligado

h(0, b) = f(b)
h(a. b) = f(a) + f(b)

h(a, b) = f(a) + g(b)

h((a,b) + (a\b')) = h(a+a\b+b') = f(a + a')+g(b + b ) = f(a) + f(a ) +

Ej:

En la categora de grupos

T-26

ZG

II
Zz X Z3
^

ZfxJZz
NOTA:

Zn :

grupo cclico de orden

Zn = lini

-> nZ

-* Z

2: - ^

^ Z

- ^ Zn

-> O

-> Zn

-^ O

( r 7 ) / \ / - u n i d a d y generador de
Z2X

(T,

0)

-t (O, T)

Zj

X Z3

I
I
I
(12)

Z T

(123)

T-27

Z3=Z6

ZsX^Z^ - Ss

Z^X.Zs = Z2XZ3
"2 (j)

NOTAS:

Z2XZ3 = {(0,0),(0,T), (0,2).(T,),(T,T),(1,2)}

Z2xZ3=Zc={(o,o),(T,T).(o,2),(i.),(o,T),(T,2)}=<{(T,T)}>

S3 = <{ (1, 2 ) , (123) }>

Z3 = { (

), (123), (132) } = grupo alternante de

permutaciones pares

Z2 = { (

), (12)Z3}

ZjX^Z^ = S3 ;

Si existiera

Z^X^Zs = Z2XZ3 = Zg

se debera tener:

h(T.T) = h ((T,) + (ir,T)) = (12)(123)

Pero (12) (123 ) J (123) (12) /

h(T,T) = h ((0,T) + (T,0)) = (123)(12)

Producto (r coproducto) de una familia de objetos de una

categora.

T-28

Def;

Si

(Aa)el

es una familia de objetos de una cati

gora, un producto

P =

TT A^
el

(p)a:^^

T T A^^
<=el

consta de un objeto

y de una familia de funciones

tales que para cualquier objeto

cualquier familia

(f^)a^^

una nica funcin

ma conmuta

de funciones, existe

tal que el siguiente diagra-

(en el sentido de que

(Yel) (p^h = f):

Ej:

El producto cartesiano en la categora de los conjuntos

P = TT A^ = { (a^)el | acA }

T-29

P3((a)) = a
1^

A,

h(c) = (f^(c)) /

P3(h(c)) = P3((fjc)))=

Ej:

f^ic)

En la categora de los grupos de torsin (todo elemento

tiene orden finito):

T T Z n ^ P = { (an) | ane

Zn " (an)

tiene orden

cartesiano

^^.^.^^ j

h (en la cat. de grupos)

Pero
P

h(c)

tiene orden finito.

Entonces

h(c)cP,

es pues un producto en la cat. de grupos de tor-

sin.

T-30

Coproducto

Ej:

En la cat. de grupos (abelianos o no)

si

I es

infinito,

riAcc no es un coproducto como se ver

el
mas tarde, (es decir, no es la suma directa).

Ej:

En la cat. de grupos abelianos:

Im(A)

Si

generan

S:

es el subgrupo de

(., p
ces:

Im (ig)

(S = suma directa)

generado por

A y B

se puede pensar como inclusiones), enton-

Si el diagrama de la derecha conmuta,

t = ai bl a2 b2_ _ _ a^^ b^

h(t) = f(ai) g (bl)

Por lo tanto

h|T

f(aj g (bJ
es nica.

T-31

Luego

S = T

Ej:

Pero en el caso infinito no es cierto:

A3 c

a.
6

-^

^^^

(O, O, . _ _ , 83, O, O,

Un conjunto (finito) de generadores no genera

TTAoc,

por ejemplo no genera a (1, 1, 1, _ _, 1,_ _ .

Coproducto en la categora no abeliana, (tambin llamado

producto libre

(A * B ) ) .

El siguiente se llama el conjunto de las sucesiones alternas de elementos

?* 1, y consta de 5 tipos de sucesiones

{ aibia2b2 - - - anbn;

cada elemento de

A * B tie-

biaib2a2 _ _ _ bmam;

ne una nica representacin

aibi _ _ > ap_ibp_iap;

(reducida) que pertenece a

biai

uno solo de estos tipos de

bQ_,a(j_ibq;

) = sucesin vaca }

sucesin.

Definamos un producto en este conjunto as:

Se yustaponen las dos sucesiones que se han de multipli

car (en su orden).

Si dos aes quedan yuxtapuestas se

T-32

multiplican en
A

es

1/^,

A; si el resultado de este producto en

se ignora este elemento quedando yuxtapues-

tas dos bees que se multiplican en

sultado

ID

B,

ignorando el re-

_ etc

si se da;

Este es un producto cuya asociatividad es de engorrosa

demostracin.
A

Este producto no es conmutativo aunque

sean conmutativos.

(ab j* ba por la unicidad de

la representacin).

Ejemplo:

* Z^

tiene orden infinito.

En general to-

do producto libre tiene orden infinito por la

unicidad de la representacin:

ab i

Este producto

(ab)^ i

(ab)' i . . .

satisface las condiciones para ser co-

producto

T-33

(a) = aaa

si

( )

Bb)

(b) = bbb .

gd)

( )

(Notemos que

Sl

debe cumplir h((a))=f(a), h(0) = 1

h((b))=g(b).

h(aibi _ _ _ anbn)=TT f(ai)g(bi)

los otros tipos de sucesiones.
efectivamente definen a
(nico)
da.

Adems

y lo anlogo para
Estas condiciones

como un homomorfismo;

si con estas condiciones est bien defini-

Y lo est, pues si

aibi _ _ _ anbn = (

),

(a.j o b^- pueden ser l's, con

lo que aqu caben los 5 tipos
de sucesiones alternadas)
entonces

f(ai) f(bi)
Luego

_ f(an)f(bn) = 1

esta bien definida.

(peA*B=>h(pp') = h( )
como h( )=1 (nico),
h(p) es nico)

(Anlogamente se define el producto libre infinito).

Propiedades elementales del producto libre son:

A * B = B * A
(A * B) * C = A * (B * C)
A * 1 = A

T-34

Ejs:

Observemos el producto libre de

Z-

(generado por

a, a

=1)

{(

por

(generado por

b, b

= 1):

) ; (ab)"; (ab)'"a; b(ab)P; b(ab)'^b}

m, n, p, q e 2.

(ab)

es de orden infinito;

(ab)"

= ba

a(ab)"a = (ab)""
b(ab)"b = (ab)""
aba(ab)"aba

= (ab)""

El subgrupo generado por

normal y

-* Z

(ab)

/<(ab)>

es isomorfo a

= Z ,

es

es decir.

-> z^ * z^

-^ Z

Z,

-> 1

<(ab)>

es una sucesin exacta

Definamos

p :

(ab)"

t-

-> (aa)" = 1

m. = a
-> (aa)'"a

b(ab)^

> a(aa)P = a

b(ab)^b

^-

->- a(aa)^a= 1

(ab)'"a

p es un epimorfismo y su ncleo son los elementos de

T~35

longitud par, es decir, los enteros, pues

(abab _ _ _ a b ) ' = (baba _ _ _ ba)
CFR. MASSEY

En la categora de grupos abelianos tenemos:

Sea

X = {Xoc}.

Sea

n i t o generado por

la.
X^ :

un grupo l i b r e con base

el grupo a b e l i a n o c c l i c o
{nXcc|neZ}.

-^

. X, 0.

(f(x,) = f(0,0.

<^ Zcc

es

X:

Z,

Sea

Entonces

infi-

, 0) = f(Xc.)

' Entonces

n i

ncciX.)= ' n. f (Xo:,.) = I

Por la manera como fu definida,

fismo de

Sea

Zoc

X = {Xa}.

en

tal que

n. f (X.)

f | x = f.

Sea J = {X^ \x\ e Z}

T-36

es el nico homomor-

el grupo cclico

infinito generado por

grupos,

* Zoc

Xoc.

Entonces, en la categora de

es un grupo libre con base

X.

-^ G

X ={X}

Sea

n.

f ( n
X^"" ) = n rf(Xjl ' . Entonces
i= 1
i
i= L
TJ

nico homomorfismo de

Ntese que

-> G

* JJ

tal que

f^

as:

f3(X3) = [f(X3)]

es el

f| x = f

es el mismo homomorfismo que define a * J

como un coproducto, si se toma

Entonces

est bien definida como ya se vi

T-37

Proposicin.

Dado un grupo
F

Dm.

Sea

G,

existe un grupo libre

y un epimorfismo de

e.*- G.

un conjunto de generadores de

el grupo libre con base en

y sea

X.

Entonces existe un homomorfismo

de

> G

-> G

Como los generadores de

h.

estn en la imagen de

es un epimorfismo.

Veremos ms adelante el teorema de Ni elsen-Schreier

todo subgrupo de un grupo libre es libre.
todo grupo

Entonces

es el cuoc. de un grupo libre

por un subgrupo (libre) de

T-38

F,

Ker h.

TOPOLOGA ALGEBRAICA

NOTAS INICIALES

1)

Continuo es un conjunto conexo y compacto.

2)

Si

es un espacio mtrico compacto, todo recubri-

miento abierto tiene un nmero de Lebesgue.

I
3)

Un arco en

es una funcin continua de

To, ij en

X.

4)

La reunin de dos espacios conexos por arcos no disjuntos es un espacio conexo por arcos.

5)

{Sen 1/x} [) {(O, y)}

es conexo pero no es conexo por

arcos.

6)

Una funcin reparametrizante es una funcin continua

(|> :

7)

tal que

4>(0) = O y <^{1) = 1

Los siguientes arcos no son el mismo arco, aunque sus

imgenes sean la misma curva:

T-39

Objeto de nuestro

C(X,

Xo,

r e C

= {r

y <|) :

Si
y

Dm.

Sean

X = A \/B

C(X,

Caso

conexo por arcos y

Xl)

{0}

zPAiri t

t-

Xo, Xi eX.

-> X |

> I

donde

r(n)

Estudiaremos

= Xo,

rci)= ( X i ) ,

cont.}

es c o n e x o p o r a r c o s .
una r e p a r a m e t r i z a c i n ^ r ^ e C .

)< ({), e n t o n c e s

X Q , X I e X.
XQ,

C -

estudio:

C ( X , X o , X l ) f (> pues

Ej:

Tri t

\-

Sea

{0)

B
X

son c o n e x o s p o r arcos
es c o n e x o por a r c o s :

Debemos demostrar que

X l ) ^ (J>.

X o , XieA (o B ) = r ^ ({> C ( A , X Q , X i ) < ^ C ( X , X o X j )

T-40

Caso

XocA

Sea

(o

y E AflB.

eC(B,
Sea

XicB

viceversa)

Sean

re C(A,

XQ, y)

y,Xi)

CC :

>

T(2t) ^ t i V ^
t

Entoces
Lema:

Sea
Sean

(^(2t - 1)^ t l V ^

e C(X, X Q , Xi).

un esp. top. tal que

f : A

> Y,

(ver lema)

AVB = X (A, B cerrados).

g:

^ Y

funciones conts. tales que

f|(AoB)

ces la funcin

> Y

h :

h(x) = [ f(x)

si xeA

g(x)

si xeB

(Y otro esp. top.)

= g/^/\B.

Enton-

def. por

es cont.

En general tenemos la aplicacin

1> C(X, Xo, X2)

C(X, Xo, Xl) X C(X, Xl, X2)

(

r(t) =

B)

\ (2t)

r = * B

, t < V2

* no es siquiera
asociativa.

6(2t-l)
En el caso particular

, t > V2

Xi = XQ = X2.

C(X, X Q ) = C(X.Xo, X Q ) .

T-41

notaremos

En

Def.

C(X, Xo)

Dadas

es una operacin.

, 3 e C(X, x^, x, ) decimos que

son homotpicas (relativamente a

{O, 1} )

xiste una funcin

> X

remos

F :

Ixl

F : ecv^g) tal que

La relacin

"o B,;=:^<y

(con re. a

{O, 1})

3
si e-

(que nota-

F|Ix{o} =

F({0}xl) =Xo

F|lx{l} =

F({l}xl) =X,

son homtopicas

es una relacin de equivalen-

cia:

1)

eC(X,

X o , X i ) ,

F : I X I
(X. y)

='v,oc :

^> I
\

>

es tal que

F:

'^-a ,

(x)

comprobar fcilmente.

2) V . 3 e C(X, Xo, Xl) ,

Sea

F:

'v.B.

Entonces

c'\.3^=5? 3'^
G :

Ixl

(xjy) f ^ - ^

=^ X es t.q:
F(x,l-y)

G(x. 0) = F(x, 1) = 3(x)

G(0. y) = F(0,l-y) = Xo

G(x, 1) = F(x,0)

G{1, y) = F(l,l-y) = Xi

= (x)

T-42

Entonces

3)

G :

3 '^ .

Luego

-V'=. B, r e C(X,Xo,Xi) ,
Si

F:'\^3

y G :

3 '^

'v 3 y

3'^r,

B'^ r=> <^ ^

r:

entonces:
Debemos construir H.t.q

Sea H:

-^ I

Ixl
(x,y)

Entonces

- ^ \ F(x,2y)
G(x,2y-1)

H(0,y) = F(0.y)=G(0,y) = Xo
H(l,y) = F(l,y) = G(l,y) = Xi

Notacin: \j=^'J

Si O < y <

V2

Si V 2 < y < 1

H(x ,0) = F(x,0)=(x)

H(x, 1 )=G(x,l) = r(x)

= clase de homotopa

de

en

C(X,Xo Xi)
iT,( X . x o, X1) = C (X , X o, X1) /'v

La aplicacin

C(X ,Xo ,Xi )xC(X ,Xi ,X2 ) >C(X,Xo.X2)

induce la fcin TT (X ,Xo ,Xi )XIT(X ,Xi ,X2 ) >

(X,XoX2)

(en otras palabras, * preserva clases de equival.,

es decir,

a '\. oc'

T-43

3 'v. 3'

1 ^ * 3 = ' * 3'.

Sean
H:

F: x' ^ '
Ixl

G:

3 '^ 3 ' .

Entonces

> X

(t, s )

-> \ F ( 2 t , s )

SiO

l t < V 2

G ( 2 t - l , s ) Si V 2 < t <

Es claro que

es continua.

Ahora bien:

('F(2t,0)=(2t)
Si t < V2
H(t)=\
f=(cc*B)(t)
(G(2t-l,0) = 3(2t-l) Si t > V 2

'F(2t,l) =(2t)
=(-'*3')(t)

H(t,l):
G(2t-l,l)= 3' (2t-l)

H(0,s) = F(0,s) = Xo
H(l,s) = G{l,s) = X2

Luego

H:

Corolario.
Tfj ( X ,

oc-*3'^''*3

induce una operacin

Xo)

T-44

en

Lema:

Sea

(}): (I, O, 1)

cin.

-^

(I,

O, 1)

Entonces V''^ E C(X, x., , x, ) ,

una

reparametriza-

ec % oc(t, .

Dm,

Sea

F(t, s) = ((1 - s)t + S(!)(t)).

convexa.

Def;

Puede comprobarse que

H* = (I, O, 1)

F:

combinacin lineal
'\' ().

-> (I, O, 0)

se llama una pseu-

doreparametrizacin

^pseudoreparametr,

parametr.

Notacin.

Lema

En

7r,(X, x ) , e = "[cj^ "I

Y e C(X, X o ) ,

% i (y
Xo

cin)

T-45

con

^^ (t) = X,

pseudoreparametri za-

Dm.

F(t, s) = ((1 - s)0 + s^-t)) = -(s^'(t))

F(t, 0) = cc(o) = Xo
F(t, 1) = (H'(t)) = c4'(t)
F(o, s) = cc(O)

= Xo

F(l, s) = (0)

= Xo

Teorema:

Tri(X, Xo) es un grupo bajo la operacin inducida por

1)

Asociatividad.

-*-.

( -* 3) * r '\' * (3 * r ) :

^ (cc*3)/2t) . r ( 2 t - l )

^<x(2t)

(3*r)j2t-l) ^
3

(4t)

t < V"

B(4t-2)//2

( o c * 3 ) ( 2 t ) = ;)

<t<VH

3*r(2t-l) =,

3(4t-l)

t > V"*

'oc(4t)

, o<t<V'

r*'(2t) , n i t i V z

(=*3)*r(t) = )3(4t-l),V'.it<V2

*(3*r)(t)=\3(4t-2)V2<^t<V'.

r(2t-l)jV2<t<

T-46

r(4t-3)jV'

<tl 1

r(4t-3).V''<t<l

s-f 1
O t T
F(t,s) =

e s t a l que

si < t < s+2

4 - ^ - 4

3(4t-s-l)

, ( 4 t.||) l l < t < 1

2-s ^ s - 2 ^
4
V.

2)

F(t,0)

= (ce * B) * r

F(0,s)

= Xo

F(t,l)

= *(3 * r)

F(l,s)

= Xo

Luego

(oc *

e =re
e s:

3) * r

= *(3 *

r)

1 es el elemento n e u t r o de

c'^c ^* ^ e^
e

'\,oc,
"^

X
Xoo

TTI(X, X O ) ; e s t o

^^oc/va,

para

todo

Xo

e TTi ( X . X e ) .

(2t)
*e

O < t < V2

( 2 t ) , O < t 1 V2

^
Xo

V2I t <

T-47

(^ ( 1 ) / / 2 1 t <

Entonces

* e

({i'^'^

en donde

(f;

eslarr?-

Xo
parametrizacin ;

4)(t) = f 2t

O < t < V2

1 Va < t < 1

De manera anloga

* 'v oc,
Xo

3)

El e l e m e n t o inverso de

e C ( X , X o ) es 3: I
t \

es d e c i r ,

* 3 ' ^ e ^
Xo

^cc(2t)

t < Va

* X
i>(l-t);

3*'^e
Xo

r-(2t)

t < V;
Entonces

^*3(t)
3(2t-l)

t > V2

a*3 = <|) en donde

cc(2-2t)

V,

t > V2

4) es la pseudoreparametri zaci n:

2t

Si

O < t <

2-2t

Si

V2 < t <

V;

>(t)

Entonces, por el lema

* 3 '^ e

Anlogamente se tiene

3 * ce '\, e

T-48

Xo

Xo

Observacin:

Los s i g u i e n t e s

problemas

pueden

ser temas

de e s t u d i o :

ITl ( X , X o ) X TTi (X,Xo,Xi )

-^ Tfl (X,Xo ,Xi )

TTi (X,Xo ,Xi) X 7ri(X,Xi )

->

En un c o n t e x t o mas general

1)

TT 1 ( X , X o , X 1 )

q u e el ya e s t u d i a d o se t i e n e

o: ' ^ CC

Xo
2)

(r

* S )

-^

*(S

* <==)

iri(X,Xo.Xi)

(r

TTl ( X , X o , X l )

^>

He ah un p r o b l e m a

X iTi(X,Xi)

latino

0^ *

_1

con a u t o m o r f i s m o s in-

t e r i o r e s , as como con a c c i o n e s

tras del a l f a b e t o

Xo

,Xo))

relacionado

De ahora en a d e l a n t e u t i l i z a r e m o s

-> r

^-

TTl ( X , X i

> iTi(X,Xo)

s o b r e un g r u p o .

por lo general

las le-

para d e s i g n a r c a m i n o s y las le-

tras del a l f a b e t o g r i e g o para d e s i g n a r c l a s e s de homotopa de c a m i n o s .

T-49

Xi

Prop

Sea

un esp.

Sea

r = t g l e ITI(X, Xi, X Q ) .

isomorfismo de

r*

conexo por arcos y

iri(X, Xo)

: TTi(X,

a)

r*

Entonces

sobre

Xo)

lal =

Xo, Xi e X.

TTJX,

-- iTj(X,

est bien definido:

define un

Xi)

as:

Xi)

^ \^g*a*?] .

rg*a*g^lc TTI(X, Xi)

a '^ a'r=p- g*a*g" = g-<ta'*?.

y adems

ms an:

g 'x. g'-,^-^ ?*q^e..'\^ ?*g''x^?'*g ' ^-^ ?*g ' *?''^?'*g ' *?'-=:C^
g^ 'V g"' .

Entonces se tiene:

g '^ g'-=^> g*a*g" 'v g'*a*g'' .

(NOTA:

b)

r*

r*

solo depende de la clase

r).

es un homomorfismo:

r* (* 3) = \^g *a *b*g"J = [g* a*g'*g* b-*:gj

-.[g*a*g']*\_g*b*gj= r*()*r*(3).

(^*^[^P~-t*e,^*?l = [g*g>[e/])
T-50

_ 1

c)

.-_

-1

-1

Si definimos (r*) lbl=Yg*b*gj entonces

(r*) es in-

versa de r*:
1

(r*)

(r*()) = (r*)

_ ,

r _

([g*a*g J)=[ g*g*a*g*g| = [a] = ce

r*(r*" (3)) = r*([g*b*g])= ^g*g*b*g*i' J = \ h ] = 3

(NOTA:

todo lo anterior es posible gracias a las propie-

dades de la operacin "*" y en especial a su asociatividad).

Ejemplo:

( V T

e K') ( T T I ( 1 R \ T ) = 1 = ITI( ) R ' , 0 ) ) :

Si \;g]e TTiCi^', " ) F ( t , s ) = ( l - s ) g ( t )

que

F : g "^ e_ .

Por l o t a n t o

NOTA:

Si

es t a l

Entonces f g " ! = I e_']

^ i C f i ^ o) = ^ e j ] , = 1

r, TI e 'rri(X, X i , Xo) entonces se obtienen

dos isomorfismos
Cmo difieren

r*, n*: I T I ( X , X O )
r* y

^'fri (X ,Xi) .

x]* ? :

Sean r=[g], i= [^ h]] . Entonces, si

cc-^j(x, X o ) ,

\ ( n * ) " o r*j (cc)=(n*)" ^*a*g1=|_F*g*a*g*hJ

=1(F*g)*a*(F*g)" j

T_51

NTv'HRSLDAD NACIONAL
'^!^^f-'<'TECA CENTRAL

TTl

es un functor:

Sea

f: (X, Xo)

que

f(xo) = yo

f*

^ (Y, yo)
y definamos

Tri(X, X o )

f^

Tr(f) = fy, as:

Tri(Y, y o )

= [_ a3
Entonces

una fcin continua tal

'

1>- jfoal.

es un homomorfismo

(Por consiguiente

ir es un functor que enva espacios cone-

xos por arcos a grupos y funciones continuas a homomorfismos)

Xo)

TTl (X, X o )

(Y, yo)

TT,(Y, y o )

(X.

0/

a)

f^

est bien definido:

Veamos que

f*(*=)

Es claro que foaeC(Y, yo)

no depende de

a e l^al = ::

F : a,

a' -=3>
foF
fo^'V' ^ 0 ^ ' '
F(o,s) = F(l,s)=Xfl=s>foF(0,s) = foF(l, s) = f{xo) = yo
F(t.o)=a(t) r^-. fF(t, o) = f(a(t)) = foa(t)
F(t,l)=a'{t)

foF(t,l)

T-52

= f(a'(t))= foa'(t).

b)

f*

es un homomorfismo

Por definicin de

"*"

fo (a*b)= fo [ a(2t)
b(2t-l)

Si

t<V2

Si

t>V2

(foa)(2t)

Si

t<V2
(foa)*(fob)

(fob)(2t-l) Si

t>V2

Entonces:

f*( [.a3*[bl) = f*([a*b^) = f(a*b) = (foa) * (fob)

= (f*tal) * (f* [bl).

Para que

-rr sea un functor se debe cunplir adems

c)

(fog)* = f*Og*, es decir

d)

Id* = Id.

Es claro que

c)

d)

Pro pos icin:

T-53

(fog)oa = fo(goa)

se cumplen.

En conclusin, TT es un functor que enva espacios topolgicos y funciones continuas en grupos y homomorfismos .

Def;

Sean

f,g

fciones conts, de

Decimos que

f ,^ g

existe

Xx I

F :

F(x, o) = f(x)
(F

Def.

Sea

continua,

A _ X

Decimos que
mas an,

Ej;

Si

->Y

(f homotpica a
* Y

Sl

tal que

l]).

como en la anterior definicin

f ^' o (re. A)

si

f|A = g|A

F(a, t) = f(a) = g(a) Y*^^

A = <[),

g)

F(x, 1) = g(x)

I = [.o,

X -

^ VacA.

la segunda definicin se reduce a

la primera

ii:

X = I, A = {O, 1} es la homotopa de caminos

T-54

Lema.

Si

f'^g

f*=

g*:

(re

(xo))

entonces

TTl(X, X o )

>TTl(Y, f(Xo))

Como

f*(CaJ) y

g*(Ca])

son respectivamente

[foaj y goa] , lo que dice el lema es que

to es claro puesto que

fca-^-goa. Es-

F(xo, s) = f(xo) = g(xo) y enton-

ces :

H(t. s) = F(a(t). s) es tal que

H{o, s) = F(a(o), s) = F(xo, s) = f(xo) = yo
H(l, s) = F(a(l), s) = F(xo, s) =

= yo

H(t, o) = F(a(t). o) = f(a(t))

= foa(t)

H(t. 1) = F(a(t), 1) = g(a(t))

= goa(t)

El anterior problema se puede generalizar:

cuando

f '^ g

Qu sucede

(no necesariamente relativo a

cuando, como antes, f(xo) = g(xo) = yo ?

T-55

(xo)) y

Sea a(s) : I
S

Entonces
Adems
Luego

-> Y
i-

-? a(s) = F(xo, s)

es continua pues

a = F|{xo}x I

a(o) = F(xo, o) = f(xo) = yo= g(xo ) = F{xo, 1 )= o(l)

a e C(Y, yo)

y la relacin entre

viene dada ahora por conjugacin por

Si

f*y g*

a:

G(t,s) = F(a(t). s ) , entonces

G(t.o) = foa(t)
G(t,l) = goa(t)

G(o,s) = F(xo ,s) = a{s)

G(l,s) = F(xo,s) = a(s)

Podemos entonces obtener

T-5b

H : foa '^

a*goa*a

as

I ^-^ ^ 'y
^-

\e<\

H : foa 'X' a * goa-^o ,

es d e c i r ,

f*(cc) = f * ( | : a ] ) = [ f o a ] =
= a*goa*aJ =
= L ( J ] * g * [ a ] * [ F ] = [al*g*(c^)*f^a J

o, ms i n f o r m a l m e n t e ,

f*(^) = ag*(ce) F

Lo dicho puede precisarse m a s :

"< f^*cv*g^

^>

-^
g,>^0g'

J:
^ '
4.U
Aw

T-57

Identificaciones

X es el homeomorfismo

(x. y )

Si

|x|> |ylj O

Si

!x|< |y|

Za. y
w2
Vx''+

X(x,

y) =

(x, y)
Vx''2rr2y

Si

y Ip'

es
TT

X = y = O

f le < f

r(- -

Si

r( ^

Si
^1

ie<^

Si
^1

lei^

(re) =

re

r(30 - Tr)

_ , TT

Sl 4

<e< ^

Puesto que las partes contiguas del dominio se intersectan en cerrados y las restricciones son todas continuas y coinciden en las intersecciones, ^ '
tinua.

E x i s t e pues

Proposicin:

Sean

es con-

^i) = X ' ^ o i i * o \

Pi: XxY

T-58

>X y p2: XxY

-> Y

las proyecciones cannicas.

mo

Entonces el homomorfis-

Pi*xp2* : TTl (XxY, (xo ,yo))

^TTi(X,Xo )xiT2(Y,yo)

es un isomorfismo:

a)

Sean [^c^ c
( t a l , b] )

(X ,xo

(Y ,y o ) .

)XTTI

Entonces [^c~l =

donde faJcTTi (X ,Xo) y [ b ]

ETTI

lo tanto

[a'Jx [b] cTTi (XxY, ( x o , y o ) )

Pi*xp2*

(Ca]x[b3) = ( [ a ] , [b-]) = l e ]

Luego

b)

TTI

Pi*xp2*

p20de[eyo]};

Hl :

y se cumplo que

Pi*xp2*.

Entonces

piOdeTeXc]

esto es, existen homotopas

Piod '^. e^

Entonces

Por

es epiyectivo.

Sea [^d^ c Ncleo de

y

(Y ,y o ) .

Hi x Ha :

Ha :

P20d ^ ey^

^ X X Y

Ixl
(t.s)

es una homotopa entre

(Hi(t,s), H2(t,s))

e(xo, yo)

C7>.^)
(^.^^

('X^.'^:

T-59

; f.cj) c J

Retracci ones

Def.

Una retraccin r de X en AX es una fcin (cont.)

r :

Ej:

> A

t.q,

rlA =

Id

Si X es Hausdorff y existe una retraccin

r :

Id :

!> A,

entonces

> X

nes continuas de

Entonces

r :

es cerrado:

-> A^X

son funcio-

*- X.

{xeX|Id(x) = r(x)} = A

es cerrado

Proposicin

a)

Dos espacios homeomorfos tienen grupos isomorfos

X 9-Y 9>X ~

9>Y

Tri(X) f:!L^i(Y) _ 2 i ^ , ( X ) i^7ri(Y)

b)

Pero no es necesario que sean homeomorfos para tener

grupos isomorfos:

T-60

Si

r : X

-> A

es una retraccin y a e A,

entonces

c-l-^

'-

A ._iA_> X

TT,(A,a) -^^^TTi(X,a) -^^^TTi(A,a) - ^ - ^ T T I ( X )

Entonces (TTI es un functor)

i*or-*: = idTTi(A), r*oi-*- = idTri(X)
luego

i*esl-ly

r * e s sobre con lo que se

d el isomorfismo por inclusin.

Ejemplo:

El grupo del crculo es el mismo del plano complejo sin el cero:

Def;

Un retracto por deformacin es un sube.

t.q. J r

Ej:

AcX

*- A, retraccin, t.q. QV '\' i^

El crcuq es un retracto por deformacin del plano

complejo sin el cero.

-^^l-O}

'^ > S'

^^-{0}

Tf

T-61

La homotopa es

( l - t ) -|-|-j- + t z

'

^-

r*

i * = idTTi (S ' )

i*

r * = idTTi ( - { 0 } )

Teorema:

A)

Sea

El grupo fundamental

p '. JR

de

es

^> S

-> e "^^^ = cos .2Trt + isen2TTt

p es sobra y su restriccin a rn,n+l)

es 1 - 1

y sobre (neZ)
-

4-

t.t
- 1)

Tr,

r,4.1 ^

2-IT t _ ^ 2 - l T t '

e^n,n +l j ^ e
=

=e

=^ e

0==->t,t' e | ^ n , n + l ) / ^ t - t ' e
1

Sea a : I

-> S

a"

T-62

2Tri ( t - t '

(e
Z=>t =t'
1

un camino c e r r a d o aeC(S ,1)

En el s i g u i e n t e diagrama
miento de

2TT t '

se llama "un l e v a n t a -

a)

Si

Sean

existe, es nico:

a,

a'

levantamientos de

p(a(t) = p(a'(t)) -Vtel

a.

Entonces

(con a(0)=a'(0)=...=1)

T=^{a - a') (t) e i ^x> (por continuidad) a - a' es

costante

^^-^ _ '^. = O = (a - V ) (0)

b)

Existencia de un levantamiento:

Sean n = S'-{-l},v= S'-{1}. Entonces {n.v} es un

1

recubrimiento abierto de S .
_1

{a

Por lo tanto

_ 1

(n)> a

(v)}

es un recubrimiento de I que

(I es compacto) tiene un nmero de Lebesgue e.

Sea

Como
con

_\_
N

. _.
^

Entonces

(fO,-4-]) cn (a{0)=l)

p : ( -1/2 , 1/2)
p(0) = 1 ,

Vn

es homeomorf ismo

se t i e n e

(-1/2,

V
[o.

1/N]

it

P1

-^

1/2)

^ q

Hemos hecho un levantamiento local de

qoa(o) = q(a(o)) = q(l) = O

ahora. a( 1/N,2/N )cno

T-63

a([l/N,2/N] ) ^ v

Supongamos lo ltimo.
(n,n+l)

Entonces
donde se escoge tal que
Si qoa(l/N) > O, n=0

Si qoa(l/N) < O, n=-l

loa

es un levantamiento local de

a,

tal que

loa (1/N) = qoa (1/N)

qoa y loa
sobre

son funciones continuas definidas

ro,l/N] y sobre [l/N,2/Nj respectivamen-

te, y tales que

qoa (1/N) = loa (1/N).

Por lo

tanto existe una extensin continua

j : [o, 2/]

->

J^

De esta manera podemos seguir levantando intervalos hasta finalizar, en un proceso finito, con
el levantamiento global de

a.

Ntese que as como a (0) =0, a(l)E Z

o.
a(l) = 1 y p a = a

B)

Levantamiento de la homotopa

Sea

(descripcin)

una homotopa entre dos caninos

3, es decir,

F:

Ixl

T-64

?>S'

ya que

tal que

F(t,o) = cc(t)
F(t,l) = 3(t)
F(o,s) = F(l,s) = 1

Entonces tenemos

(IK, o)

-^-^ (s-, 1)

Ixl

Supongamos a ya levantado.

Entonces podemos

levantar

empezando por

Esto es lo que debemos obtener:

Ixo

(?, o)

Ixl

(S'. 1)

Otra representacin de lo que debemos obtener

^ " ^ f >

r-65

Tomemos el mismo recubrimiento ya utilizado:

1

{n,v} de S ,
si

_1

_ 1

Entonces {F~ (n),F~ (v)}>lxl

es un nmero de Lebesgue tomamos 1/N < c

Es c l a r o que
F(O,1/N]X[O,1/N]

)cn

'VA'

;]

yAzY/M

pues ( I O , 1 / N ] ) : n
Entonces tenemos el primer

1
levantamiento local:

1 .1

),o

r.
((-

[.o, -^x[0, -i]

) , o)=(n,l)

-> (n.l)

Como ya sabemos en cual de los abiertos ri o v

estn contenidas las mrgenes por

de cada

uno de los cuadrados de la primera fila de abajo (pues conocemos ce), entonces podemos levantar

sobre toda la primera fila.

Pero hecho

este levantamiento ya conocemos a donde levantan los bordes superiores de los cuadros de la
primera fila y con este conocimiento podemos levantar toda la segunda fila, . , . etc, hasta levantar todo

en un proceso finito.

T-66

Notse que ya obtenido

(1)4(1)

y en general

F(l,s) = (l) e Z
%

'X,

'V,
F(o,s)-'i(n)
=o

(0)=3(0)=0

C)

debernos tener

Est definida la fcin

TTl(SM)

-V Z
^

^(1)

Veamos que esta funcin es un isomorfismo

a)

Es un homomorfismo:
conocemos

Dados C^l y [3]

cc(i) y 3(1).

Queremos le-

vantar ahora a
ce*3:

^ S

I
t

^-(2t)

t < Va

^3(2t-l)

t > V2

El l e v a n t a m i e n t o l o c a l e n [ o , l / 2 | , es .
memos 3' el

levant, local

p3'=P3=>(v)

= 3(1) + C

3'(0)

+ C

3'(l)=<(l) + 3(l)

3'(l)-3'(0)=3(l)-3(0)

T-67

Entonces

p(3'-3) = l =>^'-3= C

=> 3'(1)

(1)

en L l / 2 , l J .

Lla-

Por lo tanto
ce*3(l) = ^-(1) + 3(1)
y

b)

es un homomorfismo

El homomorfismo
Sea neZ.

Es

es sobre:

Entonces cc(t ) = e'^^'"*

es tal

(1) = n

que

c)

1-1

Si Lcc3

i-

-> cc(i) = o, entonces e

se levanta cerrado y contractible a un

punto.
Entonces ce e [ij
Luego C^l = [l'i = [e:J =e

Hemos demostrado que:

TTi(s', 1) = Z.

Coro!ari o

El grupo fundamental de T - {0}

vimos

S'

es tambin

es un retracto por deformacin

T-68

pues como

e (^ - {0}

Mas lgebra antes del teorema de Van Kampfen

Recurdese la def. del producto libre

Def.

A * B

Dados 3 grupos y 2 homomorfismos

=./ xr
?.

A*

El "producto libre con igualadores"

P(oe, g) se de-

fine (cuando exista) como un grupo tal que

b)

Si

es cualquier grupo y

morfismos tales que

un nico homomorfismo
hi = f

hj = g :

T-69

son homo-

fce = g3, entonces existe

h

t.q.

(Notacin:
escribe

El

subgrupo

normal generado
f i _i
{Trgisa ga } )

S^ = H N
scN-flG

por

S c G

se

Proposicn:

Veamos que

A * B

P(ce,3)

{i(c).J3(c)-'|ceC}^^

(comentarios:
A*B

La idea es aprovechar el producto libre

para que

hereden sus propiedades.

Como debemos sujetarnos a la restriccin

zamos a que

* ^

i == = j 3, for-

i "K c). (j 3(c ))" e Te] se cumpla V c e C ,

al hacer esto en el grupo

C,

pero

y si no se quiere daar su

estructura, hay que "matar" junto con

icc(c) (J3(c))"

todas sus potencias y conjugados y productos de conjugados)

T-70

dm:

Supongamos que

es cualquier grupo tal que

C

Se tiene entonces:
a)

ia = cej

(claramente).

b)

definamos

b-1)

f = h'i' = hpi' = hi

por

h' = h^p.

Entonces:

g = h'j' = hpj' = hj
b-2)

es nica por serlo

hp = h'

De lo cual resulta la proposicin.

Teorema de Van Kampen

Sea

X=nl/v

con

n.v

conexos por a r c o s .

abts,

nf\v f i^ y

Consideremos

T-71

n. v

nftV

rt, (.^Av,-'O

R-. C ^ , M 7

Entonces

P(,/j)

es el grupo fundamental

de

(X,a)

Hay que demostrar que;

TTi('^, a ) * Tri(v,a)

TTl ( n u v , a )
{i(c)

. (J3(e))"

A*B

I CGTTi ('inv,a ) }

I
I
V

rt. ("iuv , o

Como sabemos, e x i s t e un nico homomorfismo

Veamos que dicho homomorfismo es s o b r e :

T-72

Sea

r - C('>j^i/v, a ) . Veamos que

r'\' i*3i*

j CC i e C (n I a )

*"n*^n

i = 1, . . . , n

3i e C(v ,a )

-1
-^ nuv es cont. Entonces r ( n ) . r~ (v) es
un recubto abto. de I compacto que tiene un nmero de

Lebesgue

e > 0.

Sea

1/N < e.

Entonces

r(0)=ae nnv

?+1

Si

r(l/N), ,,, , r(i/N) e nn^

mos los arcos para obtener

bien,
ro.

r(;p)e
Si

r([0, i/Nj) c nftv,

n-v '(r") e v-n-

los pts, terminales en

rlT, =Tr=-J

$eiin

...

, r ( ^ ) .

02=

n-1

"

r ( ^ ^ ) i n-v

^TJy lkll] c n

la e y e r i t u r a
r ( l ) e nnv

estn alternativamente

O l - camino en

Ahora

con

nnv ... etc.

Es Vellido pues s i m p l i f i c a r
r(l/N),

conecte-

Supongamos lo prime-

r ( ^ ) . . . . . r(li^) e n-v

entonces conectemos para obtener

r(0),

r(-|;|-)^ nnv,

v\(\\/

en

suponiendo que
y que

n o en

de

r(0)

a r(l/N)

de

r(0)

a r(/N)

de r ( 0 )

T-73

r ( ^ )

v.

Sean

ce j

r 1 [^0, 1/N]*ai

camino cerrado en

3i

ai*r I

1/N. 2/N *a2

^2

a2*r I

2/N, 3/N *a3

32

a3*r I

3/N, 4/N *0.,,

"

"

"

n
v

etc.

Entonces

r 'v. ^ .^ g j

^ ccj *

32*

...

* "'p *

3^

Por lo tanto el homomorfismo es sobre.

Resta solamente constatar que su ncleo es precisamente
{i -(c) (J3(c))"'

Ej :

|c ui(nnv, a)}^*^

El grupo fundamental de la lemniscata

c^

c>0
Uov

es reductible a un pto.

Entonces

fYl

Luego

TTi(nvv) = TTi(n) * Tri(v) =

TTi(nAv) = 1
Z * Z.

Ej:

El plano proyectivo

se llama plano proyectivo al conjunto de todas las

rectas en

que pasan por

0.

Un modelo del plano proyectivo se obtiene por iden2

tificacin de pto. antpodales de la espera S

o,
lo que es lo mismo, por identificacin de puntos

T-74

antipodales de los bordes de un disco.

"borde"

Una vecindad del

(una vez hechas las identificaciones)

mo una cinta de Mobius,

se ve co-

Por eso es que tambin se obtie-

ne el plano proyectivo al pegar un disco al borde de una

cinta de Mobius.

Esto no puede hacerse en

R .

Sinembargo, una represen-

tacin del plano proyectivo (con autointersecciones) se

logra as:

Grupo fundamental del plano proyectivo:

2

Sean

n = P - {a}

(a c P )

V = D ? a = disco abto. que contiene a a^

Entonces {fj v
Sea

es un disco abto. sin un pto.

f : (S'. 1)
Z -

^> (S'. 1)

tfica los ptos. antipodales de S'.

f* : Z m

Y-

la funcin que iden-

*> 2m

T-75

Entonces

\TL = Tr,(S ))

Tenemos:

0 sea

SV
'z^\

:='

7
Ahora bien:

n{\v = D - {a}

Pero

V i-

hace

D - {0}=^ R

Es claro que
guiente

-^ f(Iv'l) v" .

- {0}.

Luego

donde

TT X

TTi('>inv, a) = Z

es contractible a un punto y por consi

TTI (v) = 1.

Demostremos ahora que

contiene un crculo como retrac-

to por deformacin y por consiguiente

En primer lugar veamos que
(D m

f(x) = tan

TTi(n) = Z :

D - {a} - S'xQl, >)

disco) :

T-76

z^^

El homeomorf i smo es v"

en donde de nuevo

{ 7 , f(l - |v|))

TTX
f(x) = tan ^

Ahora bien:
TTi(S'X [ O , co)) c Tri(s') X TTidO, co)) = 2

I Recurdese que bajo las hiptesis usuales se tiene

TTi(X X Y, (Xo, yo)) = TTl(X, Xo) X TT i (Y, yo)J
2

De lo dicho se concluye que

TTI(P

- {a}) = Z,

ya que

al identificar puntos antipodales de una circunferencia

se obtiene una circunferencia y lo mismo se cumple para
un cilindro:

-^

-=>>

Entonces, finalmente, por el teorema de

Z. * 1
TTiP

{3

= 1)

21

Nota ilustrativa

T-77

V.K. ,

Tri(nftv) = Z

TTl(v) = 1

Ejemplo:
se t i e n e

El e j e m p l o a n t e r i o r
f :

( S ' , 1)

entonces

f*

Si se e s c o g e n
antes

se p u e d e g e n e r a l i z a r :

xn

abiertos

-^

H>
Z
y

(S', 1 ) ,

(multi p l , por
v

n)

de la m i s m a m a n e r a

se o b t i e n e :
TT 1 (n) =

TTl (n(\v)

:TTi (n) = 1

T-78

Si

Z^

que

De tal manera que en el caso general se obtiene

TTl ( n n v )

= TTiX

3
n

n
2
{ 3 = 1 }

n Z

Corolario del ltimo ejemplo:

Todo grupo abeliano finitamente generado es el grupo fundamental de un espacio topolgico:

Sea

un grupo abeliano finitamente generado.

Entonces,

por el teorema fundamental de los grupos abelianos finitamente generados

A = Zf 1 &

Por lo tanto, si

X = S'x

_^_@

.jo^

Ze J

xS'Xn x . . . x X
1

TTiX

Q . . . I

n^

= A.

Observacin:

no es una superficie si

n > 2 :

Puede verse que ddemostracin se reduce a probar que una

"mariposa de

alas" no es homeomorfa a un disco.

cierto en general que una mariposa de

meomorfa a otra de

alas,

n ^ m :

Descripcin de la demostracin:

T-79

Es

alas no es ho-

La demostracin se basa en que si existiera un homeomorfismo

h :

h :

Hn

i- Mm ,

entonces

-^ Mm -^h(*)j

Mn - -j '^

tambin sera un

homeomorfismo para cualquier escogencia de

* ,

Por disjuncin de casos:

1)

Si

est en la interseccin de las alas y

tambin est en la interseccin,

Mm - {*}

(puede pensarse que el "hueco"

(respectivamente por

hasta los bordes).

h(*))

cha deformacin, los grupos fundamentales de

f(Mm)

se ampla

Si adems se contraen los ejes a

sendos puntos obtendramos que, si llamamos

pueden deformarse para obtener sendas "ma-

riposas de alambre"
dejado por

Mn - {*}

h(*)

a dif(Mn)

deberan ser isomorfos

M (*")
T-80

Pero deichos grupos son los grupos libres en

y

m - 1

generadores respectivamente, los cuales no

son isomorfos a no ser que

2)

Si

m = n

est en la interseccin pero

t, al establecer la deformacin
Mm -

n-1

{h(*)}

h(*)

no lo es

sobre

obtendramos:

O
Puxi-f p

y deberamos tener que el grupo libre en

neradores es isomorfo a

3)

Si ni

*.

ni

h(*)

/.

Contradiccin si

gen > 2

estn en la interseccin, se

llega a una conclusin

Ejemplo:

Z.

n-1

similar.

El grupo fundamental

del toro.

Sfc^**

T- \<K\ ^

a.=q.

r
En este caso tenemos

Tri(v) = 1,

T-81

Tri(nftv) = 2

Veamos cual gruo es

TTi(n)

->
y

->.

Luego

Tri(n) = Z3* Zj,

Obtengamos ahora

-f

Z^

ZD*Z

deformando

dentro de n :

T'

^(D

^ %

Vemos que

ce f-

-> 3r3' r"

Tenemos pues:
Z p ^ Z p = TTI(TI)

Tri(<\nv) =

1 = ,,("'

T-82

Zp*Z r
Entonces

TTIT

A*B

es d e c i r , TTI T

{3r = r3}
es el grupo generado por
r

conmutan.

y t a l que

es pues el grupo a b e l i a n o en dos

TTIT

generadores, esto es,

TTIT

= Z + Z

Otro t i p o de Ejemplos:
2

Ejemplo:

^ R

ya que si

= R

se tendra

R - {0} = R

- {0}

y en consecuencia

Ul
S'
Tr,S' = Z- .= 1 = TTiS

_2

Ejemplo:

No existe retraccin alguna

r: D

=>S'

Si la hubiera tendramos

-*- D

* S'

y en consecuencia

id
r* Tr,(S',l) = Z
Z = Tri(SM) ' ^ ^ J D ,1) = 1 -^*
>

id*
Pero si

^ o

T-8 3

es un generador de

Z,

incl* (ce) = 1

id*

contradiccin.

(oc) = o,

r*(l) = 0.

Luego

Teorema

Toda fcin. cont.

(D cerrado)

dm.

f :

^ D

tiene un pto, fijo

Si f no tiene ningn pto, fijo la fcin

r(x) = f(x)+t(x-f(x)) donde t(x, y)>l
|r(x)I = 1, es una retraccin de
(ya que si

Ejemplo:

x S',

No existe

r(x) = x ) .

en

S'

contradiccin.

- ^ S'

f: S

es tal oue

que preserve

puntos antipodales.
Supongamos que existe.

Consideremos el siquiente diagra-

ma:
2

S
Identificacin >
de pts. antipo=
dales

g_

..2

Por

^S'
P -* Identi ficacin
de ptos. antipodales
Y
S'

preservar pts. antipodales,

est bien defin

da y el diagrama conmuta.

Pero

g*

tiene que ser trivial pues el generador (|>(ce)

de

TTiP

es de o r d e n

y el

T-84

nico

elemento

de

orden

de

TTi(S') = Z

De otro lado
cir

es un semimeridiano de S )
S',

es de-

Pero esto es una contradiccin.

(consecuencia del precedente)

^>

(ce

es un camino cerrado de

p*fce = 1 e TTiS'.

Ejemplo:

Si

pf

es 0^

4(-x) = - ^ { x )

es tal que

para

todo

Si

entonces ^ x

X,

z S ,

<l)(x) ^ O para todo

una fcion. de

(j)(x) = O

entonces

-> S'

i^(x) = i /^<

es

que preserva pts. antipoda-

les.

Ejemplo:

(consecuencia del precedente)

Si

f :

La fcin.

-> R ,

entonces

<{>(x) = f(x) - f(-x)

^xeS ,

f(x) = f(-x)

es tal que

Entonces ^ x . <{>(x) = f(x) - f(-x) = o,

^(-x) = -<t>{x)

es decir,

3 X. f(x) = f(-x)

Corolario:

No existe biyeccin continua de

2

T-8 5

sobre

Revestimientos

Def.

Sea
p

p:

-V X

(E, X conexos por arcos.

continua).

Se dice que
si dado

xeX

( E)

es un revestimiento de X

existe un abto. n

tal que

xe^X

Def;

P" (n)

p|nce

de

Ej:

A un tal

es un homeomorf i smo.

lo llamaremos

"una vecindad especial

X.

R
X

-^> S*

es un revestimiento de S'

TTix

t-

-*- e
aeS'.-d^ en = S'--l)

aev = S' - l)

"(n)
(V-- i2 + K,i
v;./ =
- ^
- ' 2 + K) y { 4 + K. i + K)= n
2 -, 2

keZ

p " \ v ) = *^ (k. K + 1)
keZ
E j:

r]<^

es una unin ajena de abiertos

S'
X

^
-H

'> S'
,n
-^ X

es un revestimiento de

Con la misma escogencia de

1
po

1. p

k + 1) =^ V

k.

n-1
Ti=^ {e

k=0

T-86

- < X <

"

"

S'

del ejem-

Anlogamente para

Ej :

-> P

(v)

(p identifica pts, antipoda-

les) es un revestimiento del plano proyectivo

-fe*

Ej :

-*- X-j

es un revestimiento pa-

Si Pi

Ei

ra todo

i = 1. ... , n,

p X ... xpn :

entonces

E x ... xEn

XiX ,,. xXn

'

es un recbto.

dm,

Sean

pi :

Ei

Xl ,

revestimientos de

X2

p:

Ei y E2 respectivamente.

Sea

X = (xi.x2) e x = Xix X2.

ten

ni abto. de

Xl erii y

X2en2

Xi y

n2

Entonces exis-

abto. de X2

t.q.

P7 ni=Unieo (n

abts. de Ei)

homeomorfismo .

T-R7

Pi!ni=^

con

Anlogamente para

Sea

n = nixn2.

xen

y adems, si

_1

a)

Entonces

_1

(n) = P

nz-

es abto. de

p = Pxpz

tenemos

(nixn2) = (p

= ^Tii^ X n23.

X,

(ni))x(p

Es decir,

(na) ) = (b'ni=)x{t/n23)
3
p~ (n)

es la

~i 3

unin, claramente ajena, de abts. de

b)

P|nixn2oo

nloo X n23

Pa :

nz3

-> E:

-p(x)).

Consecuencia del ejemplo precedente:

RxR

> S'xS'

toro por el ejemplo

6

El

^x*fc.Xi^-Xi;^X2n-*X2^Pi(xi^)-^ Pi(xi);\P2(xzj^)

pxp :

Ej:

es un

m''

P2(X2)<^>p(Xj^)

^ EixEa = E

homeomorf ismo por serlo Pi :

(x^

Ej:

E=EjXE2.

1.

> S( xS. es un revestimiento del to-

S,xS.
(z.w)

es un recbto. del

-> (z",w'")

T-B8

ro por el ejemplo

2.

Ej:

iRxS'

-*- S'xS'

es un revestimiento del

(t,z)

>- (e ^^ ,z")

toro por los ejemplos

1

2.

Ej:

Un revestimiento de la lemniscata

Ej:

Otro revestimiento de la lemniscata

NOTAS

1)

La imagen inversa de un pto.

timiento

p :

discreto de
2)

>- X

eX

-2. 3

por un reves-

es un subespacio

Todo homeomorfismo local es un revestimiento.

T-89

'-

3)

Pero nc todo revestimiento es un homeomorfis

mo local :

-ni t
(0.2)

-> S

NL

es un revestimiento, pero no existe vecindad

1

de 1 e S
morf ica.

cuya imagen inversa le sea homeo-

Levantamiento de caminos

Dado un revestimiento de (X,Xo) y un camino

:

(I, o)

> (X, X o ) , existe un nico camino

(I, o)

>

(E, e)

(donde

p(eo) = Xu) tal que

o.
P oe

Dm,

Cada punto

x eX tiene una vecindad especial.

un recubrimiento de

Sea n)

formado por vecindades especia1

_i

les.

Entonces

{ce

(n)}

es un recbto. de

un nmero de Lebesgue de este ltimo recbto.

T-90

I.

Sea |T

Establez-

Y
{-q-'

camos la particin
Entonces
n. Sea

K-f 1
- ^ r ^ ) K = o , ., , N - 1

1 ~i

1) "^(fo, TJ-J )cn

no

d e I.

para alguna vecindad especial

la componente conexa de la preimagen de

que contiene a

eo

(no

est bien determinada pues

_ 1

p"

( X Q ) es discreto), entonces

tp'-ii

Sea

ocj

(p iq-3
1

la fcin.
*^ no

(pjno)

o(ce|\jo, ^ 3 )

cuya proyeccin por

es un levantamiento local de

Consideremos ahora I TT ,

TTU

(un camino de
p

es

ce.

Sea

una vecindad es-

pecial que contenga

"([^ ' ^J)

y cada componente conexa

( " ( Tj- ) e nAv)

T-91

cc[^o, |;J-])

Entonces

corta a

de la preimagen de
preimagen de

v.

n
Sea

corta a cada comp. conexa de la

Vo

la componente conexa de

_i

p~ (v)

que corta a

no.

(vo est bien determinada pues

es la nica que comparte con

Sea

2 la funcin

'' V f
oc(r^

el punto

(p|vo)" o (<=^|'[-N'
^^7^ N
1^3^
Vo

, M"])'

no

cuya proyeccin por

"I(-M).

^"" camino
p

es

"2 es pues otro levantamiento local de

oe que, por un lema anterior, se extiende (conjuntamente

con

ocj)

a un levantamiento local de

ce en [^ o, TTJ.

Continuando de esta manera obtenemos un levantamiento

global

: de

oc

en

pasos.

T-92

Veamos ahora que dicho levantamiento es nico:

Supongamos que

= y

que empiezan en

ce

OQ

son dos levantamientos de ce

Entonces -.

O e {t eCo, jT^I (t) = a (t) } ^ (}) es un conjunto cerrado (por continuidad de

abierto:

Sea

y oc

).

Pero tambin es

un pto. de dicho conjunto.

p =(S) = ce(s) = p oc ( S ) .
existen vecindades

Por ser

de

=(s)

p
y

un revestimiento

No

de ^ (s) = V s )

homeomorfas.

Entonces por la inyectividad de

(t) = ccVt)

en

'C
VC
/

oci

No.

coinciden en

es una vecindad abta.

en cuestin.

Pero siendo

Como

oe y

No
de

son continuas y

(abto), entonces
s

p|No.

a"i(No)

contenida en el conjunto

Luego dicho conjunto es abto.

Po, 77"] conexo, los nicos subconjuntos

abts. y cerrados son

coinciden en todo

*** y

f o , vrl.

Entonces

ce

To, r r l .

Por lo tanto el levantamiento

NOTA:

Entonces

oc es nico,

Un camino cerrado no necesariamente levanta en

un camino cerrado.

T-93

Levantamiento de homotopas

Dado el siguiente diagrama

(E, Co)

V
->(^,^)

Ixl

en donde

es un revestimiento de

una homotopa entre los caminos cerrados

F :
= y

ce % 3
3,

en-

'V/

tonces existe una (nica) homotopa

o.
PoF = F.

F : ^ce % 3 tal que

Dm.
Supongamos levantada

oc y

sean

Tenemos entonces:

IxO

ce

(E.eo)

Ixl

(X.xo)

T-94

e^ = a(o), ej = (1)

o v i s t o de o t r a manera

_^ -^ *
X

Sea

e.

{r\ } un recubrimiento abto. de X formado por ve_ 1

cindades especiales.

Entonces

(F

(n,,)) es un recubto.

abto, de Ixl (compacto). Sea

un nmero de Lebes\r2N

gue para dicho recubto.

Establezcamos la particin

^[fv T-] 4 ^ ' "^l 1 K. 1 = 0. .. , N - 1 } de Ixl.

'^ I_ F I ' ^ L ^ ' ]T1^^'^
que contiene a

Xo y

para alguna vecindad especial

a ^=^([0, TT])-

conexa de p
ces

'VI

(n) que contiene

no contiene

""

Sea no la parte
r

eo y *^([0, M-j) Enton-

p"o F { { j i y -JT] X [^0, j A ) '

V^

T-95

Hemos levantado

localmente en

Si de la misma manera levantamos

la extensin continua de estos:
da un levantamiento local de

l o , -rrl x \ o , yr I.
F

en I -pj-, TTJ x l o , -rrl,

dos levantamientos nos

T o , -J x jo, r r l ...

nalmente tendremos el levantamiento local de

y fi-

I x j o , TT

I
I
\

De igual manera levantamos ahora las dems hileras hasta

'V

obtener el levantamiento global

en un nmero finito

de pasos.
La unicidad de tal levantamiento se fundamenta en las
mismas razones que prueban la unicidad del
de caminos.

T-96

levantamiento

Teorema.

Si

p :

- ^ (X, Xo)

(E, eo)

timiento de

(X, Xo)

p* TTi{E, eo)
(Por lo tanto

Sea

Dm,

entonces

^ fTi(X, Xo)

eo) =

TTI(E,

P*(TTI(E,

(E, eo)

(I, o, 1)

Pja 'v e.

P*L]= 1-

TTI(E,

r =

Adems

es nico.

1-1

un camino
eo).

Fsto quiere decir que 3 F :

(en X ) . Por lo tanto existe

Ahora bien :

es

eo))CTTi(X, Xo) !)

cerrado que representa a L "% J ^

Supongamos

es un revs

pues

Por = Po^

o = e^

Pues

F : r 'v oen E

y el levantamiento
p (F( Ixl) ) = Xo = p(eo).

co

luego

F{I x 1) = eo = a(t).

yt3

= 1 es decir,

Ej

IR

es

[J

-V e'^^**

t -

Ej: 2:

p*

,,

Cl

>

Z"

1*. * z
K

Entonces

^n K

T-97

F :

1 - 1.

1 C Z

oc v e^o.

Ej:

libre en un nmero contable de generadores

/^
^libre en dos generadores

(E, eo) =

F(ocJ

^-

^-^ F(oc, a) = ^,(X, Xo)

-^

(^

2 \

> B'ocg^

'^V-V^

."*.

^^^''^^yf'^^''^
Ej;

Sea

p :

-*- X

un revestimiento
_i

Entonces, si

Sea

Xp, Xi

^^>

r(I. o, i)

Definamos

X,

eard p' (xp)^card p

(xi):

(x. xo, xi),

p" (xo)

p" V x i )

as :

Sea

fieeP ( X Q ) .
Dado

(un levantamiento, nicol, de

r(o) . eo .

f(eo)

^ f

T-98

^(jj^

r ) , con

Dicha funcin

e<,

ya que, si

tiene una inversa definida por

es fijo,

lo que quiere decir que

Ej

Si

p :

ro r es nul homotpi co,

-> X

es un revestimiento de X

_ 1

A C X. (con lo que

(A)

es la unin ajena

de sus componentes conexas), entonces

_i

-1

p I p (A) : p
miento de A.

Sea

a e A.

en

X.

(A)

Sea

Entonces

^ A

una vecindad especial de a

n(\A

es una vecindad especial de

_ 1

en

A ya que p

es un revesti-

-1

(nnA) = p

-1

(n)AP

-*

(A)=(t/n)nP

C^)

_ 1

es una unin ajena de abts. de

_i

te

p I ntcOP

/\

p" (A)

y obviamen-

-^

(A) : n^f^P

^^^

'^^^

^^ ""^

homeomorfismo.

Prop

Sea

conexo por arcos y

Sea

p :

que

p I p

Si

Tri(A, a)

=> X

A c X,

conexo por arcos

un revestimiento de

X. (Sabemos

_ 1

(A)

es un revestimiento de

-^ Tii(X, A)

T-99

A)

es sobre, entonces

(A)

es conexo por arcos:

P"VA)

dm.

Sean

a, b e p" ( A ) .

Sea

tonces

p ( a ) , p(b) e A.

un camino
(en A) entre p(a) y p ( b ) .
v
-
r es un camino
(en p (A)) entre

Entonces

Ena

bi ,

donde

(es decir,

b y b

estn sobre la misma

fibra

p(b^) = p ( b ) ) .

Ahora bien : b y b son extremos de algn camino a en E. p a es un camino cerrado

(en X )
1

que conecta
Sea

p(b )

con

p(b).

un camino cerrado en

y homotpico a
Entonces

pa.

basado en

p(b)

(Existe por h i p t e s i s ) .

es un camino que une

est contenido en
camino (en

Luego paCTTi(X,b)

p~ ( A ) .

Entonces

(A)) que une a con b.

es conexo por arcos.

100

con

r * oc

es un

Luego

(A)

Prop.

> X

Sea

p :

Sea

f :

(Y, yg)

5> (x, X Q ) .

levanta a algn

si

un revestimiento de

Entonces

(y por lo tanto nico)

f,

f*TTi(Y, yp) c P * T T ( E .

OQ)

solamente si

Ejemplo:

S'

TTX(S')

p*
i/

S'

\-

->

f*

Z = TT,(S')
n

Ejemplo:

2n

S'

->

TTi(S')

-* 3n

V-

no levanta porque

{3n} ^ {n}

Para el mismo revestimiento

f :

TTi(S' ) = Z

S'

S'

anterior.

levanta:
Un levantamiento es

T~101

-N^XRSIDAD NACJON.\L
HmuOTECA CENTRAL

Proposicin:

Dado cualquier grupo

topolgico del cual

existe un espacio

es el grupo fundamental.

Antes de presentar una descripcin de la demostracin es

necesario recordar algunas c o s a s :

a)

Generadores normales de un grupo

Mientras que el subgrupo de
es

{( ) , (12)} .

(12)
de

So

generado por

el subgrupo normal generado por

es el ms pequeo de los subgrupos

S3

que contiene a

Como grupo,

S3

(12),

esto e s ,

est generado por

normales
<((12)^ = S3

{ ( 1 2 ) , (123)} ,

pero como subgrupo normal de s m i s m o ,

nerado por

(12)

S3

est ge-

(12).

El subgrupo normal de

generado por

{r}

es

si todo elemento

r c N

tiene la forma

B^i ^ ' T S ' ^" h ^ ^'

b)

Presentacin de un grupo
Dado cualquier grupo
po libre

Sea

{gQ.)

p :

existen

si se quiere)

T-102

gru-

un epimorfismo:

un conjunto de generadores de

tomarse todo

p,

(puede

Sea

F el grupo libre en las letras X^^

Entonces

p : F
X

> G

g
^<x

oc

Sea

define un epimorfismo

N el ncleo de p. Entonces la sucesin

> N :

> F

*- 1

^ G

es una sucesin exacta.

Sea

Def.

{r^} un conjunto de aeneradores normales de N

p

Se dice que
^3> =

<

Ej:

tiene la presentacin

F/N

tiene un generador; el gpo.

libre en un gene-

rador es Z,
O

-*- Z

^ N

-> z2

-* o

{F. T)

N = elementos pares.
Ahora, si usamos la notacin multiplicativa.
{xS
Entonces

N
Z

tiene la representacin: <^X | X

T-103

Ej:

El anterior ejemplo se puede generalizar.

2^ = <X j X " > pues

Ej:
Def.

^XecH ySi

2^ = Tx/{X"}

es el grupo libre en las letras

X^

tiene la representacin <^ X^^ | ^ o ^ y

X,^ se llaman generador y los

rg

las

se llaman rela-

ciones.

NOTA:

Estos temas se estudian en la llamada "teora combinatoria de grupos"

Ej:

2 X Z
Sea

tiene dos generadores :

F

X -

*- (1. o) y

los elementos de

.bi

(o. 1)

el grupo libre en dos generadores

y <

* (o, 1). Entonces

-5-1*2

v3'

(1. o)

32 b ,

-t- 1
son de la forma
v*m

X ^y ^ ...

bn

IJ

1^

, enddonde

.,

k' "k
a^, b

pueden tomar el valor cero.

El nicleo de p es
N = {X*' y^' . . . X" y''" 1 ^ai = Jbi = 0}
Puede demostrarse que

N.

T-104

como subgrupo normal

est generado por x. y^

Entonces

Ej:

donde

[x, y ] =XyX"'y'

2 x Z =<\X, y | (^ x y"] S

X 2:3 =<X.y I [x,y], x S y 3 >

Ahora podemos describir la demostracin de la proposicin;

De la parte

b)

se concluye que dado

una presentacin,

G. gpo,

tiene

G = <rx^ | r_V

-^-> G

<". l'-e) = f/"

El espacio topolgico

del cual

es el grupo funda-

mental se construye as:

1)

Por cada

X^

se toma un crculo

SJ^ y se toma la

reunin ajena de dichos crculos U S '

2)

Se identifican todos los puntos

T-105

1oc e Soc

-^

\N

S'

^ yg,
1 = 1

Obtenemos as
generadores

3)

Cada

=>

r-

fg e ^ X ^

PB

Tri(VS^ ) = < X^ I )> "

grupo libre en los

, OO

-^

^ * ^

es "una palabra en las letras

I^.

Ahora, por cada

, -

X^"

Tenemos entonces

-^ V s ;

con

\_pg-] = rg

r. , camino cerrado con base en el

p
2

pto. 1, pego un disco

D.
p

T-106

identificando su borde con

Hecho lo anterior se tiene un espacio topolgico

VS^ L| u D g

cuyo grupo fundamental no slo es

sino que tiene la presentacin

E j:

Zx

Z'= {x, y

| [x, y~J }

tal del toro:

C-xol \

T-107

G.

es el grupo fundamen-