C

A
P

T
U
L
O
II

Estru turas
Algebrai as
Objetivos
Con epto de ley de omposi in y sus propiedades.
Cara teriza in de estru turas algebrai as.
Estru tura de grupo y subgrupo.
Homomorsmo y sus propiedades.
Homomorsmo entre grupos.
Estru tura de anillo y uerpo.

J. Bordes

, Dept. Fsi a Teri a (UVEG)

V. Gimnez

ndi e
2

Estru turas algebrai as . . . . . . . . . . . . . . . . . . . . . . .

2.0
2.1
2.2
2.3
2.4
2.5
2.6
2.7
2.8
2.9
2.10
2.11
2.12
2.13
2.14
2.15
2.16
2.17
2.18
2.19
2.20

15

Qu aprenderemos? y Qu hemos de saber ha er? . . . . . . . .

Deni in de ley de omposi in interna. . . . . . . . . . . . . . . . . . . . .
Propiedades notables de las leyes de omposi in. . . . . . . . . . . .
Elementos notables. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Resolu in de e ua iones. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Deni in de grupo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Algunas propiedades inmediatas de los grupos. . . . . . . . . . . . . . .
Deni in de subgrupo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Teorema de ara teriza in de subgrupos. . . . . . . . . . . . . . . . . . . .
Interse in de subgrupos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Deni in de homomorsmo entre grupos. . . . . . . . . . . . . . . . . . . .
Clasi a in de los homomorsmos. . . . . . . . . . . . . . . . . . . . . . . . . .
Imagen del elemento neutro. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Imagen del simtri o. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Imagen de un homomorsmo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
N leo de un homomorsmo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Otras propiedades inmediatas de los homomorsmos. . . . . . . . .
Deni in de anillo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Regla de los signos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Deni in de uerpo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Ejemplos de uerpos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Apndi e . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

A.1
A.2
A.3
A.4
A.5

Deni in de apli a in. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Apli a in exhaustiva o sobreye tiva. . . . . . . . . . . . . . . . . . . . . . . . .
Apli a in inye tiva. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Apli a in biye tiva. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Apli a in inversa. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

16

17
18
18
19
20
21
21
22
22
23
23
24
24
24
25
25
26
26
26
27
27
28

28
29
29
30
30

J. Bordes

, Dept. Fsi a Teri a (UVEG)

V. Gimnez

Qu aprenderemos en este Captulo?

1

Deniremos las leyes de omposi in y sus propiedades ms importantes.

Estudiaremos sus elementos notables: neutro y simtri o respe to de una ley.

Introdu iremos el on epto de estru tura algebrai a de un onjunto respe to de una ley de
omposi in.

Con ello deniremos distintas estru turas algebrai as: grupo, anillo y uerpo y estudiaremos
en profundidad las estru turas de grupo y subgrupo, as omo la ara teriza in de estos
ltimos.

Deniremos el on epto de homomorsmo y sus elementos: n leo e imagen. Asi omo los
distintos tipos de homomorsmos.

Finalmente estudiaremos el aso parti ular de homomorsmos entre grupos.

Autoevalua in: Qu hemos de saber ha er?

1

Entender el on epto de ley de omposi in interna y saber en ontrar sus propiedades.

Dado un onjunto y una ley de omposi in, saber en ontrar su estru tura algebrai a. Por
tanto ono er las propiedades de una ley de omposi in para ada estru tura estudiada:
grupo, anillo y uerpo.

Saber ara terizar los subgrupos de un grupo dado, bien mediante su deni in o mediante
el teorema de ara teriza in.

Cono er el on epto de homomorsmo y saber ara terizar sus elementos as omo sus propiedades. En parti ular saber ara terizar los homomorsmos entre grupos y lasi arlos.

17

J. Bordes

, Dept. Fsi a Teri a (UVEG)

V. Gimnez

Deni in de ley de omposi in interna

Sea G un onjunto de elementos ualesquiera. Llamaremos ley de omposi in
una apli a in que aso ia un par de elementos de G a un y slo un elemento de G:

