Escolar Documentos
Profissional Documentos
Cultura Documentos
Algebraicas
Trabajo Prctico N 4
Estructuras Algebraicas
1. Determinar en cada caso si el par (
a) G1 = { x / x = 2k, k Z };
b) G2 = { x / x = 3 k, k N };
c) G3 = { 1; -1 };
G, * ) es grupo
* es el producto ordinario.
* es la adicin
* es el producto ordinario
i0 =
i1 =
i2 =
v) Si z = (a, b) z = . . .; - z = . . . . ; z
-1
i3 =
i4q+r=
= . . . . z1 z2 = . . . . . z1 z 2 = . . .
b) x2 3 = 0
c) x2 + 1 = 0
3
z3 2 4i
z4 ( 2, 2)
2i
2
c) Expresar z 2 y z3 en forma de pares
ordenados
d) x2 + 3x + 3=0
z2
a) 3 z +z = 3 + 5 i
c) z + i z = 3 + 5 i
b) i z - 2z = - 6 i
6 3i
(3,4)
z
2i
12)
Si B = { 1, 2, 3, 6 }
con las operaciones * y
donde * denota mnimo comn mltiplo
y
denota mximo comn divisor;
Analizar si (B, *, ) resulta un modelo de Algebra de Boole, donde los
neutros son respectivamente 1 y 6.
ii) a * b = b
iii) a * b = 1
iv) a b = a
b) (a b) * (a b) =
Estructuras Algebraicas
Frecuentemente la primera dificultad que encuentra el alumno en el
estudio de las Estructuras Algebraicas es asimilar la existencia de
operadores como * que expresan operaciones que no tienen porqu ser las
clsicas conocidas de adicin, diferencia, producto, cociente, etc.
Sino que pueden expresar otras formas de
composicin (operaciones definidas por una ley
de variacin que puede o no expresarse en
frmulas)
Segn la tabla 2, el operador * genera los
siguientes resultados:
0*0=0
0*1=1
1*0=1
1*1=0
Tabla 1
Si
Tabla 2
G = { 0, 1 }
1a
1b
2) a, b, c : a, b, c G (a * b) * c = a * (b * c)
Asociativa
Definida una operacin * si con tres elementos cualesquiera de G la operacin *
responde a la propiedad asociativa
1c
si adems
Conmutativa
(G, * ) es Anillo
a (b * c) = (a b) * (a c)
(b * c) a = (b a) * (c a)
si . . .
Si (G * ) es Anillo
Y adems posee elemento neutro respecto de
(G * ) es Anillo con Unidad
Un Anillo con unidad cuyos elementos no nulos son inversibles se llama Anillo con divisin
1) a) Si G1 = { x / x = 2k, k Z };
* es el producto ordinario
2 2 =2
k
(k + t)
Sean k, t Z
Si k, t Z (k + t) Z
Luego 2(k + t) G1
Entonces * es L.C.I. En G1
Asociatividad
2 k e = 2 k 2 t = 2(k+t) = 2
Conmutativa
2k 2 t = 2
2k x = 20 = 1
Entonces
(k + t)
entonces
t=0
0Z
k+t=k
2k 2t = 20 k + t = 0
= 2 ( t + k) = 2 t 2
valindonos de la
conmutatividad de la suma en Z
1 c
1) b)
Si
G2 = { x / x = 3 k, k N };
* es la adicin (+)
Asociatividad
3 k + ( 3 t + 3 s ) = 3 k + 3 (t + s) = 3 [k + (t + s)] =
3 [(k + t) + s)] = 3 (k + t) + 3 s = (3 k + 3 t) + 3 s
Existencia de Elemento Neutro en G para *
3k+3t=3k
Entonces
si
3t=e
3 k + 3 t = 3 (k + t) = 3 k
Pero 0 N
Se acepta la asociatividad de la
adicin para los nmeros naturales
entonces . . .
( G2, * ) No es Grupo
1 c
t=0
1) c)
Si G3 = { 1; -1 };
* es el producto ordinario
-1 1 = -1 G3
-1 -1 = 1 G3
1 -1 = -1 G3
-1 e = -1
e=1
1e= 1
e=1
1x=e=1
x=1
-1 x = e = 1
x = -1
1 G3
Existe neutro
Los elementos
de G3 admiten
inverso
* es L.C.I.
en A
c d 2
( a b 2 ) ( c d 2) ( a b 2 )
c Z d Z A
entonces + = es nulo
esto es posible para c = 0
y d=0
es inverso de
( a b 2 ) ( c d 2 ) ( 0,0 2 )
( a c ) ( b 2 d 2 ) ( 0,0 2 )
c=-aZ
b+d=0
d=-bZ
( c d 2 ) ( a b 2 ) A
( a b 2 ) ( c d 2 ) aplicando distributiva ac ad 2 bc 2 bd ( 2 ) 2
( ac 2bd ) ( ad bc ) 2
ac + 2bd Z
es LCI en A
porque . . .
ad + bc Z
( * ) = ( ) * ( )
( * ) = ( ) * ( )
( A, *, )
Es Anillo Conmutativo
(0*1)*0=1*0=1
0*0=0
El inverso para 0 es 0
0*(1*0)=0*1=1
0*1=1
1*1=0
El inverso para 1 es 1
( K, * )
Es Grupo Abeliano
Analizamos ( K {0}, )
De observar la tabla del operador resulta
que todos los resultados posibles son
elementos del conjunto K
00=0
01=0
Asociativa ; verificamos . . .
por ejemplo
10=0
11=1
(01)0=00=0
1 0=0
L.C.I. de en K
0(10)=00=0
11=1
el neutro es el 1
11=1
( K, )
por ejemplo . . .
(0*1)0=10=0
(00)*(10)=0*0=0
0(0*1)=00=0
(00)*(01)=0*0=0
( K, *, )
Es Cuerpo
Nmeros Complejos
7 a-d
7 b-c-e i/ii
1 i
1 i
i 1
2
7 e iii
7 f i/ii
9 a
9 c
9 b
10 i
7 f iii
10 i / ii
y no tiene ubicacin en la
recta de los nmeros reales
z = a + bi
Parte imaginaria
Parte real
z = a + bi = ( a, b )
Si
z = a + bi
7 a-d
Definido el complejo z = a + bi
7 b-c-e i/ii
7 e iii
9 a
7 f i/ii
9 b
10 i
definimos el conjugado de z
z a bi
z a bi
z = a + bi
5
z = a - bi
-z = -a - bi
7 f iii
9 c
10 i / ii
7 a-d
7 b-c-e i/ii
7 e iii
z1 a bi
z2 c di
9 a
z1 z2 ( a bi ) ( c di )
7 f i/ii
9 c
9 b
10 i
7 f iii
10 i / ii
sacamos el imaginario i
como un factor comn
z1 z2 ( a c ) ( bi di ) ( a c ) ( b d ) i
Si los complejos se presentan en forma de par ordenado
Se opera de la misma manera, las partes reales
entre s y las partes imaginarias entre s
Si se trata de una diferencia
z1 ( a , b )
z1 z 2 ( a , b ) ( c , d )
z1 z 2 ( a c , b d )
z1 z2 ( a bi ) ( c di )
z1 z2 a bi c di ( a c ) ( b d ) i
z1 z 2 ( a , b ) ( c , d )
5
9-10
z2 ( c , d )
( a c,b d )
Grficamente
Sean
z1 a bi
7 a-d
z2 c di
7 b-c-e i/ii
7 e iii
9 a
10 i
7 f i/ii
7 f iii
9 c
9 b
10 i / ii
9-10
Producto
Sean z1 a bi z2 c di
7 a-d
z1 z2 ( a bi ) ( c di )
7 b-c-e i/ii
7 e iii
9 a
7 f i/ii
9 b
10 i
z1 z2 ( ac bd ) ( ad bc ) i
En forma de par ordenado . . .
z1 z2 ( a , b ) ( c , d ) ( ac bd ; ad bc )
7
9-10
9 c
10 i / ii
z1 z2 a c a di bi c bi di
7 f iii
Cociente
Sean z1 a bi
z2 c di
z1 ( a bi )
z2 ( c di )
7 a-d
7 b-c-e i/ii
7 e iii
9 a
10 i
7 f i/ii
7 f iii
9 c
9 b
10 i / ii
2
2 2
2
2
c
cdi
cdi
d
i
c
d
z2 ( c di ) ( c di )
Luego se procede como en cualquier
Observe que tenemos ahora una diferencia de
producto entre nmeros complejos,
cuadrados en el denominador
multiplicando los numeradores entre
A esta situacin siempre llegamos porque,
s y los denominadores entre s precisamente para eso es que hemos multiplicado y
dividido la expresin por el conjugado del denominador
De esa manera, en
el denominador
Obteniendo as como resultado del cociente entre
siempre habr un
complejos, otro nmero complejo
nmero real
z1 z 2
5
9-10
( ac bd ) ( ad bc )
i
c2 d 2
c2 d 2
N complejo
z ; - z; 1/z
suma-resta
producto
cociente
operac. grf.
Cuerpo
i0 = 1
v) Si z = (a, b)
i2 = - 1
i3 = - i
en forma de binomio z = a + b i
z ( a ; b ) a bi
z ( a ; b ) a bi
i4q+r = i r
N complejo
a
b
;
2
2
2
2
a b a b
z 1
z1 z 2
z ; - z; 1/z
suma-resta
a
b
a
b
2
2
2
i
2
2
2
2
a
b
a
b
a
b
a
z 1
producto
z1 z 2 ( a , b ) ( c , d ) ( a c , b d )
z1 z2 ( a c , b d )
operac. grf.
z1 z2 ( a bi ) ( c di ) ( a c ) ( b d ) i
el conjugado de la suma
z1 z 2
cociente
z1 z 2 ( a c ) ( b d ) i
resolvemos primero el
producto
z1 z2 ( a , b ) ( c , d ) ( ac bd , ad cb )
z1 z2 ( ac bd , ad cb )
En forma de binomio z1 z2 ( a bi ) ( c di ) ( ac bd ) ( bc ad ) i
el conjugado del producto
z1 z2 ( ac bd ) ( bc ad ) i
despejamos x
6 a) Para resolver x2 1 = 0
x 1 0
2
entonces
Pasamos
1 al 2
miembro
x1 = 1
x 1
x2 = - 1
x 3 0
entonces
Pasamos
3 al 2
miembro
x 1 0
entonces
Y la
potencia
como raz
x 3
x1 = 3
Pasamos
1 al 2
miembro
con x1,, x2 Z
x2 = 3
x 1
2
x1 = i
x 3
con x1,, x2 I (irracionales)
despejamos x
c) Para resolver x2 + 1 = 0
2
x 1
despejamos x
b) Para resolver x2 3 = 0
2
Y la
potencia
como raz
Y la
potencia
como raz
x2 = - i
x 1
la raz cuadrada de
un nmero negativo
resulta siempre un
imaginario
con x1,, x2 C
6 d
d) Para resolver x2 + 3x + 3= 0
Una ecuacin completa de 2 grado
tiene la forma
y la solucin
ax 2 bx c 0
En la ecuacin
a=1
x1 2
x2 + 3x + 3= 0
b=3
x12
x1 2
c=3
3 3
b b 2 4ac
2a
3 9 12
3 32 4 1 3
2
21
x1
3
3
i
2
2
x2
3
3
i
2
2
con x1,, x2 C
N complejo
z2
3
2i
2
z3 2 4i
z ; - z; 1/z
z4 ( 2, 2)
suma-resta
producto
z 4 2 2i
7 b-c-e i/ii
7 e iii
7 f i/ii
7 f iii
cociente
operac. grf.
7 b) c)
z1 ( 5,3)
N complejo
en forma de binomio es z1 5 3i
z ; - z; 1/z
3
3
z2 2i en forma de par ordenado es z2 ( 2 , 2 )
2
en forma de par ordenado es z3 ( 2, 4 )
z 2 4i
suma-resta
producto
z4 ( 2, 2 )
7 e) Para calcular
en forma de binomio es
i) z1 z2
z 4 2 2i
cociente
operac. grf.
3
2i
2
3
3
agrupando reales por un
2i ) 5 3i 2i
2
2
lado e imaginarios por otro
7
3
( 5 ) ( 3 2 ) i 5i
resuelvo primero la diferencia
2
2
de nmeros complejos
3
ii ) 2( z2 z1 ) 2[( 2i ) ( 5 3i )]
2
para multiplicar un entero
3
13
por un complejo,
2[ 2i 5 3i ] 2(
5i )
aplicamos distributiva del
2
2
z1 z2 ( 5 3i ) (
13
2
( 2 ) ( 5i ) 13 10i
2
7 e iii
7 f i/ii
entero en el complejo
7 f iii
N complejo
iii ) z z2 z3 z1 ( 3 2i ) ( 2 4i ) ( 5 3i )
2
procedemos de igual manera que si hubiera sido la suma de
dos complejos, eliminamos los parntesis aplicando la regla
de los signos
z ; - z; 1/z
suma-resta
producto
cociente
3
3
11
operac. grf.
2i 2 4i 5 3i ( 2 5 ) ( 2i 4i 3i )
9i
2
2
2
3
con z1 y z2
para sumar grficamente z1 z2 ( 5 3i ) ( 2i )
2
representados
3
buscamos z2 2i
luego
2
z1 z 2
3
5i
2
7 f i/ii
7 f iii
con z1 y z2
2( z2 z1 ) representados
N complejo
z ; - z; 1/z
suma-resta
2( z2 z1 ) 13 10i
producto
cociente
operac. grf.
z z 2 z 3 z 1
con z1 ; z2 y z3
representados
z1
( z 2 ) z 3 ( z 1 )
lo que hacemos trasladando z3 a continuacin de z2
z2 z3 z1 11 9i
2
N complejo
z ; - z; 1/z
suma-resta
producto
cociente
operac. grf.
z1 z2 ( 5 3i ) (
z1 z 2 5
z3
z 4 1
z ; - z; 1/z
suma-resta
producto
cociente
operac. grf.
3
3
15
9
( 5 ) ( 2i ) ( 3i ) 3i ( 2i )
10i i 6i 2
2
2
2
2
ii )
3
2i )
2
N complejo
15
9
6) ( 10 ) i
2
2
podemos pensar como
3 29
i
2 2
z3
z3
1
1
1
z4
z4
z3 z 4 ( 2 4i ) ( 2 2i )
2 2 2 2i 4 2i 4 2i 2
11
(- 1)
z3
2 2 6 2i
( z 4 ) 1
7 f iii
N complejo
iii )
2 4i 5 3i )
z3 z1 ( 2 4i ) ( 5 3i )
3
3
z2
( 2i )
( 2i )
2
2
operamos en el
numerador
z ; - z; 1/z
suma-resta
3
2i
7 7i 2
7 7i
3
3
3
2i
2i
( 2i )
2
2
2
21
21
14i i 14
2
2
9
2
4i
4
49 7
i
2 2
9
4
4
producto
cociente
operac. grf.
21
21
2
operamos en el
14i i 14i
numerador y en el
2
2
2
denominador
3 ( 2i ) 2
recuerde que i2 = - 1
2
49 7
2
2
49 7
i
i
2 2 49 4 7 4 i
2
2
25 25
2 25 2 25
25
4
4
4
z3 z1 98 14
i
z2
25 25
f(x) x2 2x 1
8) Si
g(x) x2 x
para
calcular
f(2 i)
g(1 i)
f(x) = (2+i)2 - 2 (2 + i) + 1
g(x) = (1+i)2 + (1 + i)
entonces
( 2 i ) 2( 2 i ) 1
f(2 i)
g(1 i)
( 1 i )2 ( 1 i )
2
operando resulta . . .
( 4 4i i 2 ) ( 4 2i ) 1
4 4i i 2 4 2i 1
2
(1 2i i 2 ) (1 i )
1 2i i 1 i
2i 1 1
2i
3 1
i
1 2i 1 1 i 1 3i
5 5
recuerde ( a + b )2 = a2 + 2ab + b2
recuerde i2 = - 1
9) a)
Si
3z z 3 5i
z a bi
3z z 3 5i
resolvemos
z a bi
puede escribirse
entonces . . .
( 3a a ) ( 3b b ) i 3 5i
4a 3
z ; - z; 1/z
suma-resta
3( a bi ) ( a bi ) 3 5i
3a 3bi a bi 3 5i
4a 2bi 3 5i
N complejo
Agrupamos reales e
imaginarios en el 1 miembro
producto
cociente
operac. grf.
2b 5
3
4
5
2
entonces . . .
3 5
i
4 2
9 c
N complejo
i z 2z 6i
z a bi
i z 2z 6i
resolvemos
z a bi
i ( a bi ) 2( a bi ) 6i
ai bi 2a 2bi 6i
2
a 2b 6
de (1)
b 2a
3a 6
i 2 1
producto
cociente
operac. grf.
( 2a b ) ( a 2b ) i 6i
Agrupamos reales e
imaginarios en el 1 miembro
ai b( 1 ) 2a 2bi 6i
2a b 0
suma-resta
entonces . . .
puede escribirse
z ; - z; 1/z
(1) 2a b 0
(2) a 2b 6
reemplazando (1) en (2)
entonces
2 2 b 0 entonces
6
3
Podemos componer un
sistema de dos ecuaciones
con dos incgnitas
a 2( 2a ) 6
a 2
reemplazando a = 2
en (1)
b 4
9 c
N complejo
z a bi
z a bi
z i z 3 5i puede escribirse
resolvemos
z i z 3 5i
entonces . . .
producto
agrupamos reales e
imaginarios en el 1 miembro
( a b ) ( a b ) i 3 5i
a b 5
i 2 1
cociente
operac. grf.
a bi ai b 3 5i
a b 3
suma-resta
( a bi ) i ( a bi ) 3 5i
a bi ai bi 2 3 5i
a bi ai b( 1 ) 3 5i
z ; - z; 1/z
a b 3
a b 5
10 i) la ecuacin
as :
3 7i
5 2i
( 5 2i ) z 3 7i
puede resolverse
despejando z
resolvemos como
cociente de nmeros
complejos
N complejo
3 7i 5 2i
3 7i
5 2i 5 2i
5 2i
z ; - z; 1/z
15 6i 35i 14( 1 )
25 4i 2
1 41i
1
41
i
29
29 29
suma-resta
producto
cociente
operac. grf.
verificamos . . .
2
1
41
1 41i
5
205
i
2
i
82
i
( 5 2i )(
i ) ( 5 2i )(
)
29 29
29
29
3
7
87 203i 87 203i
29
29
29
3 7i
10 ii/iii
ii )
z
( 3, 5 )
( 3, 4 )
as :
N complejo
puede resolverse
despejando z, porque
en ella no aparece z
z ; - z; 1/z
suma-resta
z ( 3, 5 ) ( 3, 4 )
z ( 9 ( 20 ); 12 ( 5 ) 3) ( 29, 3)
iii) resolver
z
2z 3i
6 3i
z
2i
2z 3i
1
6 3i
2 i
2z 3i
7 3i
2 i
Pasamos 1 al
2 miembro
producto
2z 3i 14 7i 6i 3i 2 11 13i
2z 11 10i
operac. grf.
y resolvemos el segundo
2z 3i
6 3i 1 miembro antes de pasar
2 i
2z 3i ( 7 3i )( 2 i )
2z 3i 11 13i
cociente
2z 11 13i 3i
z
11
5i
2
multiplicando el
denominador del primer
trmino
resolvemos nuevamente el
2 miembro
y ahora despejamos z
( 12 6x ) ( 3xi 24i ) ( 12 6x ) ( 3x 24 ) i
Si la parte imaginaria debe ser 0, tendremos . . .
3x 24 0
entonces . . .
24 8
x
8
3
se distingue en la
expresin claramente una
parte real
12
2
6
( 12 6x ) 0
Algebra de Boole
Decimos ( B, * ) es Algebra de Boole
para un conjunto B
si
dos operaciones * y
1)
2)
3)
4)
12
13
a a = 0
13
12)
Si
B = { 1, 2, 3, 6 } con las operaciones * y
donde * denota mnimo comn mltiplo
y
denota mximo comn divisor
m.c.m.
m.c.d.
1
2
2
2
3
6
6
6
3
6
6
6
3
6
6
6
1
1
1
2
3
3
3
6
2
3
6
Todos los resultados de cualquiera de las dos tabla son elementos del conjunto B
Entonces
m.c.m.
m.c.d.
y de
(2*3)*6=6*6=6
2*(3*6)=2*6=6
(62)1=21=1
6(21)=61=1
se verifica con
(21)*(31)=1*1=1
(23)*1=1*1=1
se verifica con
(2*1) (3*1)=2*3=1
m.c.m.
m.c.d.
m.c.m.
m.c.d.
* y
a B, a B : a * a= 1
respecto de * el complemento de
1*6=6
6B
ok
a=1
es
a = 6
2*3=6
6 B ok
3*2=6
6 B ok
a=2
a=3
es
es
a = 3
a = 2
6*1=6
6B
a=6
es
a = 1
ok
m.c.m.
m.c.d.
6B
ok
23=1
3B
ok
32=1
2B
ok
61=1
1B
ok
a B, a B : a a= 0
respecto de el complemento de
a=1
a=2
es
es
a = 6
a = 3
a=3
es
a = 2
a=6
es
a = 1
(a * b) 1 = (a * b) (b * b)
b * b= 1
(a * b) (b * b) = b * (a b)
( a * a ) * b = 1 * b
por complementario a * a= 1
1*b=(1*b)1
( 1 * b ) ( b * b ) = ( 1 b ) * b = b * b = 1
luego
a* b = 1
(a b) * (a a) = a (b*a)
a1=a
entonces:
porque a a = 0
por ser distrubutivo en *
a*b = 1
(a b) * 0 = (a b) * (a a)
a (b * a) = a 1
a partir de (3)
a b
a partir de (4)
con * conmutativo
a b = (a b) b
suponiendo vlido lo que acabamos de probar a b = a
(a b) b = a ( b b )
por asociatividad
a ( b b ) = a 0
a0=(a0)*0
por complementario b b= 0
por ser 0 el neutro de *
( a 0 ) * 0 = ( a 0 ) * (a a) = a (0 * a
)
a b = 0
a (0 * a) = a a = 0 luego
0 * a = a por ser 0
neutro para *
equivale a
equivale a
1) a b = 0
0
1
ser
equivale a F
equivale a V
p q F
3) a * b = 1 ser p q V
a equivale a p
2) a * b = b
ser
p q q
4) a b = a
ser
p q p
a * (b b) = a * 0 = a
equivale a
equivale a
equivale a
equivale a U
a equivale a A=
(a * b) (a * b) = a
equivale a
(A B) (A B) = A ( B B ) = A = A
(a b) * (a b) = a
equivale a
(A B) (A B) = A ( B B ) = A U = A
Es posible que algo haya quedado sin entenderse, te sugiero que vuelvas a repasar,
que resuelvas los ejercicios complementarios y otros de los que dispongas
pero JAMAS TE DESANIMES, no dejes
que los fantasmas te persigan . . .
Las cosas que acabarn con la
raza humana son: la poltica sin
principios, el progreso sin
compasin, la riqueza sin
esfuerzo, la erudiccin sin
silencio, la religin sin riesgo y
el culto sin conciencia
(Annimo)