Notas de Topolog a Clara M. Neira U.

24 de agosto de 2003

Cap tulo 0 Teor a de Conjuntos

En esta secci on se presentan muy brevemente conceptos b asicos de la Teor a de Conjuntos as como la notaci on que se utilizar a en adelante. Suponemos al lector familiarizado con estas deniciones y resultados por lo cual no incluiremos demostraciones.

0.1.

Deniciones b asicas

Asumimos que el signicado de la palabra conjuntoes intuitivamente claro y, como es costumbre, utilizaremos preferiblemente letras may usculas A, B, ... para denotar los conjuntos y letras min usculas a, b, ... para denotar los elementos de un conjunto. Si a y b son elementos distintos, escribiremos a = b y con A = B estamos indicando que A y B son conjuntos distintos. Si un elemento a pertenece al conjunto A utilizaremos la notaci on a A y si deseamos expresar que a no es un elemento del conjunto A escribiremos a / A. Para indicar que todos los
1

elementos del conjunto A pertenecen tambi en al conjunto B , esto es que que A es un subconjunto de B o que el conjunto A est a contenido en B , escribiremos A B y si deseamos especicar que, aunque A es un subconjunto de B , existen elementos de B que no pertenecen a A, escribiremos A B . En este caso diremos que A es un subconjunto propio de B . Como es natural, si A B y B A entonces A y B tienen los mismos elementos y escribiremos A = B . Para describir un conjunto podemos listar de manera expl cita sus elementos como cuando escribimos A = {2, 3, 5, 7}, o indicar una propiedad que los caracterice, como cuando utilizamos la notaci on A = {x : x es un n umero primo menor que 10} o equivalentemente A = {x|x es un n umero primo menor que 10}. Denotamos con el s mbolo al conjunto vac o y armamos que X para todo conjunto X . Si X es un conjunto cualquiera, la colecci on de todos los subconjuntos de X es un conjunto que denotamos con el s mbolo P (X ) y llamamos el conjunto partes de X .

0.2.

Uni on, intersecci on y diferencia de conjuntos

Si A y B son conjuntos entonces la uni on de A y B , que denotamos A B es el conjunto formado por los elementos que pertenecen a A o pertenecen a B . Es decir A B = {x : x A o x B }.

Si A y B son conjuntos entonces la intersecci on de A y B , que denotamos A B , es el conjunto formado por los elementos que pertenecen a A y simult aneamente pertenecen a B . Es decir A B = {x : x A y x B }.

Si A B = decimos que A y B son disyuntos. De las deniciones se concluye que A A B , B A B , A B A y A B B.

3

Adem as se satisfacen las siguientes propiedades: 1. A A = A y A A = A para cada conjunto A. 2. A = A y A = para cada conjunto A. 3. A B = B A y A B = B A para todo conjunto A y todo conjunto B . 4. A B = A si y s olo si B A. 5. A B = A si y s olo si A B . 6. A (B C ) = (A B ) C para A, B y C conjuntos arbitrarios. 7. A (B C ) = (A B ) C para A, B y C conjuntos arbitrarios. 8. A (B C ) = (A B ) (A C ) para A, B y C conjuntos arbitrarios. 9. A (B C ) = (A B ) (A C ) para A, B y C conjuntos arbitrarios. La siguiente operaci on que mencionaremos es la diferencia de conjuntos.

Si A y B son conjuntos entonces la diferencia A \ B es el conjunto formado por los elementos que pertenecen a A y no pertenecen a B . Es decir A \ B = {x A : x / B }.

Si estamos trabajando con subconjuntos de un conjunto jo X y A X nos referiremos a X \ A como el complemento de A en X y lo denotaremos tambi en con Ac o con A. Las siguientes propiedades se conocen con el nombre de Leyes de De Morgan y resultan de gran utilidad en el trabajo con conjuntos. 1. Si A y B son subconjuntos de X entonces (A B )c = Ac B c . 2. Si A y B son subconjuntos de X entonces (A B )c = Ac B c .

Ejercicios

0.3.

Uniones e intersecciones arbitrarias

