Introduccin a las estructuras algebraicas

1. INTRODUCCIN A LAS ESTRUCTURAS

ALGEBRAICAS
SUMARIO:
INTRODUCCIN
OBJETIVOS
INTRODUCCIN TERICA
1.- Conjuntos y Subconjuntos.
2.- Operaciones con Conjuntos. Propiedades.
3.- Relaciones Binarias: Equivalencia y Orden.
4.- Aplicaciones.
5.-Tipos de Aplicaciones. Composicin de Aplicaciones.
6.- Grupos, Anillos y Cuerpos.
PROBLEMAS RESUELTOS.
BIBLIOGRAFA

1
MATEMTICAS I
 Guerra, N.; Lpez, B.; Quintana, M.P.; Surez, A.

INTRODUCCIN
En este captulo se ha tratado de introducir el lenguaje en el que se
expresan las Matemticas por lo que inicialmente puede resultar
innecesario tratar de buscar aplicaciones de algo cuya utilidad es servir
de fundamento. Esto ya de por si es suficiente aplicacin. Sin embargo,
dado el inters eminentemente prctico de un estudiante de Ingeniera
conviene utilizar algunas aplicaciones del lenguaje de la Teora de
Conjuntos como motivacin para su inters. Podemos destacar algunas
utilidades que vienen dadas fundamentalmente como consecuencia de su
capacidad expresiva:
- La idea de correspondencia o aplicacin es el modo natural de
representar leyes fsicas y el entender stas como pares ordenados resulta
adecuado a la hora del tratamiento informtico de un problema concreto.
Por ejemplo, si entendemos una aplicacin que a un punto de una lmina
le asigna una temperatura como una terna de nmeros reales en la que los
dos primeros representan la posicin del punto y el tercero la
temperatura, podremos construir un programa de ordenador que
represente el calentamiento de la lmina asignando colores a distintos
rangos de temperatura.
Los mtodos de recuento de subconjuntos son fundamentales en el
clculo de probabilidades para poder enumerar los sucesos posibles y los
favorables. Y el clculo de probabilidades est en el fundamento de la
Estadstica de uso cada vez ms frecuente en el mejoramiento de
procesos industriales.

2
MATEMTICAS I
 Introduccin a las estructuras algebraicas
OBJETIVOS
Conocer y manejar la simbologa y el lenguaje matemtico
necesarios para realizar planteamientos y razonamientos
matemticos que va a utilizar en el desarrollo de la
asignatura y de su carrera.
Conocer y manejar con destreza las propiedades de los
grupos con independencia de la naturaleza de los elementos
del conjunto.
Reconocer ejemplos de los conjuntos numricos usuales.
Deducir consecuencias de la definicin de grupo y
simplificar con soltura expresiones dentro de un grupo.
Construir algunos grupos finitos de inters como el grupo de
las permutaciones de n elementos y el grupo p .

3
MATEMTICAS I
 Guerra, N.; Lpez, B.; Quintana, M.P.; Surez, A.
INTRODUCCION TEORICA

1. CONJUNTOS Y SUBCONJUNTOS

1.1. Conjunto

Un conjunto es una coleccin de objetos que llamaremos

elementos. Un elemento a que est en el conjunto U se dice que
pertenece a U y se escribe a U . Si a no est o no pertenece a U se
escribe a U .
Generalmente, los elementos son denotados con letras minsculas y
los conjuntos con maysculas. Un conjunto puede definirse de las
siguientes formas:
a) Por extensin, indicando todos los elementos del conjunto. En
general, los elementos se representan entre llaves: U a1 a2 an

b) Por comprensin, dando una propiedad que caracterice a los

elementos del conjunto: U nmeros naturales pares

1.2. Subconjunto

Un conjunto A es subconjunto de un conjunto B , A B , si todo

elemento de A lo es de B , es decir, a A a B Si A B , se dice
que A est incluido o contenido en B o que B contiene o incluye a A .

1.3. Conjunto Vaco

El conjunto vaco es un conjunto que no tiene elementos. Se

simboliza por .

4
MATEMTICAS I
 Introduccin a las estructuras algebraicas
1.4. Conjunto Universal o de Referencia

Un conjunto U se dice que es el universal de una serie de

conjuntos con los que se est trabajando si cumple que cualquiera de
estos conjuntos es subconjunto suyo.

2. OPERACIONES CON CONJUNTOS. PROPIEDADES

2.1. Igualdad de conjuntos

Dos conjuntos son iguales, y se escribe A B , si tienen los

mismos elementos. La igualdad de dos conjuntos se demuestra mediante
la doble inclusin A B y B A .

