Lazos Izquierdos Topologicos

Hugo Roldan Hernandez 2 de julio de 2012

ndice
1. Introduccion

1.1. 1.2. 1.3. 1.4.

Denicion 1.1.Denicion 1.2.Proposicion 1.Proposicion 2.-

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

3 3 3 4

2. Lazos Topologicos Izquierdos y H-Espacios

2.1. 2.2. 2.3. 2.4. 2.5. 2.6.

Proposicion 3.Proposicion 4.Proposicion 5.Corolario 1.- . Corolario 2.- . Proposicion 6.-

5 5 6 6 6 6

3. Lazos topologicos Izquierdos y Conjuntos de Puntos Fijos

3.1. Proposicion 7.- . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.2. Proposicion 8.- . . . . . . . . . . . . . . . . . . . . . . . . . . . .

8 8

4. Lazos Izquierdos Compactos Topologicos

4.1. 4.2. 4.3. 4.4. 4.5. 4.6.

Proposicion 9.- . Corolario 3.- . . Proposicion 10.Proposicion 11.Teorema 1.- . . Conjetura: . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

9 10 10 11 11 12
13

5. Referencias

1.

Introduccion

Consideremos que las funciones a tratar son funciones continuas, entonces se denira lazo izquierdo como:
1.1.

Denicion 1.1.-

Un lazo izquierdo es un conjunto X con una multiplicacion (x, y) xy y una identidad e por la derecha (i.e., xe = x para toda x X ) tal que para todo a,b X la ecuacion ax = b solo tiene solucion para x.
(x, y) x tal que las identidades, x( x ) = y y y y x,y X .

Usando esta denicion se puede denir una identidad binaria secundaria x xy = y se mantienen para toda

es llamado el grupo L(X) de las traslaciones izquierdas de X.

Para a X , sea La : X X la traslacion izquierda de x ax por a. Entonces La es biyectiva, y como a(L1 b)= La (L1 b) = b,el elemento L1 b es el unico a a a elemento x para cada ax = b. Por lo que L1 b = a . El grupo La : a X a b generado por todas las La , a X que actua transitivamente en X en la izquierda;

Si Ra denota la traslacion derecha de x xa por a,entonces a = Rx a = ax signica que x es el unico elemento que satisface ax = a; sin embargo, e satisface ae = a y por lo tanto x = e por singularidad. Asi que, Re es la unica traslacion derecha entre Ra y un punto jo. Se puede generalizar el concepto de lazo topologico de la siguiente manera:
1.2.

Denicion 1.2.-

Un lazo izquierdo topologico es un espacio topologico X que tiene un conjunto subyacente y es tal que las operaciones binarias (x,y) xy y (x,y) x y son asignaciones de X X en X. Decimos que un espacio X es homogeneo si para cada a,b X hay un autohomeomorsmo de X tal que h(a) = b. De lo anterior se desprenden las siguientes observaciones:
1.3.

Proposicion 1.-

En un lazo izquierdo topologico X el grupo L(X) actua como un grupo transitivo de homeomorsmos, y X es un espacio homogeneo. 3

Por otra parte, para cada a = e la traslacion derecha Ra es un automapeo de X sin un punto jo.

1.4.

Proposicion 2.-

X 2 X, q: X 2 X, tal que para cada x,y X y alguna e X tienen las

Un espacio topologico X es recticable si y solo si hay dos asignaciones p:

siguientes identidades:

p(x,q(x,y)) = q(x,p(x,y)) = y, q(x,x) = e Si se escribe xy = p(x,y) y x = q(x,y),se obtienen las identidades x( x ) = y, y y = y, x = e, y se concluye que los conceptos de lazo izquierdo topologico y x espacio recticable coinciden.
x (xy)

2.

Lazos Topologicos Izquierdos y H-Espacios

Un espacio X se dice que es un H-Espacio si hay una asignacion m: X X X y una identidad elemental e X tal que m(e,x) = m(x,e) = x para toda x X. Un ejemplo es el intervalo unidad I = [0,1] que es un H-espacio (no homogeneo) bajo la multiplicacion ordinaria. De hecho ningun monoide compacto topologico es, en particular, un H-espacio. Todos los grupos compactos (homogeneos) son H-espacios asociativos.

