10

SECCIN

AXIOMA DE 2. 1

ESPECIFICACIN.

Se podrfa p e n s a r que como un conjunto es una coleccin de individuos b a s t a i m a g i n a r s e una s e r i e de s t o s y a u t o m t i c a m e n t e queda f o r m a do un conjunto con vida p r o p i a en la t e o r a de Conjuntos. Sm e m b a r go, p a r a d e s g r a c i a del ingenuo y a m b i c i o s o l e c t o r que pretende c a p t a r "toda la c o s a " con una p r i m e r a nnirada e l e m e n t a l , la cuestin no es t a n s i m p l e . En efecto, se e n c o n t r a finales del siglo p a s a d o que aceptando la e x i s t e n c i a de c i e r t o s conjuntos s e llegaba a unas c o n t r a - . dicciones (*) lgicas que ponan en cuestin toda la teora c o n s t r u i d a h a s t a e n t o n c e s . F u B e r t r a n d R u s s e l l quien d e s c u b r i y denunci el p r o b l e m a como lo que se dio en llannar la " P a r a d o j a de R u s s e l l " . Vannosla: L a mayorfa de los conjuntos conocidos no se contienen a s i m i s m o s como e l e m e n t o s . Ejemplo: A ={^a, b , c};; el conjunto de los n m e r o s n a t u r a l e s . L l a m e m o s a e s t o s , conjuntos o r d i n a r i o s . E x i s t e n , no obstante, algunos que gozan de la propiedad de c o n t e n e r s e a s i m i s m o s como e l e m e n t o s . Son pues de la f o r m a : A ={a, b. A ) , E j e m plo de e s t e l t i m o c a s o e s el siguiente conjunto'; "S es el conjunto de todos los conjuntos d e t e r m i n a b l e s mediante una f r a s e de menos de 30 p a l a b r a s " . Con e s t o S = { M , N , P , , , . . S, . . . / pne sto que la f r a s e a n t e r i o r e n t r e connillas que d e t e r m i n a al conjunto S tiene menos de 30 p a l a b r a s . L l a m e m o s este tipo de conjuntos e x t r a o r d i n a r i o s . Concent r e m o s a h o r a n u e s t r a atencin en la c l a s e de todos los conjuntos o r d i n a r i o s . Sea P dicho conjunto. Pregntennos a h o r a si P es o r d i n a r i o o e x t r a o r d i n a r i o . P s e r de uno de los dos tipos y de uno solo. Supongamos a h o r a que P e s o r d i n a r i o . P o r s e r P el conjunto de todos los conjuntos o r d i n a r i o s , t e n d r e m o s que P P y por l tanto P e s ext r a o r d i n a r i o , lo cual constituye una c o n t r a d i c c i n . Supongamos a h o r a qiie el conjunto P e s e x t r a o r d i n a r i o , luego, segn la definicin de conjunto e x t r a o r d i n a r i o P P , p e r o como P es el conjunto de t o d o s l o s conjuntos o r d i n a r i o s y P & P entonces P e s un conjunto.ordinario, lo que constituye una nueva c o n t r a d i c c i n . Un conjunto, p u e s , como P , no t i e n e e x i s t e n c i a en t e o r f a de conjuntos. En g e n e r a l no e x i s t e el conjunto de t o d a s l a s c o s a s (el conjunto u n i v e r so). P o r a h o r a nos i n t e r e s a d e j a r c l a r o qne no podemos suponer que ya e x i s t e n los conjuntos y t r a b a j a r con e l l o s .

(*)

Una c o n t r a d i c c i n es la a f i r m a c i n de una p r o p o s i c i n y su negacin: "R >^. n o R " .

11

