teor a de grupos...mapeos comenzaremos con el concepto de mapeo (tambi en conocido como funci on)....

45
Teor´ ıa de Grupos Presentaci´ on 2: mapeos Luis Felipe Gonz´ alez Rivas UANL 5 de febrero de 2018

Upload: others

Post on 02-Aug-2020

2 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Teor a de Grupos...Mapeos Comenzaremos con el concepto de mapeo (tambi en conocido como funci on). Este es tal vez el concepto m as extendido e importante en matem aticas. De nici

Teorıa de GruposPresentacion 2: mapeos

Luis Felipe Gonzalez Rivas

UANL

5 de febrero de 2018

Page 2: Teor a de Grupos...Mapeos Comenzaremos con el concepto de mapeo (tambi en conocido como funci on). Este es tal vez el concepto m as extendido e importante en matem aticas. De nici

Contenido

1 MapeosIgualdad de mapeosImagen de un conjuntoImagen inversa de un conjuntoMapeos sobreyectivosMapeos inyectivosMapeos biyectivos

2 Composicion de mapeosLey asociativaComposicion de mapeos sobre y 1 − 1

3 El conjunto A(S)No conmutatividad

Luis Felipe Gonzalez Rivas (UANL) Teorıa de Grupos 5 de febrero de 2018 2 / 31

Page 3: Teor a de Grupos...Mapeos Comenzaremos con el concepto de mapeo (tambi en conocido como funci on). Este es tal vez el concepto m as extendido e importante en matem aticas. De nici

Indice

1 MapeosIgualdad de mapeosImagen de un conjuntoImagen inversa de un conjuntoMapeos sobreyectivosMapeos inyectivosMapeos biyectivos

2 Composicion de mapeosLey asociativaComposicion de mapeos sobre y 1 − 1

3 El conjunto A(S)No conmutatividad

Luis Felipe Gonzalez Rivas (UANL) Teorıa de Grupos 5 de febrero de 2018 3 / 31

Page 4: Teor a de Grupos...Mapeos Comenzaremos con el concepto de mapeo (tambi en conocido como funci on). Este es tal vez el concepto m as extendido e importante en matem aticas. De nici

Mapeos

Comenzaremos con el concepto de mapeo (tambien conocido comofuncion). Este es tal vez el concepto mas extendido e importante enmatematicas.

Definicion 1

Sean A y B dos conjuntos no vacıos. Entonces un mapeo de A a B, es unsubconjunto M de A ×B, tal que para cada a ∈ A existe un unico b ∈ B talque el par (a,b) esta M.

A menudo, al mapeo M ⊂ A×B, lo denotamos como M ∶ A→ B. Mas aun,establecemos la relacion entre los conjuntos A y B como M(a) = b si ysolo si (a,b) ∈M.

Ejemplo

Definamos i ∶ A→ A como i(a) = a para todo a ∈ A. Esta relacion es unmapeo y se le conoce como mapeo identidad.

Luis Felipe Gonzalez Rivas (UANL) Teorıa de Grupos 5 de febrero de 2018 4 / 31

Page 5: Teor a de Grupos...Mapeos Comenzaremos con el concepto de mapeo (tambi en conocido como funci on). Este es tal vez el concepto m as extendido e importante en matem aticas. De nici

Mapeos

Comenzaremos con el concepto de mapeo (tambien conocido comofuncion). Este es tal vez el concepto mas extendido e importante enmatematicas.

Definicion 1

Sean A y B dos conjuntos no vacıos. Entonces un mapeo de A a B, es unsubconjunto M de A ×B, tal que para cada a ∈ A existe un unico b ∈ B talque el par (a,b) esta M.

A menudo, al mapeo M ⊂ A×B, lo denotamos como M ∶ A→ B. Mas aun,establecemos la relacion entre los conjuntos A y B como M(a) = b si ysolo si (a,b) ∈M.

Ejemplo

Definamos i ∶ A→ A como i(a) = a para todo a ∈ A. Esta relacion es unmapeo y se le conoce como mapeo identidad.

Luis Felipe Gonzalez Rivas (UANL) Teorıa de Grupos 5 de febrero de 2018 4 / 31

Page 6: Teor a de Grupos...Mapeos Comenzaremos con el concepto de mapeo (tambi en conocido como funci on). Este es tal vez el concepto m as extendido e importante en matem aticas. De nici

Mapeos

Definicion 1

Sean A y B dos conjuntos no vacıos. Entonces un mapeo de A a B, es unsubconjunto M de A ×B, tal que para cada a ∈ A existe un unico b ∈ B talque el par (a,b) esta M.

A menudo, al mapeo M ⊂ A×B, lo denotamos como M ∶ A→ B. Mas aun,establecemos la relacion entre los conjuntos A y B como M(a) = b si ysolo si (a,b) ∈M.

Ejemplo

