Espacios Mtricos

David Tern

2 de Septiembre del 2010

Notas 1.1 Nota Seudomtrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2

Deniciones 1.1 1.2 1.3 1.4 1.5 1.6 1.7 1.8 2.1 2.2 2.3 2.4 2.5 Mtrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Distancia de un punto a un conjunto . . . . . . . . . . . . . . . . . . . . . Dimetro de un subconjunto . . . . . . . . . . . . . . . . . . . . . . . . . . Seudomtrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Bola abierta y Bola cerrada . . . . . . . . . . . . . . . . . . . . . . . . . . Vecindad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Conjunto abierto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Mtricas equivalentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Axiomas de Grupo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Grupo Finito . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Grupo Abeliano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Representacin de permutaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1 2 2 2 2 2 2 3 3 3 5 8

Teoremas 2.1 2.2 2.3 2.4 Permutacin como producto de ciclos ajenos . . . . . . . . . . . . . . . . . Orden de ciclos ajenos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Permutacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 7 7 8

Lemas 2.1 2.2 ciclos ajenos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Orden de un k -ciclo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 7

CAPTULO 1 Espacios Mtricos

1.1 Material de lectura pdf

Denicin 1.1 (Mtrica) Sea X un conjunto. Una mtrica sobre X es una funcin : X x X R tal que: 1. (x, y ) 0, 2. (x, y ) = 0 x = y , 3. (x, y ) = (y, x) y 4. (x, y ) (x, z ) + (z, y ) para todo x, y , z X . Si es una mtrica sobre X decimos que (X, ), o simplemente X , si no hay lugar a confusin sobre la mtrica que se trabaja, es un espacio mtrico. Denicin 1.2 (Distancia de un punto a un conjunto) Sea (X, d) un espacio mtrico. Si A es un subconjunto no vaco de X entonces la distancia d(x, A) de un punto x X al conjunto A se dene como el nmo de los nmeros d(x, a) donde a A; esto es, d(x, A) = inf {d(x, a) : a A} 1

Captulo 1

Espacios Mtricos

