Inversos y Compuestos
Inversos y Compuestos
Inversos y Compuestos
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
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
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 .
( 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
Recprocamente, si
x\cap y
Sean
( 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
). 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
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]
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
subconjuntos de
subconjuntos de
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
. En efecto, pues de
, se sigue
. Recprocamente, si ), luego .
, 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 ,
. Si
, entonces existe y
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
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
para cualesquiera
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
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 .
Teora de conjuntos/Versin para imprimir 1.7.3. Claramente dos funciones y son iguales si y solo si
para todo
, 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
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
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 .
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
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
, de , lo
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
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
tal que
. 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
11
, con . QED
para todo
es el antecedente de un nico . As
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
, de manera que
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)
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
para todo
Si
, esto se reduce a .
. 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
seguida de
enva un enva
con un elemento
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 ,
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 .
con lo que
, y as
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
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 conexa siempre que para cualesquiera y si . es una relacin , entonces el conjunto dado por
por
en lugar de
, ,
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
para algn
. Puesto que ,
cada uno de los elementos de y as y es reflexiva. Claramente , existen , ha de ser concluimos que
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.
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
. 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
, entonces
tal que
para todo
se dice elemento
. 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
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
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
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
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
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
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,
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
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.
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.
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.
Referencias
[1] http:/ / en. wikipedia. org/ wiki/ :Teora [2] http:/ / commons. wikimedia. org/ wiki/ File:InterseccionRestas. png
23
Licencia
Creative Commons Attribution-Share Alike 3.0 Unported //creativecommons.org/licenses/by-sa/3.0/