Teoría Intuitiva de Conjuntos

Teora intuitiva de conjuntos/Versin para imprimir
1 of 27
zim://A/Teora_de_conjuntos_Versin_para_imprimir.html
Teora de conjuntos
por es.wikibooks.org
Contenido
1. Teora intuitiva de conjuntos.
1. Conjuntos.
2. Notacin de conjuntos y el conjunto vaco
3. Unin e interseccin de conjuntos
4. Diferencia de conjuntos y conjuntos complementarios
5. Conjuntos potencia
6. Producto cartesiano
7. Funciones
8. Relaciones
9. Ejercicios.
Versin para imprimir
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
16/04/2015 04:12 p.m.
2 of 27
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. 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
.
. Con esto lo que estamos haciendo es denominar por

Ejemplo: Consideremos el conjunto
. Pues bien, podemos decir entonces que
y que
.
1.1.2. Diremos que dos conjuntos e son iguales, lo que se representa por
elementos. As pues,
siempre que
, si y solo si
al conjunto
consisten de los mismos
si y solo si
para todo elemento
(i.e. si todo elemento de
es elemento de
y, recprocamente, si todo elemento de
es elemento de ).
Ejemplo: Siguiendo con nuestro ejemplo, segn nuestro criterio vemos que
. En efecto, cada uno de los elementos del 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 a cualquiera de ambos.
1.1.3. Por otra parte, como un hecho ms general que la igualdad, un conjunto
por
es subconjunto de otro , lo que se representa
,
siempre que
implica
para cualquiera que sea el elemento
(i.e., si todo elemento de
para todo conjunto , por lo que se dice que la relacin
es elemento de ). Claramente
es reflexiva. Tambin tenemos que
si y solo si
y que
y
implica
para cualesquiera conjuntos , y . Estos dos hechos muestran, respectivamente, que la relacin
transitiva (vase ms adelante relaciones).
es antisimtrica y
16/04/2015 04:12 p.m.
3 of 27
1.1.4. Si
y
cual se representa por
(i.e. si
tiene por lo menos un elemento ms que ) se dice que
es subconjunto propio de , lo
^ Peano fue el primero en representar la relacin de pertenencia por la letra

, que significa "est".
primera letra de la palabra griega
en sus Arithmetices Principia (1889), por ser la
Captulo anterior: Introduccin Captulo siguiente: Notacin de conjuntos y el conjunto vaco
Notacin de conjuntos y el conjunto vaco

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

es equivalente a
1.2.3. Existe otra forma comn de representar conjuntos. Si

propiedad , entonces se representa tambin por
es el conjunto de todos aquellos elementos
que verifican una
.
1.2.4. As, si
es la propiedad
, entonces el conjunto
claramente contiene cualquier cosa.

1.2.5. Mientras tanto, si
es la propiedad
no contiene nada. Este conjunto sin elementos lo llamaremos conjunto vaco, y lo representaremos por . Tenemos que
para cualquiera que sea el conjunto (pues esto sera falso slo si existiera algn elemento en que no estuviera en el
conjunto , lo cual es absurdo pues no contiene nada).
Por otro lado,
implica
16/04/2015 04:12 p.m.
4 of 27
para cualquier conjunto . Efectivamente, pues si fuera

no est en , lo que es imposible.
, entonces
tendra por lo menos un elemento que
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
consiste de todos los elementos que estn ya sea en , ya sea en , ya sea en ambos
Esto es,
representa por el rea sombreada en el diagrama siguiente:
Sean ,
conjuntos cualesquiera. Se cumplen las propiedades siguientes:
( U-1 )
(idempotencia)
( U-2 )
(identidad)
( U-3 )
e . La unin se
(conmutatividad)
(asociatividad)
( U-4 )
( U-5 )
( U-6 )
si y solo si
Estas propiedades son fcilmente demostrables. Veamos la demostracin de ( U-2 ) y ( U-6 ):