Duda: Note que si (X, d) es un espacio mtrico y A X entonces d(x, A) = 0 para toda x A; pero que d(x, A) = 0 no implica que x sea un elemento de A. si consideramos el
1 : n N} conjunto R de los nmeros reales con la mtrica usual y A = { n

Denicin 1.3 (Dimetro de un subconjunto) Sea (X, d) un espacio mtrico. Si A es un subconjunto de X entonces el dimetro de A, diam A es sup{d(x, y ) : x, y A}. Si diam(A) < entonces decimos que el conjunto A es acotado. Denicin 1.4 (Seudomtrica) Sea X un conjunto. Una funcin : X x X R tal que: 1. (x, y ) 0, 2. (x, x) = 0, 3. (x, y ) = (y, x) y 4. (x, y ) (x, z ) + (z, y ) para todo x, y , z X , se llama una seudomtrica en X . Si es una seudomtrica sobre X decimos que (X, ) (o simplemente X ) es un espacio seudomtrico. Nota 1.1 (Nota Seudomtrica) Note que en un espacio seudomtrico (X, ) pueden existir puntos distintos x, y con (x, y ) = 0 Denicin 1.5 (Bola abierta y Bola cerrada) Sean (X, d) un espacio mtrico, x X y > 0. El conjunto B (x, ) = {y X : d(x, y ) < } se llama bola abierta centrada en x con radio . El conjunto B [x, ] = {y X : d(x, y ) } se llama bola cerrada centrada en x con radio . Denicin 1.6 (Vecindad) Sean X un espacio mtrico y x X . Un subconjunto V de X es una vecindad de x si existe > 0 tal que B (x, ) V . Denotamos por V (x) al conjunto de todas las vecindades del punto x. Denicin 1.7 (Conjunto abierto) Un subconjunto A de un espacio mtrico X es un conjunto abierto en X si A es vecindad de cada uno de sus puntos. Denicin 1.8 (Mtricas equivalentes) Dos mtricas sobre un conjunto X son equivalentes si generan los mismos conjuntos abiertos.

CAPTULO 2 Permutaciones
2.1 Copias del libro de Matemticas

Denicin 2.1 (Axiomas de Grupo) Se dice que un conjunto no vaco G es un grupo si en l hay denida una operacin tal que: 1. a, b G implica que a b G. (Esto se describe diciendo que G es cerrado respecto a .) 2. Dados a, b, c G, se tiene que a (b c) = (a b) c. (Esto se describe diciendo que es vlida la ley asociativa en G.) 3. Existe un elemento especial e G tal que a e = e a = a para todo a G (e se llama elemento identidad o unidad de G.) 4. Para todo a G existe un elemento b G tal que a b = b a = e. (Este elemento b se describe como a1 y se llama inverso de a en G.) Denicin 2.2 (Grupo Finito) Se dice que un grupo G es un grupo nito si consta de un nmero nito de elementos. El nmero de elementos de G se llama orden de G y se denota por |G|. Denicin 2.3 (Grupo Abeliano) Se dice que un grupo G es abeliano si a b = b a para todo a, b G 3

Captulo 2

Permutaciones

Se considera solamente A(S ) para un conjunto S nito. Recuerde que si S tiene n elementos, entonces A(S ) se llama grupo simtrico de grado n y se denota con Sn . Los elementos Sn se llaman permutaciones; se denotarn con letras griegas minsculas. La multiplicacin de permutaciones ser realizada de derecha a izquierda, ( )(s) = ( (s)). Por el teorema de Cayley se sabe que si G es un grupo nito de orden n, entonces G es isomorfo a un subgrupo de Sn y Sn tiene n! elementos. Vagamente hablando, se dice normalmente que G es un subgrupo de Sn . Puesto que n es mucho ms pequeo que n! aun cuando n sea modestamente grande, el grupo ocupa tan slo un pequeo rincn de Sn . Recordemos lo que se entiende por producto de dos elementos de A(S ). Si A(S )se deni (s) = ( (s))s S . En la seccin 1.4 del Captulo 1 se demostr que A(S ) satisface cuatro propiedades que se utilizaron posteriormente como modelo para denir el concepto de grupo abstracto.(buscar esta denicin) Ejemplo de una permutacin y equivalencias: = 1 2 3 2 3 1 3 1 2 1 2 3 2 1 3 3 2 1

Para obtener 1 se debe de invertir el smbolo de: = 1 2 ... n i1 i2 ... in 4 i1 i2 ... in 1 2 ... n

a 1 =

Captulo 2 Ejemplo: = 1 2 3 2 3 1 2 3 1 1 2 3 1 2 3 3 1 2 .

Permutaciones

, 1 =

El elemento identidad, expresado como e, es simplemente: e= 1 2 ... n 1 2 ... n

Para aplicar el producto de Sn en trminos de , se aplica primero y al resultado se le aplica , a continuacin se muestra un ejemplo. = 1 2 3 4 5 2 3 1 5 4 es S5 . Entonces = 1 2 3 4 5 1 5 4 2 3 Sin embargo se puede omitir el primer rengln produciendo una forma ms breve de representar permutaciones. Denicin 2.4 (Representacin de permutaciones) Sean i1 , i2 , ..., ik , k enteros distintos en S = 1, 2, ..., n. El smbolo (i1 i2 ... ik ) representar la permutacin Sn , donde (i1 ) = i2 , (i2 ) = i3 , ..., (ij ) = ij +1 para j < k, (ik ) = i1 , y (s) = s para cualquier s S si s = i1 , i2 , ..., ik . . 1 2 3 4 5 3 4 5 1 2

y =

Captulo 2

Permutaciones 1 2 3 4 5 6 7

Por consiguiente, en S7 la permutacin (1 3 5 4) es la permutacin

. 3 2 5 1 4 6 7 Una permutacin de la forma (i1 i2 ... ik ) se llama ciclo de orden k o k -ciclo. Para el caso especial k = 2, la permutacin (i1 i2 ) se llama transposicin. Obsrvese que si = (i1 i2 ... ik ), entonces es igualmente (ik i1 i2 ... ik1 ), (ik1 ik i1 i2 ... ik2 ), y as sucesivamente.

Probar que: (1 3 5 4) = (4 1 3 5) = (5 4 1 3) = (3 5 4 1) Dados dos ciclos, digamos un k -ciclo y un m-ciclo, se dice que son ciclos disjuntos o ajenos si no tienen algn entero en comn. De donde (1 3 5) y (4 2 6 7) son ciclos ajenos en S7 . Dados dos ciclos ajenos en Sn , armamos que conmutan. Realizar la demostracin, la sugerencia es que si , son ciclos ajenos, se debe vericar que ( )(i) = ( )(i)i S = {1, 2, ..., n}. rm Lema 2.1 (ciclos ajenos) Si , Sn son ciclos ajenos, entonces = .

Considerando el siguiente ejemplo se solicita identicar todos los ciclos que contiene. Resolver = 1 2 3 4 5 6 7 8 9 3 9 4 1 5 6 2 7 8 rm 6

Captulo 2

Permutaciones

Teorema 2.1 (Permutacin como producto de ciclos ajenos) Toda permutacin en Sn es el producto de ciclos ajenos.

Al expresar una permutacin como un producto de ciclos ajenos, se omiten todos los ciclos de orden 1; es decir, se ignoran los i tales que (i) = i. esta manera = (1 2 3)(4 5) en S7 es la forma en la que se escribira = (1 2 3)(4 5)(6)(7). En otras palabras, al escribir como un producto de k -ciclos, con k > 1, se supone que deja jo a cualquier entero que no est presente en ninguno de los ciclos. As que en el grupo S11 la permutacin = (1 5 6)(2 3 9 8 7) deja jos al 4, 10 y 11. rm Lema 2.2 (Orden de un k-ciclo) Si es un k -ciclo en Sn , entonces el orden de es k ; esto es, k = e y j = e para 0 < j < k .

Considere la permutacin = (1 2)(3 4 5 6)(7 8 9) en S9 . Cul es su orden? Puesto que los ciclos ajenos (1 2), (3 4 5 6), (7 8 9) conmutan, m = (1 2)m (3 4 5 6)m (7 8 9)m ; para que m = e se requiere (1 2)m = e, (3 4 5 6)m = e, (7 8 9)m = e. rm Teorema 2.2 (Orden de ciclos ajenos) Suponga que Sn tiene descomposicin cclica en ciclos ajenos de longitud m1 , m2 , ..., mk . Entonces el orden de es el mnimo comn mltiplo de m1 , m2 , ..., mk .

rm Teorema 2.3 (Permutacin) Toda permutacin en Sn es el producto de transposiciones. 7

Captulo 2

Permutaciones

Denicin 2.5 Una permutacin Sn es una permutacin impar si es el producto de un nmero impar de transposiciones, y es una permutacin par si es el producto de un nmero par de transposiciones.

rm Teorema 2.4 Una permutacin en Sn es: una permutacin impar o una permutacin par, pero no puede ser ambas.

Bibliografa