As como es posible conseguir un nuevo conjunto uniendo o intersectando dos conjuntos dados, es posible formar nuevos conjuntos construyendo la uni on o la intersecci on de una colecci on arbitraria de conjuntos o dicho de otra manera, de una familia arbitraria de conjuntos. Dada una colecci on A de conjuntos denimos la uni on de la colecci on como el conjunto A = {x : x A para alg un A A}
AA

y la intersecci on de la colecci on como el conjunto A = {x : x A para cada A A}.

AA

Si la colecci on A es vac a ning un elemento x satisface la condici on necesaria para poder armar que pertenece a AA A. Entonces AA A = . Pero la expresi on AA A s olo tiene sentido si estamos pensando en un conjunto X que sea todo nuestro universo. De ser as , cada elemento x X pertenece a AA A porque de lo contrario existir a A A = tal que x A, lo cual es absurdo. Entonces AA A = X . Si A es una colecci on de subconjuntos de un conjunto X entonces las Leyes de De Morgan tienen la siguiente presentaci on: 1. 2.
AA A AA A c c

= =

AA A AA A

c c

. .

Ejercicios
6

0.4.

Producto cartesiano

Antes de dar la denici on precisa del producto cartesiano de dos conjuntos nos referiremos brevemente al concepto de pareja ordenada. Rigurosamente hablando la pareja ordenada (a, b) es el conjunto {{a}, {a, b}}. La primera coordenada de la pareja es el elemento que aparece en los dos conjuntos que la denen y la segunda coordenada es el elemento que aparece s olo en uno de los conjuntos. Si a = b entonces la pareja (a, b) se reduce al conjunto {{a}} y en este caso la primera coordenada es igual a la segunda. Sean X y Y dos conjuntos. El producto cartesiano X Y es el conjunto de parejas ordenadas que tienen como primera coordenada un elemento de X y como segunda coordenada un elemento de Y . Esto es: X Y = {(x, y ) : x X y y Y }. De la denici on se tiene que si X y Y son conjuntos entonces X = Y = y que, en general, X Y = Y X .

Ejercicios

0.5.

Funciones

Sean X y Y conjuntos. Una funci on (o aplicaci on) f de X en Y que denotamos por f : X Y es un subconjunto de X Y tal que:
7

1. Para cada x X existe y Y tal que (x, y ) f . 2. Si (x, y ) f y (x, z ) f entonces y = z . La relaci on (x, y ) f se suele simbolizar por y = f (x) y f (x) se acostumbra llamar la imagen de x por la funci on f . Tambi en utilizaremos la notaci on x f (x) para indicar que (x, f (x)) f . Informalmente hablando, una funci on de un conjunto X en un conjunto Y se puede describir dando una regla que permita calcular f (x) para cada x X , como cuando se estudia c alculo 2 y se describe una funci on de R en R por medio de la expresi on 1 f (x, y ) = 2 . x + y2 + 1 Si f : X Y es una funci on entonces el conjunto X se llama el dominio de f , el conjunto Y es el codominio de f y el subconjunto de Y cuyos elementos son las im agenes de los elementos de X , esto es el conjunto {f (x) : x X }, es el rango de f . Denotamos por Dom f el dominio de f , por Cod f el codominio de f y por Ran f el rango de la funci on f . Si f : X Y es una funci on y A X , existe una funci on con dominio A, que llamamos la restricci on de f al conjunto A y denotamos f A , denida por f A (a) = f (a) para cada a A. De manera an aloga, si f (X ) B Y , entonces podemos considerar la co-restricci on de f a B que es una funci on que act ua de la misma forma que f sobre los elementos de X , pero tiene como codominio el conjunto B . No utilizaremos una notaci on especial para la co-restricci on de una funci on. Una funci on f denida de un conjunto X en un conjunto Y determina de manera natural dos aplicaciones. La primera, que se acostumbra denotar por el mismo s mbolo f , con dominio P (X ) y codominio P (Y ) se denomina imagen directa y aplica al
8