G G G

interna a

(x, y) x y

(1)

Representamos, pues, on la nota in la ley de omposi in interna de manera que el resultado

de la omposi in de los elementos x e y de G es el elemento z G tal que z = x y .

Propiedades notables de las leyes de omposi in interna

Las leyes de omposi in

las siguientes:

pueden tener algunas propiedades espe ialmente interesantes omo

Aso iativa: la ley de imos que es aso iativa si satisfa e la ondi in:
x ( y z) = ( x y ) z

x, y, z G

(2)

Si la ley es aso iativa, podemos, sin prdida de generalidad, eliminar los parntesis en las
expresiones siguientes:
x ( y z) = ( x y ) z = x y z

Conmutativa: la ley es onmutativa si:

xy = y x

x, y G

(3)

Si la ley no es onmutativa puede todava darse que para dos elementos x, y G se satisfaga,
x y = y x. En este aso, estos elementos se denominan permutables.

Distributiva: La ley es distributiva respe to de la ley si x, y, z G:

x (y z) = (x y) (x z)
(x y) z = (x z) (y z )

(4)

18

J. Bordes

, Dept. Fsi a Teri a (UVEG)

V. Gimnez

Elementos notables
Sea un onjunto G donde se ha denido una ley de omposi in interna, (). Respe to de esta
ley pueden existir algunos elementos que tienen propiedades muy espe iales. Consideraremos los
siguientes:

Elemento neutro: llamaremos elemento neutro de G respe to de la ley (), a todo elemento
e G tal que:

xe = ex = x

x G

(5)

Podemos a ontinua in demostrar el siguiente teorema:

Teorema II.1

Uni idad del elemento neutro

Sea G un onjunto y () una ley de omposi in interna denida en l. Enton es, si existe
un elemento neutro, ste es ni o.
Si existieran dos diferentes, e y e , tendramos que:
xe = ex = x
x e = e x = x

x G
x G

Tomando x = e en la primera e ua in y x = e en la segunda, obtenemos:

e e = e e = e
e e = e e = e

de donde dedu imos que e e = e e = e = e , es de ir que son iguales ontrariamente

a la hiptesis ini ial. Por tanto, el elemento neutro es ni o omo queramos demostrar.

Elemento simtri o: Supongamos que e es el elemento neutro respe to de la ley () en G,

enton es llamaremos simtri o de x a todo elemento x1 G tal que :
x x1 = x1 x = e

(6)

Si existe un elemento x1 de imos que x es simetrizable. A ontinua in demostramos el

siguiente teorema:

Teorema II.2

Uni idad del elemento simtri o

Sea G un onjunto y una ley de omposi in interna aso iativa denida en l. Enton es,
si x tiene simtri o ste es ni o.

Supongamos que no es ni o y que hay al menos dos: x y x . Enton es, utilizando la

propiedad aso iativa de la ley , podemos es ribir que:
x x x = ( x x ) x = e x = x
x x x = x ( x x ) = x e = x

y as x = x . Por tanto, el elemento simtri o de x es ni o omo queramos demostrar.

Notemos que si x tiene simtri o x1 , enton es x1 tambin tiene simtri o y es (x1 )1 = x.

19

J. Bordes

, Dept. Fsi a Teri a (UVEG)

V. Gimnez

Elementos notables ( ontinua in)

Elementos regulares: Tambin se llaman simpli ables. Un elemento x es regular por la dere ha respe to de la ley (), si satisfa e la ley de simpli a in por la dere ha:
siempre que a x = b x = a = b

(7)

a, b G

Por otra parte, un elemento x es regular por la izquierda respe to de la ley (), si satisfa e
la ley de simpli a in por el izquierda:
es decir x a = x b = a = b

(8)

a, b G

Si x es regular por la dere ha y por la izquierda se llama, simplemente, regular.

Notar que la impli a in en el otro sentido es siempre ierta: si a = b a x = b x y
x a = x b.
El siguiente teorema rela iona los elementos regulares y los simetrizables:

Teorema II.3

Elementos simetrizables y regulares

Sea G un onjunto y () una ley de omposi in interna aso iativa denida en l. Enton es,
si x es simetrizable es tambin regular.

Supongamos que a x = b x donde a, b son elementos ualesquiera de G. Puesto

que x es simetrizable, existe x1 simtri o de x. En ese aso podemos operar de la manera
siguiente:
a x = b x = ( a x ) x1 = ( b x ) x1


= a x x1 = b
= a e = b e
= a = b

x x1

Por tanto, x es regular por la dere ha. De la misma manera se demuestra que es tambin
regular por la izquierda y, en onse uen ia, regular, omo queramos demostrar.

Resolu in de e ua iones
Las e ua iones a x = b e y a = b se pueden resolver y tienen solu in ni a x = a1 b
e y = b a1 si () es aso iativa, existe el elemento neutro y a es simetrizable. Demostrmoslo:
a x = b = a1 ( a x ) = a1 b
=

a1 a

x = a1 b

= e x = a1 b
= x = a1 b

20

J. Bordes

, Dept. Fsi a Teri a (UVEG)

V. Gimnez

Deni in de Grupo
Llamaremos grupo a la estru tura algebrai a formada por el par ( G, ), donde G es un onjunto
ualquiera y () una ley de omposi in interna que umple las propiedades siguientes:

i) Aso iativa:
x, y, z G

(9)

e G tal que x G, e x = x e = x

(10)

x G, x1 G tal que x x1 = x1 x = e

(11)

x (y z) = (x y) z

ii) Elemento neutro:

iii) Elemento simtri o:

Si adems, la ley () es onmutativa, el grupo se llama

abeliano.

Ejemplo:

Sea Z = { , n, , 2, 1, 0, +1, +2, , +n, }, el onjunto de los nmeros enteros. Si

onsideramos la ley de omposi in interna suma de enteros (+), enton es ( Z, + ) es un grupo
abeliano. Demostrmoslo:

i) Aso iativa: m + ( n + p ) = ( m + n ) + p.
ii) Elemento neutro: 0 es el elemento neutro.
iii) Elemento simtri o: Todo elemento n tiene simtri o, n.
iv) Conmutativa: n + m = m + n.

Algunas propiedades inmediatas de los grupos

El elemento neutro es ni o.
Todos los elementos tienen un y slo un simtri o.
Se satisfa e: (a b)1 = b1 a1 .
Es evidente porque: (a b) (b1 a1 ) = a b b1 a1 = a e a1 = a a1 = e
Todos los elementeos son simpli ables: a x = b x = a = b a, b, x G
Las e ua iones a x = b e y a = b tienen siempre solu in ni a: x = a1 b e y = b a1 ,

respe tivamente.

21

J. Bordes

, Dept. Fsi a Teri a (UVEG)

V. Gimnez

Deni in de subgrupo
H G es un subgrupo del grupo ( G, ) si y slo si H es tambin un grupo respe to de la
misma ley interna (), es de ir ( H, ) yiene estru rura de grupo.
Desglosemos las ondi iones de subgrupo. H G es subgrupo de ( G, ) si:

i) Parte estable:
x, y H, x y H,

(12)

para que () sea ley de omposi in interna en H .

ii) Elemento neutro:

Si e G es el elemento neutro de G, e H,

(13)

el elemento neutro ha de estar in luido en H .

iii) Elemento simtri o:

x H, x1 H,

(14)

los simtri os de los elementos de H estn in luidos en H .

Es obvio que todo grupo ( G, ) tiene siempre dos subgrupos: G y {e}. Estos subgrupos se

denominan impropios. El resto de subgrupos se denominan subgrupos propios.

Teorema de la ara teriza in de subgrupo

Teorema II.4

Cara teriza in de un subgrupo

H G es un subgrupo del grupo ( G, ) si y slo si x, y H , x y 1 H .

Demostremos las dos impli a iones.

