Teora de conjuntos/Versin para imprimir

Teora de conjuntos/Versin para imprimir

Se autoriza la copia, la distribucin y la modificacin de este documento bajo los trminos de la licencia de documentacin libre GNU, versin 1.2 o cualquier otra que posteriormente publique la Fundacin del Software Libre (Free Software Fundation); sin secciones invariantes (Unvariant Sections), textos de portada (Front-Cover Texts), ni textos de contraportada (Back-Cover Texts). Se incluye una copia en ingls de esta licencia en el artculo Text of the GNU Free Documentation License.

Teora intuitiva de conjuntos

En la introduccin, o en algn lugar especial, de los libros de la teora axiomtica de conjuntos suele darse una explicacin de por qu es necesario fundamentar la teora de conjuntos y dejarla construida a partir de unos cuantos axiomas. Estos axiomas son, en su mayora, principios evidentes de por s una vez que se ha comprendido previamente como deben comportarse los conjuntos o, por lo menos, cuando ya se tiene una idea de esto. Por esa razn, es ms que justificable la revisin de una exposicin intuitiva de la teora de conjuntos, como el que incluimos aqu, en donde se expongan unas cuantas cosas, de forma rpida e intuitiva, que familiaricen al lector con los conjuntos, sus relaciones y operaciones; de esta manera el lector no encontrar (esperamos) dificultades mayores a la hora de enfrentarse a la teora axiomtica de conjuntos, donde los principios de los que se parte son formalizaciones y restricciones ad hoc de las propiedades que uno ya le supona a los conjuntos. Captulo siguiente: Conjuntos

Conjuntos
Lo principal para nuestro desarrollo de la teora (intuitiva) de conjuntos es aceptar que es posible comprimir o substancializar una coleccin o conjunto (que para este caso son lo mismo) de cualesquiera objetos y, as, poder considerarla como un todo o, mejor dicho, como una nica cosa que tratar. Los objetos de un conjunto se llaman elementos de dicho conjunto. 1.1.1. Desde luego, la relacin ms bsica de la teora de conjuntos es la que existe entre los elementos y su conjunto: la relacin de pertenencia. Como es la regla hoy en da, escribiremos

para indicar que el objeto es uno de los elementos del conjunto . Es decir, el smbolo " ", una versin de la letra griega (psilon), lo usaremos para representar la relacin de pertenencia de conjuntos/Versin para imprimir#endnote_1 [1] . Los argumentos de una relacin son los objetos que acompaan a esa relacin. En el ejemplo , los argumentos de la relacin son (primer argumento) y (segundo argumento). As, puede decirse que los primeros argumentos de la relacin pertenecen al universo de los elementos, mientras que los segundos argumentos de esta misma relacin pertenecen al universo de los conjuntos. Si aceptamos que todo es un conjunto (algo que, por ciertas razones que se vern en su momento, haremos cuando se desarrolle la teora axiomtica de conjuntos), entonces los primeros y segundos argumentos de pertenecen al mismo universo. La negacin de la escribiremos . Ejemplo: Consideremos el conjunto . Con esto lo que estamos haciendo es denominar por . , si y solo si e consisten

al conjunto . Pues bien, podemos decir entonces que y que 1.1.2. Diremos que dos conjuntos e son iguales, lo que se representa por de los mismos elementos. As pues, siempre que si y solo si

