Introducci on Axiomas Ejemplos

Axiomas de la Teor a de Conjuntos

L ogica y Conjuntos 2014-1

J. Santib an ez

Noviembre - 2013

Santiba nez

Axiomas de la Teor a de Conjuntos

Introducci on Axiomas Ejemplos

Outline

Introducci on

Axiomas

Ejemplos

Santiba nez

Axiomas de la Teor a de Conjuntos

Introducci on Axiomas Ejemplos

Introducci on (i)

En cualquier teor a se inicia a partir de elementos no denidos, por ejemplo: En c alculo (en general, an alisis real), no se dene qu e es un n umero. En l ogica, no se dene qu e es una oraci on gramatical. Siempre es necesario partir de t erminos no denidos, imaginemos que no es as ...

Santiba nez

Axiomas de la Teor a de Conjuntos

Introducci on Axiomas Ejemplos

Introducci on (ii)

En la Teor a de Conjuntos, partiremos de dos objetos sin denir: El concepto de conjunto, y La relaci on de pertenencia () entre conjuntos. De ambos conceptos se tiene una idea intuitiva de sus signicados: Conjunto: colecci on de objetos... x A: x pertenece al conjunto A si... Con la axiomatizaci on se pretende eliminar las posibles inconsistencias que traen consigo tales ideas intuitivas.

Santiba nez

Axiomas de la Teor a de Conjuntos

Introducci on Axiomas Ejemplos

Introducci on (iii)

Figura: Paradoja del Barbero

Santiba nez

Axiomas de la Teor a de Conjuntos

Introducci on Axiomas Ejemplos

Axiomas (i)

Axioma 1 (De existencia) Existe un conjunto sin elementos. Este axioma es el punto de partida de la teor a. Arma que existe al menos un conjunto. Sobre esta base, podr amos construir m as conjuntos.

Santiba nez

Axiomas de la Teor a de Conjuntos

Introducci on Axiomas Ejemplos

Axiomas (ii)

Axioma 2 (De extensi on) Dos conjuntos son iguales si y s olo si tienen los mismos elementos. X =Y x (x X x Y )

Este axioma nos permite denir el signicado de la relaci on = entre conjuntos. Podr amos pensar en la matem atica esta relaci on? B asicamente, se dene considera que los conjuntos quedan determinados por sus elementos.

Santiba nez

Axiomas de la Teor a de Conjuntos

Introducci on Axiomas Ejemplos

Axiomas (iii)
Axioma 3 (Esquema axiom atico de comprensi on) Para todo conjunto A y toda propiedad (funci on proposicional) Px , existe un conjunto cuyos elementos son los elementos de A que tienen la propiedad Px (hacen verdadera a Px ). Esto es x B x A y Px es verdadera Si los conjuntos est an especicados por sus elementos, entonces este axioma nos permite construir subcojuntos con elementos de un conjunto dado que cumplen alguna propiedad. Esto es, dado un conjunto A podemos formar otro conjunto con los elementos de A que cumplen con alguna propiedad Px .

Santiba nez

Axiomas de la Teor a de Conjuntos

Introducci on Axiomas Ejemplos

Axiomas (iv)
Axioma 4 (Del par ) Para cualesquiera conjuntos A y B existe un conjunto C cuyos elementos son exactamente ellos. Esto es x C C x =Ax =B = {A, B }

Con este axioma podemos crear conjuntos a partir de otros. Es el primer paso hacia obtener la uni on de dos conjuntos. *Es el primer axioma que permite construir conjuntos m as grandes.

Santiba nez

Axiomas de la Teor a de Conjuntos

Introducci on Axiomas Ejemplos

Axiomas (v)

Axioma 5 (De la uni on) Para todo conjunto S existe un conjunto U tal que x U si y s olo si existe X S y x X . Tal conjunto U usualmente se denota como S , que se lee uni on de S . Este axioma no nos permite unir dos conjuntos. Nos permite unir los conjuntos dentro de otro conjunto dado. En combinaci on con el Axioma 4, podemos construir la uni on usual de conjuntos.

Santiba nez

Axiomas de la Teor a de Conjuntos

Introducci on Axiomas Ejemplos

Axiomas (vi)

Axioma 6 (Del conjunto potencia) Para cada conjunto X existe un conjunto denotado por P (X ) , tal que x P (X ) x X

Santiba nez

Axiomas de la Teor a de Conjuntos

Introducci on Axiomas Ejemplos

Axiomas (vii)

Axioma 7 (De regularidad) Para todo conjunto A existe u A tal que u y A no tienen elementos en com un.

Santiba nez

Axiomas de la Teor a de Conjuntos

Introducci on Axiomas Ejemplos

Ejemplos (i)
Proposici on 1 El conjunto descrito en el Axioma 1 es u nico. Proposici on 2 Para todo conjunto A, a) A; b) A A. Proposici on 3 Para cualesquiera conjuntos A y B existen conjuntos C y D tales que a) x C b) x D x Ax B x Ax /B
Santiba nez

(C = A B ); (D = A B ).
Axiomas de la Teor a de Conjuntos

Introducci on Axiomas Ejemplos

Ejemplos (ii)

Proposici on 4 Para cualesquiera conjutos A y B existe un conjunto C tal que x C x Ax B (C = A B )

Santiba nez

Axiomas de la Teor a de Conjuntos