Definamos i ∶ A→ A como i(a) = a para todo a ∈ A. Esta relacion es unmapeo y se le conoce como mapeo identidad.

Luis Felipe Gonzalez Rivas (UANL) Teorıa de Grupos 5 de febrero de 2018 4 / 31

Page 7: Teor a de Grupos...Mapeos Comenzaremos con el concepto de mapeo (tambi en conocido como funci on). Este es tal vez el concepto m as extendido e importante en matem aticas. De nici

Mapeos

Ejemplo de mapeo: observe que cadaelemento de X esta relacionado con

un unico elemento en Y .

Relacion que no es un mapeo: loselementos 3 y 4 no estan

relacionados con ningun elemento enY ; el 2 esta relacionado con dos

elementos en Y .

Por Bin im Garten, via Wikimedia Commons

Luis Felipe Gonzalez Rivas (UANL) Teorıa de Grupos 5 de febrero de 2018 5 / 31

Page 8: Teor a de Grupos...Mapeos Comenzaremos con el concepto de mapeo (tambi en conocido como funci on). Este es tal vez el concepto m as extendido e importante en matem aticas. De nici

Igualdad de mapeos

Ahora que hemos definido que es un mapeo, tenemos que determinarcuando dos mapeos son iguales.

Definicion 2

Los mapeos σ y τ de A en B se dicen que son iguales si σ(a) = τ(a) paratodo a ∈ A.

Basicamente, dos mapeos son iguales si relacionan de la misma manera alos conjuntos A y B.

Luis Felipe Gonzalez Rivas (UANL) Teorıa de Grupos 5 de febrero de 2018 6 / 31

Page 9: Teor a de Grupos...Mapeos Comenzaremos con el concepto de mapeo (tambi en conocido como funci on). Este es tal vez el concepto m as extendido e importante en matem aticas. De nici

Igualdad de mapeos

Ahora que hemos definido que es un mapeo, tenemos que determinarcuando dos mapeos son iguales.

Definicion 2

Los mapeos σ y τ de A en B se dicen que son iguales si σ(a) = τ(a) paratodo a ∈ A.

Basicamente, dos mapeos son iguales si relacionan de la misma manera alos conjuntos A y B.

Luis Felipe Gonzalez Rivas (UANL) Teorıa de Grupos 5 de febrero de 2018 6 / 31

Page 10: Teor a de Grupos...Mapeos Comenzaremos con el concepto de mapeo (tambi en conocido como funci on). Este es tal vez el concepto m as extendido e importante en matem aticas. De nici

Igualdad de mapeos

Ahora que hemos definido que es un mapeo, tenemos que determinarcuando dos mapeos son iguales.

Definicion 2

Los mapeos σ y τ de A en B se dicen que son iguales si σ(a) = τ(a) paratodo a ∈ A.

Basicamente, dos mapeos son iguales si relacionan de la misma manera alos conjuntos A y B.

Luis Felipe Gonzalez Rivas (UANL) Teorıa de Grupos 5 de febrero de 2018 6 / 31

Page 11: Teor a de Grupos...Mapeos Comenzaremos con el concepto de mapeo (tambi en conocido como funci on). Este es tal vez el concepto m as extendido e importante en matem aticas. De nici

Mapeos

Una idea que surge naturalmente es, dado un mapeo σ ∶ A→ B, encontrarun mapeo σ−1 ∶ B → A tal que σ−1(b) = a si y solo si σ(a) = b; es decir,queremos el mapeo inverso de σ.

La pregunta es, para cada mapeo σ ¿podemos encontrar su mapeoinverso? Veamos que esto no siempre es posible.

Sea σ ∶ R→ R, tal que σ(x) = x2. Consideremos los numeros −1 y 1 yevaluemoslos: σ(1) = 1 y σ(−1) = 1.

Ahora bien, si consideramos el inverso σ−1 y lo evaluamos en 1, ¿queobtendrıamos? Pues dada su definicion, tendrıamos que σ−1(1) = 1 yσ−1(1) = −1. Esto claramente contradice la definicion de mapeo.

Luis Felipe Gonzalez Rivas (UANL) Teorıa de Grupos 5 de febrero de 2018 7 / 31

Page 12: Teor a de Grupos...Mapeos Comenzaremos con el concepto de mapeo (tambi en conocido como funci on). Este es tal vez el concepto m as extendido e importante en matem aticas. De nici

Mapeos

Como acabamos de ver, no podemos encontrar un mapeo inverso paracada mapeo σ. Entonces,

¿Bajo que condiciones podemos encontrar el mapeo inverso?

Luis Felipe Gonzalez Rivas (UANL) Teorıa de Grupos 5 de febrero de 2018 8 / 31

Page 13: Teor a de Grupos...Mapeos Comenzaremos con el concepto de mapeo (tambi en conocido como funci on). Este es tal vez el concepto m as extendido e importante en matem aticas. De nici

