Conjuntos numéricos/Axiomática de la Teoría de Conjuntos

  1. Notas aclaratorias antes de comenzar

Exposición de la axiomática editar

Principios básicos editar

Conjunto, pertenencia, elemento editar

Nuestro punto de partida son los conceptos primitivos de conjunto, pertenencia a un conjunto y elemento de un conjunto. Como hemos advertido, no supondremos significado alguno a esas palabras. Sólo diremos que los elementos de un conjunto han de ser también conjuntos, y que un conjunto es elemento de otro conjunto si pertenece a ese conjunto, signifique eso lo que signifique. Es decir, un conjunto es un tipo de objeto abstracto (sin mayor descripción) que se puede relacionar o no con otros conjuntos mediante la relación de pertenencia. Esto es todo lo que necesitamos para comenzar.

Cuando un conjunto   pertenece a otro conjunto  , lo denotaremos por  , y, según hemos dicho, diremos que   es un elemento de  .

Inclusión de conjuntos editar

Antes incluso de introducir los axiomas que nos permitirán construir conjuntos, podemos definir otra relación entre conjuntos, basándonos en la relación de pertenencia. Es la relación de inclusión de conjuntos.

Dados dos conjuntos   y  , diremos que   es un subconjunto de  , o que   está incluido en   si todo elemento de   es un elemento de  , es decir, si se cumple que   (" " se lee como "implica"). Esto suele denotarse por   o también como  .

La axiomática de Zermelo-Fraenkel editar

La Historia de la Matemática nos ha mostrado que el uso intuitivo del concepto de conjunto lleva a contradicciones. Para evitarlas, los matemáticos usan una serie de axiomas para trabajar con conjuntos. Son los siguientes:

  1. Axioma de Extensión
  2. Esquema Axiomático de Separación
  3. Axioma de la Unión
  4. Axioma de las Partes
  5. Axioma de Formación de Pares
  6. Esquema Axiomático de Sustitución
  7. Axioma del Infinito
  8. Axioma de Regularidad
  9. Axioma de Elección