CONJUNTOS Y N

UMEROS. HOJA 5
PARA ENTREGAR ANTES DEL 26 DE NOVIEMBRE DE 2007
1) Sea R una relacion denida en un conjunto X. Demostrar que R es una relacion de equivalencia R
satisface las dos propiedades siguientes:
i) Para todo x X existe un a X tal que aRx.
ii) aRb y aRc = bRc.
2) Considerar la relacion sobre Z denida por: (m, n) R m+ n es par. Demostrar que es una relacion de
equivalencia. Describir las clases de equivalencia y el conjunto cociente.
3) Considerar la relacion sobre Z (Z \ {0}) denida por: (m, n)R(m

, n

)m n

= m

n. Probar que es una

relacion de equivalencia. Puedes describir las clases de equivalencia y el conjunto cociente?.
4) Consideramos ahora la relacion sobre ZZ denida por: (m, n)R(m

, n

)m n

= m

n. Es esta relacion
una relacion de equivalencia?
5) Considerar la relacion en Z Z denida por (m, n)R(m

, n

)m+n

= m

+n. Probar que es una relacion

de equivalencia. Puedes decribir las clases de equivalencia? Puedes identicar cada clase de equivalencia con los
elementos de alg un conjunto de forma que te ayude a describir el conjunto cociente?
6) Denimos en Q la siguiente relacion: xRy xy Z. Estudiar si es una relacion de equivalencia y, en caso
armativo, describir las clases del 0 y de 1/2, el conjunto cociente y decidir si 2/3 y 1/3 pertenecen a la misma clase.
7) Denimos en Q la siguiente relacion: xRy existe h Z tal que x =
3y+h
3
. Estudiar si es una relacion de
equivalencia y, en caso armativo, describir el conjunto cociente y decidir si 2/3 y 4/5 pertenecen a la misma clase.
8) Considerar la relacion denida sobre el plano R
2
por (x, y)R(x

, y

)y = y

. Probar que es una relacion

de equivalencia. Puedes identicar cada clase de equivalencia con los elementos de alg un conjunto de forma que te
ayude a describir el conjunto cociente?
9) Considerar la relacion denida sobre el plano R
2
por (x, y)R(x

, y

) si y y

es un entero y xx

es un entero.
Probar que es una relacion de equivalencia. Puedes identicar cada clase de equivalencia con los elementos de alg un
conjunto de forma que te ayude a describir el conjunto cociente?
10) Considerar la relacion denida sobre el plano R
2
por (x, y)R(x

, y

)d((x, y), (x

, y

)) < 1, donde d indica

la distancia usual entre dos puntos del plano. Estudiar si es una relacion de equivalencia y en caso armativo describir
las clases de equivalencia.
11) Considerar la relacion denida sobre el plano R
2
por (x, y)R(x

, y

)xy = x

. Estudiar si es una relacion

