Universidad Nacional de Ingenierı́a

Facultad de Ciencias - Escuela Profesional de Matemática Ciclo 2019-1

Práctica Calificada N0 06 de Lógca y Teorı́a de Conjuntos. Junio 24, 2019

1. Pruebe que la relación definida por

m|n si y sólo si m divide a n,

es un orden en el conjunto de los números enteros positivos. Halle los elementos minimales
y maximales.

2. Probar que la relación “menor que” es una relación de orden estricto en Z.

3. Sea 4 una relación de orden definida sobre un conjunto A y sea ≺ otra relación sobre A
definida en la forma
a ≺ b si, y sólo si a 4 b y a 6= b.

Entonces ≺ es una relación de orden estricto sobre A.

4. Sea ≺ una relación de orden estricto definida sobre un conjunto A y sea 4 otra relación
sobre A definida en la forma

a 4 b si, y sólo si a ≺ b ó a = b.

Entonces 4 es una relación de orden sobre A.

5. Determinar si la relación R es un orden parcial en el conjunto A.

(a) A = Z y aRb ↔ a = 2b.

(b) A = Z y aRb ↔ a2 |2b.

6. Si (A, 41 ) y (B, 42 ) son dos conjuntos parcialmente ordenados. Pruebe que (A × B, 4)

también lo es con el orden definido por

(a, b) 4 (a0 , b0 ) ↔ a 41 a0 ∧ b 42 b0 .

7. En Z+ × Z+ y definimos la siguiente relación:

(a, b) 4 (a0 , b0 ) ↔ a|a0 ∧ b ≤ b0

donde ≤ es el orden usual. Demuestre que 4 es de orden.

8. Sea A = (R, ≤) donde ≤ es la relación de orden usual y el conjunto

B = {x ∈ R : x > 3}.

Hallar el minimal, maximal,el elmento minimo y maximo si existen del conjunto B.

 9. Sea E un conjunto no vacı́o, y P (E) el conjunto potencia, ordenado por la relación in-
clusión. Determina el elemento mı́nimo y máximo.

10. Explique por qué Z ordenado por la relación ≤ no tiene mı́nimo ni máximo

11. Sea Q el conjunto de los números racionales, y considere X = {x ∈ Q : x5 < 3}. ¿Tiene
X mayorantes?, ¿tiene X minorantes?, ¿tiene supremo de A?, ¿tiene ı́nfimo de A?

12. Sean E y F dos conjuntos totalmente ordenados. La condición necesaria suficiente para
que una función creciente sea estrictamente creciente es que sea inyectiva.

13. Sean E y F dos conjuntos totalmente ordenados. Si un biyección creciente de E sobre F La

condición necesaria suficiente para que una función creciente sea estrictamente creciente
es que sea inyectiva.

14. Sean E, F y G tres conjuntos ordenados, f es una aplicación de E en F , y g una aplicación

de F en G. Si f y g son crecientes o decrecientes, pruebe que g ◦ f es creciente. Pero si
una fuera creciente y la otra decreciente, entonces g ◦ f es decreciente.

15. Demuestre que la condición necesaria y suficiente para que una relación definida en E sea
una relaciń de orden es que su grafo verifique las siguientes condiciones

(a) G ◦ G = G

(b) G ◦ G−1 = D, donde D es la diagonal de E × E.

16. Pruebe que 2 + 3 + 5 + 7 + 9 + · · · + (4n + 1) = n(2n + 1), cualquiera que sea n ∈ N.

17. Pruebe que 13 + 23 + 33 + · · · + n3 = n2 (n + 1)2 /4, cualquiera que sea n ∈ N.

18. Pruebe que 2n < n!, cualquiera que sea n ∈ N.

19. Sea n un número natutal no primo. Usando el principio del buen orden para demostrar
que existe un número primo p tal que p divide a n

20. Dado un número real x demuestre, usando el principio del buen orden, que existe un
número entero m tal que m ≤ x < m.

21. Para a y b naturales, con b > 0, demuestre que existen q y r tales que a = bq + r, donde
0 ≤ r < b.

†
Hecho en LATEX