Nota: El grupo fundamental de un H-espacio es un abeliano

Se dice que un espacio X tiene la propiedad de punto jo (fpp) si por cada automapeo f de X tiene un punto jo (i.e., f(p) = p para algun p X ). Por la proposicion 1, los lazos izquieros topologicos no degenerados tienen la propiedad (fpp) y cada lazo izquierdo topologico es homogeneo.

2.1.

Proposicion 3.-

Cada lazo izquierdo topologico X admite una estructura de un H-espacio.

Demostracion: Para a X denimos un mapeo m: X X X por m(x,y)= x( a ) para toda x,y X . Teniendo en cuenta que a = e por singularidad ya que y a a a( a ) = a = ae. a Entonces m(a,x) = a( x ) = x y m(x,a) = x( a ) = x para toda x X a
Llamemos a una 2-variedad conexa una supecie. Puesto que las unicas supercies compactas que tiene grupos fundamentales abelianos son S 2 , RP 2 , y el toro en 2 dimensiones T 2 = S 1 S 1 ; resulta que T 2 es la unica supercie compacta que la estructura de un H-espacio.

2.2.

Proposicion 4.-

Si X es S n , RP n o una supercie compacta, entonces X admite la estructura de un lazo izquierdo topologico X admite una estructura de un H-espacio topologico. Por lo tanto X debe ser homeomorco a alguna de las supercies T 2 = S 1 S 1 , S n , RP n cuando n = 0,1,3,7.

2.3.

Proposicion 5.-

Si A es un retracto de un H-espacio homogeneo, entonces A admite una estructura de un H-espacio.

Demostracion: Sea X un H-espacio con identidad elemental e y una multiplicacion continua (x,y) xy de X X X. Sea r: X A un mapeo de retraccion y se asume que e A. Denimos un mapeo n:A A A por m(x,y) = r((xe)y), si x,y A. Entonces para todo X A tenemos m(e,x) = r((ee)x) = r(ex) = r(x) = x y m(x,e) =r((xe)e) = r(xe) = r(x) = x asi que A admite una estructura de un H-espacio.
Ahora supongamos que e A y a A. Dado que X es homogeneo, hay / un autohomeomorsmo h de X tal que h(a) = e.Entonces e h(A) = B y hrh 1 : X B es una retraccion de X sobre B por h(r(h 1(b))) = h(h1 (b)) = b si b B , por lo que B admite una estructura de un H-espacio y A es homeomorco a B.

2.4.

Corolario 1.-

Si A es un espacio producto X = X es homogeneo, entonces admite una estructura de un H-espacio cada factor X lo admite.

Demostracion: Claramente X admite una estructura de un H-espacio si cada factor X lo hace. sin embargo, cada factor del espacio X es homeomorco a una retraccion de X, el resultado se sigue de la proposicion 5.
Vamos a llamar a una n-variedad cerrada si es un compacto, conexo y sin limite; de la proposicion 4 y corolario 1 obtenemos lo siguiente:

2.5.

Corolario 2.-

Si X es una n-variedad cerrada que es un producto de circulos y/o variedades 2-dimensionales, y X admite una estructura de un H-espacio o a un lazo izquierdo topologico X es un n-toro.

2.6.

Proposicion 6.-

Un lazo izquierdo topologico no degenerado X, que es un compacto conexo metrico ANR-espacio tiene la caracteristica de Euler (X) = 0.

Demostracion: Sea e la identidad derecha de X y sea h: I X un homeomorsmo del intervalo cerrado unitario I = [0,1] en X tal que h(0) = e. Para 0 t 1, sea ht : X X el mapeo denido por ht (x) = xh(t) si x X . Entonces para todo x X , h0 (x) = xe = x y, desde h(1) = e, h1 (x) = x. Sea L(ht ) el numero de Lefschetz del mapeo ht . Ya que el mapeo identidad h0 es homotopico al punto jo libre de mapeo h1 , se desprende del teorema del punto jo de Lefschetz que (X) = L(h0 ) = L(h1 ) = 0.