subconjunto A de X en el subconjunto de Y f (A) = {f (x) : x A}. La segunda aplicaci on que se denomina imagen rec proca y se denota por f 1 , est a denida de P (Y ) en P (X ) por f 1 (B ) = {x X : f (x) B }. Por simplicidad, para y Y escribimos f 1 (y ) en lugar de f 1 ({y }). Decimos que una funci on f : X Y es uno a uno o inyectiva si f (x) = f (y ) siempre que x sea diferente de y , sobreyectiva (o simplemente sobre) si f (X ) = Y y biyectiva si es uno a uno y sobre. N otese que una funci on f : X Y es uno a uno si y s olo si 1 f (f (A)) = A para todo A X y que f es sobreyectiva si y s olo si f (f 1 (B )) = B para todo B Y . Si f : X Y es una funci on biyectiva, existe una funci on de Y en X que se llama la inversa de f y se denota por f 1 denida por f 1 (y ) = x si y s olo si f (x) = y . El hecho de que f sea sobreyectiva garantiza la existencia de x = f 1 (y ) para cada y Y y el que f sea uno a uno garantiza que tal x es u nico. Si f : X Y y g : Y Z son funciones entonces la funci on compuesta g f : X Z est a denida por g f (x) = g (f (x)). Formalmente hablando, (x, z ) g f si y s olo si existe y Y tal que (x, y ) f y (y, z ) g .

Ejercicios

0.6.

Productos arbitrarios

Hasta ahora nos hemos referido u nicamente al producto cartesiano de dos conjuntos. En realidad estudiar este producto nos permite de manera inmediata denir el producto cartesiano de una colecci on nita de conjuntos. En efecto, si X1 , X2 , ..., Xn es una colecci on de conjuntos entonces el producto cartesiano X1 X2 ... Xn , que tambi en denotaremos por i=1,...,n Xi , se dene como el conjunto de n-tuplas {(x1 , x2 , ..., xn ) : xi Xi para cada i = 1, ..., n}. El ejemplo m as inmediato y seguramente conocido por todos es el conjunto Rn = {(x1 , x2 , ..., xn ) : xi R}. En este caso todos los factores del producto son iguales al conjunto de los n umeros reales. Un an alisis un poco m as detallado nos muestra que en realidad cada elemento x = (x1 , x2 , ..., xn ) del producto cartesiano X1 X2 ... Xn es una funci on del conjunto {1, 2, ..., n} en el conjunto i=1,...,n Xi , denida por x(i) = xi para cada i = 1, ..., n. Este hecho, que podr a parecer una complicaci on innecesaria, permite generalizar la noci on de producto cartesiano a familias arbitrarias de conjuntos como lo muestra la siguiente denici on. 0.6.1 Denici on. Sea {Xj }j J una familia de conjuntos. El producto cartesiano de esta familia se denota por j J Xj y es el conjunto de todas las funciones x : J j J Xj tales que x(j ) Xj para cada j J .

10

Con frecuencia utilizamos xj para denotar a x(j ) y denotamos al elemento x j J Xj por (xj ). 0.6.2 Ejemplos. 1. Si J = N entonces los elementos del producto nN Xn se pueden escribir como una sucesi on (x1 , x2 , ...) donde xn Xn para cada n N. 2. Si Xj = X para cada j J , entonces j J Xj es el conjunto de todas las funciones denidas de J en X . Denotamos por X J a este conjunto. 3. Si Xj Yj para cada j J entonces
j J

Xj

j J

Yj .

Ejercicios

0.7.

Relaciones

Una relaci on sobre un conjunto X (o en un conjunto X ) es un subconjunto R del producto cartesiano X X . Si (x, y ) R escribimos x R y . N otese que una funci on denida de un conjunto X en s mismo es una relaci on f en X en la que cada elemento de X aparece como la primera coordenada de un elemento de f exactamente una vez. En este sentido las relaciones son una generalizaci on de las funciones. Una relaci on de equivalencia sobre un conjunto X es una relaci on en X que satisface las siguientes propiedades:
11