Teora de conjuntos/Versin para imprimir para todo elemento elemento de Ejemplo: ). Siguiendo con nuestro ejemplo, segn nuestro criterio vemos que . En efecto, cada uno de los elementos del a cualquiera de ambos. es subconjunto de otro , lo que (i.e. si todo elemento de es elemento de y, recprocamente, si todo elemento de es

conjunto de la izquierda es un elemento del conjunto de la derecha, y viceversa. Podemos pues considerar que ambos conjuntos son iguales, y, como hicimos antes, podemos identificar entonces como 1.1.3. Por otra parte, como un hecho ms general que la igualdad, un conjunto se representa por , siempre que implica para cualquiera que sea el elemento (i.e., si todo elemento de es elemento de ). Claramente

para todo conjunto

, por lo que se dice que la relacin y

es reflexiva. Tambin tenemos que si y solo si ,

y que y para cualesquiera conjuntos 1.1.4. Si propio de y , y antisimtrica y transitiva (vase ms adelante relaciones). (i.e. si tiene por lo menos un elemento ms que . ^Peano fue el primero en representar la relacin de pertenencia por la letra por ser la primera letra de la palabra griega , que significa "est". en sus Arithmetices Principia (1889), ) se dice que es subconjunto , lo cual se representa por implica es

. Estos dos hechos muestran, respectivamente, que la relacin

Captulo anterior: Introduccin Captulo siguiente: Notacin de conjuntos y el conjunto vaco

Notacin de conjuntos y el conjunto vaco

1.2.1. Si por , si no es un nmero muy grande. 1.2.2. Ntese que, de acuerdo con esa notacin, es equivalente a . que es un conjunto cuyos elementos son y solo ellos, es comn representar a este conjunto

1.2.3. Existe otra forma comn de representar conjuntos. Si es el conjunto de todos aquellos elementos verifican una propiedad , entonces se representa tambin por . 1.2.4. As, si es la propiedad , entonces el conjunto

claramente contiene cualquier cosa. 1.2.5. Mientras tanto, si es la propiedad , entonces el conjunto

Teora de conjuntos/Versin para imprimir no contiene nada. Este conjunto sin elementos lo llamaremos conjunto vaco, y lo representaremos por Tenemos que en Por otro lado, implica para cualquier conjunto elemento que no est en . Efectivamente, pues si fuera , lo que es imposible. y , entonces tendra por lo menos un para cualquiera que sea el conjunto (pues esto sera falso slo si existiera algn elemento no contiene nada). que no estuviera en el conjunto , lo cual es absurdo pues .

Captulo anterior: Conjuntos Captulo siguiente: Unin e interseccin de conjuntos

Unin e interseccin de conjuntos

1.3.1. Las operaciones entre conjuntos consisten en tomar ciertos elementos de uno y ciertos de otro para formar con ellos nuevos conjuntos. As, por ejemplo, si e son dos conjuntos, la unin de e es el conjunto o Esto es, Sean , y consiste de todos los elementos que estn ya sea en unin se representa por el rea sombreada en el diagrama siguiente: conjuntos cualesquiera. Se cumplen las propiedades siguientes: (idempotencia) (identidad) (conmutatividad) (asociatividad) si y solo si Estas propiedades son fcilmente demostrables. Veamos la es elemento de (demostrar . es elemento de . , ya sea en , ya sea en ambos e . La

( U-1 ) ( U-2 ) ( U-3 ) ( U-4 ) ( U-5 ) ( U-6 ) (demostrar que que pero que

demostracin de ( U-2 ) y ( U-6 ): ( U-2 ) Hay que demostrar que todo elemento de ) y que, recprocamente, todo elemento de ). Si , entonces , entonces o . Por tanto tal que e . Es decir, es el conjunto formado por todos los elementos que estn tanto en . Recprocamente, si

, de lo que solo puede ser . ( U-6 ) Supngase que

Recprocamente, si

. Entonces, en particular, existe

, pero si esto es cierto, , entonces de ( U-5 ) se se define como el conjunto como en . La

, lo que contradice el hecho de que

sigue el resultado deseado. 1.3.2. La interseccin de dos conjuntos

interseccin se representa por el rea sombreada en el diagrama siguiente :

x\cap y

Sean

conjuntos cualesquiera (idempotencia)

( I-1 )

Teora de conjuntos/Versin para imprimir ( I-2 ) ( I-3 ) ( I-4 ) ( I-5 ) ( I-6 ) ( UI-1 ) ( UI-2 ) 1.3.3. Si e son dos conjuntos tales que e (i.e. si e no tienen elementos en comn) se dice que son conjuntos disjuntos. 1.3.4. Las operaciones de unin e interseccin es una coleccin (conjunto) de conjuntos, la unin de los conjuntos de si y solo si Adems, se cumplen las siguientes leyes distributivas: (conmutatividad) (asociatividad)

pueden generalizarse. Si

puede definirse como el conjunto . As, si y solo si existe por lo menos un conjunto en que contenga al elemento .

Como caso particular, tenemos . 1.3.5. De manera similar, la interseccin de los conjuntos de una coleccin . Por tanto, si para todo conjunto de (i.e. consiste de los elementos se define por

que estn en todo conjunto de

). Como caso particular, tenemos . , entonces, puesto que en ese caso y el elemento , el conjunto lo

1.3.6. Ntese que, de acuerdo a la definicin anterior, si implica contiene todo. para cualquiera que sea el conjunto

Captulo anterior: Notacin de conjuntos y el conjunto vaco Captulo siguiente: Diferencia de conjuntos y conjuntos complementarios

Diferencia de conjuntos y conjuntos complementarios

1.4.1 Si por Es decir, e son dos conjuntos cualesquiera, la diferencia de y consiste de todos los elementos que estn en e son conjuntos disjuntos si y solo si rea sombreada en el siguiente diagrama: Ejercicio: Probar que Sean , y . conjuntos cualesquiera. Entonces e es el conjunto . pero no en . Este conjunto se representa por el (tambin simbolizado ) definido por

( D-1 ) ( D-2 ) ( D-3 ) ( D-4 )

Teora de conjuntos/Versin para imprimir ( D-5 ) ( D-6 ) ( D-7 ) ( D-8 ) , , se dice conjunto complementario de en . En el siguiente diagrama se representa este conjunto como el area sombreada: Sean e subconjuntos de un conjunto . Se cumplen ( C-1 ) ( C-2 ) ( C-3 ) ( C-4 ) ( C-5 ) ( C-6 ) ( C-7 ) ( C-8 ) ( C-9 ) Los enunciados ( C-7 ) y ( C-8 ) se conocen como leyes de De Morgan. 1.4.3. En ocasiones, para evitar complejidades notacionales, escribiremos en lugar de cuando del contexto se sobreentienda cual es el conjunto . (conmutatividad) si y solo si 1.4.2. Si es un subconjunto de , entonces el subconjunto de Ver diagrama [2]

Captulo anterior: Unin e interseccin de conjuntos Captulo siguiente: Conjuntos potencia

Conjuntos potencia
1.5.1. Un conjunto muy importante en la teora de conjuntos es aquel que, dado un conjunto cualquiera, contiene todos los subconjuntos de este conjunto . Un conjunto as se llama conjunto potencia. Ms exactamente, si es un conjunto, entonces el conjunto potencia de es el conjunto dado por . 1.5.2. Puesto que . Sea elemento, , un conjunto con , y por tanto contiene un solo elemento, y por ello subconjuntos de con un solo

elementos. Entonces, existen

subconjuntos de

con dos elementos, subconjuntos de con

subconjuntos de

con 3 elementos, y as tiene

sucesivamente hasta llegar a los

elementos. De este modo,

elementos, siendo esta ltima ecuacin un caso particular del binomio de Newton. Como puede verse, el conjunto potencia de un conjunto contiene en general muchos ms elementos que el conjunto , razn por la cual es difcil dar ejemplos de conjuntos potencia. 1.5.3. Ntese que equivale a . 1.5.4. Algo ms interesante y conveniente de notar es que

Teora de conjuntos/Versin para imprimir

para cualquier conjunto para algn

. En efecto, pues de

, se sigue

para algn , entonces

, es decir, para algn conjunto

, por lo que (e.g. el conjunto

. Recprocamente, si ), luego .

1.5.5. Como hecho ms general, si , entonces .

es una coleccin de subconjuntos de un conjunto

, es decir si

1.5.6. Ahora vamos a generalizar algunas leyes a cerca de la unin e interseccin de conjuntos. Primero, considrese un conjunto dado , y luego considrese una coleccin de subconjuntos de . Frmese la unin , un subconjunto de . El complemento ,

es un subconjunto de puesto que

. Si

, entonces existe y

, por lo que para todo . As,

para todo

, y

, el complemento

. El conjunto

anterior es en efecto una interseccin de los conjuntos de una coleccin, a saber y . Sea un conjunto y una coleccin de subconjuntos de . El resultado anterior, y otro cuya demostracin se deja como un sencillo ejercicio al lector, se presentan a continuacin:

Las proposiciones anteriores son una generalizacin de las leyes de De Morgan. Captulo anterior: Diferencia de conjuntos y conjuntos complementarios Captulo siguiente: Producto cartesiano

Producto cartesiano
1.6.1. En matemticas, un par ordenado es un par y sern iguales si y solo si y de objetos y tal que si es otro par ordenado, . La idea de esta descripcin es garantizar que el orden

de los componentes de un par ordenado importe. Sin embargo, no es sino en la teora de conjuntos donde el concepto de par ordenado encuentra una definicin al ser considerado como un tipo especial de conjunto que cumple lo que se acaba de describir del mismo. En realidad existen varias definiciones de par ordenado dentro de la teora de conjuntos, aunque la ms comn, y la que usaremos aqu, es aquella donde el par ordenado se define por para todo e Para ver que esta definicin de par ordenado es adecuada, hemos de mostrar que si y solo si para cualesquiera , , , . Sea pues y o . Entonces y . y .

Teora de conjuntos/Versin para imprimir Si , todo se reduce fcilmente a resulta tanto ha de ser y considerado que dos conjuntos son iguales si y solo si , entonces no puede ser , con lo que claramente y , adems de que , pues si , y por , pues

tienen los mismos elementos. Si

por definicin de la igualdad de conjuntos, lo que contradice

suponer que nos lleva de nuevo a cuando la hiptesis dice lo contrario. La definicin de par ordenado anterior se debe a Kuratowski, quien la introdujo en 1921. Ejercicio: Probar que es posible definir el par ordenado por

para todo

mostrando que en ese caso tambin se cumple si y solo si y . y , entonces de componentes,

para cualesquiera

. Esta definicin de par ordenado la dio Weiner en 1914. y , entonces

Ejercicio: Considrese la definicin de pares ordenados de Kuratowski. Probar que si . Probar que, ms generalmente, si

1.6.2. La definicin de par ordenado se puede generalizar inductivamente para cualquier nmero mediante la ecuacin . 1.6.3. Sean e dos conjuntos. El producto cartesiano de e es el conjunto y Es decir, segundo componente un elemento de Dados cualesquiera dos conjuntos ( P-1 ) ( P-2 ) ( P-3 ) ( P-4 ) ( P-5 ) y si y solo si si y solo si o , . , , tenemos .

definido por

es el conjunto de todos los pares ordenados cuyo primer componente es un elemento de

Captulo anterior: Conjuntos potencia Captulo siguiente: Funciones

Funciones
1.7.1. Sean cumpla ( F-1 ) para todo ( F-2 ) se dice funcin de . 1.7.2. Sean dos conjuntos antecedente de e , y sea , y que una funcin de es imagen de por medio de en . Si se dice que es por medio de . Por definicin, un elemento (de modo que (i.e. , y se representa comnmente tal que ) se dice rango de la en y existe tal que implica . Para indicar que , es una funcin de un conjunto en otro , es comn escribir y e dos conjuntos cualesquiera. Cualquier subconjunto del producto cartesiano que

no puede tener ni ms ni menos que una sola imagen si y solo si por funcin el subconjunto de ). El conjunto , mientras que el subconjunto , y se representa por .

, que representaremos por existe por medio de

se dice dominio de la funcin tal que para todo

que contiene solo las imgenes de los elementos de

Teora de conjuntos/Versin para imprimir 1.7.3. Claramente dos funciones y son iguales si y solo si

para todo

. e son dos conjuntos, y si . Luego, si . . Claramente . es cualquier funcin de en , ,

1.7.4. Tenemos tambin que si entonces 1.7.5. Sea 1.7.6. Sea , y as

es el conjunto de todas las funciones

, de modo que un conjunto cualquiera, y sea un conjunto. La funcin

, que enva un elemento . El conjunto imagen de cualquier de con un subconjunto de , se denomina familia de subconjuntos de . indicada por se denomina en este caso conjunto de ndices (por lo que cada por medio de esta funcin se representa por se dice un ndice), y la

Por ejemplo, considrese el conjunto , y el conjunto de ndices de estas puede ser la funcin , dada por . Otra puede ser la que viene dada por . 1.7.7. Sea la funcin (F-3) para cualesquiera inyectiva o que es una inyeccin. Si (F-4) para todo es decir, si existe (i.e. si todo tal que , es una funcin sobreyectiva (o de un conjunto y en otro ; Si implica tienen distintas imgenes en , , se dice que es una funcin . Existen varias familias de subconjuntos de indicadas por . Una

es decir, si cualesquiera distintos elementos de

es imagen), se dice que

suprayectiva), que es una funcin de sobre , o que es una sobreyeccin. (F-5) Una funcin que es a la vez inyectiva y sobreyectiva se dice funcin biyectiva o biyeccin. 1.7.8. Sea dado por existe se dice imagen del subconjunto algn elemento de y, en particular, . Ntese que, si , entonces . As pues, por . Es decir, tal que , que son imagen de es el conjunto de todos los , y sea un subconjunto de (i.e. un elemento de ). El conjunto

es un conjunto con un solo elemento, a saber, la imagen de

por

Teora de conjuntos/Versin para imprimir 1.7.9. Por otra parte, si , entonces se define el conjunto por . As pues, . Puesto que todo elemento de tiene una imagen en , tenemos que, como caso particular, . Sin embargo, debemos tener presente que, si bien elemento, el conjunto elemento de con , donde , siempre es un conjunto con un solo puede ser vaco, ya que la definicin de funcin no garantiza que todo . Sin embargo esto si esta garantizado cuando es sobreyectiva, de por , y se llama a este conjunto imagen recproca de

tenga un antecedente en

modo que, en ese caso, el conjunto contiene cualquier elemento de modo que cuya imagen sea de . Si , y as es adems inyectiva, entonces es biyectiva, de .

es la imagen de solo un elemento

contiene solo a tal elemento

1.7.10. Veamos ahora algunas propiedades generales de las funciones. Para esto definimos una funcin y dos familias e de subconjuntos de e respectivamente. Convenimos tambin en que (a) , e , representan, respectivamente, subconjuntos de . . Si , pues . , entonces . QED . . La imagen de por , , est en el conjunto , y as , puesto que , se tiene , luego , entonces, por definicin (vase ?), existe , de modo que . QED tal que y subconjuntos de . Tenemos que implica

Demostracin: Sea pues , pero en tal caso (b) Demosracn: Si , y as (c) Demostracin: Sea . QED Si, en particular, la funcin (d) (e) Demostracin: Si Si, en particular, (f) (g) implica

es inyectiva, entonces . . , entonces es la imagen de algn , y as . QED

es sobreyectiva, entonces . implica . , entonces . Esto es

Demostracin: En vista de (d), solo queda demostrar que, si fcil considerando que , de modo que si (h)] Demostracin: Sea modo que , y con esto , . . As, existe tal que