Imagen de un conjunto

Definicion 3

Sea σ ∶ A→ B un mapeo y sea C ⊂ A. El conjunto σ(C) = {σ(x) ∣ x ∈ C}se le llama imagen del conjunto C bajo σ.

Ejemplo

Consideremos el mapeo f ∶ R→ R tal que f (x) = ex y consideremos elintervalo C = {x ∈ R ∣ 0 ≤ x ≤ 1}. Entonces, dado que f es continua ycreciente f (C) = {y ∈ R ∣ 1 ≤ y ≤ e}.

Vease la grafica en el anexo �.

Luis Felipe Gonzalez Rivas (UANL) Teorıa de Grupos 5 de febrero de 2018 9 / 31

Page 14: Teor a de Grupos...Mapeos Comenzaremos con el concepto de mapeo (tambi en conocido como funci on). Este es tal vez el concepto m as extendido e importante en matem aticas. De nici

Imagen de un conjunto

Definicion 3

Sea σ ∶ A→ B un mapeo y sea C ⊂ A. El conjunto σ(C) = {σ(x) ∣ x ∈ C}se le llama imagen del conjunto C bajo σ.

Ejemplo

Consideremos el mapeo f ∶ R→ R tal que f (x) = ex y consideremos elintervalo C = {x ∈ R ∣ 0 ≤ x ≤ 1}. Entonces, dado que f es continua ycreciente f (C) = {y ∈ R ∣ 1 ≤ y ≤ e}.

Vease la grafica en el anexo �.

Luis Felipe Gonzalez Rivas (UANL) Teorıa de Grupos 5 de febrero de 2018 9 / 31

Page 15: Teor a de Grupos...Mapeos Comenzaremos con el concepto de mapeo (tambi en conocido como funci on). Este es tal vez el concepto m as extendido e importante en matem aticas. De nici

Imagen inversa de un conjunto

Definicion 4

Sea σ ∶ A→ B un mapeo y sea D ⊂ B. El conjuntoσ−1(D) = {a ∈ A ∣ σ(a) ∈ D} se le llama imagen inversa de D bajo σ.

Ejemplo

De nuevo consideremos el mapeo f (x) = ex y sea D = {x ∈ R ∣ 0 ≤ x ≤ 1}.Observemos que f −1(D) = {y ∈ R ∣ y ≤ 0}.

De nuevo, vease la grafica en el anexo �.

Luis Felipe Gonzalez Rivas (UANL) Teorıa de Grupos 5 de febrero de 2018 10 / 31

Page 16: Teor a de Grupos...Mapeos Comenzaremos con el concepto de mapeo (tambi en conocido como funci on). Este es tal vez el concepto m as extendido e importante en matem aticas. De nici

Imagen inversa de un conjunto

Definicion 4

Sea σ ∶ A→ B un mapeo y sea D ⊂ B. El conjuntoσ−1(D) = {a ∈ A ∣ σ(a) ∈ D} se le llama imagen inversa de D bajo σ.

Ejemplo

De nuevo consideremos el mapeo f (x) = ex y sea D = {x ∈ R ∣ 0 ≤ x ≤ 1}.Observemos que f −1(D) = {y ∈ R ∣ y ≤ 0}.

De nuevo, vease la grafica en el anexo �.

Luis Felipe Gonzalez Rivas (UANL) Teorıa de Grupos 5 de febrero de 2018 10 / 31

Page 17: Teor a de Grupos...Mapeos Comenzaremos con el concepto de mapeo (tambi en conocido como funci on). Este es tal vez el concepto m as extendido e importante en matem aticas. De nici

Mapeo inverso

Volvamos con la discusion sobre el mapeo inverso. Si σ ∶ A→ B es unmapeo, observemos que el objeto σ−1 no siempre esta definido paracualquier elemento de B.

Por ejemplo, si σ(x) = x2, la inversa σ−1 no esta definida para los realesnegativos.

Para solucionar este problema, deseamos que el mapeo σ relacione cadaelemento de B con algun elemento de A. Con esta propiedad, la inversaσ−1 estara definida para cada b ∈ B.

Luis Felipe Gonzalez Rivas (UANL) Teorıa de Grupos 5 de febrero de 2018 11 / 31

Page 18: Teor a de Grupos...Mapeos Comenzaremos con el concepto de mapeo (tambi en conocido como funci on). Este es tal vez el concepto m as extendido e importante en matem aticas. De nici

Mapeos sobreyectivos

Definicion 5

Sea τ un mapeo de A en B. Se dice que τ es sobreyectiva sobre B, sipara cada b ∈ B existe un a ∈ A tal que τ(a) = b.

Ejemplo

