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

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.

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

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 .

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

A = B , si tienen los

Dos conjuntos son iguales, y se escribe

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

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.

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

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:
A B = ( A B) ( B A) .
Tambin se puede expresar:

A B = ( 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

MATEMTICAS I

Introduccin a las estructuras algebraicas

A B = B A
A B = B A
Idempotente

A A = A
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 =

Ac B c

( AB)c =

Ac B c

Leyes de Morgan

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

MATEMTICAS I

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

A=

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

i I

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( Ac ) = n(U ) n( A).
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

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.

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

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 b B
cumpliendo que (a, b) D .
Generalmente las aplicaciones se expresan por

f : A B,

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 )

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

MATEMTICAS I

11

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

f )(a) = a

f 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

MATEMTICAS I

13

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: ,

F,

+ (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 F b , a b , 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

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
un conjunto A , la ley es distributiva respecto a la ley

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

en
si :

a, b, c A.

Definicin de Homomorfismo

Dados dos conjuntos A y B con las leyes de composicin interna

y

, respectivamente, una aplicacin f : A B se dice que es un

homomorfismo si verifica que : f (a b) = f (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

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

f (a) por

La composicin de homomorfismos es otro homomorfismo.

MATEMTICAS I

15

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 G, a 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 a 1 .
- 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

, 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:

a (b c) = (a b) (a c), a, b, c A

(b c) a = (b a) (c a), 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.

MATEMTICAS I

17

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 c ( Ac B ) .
SOLUCIN:

( A B C ) A B C c ( Ac B )
= ( A B) C C

( A B)

( distributiva )

(A A ) B
c

( C C c ) =U

= ( A B ) U ( Ac B )

( distributiva )

( ( A B ) U = ( A B ) )

( A B ) ( Ac B ) =

( A Ac ) =U

= 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.
c
D = ( Ac B ) C ( A B C ) = A B c C ( A B C ) =

(1)

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

18

MATEMTICAS I

Introduccin a las estructuras algebraicas

Sabemos que se cumple lo siguiente:

(1) A B A A B A B C A B c ( A B ) = A B 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 = {1, 2, 3} , B = {2, 4} , C = {1, 2, 6} , y el conjunto total
U = {1, 2, 3, 4, 5, 6}

Entonces se tendra que:

(A

(A

B ) = {1, 2, 3, 5, 6} , por lo tanto

c

B ) C = {1, 2, 6} = 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
expresin conjuntista ( A B ) ( A C ) AC B C

SOLUCIN:

Utilizando las leyes de las operaciones entre conjuntos, la anterior

expresin se puede simplificar de la siguiente forma:
C (1)

(2)

( A B ) ( A C ) AC BC = ( A B ) ( A C ) ( A B ) =
(3)

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

MATEMTICAS I

19

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

(1) Aqu se han usado las Leyes de Morgan de conjuntos:

( A B)

= AC B C , al mismo tiempo tambin se ha usado la

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

d)

c) A

b) C

SOLUCIN:
( Ac B) [( A B) C c ] ( A B C ) =
(1)

=( Ac B) ( A B C c ) ( A B C )=
(2)

(3)

= ( Ac B) [( A B ) (C c C )]= ( Ac B) [( A B) U ]=
= ( Ac B) ( A B) =
(2)

(3)

= ( Ac A) B = U B = B.
(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 = ).

MATEMTICAS I

21

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
x = y
yx y x

Luego s es antisimtrica.

iv) Transitiva.
Tendramos que ver que:

xy ?
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

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 )
tringulo

Simtrica.

Si un tringulo T 1 est relacionado con otro

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 T 1 , o lo

que es lo mismo, T 2 est relacionado con T 1 . Es decir si T 1 T 2
T 2 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

MATEMTICAS I

23

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

= {0,1, 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.

( + es conmutativa )

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 =

= 2 + 2 2b

(2 b = 2)

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.

MATEMTICAS I

25

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 2 + a = b 2 + b.

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 a 2 + a = a 2 + a por lo tanto aa.

ii ) Simtrica

ab a 2 + a = b 2 + b b 2 + b = a 2 + a ba
iii ) Transitiva

26

MATEMTICAS I

Introduccin a las estructuras algebraicas

ab a + a = b + b

2
2
y
a + a = c + c ac.
bc b 2 + b = c 2 + c
2

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

equivalencia. El conjunto cociente de esta relacin
nos da una particin de

/ = a / a R

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

la clase de a.
ab a 2 + a = b 2 + b a 2 b 2 = 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 e x = e y , analizar las propiedades de esta relacin
binaria.
SOLUCIN:

Reflexiva.
si es reflexiva ya que x , e x = e x xx

Simtrica
xy e x = e y e y = e x yx
Antisimtrica.
xy e x = e y
x
y
y x e = e x = y
yx
e =e

Transitiva.

MATEMTICAS I

27

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

xy e x = e y
x
z
y z e = e xy
yz
e =e

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
- {1} X

f:

x f ( x) =

x 3
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
f ( x) = f ( y )

x 3
2 x2

y 3
2 y 2

2 xy 2 x 6 y + 6 = 2 xy 2 y 6 x + 6
4 x = 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=

x 3
2 x2

x=

28

y (2 x 2) = x 3 2 xy 2 y = x 3 x(2 y 1) = 2 y 3

2 y 3
2 y 1

MATEMTICAS I

Introduccin a las estructuras algebraicas

Si y = , es imposible encontrar un valor para x, ya que dara

1
2

x=

4
0

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

-20
-40
-60

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

y = 12 , pero que no corta a dicha asntota, es decir, ningn punto tiene
como imagen el 12 . Por tanto, el conjunto pedido es

{ 12 } .

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.

MATEMTICAS I

29

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

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

30

f:

MATEMTICAS I

Introduccin a las estructuras algebraicas

x f ( x) = ( x, x)
embargo

14.- En

es

inyectiva

sin

se define la ley de composicin interna dada por:

x y = 2 xy 3 x 3 y + 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 = 2 xe 3x 3e + 3 = x 2 xe 2 x 3e + 3 = 0 e(2 x 3) = 2 x 3 e = 1,
siempre que (2 x 3) 0 , es decir, cuando x 3/ 2
Si x = 32 , veamos si e = 1 funciona como neutro:
3
2

1 = 2. 32 .1 3. 32 3.1 + 3 = 32 32 .

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:

MATEMTICAS I

31

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

e,

neutro,

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
ae = a a + e8 = a e8 = 0 e = 8

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

vamos

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.

MATEMTICAS I

33