es elemento de (demostrar que
) y que,
( U-2 ) Hay que demostrar que todo elemento de
(demostrar que
). Si
, entonces
recprocamente, todo elemento de es elemento de
, de lo que solo puede ser
. Recprocamente, si
, entonces
. Por tanto
.
16/04/2015 04:12 p.m.
5 of 27
( U-6 ) Supngase que

pero que
, lo que contradice el hecho de que
cierto,
resultado deseado.
1.3.2. La interseccin de dos conjuntos
. Entonces, en particular, existe

. Recprocamente, si
tal que
, pero si esto es
, entonces de ( U-5 ) se sigue el
se define como el conjunto
es el conjunto formado por todos los elementos que estn tanto en

Es decir,
por el rea sombreada en el diagrama siguiente :
Sean ,
( I-1 )
como en . La interseccin se representa
conjuntos cualesquiera
(idempotencia)
( I-2 )
( I-3 )
(conmutatividad)
( I-4 )
(asociatividad)
( I-5 )
( I-6 )
si y solo si
Adems, se cumplen las siguientes leyes distributivas:

( UI-1 )
( UI-2 )
1.3.3. Si e son dos conjuntos tales que

conjuntos disjuntos.
(i.e. si
no tienen elementos en comn) se dice que
1.3.4. Las operaciones de unin e interseccin pueden generalizarse. Si

los conjuntos de puede definirse como el conjunto
son
es una coleccin (conjunto) de conjuntos, la unin de
16/04/2015 04:12 p.m.
6 of 27
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
se define por
Por tanto,
si
para todo conjunto
de
(i.e.
consiste de los elementos que estn en todo conjunto de
). Como caso particular, tenemos
1.3.6. Ntese que, de acuerdo a la definicin anterior, si