Consideremos los mapeos σ ∶ R→ R y τ ∶ R→ R tales que σ(x) = x2 yτ(x) = x3. Claramente σ no es sobre: consideremos −1 ∈ R; no existex ′ ∈ R tal que σ(x ′) = (x ′)2 = −1. Por otro lado, τ si es sobre. Sea y ∈ R,entonces x ′ = 3

√y cumple con τ(x ′) = τ( 3

√y) = ( 3

√y)3 = y .

Nota: lo anterior es cierto, ya que la ecuacion x2 = −1 no tiene solucion enlos reales; sin embargo, la ecuacion y = x3 si tiene solucion en R, paratoda y ∈ R.

Luis Felipe Gonzalez Rivas (UANL) Teorıa de Grupos 5 de febrero de 2018 12 / 31

Page 19: Teor a de Grupos...Mapeos Comenzaremos con el concepto de mapeo (tambi en conocido como funci on). Este es tal vez el concepto m as extendido e importante en matem aticas. De nici

Mapeos sobreyectivos

Definicion 5

Sea τ un mapeo de A en B. Se dice que τ es sobreyectiva sobre B, sipara cada b ∈ B existe un a ∈ A tal que τ(a) = b.

Ejemplo

Consideremos los mapeos σ ∶ R→ R y τ ∶ R→ R tales que σ(x) = x2 yτ(x) = x3. Claramente σ no es sobre: consideremos −1 ∈ R; no existex ′ ∈ R tal que σ(x ′) = (x ′)2 = −1. Por otro lado, τ si es sobre. Sea y ∈ R,entonces x ′ = 3

√y cumple con τ(x ′) = τ( 3

√y) = ( 3

√y)3 = y .

Nota: lo anterior es cierto, ya que la ecuacion x2 = −1 no tiene solucion enlos reales; sin embargo, la ecuacion y = x3 si tiene solucion en R, paratoda y ∈ R.

Luis Felipe Gonzalez Rivas (UANL) Teorıa de Grupos 5 de febrero de 2018 12 / 31

Page 20: Teor a de Grupos...Mapeos Comenzaremos con el concepto de mapeo (tambi en conocido como funci on). Este es tal vez el concepto m as extendido e importante en matem aticas. De nici

Mapeo inverso

Ahora bien, hemos definido una clase especial de mapeos, los mapeossobreyectivos. Por su definicion, podemos ver que la inversa σ−1 siempreesta definida para cada b ∈ B. Sin embargo, esta propiedad no es suficientepara encontrar el mapeo inverso.

Como vimos anteriormente, si el mapeo es tal que σ(x) = x2, la inversaσ−1(1) = 1 y σ−1(−1) = 1, lo cual contradice la definicion de mapeo.

Por tanto, necesitamos una condicion mas para asegurar que dado unmapeo, su mapeo inverso existe.

Luis Felipe Gonzalez Rivas (UANL) Teorıa de Grupos 5 de febrero de 2018 13 / 31

Page 21: Teor a de Grupos...Mapeos Comenzaremos con el concepto de mapeo (tambi en conocido como funci on). Este es tal vez el concepto m as extendido e importante en matem aticas. De nici

Mapeos inyectivos

Definicion 6

Sea τ un mapeo de A en B. Se dice que τ es inyectivo (o 1− 1) si a1 ≠ a2,a1, a2 ∈ A, se tiene que τ(a1) ≠ τ(a2).

Ejemplo

De nuevo, consideremos a σ y τ tales que σ(x) = x2 y τ(x) = x3.Claramente, σ no es inyectiva: tome a x1 = 1 y x2 = −1, por ejemplo; luegoσ(x1) = 1 = σ(x2).

Por otro lado, τ si es inyectiva: sean x1 y x2 numeros reales tales quex1 ≠ x2; entonces τ(x1) = (x1)3 y τ(x2) = (x2)3 son diferentes.

Para ver esto, recordemos que la ecuacion x3 = y tiene tres soluciones enlos complejos; pero si y ∈ R y y ≠ 0, dos de las soluciones estan fuera deleje real. Esto implica que x1 ≠ x2, entonces (x1)3 ≠ (x2)3. Vease la graficaen el anexo �.

Luis Felipe Gonzalez Rivas (UANL) Teorıa de Grupos 5 de febrero de 2018 14 / 31

Page 22: Teor a de Grupos...Mapeos Comenzaremos con el concepto de mapeo (tambi en conocido como funci on). Este es tal vez el concepto m as extendido e importante en matem aticas. De nici

Mapeos inyectivos

Definicion 6

Sea τ un mapeo de A en B. Se dice que τ es inyectivo (o 1− 1) si a1 ≠ a2,a1, a2 ∈ A, se tiene que τ(a1) ≠ τ(a2).

Ejemplo

De nuevo, consideremos a σ y τ tales que σ(x) = x2 y τ(x) = x3.Claramente, σ no es inyectiva: tome a x1 = 1 y x2 = −1, por ejemplo; luegoσ(x1) = 1 = σ(x2).