2.2. Conjunto Complementario

Dado un conjunto A de un conjunto universal U se define su

conjunto complementario, y se denota por A o Ac , de la siguiente
forma:

A x U x A .

2.3. Interseccin de conjuntos

El conjunto formado por los elementos comunes de A y B es el

conjunto interseccin de ambos:

A B x U x A y x B .

Si A B , los conjuntos se llaman disjuntos.

5
MATEMTICAS I
 Guerra, N.; Lpez, B.; Quintana, M.P.; Surez, A.
2.4. Unin de Conjuntos

La unin de los conjuntos A y B es el conjunto formado por

todos los elementos de A y por todos los elementos de B :

A B x U x A o x B.

2.5. Diferencia de conjuntos

La diferencia de los conjuntos A y B est definida como el

siguiente conjunto:

A B x U x A y x B A B .

2.6. Diferencia Simtrica

La diferencia simtrica de los conjuntos A y B es el conjunto:

AaB ( A B) (B A) .
Tambin se puede expresar:

AaB ( A B) ( A B) ( A B) ( A B) .

2.7. Propiedades

La unin, interseccin y el complementario, verifican las

siguientes propiedades.
a) Unin e interseccin
Asociativa
(A B) C A (B C)

( A B) C A (B C)

Conmutativa

6
MATEMTICAS I
 Introduccin a las estructuras algebraicas
ABBA
ABBA
Idempotente
AAA
A A A
Simplificacin
A (B A) A

A (B A) A

Absorcin
A U U
A
Distributiva
A (B C)
( A B) ( A C)

A (B C)
( A B) ( A C)

b) Complementario

( A)c A

( A B)c A B
c c

Leyes de Morgan
( AB)c Ac Bc

Nota: Se pueden definir las operaciones unin e interseccin de un

nmero arbitrario de conjuntos:

A Ai (x A , si x Ai , i I )
iI

7
MATEMTICAS I
 Guerra, N.; Lpez, B.; Quintana, M.P.; Surez, A.

A Ai (x A , si x Ai , para algn Ai )
iI

Definicin de Conjunto de las Partes de un Conjunto

El conjunto partes de un conjunto A es el conjunto de todos los
subconjuntos posibles de A , se denota por P( A) .

P( A) B B A .

Definicin de Cardinal de un conjunto finito A

Es el nmero de elementos que tiene dicho conjunto. Se representa
por Card ( A) o por n( A)

Las siguientes frmulas relacionan los cardinales y las operaciones

entre conjuntos:
n( A B) n( A) n(B) n( A B)

n( A B C)
n( A) n(B) n(C) n( A B) n( A C) n(B C) n( A B C)
n( A ) n(U ) n( A)
c

3. RELACIONES BINARIAS: EQUIVALENCIA Y ORDEN

3.1. Producto Cartesiano. Relacin Binaria

3.1.1. Producto Cartesiano
Dados dos conjuntos A y B , el producto cartesiano de A y B
es el conjunto de pares ordenados a b donde a A y b B , esto es:

A B a b a A y b B .

3.1.2. Relacin Binaria

8
MATEMTICAS I
 Introduccin a las estructuras algebraicas
Una relacin binaria definida en los elementos de A es un
subconjunto G del producto cartesiano A A . G se dice que es el
grafo de la relacin.

Si el par a1 a2 G , decimos que a1 est relacionado con a2 y se

simboliza por a1 a2 . Si a1 a2 G , decimos que a1 no est

relacionado con a2 y se simboliza a1 a2 .

Propiedades de una Relacin Binaria
Dentro de las propiedades que puede cumplir una relacin binaria
estn las siguientes:
Re flexiva

a a a A

Simtrica
Si a b entonces b a

Antisimtrica
Si a b y b a entonces a b

Transitiva
Si a b y b c entonces a c

Conexa

a b A a b o b a

Definicin de las Relaciones de Equivalencia

Una relacin binaria definida en un conjunto A y que cumple las
propiedades reflexiva, simtrica y transitiva se dice que es de
equivalencia.

9
MATEMTICAS I
 Guerra, N.; Lpez, B.; Quintana, M.P.; Surez, A.
Clases de Equivalencia
La clase de equivalencia de un elemento a A es el conjunto de
todos los elementos relacionados con l. Se representa por a a , es

decir: a x A x a .

Definicin de Conjunto Cociente

