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

De Wikilibros, la colección de libros de texto de contenido libre.
  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