Por otro lado, τ si es inyectiva: sean x1 y x2 numeros reales tales quex1 ≠ x2; entonces τ(x1) = (x1)3 y τ(x2) = (x2)3 son diferentes.

Para ver esto, recordemos que la ecuacion x3 = y tiene tres soluciones enlos complejos; pero si y ∈ R y y ≠ 0, dos de las soluciones estan fuera deleje real. Esto implica que x1 ≠ x2, entonces (x1)3 ≠ (x2)3. Vease la graficaen el anexo �.Luis Felipe Gonzalez Rivas (UANL) Teorıa de Grupos 5 de febrero de 2018 14 / 31

Page 23: Teor a de Grupos...Mapeos Comenzaremos con el concepto de mapeo (tambi en conocido como funci on). Este es tal vez el concepto m as extendido e importante en matem aticas. De nici

Mapos biyectivos

Ahora que ya tenemos las propiedades de inyectividad y sobreyictividadpara mapeos, pongamos un nombre a los mapeos que cumplen con estasdos condiciones.

Definicion 7

Un mapeo τ ∶ A→ B es biyectivo si es inyectivo y sobreyectivo.

Luis Felipe Gonzalez Rivas (UANL) Teorıa de Grupos 5 de febrero de 2018 15 / 31

Page 24: Teor a de Grupos...Mapeos Comenzaremos con el concepto de mapeo (tambi en conocido como funci on). Este es tal vez el concepto m as extendido e importante en matem aticas. De nici

Mapeos biyectivos

Ejemplo

El mapeo identidad i ∶ A→ A es una biyeccion. Para esto, sean a1 y a2

elementos de A. Entonces, i(a1) = a1 ≠ a2 = i(a2); por tanto i es 1− 1. Seaa1 ∈ A. Entonces a1 cumple con i(a1) = a1. Por tanto i es sobre. Se sigueque i es biyeccion.

Sea f ∶ R→ R un mapeo tal que f (x) = ax + b para a,b en R. Este mapeoes biyectivo para cualquier a ≠ 0.

Considere x1 y x2 numeros reales. Vease quef (x1) − f (x2) = (ax1 + b) − (ax2 + b) = a(x1 − x2) ≠ 0, ya que a ≠ 0 yx1 ≠ x2. Por tanto f (x1) ≠ f (x2), es decir f es inyectiva.

Ahora sea y ′ ∈ R. Observemos que x ′ = y ′−ba existe (a ≠ 0) y cumple con

f (x ′) = a( y′−ba ) + b = y ′. Por tanto f es sobre. Por lo anterior, f es

biyeccionLuis Felipe Gonzalez Rivas (UANL) Teorıa de Grupos 5 de febrero de 2018 16 / 31

Page 25: Teor a de Grupos...Mapeos Comenzaremos con el concepto de mapeo (tambi en conocido como funci on). Este es tal vez el concepto m as extendido e importante en matem aticas. De nici

Mapeos biyectivos

Un mapeo 1 − 1, pero no sobre. Un mapeo sobre, pero no 1 − 1.

Luis Felipe Gonzalez Rivas (UANL) Teorıa de Grupos 5 de febrero de 2018 17 / 31

Page 26: Teor a de Grupos...Mapeos Comenzaremos con el concepto de mapeo (tambi en conocido como funci on). Este es tal vez el concepto m as extendido e importante en matem aticas. De nici

Mapeos biyectivos

Un mapeo que no es sobre ni 1 − 1. Un mapeo sobre y 1 − 1.

Luis Felipe Gonzalez Rivas (UANL) Teorıa de Grupos 5 de febrero de 2018 17 / 31

Page 27: Teor a de Grupos...Mapeos Comenzaremos con el concepto de mapeo (tambi en conocido como funci on). Este es tal vez el concepto m as extendido e importante en matem aticas. De nici

Indice

1 MapeosIgualdad de mapeosImagen de un conjuntoImagen inversa de un conjuntoMapeos sobreyectivosMapeos inyectivosMapeos biyectivos

2 Composicion de mapeosLey asociativaComposicion de mapeos sobre y 1 − 1

3 El conjunto A(S)No conmutatividad

Luis Felipe Gonzalez Rivas (UANL) Teorıa de Grupos 5 de febrero de 2018 18 / 31

Page 28: Teor a de Grupos...Mapeos Comenzaremos con el concepto de mapeo (tambi en conocido como funci on). Este es tal vez el concepto m as extendido e importante en matem aticas. De nici

Composicion de mapeos

Si tenemos dos mapeos biyectivos σ y τ , ¿existe alguna forma en la quepodamos crear un mapeo biyectivo a partir de estos? La siguientedefinicion nos dice como.

Definicion 8

Si σ ∶ A→ B y τ ∶ B → C , entonces la composicion de σ y τ es el mapeoτ ○ σ ∶ A→ C definido como τ(σ(a)) para cada a ∈ A.