Es el conjunto formado por todas las clases de equivalencia. Se
denota por A .
Definicin de las Relaciones de Orden
Una relacin binaria definida en un conjunto A cumpliendo las
propiedades reflexiva, antisimtrica y transitiva es una relacin de
orden. Se dice entonces que A es un conjunto ordenado.
Relacin de Orden Total
Una relacin binaria definida en un conjunto A es una relacin de
orden total si adems de ser de orden (es decir, verifica las propiedades
reflexiva, antisimtrica y transitiva) posee tambin la propiedad conexa.

4. APLICACIONES

4.1. Primeras Definiciones

4.1.1. Definicin de Correspondencia
Dados dos conjuntos A y B , una correspondencia o relacin
entre A y B es un subconjunto D del producto cartesiano A B , es
decir, D ( A B) .

Decimos que dos elementos a A e b B se corresponden o

estn relacionados si (a b) D .

10
MATEMTICAS I
 Introduccin a las estructuras algebraicas
A veces se hace referencia a la correspondencia con la terna
(E F G) .

El subconjunto D A B se denomina grafo de la

correspondencia.
4.1.2. Definicin de Aplicacin
Una correspondencia entre A y B de grafo D es una aplicacin
de A en B si para cada a A existe un y slo un elemento bB
cumpliendo que (a b) D .

Generalmente las aplicaciones se expresan por fAB,

escribiendo que b f (a) si (a b) D (se lee como que b es la imagen
mediante f del elemento a ).

A es el conjunto de partida de la aplicacin.

B es el conjunto de llegada de la aplicacin.

4.1.3. Definicin de Dominio u Origen de una Aplicacin.

El dominio de la aplicacin f ( Dom( f ) u Or( f ) ) es el
conjunto de elementos de A para los cuales existe imagen, es decir:

Dom( f ) Or( f ) a A b B (a b) D A

4.1.4. Definicin de Imagen de una Aplicacin

La imagen de la aplicacin f es el subconjunto siguiente de B :

Im( f ) b B a A (a b) D

4.1.5. Definicin de Imgenes y Antiimgenes

11
MATEMTICAS I
 Guerra, N.; Lpez, B.; Quintana, M.P.; Surez, A.
Dado un subconjunto X de A , la imagen de X mediante la
aplicacin f , llamada f ( X ) es el subconjunto de B definido de la
forma:

f ( X ) Im( f ) b B x X f (x) b .

Dado un subconjunto Y de B la antiimagen de Y mediante f es

el subconjunto de A , llamado f 1 (Y ) y definido por:

f 1 (Y ) a A f (a) Y .

5. TIPOS DE APLICACIONES. COMPOSICIN DE APLICACIONES

5.1. Aplicaciones Inyectivas, Sobreyectivas y Biyectivas

Una aplicacin f A B se denomina:

i) inyectiva, si dados a1 a2 Or( f ) y f (a1 ) f (a2 ) entonces

a1 a2

ii) sobreyectiva, si Im( f ) B (equivale a decir que

b B a a f (a) b ).

iii) biyectiva, si es inyectiva y sobreyectiva.

5.2. Composicin de Aplicaciones
Sea f una aplicacin de A en B y g una aplicacin de B en C .
Si se verifica Im( f ) Or(g) , se puede definir la aplicacin h

composicin de f y g , h g f , de la forma:

h(x) g f x , x Or( f ) .

12
MATEMTICAS I
 Introduccin a las estructuras algebraicas
5.3. Aplicacin Identidad

Sea i A A , una aplicacin. Se dice que i es la identidad si se

verifica que a A i(a) a .

5.4. Correspondencia y Aplicacin Recproca

Sea f una aplicacin de A en B . El subconjunto D B A

definido de la forma:

(b a) D (a b) D

es una correspondencia entre B y A que se llama correspondencia

recproca de f .

Si la correspondencia recproca es una aplicacin, a dicha

aplicacin se la llama aplicacin inversa o recproca de f y se escribe
f 1 .

i) f 1 f es la funcin identidad en el conjunto Or( f ) .

ii) f f 1 es la funcin identidad en el conjunto Im( f ) .

Nota: Hay que sealar que las dos funciones son distintas, ya que
aunque la ley de obtencin de imgenes es la misma:

f 1
f a a



ff
1


a a

no estn definidas en el mismo dominio.

6. GRUPOS, ANILLOS Y CUERPOS

6.1. Leyes de Composicin

6.1.1. Ley de Composicin Interna

13
MATEMTICAS I
 Guerra, N.; Lpez, B.; Quintana, M.P.; Surez, A.
Dado un conjunto A , una ley de composicin interna en A (l.c.i.)
es una aplicacin A A A , esto es, dado un par de elementos de A le
asocia A .
Utilizaremos la siguiente simbologa para referirnos a una ley de
composicin interna: , T , a , (si es ley aditiva), (si es ley
multiplicativa).
Al resultado de aplicar la l.c.i. al par (a b) se le denota por a b ,

