Instituto de Profesores Artigas

Topologa 3er ao

1 RELACIONES Y FUNCIONES
1. A es una familia no vaca de conjuntos. Las siguientes afirmaciones son verdaderas? Y sus
recprocos? Justifique:
a) x A x A para al menos un A A.
AA

b) x

A x A para todo A A.

AA

c) x

A x A para al menos un A A.

AA

d) x

A x A para todo A A.

AA

2. Las leyes de Morgan para unin e interseccin de conjuntos se pueden enunciar as:
A(BC) = (AB) (AC)
A(BC) = (AB) (AC)
a) Realiza enunciados que generalicen estas leyes para uniones e intersecciones arbitrarias de
conjuntos.
b) Son ciertas dichas generalizaciones? Justifica.
3. Sea R el conjunto de los nmeros reales. Determine si cada uno de los siguientes
subconjuntos de RxR es igual al producto cartesiano de dos subconjuntos de R:
a) {(x,y) / x es un entero}
b) {(x,y) / 0 < y 1}
c) {(x,y) / y > x}
d) {(x,y) / x no es entero e y es un entero}
e) {(x,y) / x2 + y2 < 1}
4. Dados una funcin f : A B, y dos conjuntos AO A, B0 B,
a) Bajo qu condiciones se cumple que A0 f -1 (f (A0))? Para algn caso se cumple la
igualdad? Justifica.
b) Analiza qu se puede afirmar acerca de B0 y f (f -1 (B0)): en algn caso son iguales?
5. Dados una funcin f : A B, dos subconjuntos de A (A0 y A1) y dos subconjuntos de B (B0
y B1):
a) f -1 preserva la inclusin? Esto sera: si B0 B1 f -1(B0) f -1(B1)? Justifica.
b) f -1 preserva la unin? Esto sera: f -1(B0 B1) = f -1(B0) f -1(B1)? Justifica.
c) Qu se puede afirmar acerca de la interseccin y diferencia de conjuntos? Justifica.
d) Analiza si f preserva la inclusin, unin, interseccin y diferencia de conjuntos. En
caso de que no lo haga, determina alguna condicin para que s se preserven.
e) Por ltimo, analiza si f y f -1 preservan las uniones o intersecciones arbitrarias.
6. Acordemos definiciones de:
Relacin de orden
Intervalo
Predecesor y antecesor inmediato, supremo, nfimo, mximo, mnimo.
Tipo de orden.

Instituto de Profesores Artigas

7.

Topologa 3er ao

Orden del diccionario

Orden en un producto cartesiano.
Conjunto acotado
Indica un ejemplo de una relacin de orden.

8. Las siguientes relaciones, son de orden?:

x2 < y 2

a) H RxR / xHy o
x2 = y 2 x < y

y0 -x0 2 < y1 -x12

b) J R2xR2/ (x0 , y0) J (x1 , y1) o

2
2
y0 -x0 = y1 -x1 x0 < x1
Describe (b) geomtricamente. Por qu esta relacin no es considerada como una
relacin de orden para el conjunto de los nmeros complejos?
9. Demuestre que (-1,1) y R tienen el mismo tipo de orden. Sug.: considerar f : (-1,1) R/ f(x)
x
.
=
1 x2
Existen otras funciones que permitan demostrar lo pedido?
10. a) En estas relaciones definidas en NxN, cules elementos tienen predecesor inmediato?
Existe un mnimo de NxN?
i) El orden del diccionario.
x0 -y0 < x1 -y1

ii) (x0 , y0) < (x1 , y1) o

x -y = x -y y < y
1 1
0
1
0 0

x0 +y0 < x1+y1

iii) (x0 , y0) < (x1 , y1) o

x +y = x +y y < y
1
1
0
1
0 0
b) Alguno de estos rdenes definidos en NxN son del mismo tipo? Justifica.
* c) Dados dos monomios cualesquiera en las variables X e Y decimos que XaYb < XcYd si
(a,b) < (c,d) con el orden lexicogrfico.
i) Observar que si un monomio divide a otro entonces el primero es menor o igual que el
segundo con el orden antes definido.
ii) Inspirndose en el caso de una variable usar lo anterior para definir la divisin entera en
K[X,Y] (K es un cuerpo) respecto del orden dado. Dar un algoritmo que permita encontrar
un cociente y un resto.
11. Un conjunto ordenado se dice que tiene la propiedad del supremo si y slo si, para cada
subconjunto acotado de l (con el orden correspondiente), tiene supremo.
a) [0,1] x [0,1] con el orden del diccionario, verifica la propiedad del supremo?
b) Y [0,1] x [0,1)? Y [0,1) x [0,1]?