-HALMOS, PAUL R. (1967) TEORA INTUITIVA DE LOS CONJUNTOS. (4 reimp.). Barcelona: Editorial CECSA.

SECCION 2

EL AXIOMA DE LA ESPECIFICACION

Todos los principios bsicos de la teora de los conjuntos, con la sola excepcin del axioma de la extensin, estn destinados a la formacin de nuevos conjuntos a partir de los originales. El primero y ms importante de estos principios bsicos en la formacin de conjuntos dice, hablando toscamente, que cualquier cosa sensata que pueda uno proponer para los elementos de un conjunto, define un subconjunto, a saber, el subconjunto de aquellos elementos para los cuales la proposicin es verdadera. Antes de formular este principio en trminos precisos, enfocaremos un ejemplo heurstico. Sea A el conjunto de todos los hombres. La clusula "x es casado" es verdadera para algunos de los elementos x de A y falsa para otros. El principio que estamos ilustrando es aquel que justifica el paso del conjunto A al subconjunto especificado por la clusula dada (o sea, al conjunto de todos los hombres casados). La caracterizacin del subconjunto se indica usualmente con la notacin {x A: x es casado} Anlogamente {x A: x no es casado} es el conjunto de todos los solteros; {x A: el padre de x es Adn} es el conjunto que' contiene a Can v Abel y nada ms; y {x A: x es el padre de Abel} es el conjunto que contiene a Adn y nada ms. Cuidado: una caja que contiene un sombrero y nada ms, no es lo mismo que un sombrero y, anlogamente, el ltimo conjunto de la anterior lista de ejemplos no debe ser confundido con Adn. La analoga entre conjuntos y cajas tiene muchos puntos dbiles, pero, a veces, proporciona un cuadro til de la situacin. Todo lo que falta para la formulacin general precisa que fundamenta los ejemplos anteriores es una definicin de clusula. He aqu una rpida e informal. Hay dos tipos bsicos de clusulas, a saber, proposiciones de pertenencia, x A, y proposiciones de igualdad, A = B;

todas las dems clusulas se obtienen a partir de tales clusulas atmicas*1 por medio de aplicaciones repetidas de los operadores lgicos usuales, sujetas nicamente a las mnimas exigencias de la gramtica y la claridad. Para hacer ms explcita la definicin ( y ms larga) es necesario agregarla a una lista de los operadores lgicos usuales y las reglas de la sintaxis. Una lista adecuada (y, de hecho, redundante) de lo anterior, contiene siete artculos: y, o (en el sentido de cualquiera oo ambos), si entonces(o implica), no si y slo si, para algn (a), para todo (a)

En cuanto a las reglas para la construccin de las clusulas, stas pueden ser descritas de la manera siguiente: (i) Escriba "no" antes de una clusula y encierre el resultado entre parntesis. (El objeto de los parntesis, aqu y en lo sucesivo, es el de evitar ambigedades. Incidentalmente, obsrvese que stos hacen innecesarios a todos los dems signos de puntuacin. Raramente se hace necesario el juego completo de parntesis que requiere la definicin de clusula. Omitiremos tantos parntesis como sea posible sin dar lugar a confusiones. En la prctica normal de las matemticas, que se seguir en este libro, se usan distintos tipos y tamaos de parntesis, pero slo por conveniencia visual. ) ( ii ) Escriba y u o, o si y slo si entre dos clusulas y encierre el resultado entre parntesis. (iii) Reemplace los guiones en "si-entonces por clusulas y encierre el resultado entre parntesis. (iv) Reemplace el guin en "para alguna" o en "para toda" por una letra, siga el resultado por una clusula y encierre todo entre parntesis, (Nada malo sucede si la letra empleada no se presenta en la clusula. De acuerdo con la convencin usual y natural "para alguna y (x A)" significa simplemente "x A". Es igualmente inofensivo que la letra usada haya sido empleada anteriormente con "para alguna-" o "para toda -". Recurdese que "para alguna x (x A)" significa lo mismo que "para alguna y (y A)"; de aqu se sigue que un cambio de notacin sensato evitar siempre las colisiones alfabticas). Estamos ahora en posibilidades de enunciar el principio ms importante de la teora de los conjuntos, al cual se le llama a veces por su nombre alemn Aussonderungsaxiom. Axioma de la especificacin. A todo conjunto A y a toda condicin S(x) corresponde un conjunto B cuyos elementos son precisamente aquellos elementos x de A para los cuales se cumple S(x) Una condicin" es aqu simplemente una clusula. La intencin del simbolismo es la de indicar que la letra x est gratis en la clusula S (x), lo cual significa que x tiene lugar en S (x) cuando menos una vez sin
1

*El autor usa la palabra atmicas en el sentido de elementales, primarias (N. del T.)

necesidad de ser introducida por una de las frases "para alguna x" o "para toda x". Una consecuencia inmediata del axioma de la extensin es que el axioma de la especificacin determina unvocamente al conjunto B. Para indicar la forma en que B es obtenida a partir de A y de S (x), se acostumbra escribir B = {x A : S(x)}. Para obtener una aplicacin interesante e instructiva del axioma de la especificacin, considrese, en el papel de S (x), a la clusula no (x x). Ser conveniente, aqu y en lo sucesivo, escribir x A (alternativamente con "x A") en lugar no (x A); con esta notacin, el papel de S(x) es jugado ahora por x ' x. De ah se sigue que, cualquiera que sea el conjunto A, si B = {x A: x ' x}, entonces, para toda y, (*) y B si y slo si (y A y y e y).

Ser posible que B A? Procederemos a demostrar que la respuesta es no. En efecto, si B A, entonces, o B B tambin (lo cual es improbable pero no obviamente imposible), o bien B B. Si B B, entonces, por ( * ), la suposicin B A implica que B ' Blo cual es una contradiccin. Si B B, entonces otra vez por ( * ),la suposicin B A implica que B B lo cual es, otra vez, una contradiccin. Esto completa la demostracin de que es imposible que B A, por lo cual debemos tener que B A. La parte ms interesante de esta conclusin es el hecho de que existe algo ( es decir, B) que no pertenece A. El conjunto A en este razonamiento fue completamente arbitrario. Luego, hemos demostrado, en otras palabras, que no hay algo que contenga a todo, o, ms espectacularmente, que no hay universo. Universo se usa aqu en el sentido de universo de disertacin, lo cual significa, en cualquier estudio particular, un conjunto que contiene a todos los objetos que intervienen en ese estudio. En introducciones ms antiguas (preaxiomticas) a la teora de los conjuntos, se daba por supuesta la existencia de un universo, y el razonamiento del prrafo anterior se conoca como la paradoja de Russell. La norma es que es imposible, especialmente en matemticas, obtener algo a partir de nada. Para especificar un conjunto, no basta pronunciar algunas palabras mgicas (las cuales pueden formar una clusula tal como "x ' x); es necesario tambin disponer de un conjunto a cuyos elementos puedan aplicarse esas palabras mgicas.