E s por e s t o por lo que se p r e s e n t a el axioma de especificacin, que r e c u e r d a lo que conocemos como "deternninacin de un conjunto por c o m p r e n s i n " . Si no podemos a s u m i r los conjuntos como dados t e n e m o s que c o n s t r u i r l o s y el p r i n c i p i o fundamental de produccin de conjuntos es el axioma de e s p e c i f i c a c i n . V e a m o s un e j e m p l o . Supongam o s ya construido el conjunto de los n m e r o s n a t u r a l e s . Sea IN dicho conjunto. i H e ^ ^ 2, 3, 4, 5, I . E s t a b l e z c a m o s una condicin y se la a p l i c a m o s a los e l e m e n t o s de ^ : y = 2n (n e iT^ ). P o r e j e m plo: 6 = 2 x 3 , 22 = 2 x 1 1 , e t c . Otros en c a m b i o no pueden e x p r e s a r s e asf, por ejemplo: 7 = 2 x ^ , l5 = 2 x ? P a r a e s t o s no existe ningn n e A/ tal que multiplicado por dos g e n e r e el n m e r o o s e a , dado IN y una condicin y = 2n se f o n n a un nuevo conjunto: el de los e l e m e n t o s de /V que cumplen la condicin. Otro ejemplo s u r g e al a p l i c a r l e a los puntos (x, y) del plano la condicin x^ + y^ = 25. P a r t i e n do del conjunto de los puntos del plano se fornna un conjunto nuevo: el de los puntos del plano que distan del o r i g e n de c o o r d e n a d a s 5 u n i d a d e s . L a b a s e de produccin de nuevos conjuntos e s t en el hecho de que a los conjuntos los distingue una " p r o p i e d a d " . Y e s t a se e x p r e s a en m a t e m t i c a s mediante r e l a c i o n e s . R e a l m e n t e es esto lo que significa construfr los conjuntos y no a s u m i r l o s como s i hubieran sido c r e a d o s por Dios d e s d e s i e m p r e . Axioma de Especificacin: " P a r a todo conjunto A y cada condicin R c o r r e s p o n d e un conjunto B cuyos e l e m e n t o s son e x a c t a m e n t e aquellos e l e m e n t o s x de A p a r a los c u a l e s se cumple la r e l a c i n R". La fuente p a r a nuevos conjuntos e s , p u e s , la e x i s t e n c i a g a r a n t i z a d a de un conjunto p r i m i t i v o . Los nuevos conjuntos s e r n a s f subconjunt o s del p r i m e r o ( ' ). Notacin; Si el conjunto p r i m i t i v o es A, la condicin es R y el nuevo conjunto e s B , e s t e ltimo puede d e n o t a r s e asf: B = { x e. A / X satisface R } que se l e e : "B es el conjunto de los ele m e n t o s x de A tal que x satisface R". Si o b s e r v a m o s el p r i m e r e j e m plo p r o p u e s t o p r e g u n t a m o s : C m o s a b e m o s que un n a t u r a l d e t e r m i nado satisface la condicin de p o d e r s e e s c r i b i r de la f o r m a y = 2n (1)? B a s t a s u s t i t u i r y por el n a t u r a l de que se t r a t a , p o r ejemplo 7 = 2n (2) (con n B^ ) q u e , e s una r e l a c i n f a l s a . La r e l a c i n (1) la n o t a m o s R f y ] ( r e l a c i n en la que a p a r e c e y) y la (2) R | 7] . E l conjunto B entonces puede denr)tarse a s : B = l^x
A/RX^

es c i e r t a j

o m s sinnplemente

B = |x

A / R

^X||

12 Notacin; Si R es una r e l a c i n y nes i n t e r e s a la a f i r m a c i n que R h a c e s o b r e un objeto x, e s c r i b i r e m o s R | x} . En f o r m a anloga e s c r i b i r e m o s R { X , y | s i se t r a t a de objetos x, y.

2. 2.

E l Conjunto Vacfo.

Como todo el nnundo sabe el conjunto vacfo c a r e c e de e l e m e n t o s , Cnno g a r a n t i z a r la e x i s t e n c i a de un t a l conjunto? P e n s e m o s en la utilizacin del axioma de e s p e c i f i c a c i n . Sea A un conjunto d a d o . Sea X ^ A una r e l a c i n , entonces (x < S A / x <f A j e s un conjunto que no tiene e l e m e n t o s , pues si t u v i e r a se p r o d u c i r a una c o n t r a d i c c i n . L l a m e m o s ^ i a e s t e conjunto. En f o r m a anloga el conjunto 4X L A / X ^ XJ c a r e c e de e l e m e n t o s . Llamemos p'2 ^ e s t e l t i m o . r l t 0Z son g e n e r a d o s por una utilizacin c o r r e c t a del a x i o m a de e s pecificacin. Solo nos r e s t a d e m o s t r a r que el conjunto vacfo es nico lo cual se puede l o g r a r probando que 0i = 0z ' ^ ^ forma s i m i l a r se ,y d e m o s t r a r que cualquier conjunto que no tenga e l e m e n t o s es igual a jj . D e m o s t r e m o s que 0 i = ^2 Hay que d e m o s t r a r que: i) ii) ^1 C P'2 C ^2 01