1. (Reexividad) x x para todo x X . 2. (Simetr a) Si x y , entonces y x. 3. (Transitividad) Si x y y y z , entonces x z . Dada una relaci on de equivalencia sobre un conjunto X y un elemento x X denimos la clase de equivalencia de x como el conjunto [x] = {y X : x y }. De la denici on se obtiene que x [x] para cada x X lo cual signica que xX [x] = X y tambi en que dadas dos clases de equivalencia [x] y [y ], se tiene que [x] = [y ] o [x][y ] = . Expresamos estos dos hechos diciendo que la relaci on induce una partici on de X . Formalmente, una partici on de un conjunto X es una colecci on de subconjuntos disyuntos de X cuya uni on es X . Una relaci on de orden parcial sobre un conjunto X es una relaci on en X que satisface las siguientes propiedades: 1. (Reexividad) x x para todo x X . 2. (Antisimetr a) Si x y y y x, entonces x = y . 3. (Transitividad) Si x y y y z , entonces x z . Si es una relaci on de orden parcial sobre un conjunto X existe una relaci on < sobre X denida por x < y si x y y x = y . La relaci on < no es reexiva pero si transitiva. Una relaci on transitiva < sobre un conjunto X que adem as tenga la propiedad de que si x < y entonces x = y se llama un orden estricto. Entonces cada relaci on de orden parcial determina un orden estricto y, rec procamente, un orden estricto < determina un orden parcial denido por x y si x < y o x = y .
12

Una relaci on de orden parcial sobre un conjunto X es un orden total si para cada par x, y de elementos de X se tiene exactamente una de las situaciones x = y , x < y o y < x. En este caso decimos que el conjunto X est a totalmente ordenado.

Ejercicios

0.8.

Cardinalidad

Decimos que dos conjuntos X y Y son equipotentes si existe una funci on biyectiva de X en Y . Armamos que existen conjuntos que se llaman n umeros cardinales, de tal manera que cada conjunto X es equipotente con exactamente un n umero cardinal que se denota por |X | y recibe el nombre de cardinal de X . Si A y B son n umeros cardinales, decimos que A B si y s olo si existe una funci on uno a uno denida de X en Y . La relaci on es un orden parcial sobre el conjunto de n umeros cardinales. Los siguientes hechos son evidentes: 1. |X | = |Y | si y s olo si X y Y son equipotentes. 2. |X | |Y | si y s olo si X es equipotente con alg un subconjunto de Y . Veamos ahora algunos n umeros cardinales. El conjunto vac o es el cardinal 0 y el conjunto {0, ..., n 1} es el cardinal n. Un conjunto X es enumerable si y s olo si X es equipotente con el conjunto N de los n umeros naturales. En este caso escibimos
13

|X | = 0 . Si X es equipotente con el conjunto R de los n umeros reales, escribimos |X | = c. Un conjunto X es contable si es enumerable o su cardinal es n para alg un n = 0, 1, ..., esto es, X es contable si es enumerable o es nito. Con frecuencia utilizaremos los siguientes hechos: 1. n < 0 < c para todo n = 0, 1, .... 2. La uni on de cualquier colecci on contable de conjuntos contables es contable. 3. El producto de dos conjuntos contables es un conjunto contable 4. El conjunto Q de los n umeros racionales es contable. Finalizamos esta breve introducci on a la teor a de conjuntos enunciando un axioma aceptado por la gran mayor a de matem aticos. Axioma de Elecci on. Dada una colecci on A de conjuntos no vac os disyuntos dos a dos, existe un conjunto C que tiene exactamente un elemento en com un con cada elemento de A. El Axioma de Elecci on nos dice que cuando tenemos una colecci on de conjuntos no vac os, nos es posible construir un nuevo conjunto escogiendo un elemento de cada conjunto de la colecci on.

Ejercicios

14

Ejercicios 0.1-2
1. Demuestre con todo detalle cada una de las siguientes armaciones: a ) A A = A y A A = A para cada conjunto A. b ) A = A y A = para cada conjunto A. c ) A B = B A y A B = B A para todo conjunto A y todo conjunto B . d ) A B = A si y s olo si B A. e ) A B = A si y s olo si A B . f ) A (B C ) = (A B ) C para A, B y C conjuntos arbitrarios. g ) A (B C ) = (A B ) C para A, B y C conjuntos arbitrarios. h ) A (B C ) = (A B ) (A C ) para A, B y C conjuntos arbitrarios. i ) A (B C ) = (A B ) (A C ) para A, B y C conjuntos arbitrarios. j ) Si A y B son subconjuntos de X entonces (A B )c = Ac B c . k ) Si A y B son subconjuntos de X entonces (A B )c = Ac B c . 2. Escriba los siguientes conjuntos en t erminos de uniones e intersecciones de los conjuntos A, B y C . a ) {x : x A y (x B o x C )}. b ) {x : x A o (x B y x C )}.
15