Si H G es subgrupo de ( G, ), y H y 1 H . Enton es, si x H tambin lo
estar el produ to x y 1 puesto que H es parte estable respe to de la ley ().

Veamos que umple las ondi iones (12), (13) y (14) para ser subgrupo.

ii) Elemento neutro: Sea x H . Tomando y = x, tenemos que x x1 H , y as e H . El

elemento neutro est in luido en H .

iii) Elemento simtri o: Sea y H . Tomando x = e H , tenemos que e y 1 H , y por

tanto y 1 H . Los simtri os de los elementos de H estn in luidos en H .

i) Parte estable: Sean x, y H , enton es y 1 H . Por tanto, x (y 1 )1 H . Puesto que

(y 1)

= y , podemos on luir que x y H . La opera in es ley interna en H .

Hemos demostrado las dos impli a iones y por tanto el teorema.

22

J. Bordes

, Dept. Fsi a Teri a (UVEG)

V. Gimnez

Interse in de subgrupos
Teorema II.5

Interse in de subgrupos

Sean ( H1 , ) y ( H2 , ) dos subgrupos del grupo ( G, ). Enton es, su interse in H1 H2 es

tambin subgrupo de G.
Puesto que H1 G y H2 G, tenemos que H1 H2 G. Utilizaremos el teorema de la
ara teriza in de subgrupo para demostrar ste.
Sean x, y H1 H2 . Tenemos:

i) Puesto que x, y H1 y H1 es subgrupo, x y 1 H1 .

ii) Puesto que x, y H2 y H2 es subgrupo, x y 1 H2 .
Por tanto, x y 1 H1 H2 y usando el teorema de la ara teriza in de subgrupo, H1 H2 es
subgrupo de G, omo queramos demostrar.
Hay que ha er notar que, en general, H1 H2 no es un subgrupo de G.

Deni in de homomorsmo entre grupos.

Sean dos grupos ( G, ) y ( H, ). De imos que una apli a in f : G H es un homomorsmo
entre los grupos ( G, ) y ( H, ) si:
f ( x y ) = f (x) f (y)

x, y G.

(15)

As, la imagen por un homomorsmo de la omposi in ( on la ley ) de dos elementos de G

es la omposi in ( on la ley ) de las imgenes en H .

Ejemplo:

Sea ( Z, + ) el grupo de los nmeros enteros on la opera in suma de enteros, y ( R {0} , ) el

grupo de los nmeros reales no nulos on la ley produ to de nmeros reales.
Sea la apli a in f entre los dos grupos:
f : Z R {0}
x Z ex R {0}

Enton es, es f il ver que f es un homomorsmo entre ( Z, + ) y ( R {0} , ). Efe tivamente,

onsideremos la imagen de la suma de dos elementos de ( Z, + ):
f (a + b) = ea+b = ea eb = f (a) f (b)

(16)

Por tanto, la imagen de la suma es el produ to de las imgenes y, en onse uen ia, f es un
homomorsmo.

23

J. Bordes

, Dept. Fsi a Teri a (UVEG)

V. Gimnez

Clasi a in de los homomorsmos

Sea f : ( G, ) ( H, ) un homomorsmo. Podemos lasi arlos segn el tipo de apli a in:

Monomorsmo: si la apli a in es inye tiva.

Epimorsmo: si la apli a in es sobreye tiva.
Isomorsmo: si la apli a in es biye tiva.
Endomorsmo: si H = G.
Automorsmo: si H = G y adems es biye tiva; son, pues, los endomorsmos isomorfos.

Imagen del elemento neutro

Teorema II.6

Imagen del elemento neutro

Sea f : ( G, ) ( H, ) un homomorsmo entre los grupos G y H . Enton es, la imagen del

neutro, e, de ( G, ), f (e), es el elemento neutro, , de ( f (G) H, ).
La demostra in es muy sen illa. Puesto que f es un homomorsmo, tenemos que x G:
f (e) f (x) = f (e x) = f (x)

f (x) f (e) = f (x e) = f (x)

(17)

Por tanto, f (e) es el neutro en f (G), es de ir f (e) = , omo queramos demostrar.

