Contenido IV de Estructuras Algebraicas

Sistemas Axiomáticos
7.1. INTRODUCCION
El desarrollo le la matemática actual es principalmente abstracto y se realiza, en gran parte,
por la vía de los sistemas axiomáticos, cuyo concepto se expondrá en el presente capítulo. Este
punto de vista representa el avance natural del desarrollo científico, entronca los casos
particulares y concretos en situaciones generales de las cuales aquéllos se derivan, y
esencialmente permite conocer mejor lo que antes se sabía de un modo fragmentario. Como
ejemplo de sistema axiomático se desarrollan el álgebra de Boole y una introducción al sistema
axiomático de Peano que conduce al estudio del número natural. Finalmente se presentan las
estructuras algebraicas de monoide y semigrupo.

7.2. SISTEMAS AXIOMATICOS

7.2.1. Concepto
Un sistema axiomático, en matemática, consiste en los siguientes objetos:

i) términos primitivos constituidos por elementos, conjuntos o relaciones, cuya naturaleza no

queda especificada de antemano.

ii) axiomas. que son funciones preposicionales cuantificadas, relativas a las variables que
representan a los términos primitivos; es decir, son propiedades a las que deben satisfacer
dichos términos primitivos. Los axiomas definen implícitamente a éstos.

iii) definiciones de todos los términos no primitivos.

iv) teoremas, es decir, propiedades que se deducen de los axiomas. Anexada al sistema
axiomático se admite la lógica bivalente, con cuyas leyes es posible demostrar los teoremas de
la teoría. Cuando se sustituyen las variables o términos primitivos por significados concretos,
se tiene una interpretación del sistema axiomático; si esta interpretación es tal que los
axiomas se convierten en proposiciones verdaderas, entonces se tiene un modelo del sistema
axiomático. En este caso, todo lo demostrado en abstracto en el sistema es válido para el
modelo, y nada hay que probar en particular.

Ejemplo 7-1.
Consideramos el siguiente sistema axiomático.

i) términos primitivos. Un conjunto A , y una relación definida en A , es decir,  A  A.

No se especifica aquí cuál es el conjunto ni se define la relación.

ii) axiomas:

A1 : es reflexiva en A

A2 : es antisimétrica en A
A3 : es transitiva en A

Los tres axiomas pueden resumirse en el siguiente: es una relación de orden amplio en A.

iii) definición: en A se considera la relación S , tal que ( a, b )  S  ( b, a ) 

iv) teoremas. Demostramos la siguiente propiedad relativa a S :

S es reflexiva en A .
a : a  A → ( a, a )  R por A1
( a, a )  → ( a, a )  S por iii )

Entonces, por la ley del silogismo hipotético, resulta

a : a  A → ( a, a )  S y en consecuencia, S es reflexiva en A .

Con procedimiento análogo, se demuestra que S es antisimétrica y transitiva en A .

Esto significa que la relación S , inversa de , determina un orden amplio en A .

Damos las siguientes interpretaciones para este sistema axiomático:

a) Si A es el conjunto de los números reales, y es la relación de "menor o igual" se verifican

A1 , A2 y A3 , La relación S es, en este caso, la de "mayor o igual". Se tiene un modelo del
sistema axiomático.

b) Si A es el conjunto de las partes de un conjunto U , y es la relación de inclusión,

entonces valen los axiomas y se tiene otro modelo del sistema.

7.2.2. Propiedades de los sistemas axiomáticos

No toda colección arbitraria de términos primitivos y de propiedades relativas a éstos
caracteriza un sistema axiomático. Es necesario que de los axiomas no se derive ninguna
contradicción, es decir, debe cumplirse la propiedad de compatibilidad o no contradicción. Si
esto no ocurre, o sea, si en el desarrollo del sistema aparecen dos axiomas o teoremas
contradictorios, entonces el sistema es incompatible o inconsistente. La compatibilidad es
eventualmente imposible de probar, ya que habría que agotar todos los teoremas de la teoría
y comprobar su no contradicción. La compatibilidad de un sistema axiomático puede probarse
indirectamente exhibiendo un modelo.