c ) {(x : x A y x B ) o x C }. d ) {(x : x A o x B ) y x C }. 3. En los siguientes literales d e una demostraci on de las armaciones que considere verdaderas o ejemplos que muestren que determinadas armaciones son falsas. En caso de que una igualdad no se satisfaga verique si por lo menos una de las contenencias es cierta. a ) A \ (A \ B ) = B . b ) A \ (B \ A) = A \ B . c ) A (B \ C ) = (A B ) \ (A C ). d ) A (B \ C ) = (A B ) \ (A C ).

Regresar

16

Ejercicios 0.3
1. Demuestre las leyes de De Morgan: a) b)
AA A AA A c c

= =

AA A AA A

c c

. .

2. Justique cuidadosamente cada una de las siguientes armaciones: a ) Si A es una familia vac a de conjuntos entonces .
AA A

b ) Si A es una familia vac a de subconjuntos de X entonces AA A = X . 3. Para cada n N sea An = {x R :

nN An .

1 1 < x < }. Calcule n n

1 1 4. Para cada n N sea An = [ , 2 ]. Calcule nN An . n n 5. En los siguientes literales de una demostraci on de las armaciones que considere verdaderas o ejemplos que muestren que determinadas armaciones son falsas. a ) Si x A A.
AA

entonces x A para al menos un elemento

b ) Si x A para al menos un elemento A A entonces x AA . c ) Si x A.

AA

entonces x A para cada elemento A

17

d ) Si x A para cada elemento A A entonces x AA . e ) Si x A A.

AA

entonces x A para al menos un elemento

f ) Si x A para al menos un elemento A A entonces x AA . g ) Si x A.

AA

entonces x A para cada elemento A

h ) Si x A para cada elemento A A entonces x AA .

Regresar

18

Ejercicios 0.4
1. Muestre con un ejemplo que si A y B son conjuntos arbitrarios entonces no es siempre cierto que A B = B A. Bajo qu e condiciones es cierta esta igualdad? 2. Determine cu ales de los siguientes subconjuntos de R se pueden expresar como el producto cartesiano de dos subconjuntos de R. a) b) c) d) e) {(x, y ) : y es un entero }. {(x, y ) : x es un natural par y y Q}. {(x, y ) : y < x}. {(x, y ) : x es un m ultiplo entero de }. {(x, y ) : x2 y 2 < 1}.

3. Determine cu ales de las siguientes armaciones son verdaderas y cu ales son falsas. En cada caso d e una demostraci on o un contraejemplo indicando adem as si por lo menos es cierta una contenencia. a) b) c) d) e) f) g) h) A (A \ B ) = (A A) \ (A B ). A (B \ A) = (A B ) \ (A A). A (B \ C ) = (A B ) \ (A C ). A (B C ) = (A B ) (A C ). A (B C ) = (A B ) (A C ). (A B ) (C D) = (A C ) (B D). (A B ) (C D) = (A C ) (B D). (A \ B ) (C \ D) = (A C ) \ (B D).

Regresar
19

Ejercicios 0.5
1. D e un ejemplo de una funci on de R en R uno a uno pero no sobreyectiva. 2. D e un ejemplo de una funci on de R en R sobreyectiva pero no uno a uno. 3. d e un ejemplo de una funci on biyectiva de N en Q. 4. Sea f : X Y una funci on. Si A y B son subconjuntos de X y A B entonces f (A) f (B ). 5. Sea f : X Y una funci on. Si C y D son subconjuntos 1 de Y y C D entonces f (C ) f 1 (D). 6. Sea f : X Y una funci on. Si A y B son subconjuntos de X pruebe que f (A B ) = f (A) f (B ). Si A es una familia cualquiera de subconjuntos de X se puede armar que f ( AA A) = AA f (A)? Justique completamente su respuesta. 7. Sea f : X Y una funci on. Si A y B son subconjuntos de X muestre con un contraejemplo que no siempre se satisface la igualdad f (A B ) = f (A) f (B ). 8. Sea f : X Y una funci on. Si C y D son subconjun1 tos de Y pruebe que f (C D) = f 1 (C ) f 1 (D) y que f 1 (C D) = f 1 (C ) f 1 (D). M as a un, pruebe que si C es una familia cualquiera de subconjuntos de Y entonces f 1 ( C C C ) = C C f 1 (C ) y f 1 ( C C C ) = 1 C C f (C ).