Imagen del simtri o

Teorema II.7

Imagen del simtri o

Sea f : ( G, ) ( H, ) un homomorsmo entre los grupos G y H . Enton es, la imagen del

simtri o de x G, f (x1 ), es el simtri o de la imagen de x (f (x)) respe to de (), x G.
La demostra in es muy sen illa. Partimos de las igualdades: x1 x = x x1 = e. Puesto
que f es un homomorsmo, tenemos que x G:
f (x1 ) f (x) = f (x1 x) = f (e) =
f (x) f (x1 ) = f (x x1 ) = f (e) =

(18)

donde hemos usado el teorema II.6 para es ribir f (e) = . Por tanto, f (x1 ) es el simtri o de
f (x), es de ir f (x1 ) = f (x), omo queramos demostrar.

24

J. Bordes

, Dept. Fsi a Teri a (UVEG)

V. Gimnez

Imagen de un homomorsmo
Teorema II.8

Imagen de un homomorfismo

Sea f : ( G, ) ( H, ) un homomorsmo entre los grupos G y H . Enton es, la imagen

( f (G) H, ) es un subgrupo de ( H, ).
Hemos de demostrar que f (G) satisfa e las tres ondi iones de subgrupo:

i) Parte estable: Sean x, y G, y sus imgenes f (x), f (y) f (G). Enton esf (x) f (y) =
f (x y) f (G), porque x y G. Por tanto, la opera in es ley interna en f (G).

ii) Elemento neutro: Por el teorema II.6, el elemento neutro de f (G) es f (e) f (G) y as el
elemento neutro est in luido en f (G).

iii) Elemento simtri o: Por el teorema II.7, el simtri o de f (x) f (G) es f (x) = f (x1 )
f (G). En onse uen ia, los simtri os de los elementos de f (G) estn in luidos en f (G).

Podemos on luir, pues, que f (G) es un subgrupo de H , omo queramos demostrar.

N leo de un homomorsmo
Llamaremos n leo de un homomorsmo f : ( G, ) ( H, ), y lo representaremos por
Nucl(f ), al onjunto de elementos de G uya imagen es el elemento neutro de ( H, ), :
Nucl(f ) { x G / f (x) = H }

(19)

Podemos demostrar el siguiente teorema:

Teorema II.9

N leo de un homomorfismo

Sea f : ( G, ) ( H, ) un homomorsmo entre los grupos G y H . Enton es el n leo de f ,

Nucl(f ), es un subgrupo de ( G, ).

Utilizaremos el teorema II.4. Sean x, y Nucl(f ). Hemos de demostrar que x y 1 Nucl(f ).

Ello, sin embargo, es obvio porque:
f (x y 1) = f (x) f (y 1) = f (x) (f (y)) = () = =

(20)

donde hemos usado que x e y son elementos del n leo y, por tanto, f (x) = f (y) = . Podemos
on luir que x y 1 Nucl(f ) y, en onse uen ia, Nucl(f ) es subgrupo de G, omo queramos
demostrar.

25

J. Bordes

, Dept. Fsi a Teri a (UVEG)

V. Gimnez

Otras propiedades inmediatas de los homomorsmos

Sea f : ( G, ) ( H, ) un homomorsmo entre los grupos G y H . Enton es, son f iles de
demostrar las propiedades siguientes:
Si F G es un subgrupo de G, f (F ) H es un subgrupo de H .
Si I H es un subgrupo de H , f 1 (I) G es un subgrupo de G.
Si G es un grupo onmutativo, f (G) tambin lo es.
Si f es un isomorsmo, f 1 tambin lo es.
f es un monomorsmo si y slo si Nucl(f ) = {e}.
La omposi in de dos homomorsmos es otro homomorsmo.

Deni in de anillo
Sea A un onjunto donde hemos denido dos opera iones o leyes de omposi in internas () y
(). La estru tura algebrai a ( A; , ) es un anillo si se satisfa en las ondi iones siguientes:

i) ( A, ) es grupo abeliano.
ii) La ley es aso iativa: ( x y ) z = x ( y z ).
iii) La ley es distributiva respe to de la ley :
x (y z) = (x y) (x z)

(x y) z = (x z) (y z)

Si existe el elemento neutro para la segunda ley (), el anillo se llama unitario.
Si la segunda ley () es onmutativa, el anillo se llama onmutativo o abeliano.

Regla de los signos

Representaremos por (x) el simtri o (u opuesto) de x respe to de la primera ley () y por 0 el
elemento neutro de (). Enton es, tenemos las propiedades siguientes:
x 0 = 0 x = 0 x A.
En efe to, x x = x (x 0) = (x x) (x 0). De esta forma, (x 0) = (x x) ((x x))
omponiendo el opuesto de (x x). Por la deni in de opuesto, (x x) ((x x)) = 0 y as
tenemos que x 0 = 0. La otra igualdad se demuestra de la misma manera.
(x) y = x (y) = (x y) x, y A.
Puesto que ((x) y) (x y) = ((x) x) y = 0 y = 0, tendremos que (x) y es
el opuesto de x y , es de ir, (x) y = (x y). La otra igualdad se demuestra de la misma
manera.
(x) (y) = x y x, y A.
Usando la propiedad anterior, tenemos: ((x) (y)) = (x (y)) = ((x y)) = x y
porque el opuesto del opuesto es igual a l mismo.

26

J. Bordes

, Dept. Fsi a Teri a (UVEG)

V. Gimnez

Deni in de uerpo
Sea K un onjunto donde hemos denido dos opera iones o leyes de omposi in internas ()
y (). La estru tura algebrai a ( K; , ) es un uerpo si se satisfa en las ondi iones siguientes:

i) ( K, ) es grupo abeliano.
ii) ( K {0}, ) es grupo abeliano.
iii) La ley es distributiva respe to de la ley :
x (y z) = (x y) (x z)

(x y) z = (x z) (y z)

En un uerpo existen los dos elementos neutros que representaremos por 0, el de la primera ley
(), y por 1, el de la segunda ley (). Notar que los elementos neutros son siempre distintos.
Todos los elementos, salvo el 0, tienen simtri o respe to de las dos leyes. El simtri o de
x respe to de la primera ley (), que es usualmente una opera in aditiva, lo denominaremos
opuesto y lo representaremos por x. El simtri o de x respe to de la segunda ley (), que es

normalmente una opera in multipli ativa, lo denominaremos inverso y lo representaremos por

x1 .

Ejemplos de uerpos
El onjunto de los nmeros ra ionales Q on las opera iones suma y produ to de fra iones, es

un uerpo.
El onjunto de los nmeros reales R on las opera iones suma y produ to de nmeros reales, es
un uerpo.
El onjunto de los nmeros omplejos C on las opera iones suma y produ to de nmeros
omplejos, es un uerpo.
El onjunto de los nmeros enteros Z on las opera iones suma y produ to de nmeros enteros,
no es un uerpo.

27

J. Bordes

, Dept. Fsi a Teri a (UVEG)

V. Gimnez

Apndi e del Captulo II: Estru turas Algebrai as.

Deni in de apli a in
Los on eptos de orresponden ia, apli a in y los diferentes tipos de sta, son bsi os para el

apredizaje del lgebra de este urso. Por ello en este apndi e repasaremos estas ideas brevemente.
Sean dos onjuntos ualesquiera A y B . Sea G un sub onjunto del produ to artesiano de A y
B , es de ir, G A B , que se llama graf. Enton es de imos que la terna {A, B; G A B}
dene una orresponden ia entre A y B , y la representaremos por f : A B . Gr amente
tendramos, por ejemplo, la siguiente representa in:

a1
a2
a3
a4

b1
b2
b3
b4
b5

Corresponden ia

Llamaremos imagen de un elemento a A al sub onjunto f (a) de B tal que

