Universidad Nacional de Ingenierı́a

Facultad de Ciencias
Escuela Profesional de Matemática Ciclo 2021−I

PRÁCTICA CALIFICADA 2 DE MATEMÁTICA DISCRETA

1. Sea la relación definida sobre R3 definida por:

(x1 , y1 , z1 ) ∼ (x2 , y2 , z2 ) si y solo si x21 + y12 + z12 = x22 + y22 + z22

Probar:

a) La relación es de equivalencia. [3 pts]

R3
b) El conjunto cociente ∼
está representado por cualquier semirecta a partir del origen.
[2 pts]

2. Sea (X, ) un conjunto parcialmente ordenado y A ⊂ X. Un elemento s ∈ X es llamado

supremo de A si cumple:

i) ∀a ∈ A, a  s
ii) Sea s0 ∈ X. Si ∀a ∈ A, a  s0 , entonces s  s0

El infimo es definido de forma análoga.

Dado (X, ) un conjunto parcialmente ordenado en el que cada subconjunto (incluido el
vacı́o) tiene un supremo. Demuestre que cada subconjunto también tiene un infimo.

3. Sea p una permutación. Definamos el orden de la permutación p como el número natural

más pequeño tal que pk = id. Pruebe que

(a) Determine el orden de la permutación (2 3 1 5 4 7 8 9 6). [2 pts]

(b) Pruebe que cada permutación p de un conjunto finito posee un orden finito y muestre
como calcular ese orden usando las longitudes de los ciclos de p. [3 pts]

4. Sea In := {1, 2, 3, ..., n}. Responde:

(a) ¿Cuántas funciones f : In → In cumplen con la siguiente propiedad:

Si f (i) > f (j) entonces i ≥ j.
(b) ¿Cuántos subconjuntos con k elementos de In existen tal que no contenga dos
números consecutivos?

Solución:
1. a) Comprobemos:
i) Reflexiva, (x1 , y1 , z1 ) ∼ (x1 , y1 , z1 )
ii) Simétrica, (x1 , y1 , z1 ) ∼ (x2 , y2 , z2 ) entonces

x21 + y12 + z12 = x22 + y22 + z22 → x22 + y22 + z22 = x21 + y12 + z12

Finalmente
(x2 , y2 , z2 ) ∼ (x1 , y1 , z1 )
 iii) Transitiva,

(x1 , y1 , z1 ) ∼ (x2 , y2 , z2 ) → x21 + y12 + z12 = x22 + y22 + z22

(x2 , y2 , z2 ) ∼ (x3 , y3 , z3 ) → x22 + y22 + z22 = x23 + y32 + z32
Finalmente,

x21 + y12 + z12 = x23 + y32 + z32 → (x1 , y1 , z1 ) ∼ (x3 , y3 , z3 )

b) El conjunto cociente
R3
= {[x] | x ∼ y}
∼
Presentemos ciertos ejemplos

[(0, 0, 0)] = {(x1 , x2 , x3 ) ∈ R3 | x21 + y12 + z12 = 0} = {(0, 0, 0)}

Además
[(1, 0, 0)] = {(x1 , x2 , x3 ) ∈ R3 | x21 + y12 + z12 = 1}
Notamos que
[(1, 0, 0)] = [(0, 1, 0)] = [(0, 0, 1)]
Sea
Sr = {(x, y, z) ∈ R3 | x2 + y 2 + z 2 = r2 }
donde r > 0. Sea (x0 , y0 , z0 ) ∈ Sr , tenemos que

∀(x, y, z) ∈ Sr , [(x0 , y0 , z0 )] = [(x, y, z)]

Podemos obtener para cada r > 0 un (x0 , y0 , z0 ) ∈ R3 tal que pertenece a una misma
semirecta a partir del origen.

2. Solo tendremos que verificar que para cada A ⊂ X, se tiene que

inf (A) = sup{x ∈ X | ∀a ∈ A, x  a}

Definimos inf (A) = x0 , B = {x ∈ X | ∀a ∈ A, x  a} y sup(B) = y0 . Vamos a probar

que x0 = y0 . En efecto:
Como inf (A) = x0 ∈ X, entonces ∀a ∈ A, x0  a esto implica que x0 ∈ B. Además
y0 = sup(B) entonces
∀b ∈ B, b  y0 → x0  y0
De manera similar se comprueba que y0  x0 y como es una relación de orden parcial se
tiene que x0 = y0

3. (a) Como r = (2 3 1 5 4 7 8 9 6) = (1 2 3)(4 5)(6 7 8 9) entonces el orden de r es 12 (justi-

fica).
(b) Sea p una permutación entonces existe k ∈ Z+ tal que p sea un k-ciclo, es decir fijará
n − k elementos de In y moverá cı́clicamente a los restantes, luego

p = (a1 a2 · · · ak ).

Es decir, a2 = p(a1 ), a3 = p(a2 ) = p2 (a1 ), · · · , ak = pk−1 (a1 ) y = p(ak ) = pk (a1 ) = a1 .

De igual modo se puede probar para a2 , · · · ak (verifique). Por tanto se tiene pk = id
(identidad).

2
4. (a) Primero aplicamos el contrarecı́proco. Luego, definamos ki = f (i + 1) − f (i) con
i ∈ {0, 1, · · · , n} y reescribiendo si fuese necesario asignamos f (0) = 1 y f (n+1) = n.
Luego, deseamos que cada ki > 0, por tanto el problema es reemplazado por el
problema de encontrar soluciones enteras no negativos a la ecuación

k0 + k1 + · · · + Kn = n − 1

el cuál esta dado por

2n−1
P Rn,n−1 .
(b) Para cada subconjunto {a1 , a2 · · · , ak } con a1 < a2 < · · · < ak asignemos la k-upla
(a1 , a2 − 1, a3 − 2, · · · , ak − k +1). Esto es debido a que  existe una biyección entre
{1, 2, · · · , n − k + 1}
estos subconjuntos buscados y .
k
Luego, todo se reduce en hallar la cantidad de k-uplas (a1 , a2 −1, a3 −2, · · · , ak −k+1)
con las condiciones dadas la cuál es (n − k + 1)k .