a T b , aab , a b , a b .
Propiedades
Las propiedades que puede cumplir una ley de composicin interna
son:

Asociativa: a b c a (b c) a b c A

Conmutativa: a b b a a b A

Existencia de elemento neutro: e A a e e a a a A

El elemento neutro, si existe, es nico. Si la ley es aditiva, el

elmento neutro lo denotaremos por 0; si es multiplicativa, 1.
Existencia de elemento simtrico. Un elemento a A admite
simtrico a si se tiene que a a a a e . Si la ley es aditiva, el
simtrico se denomina opuesto y si es multiplicativa recproco o inverso.
Tenemos que (a b) b a .

Elementos regulares: Un elemento x es regular a la izquierda si

a b A : x a x b a b

Un elemento x es regular por la derecha si:

a b A a x b x a b

14
MATEMTICAS I
 Introduccin a las estructuras algebraicas
Un elemento es regular si lo es a la izquierda y a la derecha.
Parte estable: Un subconjunto B A es parte estable para la ley
de composicin interna , si a b B , a b B .

Distributiva: Dadas dos leyes de composicin interna y a en

un conjunto A , la ley es distributiva respecto a la ley a si :
a (bac) (a b)a(a c) a b c A

Definicin de Homomorfismo
Dados dos conjuntos A y B con las leyes de composicin interna
y a , respectivamente, una aplicacin f A B se dice que es un
homomorfismo si verifica que : f (a b) f (a)a f (b) a b A

A cada tipo de homomorfismos lo nombraremos de una forma

diferente. As:
- Si A B , el homomorfismo se llama endomorfismo.
- Si f es inyectivo, se llama monomorfismo.

- Si f es sobreyectiva,a se llama epimorfismo.

- Si f es biyectivo, se llama isomorfismo.

- Si f es biyectivo y A B , se llama automorfismo.

Propiedades de un Homomorfismo.
Sea f un homomorfismo. Entonces, sse verifica:

Si e es el elemento neutro de , f (e) es el elemento neutro de a .

Si a es el elemento simtrico de a por , f (a ) es el simtrico de

f (a) por a .

La composicin de homomorfismos es otro homomorfismo.

15
MATEMTICAS I
 Guerra, N.; Lpez, B.; Quintana, M.P.; Surez, A.
Definicin de Ley de Composicin Externa
Dados dos conjuntos A y K , una ley de composicin externa
(l.c.e) es una aplicacin K A A , es decir, a un elemento de
K y a otro elemento de A les hace corresponder uno de A .

6.2. Grupos

Un conjunto G , distinto del vaco, es un grupo si tiene definida una

ley de composicin interna que cumple las propiedades:
Asociativa.
Existe elemento neutro e . ( a e e a a a G ).

Todo elemento tiene simtrico. a Ga G a a a a e

Nota:
- Un grupo con la propiedad conmutativa, se llama conmutativo o
abeliano.
- Si la ley es multiplicativa, el neutro se suele simbolizar por 1 y
al simtrico se le denomina inverso, y se denota por a1 .
- Si la ley es aditiva, el elemento neutro se simboliza por 0 y el
simtrico por a , llamndole opuesto.

6.3. Anillos

Un anillo A es un conjunto con dos leyes de composicin interna

y a , tal que, respecto de la primera tiene estructura de grupo abeliano
y respecto de la segunda es asociativa y distributiva respecto de la
primera, es decir: aa(b c) (aab) (aac) a b c A y
(b c)aa (baa) (caa) a b c A

16
MATEMTICAS I
 Introduccin a las estructuras algebraicas
Si la segunda operacin es conmutativa, el anillo se llama
conmutativo, y unitario si la segunda operacin tiene elemento neutro.
La notacin habitual de un anillo es ( A ) , denotndose por 0 el
elemento neutro de la primera ley (ley suma) y por 1 al elemento neutro
de la segunda ley (ley producto), en caso de que exista. Utilizaremos
dicha notacin habitualmente.

6.4. Cuerpos

Un cuerpo K es un anillo unitario ( A ) en el que todo elemento

distinto de 0 tiene inverso.
Si la segunda ley es conmutativa, el cuerpo es conmutativo.

17
MATEMTICAS I
 Guerra, N.; Lpez, B.; Quintana, M.P.; Surez, A.
PROBLEMAS RESUELTOS
1.- Siendo A B C subconjuntos de U (conjunto universal),
simplificar la siguiente expresin