f (a) = { b B / (a, b) G }. Notar que la imagen de un elemento de A es en general
un onjunto porque de un elemento de B pueden salir ms de una e ha. Por ejemplo, en la
orresponden ia anterior, f (a1 ) = {b1 , b3 }.
Podemos denir el on epto de imagen re pro a o anti-imagen de un elemento b, que
representaremos por f 1 (b): f 1 (b) es el sub onjunto de elementos de A que tienen b por imagen,
es de ir, f 1 (b) = { a A/ f (a) = b }.
El on epto de orresponden ia es demasiado amplio y po o til en la pr ti a. Por ello intro-

du iremos el on epto de apli a in que es toda orresponden ia entre dos onjuntos en la que
todo elemento del primer onjunto tiene una imagen ni a en el segundo. Gr amente tenemos
por ejemplo:

a1
a2
a3
a4

b1
b2
b3
b4
b5

Apli a in

Demos pues la deni in rigurosa de apli a in: la terna {A, B; G A B} dene una
apli a in entre A y B si a A existe un ni o (!) b B tal que el par (a, b) G.

28

J. Bordes

, Dept. Fsi a Teri a (UVEG)

V. Gimnez

Apli a in exhaustiva o sobreye tiva

Una apli a in f : A B de imos que es exhaustiva o sobreye tiva si la imagen re pro a
de todo elemento del segundo onjunto, B , no es va a. Es de ir, todo elemento del onjunto
de llegada, B , es la imagen de al menos un elemento del onjunto de partida, A. Formalmente,
podemos expresarlo por f (A) = B , el onjunto imagen f (A) es todo B .
Gr amente una apli a in sobreye tiva (a todo elemento del segundo onjunto le llega al

menos una e ha) es, por ejemplo:

a1
a2
a3
a4
a5

b1
b2
b3
b4

Apli a in sobreye tiva

Apli a in inye tiva

Una apli a in f : A B de imos que es inye tiva si elementos diferentes de A tienen
imgenes diferentes en B . Formalmente, a, a A tal que a 6= a f (a) 6= f (a ). Es pre iso
notar que esta deni in es equivalente a la ondi in: si f (a) = f (a ) a = a .
Gr amente una apli a in inye tiva (a todo elemento del segundo onjunto le llega una ni a

e ha o ninguna) es, por ejemplo:

a1
a2
a3
a4

b1
b2
b3
b4
b5

Apli a in inye tiva

Por ejemplo, la apli a in f (x) = x3 es inye tiva. Por otra parte, la apli a in g(x) = x2 no lo
es porque x = 1 tienen la misma imagen g(1) = 1

29

J. Bordes

, Dept. Fsi a Teri a (UVEG)

V. Gimnez

Apli a in biye tiva

Una apli a in f : A B de imos que es

biye tiva si es sobreye tiva e inye tiva a la

vez. Es de ir, en una apli a in biye tiva, todo elemento del onjunto de llegada, B , es la
imagen de un ni o elemento del onjunto de partida, A. Formalmente, podemos expresarlo por
b B ! a A/f (a) = b.
Gr amente una apli a in biye tiva (a todo elemento del segundo onjunto le llega una y

slo una e ha) es, por ejemplo:

a1
a2
a3
a4

b1
b2
b3
b4

Apli a in biye tiva

Apli a in inversa
Sea f : A B una apli a in. Llamaremos orresponden ia re pro a, que representaremos por f 1 : B A a la que aso ia a un elemento b B los elementos a A tales que
f (a) = b.
f 1 no es, en general, una apli a in porque a un elemento de B le pueden llegar ms de una

e ha o ninguna:

a1
a2
a3
a4

b1
b2
b3
b4
b5

b1
b2
b3
b4
b5

Apli a in f

a1
a2
a3
a4

f 1

no es apli a in

Si la apli a in f , sin embargo, es biye tiva, f 1 es siempre apli a in y se llama

inversa:

a1
a2
a3
a4

b1
b2
b3
b4

Apli a in f

b1
b2
b3
b4

apli a in

a1
a2
a3
a4

f 1

es apli a in
30