1.7.

* El toro también puede obenerse identificando los lados opuestos de un rectángu-

lo. Encontrar la relación de equivalencia adecuada en el rectángulo de forma tal que
el cociente sea el toro. Pensar de qué forma podrı́amos obtener otras superficies (bi-
toro, tritoro, etc) como cociente de un polı́gono por una relación de equivalencia que
identifique pares de lados.

1.8. (Plano proyectivo) En R2 − {0} ponemos la siguiente relación: x ∼ y si y sólo

si existe λ 6= 0 tal que x = λy. Probar que es una relación de equivalencia, y des-
cribir geométricamente el conjunto de clases de equivalencia. El conjunto cociente se
denomina plano proyectivo real y se nota P(R2 ), o P1R .

Si X es un conjunto, P(X) denota el conjunto de todos los subconjuntos de X.

Definición. Una partición en un conjunto X es una familia de subconjuntos A ⊂ P(X)

que cumple:
S
a) A∈A A = X.
T
b) A B = ∅ ∀A, B ∈ A.

1.9. El conjunto cociente de una relación de equivalencia en X es siempre una partición

de X y que para toda partición en X existe una relación de equivalencia cuyo cociente
es dicha partición.

1.3. Relaciones de Orden

Definición. Un orden, también dicho orden parcial, es una relación R en un conjunto
X que cumple dos propiedades:

a) xRy y yRz implica xRz (transitiva)

b) xRy y yRx implica x = y (antisimétrica)

Ejemplo 1.3.1. Si Z es un conjunto cualquiera y P(Z) denota al conjunto de los

subconjuntos de Z Se define R ⊂ P(Z) × P(Z) como ARB si y sólo si A ⊂ B. Notar
que R es una relación de orden parcial.

Ejemplo 1.3.2. Sea X = {1, . . . , n} con la relación R = X × X. No es de orden.

Definición. Una relación es de orden total si dados x e y, dos elementos distintos de

X, se cumple que xRy o yRx. Notar que en el ejemplo anterior (de la inclusión) el
orden no es total.

En general se usa una notación más sugestiva: se escribe por ejemplo x  y. En-
tonces suele ponerse (X, ) para determinar que se ha considerado en X el orden ,

7
y se llama al par (X, ) un conjunto ordenado. En los reales R se tienen los órdenes
usuales ≤, <, ≥, >. Notar que todos son órdenes totales.
Otro ejemplo es el orden producto, de dos conjuntos ordenados (X, X ) y (Y, Y ),
definido como (x, y)  (x0 , y 0 ) si y sólo si x X x0 y y Y y 0 . Probar que es un orden
parcial y observe que aunque ambos sean totales, el orden producto no lo es. Para
definir un orden total en el producto de dos conjuntos ordenados, se define el orden
lexicográfico o de diccionario: (x, y)  (x0 , y 0 ) si x X x0 o bien x = x0 y y Y y 0 . Como
ejercicio, hacer un dibujo en R2 del conjunto de los (x, y)  (2, 1), cuando es el orden
producto y cuando es el orden lexicográfico (considerando en R el orden >).
Si (X, ) es un conjunto ordenado, e Y es subconjunto de X, entonces Y hereda el
orden . Estudiar de que forma sucede esto.
Definiciones.  Si Y es subconjunto de X decimos que a ∈ X es cota de Y si
a  y para todo y ∈ Y ; a es máximo de Y si además a ∈ Y .

 Un elemento a ∈ Y es maximal en Y si se cumple que: “Para todo y ∈ Y tal

que y  a se tiene y = a”. Ver abajo en los ejercicios la diferencia entre máximo,
maximal y cota.

 Un elemento x ∈ X tiene sucesor inmediato si el conjunto de los s ∈ X \ {x}

tales que s > x tiene mı́nimo (cuya definición dejamos a cargo del lector).

 Ahora, un conjunto totalmente ordenado (X, ) es un buen orden si se cumple