A B C A B C A B
c c

SOLUCIN:
(distributiva)

A B C A B C A B
c c

A B C C c Ac B (C C)U
c

( ABU AB )

A B U A B c
A B Ac B

(distributiva) ( A Ac )U

( A Ac ) B
U B B

2.- Siendo A B C subconjuntos de U , y dado el conjunto

D [ Ac B C] A B C , razonar la veracidad o
c

falsedad de las siguientes afirmaciones:

a) D A b) D A B c) D A B
SOLUCIN:

Se realizaran las siguientes operaciones de conjuntos para

simplificar la anterior expresin.
D Ac B C A B C A B c C A B C
c

A Bc A B C



(1)



A Bc C

18
MATEMTICAS I
 Introduccin a las estructuras algebraicas
Sabemos que se cumple lo siguiente:

(1) A B A A B A B A B A B A B
C c C

De aqu se puede concluir que las opciones a), b) y c) son todas

falsas. No obstante se puede llegar a la misma conclusin con un
ejemplo en concreto:

Sea A 12 3 , B 2 4, C 1 2 6 , y el conjunto total

U 1 2 3 4 5 6

A B 1 2 3 5 6 , por lo tanto
c
c
Entonces se tendra que:

A B C 1 2 6 C
c
c

y tambin se tiene que A B C 2 , por lo que se concluye

que :
Ac B c C A B C 1 2 6 C , que efectivamente

no se corresponde ni con la opcin a), ni con la b), ni con la c).
3.- Siendo A B C subconjuntos de U , simplificar la siguiente
C C
expresin conjuntista A B A C A B
C
.

SOLUCIN:
Utilizando las leyes de las operaciones entre conjuntos, la anterior
expresin se puede simplificar de la siguiente forma:
A B A C AC B C C (1) A B A C A B (2)

(3)

A B A C A B

19
MATEMTICAS I
 Guerra, N.; Lpez, B.; Quintana, M.P.; Surez, A.
(1) Aqu se han usado las Leyes de Morgan de conjuntos:

A B AC BC , al mismo tiempo tambin se ha usado la

C

propiedad que nos dice que ( AC )C A

(2) Aqu nicamente se ha tenido en cuenta que A A A

(3)

A C A ( A C) ( A B) A B A C A B
4.- Siendo A, B y C subconjuntos de U entonces el conjunto
( Ac B) [( A B) C c ] ( A B C) con cul de los siguientes se
corresponde?
a) B b) C c) A d)

SOLUCIN:

( Ac B) [( A B) Cc ] ( A B C)
(1)

( A B) ( A B C ) ( A B C)
c c

(2) (3)

( A B) [( A B) (C C)] ( A B) [( A B) U ]
c c c

( Ac B) ( A B)

(2) (3)

( A A) BU B B
c

(1) Distributiva ( A1 A2 ) ( A1 A3 ) A1 ( A2 A3 )
(2) A Ac U
(3) A U A

20
MATEMTICAS I
 Introduccin a las estructuras algebraicas
5.- De 100 ordenadores, 80 tienen un virus A, 35 tienen un
virus B, y 12 no tienen ningn virus. Cuntos ordenadores poseen
los dos virus?
SOLUCIN:
Si llamamos:

A ordenadores que tienen el virus A y si llamamos:

B ordenadores que tienen el virus B

Como slo hay 12 ordenadores sin virus, entonces 100 12 88

ordenadores tienen algn 7 virus, es decir el cardinal de A B es 88 :
n( A B) 88

Por otro lado, n( A) 80 y n(B) 35

Sabemos, por otro lado que: n( A B) n( A) n(B) n( A B)

n( A B) n( A) n(B) n( A B)

Luego: n( A B) 80 35 88 27

Es decir hay 27 ordenadores que poseen los virus A y B.

6.- Sea la relacin binaria definida entre elementos de \

xy x y Estudiar qu tipo de relacin es (equivalencia,
orden total u orden parcial).
SOLUCIN:
Veamos qu propiedades son las que cumple la relacin .
i) Reflexiva.

x \ se tiene que x x , por lo tanto se puede decir que x x

(no se cumple la condicin de , pero s la del ).

21
MATEMTICAS I
 Guerra, N.; Lpez, B.; Quintana, M.P.; Surez, A.
Luego s es reflexiva.
ii) Simtrica.

Si xy yx
Si xy x y , pero de aqu no se obtiene que y x .Las dos
condiciones slo se darn cuando x y

Por ejemplo, sea x 3 e y 4 , se tiene que 3 4 34 . Sin