3.

Lazos topologicos Izquierdos y Conjuntos de Puntos Fijos

Los siguientes resultados son para grupos topologicos y tambien para lazos topologicos.

3.1.

Proposicion 7.-

Sea X un lazo izquierdo topologico metrizable que contiene un arco, y sea M cualquier espacio metrizable; entonces cada subconjunto cerrado de X M es el punto jo colocado de un automapeo de X M.

Demostracion: Notemos que X M no tiene la propiedad del punto jo si X no la tiene asi que hay un automapeo de X M donde el conjunto de puntos jos es el conjunto vasio. Ahora sea A un subconjunto cerrado no vasio de x M y asumimos que d es un metrico en X M que tiene limite 1. Sea t = d((x,m),A) y denimos un automapeo f de X M cuyo conjunto de puntos jos es A, por f(x,m) = (xh(t),m) donde (x,m) X M y h: I X es un homeomorsmo e I en X tal que h(0) = e.

3.2.

Proposicion 8.-

Cada subconjunto cerrado no vacio de un compacto suave n-variedad M cuyos componentes limites son los lazos izquierdos topologicos no degenerados es el conjunto de puntos jos de un autodifeomorsmo de M. En el caso donde M es un lazo izquierdo topologico la palabra no vacio puede ser borrada.
Nota: Si M es una n-variedad (suave o no) que tiene un limite compacto C con (C) = 0 entonces hay un subconjunto cerrado no vacio de M que no es el conjunto de puntos jos de un autohomeomorsmo de M.

4.

Lazos Izquierdos Compactos Topologicos

Sea X un espacio compacto y sea H(X) el grupo de autohomeomorsmos de X denotado con la topologia compacta abierta. En el caso donde X es un lazo topologico izquierdo compacto y La denota la traslacion izquierda por a, el grupo G := L(X) = (La : a X ) de traslaciones izquierdas dotadas con la topologia compacta izquierda es un subgrupo de H(X). Puesto que X es localmente compacto la composicion de automapeos (, ) de X es continuo, pero 1 no es cierto en general que la inversion de homeomorsmos es continuo. Sin embargo, esto es cierto si X es compacto haciendo H(X) un grupo topologico. En lo siguiente, X es un lazo izquierdo topologico compacto con identidad elemental derecha e. Sea Ge = tal que (e) = e, el grupo isotropo de los naturales y sea G : G X, () =(e),alrededor del mapeo. Q denota el espacio cociente Ge , y sea q: G Q la aplicacion cociente. Entonces hay una aplicacion natural : Q X, bien denida por (.Ge ) = (e).

4.1.

Proposicion 9.a) G = L(X) es un grupo topologico actuando sobre X por la izquierda. b) La funcion : X G, (x) = Lx , es continua y satisface = id. c) La funcion = q : X Q es la inversa de . En particular es un homeomorsmo y es abierto.

Sea X un lazo izquierdo compacto topologico entonces

Demostracion: a) Dado que el homeomorsmo total del grupo H(X) de X es un grupo topologico actuando continuamente sobre X, el subgrupo GH(X) es un grupo topologico actuando continuament sobre X.
b) Sea a X . Decimos que x Lx : X G es continua en a. Sea U un entorno de la unica estructura uniforme de X; se debe encontrar un entorno V de a tal que para todo v V y x X se tenga (vx,ax) U . Ahora por la continuidad de la multiplicacion de X, por cada y X hay una vecindad Vy de a y una vecindad Wy de y tal que Vy Wy aWy U . Por la compacidad de X encontramos un subconjunto nito F de X tal que X = f F Wf . Sea V = f F Vf . Entonces V es una vecindad de a y por cada x X hay un f F tal que x Wf . Por lo tanto Vx ax Vf Wf aWf U .

Nota: Cada lazo izquierdo compacto topologico puede incluirse en un grupo topologico como una retraccion.