solo contiene elementos que son imgenes, y por tanto esto tambin es cierto para , luego , con lo que la prueba termina. QED

, pero en ese caso

, de , lo

. Solo falta demostrar que

que consiste de seguir los pasos anteriores en el sentido opuesto. QED

Teora de conjuntos/Versin para imprimir Si, en particular, (i) Demostracin: Sea . Luego, inyectiva. Por ejemplo, si es inyectiva, se cumple . . Entonces, puesto que , de modo que , y as es inyectiva, existe un nico . QED a menos que esta sea , caso en el cual la . , pero esto no es suficiente para garantizar que tal que tal que

10

Debemos hacer nfasis en que el resultado anterior no se cumple para cualquier funcin no es inyectiva, puede ser inyectiva, podra existir un , por que al no ser

imagen de est en por que es la misma imagen de un elemento que si esta en Si, en particular, la funcin es sobreyectiva, tenemos (j) Demostracin: Si Notemos que, por ser antecedentes de . , tenemos que una sobreyeccin, , es decir, sea , por lo que

no tiene ningn antecedente en . Sea , por lo que

tiene por lo menos un antecedente en . Tenemos que

cualquiera de estos , lo que

demuestra lo que se quera. QED Si la funcin es biyectiva (es decir, si es tanto inyectiva como sobreyectiva), se cumple, en vista de (h) e (i), lo siguiente (k) 1.7.11. Sea . una familia de subconjuntos de un conjunto . Es comn llamar simplemente unin de y que se define (vase

a la unin de los conjuntos del rango de 1.3.4) naturalmente por