Otras propiedades son aconsejables en todo sistema axiomático, aunque no necesarias, Sin
entrar en detalles, mencionamos las siguientes: independencia del sistema, en el sentido de
que ningún axioma pueda probarse a expensas de los demás.
La no independencia de un axioma no niega la consistencia del sistema. Sea un axioma Ai de
un sistema compatible. Diremos que Ai es independiente si y sólo si el sistema que se deduce
del dado sustituyendo a Ai por su negación, es compatible.

Si un sistema axiomático compatible es tal, que de sus axiomas se deduce la verdad o la

falsedad de todo enunciado relativo a la teoría, entonces se dice que es completo o saturado.
Por otra parte, si dos modelos cualesquiera de un sistema son isomorfos respecto de las
relaciones y operaciones definidas en los mismos, entonces se dice que dicho sistema es
categórico. Se demuestra que la categoricidad de un sistema implica la saturación del mismo.

7.3. ALGEBRA PE BOOLE

7 3.1. Concepto
El sistema axiomático que conduce al álgebra de Boole consiste en

i) términos primitivos son: un conjunto B   y dos funciones que se

denotan con + y .

ii ) axiomas

B1 : : + y  son dos leyes de composición interna en B.

B2 : + y  son conmutativas.

B3 : + y  . son asociativas.

B4 : + y  son distributivas, cada una respecto de la otra.

B5 : Existen neutros en B, respecto de + y de  que se denotan con 0 y 1,

respectivamente.

B6 : Todo elemento a  B admite un complementario a , tal que

a + a = 1 y a  a = 0

Ejemplo 7-2.

Los siguientes son modelos del álgebra de Boole:

a) Si U es un conjunto, entonces el conjunto P (U ) de las partes de U , con la unión

e intersección, constituye un modelo de álgebra de Boole. siendo el conjunto  y el

mismo U los neutros para dichas operaciones. Además, todo subconjunto de U admite

un complementario que satisface B6


b) Si B = 1, 2, 3, 5, 6, 10, 15, 30 = x  
/ x =  denota el
mínimo común múltiplo, y =  significa el máximo común divisor, entonces resulta

otro modelo de álgebra de Boole, donde los neutros son, respectivamente, 1 y 30.

7.32. Dualidad en el álgebra de Boole

Se llama proposición dual correspondiente a una proposición del álgebra de Boole, a

la que se deduce de ella intercambiando los signos de las operaciones + y  , y sus

elementos neutros 0 y 1.

Así. los duales de los seis axiomas relativos a la operación + son los seis

correspondientes de la segunda operación.

El principio de dualidad establece que el dual de un teorema del álgebra de Boole es

también un teorema del mismo sistema axiomático.

7.3.3. Propiedades del álgebra de Boole

Sea ( B, + , ) un álgebra de Boole. Demostramos los siguientes teoremas;

I) Idempotencia

E n efecto,

aB → aa = a
a  B → a 1 = a por B5
→ a  ( a + a ) = a por B6
→ a  a + a  a = a por B4
→ aa + 0 = a por B6
→ aa = a por B5

Por el principio de dualidad se tiene

I ) aB → a + a = a

II ) a + 1 = 1

En efecto, por B6 , B3 , I  y B6 tenemos

a + 1 = a + ( a + a ) = ( a + a ) + a 
= a + a
=1

Por dualidad resulta

 II ) a  0 = 0

III) Ley involutiva.

a  B → ( a ) = a

aplicando sucesivamente B5 , B6 , B2 , B4 , B2 , B6 , B6 , B4 , B6 y B5 resulta

( a ) = ( a ) + 0 = ( a ) + ( a  a )
= ( a ) + ( a  a ) = ( a ) + a  ( a ) + a 
   

=  a + ( a )    a + ( a ) 
   

= 1   a + ( a ) 
 

=  a + a   a + ( a ) 
 

= a +  a  ( a ) 
 
=a +0
=a

IV) Ley de De Morgan

( a + b) = a  b
Consideremos

( a + b )  ( a  b ) = ( a  b )  ( a + b )

 ( ) ( )
=  a  b  a  +  a  b  b 
  

= ( b  a )  a  + ( a  b )  b 
   

= b  ( a  a )  +  a  ( b  b ) 
   
= b  0 +  a  0 = 0 + 0 = 0

O sea

( a + b )  ( a  b ) = 0 (1)

Análogamente, se llega a

( a + b ) + ( a  b ) = 1 (2)
De (1) y (2) resulta

( a + b ) = a  b
La forma dual es

IV ) ( a + b ) = a  b