embargo 43 43
Luego, no es simtrica.
iii) Antisimtrica.

Lo que tendramos que ver es que: xy y yx x y

xy x y
xy
yx y x
Luego s es antisimtrica.
iv) Transitiva.
xy
Tendramos que ver que: x z
e yz
xy x y

Tenemos que e x y z x z xz
yz y z

Por lo tanto s es transitiva.

v) Conexa.

Habra que ver que dados x y R , se tiene que: xy yx

22
MATEMTICAS I
 Introduccin a las estructuras algebraicas
Ahora bien, si x y \ , lo que podemos asegurar es que o x y o
y x es decir, efectivamente se tiene que o xy o yx Por lo
tanto, la relacin es conexa.
i) Para que la relacin sea de equivalencia es necesario que se
cumplan las propiedades reflexiva, simtrica y transitiva. En este caso en
particular no se cumple la simtrica por lo que no es de equivalencia.
ii) Para que la relacin sea de orden tiene que cumplir las
propiedades reflexiva, antisimtrica y transitiva. cumple todas estas
propiedades, por lo que es una relacin de orden. Adems como se
cumple la propiedad conexa, ser de orden total.
7.- Sea la relacin binaria definida en el conjunto de los
tringulos del plano por dos tringulos T 1 y T 2 estn relacionados
si y slo s tienen al menos un ngulo igual. Estudiar qu
propiedades de las relaciones binarias cumple.
SOLUCIN:
i) Reflexiva. S lo es porque un tringulo T 1 , tiene todos los
ngulos iguales consigo mismo, obviamente.
ii) Simtrica. Si un tringulo T 1 est relacionado con otro
tringulo T 2 ambos tienen al menos un ngulo igual, por lo tanto
tambin podemos decir que T 2 tiene al menos un ngulo igual a T1 , o lo
que es lo mismo, T 2 est relacionado con T 1 Es decir si T 1 T 2
T2 T1

iii) Transitiva. Si T 1 T 2 entonces sabemos que T 1 y T 2

tienen al menos un ngulo igual. Por otro lado si se cumple que T 2

23
MATEMTICAS I
 Guerra, N.; Lpez, B.; Quintana, M.P.; Surez, A.
T 3 , lo que sabemos es que T 2 tiene al menos un ngulo igual con T 3 ,
pero en ningn momento eso implica que T 1 tenga algn ngulo igual

con T 3 , es decir, no podemos concluir que T 1 est relacionado con T 3

Por lo tanto la relacin no es transitiva.

iv) Antisimtrica. Si T 1 T 2 y T 2 T 1 entonces podemos

concluir que T 1 T 2 ? La respuesta es evidentemente que no, ya que lo
nico que podemos asegurar es que al menos tienen un ngulo igual, pero
de los dems ngulos no sabemos nada. Por lo tanto no es antisimtrica.
No puede ser una relacin de equivalencia porque para ello tendra
que ser reflexiva, simtrica y transitiva y en este caso en particular no se
cumple la transitividad.
Por otro lado tampoco puede ser de orden porque para ello se exige
la reflexiva, antisimtrica y transitiva y en esta relacin fallan la
antisimetra y la transitividad.

8.- Sea la relacin binaria definida en {01 2 3 4} por

ab a b 2 Razonar la veracidad o falsedad de los
siguientes enunciados.
a) El conjunto cociente tiene un nico elemento.
b) El conjunto cociente slo tiene 2 elementos.
c) El conjunto cociente slo tiene 3 elementos.
d) La relacin no es de equivalencia.
SOLUCIN:
Veamos en primer lugar que se trata de una relacin de
equivalencia:

24
MATEMTICAS I
 Introduccin a las estructuras algebraicas
i) Reflexiva.

Tendramos que comprobar que a se cumple que aa

Ahora bien, a a a 2a 2 aa

ii) Simtrica.

Tendramos que comprobar que ab ba

( esconmutativa )
Sabemos que ab a b 2 b a 2 ba

iii) Transitiva.

Lo que habra que ver es que ab y bc ac

Sabemos que ab a b 2 y bc b c 2

Con estos datos podemos escribir que a c (a b) (b c) 2b

(2b2)
2 2 2b 2 ac

Como la relacin es reflexiva, simtrica y transitiva entonces se

trata de una relacin de equivalencia.

Veamos cul es la clase de equivalencia de un elemento a

a a b a b 2
Para que al sumar dos nmeros

naturales entre s nos de una cantidad par, slo hay dos opciones:
i) que ambos nmeros sean pares.

ii) que ambos nmeros sean impares.

Al sumar un nmero par con un nmero impar siempre