, que se representa por

. 1.7.12. Sea una funcin (a) . . Se cumplen:

Demostracin: Si , y con ello

, entonces existe al menos un , para almenos un . As,

tal que

, y de esta manera , lo que demuestra se

. Invertir todos los pasos de esta prueba para demostrar que deja como ejercicio para el lector. QED (b) .

La demostracin se deja como ejercicio para el lector. 1.7.13. Por otra parte, la interseccin de los conjuntos del rango de la familia , se dice simplemente interseccin de . As pues (vase 1.3.5), . 1.7.14. Sea una funcin (a) . . Se cumplen , que se representa por

Teora de conjuntos/Versin para imprimir

11

Demostracin: Sea ndice (b) . Por esta razn,

. Entonces existe para todo .

tal que , con lo que

, con . QED

para todo

Demostracin: Si , entonces . Esto

es el antecedente de un nico . As

, es decir, para todo . Demostrar

. Pero si , luego que

para todo ndice demuestra que

se deja como ejercicio al lector. QED Si la funcin (c) Demostracin: En vista de es adems inyectiva, se cumple . (a), solo queda demostrar que, en caso de que sea inyectiva, . para todo , lo que

. Para esto, sea Puesto que ndice es inyectiva, , cumple con

, de manera que

para todo ndice

no es imagen ms que de un nico elemento a, y que, al ser para todo , con lo que . As

demuestra lo que se quera. QED Resaltamos que el enunciado (c) se cumple solo en caso de que la funcin elemento tienen a conjunto tenemos . 1.7.15. La funcin dada por puede no estar en para todo todos los conjuntos

sea inyectiva. La razn es que un si est en que no , pero que este para cualquiera es no inyectiva)

, y sin embargo, puede que su imagen , no est en para algn