Luis Felipe Gonzalez Rivas (UANL) Teorıa de Grupos 5 de febrero de 2018 19 / 31

Page 29: Teor a de Grupos...Mapeos Comenzaremos con el concepto de mapeo (tambi en conocido como funci on). Este es tal vez el concepto m as extendido e importante en matem aticas. De nici

Propiedades de la composicion de mapeos

Lema 1 (Ley asociativa)

Si σ ∶ A→ B, τ ∶ B → C y µ ∶ C → D, entonces µ ○ (τ ○ σ) = (µ ○ τ) ○ σ.

Demostracion.

Sea a ∈ A. Tenemos que demostrar que (µ ○ (τ ○ σ))(a) = ((µ ○ τ) ○ σ)(a).Para esto, observemos que (µ ○ (τ ○ σ))(a) = µ((τ ○ σ)(a)) = µ(τ(σ(a))).Por otro lado, ((µ ○ τ) ○ σ)(a) = (µ ○ τ)(σ(a)) = µ(τ(σ(a))).

Luis Felipe Gonzalez Rivas (UANL) Teorıa de Grupos 5 de febrero de 2018 20 / 31

Page 30: Teor a de Grupos...Mapeos Comenzaremos con el concepto de mapeo (tambi en conocido como funci on). Este es tal vez el concepto m as extendido e importante en matem aticas. De nici

Propiedades de la composicion de mapeos

Lema 2

Sea σ ∶ A→ B y τ ∶ B → C , entonces

a) τ ○ σ es sobre si σ y τ son sobre.

b) τ ○ σ es 1 − 1, si σ y τ son 1 − 1.

Demostracion.

a) Suponga que σ y τ son sobre y sea c ∈ C . Entonces existe b ∈ B tal queτ(b) = c . De manera similar, existe a ∈ A tal que σ(a) = b. Luego se tieneque (τ ○ σ)(a) = c . Por tanto τ ○ σ es sobre.

b) Sean a1 y a2 en A, diferentes. Entonces, σ(a1) ≠ σ(a2) ya que σ es1−1. De manera similar, τ(σ(a1)) ≠ τ(σ(a2)). Por tanto τ ○σ es 1−1.

Luis Felipe Gonzalez Rivas (UANL) Teorıa de Grupos 5 de febrero de 2018 21 / 31

Page 31: Teor a de Grupos...Mapeos Comenzaremos con el concepto de mapeo (tambi en conocido como funci on). Este es tal vez el concepto m as extendido e importante en matem aticas. De nici

Propiedades de la composicion de mapeos

Composicion de mapeos 1 − 1. Composicion de mapeos sobre.

Luis Felipe Gonzalez Rivas (UANL) Teorıa de Grupos 5 de febrero de 2018 22 / 31

Page 32: Teor a de Grupos...Mapeos Comenzaremos con el concepto de mapeo (tambi en conocido como funci on). Este es tal vez el concepto m as extendido e importante en matem aticas. De nici

Propiedades de la composicion de mapeos

Lema 3

Sean σ ∶ A→ B y τ ∶ B → C mapeos biyectivos, entonces τ ○ σ es unmapeo biyectivo.

Demostracion.

Se sigue inmediatamente del lema anterior.

Luis Felipe Gonzalez Rivas (UANL) Teorıa de Grupos 5 de febrero de 2018 23 / 31

Page 33: Teor a de Grupos...Mapeos Comenzaremos con el concepto de mapeo (tambi en conocido como funci on). Este es tal vez el concepto m as extendido e importante en matem aticas. De nici

Propiedades de la composicion de mapeos

En los lemas anteriores vimos algunas de las propiedades de lacomposicion de mapeos.

Probamos que la composicion es asociativa. Ademas, cuando componemosdos mapeos biyectivos, el mapeo resultante conserva esta propiedad.

Sin embargo, aun no hemos mencionado como los mapeos biyectivos y lacomposicion se relacionan con la inversa de un mapeo.

Solucionemos esto con el siguiente lema.

Luis Felipe Gonzalez Rivas (UANL) Teorıa de Grupos 5 de febrero de 2018 24 / 31

Page 34: Teor a de Grupos...Mapeos Comenzaremos con el concepto de mapeo (tambi en conocido como funci on). Este es tal vez el concepto m as extendido e importante en matem aticas. De nici

Propiedades de la composicion de mapeos

Lema 4

Sea σ un mapeo de A sobre B. Entonces σ es 1 − 1 si y solo si existe unmapeo τ ∶ B → A tal que τ ○ σ y σ ○ τ son el mapeo identidad en A y Brespectivamente. El mapeo τ es el inverso de σ.

Demostracion.