obtendremos un impar.

25
MATEMTICAS I
 Guerra, N.; Lpez, B.; Quintana, M.P.; Surez, A.
Por lo tanto, slo habrn dos clases de equivalencias: la de los
nmeros pares y la de los nmeros impares.

a b a es par y
b es impar ,

como cada clase de equivalencia est representada por un elemento

de su clase, si tomamos el 2 como representante de los pares y el 1 como
representante de los impares, obtenemos que:

1 2 .

a) Falso.
b) Verdadero.
c) Falso.
d) Falso.

9.- En \ definimos la relacion binaria ab a a b b

2 2

Comprobar que esta relacin binaria induce una particin en \ , en

la que cada clase contiene dos elementos.
SOLUCIN:
Veamos en primer lugar que se trata de una relacin de
equivalencia:
i) Reflexiva

a R se cumple que a2 a a2 a por lo tanto aa

ii) Simtrica

ab a2 a b2 b b2 b a2 a ba
iii) Transitiva

26
MATEMTICAS I
 Introduccin a las estructuras algebraicas
ab a a b b
2 2

a a c c ac
2 2
y
bc b2 b c2 c

Como se cumplen i) , ii) y iii) , tenemos que la relacin es de

equivalencia. El conjunto cociente de esta relacin \ a a R

nos da una particin de \ .

a {b R ab} a a vamos a ver si hay algn otro elemento en

la clase de a

ab a2 a b2 b a2 b2 b a (a b)(a b) (a b)

a b 1 b 1 a luego a {a 1 a}

10.- En el conjunto de los nmeros reales definimos la relacin

binaria, xy ex ey , analizar las propiedades de esta relacin
binaria.
SOLUCIN:
Reflexiva.

si es reflexiva ya que x \ ex ex xx
Simtrica

xy ex ey ey ex yx

Antisimtrica.
xy ex ey
e e x y
x y

yx e y ex

Transitiva.

27
MATEMTICAS I
 Guerra, N.; Lpez, B.; Quintana, M.P.; Surez, A.
xy ex ey
e e xy
x z

yz ey ez

Por tanto, se trata de una relacin binaria que es de equivalencia y

de orden al mismo tiempo.

11. Analizar qu subconjunto X \ , hace inversible a la

aplicacin

f: \ -1 X

x f (x) x3

2 x2

SOLUCIN:

Para poder definir f 1 tenemos que tener una biyeccin. Para ello
en primer lugar vamos a asegurarnos de que f es inyectiva.

f (x) f ( y)
x y
x3 y3
f (x) f ( y) 2 x2 2 y2

2xy 2x 6 y 6 2xy 2 y 6x 6

4x 4 y x y f es inyectiva

Para conseguir que f sea tambin sobreyectiva tenemos que

restringir el conjunto de llegada a Im ( f ) , es decir, tenemos que ver qu

valores de \ no tienen antiimagen, la imagen de f ser todo \ menos

dichos puntos:
y x3
2 x2
y(2x 2) x 3 2xy 2 y x 3 x(2 y 1) 2 y 3

x 22 yy3
1

28
MATEMTICAS I
 Introduccin a las estructuras algebraicas
Si y es imposible encontrar un valor para x ya que dara
1
2

x 40

Luego y 12 podemos encontrar un valor para x de manera que

f (x) y

La grfica de la funcin es:

60

40

20

-3 -2 -1 1 2 3
-20

-40

-60

en ella se puede ver que la funcin tiene una asntota horizontal en

y 21 pero que no corta a dicha asntota, es decir, ningn punto tiene
como imagen el 1 . Por tanto, el conjunto pedido es \ {1} .
2 2

12.- Sean los conjuntos A 1 2 3 4 5 y B a b c d e y la

aplicacin f cuyo grafo es: G 1 a 2 a 3 c 4 d 5 e . Es

f inyectiva?Es f sobreyectiva?Es f biyectiva?

SOLUCIN:
f no es inyectiva porque los elementos 1 2 A tienen la misma
imagen en B f (1) f (2) a

f tampoco es sobreyectiva porque Im( f ) a c d e B

29
MATEMTICAS I
 Guerra, N.; Lpez, B.; Quintana, M.P.; Surez, A.
f no puede ser biyectiva porque no es ni inyectiva, ni
sobreyectiva.
13.- Si la aplicacin f A B es inyectiva razonar la
veracidad o falsedad de los siguientes apartados:
a) n( A) n(B)

b) n( A) n(B)

c) f tiene inversa.

d) A B