que todo subconjunto tiene mı́nimo. Por ejemplo (R, ≥) no es. Pero (N, ≥) sı́ lo es.

1.10. Sea Z+ el conjunto de los enteros positivos. Se consideran los siguientes órdenes
en el producto Z+ × Z+ :
a) (x, y)  (x0 , y 0 ) si y − x > y 0 − x0 o bien y − x = y 0 − x0 y y > y 0 .
b) (x, y)  (x0 , y 0 ) si x + y > x0 + y 0 o bien x + y = x0 + y 0 y y > y 0 .
Probar que son órdenes totales. ¿Qué elementos tienen un sucesor inmediato? ¿Hay
elementos máximos? Probar que los órdenes no son equivalentes entre sı́ , ni al orden
lexicográfico. (Dos conjuntos ordenados (X, X ) y (Y, Y ) son equivalentes si existe
una biyección h : X → Y tal que h(x) Y h(x0 ) si y sólo si x X x0 .)
1.11. Considere X = P(N) con el orden de inclusión, es decir A  B si A ⊃ B.
a)  es un orden parcial, que no es total, y existe un elemento mı́nimo y un elemento
máximo.

b) Sea Y el subconjunto de X definido por A ∈ Y si A tiene menos de 32 elementos.

Averiguar si tiene máximo, si tiene elementos maximales y elementos minimales.

c) Hallar un subconjunto infinito de X que sea totalmente ordenado.

d) Hallar un subconjunto de X que sea acotado pero que no tenga elemento maximal.

8
1.12. Sea X = {n ∈ N : n ≥ 2} con la relación de orden m ≤ n si m divide a
n. Probar que es efectivamente una relación de orden y hallar elementos maximales y
minimales, si es que existen.

1.4. Órdenes de Infinitos.

Intuitivamente se define el cardinal de un conjunto como la cantidad de elemen-
tos del conjunto. Claro que los conjuntos infinitos en principio no se pueden contar
para decir cuál tiene más elementos. Pero la cosa se pone interesante con la siguiente
definición:

Definición. Decimos que un conjunto X es equipotente a otro Y si existe una función

biyectiva de X en Y .

Esta serı́a una relación de equivalencia si no fuera por un detalle: no existe el con-
junto de todos los conjuntos. Ası́ que obviemos este problema suponiendo que tenemos
una determinada colección A de conjuntos y observemos que la relación es de equiva-
lencia en A. A cada clase de equivalencia le llamamos número cardinal. Ası́, el número
natural 2 puede ser visto como un número cardinal, es decir, como la clase de todos
los subconjuntos de A que cuentan con 2 elementos. También se usa decir que dos
conjuntos equipotentes tienen el mismo cardinal.
Lo más interesante es que se puede definir un orden entre los números cardinales.
Decimos que un cardinal x es mayor o igual que y (que notaremos x ≥ y) si existe un
conjunto X en la clase x y uno Y en la clase y y una función inyectiva de Y a X. Para
probar que es una relación de orden usamos sin demostración el siguiente:

Teorema (Bernstein). Si existe una función inyectiva de X a Y y existe una función

inyectiva de Y a X, entonces existe una función biyectiva de X a Y , o sea, X e Y son
equipotentes.

1.13. a) Demostrar que está bien esa definición de orden en el conjunto de los
números cardinales, es decir, que no depende de la elección de los representantes
de x y de y.

b) Usando el teorema de Bernstein, probar que es una relación de orden. Investigar

si esta relación corresponde a un orden total. Pensaremos que A es el conjunto
de todos los subconjuntos de N.

Definición. Un conjunto X se dice numerable si es finito o equipotente a N.

Ejemplo 1.4.1. El conjunto de los números pares es numerable, y Z también.

1.14. Los siguientes conjuntos son numerables: N × N, los racionales, la unión de

conjuntos numerables, el conjunto de los números algebraicos (raı́ces de polinomios de
coeficientes enteros), el conjunto de todos los subconjuntos finitos de N.