, entonces, puesto que en ese caso
para cualquiera que sea el conjunto y el elemento , el conjunto
lo contiene todo.
implica
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 e son dos conjuntos cualesquiera, la diferencia de
definido por
es el conjunto
Es decir,
consiste de todos los elementos que estn en
sombreada en el siguiente diagrama:
(tambin simbolizado por
pero no en . Este conjunto se representa por el rea
16/04/2015 04:12 p.m.
7 of 27
Diferencia de e , o entre A y
B en este caso
Ejercicio: Probar que

Sean ,
son conjuntos disjuntos si y solo si
conjuntos cualesquiera. Entonces
( D-1 )
( D-2 )
( D-3 )
( D-4 )
( D-5 )
Ver diagrama
( D-6 )
( D-7 )
( D-8 )
1.4.2. Si
si y solo si
es un subconjunto de , entonces el subconjunto de ,
,
se dice conjunto complementario de
en . En el siguiente diagrama se representa este conjunto como el area sombreada:
Complemento de en , o de
A en U en este caso
Sean
subconjuntos de un conjunto . Se cumplen
16/04/2015 04:12 p.m.
8 of 27
( C-1 )
( C-2 )
( C-3 )
(conmutatividad)
( 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.
en lugar de
1.4.3. En ocasiones, para evitar complejidades notacionales, escribiremos

sobreentienda cual es el conjunto .
cuando del contexto se
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
dado por
el conjunto potencia de es el conjunto
.
1.5.2. Puesto que
, y por tanto
conjunto con
elementos. Entonces, existen
elementos,
subconjuntos de
elementos. De este modo,
subconjuntos de
contiene un solo elemento, y por ello

con un solo elemento,
con 3 elementos, y as sucesivamente hasta llegar a los
subconjuntos de
subconjuntos de
. Sea
un
con dos
con
tiene
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
16/04/2015 04:12 p.m.
9 of 27
de conjuntos potencia.
equivale a
1.5.3. Ntese que
1.5.4. Algo ms interesante y conveniente de notar es que
para cualquier conjunto
. En efecto, pues de
, por lo que
. Recprocamente, si
), luego
, se sigue
para algn
, entonces
, es decir, para algn
para algn conjunto
(e.g. el conjunto
1.5.5. Como hecho ms general, si
es una coleccin de subconjuntos de un conjunto
, es decir si
, entonces
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 . Si
el complemento
existe y
, entonces
para todo
, por lo que
. As,
para todo
, y puesto que
. El conjunto anterior es en efecto una interseccin
de los conjuntos de una coleccin, a saber
Sea
un conjunto y
una coleccin de subconjuntos de . El resultado anterior, y otro cuya demostracin se deja como un
16/04/2015 04:12 p.m.
10 of 27
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
de objetos y tal que si
es otro par ordenado,
y
sern iguales si y solo si
y
. 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
Para ver que esta definicin de par ordenado es adecuada, hemos de mostrar que
si y solo si
para cualesquiera , , , . Sea pues
. Entonces
, todo se reduce fcilmente a

considerado que dos conjuntos son iguales si y solo si tienen los
Si
, entonces no puede ser
y
, pues si
resulta
mismos elementos. Si
por definicin de la igualdad de conjuntos, lo que contradice
, y por tanto ha de ser
y
, con lo que claramente
, adems de que
, 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
16/04/2015 04:12 p.m.
11 of 27
para todo
mostrando que en ese caso tambin se cumple
si y solo si
para cualesquiera , ,
y . Esta definicin de par ordenado la dio Weiner en 1914.

y
Ejercicio: Considrese la definicin de pares ordenados de Kuratowski. Probar que si

. Probar que, ms generalmente, si
y
, entonces
1.6.2. La definicin de par ordenado se puede generalizar inductivamente para cualquier nmero
la ecuacin
, entonces
de componentes, mediante
1.6.3. Sean
dos conjuntos. El producto cartesiano de
es el conjunto
definido por
es el conjunto de todos los pares ordenados cuyo primer componente es un elemento de

Es decir,
componente un elemento de .
y segundo
Dados cualesquiera dos conjuntos , , , tenemos

( P-1 )
( P-2 )
( P-3 )
( P-4 )
si y solo si
( P-5 )
si y solo si
Captulo anterior: Conjuntos potencia Captulo siguiente: Funciones
Funciones
1.7.1. Sean
dos conjuntos cualesquiera. Cualquier subconjunto

existe
( F-1 ) para todo

( F-2 )
tal que
implica
del producto cartesiano
que cumpla
y
,
16/04/2015 04:12 p.m.
12 of 27
se dice funcin de
en . Para indicar que
es una funcin de un conjunto
en otro , es comn escribir
una funcin de en . Si
se dice que es antecedente de
1.7.2. Sean dos conjuntos e , y sea
por medio de , y que es imagen de por medio de . Por definicin, un elemento
no puede tener ni ms ni menos
, que representaremos por
(de modo que
si y solo si
). El conjunto
que una sola imagen
se dice dominio de la funcin , y se representa comnmente por
, mientras que el subconjunto
tal que para
existe
tal que
(i.e. el subconjunto de que contiene solo las imgenes de los elementos de
todo
por medio de ) se dice rango de la funcin , y se representa por
.
1.7.3. Claramente dos funciones
para todo
son iguales si y solo si
es cualquier funcin de
1.7.4. Tenemos tambin que si e son dos conjuntos, y si
, y as
. Luego, si es el conjunto de todas las funciones
modo que
.
1.7.5. Sea
un conjunto cualquiera, y sea
1.7.6. Sea
un conjunto. La funcin
. Claramente
en , entonces
,
, de
,
que enva un elemento de con un subconjunto de , se denomina familia de subconjuntos de indicada por . El conjunto
se denomina en este caso conjunto de ndices (por lo que cada
se dice un ndice), y la imagen de cualquier
por
medio de esta funcin se representa por .
Por ejemplo, considrese el conjunto
,
y el conjunto de ndices
ser la funcin
. Existen varias familias de subconjuntos de
indicadas por . Una de estas puede
16/04/2015 04:12 p.m.
13 of 27
dada por
Otra puede ser la que viene dada por
.
de un conjunto
1.7.7. Sea la funcin

(F-3) para cualesquiera
en otro ; Si
implica
es decir, si cualesquiera distintos elementos de

una inyeccin.
tienen distintas imgenes en , se dice que
es una funcin inyectiva o que es
Si
(F-4) para todo
es decir, si
funcin de
existe
tal que
(i.e. si todo
es imagen), se dice que
sobre , o que es una sobreyeccin.
es una funcin sobreyectiva (o suprayectiva), que es una
(F-5) Una funcin que es a la vez inyectiva y sobreyectiva se dice funcin biyectiva o biyeccin.
1.7.8. Sea
, y sea
un subconjunto de
(i.e. un elemento de
existe
se dice imagen del subconjunto
de . As pues,
por . Es decir,
). El conjunto
tal que
es el conjunto de todos los
dado por
,
que son imagen de algn elemento
y, en particular,
Ntese que, si
, entonces
16/04/2015 04:12 p.m.
14 of 27
es un conjunto con un solo elemento, a saber, la imagen de

1.7.9. Por otra parte, si
por .
, entonces se define el conjunto
por
y se llama a este conjunto imagen recproca de
por . As pues,
tiene una imagen en , tenemos que, como caso particular,
Puesto que todo elemento de
Sin embargo, debemos tener presente que, si bien

, donde
, siempre es un conjunto con un solo elemento, el
conjunto
con
puede ser vaco, ya que la definicin de funcin no garantiza que todo elemento de tenga un
antecedente en . Sin embargo esto si esta garantizado cuando es sobreyectiva, de modo que, en ese caso, el conjunto
contiene cualquier elemento de cuya imagen sea . Si es adems inyectiva, entonces

contiene solo a tal elemento .
imagen de solo un elemento de , y as
es biyectiva, de modo que
1.7.10. Veamos ahora algunas propiedades generales de las funciones. Para esto definimos una funcin
e
de subconjuntos de e respectivamente. Convenimos tambin en que ,
familias
representan, respectivamente, subconjuntos de y subconjuntos de .
es la
y dos
e
Tenemos que
(a)
implica
.
. Si
, entonces, por definicin (vase ?), existe
, de modo que
. QED
Demostracin: Sea pues

, pues
en tal caso
(b)
implica
tal que
, pero
.
, entonces
Demosracn: Si
, puesto que
, se tiene
, luego
, y as
. QED
(c)
16/04/2015 04:12 p.m.
15 of 27
Demostracin: Sea
. La imagen de
Si, en particular, la funcin
por ,
, est en el conjunto
, y as
(e)
Demostracin: Si
, entonces
es la imagen de algn
, y as
. QED
es sobreyectiva, entonces
(f)
(g)
implica
Demostracin: En vista de (d), solo queda demostrar que, si
, entonces
. Esto es fcil
solo contiene elementos que son imgenes, y por tanto esto tambin es cierto para
considerando que
,
, luego
, de modo que si
, con lo que la prueba termina. QED

.
(h)]
. As, existe
Demostracin: Sea
tal que
, pero en ese caso
, y con esto
. Solo falta demostrar que
los pasos anteriores en el sentido opuesto. QED
Si, en particular,
. QED
es inyectiva, entonces
(d)
Si, en particular,
, de modo que
, lo que consiste de seguir
es inyectiva, se cumple
(i)
.
. Entonces, puesto que es inyectiva, existe un nico
, y as
. QED
Demostracin: Sea
, de modo que
tal que
. Luego,
Debemos hacer nfasis en que el resultado anterior no se cumple para cualquier funcin a menos que esta sea inyectiva. Por
, pero esto no es suficiente para garantizar que
, por que al no
ejemplo, si no es inyectiva, puede ser
tal que
, caso en el cual la imagen de est en
por que es la
ser inyectiva, podra existir un
misma imagen de un elemento que si esta en .
Si, en particular, la funcin
(j)
es sobreyectiva, tenemos
.
, tenemos que
, por lo que no tiene ningn antecedente en . Notemos que, por
Demostracin: Si
ser una sobreyeccin, tiene por lo menos un antecedente en . Sea cualquiera de estos antecedentes de , es decir, sea
. Tenemos que
, por lo que
, lo que demuestra lo que se quera. QED
16/04/2015 04:12 p.m.
16 of 27
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

, que se representa por
de los conjuntos del rango de
a la unin
y que se define (vase 1.3.4) naturalmente por
. Se cumplen:
1.7.12. Sea una funcin

.
(a)
, entonces existe al menos un
Demostracin: Si
con ello
, para almenos un
. As,
los pasos de esta prueba para demostrar que
(b)
tal que
, y de esta manera
, lo que demuestra
,y
. Invertir todos
se deja como ejercicio para el lector. QED
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
, que se representa por
, se dice
. As pues (vase 1.3.5),
simplemente interseccin de
. Se cumplen
1.7.14. Sea una funcin

.
(a)
Demostracin: Sea
esta razn,
para todo
. Entonces existe
tal que
, con lo que
. QED
, con
para todo ndice
. Por
16/04/2015 04:12 p.m.
17 of 27
(b)
Demostracin: Si
entonces
para todo ndice
es el antecedente de un nico
. As
para todo
, es decir,
, luego
. Demostrar que
Si la funcin
. Pero si
. Esto demuestra que
se deja como ejercicio al lector. QED
es adems inyectiva, se cumple

.
(c)
Demostracin: En vista de (a), solo queda demostrar que, en caso de que

, de manera que
sea
para todo ndice

para todo ndice
un nico elemento a, y que, al ser

. As
sea inyectiva,
. Puesto que
, cumple con
. Para esto,
es inyectiva,
no es imagen ms que de
para todo
, con lo que
, lo que demuestra lo que se quera. QED
Resaltamos que el enunciado (c) se cumple solo en caso de que la funcin sea inyectiva. La razn es que un elemento
puede no estar en
para todo
, y sin embargo, puede que su imagen
si est en todos los conjuntos
debido a que es la imagen de algn otro elemento contenido en los conjuntos
que no tienen a . Por ejemplo, supngase ,
cuya imagen es , no est en
para algn
, pero que este conjunto
contiene otro elemento cuya imagen es tambin
, de tal manera que
para cualquiera que sea el ndice
sin necesidad de que
para todo
. En ese
caso (cuando es no inyectiva) tenemos
dada por
1.7.15. La funcin
para todo
, y que por tanto enva cada elemento de
Es claro que, siendo
consigo mismo, se llama funcin identidad.
16/04/2015 04:12 p.m.
18 of 27
Si
, esto se reduce a
.
e
1.7.16. Sean
dos conjuntos y considrese una funcin

dada por
. Sea
un subconjunto de . La funcin
,
se dice restriccin de
. Esto es,
por lo que la restriccin de

1.7.17. Sea
un conjunto y
es una funcin que resulta de 'recortar' el dominio de . Es claro que
un subconjunto de . La aplicacin
dada por
,
e.i. la restriccin
1.7.18. Sea
. La aplicacin
, se llama inyeccin cannica de

una aplicacin de un conjunto
en x.
en otro , y sea
una aplicacin de
en un conjunto
dada por
16/04/2015 04:12 p.m.
19 of 27
se dice composicin de y . Esto es,

resulta de aplicar seguida de , por lo que si enva un elemento
y enva a
con un elemento
, entonces
enva directamente el elemento
un elemento
(Refirase a la figura de abajo).
elemento
1.7.19. Sean las funciones

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

.
1.7.22. Adems, se observa que
16/04/2015 04:12 p.m.
20 of 27
por lo que
Si
, esto se simplifica a
1.7.23. Ntese tambin que, siendo
existe cuando es biyectiva. Adems la funcin inversa de una funcin es nica. Para probar esto,
son dos funciones inversas de una funcin
. Entonces
1.7.24. Es claro que

supngase que
y
,
y
,
y por tanto
1.7.25. Sean las funciones
. Entonces
En efecto, pues
es funcin inversa de
,y
16/04/2015 04:12 p.m.
21 of 27
con lo que
es tambin funcin inversa de
, y as
y
han de ser la misma funcin (pues
es el argumento siguiente:
la inversa de cualquier funcin es nica). Otra forma de demostrar que
Sea
. Se sigue que
, y de esto que
para un
tal que
, o sea
y
, de modo que
y
, y por tanto
. Esto prueba
que
, y probar que
resulta de recorrer todos los pasos anteriores de
que
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
es una relacin, si bien lo recproco no es
un conjunto de pares ordenados, de modo que toda funcin
necesariamente cierto, pues puede una relacin no cumplir (f-1) o (f-2) (o ambas) de 1.7.1 . De sto, resulta conveniente
. As pues,
adoptar una notacin diferente a la que se us con las funciones para expresar el hecho de que
escribiremos
,
y
cuando
. Para el caso particular en que
es una relacin que es a su vez es funcin, tenemos
.
Sin embargo, emplearemos la notacin
para representar
cuando sepamos que
es una funcin.
1.8.2. Las relaciones pueden definirse entre ms de dos conjuntos. As, una relacin entre los conjuntos , y , puede ser
, y consistira por tanto de ternas ordenadas. Una relacin as se
cualquier subconjunto del producto cartesiano
dice relacin ternaria, para distinguirse de las relaciones que se aplican solo entre dos conjuntos (que naturalmente se llaman
, es un
relaciones binarias). En trminos ms generales, una funcin -aria entre cuales quiera conjuntos
.
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.
. Al igual que las funciones, las
1.8.4. En particular, una relacin sobre un conjunto es un subconjunto
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 )
es reflexiva siempre que