Primero demostremos el directo. Supongamos que σ es 1 − 1 yconsideremos el mapeo τ ∶ B → A tal que τ(b) = a si y solo si σ(a) = b.Observemos que este mapeo esta bien definido ya que σ es 1 − 1 y sobre.Luego si a ∈ A y b ∈ B, entonces (σ ○ τ)(b) = σ(τ(b)) = b = iB(b) y(τ ○ σ)(a) = τ(σ(a)) = a = iA(a), los mapeos identidad en B y Arespectivamente.

Luis Felipe Gonzalez Rivas (UANL) Teorıa de Grupos 5 de febrero de 2018 25 / 31

Page 35: Teor a de Grupos...Mapeos Comenzaremos con el concepto de mapeo (tambi en conocido como funci on). Este es tal vez el concepto m as extendido e importante en matem aticas. De nici

Propiedades de la composicion de mapeos

Lema 4

Sea σ un mapeo de A sobre B. Entonces σ es 1 − 1 si y solo si existe unmapeo τ ∶ B → A tal que τ ○ σ y σ ○ τ son el mapeo identidad en A y Brespectivamente. El mapeo τ es el inverso de σ.

Demostracion.

Ahora demostremos el recıproco. Sean a1, a2 ∈ A tal que a1 ≠ a2.Supongamos que σ(a1) = σ(a2). Entonces τ(σ(a1)) = a1 = τ(σ(a2)) = a2,lo cual contradice la hipotesis a1 ≠ a2. Por tanto σ es 1 − 1.

Luis Felipe Gonzalez Rivas (UANL) Teorıa de Grupos 5 de febrero de 2018 25 / 31

Page 36: Teor a de Grupos...Mapeos Comenzaremos con el concepto de mapeo (tambi en conocido como funci on). Este es tal vez el concepto m as extendido e importante en matem aticas. De nici

Indice

1 MapeosIgualdad de mapeosImagen de un conjuntoImagen inversa de un conjuntoMapeos sobreyectivosMapeos inyectivosMapeos biyectivos

2 Composicion de mapeosLey asociativaComposicion de mapeos sobre y 1 − 1

3 El conjunto A(S)No conmutatividad

Luis Felipe Gonzalez Rivas (UANL) Teorıa de Grupos 5 de febrero de 2018 26 / 31

Page 37: Teor a de Grupos...Mapeos Comenzaremos con el concepto de mapeo (tambi en conocido como funci on). Este es tal vez el concepto m as extendido e importante en matem aticas. De nici

El conjunto A(S)

Con lo anterior, establecimos la condicion necesaria para la existencia delmapeo inverso σ−1 dado un mapeo σ.

¿Cual es esta condicion? El mapeo σ tiene que ser biyectivo.

Adicionalmente, probamos otras propiedades interesantes de lacomposicion de los mapeos biyectivos. Por ejemplo, σ y σ−1 satisfacenσ−1 ○ σ = iA y σ ○ σ−1 = iB .

Parece que el conjunto de mapeos biyectivos entre dos conjuntos A y Bjunto con la composicion es un objeto matematico que vale la penaestudiar.

Mas adelante veremos que el conjunto de mapeos biyectivos de A sobre Aes de suma importancia.

Luis Felipe Gonzalez Rivas (UANL) Teorıa de Grupos 5 de febrero de 2018 27 / 31

Page 38: Teor a de Grupos...Mapeos Comenzaremos con el concepto de mapeo (tambi en conocido como funci on). Este es tal vez el concepto m as extendido e importante en matem aticas. De nici

El conjunto A(S)

Definicion 9

Si S es un conjunto no vacıo, entonces A(S) es el conjunto de todos losmapeos biyectivos de S sobre S .

Luis Felipe Gonzalez Rivas (UANL) Teorıa de Grupos 5 de febrero de 2018 28 / 31

Page 39: Teor a de Grupos...Mapeos Comenzaremos con el concepto de mapeo (tambi en conocido como funci on). Este es tal vez el concepto m as extendido e importante en matem aticas. De nici

El conjunto A(S)

Teorema 1

Si σ, τ y µ son mapeos de A(S), entonces:

1) σ ○ τ esta en A(S);2) (σ ○ τ) ○ µ = σ ○ (τ ○ µ);3) existe un elemento i (mapeo identidad) en A(S), tal que

i ○ σ = σ ○ i = σ;

4) existe un elemento σ−1 en A(S) tal que σ−1 ○ σ = σ ○ σ−1 = i .

Demostracion.

Se sigue de los lemas anteriores.

Luis Felipe Gonzalez Rivas (UANL) Teorıa de Grupos 5 de febrero de 2018 29 / 31

Page 40: Teor a de Grupos...Mapeos Comenzaremos con el concepto de mapeo (tambi en conocido como funci on). Este es tal vez el concepto m as extendido e importante en matem aticas. De nici

El conjunto A(S)

Gracias al Teorema 1 podemos encontrar similitudes entre A(S) y otrasestructuras algebraicas.