20

9. Determine cu ales de las siguientes armaciones son verdaderas, en cu ales se satisface s olo una inclusi on y en cu ales las dos inclusiones resultan ser falsas. En cada caso justique completamente su respuesta con una demostraci on o con un contraejemplo. a ) Sea f : X Y una funci on. Si A y B son subconjuntos de X entonces f (A \ B ) = f (A) \ f (B ). b ) Sea f : X Y una funci on. Si A y B son subconjuntos de X entonces f ((A \ B ) (B \ A)) = (f (A) \ f (B )) (f (B ) \ f (A)). c ) Sea f : X Y una funci on. Si C y D son subcon1 juntos de Y entonces f (C \ D) = f 1 (C ) \ f 1 (D). 10. Consideremos f1 : X1 Y1 y f2 : X2 Y2 dos funciones y denamos la funci on g : X1 X2 Y1 Y2 por g (x1 , x2 ) = (f1 (x1 ), f2 (x2 )). Pruebe o refute cada una de las siguientes armaciones: a ) g es uno a uno si y s olo si f1 y f2 lo son. b ) g es sobreyectiva si y s olo si f1 y f2 lo son. 11. Sean f : X Y una funci on, A X y B Y . a ) Demuestre que A f 1 (f (A)). b ) D e un contraejemplo que muestre que no siempre se tiene que f 1 (f (A)) A. c ) Bajo qu e condiciones es cierta la igualdad f 1 (f (A)) = A? d ) Demuestre que f (f 1 (B )) B .

21

e ) D e un contraejemplo que muestre que no siempre se tiene que B f (f 1 (B )). f ) Bajo qu e condiciones es cierta la igualdad B = f (f 1 (B ))? 12. Consideremos f : X Y y g : Y Z dos funciones. Demuestre las siguientes armaciones: a ) Si M Z ,entonces (g f )1 (M ) = f 1 (g 1 (M )). b ) Si f y g son uno a uno, tambi en lo es g f . c ) Si f y g son sobreyectivas, tambi en lo es g f . d ) Si g f es uno a uno, entonces f es uno a uno pero g podr a no serlo. e ) Si g f es sobreyectiva, entonces g es sobreyectiva pero f podr a no serlo.

Regresar

22

Ejercicios 0.6
1. Sea (Xi )iI una familia de conjuntos. Muestre que si Xi = para alg un i I entonces iI Xi = . 2. Muestre que si n > 1 y X1 , ..., Xn son conjuntos, entonces existe una funci on biyectiva denida del conjunto X1 ... Xn en el conjunto (X1 ... Xn1 ) Xn . 3. Muestre que si (Xi )iI una familia de conjuntos y si J y K son subconjuntos de I no vac os y disyuntos, tales que I = J K , entonces existe una funci on biyectiva denida del producto iI Xi en el conjunto ( j J Xj ) ( kK Xk ) en el conjunto. 4. Con frecuencia se denota al conjunto RN con el s mbolo R . Determine cu ales de los siguientes subconjuntos de R se pueden expresar como producto cartesiano de subconjuntos de R. a ) {x : xn Z para todo n}. b ) {x : xn n para todo n}. c ) {x : xn = xn+1 para todo n primo}. d ) {x : xn Z para todo n 1000}. 5. Sean (Xi )iI y (Yi )iI dos familias de conjuntos. Determine cu ales de las siguientes armaciones son verdaderas y cu ales son falsas. En cada caso d e una demostraci on o un contraejemplo indicando adem as si por lo menos es cierta una contenencia. a)
iI (Xi

\ Yi ) =

iI

Xi \
23

iI

Yi .

b) c)

iI (Xi iI (Xi

Yi ) = Yi ) =

iI iI

Xi Xi

iI iI

Yi . Yi .

Regresar

24