V e a m o s que 0 i C 02.. E s t a d e m o s t r a c i n se dificulta si e m p e z a m o s a h a c e r l a en f o r m a u s u a l , t o m a n d o vm x S 0 i , p u e s t o que tal s u p u e s to es siemspre falso. U t i l i z a m o s , p u e s , un m t o d o d e m o s t r a t i v o de g r a n i m p o r t a n c i a en la m a t e m t i c a y inuy frecuente en la t e o r a de conjuntos cuando p a r t i c i p a el conjunto vacfo en la d e i n o s t r a c i n . E l m t o do c o n s i s t e en p a r t i r negando la t e s i s . Si e s t e hecho conduce a una c o n t r a d i c c i n es porque la t e s i s nO puede s e r falsa. E n t o n c e s e s c i e r t a . Veamos: ^ . . Supongamos que 0\ Ct- 02 . E s t o significa que e x i s t e un x G. 0 i t a l que X ^ 0 2 . P e r o e s t a a f i r m a c i n c o n t r a d i c e el h e c h o de que 0 i no .., t i e n e e l e m e n t o s , entonces 0^ ^ 02 es f a l s a , e s d e c i r 0 i CJ. 02 c i e r t a . L a segunda p a r t e , o s e a , d e m o s t r a r que 02 ^ 0 \ > l a puede h a c e r el l e c t o r en f o r m a s i m i l a r . E n e s t a forma queda c l a r o que e x i s t e un nico conjunto sin elennentos, lo denotamos por ^ y lo l l a m a m o s "conjunto v a c f o " . Su p r o p i e d a d fundamental e s : " P a r a todo x, x ^ ^ " . E j e m p l o s " f a m i l i a r e s " s o b r e e l conjunto vacfo pueden s e r :

13

a)

Sea D V I el conjunto de los n m e r o s n a t u r a l e s . O b s e r v e m o s el s i guiente conjunto I x & W / x + 3 = Oj, T a l conjunto no tiene elementos. Sea P el conjunto de puntos de un p l a n o . Sean y y r 2 r e c t a s p a r a l e l a s en el plano. Entonces / x P / x e y i / ^ x ^ r ^ ^ e s igual SL 0. En los n m e r o s r e a l e s , los i n t e r v a l o s (2, 5) y (6, 11) dan lugar a f x I R / 2 < x < 5 A 6 < x < 111 que no tiene e l e m e n t o s .

b)

c)

.^-^-^-yy
2 & 6

:)
W

Observaciones. 1) Si p a r a un conjunto A se t i e n e que A - 0, d e c i m o s que A es vacio. Si A ^ ^ d c i m o s que A e s no vacfo.

Una propiedad i m p o r t a n t e del conjunto vacfo es que dicho conjunto e s subconjunto de todo conjunto. D e m o s t r m o s l o . Vannos que p a r a todo conjunto A, ^ C A. D e m o s t r a c i n ; Supngannos que s e a falso lo que q u e r e m o s d e m o s t r a r , e s d e c i r que 0 <^ A. En t a l c a s o e x i s t i r por lo inenos un elennento de 0 que no e s t en A, lo cual constituye una c o n t r a d i c c i n puesto que 0 no tiene e l e m e n t o s . P o r lo t a n t o la suposicin que h i c i m o s de que ^ ^ A e s falsa y con e s t o ^ Cl A e s c i e r t o . O b s r v e s e que a l nc c o n s i d e r a r ninguna p r o p i e d a d i m p o r t a n t e de A e s t a m o s c o n s i d e r a n d o a A como un conjunto c u a l q u i e r a .

2)

EJERCICIOS, 1. 2. D e m u e s t r e que si A C ^ e n t o n c e s A 0. Cules son los e l e m e n t o s d e l conjunto que se obtiene asf; ^x e IN / x = 2k - 3 ^ con k = 2, 3 , 4, 5, 6, y 7 ? Cul es e l conjunto constitufdo por l o s m l t i p l o s no n e g a t i v o s de I , a p a r t i r del conjunto de l o s e n t e r o s ? Sea a una r e c t a d e l plano oC . A = - r r / r G c C /v r / / a " l T r a d u c i r en p a l a b r a s :

3.

4.

5.

T r a d u c i r en p a l a b r a s y h a l l a r l o s e l e m e n t o s del conjunto: B=-[x/xellS A 2 < 2 x - 3 < l l j -