Por ejemplo, los enteros Z con la suma tambien satisfacen las propiedadesdel Teorema 1.

¿Existe alguna propiedad que se cumpla en (Z,+) y que no se cumpla en(A(S), ○) 1?

En los enteros la suma es conmutativa. Es decir, si x , y ∈ Z, se satisfacex + y = y + x . Pero, como veremos a continuacion, esto no ocurre demanera general en (A(S), ○).

1Observe que utilizamos esta notacion para indicar que estamos considerando alconjunto junto con su operacion.Luis Felipe Gonzalez Rivas (UANL) Teorıa de Grupos 5 de febrero de 2018 30 / 31

Page 41: Teor a de Grupos...Mapeos Comenzaremos con el concepto de mapeo (tambi en conocido como funci on). Este es tal vez el concepto m as extendido e importante en matem aticas. De nici

El conjunto A(S)

Lema 5

Si S tiene mas de dos elementos, entonces podemos encontrar dos mapeosσ y τ en A(S) tal que σ ○ τ ≠ τ ○ σ.

Demostracion.

Suponga que S tiene mas de dos elementos. Seleccionemos tres elementosdiferentes s1, s2 y s3 en S y definamos el mapeo σ ∶ S → S comoσ(s1) = s2, σ(s2) = s3, σ(s3) = s1 y σ(s) = s para toda s ∈ S diferente des1, s2 y s3. A su vez, definamos el mapeo τ ∶ S → S como τ(s2) = s3,τ(s3) = s2 y τ(s) = s para toda s ∈ S diferente de s2 y s3.

Estos mapeos estan A(S) (es decir, son biyecciones). Ademas(σ ○ τ)(s1) = σ(τ(s1)) = σ(s1) = s2 y (τ ○ σ)(s1) = τ(σ(s1)) = τ(s2) = s3.

Como s1 ≠ s3, podemos concluir que σ ○ τ ≠ τ ○ σ.

Luis Felipe Gonzalez Rivas (UANL) Teorıa de Grupos 5 de febrero de 2018 31 / 31

Page 42: Teor a de Grupos...Mapeos Comenzaremos con el concepto de mapeo (tambi en conocido como funci on). Este es tal vez el concepto m as extendido e importante en matem aticas. De nici

El conjunto A(S)

Lema 5

Si S tiene mas de dos elementos, entonces podemos encontrar dos mapeosσ y τ en A(S) tal que σ ○ τ ≠ τ ○ σ.

Demostracion.

Suponga que S tiene mas de dos elementos. Seleccionemos tres elementosdiferentes s1, s2 y s3 en S y definamos el mapeo σ ∶ S → S comoσ(s1) = s2, σ(s2) = s3, σ(s3) = s1 y σ(s) = s para toda s ∈ S diferente des1, s2 y s3. A su vez, definamos el mapeo τ ∶ S → S como τ(s2) = s3,τ(s3) = s2 y τ(s) = s para toda s ∈ S diferente de s2 y s3.

Estos mapeos estan A(S) (es decir, son biyecciones). Ademas(σ ○ τ)(s1) = σ(τ(s1)) = σ(s1) = s2 y (τ ○ σ)(s1) = τ(σ(s1)) = τ(s2) = s3.

Como s1 ≠ s3, podemos concluir que σ ○ τ ≠ τ ○ σ.

Luis Felipe Gonzalez Rivas (UANL) Teorıa de Grupos 5 de febrero de 2018 31 / 31

Page 43: Teor a de Grupos...Mapeos Comenzaremos con el concepto de mapeo (tambi en conocido como funci on). Este es tal vez el concepto m as extendido e importante en matem aticas. De nici

ANEXO

Luis Felipe Gonzalez Rivas (UANL) Teorıa de Grupos 5 de febrero de 2018 1 / 3

Page 44: Teor a de Grupos...Mapeos Comenzaremos con el concepto de mapeo (tambi en conocido como funci on). Este es tal vez el concepto m as extendido e importante en matem aticas. De nici

Anexo 1: Mapeo exponencial f (x) = ex

Regresar �

Por Peter John Acklam (Own work), via Wikimedia Commons

Luis Felipe Gonzalez Rivas (UANL) Teorıa de Grupos 5 de febrero de 2018 2 / 3

Page 45: Teor a de Grupos...Mapeos Comenzaremos con el concepto de mapeo (tambi en conocido como funci on). Este es tal vez el concepto m as extendido e importante en matem aticas. De nici

Anexo 2: Grafica de las tres raıces de la ecuacion x3= 1

Regresar �

Las tres raıces de la ecuacion x3 = 1. Vease que, para cada x ∈ R, dos deestas raıces siempre se encuentran fuera del eje real Re(x).

Luis Felipe Gonzalez Rivas (UANL) Teorıa de Grupos 5 de febrero de 2018 3 / 3