Ejercicios 0.7
1. Determine cu ales de las siguientes relaciones denidas sobre R son relaciones de equivalencia. Para cada relaci on de equivalencia que encuentre determine las clase de equivalencia de cada x R. a ) x y sii x y Z. b ) x y sii x y Q. c ) x y sii x y R. d ) x y sii xy Z. e ) x y sii xy Q. f ) x y sii x y . g ) x y sii |x| = |y |. h ) x y sii x = 2y . 2. Determine cu ales de las siguientes relaciones denidas so2 bre R son relaciones de equivalencia. Para cada relaci on de equivalencia que encuentre determine las clase de equivalencia de cada (x, y ) R2 . a ) (x1 , y1 ) (x2 , y2 ) sii x1 y2 Z. b ) (x1 , y1 ) (x2 , y2 ) sii x2 y1 Q. c ) (x1 , y1 ) (x2 , y2 ) sii x1 y2 R. d ) (x1 , y1 ) (x2 , y2 ) sii x1 y2 Z. e ) (x1 , y1 ) (x2 , y2 ) sii x1 y2 Q. f ) (x1 , y1 ) (x2 , y2 ) sii y1 x2 . g ) (x1 , y1 ) (x2 , y2 ) sii
2 x2 1 + y1 = 2 x2 2 + y2 .

25

h ) (x1 , y1 ) (x2 , y2 ) sii x1 = x2 . 3. Consideremos f : X Y una funci on y denamos la relaci on sobre X por a b sii f (a) = f (b). a ) Demuestre que es una relaci on de equivalencia. b ) Demuestre que si f es sobreyectiva y si X/ es el conjunto de clases de equvalencia, entonces existe una correspondencia biyectiva entre X/ y el conjunto Y . c ) Si X = Y = R describa un m etodo geom etrico que permita visualizar la clase de equivalencia de un n umero real. 4. Demuestre que dada una colecci on de relaciones de equivalencia sobre un conjunto X , la intersecci on de la colecci on tambi en es una relaci on de equivalencia sobre X . 5. Es la uni on de relaciones de equivalencia sobre un conjunto X una relaci on de equivalencia sobre X ? 6. Determine cu ales de las siguientes relaciones denidas sobre 2 R son relaciones de orden. a ) (x1 , y1 ) (x2 , y2 ) sii ((x1 , y1 ) = (x2 , y2 )) o (x1 y2 N). b ) (x1 , y1 ) (x2 , y2 ) sii ((x1 , y1 ) = (x2 , y2 )) o (x2 y2 ). c ) (x1 , y1 ) (x2 , y2 ) sii ((x1 , y1 ) = (x2 , y2 )) o (x1 y2 Z). d ) (x1 , y1 ) (x2 , y2 ) sii ((x1 , y1 ) = (x2 , y2 )) o (x1 y2 Z). e ) (x1 , y1 ) (x2 , y2 ) sii ((x1 , y1 ) = (x2 , y2 )) o (x1 y1 Q). f ) (x1 , y1 ) (x2 , y2 ) sii ((x1 , y1 ) = (x2 , y2 )) o (x1 < x2 o (x1 = x2 y y1 < y2 )).

26

2 g ) (x1 , y1 ) (x2 , y2 ) sii ((x1 , y1 ) = (x2 , y2 )) o ( x2 1 + y1 < 2 x2 2 + y2 ).

h ) (x1 , y1 ) (x2 , y2 ) sii ((x1 , y1 ) = (x2 , y2 )) o (x1 < x2 y y1 < y2 ). 7. Demuestre que un elemento en un conjunto ordenado tiene a lo m as un predecesor inmediato y a lom as un sucesor inmediato.

Regresar

27

Ejercicios 0.8
1. Demuestre que Q es un conjunto contable. 2. Demuestre que una uni on contable de conjuntos contables es contable. Qu e ocurre con la uni on no contable de conjuntos contables? 3. Demuestre que un producto nito de conjuntos contables es contable. Qu e ocurre con el producto innito de conjuntos contables? 4. Muestre que el Axioma de Elecci on es equivalente a la siguiente armaci on: Para cualquier familia (Ai )iI de conjuntos no vac os, con I = , el producto cartesiano iI Ai es no vac o.

Regresar

28