de equivalencia y, en caso armativo, describir las clases de equivalencia.
12) Considerar la relacion denida, sobre la coleccion de todos los crculos en el plano R
2
, por C
1
RC
2
el
crculo C
1
y el crculo C
2
tienen el mismo centro. Probar que es una relacion de equivalencia. Puedes identicar cada
clase de equivalencia con los elementos de alg un conjunto de forma que te ayude a describir el conjunto cociente?
13) Sea F el conjunto de todas las funciones de R en R. En F se dene la siguiente relacion: fRg existe
r R, r > 0 tal que f(x) = g(x) para |x| < r. Demostrar que R es una relacion de equivalencia sobre F.
14) Sea A un conjunto y B un subconjunto de A. En P(A) se considera la siguiente relacion: Dados X, Y P(A),
XRY XB = Y B. Estudia si es una relacion de equivalencia, en caso armativo describe el conjunto cociente.
15) Sea S el conjunto de todos los seres humanos. Sean x, y S . Decimos que x esta relacionado con y si x e y
son hermanos (o sea, tienen la misma madre y el mismo padre). Probar que es una relacion de equivalencia. Que son
las clases de equivalencia?.
16) Sea S el conjunto de todos los seres humanos. Sean x, y S. Decimos que x esta relacionado con y si x e y
tienen al menos un progenitor en com un. Es una relacion de equivalencia?. Justicar la respuesta.
17) Designamos por [(m, n)] la clase de un elemento (m, n) Z (Z \ {0}) en la relacion de equivalencia del
ejercicio 3. Llamamos X al conjunto cociente de Z (Z \ {0}) por esta relacion. Denimos una operacion en X
mediante la formula:
[(m, n)] [(m

, n

)] = [(m n

+m

n, n n

)].
Demostrar que esta operacion esta bien denida, esto es, la denicion no depende de los representantes de las clases.
Puedes identicar esta operacion en terminos de cosas que conocieses previamente?
18) El conjunto cociente de Z por la relacion de equivalencia del ejercicio 2 se suele denotar Z/2 (se lee Z modulo
2). Sea : Z Z/2 la aplicacion canonica de paso al cociente que a cada n Z le hace corresponder su clase.
1
Sean f, g : Z Z dos aplicaciones denidas respectivamente por f(n) = 3n y g(n) = (1)
n
+ 3. Dar un ejemplo, o
demostrar la no existencia, de las aplicaciones siguientes:
a) F
1
: Z Z/2 tal que f = F
1
.
b) F
2
: Z/2 Z tal que F
2
= f.
c) F
3
: Z/2 Z/2 tal que f = F
3
.
d) G
1
: Z Z/2 tal que g = G
1
.
e) G
2
: Z/2 Z tal que G
2
= g.
f) G
3
: Z/2 Z/2 tal que g = G
3
.
19) Sean X, Y dos conjuntos y f : X Y una aplicacion.
Denimos en X la relacion R
f
mediante: x
1
R
f
x
2
f(x
1
) = f(x
2
).
a) Comprobar que R
f
es una relacion de equivalencia.
b) Quien es R
f
si f es inyectiva?
c) Llamemos X/f al conjunto cociente de X por R
f
. Dar explcitamente una biyeccion entre X/f y la imagen de
f, Im(f).
d) Sea : X X/f la aplicacion canonica de paso al cociente que a cada x X le hace corresponder su clase.
Demostrar que existe una unica aplicacion f : X/f Y tal que f = f. Demostrar ademas que f es inyectiva.
20) Sean A, B y C tres conjuntos tales que A B C y A equipotente a C. Demostrar que los tres conjuntos
son equipotentes.
21) Sean A y B dos conjuntos equipotentes (o sea, con el mismo cardinal). Sean A

y B

dos conjuntos tambien

equipotentes. Demostrar los siguiente:
a) AA

es equipotente a B B

.
b) Si A B = entonces A B es equipotente a A{0, 1}
c) Si A A

= y B B

= entonces A A

y B B

son equipotentes.
22) Demostrar que el conjunto de los n umeros irracionales, R \ Q, no es numerable.
23) Sea A un conjunto innito. Demostrar que si a
1
, . . . , a
n
A son elementos de A, el conjunto A\ {a
1
, . . . , a
n
}
es equipotente a A. (Sugerencia: quitarles a A y a A\ {a
1
, . . . , a
n
} subconjuntos numerables apropiados.)
24) Sean a, b R, a < b. Demostrar que los cuatro conjuntos
A
a,b
:= (a, b), B
a,b
:= [a, b), C
a,b
:= (a, b], D
a,b
:= [a, b]
son equipotentes. Demostrar que A
a,b
es equipotente a A
0,1
para cualesquiera valores de a, b, y concluir que todos
los conjuntos de las formas A
a,b
, B
a,b
, C
a,b
, D
a,b
para cualesquiera valores de a, b son equipotentes.
25) Cual es el cardinal de cada uno de los siguientes conjuntos:
a) N N, b) N Q, c) R Q, d) P(Q), e) C, f) R \ N,
g) El conjunto de todas las races (racionales o no) de todos los polinomios cuadraticos con coecientes racionales.
h) El conjunto de todas las races (reales o no) de todos los polinomios cuadraticos con coecientes reales.
i) El conjunto de todas las races (racionales o no) de todos los polinomios con coecientes racionales (a este
conjunto se le llama conjunto de los n umeros algebraicos).
j) El conjunto de todos los subconjuntos de N que tienen dos elementos.
k) El conjunto de todos los subconjuntos de N que tienen al menos 3 y no mas de 8 elementos, esto es,
{A P(N) | 3 Card(A) 8}.
l) {A P(N) | Card(A) 6}.
26) Denimos la siguiente relacion en R: xRyx y Q. Demostrar que es una relacion de equivalencia.
Cuantos elementos tiene cada clase de equivalencia? Puede ser numerable el conjunto cociente?
2