debido a que es la imagen de algn otro elemento contenido en los conjuntos , cuya imagen es cuya imagen es tambin para todo , de tal manera que . En ese caso (cuando

. Por ejemplo, supngase contiene otro elemento

que sea el ndice

sin necesidad de que

para todo

, y que por tanto enva cada elemento de , y

consigo mismo, se llama funcin identidad.

Es claro que, siendo

Si

, esto se reduce a .

1.7.16. Sean funcin

dos conjuntos y considrese una funcin dada por ,

. Sea

un subconjunto de

. La

Teora de conjuntos/Versin para imprimir se dice restriccin de a . Esto es, , por lo que la restriccin de . 1.7.17. Sea un conjunto y un subconjunto de . La aplicacin a es una funcin que resulta de 'recortar' el dominio de . Es claro que

12

dada por , e.i. la restriccin 1.7.18. Sea un conjunto dada por , se llama inyeccin cannica de una aplicacin de un conjunto . La aplicacin en x. en otro , y sea una aplicacin de en

se dice composicin de elemento directamente el elemento

. Esto es, y con el elemento

resulta de aplicar enva a

seguida de

, por lo que si , entonces

enva un enva

con un elemento

con un elemento (Refirase a la figura de abajo).

f\circ g

1.7.19.

Sean

las

funciones

Tenemos

que

. Para convencernos de ello es suficiente ver que y que . 1.7.20 Si por si y solo si Es decir, si y solo si 1.7.21 Es inmediato que . 1.7.22. Adems, se observa que . . es una funcin biyectiva, puede definirse la funcin , llamada funcin inversa de ,

Teora de conjuntos/Versin para imprimir

13

y , por lo que y Si , esto se simplifica a . 1.7.23. Ntese tambin que, siendo , . 1.7.24. Es claro que existe cuando y es biyectiva. Adems la funcin inversa de una funcin es nica. Para . Entonces , y , y por tanto . y . Entonces . En efecto, pues es funcin inversa de ,y .

probar esto, supngase que

son dos funciones inversas de una funcin

1.7.25. Sean las funciones

con lo que

es tambin funcin inversa de

, y as

han de ser la misma es para , y probar que

funcin (pues la inversa de cualquier funcin es nica). Otra forma de demostrar que el argumento siguiente: Sea un y por tal que tanto , o sea que . Esto . Se sigue que y prueba que , de modo que , , y de esto que y

resulta de recorrer todos los pasos anteriores de forma invertida. Captulo anterior: Producto cartesiano Captulo siguiente: Relaciones

Relaciones
1.8.1. Sean los conjuntos e . Cualquier subconjunto se dice relacin de sobre . Por tanto, una relacin es un conjunto de pares ordenados, de modo que toda funcin es una relacin, si bien lo

recproco no es necesariamente cierto, pues puede una relacin no cumplir (f-1) o (f-2) (o ambas) de 1.7.1 . De sto, resulta conveniente adoptar una notacin diferente a la que se us con las funciones para expresar el hecho de que . As pues, escribiremos , y cuando . Para el caso particular en que es una relacin que es a su vez es funcin, tenemos .

Teora de conjuntos/Versin para imprimir Sin embargo, emplearemos la notacin para representar cuando sepamos que , es una y ,

14

funcin. 1.8.2. Las relaciones pueden definirse entre ms de dos conjuntos. As, una relacin entre los conjuntos puede ser cualquier subconjunto del producto cartesiano Una relacin

, y consistira por tanto de ternas ordenadas. -aria entre

as se dice relacin ternaria, para distinguirse de las relaciones que se aplican solo entre dos

conjuntos (que naturalmente se llaman relaciones binarias). En trminos ms generales, una funcin cuales quiera conjuntos , es un conjunto cualquiera .

1.8.3. En este libro solo trataremos las relaciones binarias, por lo que cuando se hable de relacin se entender que se trata de una de stas. 1.8.4. En particular, una relacin sobre un conjunto es un subconjunto . Al igual que las funciones, las relaciones sobre un conjunto pueden tener, de forma particular, ciertas propiedades que permiten clasificarlas. Ms exactamente: Sea una relacin sobre un conjunto . La relacin ( R-1 ) La relacin ( R-2 ) La relacin (R-3) La relacin (R-4) La relacin (R-5) La relacin (R-6) La relacin (R-7) o y y y es reflexiva siempre que para toda es irreflexiva si para ningn . .

es simtrica siempre que a para cualesquiera es antisimtrica siempre que implica para cualesquiera . .

es asimtrica siempre que implica que a es falso para cualesquiera .

es transitiva siempre que implica para cualesquiera .

es conexa siempre que para cualesquiera y si . es una relacin , entonces el conjunto dado por

1.8.5. Una relacin

que es reflexiva, simtrica y transitiva se dice relacin de equivalencia. Si

de equivalencia sobre un conjunto

se dice clase de equivalencia de escribir simplemente

por

. Si se sabe cual es la relacin . As pues

y si no se presta a confusin, es comn .

en lugar de

1.8.6. La aplicacin identidad en un conjunto

, ,

es claramente una relacin de equivalencia sobre , y dentro del contexto de la teora de relaciones suele hacerse referencia a ella mediante el trmino relacin trivial. 1.8.7. Otra relacin de equivalencia sobre un conjunto se llama comnmente relacin grosera. 1.8.8. Puesto que una relacin de equivalencia sobre un conjunto es reflexiva, tenemos es el mismo producto cartesiano , que en este caso

para todo

. Adems,

es simtrica, de donde

Teora de conjuntos/Versin para imprimir . Se tiene tambin que . Efectivamente, pues si Otra cosa ms es que . La razn es que si , entonces existe un tal que . y o sea que y , entonces y , y por simetra, , luego por transitividad .

15

, y con esto , que como ya vimos significa que 1.8.9. Otra forma de expresear este resultado es que

. 1.8.10. Sea una relacin de equivalencia sobre un conjunto , se define por . Es decir, contiene todas las clases de equivalencia por la relacin . 1.8.11. Puesto que cada uno de los elementos de se tiene ), resulta que est en alguna clase de equivalencia (pues por ejemplo si . El conjunto cociente de por la relacin , que se representa por

, o, para mayor claridad, , y como cualesquiera dos clases de equivalencia distintas de de (vase 1.5.6). 1.8.12. Sea una particin de un conjunto son disjuntas (vase 1.8.9), mediante es una particin

. Luego defnase la relacin

para algn

. Puesto que ,

cada uno de los elementos de y as y es reflexiva. Claramente , existen , ha de ser concluimos que

est contenido en algn conjunto implica tales que para todo y

de

, por lo que , por lo que

para todo (pues si

es simtrica. Adems, si y ), y entonces

, y estos han de cumplir

, lo que es contradictorio en vista de que . Esto hace que

sea tambin transitiva, y entonces termina siendo esta una relacin de

equivalencia sobre inducida por la particin . 1.8.13. El resultado de 1.8.11 y el resultado de 1.8.12 se resumen en el enunciado siguiente: Si es una relacin de equivalencia sobre un conjunto , entonces el conjunto cociente es una particin de

y, recprocamente, si es una particin del conjunto , entonces existe una relacin tal que . 1.8.14. Una relacin sobre un conjunto reflexiva, antisimtrica y transitiva se dice relacin de orden parcial (o simplemente un orden) sobre el conjunto 1.8.15. Aqu usaremos el smbolo , y el par se dice entonces un conjunto parcialmente ordenado, o simplemente que es un conjunto ordenado.

Teora de conjuntos/Versin para imprimir

16

para representar un orden parcial cualquiera (diferente segn el contexto) y no solo para el familiar orden sobre el conjunto de nmeros reales. En particular, la relacin de inclusin orden parcial. 1.8.16. Se dice que conjunto , si sobre el conjunto potencia de un conjunto es una relacin de

es una relacin de orden (parcial) estricto, o simplemente que es un orden estricto, sobre un

es irreflexiva, antisimtrica y transitiva. Para representar ordenes estrictos, cualesquiera que sean

estos, usaremos el smbolo

. Un orden que no sea estricto ser llamado simplemente orden no estricto. 1.8.17. Si es una relacin de orden no estricto sobre un conjunto , entonces la relacin

es claramente un orden estricto sobre

. Por otro lado, si

es una relacin de orden estricto sobre

, entonces

es una relacin de orden no estricto sobre 1.8.18. Sea

. tal que para todo se dice elemento y

un conjunto ordenado. Un elemento , por definicin

mnimo (o primer elemento) de

. El elemento mnimo de un conjunto, si existe, es nico. En efecto, pues si ,

fueran dos elementos mnimos de y por antisimetra, 1.8.19. Sea .

un conjunto ordenado. Un elemento

tal que

para todo

se dice elemento

mximo (o ltimo elemento) de 1.8.20. En un conjunto ordenado mnimo de

. Tambin el elemento mximo de un conjunto, si existe, es nico. es posible que existan elementos que, pudiendo no ser un mximo o un por medio de el orden . Nos referimos a los si no existe ningn elemento en si y solo si y , por

, tienen cierta distincin sobre otros elementos de

minimales y los maximales. Un elemento es un minimal en estrictamente menor que . (por medio del orden estricto dado por

supuesto) ; un elemento se dice mximal de si no existe ningn elemento en estrictamente mayor que . Es posible que los minimales de un conjunto, si existen, sean ms de uno. Lo mismo aplica para los maximales de un conjunto. Notemos pues que un conjunto puede no contener ni mnimos (mximos) ni minimales (maximales), o bien, contener uno o ms minimales (maximales) y ningn mnimo (mximo). Si un conjunto tiene mnimo (mximo), ste es a su vez el nico minimal (maximal) del conjunto. 1.8.21. Sea un conjunto ordenado, y sea . Un elemento tal que tal que para todo para todo se

se dice cota inferior (o minorante) de

. Por otro lado, un elemento

dice cota superior (o mayorante) de . Una cota inferior o superior de puede o no estar en . Adems, si es el conjunto de cotas inferiores de , entonces solo puede ser vaco o ser un conjunto con un solo elemento. Si Anlogamente, si de , entonces el nico elemento de es el conjunto de todas las cotas superiores de . Si . , es claramente un mnimo de , y lo representaremos por o contiene a lo . Si . contiene un elemento mximo, entonces este se dice nfimo de ms un elemento, el cual sera entonces un mximo de , y lo representaremos por

tiene un mnimo, entonces este se dice supremo

Teora de conjuntos/Versin para imprimir 1.8.22. Un conjunto que tiene cotas inferiores se dice inferiormente acotado, mientras que un conjunto que tiene cotas superiores se dice superiormente acotado. Si un conjunto esta acotado inferior y superiormente, se dice simplemente que es acotado. 1.8.23. Sea , se dice que un conjunto parcialmente ordenado. Si todo subconjunto de es una relacin de orden bien fundada sobre admite un minimal respecto de .

17

, o que es un orden bien fundado sobre

Dado ese caso, se dice que el par es bien fundado. 1.8.24. Un hecho apreciable a cerca de rdenes bien fundados es el siguiente: Si es un conjunto parcialmente ordenado, entonces tal que tal que , por lo que se concluye que si . , no es un minimal, y por lo . Este argumento es claramente vlido para cualquiera es no bien fundado, existe una secuencia infinita es un conjunto ordenado tal que existe , entonces, para cualquiera que sea el , de modo que no es minimal de , y con , y se . Recprocamente, si , existe otro tal que es bien fundado si y solo si no existe una

secuencia infinita En efecto, pues si que sea el nmero natural descendiente

no fuera un conjunto bien fundado, entonces, si

tanto existe otro elemento

una secuencia descendiente infinita elemento ello es no bien fundado. 1.8.25. Una relacin de orden que es conexa en dice que el par

, se dice relacin de orden total, u orden total, sobre

es un conjunto totalmente ordenado.

1.8.25. Un conjunto totalmente ordenado y bien fundado se dice conjunto bien ordenado, y su relacin de orden se dice por tanto un buen orden. Supngase que es un conjunto bien ordenado. Entonces es, en particular, bien fundado, por lo que todo subconjunto son dos minimales de . Puesto que tiene por lo menos un minimal. Supngase que . Cualquiera que sea el caso, debe de ser , pues si no, o , lo que no puede ser por que un minimal no tiene un elemento estrictamente menor que l (ni siquiera siendo este otro minimal). Vemos entonces que el elemento minimal es un mnimo de . Por conclusin, un conjunto ordenado es bien ordenado si todo subconjunto de tiene mnimo. y es totalmente ordenado,

Captulo anterior: Funciones Captulo siguiente: Ejercicios

Ejercicios
1. Supngase dado el conjunto de los nmeros naturales, que representaremos por en notacin de la forma 2. Probar que, siendo . . el conjunto de los nmeros enteros, . Escribir el conjunto

0. PREAMBLE
The purpose of this License is to make a manual, textbook, or other functional and useful document "free" in the sense of freedom: to assure everyone the effective freedom to copy and redistribute it, with or without modifying it, either commercially or noncommercially. Secondarily, this License preserves for the author and publisher a way to get credit for their work, while not being considered responsible for modifications made by others. This License is a kind of "copyleft", which means that derivative works of the document must themselves be free in the same sense. It complements the GNU General Public License, which is a copyleft license designed for free software. We have designed this License in order to use it for manuals for free software, because free software needs free documentation: a free program should come with manuals providing the same freedoms that the software does. But

Teora de conjuntos/Versin para imprimir this License is not limited to software manuals; it can be used for any textual work, regardless of subject matter or whether it is published as a printed book. We recommend this License principally for works whose purpose is instruction or reference.

18

1. APPLICABILITY AND DEFINITIONS

This License applies to any manual or other work, in any medium, that contains a notice placed by the copyright holder saying it can be distributed under the terms of this License. Such a notice grants a world-wide, royalty-free license, unlimited in duration, to use that work under the conditions stated herein. The "Document", below, refers to any such manual or work. Any member of the public is a licensee, and is addressed as "you". You accept the license if you copy, modify or distribute the work in a way requiring permission under copyright law. A "Modified Version" of the Document means any work containing the Document or a portion of it, either copied verbatim, or with modifications and/or translated into another language. A "Secondary Section" is a named appendix or a front-matter section of the Document that deals exclusively with the relationship of the publishers or authors of the Document to the Document's overall subject (or to related matters) and contains nothing that could fall directly within that overall subject. (Thus, if the Document is in part a textbook of mathematics, a Secondary Section may not explain any mathematics.) The relationship could be a matter of historical connection with the subject or with related matters, or of legal, commercial, philosophical, ethical or political position regarding them. The "Invariant Sections" are certain Secondary Sections whose titles are designated, as being those of Invariant Sections, in the notice that says that the Document is released under this License. If a section does not fit the above definition of Secondary then it is not allowed to be designated as Invariant. The Document may contain zero Invariant Sections. If the Document does not identify any Invariant Sections then there are none. The "Cover Texts" are certain short passages of text that are listed, as Front-Cover Texts or Back-Cover Texts, in the notice that says that the Document is released under this License. A Front-Cover Text may be at most 5 words, and a Back-Cover Text may be at most 25 words. A "Transparent" copy of the Document means a machine-readable copy, represented in a format whose specification is available to the general public, that is suitable for revising the document straightforwardly with generic text editors or (for images composed of pixels) generic paint programs or (for drawings) some widely available drawing editor, and that is suitable for input to text formatters or for automatic translation to a variety of formats suitable for input to text formatters. A copy made in an otherwise Transparent file format whose markup, or absence of markup, has been arranged to thwart or discourage subsequent modification by readers is not Transparent. An image format is not Transparent if used for any substantial amount of text. A copy that is not "Transparent" is called "Opaque". Examples of suitable formats for Transparent copies include plain ASCII without markup, Texinfo input format, LaTeX input format, SGML or XML using a publicly available DTD, and standard-conforming simple HTML, PostScript or PDF designed for human modification. Examples of transparent image formats include PNG, XCF and JPG. Opaque formats include proprietary formats that can be read and edited only by proprietary word processors, SGML or XML for which the DTD and/or processing tools are not generally available, and the machine-generated HTML, PostScript or PDF produced by some word processors for output purposes only. The "Title Page" means, for a printed book, the title page itself, plus such following pages as are needed to hold, legibly, the material this License requires to appear in the title page. For works in formats which do not have any title page as such, "Title Page" means the text near the most prominent appearance of the work's title, preceding the beginning of the body of the text. A section "Entitled XYZ" means a named subunit of the Document whose title either is precisely XYZ or contains XYZ in parentheses following text that translates XYZ in another language. (Here XYZ stands for a specific section name mentioned below, such as "Acknowledgements", "Dedications", "Endorsements", or "History".) To "Preserve

Teora de conjuntos/Versin para imprimir the Title" of such a section when you modify the Document means that it remains a section "Entitled XYZ" according to this definition. The Document may include Warranty Disclaimers next to the notice which states that this License applies to the Document. These Warranty Disclaimers are considered to be included by reference in this License, but only as regards disclaiming warranties: any other implication that these Warranty Disclaimers may have is void and has no effect on the meaning of this License.

19

2. VERBATIM COPYING
You may copy and distribute the Document in any medium, either commercially or noncommercially, provided that this License, the copyright notices, and the license notice saying this License applies to the Document are reproduced in all copies, and that you add no other conditions whatsoever to those of this License. You may not use technical measures to obstruct or control the reading or further copying of the copies you make or distribute. However, you may accept compensation in exchange for copies. If you distribute a large enough number of copies you must also follow the conditions in section 3. You may also lend copies, under the same conditions stated above, and you may publicly display copies.

3. COPYING IN QUANTITY
If you publish printed copies (or copies in media that commonly have printed covers) of the Document, numbering more than 100, and the Document's license notice requires Cover Texts, you must enclose the copies in covers that carry, clearly and legibly, all these Cover Texts: Front-Cover Texts on the front cover, and Back-Cover Texts on the back cover. Both covers must also clearly and legibly identify you as the publisher of these copies. The front cover must present the full title with all words of the title equally prominent and visible. You may add other material on the covers in addition. Copying with changes limited to the covers, as long as they preserve the title of the Document and satisfy these conditions, can be treated as verbatim copying in other respects. If the required texts for either cover are too voluminous to fit legibly, you should put the first ones listed (as many as fit reasonably) on the actual cover, and continue the rest onto adjacent pages. If you publish or distribute Opaque copies of the Document numbering more than 100, you must either include a machine-readable Transparent copy along with each Opaque copy, or state in or with each Opaque copy a computer-network location from which the general network-using public has access to download using public-standard network protocols a complete Transparent copy of the Document, free of added material. If you use the latter option, you must take reasonably prudent steps, when you begin distribution of Opaque copies in quantity, to ensure that this Transparent copy will remain thus accessible at the stated location until at least one year after the last time you distribute an Opaque copy (directly or through your agents or retailers) of that edition to the public. It is requested, but not required, that you contact the authors of the Document well before redistributing any large number of copies, to give them a chance to provide you with an updated version of the Document.

Teora de conjuntos/Versin para imprimir

20

4. MODIFICATIONS
You may copy and distribute a Modified Version of the Document under the conditions of sections 2 and 3 above, provided that you release the Modified Version under precisely this License, with the Modified Version filling the role of the Document, thus licensing distribution and modification of the Modified Version to whoever possesses a copy of it. In addition, you must do these things in the Modified Version: A. Use in the Title Page (and on the covers, if any) a title distinct from that of the Document, and from those of previous versions (which should, if there were any, be listed in the History section of the Document). You may use the same title as a previous version if the original publisher of that version gives permission. B. List on the Title Page, as authors, one or more persons or entities responsible for authorship of the modifications in the Modified Version, together with at least five of the principal authors of the Document (all of its principal authors, if it has fewer than five), unless they release you from this requirement. C. State on the Title page the name of the publisher of the Modified Version, as the publisher. D. Preserve all the copyright notices of the Document. E. Add an appropriate copyright notice for your modifications adjacent to the other copyright notices. F. Include, immediately after the copyright notices, a license notice giving the public permission to use the Modified Version under the terms of this License, in the form shown in the Addendum below. G. Preserve in that license notice the full lists of Invariant Sections and required Cover Texts given in the Document's license notice. H. Include an unaltered copy of this License. I. Preserve the section Entitled "History", Preserve its Title, and add to it an item stating at least the title, year, new authors, and publisher of the Modified Version as given on the Title Page. If there is no section Entitled "History" in the Document, create one stating the title, year, authors, and publisher of the Document as given on its Title Page, then add an item describing the Modified Version as stated in the previous sentence. J. Preserve the network location, if any, given in the Document for public access to a Transparent copy of the Document, and likewise the network locations given in the Document for previous versions it was based on. These may be placed in the "History" section. You may omit a network location for a work that was published at least four years before the Document itself, or if the original publisher of the version it refers to gives permission. K. For any section Entitled "Acknowledgements" or "Dedications", Preserve the Title of the section, and preserve in the section all the substance and tone of each of the contributor acknowledgements and/or dedications given therein. L. Preserve all the Invariant Sections of the Document, unaltered in their text and in their titles. Section numbers or the equivalent are not considered part of the section titles. M. Delete any section Entitled "Endorsements". Such a section may not be included in the Modified Version. N. Do not retitle any existing section to be Entitled "Endorsements" or to conflict in title with any Invariant Section. O. Preserve any Warranty Disclaimers. If the Modified Version includes new front-matter sections or appendices that qualify as Secondary Sections and contain no material copied from the Document, you may at your option designate some or all of these sections as invariant. To do this, add their titles to the list of Invariant Sections in the Modified Version's license notice. These titles must be distinct from any other section titles. You may add a section Entitled "Endorsements", provided it contains nothing but endorsements of your Modified Version by various parties--for example, statements of peer review or that the text has been approved by an

Teora de conjuntos/Versin para imprimir organization as the authoritative definition of a standard. You may add a passage of up to five words as a Front-Cover Text, and a passage of up to 25 words as a Back-Cover Text, to the end of the list of Cover Texts in the Modified Version. Only one passage of Front-Cover Text and one of Back-Cover Text may be added by (or through arrangements made by) any one entity. If the Document already includes a cover text for the same cover, previously added by you or by arrangement made by the same entity you are acting on behalf of, you may not add another; but you may replace the old one, on explicit permission from the previous publisher that added the old one. The author(s) and publisher(s) of the Document do not by this License give permission to use their names for publicity for or to assert or imply endorsement of any Modified Version.

21

5. COMBINING DOCUMENTS
You may combine the Document with other documents released under this License, under the terms defined in section 4 above for modified versions, provided that you include in the combination all of the Invariant Sections of all of the original documents, unmodified, and list them all as Invariant Sections of your combined work in its license notice, and that you preserve all their Warranty Disclaimers. The combined work need only contain one copy of this License, and multiple identical Invariant Sections may be replaced with a single copy. If there are multiple Invariant Sections with the same name but different contents, make the title of each such section unique by adding at the end of it, in parentheses, the name of the original author or publisher of that section if known, or else a unique number. Make the same adjustment to the section titles in the list of Invariant Sections in the license notice of the combined work. In the combination, you must combine any sections Entitled "History" in the various original documents, forming one section Entitled "History"; likewise combine any sections Entitled "Acknowledgements", and any sections Entitled "Dedications". You must delete all sections Entitled "Endorsements."

6. COLLECTIONS OF DOCUMENTS
You may make a collection consisting of the Document and other documents released under this License, and replace the individual copies of this License in the various documents with a single copy that is included in the collection, provided that you follow the rules of this License for verbatim copying of each of the documents in all other respects. You may extract a single document from such a collection, and distribute it individually under this License, provided you insert a copy of this License into the extracted document, and follow this License in all other respects regarding verbatim copying of that document.

7. AGGREGATION WITH INDEPENDENT WORKS

A compilation of the Document or its derivatives with other separate and independent documents or works, in or on a volume of a storage or distribution medium, is called an "aggregate" if the copyright resulting from the compilation is not used to limit the legal rights of the compilation's users beyond what the individual works permit. When the Document is included in an aggregate, this License does not apply to the other works in the aggregate which are not themselves derivative works of the Document. If the Cover Text requirement of section 3 is applicable to these copies of the Document, then if the Document is less than one half of the entire aggregate, the Document's Cover Texts may be placed on covers that bracket the Document within the aggregate, or the electronic equivalent of covers if the Document is in electronic form. Otherwise they must appear on printed covers that bracket the whole aggregate.

Teora de conjuntos/Versin para imprimir

22

8. TRANSLATION
Translation is considered a kind of modification, so you may distribute translations of the Document under the terms of section 4. Replacing Invariant Sections with translations requires special permission from their copyright holders, but you may include translations of some or all Invariant Sections in addition to the original versions of these Invariant Sections. You may include a translation of this License, and all the license notices in the Document, and any Warranty Disclaimers, provided that you also include the original English version of this License and the original versions of those notices and disclaimers. In case of a disagreement between the translation and the original version of this License or a notice or disclaimer, the original version will prevail. If a section in the Document is Entitled "Acknowledgements", "Dedications", or "History", the requirement (section 4) to Preserve its Title (section 1) will typically require changing the actual title.

9. TERMINATION
You may not copy, modify, sublicense, or distribute the Document except as expressly provided for under this License. Any other attempt to copy, modify, sublicense or distribute the Document is void, and will automatically terminate your rights under this License. However, parties who have received copies, or rights, from you under this License will not have their licenses terminated so long as such parties remain in full compliance.

10. FUTURE REVISIONS OF THIS LICENSE

The Free Software Foundation may publish new, revised versions of the GNU Free Documentation License from time to time. Such new versions will be similar in spirit to the present version, but may differ in detail to address new problems or concerns. See http://www.gnu.org/copyleft/. Each version of the License is given a distinguishing version number. If the Document specifies that a particular numbered version of this License "or any later version" applies to it, you have the option of following the terms and conditions either of that specified version or of any later version that has been published (not as a draft) by the Free Software Foundation. If the Document does not specify a version number of this License, you may choose any version ever published (not as a draft) by the Free Software Foundation.

Referencias
[1] http:/ / en. wikipedia. org/ wiki/ :Teora [2] http:/ / commons. wikimedia. org/ wiki/ File:InterseccionRestas. png

Fuentes y contribuyentes del artculo

23

Fuentes y contribuyentes del artculo

Teora de conjuntos/Versin para imprimir Fuente: http://es.wikibooks.org/w/index.php?oldid=70143 Contribuyentes: Alephcero, 2 ediciones annimas

Fuentes de imagen, Licencias y contribuyentes

Imagen:Heckert GNU white.svg Fuente: http://es.wikibooks.org/w/index.php?title=Archivo:Heckert_GNU_white.svg Licencia: Free Art License Contribuyentes: Aurelio A. Heckert <aurium@gmail.com> Imagen:Setsintersection.png Fuente: http://es.wikibooks.org/w/index.php?title=Archivo:Setsintersection.png Licencia: GNU Free Documentation License Contribuyentes: wikilibro Imagen:Compositionoffunctions.png Fuente: http://es.wikibooks.org/w/index.php?title=Archivo:Compositionoffunctions.png Licencia: Public Domain Contribuyentes: wikilibro

Licencia
Creative Commons Attribution-Share Alike 3.0 Unported //creativecommons.org/licenses/by-sa/3.0/