4.2.

Corolario 3.-

Una continuidad no degenerada X no admite una estructura de un lazo izquierdo topologico si H(X) contiene continuidades no degeneradas.

Nota: En particular esto se aplica si H(X) es totalmente discontinuo.

Ahora consideremos un grupo topologico G y un subgrupo cerrado C.

4.3.

Proposicion 10.-

Un subgrupo cerrado C de un grupo topologico G se dice que se divide tosi hay una seccion transversal continua s: G G para el mapeo C G cociente q: G G , q(g) = gC,tal que s(q(1)) = 1. El subespacio X:= s( C ) = C s(q((G))) es llamado un cociente de retraccion (de el grupo topologico G).
pologicamente

Por denicion, tenemos que q s = id G , y s q: G G es una retraccion C continua sobre X. Note que gC = q(g) = s(q(g))C para toda g G. En conse1 cuencia, g (s(q(g))), s( (q(g)) g): G X C es un homeomorsmo con inversa (x,c) xc : X C G.

Nota: Cada lazo izquierdo topologico X es un cociente de retraccion de su grupo de traslacion izquierdo L(X).
El siguiente resultado muestra que cualquier cociente de retraccion de X de algun grupo topologico G admite una estructura de un lazo topologico izquierdo. En efecto sea C el subgrupo de G topologicamente dividido deniendo X G atravez de la seccion transversal s, por lo tanto, X :X Q : = C y la corresq triccion de s: Q G a su imagen C. Son homeomorsmos el uno del otro, que nos da Q como una copia canonicamente homeoformica de X, denimos una estructura de lazo topologico izquierdo del mismo modo que Q. Establecemos e = s(C) y denimos operaciones binarias en Q como sigue:

(, ) = s() : Q Q Q (, ) = s() 1 : Q Q Q

10

4.4.

Proposicion 11.-

(Q,*,/,e) son un lazo izquierdo topologico.

Demostracion:
a) *( / ) = *(s() 1 ) = s( )(s() 1 ) = b) /( * ) = /(s( ) ) = s() 1(s( ) ) = c) *e = s( )C = Ahora podemos formular el resultado principal en lazos izquierdos topologicos compactos.

4.5.

Teorema 1.-

Sea X un espacio compacto. Entonces las siguientes declaraciones son equivalentes: a) X admite una estructura de un lazo izquierdo topologico. b) X es un cociente de retraccion de algun grupo topologico y las condiciones que implica eso. c) X admite una estructura de un H-espacio. Si ademas X es una S n ,una supercie compacta,entonces estas 3 condiciones son equivalentes.

Demostracion: Las proposiciones 9 y 11 establecen la equivalencia del a) y b).La proposicion 6 muestra que siempre es cierta que b) implica c).Para la clase especial de los espacios mencionados en el enunciado del Teorema se ha demostrado que los conceptos de H-espacio y lazo izquierdo topologico coinciden: de modo que c) implica a).
La hipotesis de compasidad se utiliza, en primer lugar, para asegurar H(X) es un grupo topologico y que, por lo tanto, L(X) hereda la estructura de un espacio topologico y, en segundo lugar, con el n de asegurar la continuidad de la funcion x Lx : X L(X) en la proposicion 9 a).

11

4.6.

Conjetura:

Sea X una n-variedad cerrada. Las siguientes declaraciones son aquivalentes: a) X admite la estructura de un lazo izquierdo topologico. b) X admite la estructura de un H-espacio.

Nota: Resulta util recordar que cualquier n-variedad cerrada es automaticamente homogenea, y que, en segundo lugar, algunas de las variedades mas simples con limite, tales como el intervalo unitario, puede ser monoides compactos conexos, y por lo tanto pueden ser H-espacios. Sin embargo, no apoyan estructuras de lazos izquierdos topologicos debido a su falta de homogeneidad (o, en algunos casos debido a que poseen la propiedad del punto jo).

12

5.

Referencias
Topology Proceedings by Karl H. Hofmman and Jhon R. Martin

13