para toda
16/04/2015 04:12 p.m.
22 of 27
La relacin
es irreflexiva si
para ningn
( R-2 )
La relacin
(R-3)
implica
implica que
para cualesquiera
a es falso para cualesquiera
es transitiva siempre que

y
La relacin
(R-7)
es asimtrica siempre que
La relacin
(R-6)
a para cualesquiera
es antisimtrica siempre que
La relacin
(R-5)
es simtrica siempre que
La relacin
(R-4)
implica
para cualesquiera
es conexa siempre que

o
para cualesquiera
1.8.5. Una relacin que es reflexiva, simtrica y transitiva se dice relacin de equivalencia. Si
equivalencia sobre un conjunto y si
dado por
se dice clase de equivalencia de por . Si se sabe cual es la relacin

simplemente
en lugar de
. As pues
es una relacin de
y si no se presta a confusin, es comn escribir
.
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
comnmente relacin grosera.
1.8.8. Puesto que una relacin de equivalencia
es el mismo producto cartesiano
sobre un conjunto
, que en este caso se llama
es reflexiva, tenemos
16/04/2015 04:12 p.m.
23 of 27
para todo
. Adems,
es simtrica, de donde
.
Se tiene tambin que
.
Efectivamente, pues si
que
, entonces
, y por simetra,
, luego por transitividad
. Otra cosa ms es
La razn es que si
esto
, entonces existe un
, que como ya vimos significa que
tal que
o sea que
, y con
1.8.9. Otra forma de expresear este resultado es que
.
1.8.10. Sea una relacin de equivalencia sobre un conjunto . El conjunto cociente de
, se define por
por
por la relacin
, que se representa
.
Es decir,
contiene todas las clases de equivalencia por la relacin
1.8.11. Puesto que cada uno de los elementos de

), resulta que
est en alguna clase de equivalencia (pues por ejemplo si
se tiene
o, para mayor claridad,
16/04/2015 04:12 p.m.
24 of 27
y como cualesquiera dos clases de equivalencia distintas de

(vase 1.5.6).
1.8.12. Sea
una particin de un conjunto
para algn
son disjuntas (vase 1.8.9),
. Luego defnase la relacin
es una particin de
mediante
. Puesto que
est contenido en algn conjunto de , por lo que

para todo
, y as es
cada uno de los elementos de
implica
para todo
, por lo que es simtrica. Adems, si
y
, existen
reflexiva. Claramente
tales que
y
, y estos han de cumplir
(pues si
, ha de ser
, lo que es contradictorio en vista de que
y
), y entonces concluimos 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:
es una particin de
Si es una relacin de equivalencia sobre un conjunto , entonces el conjunto cociente
.
recprocamente, si es una particin del conjunto , entonces existe una relacin tal que
y,
1.8.14. Una relacin sobre un conjunto reflexiva, antisimtrica y transitiva se dice relacin de orden parcial (o
se dice entonces un conjunto parcialmente ordenado, o
simplemente un orden) sobre el conjunto , y el par
simplemente que es un conjunto ordenado.
1.8.15. Aqu usaremos el smbolo
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
1.8.16. Se dice que
sobre el conjunto potencia
de un conjunto
es una relacin de orden parcial.
es una relacin de orden (parcial) estricto, o simplemente que es un orden estricto, sobre un conjunto ,
16/04/2015 04:12 p.m.
25 of 27
si 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
un conjunto ordenado. Un elemento
tal que
para todo
se dice elemento mnimo (o
primer elemento) de . El elemento mnimo de un conjunto, si existe, es nico. En efecto, pues si y fueran dos elementos
mnimos de , por definicin
y por antisimetra,
un conjunto ordenado. Un elemento

tal que
para todo
1.8.19. Sea
ltimo elemento) de . Tambin el elemento mximo de un conjunto, si existe, es nico.
se dice elemento mximo (o
es posible que existan elementos que, pudiendo no ser un mximo o un mnimo de ,

1.8.20. En un conjunto ordenado
tienen cierta distincin sobre otros elementos de por medio de el orden . Nos referimos a los minimales y los maximales.
es un minimal en si no existe ningn elemento en estrictamente menor que . (por medio del orden
Un elemento
si y solo si
y
, por supuesto) ; un elemento
se dice mximal de si no existe
estricto dado por
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.
16/04/2015 04:12 p.m.
26 of 27
1.8.21. Sea
un conjunto ordenado, y sea
. Un elemento
tal que
para todo
se dice cota
tal que
para todo
se dice cota superior (o
inferior (o minorante) de . Por otro lado, un elemento
puede o no estar en . Adems, si
es el conjunto de cotas inferiores
mayorante) de . Una cota inferior o superior de
solo puede ser vaco o ser un conjunto con un solo elemento. Si
, entonces el nico
de , entonces
es claramente un mnimo de . Si
contiene un elemento mximo, entonces este se dice nfimo de ,
elemento de
. Anlogamente, si
es el conjunto de todas las cotas superiores de ,
o
y lo representaremos por
contiene a lo ms un elemento, el cual sera entonces un mximo de . Si
tiene un mnimo, entonces este se dice
.
supremo de , y lo representaremos por
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
un conjunto parcialmente ordenado. Si todo subconjunto de admite un minimal respecto de , se dice
que es una relacin de orden bien fundada sobre , 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
.
es bien fundado si y solo si no existe una secuencia infinita
no fuera un conjunto bien fundado, entonces, si

,
no es un minimal, y por lo tanto existe
En efecto, pues si
tal que
. Este argumento es claramente vlido para cualquiera que sea el nmero natural
otro elemento
, por lo que se concluye que si
es no bien fundado, existe una secuencia infinita descendiente
. Recprocamente, si
es un conjunto ordenado tal que existe una secuencia
, entonces, para cualquiera que sea el elemento
, existe otro
descendiente infinita
tal que
, de modo que
no es minimal de , y con ello
es no bien fundado.
1.8.25. Una relacin de orden que es conexa en , se dice relacin de orden total, u orden total, sobre , y se dice que el par
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
es un conjunto bien ordenado. Entonces
es, en particular, bien fundado,
tanto un buen orden. Supngase que
tiene por lo menos un minimal. Supngase que y son dos minimales de . Puesto
por lo que todo subconjunto
es totalmente ordenado,
que
.
, pues si no,
o
, lo que no puede ser por que un minimal no tiene
Cualquiera que sea el caso, debe de ser
un elemento estrictamente menor que l (ni siquiera siendo este otro minimal). Vemos entonces que el elemento minimal es
es bien ordenado si todo subconjunto
de tiene mnimo.
un mnimo de . Por conclusin, un conjunto ordenado
16/04/2015 04:12 p.m.
27 of 27
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
GNU Free Documentation License

This article is issued from Wikilibros (http://es.wikibooks.org/wiki/Teor%C3%ADa_intuitiva_de_conjuntos%2FVersi
%C3%B3n_para_imprimir?oldid=239622) - version of the Thursday, January 01, 1970. The text is available under the
Creative Commons Attribution/Share Alike (http://creativecommons.org/licenses/by-sa/3.0/) but additional terms may apply
for the media files.
16/04/2015 04:12 p.m.

Teoría Intuitiva de Conjuntos

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Teoría Intuitiva de Conjuntos

Cargado por

Copyright:

Formatos disponibles

Teora intuitiva de conjuntos/Versin para imprimir

Teora intuitiva de conjuntos/Versin para imprimir

Versin para imprimir

Teora intuitiva de conjuntos

Captulo siguiente: Conjuntos

Teora intuitiva de conjuntos/Versin para imprimir

. Con esto lo que estamos haciendo es denominar por

consisten de los mismos

(i.e. si todo elemento de

y, recprocamente, si todo elemento de

es subconjunto de otro , lo que se representa

(i.e., si todo elemento de

para todo conjunto , por lo que se dice que la relacin

es reflexiva. Tambin tenemos que

16/04/2015 04:12 p.m.

Teora intuitiva de conjuntos/Versin para imprimir

tiene por lo menos un elemento ms que ) se dice que

^ Peano fue el primero en representar la relacin de pertenencia por la letra

en sus Arithmetices Principia (1889), por ser la

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

Notacin de conjuntos y el conjunto vaco

es un conjunto cuyos elementos son

y solo ellos, es comn representar a este conjunto

no es un nmero muy grande.

1.2.2. Ntese que, de acuerdo con esa notacin,

1.2.3. Existe otra forma comn de representar conjuntos. Si

es el conjunto de todos aquellos elementos

que verifican una

claramente contiene cualquier cosa.

16/04/2015 04:12 p.m.

Teora intuitiva de conjuntos/Versin para imprimir

para cualquier conjunto . Efectivamente, pues si fuera

tendra por lo menos un elemento que

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

Unin e interseccin de conjuntos

conjuntos cualesquiera. Se cumplen las propiedades siguientes:

Estas propiedades son fcilmente demostrables. Veamos la demostracin de ( U-2 ) y ( U-6 ):

16/04/2015 04:12 p.m.

Teora intuitiva de conjuntos/Versin para imprimir

( U-6 ) Supngase que

. Entonces, en particular, existe

se define como el conjunto

es el conjunto formado por todos los elementos que estn tanto en

como en . La interseccin se representa

Adems, se cumplen las siguientes leyes distributivas:

1.3.3. Si e son dos conjuntos tales que

no tienen elementos en comn) se dice que

1.3.4. Las operaciones de unin e interseccin pueden generalizarse. Si

es una coleccin (conjunto) de conjuntos, la unin de

16/04/2015 04:12 p.m.

Teora intuitiva de conjuntos/Versin para imprimir

si y solo si existe por lo menos un conjunto

que contenga al elemento . Como caso particular,

1.3.5. De manera similar, la interseccin de los conjuntos de una coleccin

para todo conjunto

consiste de los elementos que estn en todo conjunto de

). Como caso particular, tenemos

1.3.6. Ntese que, de acuerdo a la definicin anterior, si

Diferencia de conjuntos y conjuntos complementarios

(tambin simbolizado por

pero no en . Este conjunto se representa por el rea

16/04/2015 04:12 p.m.

Teora intuitiva de conjuntos/Versin para imprimir

Ejercicio: Probar que