SOLUCIN:
a) Verdadero.
Si f es inyectiva quiere decir que a cada elemento de A f le
asocia un elemento en B , pero cualquier elemento de B ser a lo sumo
imagen de slo un elemento de A . Por tanto B tiene que tener al menos
tantos elementos como A
b) Falso.
Por el razonamiento hecho en el apartado a).
c) Falso.

Vemoslo con un ejemplo: f \

x f (x) x

Es evidente que no existe antiimagen para cualquier nmero real no

perteneciente a los naturales.
d) Falso.

La aplicacin f \ \2

30
MATEMTICAS I
 Introduccin a las estructuras algebraicas
x f (x) ( x x) es inyectiva y sin

embargo \ \ 2
14.- En \ se define la ley de composicin interna dada por:
x y 2xy 3x 3y 3 . Comprobar si esta ley posee neutro y en caso
afirmativo decir qu elemento sera.
SOLUCIN:
Sea el elemento neutro buscado e , dicho elemento tiene que
cumplir que x \ x e e x x
Pero,
x e 2xe 3x 3e 3 x 2xe 2x 3e 3 0 e(2x 3) 2x 3 e 1
siempre que (2x 3) 0 , es decir, cuando x 32

Si x 32 , veamos si e 1 funciona como neutro:

3
2 1 23 2 1 33 2 31 3 3 3 2 2 . Como no existe un e que
funcione como neutro para todos los elementos de R , entonces no
tiene neutro.

15.- En consideramos las dos leyes de composicin internas

definidas por:
ab a b 8 y a b a b ab

Cual de las siguientes afirmaciones es falsa?

a) es asociativa en b) () posee elemento

neutro.

c) Cada elemento de tiene simtrico con la Ley

d) es distributiva respecto de
SOLUCIN:

31
MATEMTICAS I
 Guerra, N.; Lpez, B.; Quintana, M.P.; Surez, A.
a) Esta afirmacin es correcta.
(a b) c (a b 8) c (a b 8) c 8 a b c 16

a (b c) a (b c 8) a (b c 8) 8 a b c 16
(a b) c a (b c)

b) Esta afirmacin es correcta.

El elemento neutro, e, tiene que cumplir que
a e e a a a . Por la definicion de " a e e a Faltara

ver si hay algun valor fijo "e" que verifique a e a a

aeaae8ae80e8

Efectivamente, a 8 a 8 8 a a
c) Esta afirmacion es correcta.

a , vamos a ver que existe, a tal que

a a a a e ( ya sabemos que e 8)

a a e a a 8 8 a a 16 a 16 a
Efectivamente,
a (16 a) a (16 a) 8 a a 16 8 8 e a
d) Veamos que esta afirmacin es falsa:
Tenemos que ver que existen valores de a b y c tales que

a (b c) (a b) (a c)

2 (3 4) 2 (3 4 8) 2 (1) 2 (1) 2(1) 3

(2 3) (2 4) (2 3 6) (2 4 8) (1) (2)

1 (2) (1)(2) 5

3 5 luego, no es distributiva respecto de .

32
MATEMTICAS I
 Introduccin a las estructuras algebraicas

BIBLIOGRAFIA
ANZOLA, M.; CARUNCHO, J.; PREZ-CANALES, G. (1981).
Problemas de lgebra (Tomos 1-7). Madrid. SSAG.
BURGOS, J. (1999). lgebra Lineal y Geometra Cartesiana.
Madrid. McGraw-Hill.
CARBO, R.; DOMINGO, LL. (1987). lgebra Matricial y Lineal.
Espaa. McGraw-Hill.
DE LA VILLA, A. (1994). Problemas de lgebra. Madrid. Clagsa.
ESPADA BROS, E. (1984). Problemas resueltos de lgebra.
Barcelona. EUNIBAR.
FLAQUER, J; OLAIZOLA, J; OLAIZOLA, J. (1996). Curso de
lgebra Lineal. Navarra EUNSA.
FRALEIGH, J.B.; BEAUREGARD, R.A. (1989). lgebra Lineal.
U.S.A. Addison-Wesley Iberoamericana.
GARCA, J.; LPEZ, M. (1990). lgebra Lineal y Geometra.
Alcoy. Marfil.
GRANERO, F. (1994). lgebra y Geometra Analtica. Madrid .
McGraw-Hill. GROSSMANN, S.I. (1996). lgebra Lineal con
aplicaciones. Mxico. McGraw-Hill.
GUERRA, N.; LPEZ, B. (1999). Problemas resueltos tipo test de
lgebra Lineal (Con esquemas tericos). Las Palmas de G.C. El Libro
Tcnico.

33
MATEMTICAS I