Académique Documents
Professionnel Documents
Culture Documents
Glosario:
* +
Par canónico: es aquel par ordenado que inicia una determinada serie, y tiene en una de sus
componentes al uno.
Conjunto cociente: es el conjunto formado por todas las clases de equivalencias se llama conjunto
cociente.
* +
Aplicación Canónica: es la función que me asigna a cada elemento del conjunto A su clase de
equivalencia en el conjunto cociente.
A
a Ka
b
Kb
Kc
c
Simbólicamente:
c
( )
Es decir: ( )
Inducción Completa
1. Debemos probar que la propiedad se verifica para . En este caso, la suma se reduce al
primer término, y se tiene:
( )
( ) ( )
( ) ( ) ( ) ( )
Sistemas Axiomáticos
Algebra de Boole
En 1815 George Boole propuso una herramienta matemática llamada Algebra de Boole.
Concepto: el sistema axiomático que conduce al Algebra de Boole consiste en:
1. Términos primitivos son: un conjunto y dos funciones que se denotan con “+” y “.”.
2. Axiomas:
+ y . son dos leyes de composición interna en B.
+ y . son conmutativas.
+ y . son asociativas.
+ y . son distributivas, cada una respecto de la otra.
neutros en B, respecto de + y . que se denotan con “0” y “1” respectivamente.
Todo elemento de a B admite un complementario a´, tal que
Dualidad en el álgebra de Boole: es una proposición que resulta de intercambiar los signos
de las operaciones “+” y “.”, y sus elementos neutros “0” y “1”.
Idempotencia: a . a = a ; a + a = a
Elemento absorbente: a . 0 = 0 ; a + 1 = 1
Involución: (a´)´ = a
Ley de De Morgan: (a . b)´ = a´ + b´ ; (a + b)´ = a´ . b´
( )
3) Definiciones:
de adición: a) ( )
b) ( ) ( )
de multiplicación: a)
b) ( )
Propiedades
Teorema 1
Teorema 2
Para Para ( )
( ) ( ) ( ) ( ) , ( )-
( ) ( ) ,( ) - , ( )-
( ) ( ) , ( )- , ( )-
( ) ( ) ( ) , ( )-
, ( )- , ( )-
Aceptamos
( ) ( )
Teorema 3
Para Para ( )
( ) ( )
( ) ( )
Aceptamos ( ) ( )
( ) ( )
Demostración:
Para Para ( )
( ) ( )
( ) ( )
Aceptamos ( ) ( )
( ) ( )
( ) ( )
( ) ( )
( ) ( )
( ) ( )
Teorema 4
Para Para ( )
( ) ( )
( ) ( )
Aceptamos ( )
( )
( )
( ) ( )
Teorema 5
Para Para ( )
( ) ( ) ( ) ( ) , ( )-
( ) ( ) ( ) ( ) , ( )-
( ) ( ) ( ) , ( )-
Aceptamos ( ) , ( )-
( ) ( ) , ( )- , ( )-
Teorema 6
Para Para ( )
( ) ( )
( )
Aceptamos ( ) ( )
( ) ( )
Teorema 7
Para Para ( )
( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
Aceptamos ( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( )
Otra forma equivalente de la teoría de Peano
Adición:
I.
II. ( ) ( )
Multiplicación:
I.
II. ( )
b) ( ) ( ) , ( ) ( )-
Homomorfismos especiales.
1)
2)
3)
4)
5)
Definición:
El hecho de que una relación de equivalencia sea compatible con una ley de composición
interna definida en un conjunto es de notable importancia, porque induce una ley de composición
interna en el conjunto cociente, es decir, permite operar con clases de equivalencia.
Teorema:
Si es una relación de equivalencia compatible con la ley de composición interna en el
conjunto no vacío , entonces existe en el conjunto cociente una única ley de composición
interna , tal que la aplicación canónica es un homomorfismo. Además, las propiedades
de en se transfieren a .
Para demostrar este enunciado consideramos las siguientes etapas:
b) Veremos ahora que esta ley de composición interna es única, con la condición de que la
aplicación canónica sea un homomorfismo. Para ello, supongamos que además existe
en , con dicha condición. Entonces:
( ) ( ) ( ) ( ) ( )
Es decir: por definición de igualdad de funciones.
( ) , ( ) ( )- ( ) ( ) ( )
,( ) - , ( )- ( ) ( )
( ) , ( ) ( )- ( )
( ) ( ) ( ) ( ) ( ) ( )
Sea ( ) ( ) ( ) ( )
Análogamente se verifica
( ) ( ) ( ) ( )
Análogamente se tiene .
̅ ̅ ̅ ̅ ̅ ̅
̅ ̅ ̅ ̅ ̅ ̅ ̅ ̅
̅ ̅ ̅ ̅ ̅ ̅ ̅ ̅
̅ ̅ ̅ ̅ ̅ ̅ ̅ ̅
̅ ̅ ( ) ( ) ( ) ( ) ( ) ̅
̅ ̅ ( ) ( ) ( ) ( ) ( ) ̅
1) Estructura de monoide
No existe un criterio uniforme en cuanto a la definición de manoide. Claude
Chevalley, “er Fundamental Concepts of Algebra”, lo introduce como un conjunto dotado
de una ley de composición interna, asociativa y con elemento neutro. Pero vamos a adortar
otra definición, que expone Enzo R. Gentile, en “Estructuras Algebraicas monografía N° 3
de la O.E.A.”, en la que se exigen monos condiciones.
Definicion: La dupla ( ) donde , y es una función, es un monoide si y
sólo si es una ley de composición interna en .
Diremos que un monoide ( ) es finito si el conjunto es finito. En el caso que
sea infinito, tendremos que ( ) es un monoide infinito.
2) Estructura de semigrupo
Definicion: La dupla ( ), donde y es una función, es un semigrupo si
y sólo si es ley de composición interna y asociativa en . En otras palabras, un semigrupo
es un monoide asociativo.
En particular, si la ley de composición es conmutativa, entonces el semigrupo se
llama conmutativo o abeliano; y si existe elemento neutro, se dice que el semigrupo tiene
unidad.
3) Estructura de grupo
Definición: Sean un conjunto no vacío G, y una función . La dupla ( ) es un
grupo si y sólo si es una ley de composición interna en , asociativa, con neutro, y tal
que todo elemento de admite inverso respecto de .
Simbólicamente: ( ) es un grupo verifican los siguientes axiomas.
( ) ( )
Si además se verifica:
Entonces el grupo se llama conmutativo o abeliano.
( ) ( )
Regularidad.
Enunciado: Los elementos de todo grupo son regulares.
Hipótesis: ( ) es grupo.
Tesis:
Demostración:
Por hipótesis:
( ) ( )
Por asociatividad
( ) ( )
Ecuaciones en un grupo
Sea ( ) un grupo. Entonces, cada una de las ecuaciones y
admite solución única.
Componiendo los dos miembros de la primera ecuación a izquierda con , se tiene
( )
Por propiedad asociativa
( )
Por existencia del inverso
Inverso de la composición
Enunciado: En todo grupo, el inverso de la composición de dos elementos es igual a la
composición de los inversos en orden permutado.
Hipótesis: ( ) es grupo.
Tesis: ( )
Antes de entrar en el detalle de la demostración, proponemos dos resultados útiles
Subgrupos
Entonces ( ) es un subgrupo de ( ).
Hipótesis: ( ) es grupo
Tesis: ( ) es subgrupo de ( )
I)
II)
III) Si dos elementos cualquiera pertenecen a , entonces el primero,
compuesto con el inverso del segundo, debe pertenecer a .
4) Estructura de Anillo
Sean un conjunto no vacío , y dos funciones: .
Definición: la terna ( ) es un anillo si y sólo si
i. A1 : ( ) es grupo.
ii. A2 : ( ) Semigrupo.
iii. A3 : El producto es distributivo a izquierda y derecha respecto de la suma.
b) Enunciado: En todo anillo, el producto del opuesto de un elemento, por otro, es igual al
opuesto de su producto.
Hipótesis: ( ) es anillo
Tesis: ( ) ( )
Demostración:
Por propiedad distributiva, por existencia del inverso para la suma y producto por 0, se
tiene
( ) ( )
Es decir
( )
Entonces
( ) ( )
De manera similar puede probarse que ( ) ( )