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
p

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. simboliza por . Se

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 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 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} .

A = B , si tienen los

mismos elementos. La igualdad de dos conjuntos se demuestra mediante

Ac , de la siguiente

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

est definida como el

A B = ( A B) ( A B) = ( A B) ( A B) .
2.7. Propiedades

La unin, interseccin y siguientes propiedades. a) Unin e interseccin Asociativa (A B) C = A ( B C ) ( A B) C = A ( B C ) Conmutativa

el complementario, verifican las

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 = ( AB)c = Ac B c Ac B c

Leyes de Morgan

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

nmero arbitrario de conjuntos:

A = Ai
iI

(x A , si x Ai , i I )

MATEMTICAS I

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

A=

i I

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

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 decir, D ( A B) .

B , una correspondencia o relacin

entre A y B es un subconjunto D del producto cartesiano A B , es

Decimos que dos elementos a A estn relacionados si (a, b) D .

e b B se corresponden o

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

f ( X ) = Im( f ) = {b B / x X , f ( x) = b} .

f , llamada f ( X ) es el subconjunto de B definido de la

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

a1 = a2 . f (a1 ) = f (a2 ) entonces

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: , multiplicativa). Al resultado de aplicar la l.c.i. al par (a, b) se le denota por a b , , ,
+ (si es ley aditiva), (si es ley

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

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

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
c

( distributiva )

( A B)
c

( C C c ) =U

= ( A B ) U ( Ac B )
( distributiva )

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

( A B ) ( Ac B ) =

(A A ) B
c

( 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 SOLUCIN: b) D = A B c) D = A B.

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

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

(1)

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

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

c

(A
que :

B ) C = {1, 2, 6} = C ,
c

y tambin se tiene que

( A B C ) = {2} , por lo que se concluye

( 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:
C

Utilizando las leyes de las operaciones entre conjuntos, la anterior expresin se puede simplificar de la siguiente forma:

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

C (1)

(2)

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 b) C c) A d)

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

=( Ac B) ( A B C c ) ( A B C )= = ( Ac B) [( A B ) (C c C )]= ( Ac B) [( A B) U ]= = ( Ac B) ( A B) = = ( Ac A) B = U B = B.
(1) Distributiva : ( A1 A2 ) ( A1 A3 ) = A1 ( A2 A3 ) (2) A Ac = U (3) A U = A
(2) (3) (2) (3)

(1)

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 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. propiedades de las relaciones binarias cumple. SOLUCIN: Estudiar qu

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 .
siguientes enunciados.

Razonar la veracidad o falsedad de los

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 Ahora bien, a
ii ) Simtrica.

se cumple que aa

a + a = 2a = 2 aa

Tendramos que comprobar que ab ba. Sabemos que ab a + b = 2

( + es conmutativa )

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. , en

{ }

Comprobar que esta relacin binaria induce una particin 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 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 aplicacin f: - {1} X , hace inversible a la

x f ( x) =
SOLUCIN:

x 3 2 x2

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

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

x=

2 y 3 2 y 1

28

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 1 , podemos encontrar un valor para x de manera que 2

f ( x ) = y.
La grfica de la funcin es:

60 40 20 -3 -2 -1 -20 -40 -60 1 2 3

en ella se puede ver que la funcin tiene una asntota horizontal en y = 1 , pero que no corta a dicha asntota, es decir, ningn punto tiene 2 como imagen el 1 . Por tanto, el conjunto pedido es 2 {1} . 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.

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 f:
2

30

MATEMTICAS I

Introduccin a las estructuras algebraicas

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

es

inyectiva

sin

14.- En

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

: x e = e x = x.

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 = 3 , veamos si e = 1 funciona como neutro: 2
3 2

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

Como no existe un e que

funcione como neutro para todos los elementos de R , entonces no tiene neutro.
15.- En definidas por: consideramos las dos leyes de composicin internas y a b = a + b ab

ab = a +b 8

Cual de las siguientes afirmaciones es falsa? a) es asociativa en neutro. c) Cada elemento de tiene simtrico con la Ley b) ( ,) posee elemento

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 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
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). 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). 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. lgebra Lineal con lgebra Lineal y Geometra Cartesiana.

MATEMTICAS I

33