Documentos de Académico
Documentos de Profesional
Documentos de Cultura
UNIVERSIDAD NACIONAL DE
TRUJILLO
ESCUELA PROFESIONAL DE
MATEMÁTICAS
REABAJOS PRÁCTICOS 3 Y 4
CURSO:
Matemática Discreta
DOCENTE:
Rodriguez de Zavaleta Roxana Fabiola.
INTEGRANTES:
-. Marin Espinoza Martha Solange
-. Rodriguez Ruiz Luz Andrea
-. …
-. …
-…..
CICLO:
III
2023
TRABAJO PRÁCTICO N° 3
3. Se sabe que (ℕ, ≤ ) donde ≤ es la relación “menor o igual” entre números
naturales, es un conjunto parcialmente ordenado. Determinar el valor de
verdad de cada una de las siguientes proposiciones entre pares ordenados
en ℕ × ℕ con el orden del producto:
Solución:
1≼3≼8
Es verdadero.
Solución:
5≼5≼1
No cumple, así que, es falso.
Solución:
3≼1≼2
No cumple, así que, es falso.
Solución:
4≼4≼5
Es verdadero.
6.Sean 𝐴 = {1, 2, 3} x {1, 2, 3} y 𝑅 la relación sobre 𝐴 definida como
sigue: (𝑎, 𝑏) 𝑅 (𝑐, 𝑑) ⇔ 𝑎 ≤ 𝑐 𝑦 𝑏|𝑑. Demostrar que 𝑅 es una relación
de orden parcial. ¿Es R un orden total?
Para demostrar que la relación 𝑅 es una relación de orden parcial, debemos demostrar que es
reflexiva, antisimétrica y transitiva.
Para determinar si la relación R es un orden total, debemos determinar si para todo par de
elementos (a, b), (c, d) en A, se cumple que (a, b) R (c, d) o (c, d) R (a, b).
Sin embargo, podemos encontrar pares de elementos en A que no están relacionados por R.
Por ejemplo, (1, 2) y (2, 1) no están relacionados por R, ya que 1 ≤ 2 pero 2 no divide a 1,
entonces como no son comparables no es de orden total.
𝑦 ≠ 𝑦′
No es reflexiva ya que al indicarnos que 𝑦 ≠ 𝑦′ no existen los pares ordenados ( 𝑦, 𝑦) y ( 𝑦’, 𝑦’), por
lo tanto, al faltar dichos pares ordenados el axioma de reflexividad no cumple para la relación
dada.
No existe transitividad ya que los pares ordenados culminan con 𝑥’ ʌ 𝑦’ y ningún otro par
ordenado inicia con dichos primas, por lo tanto, este axioma queda descartado para la relación
dada.
∴ Al no cumplir con los tres axiomas necesarios, determinamos que dicha relación no es de
orden parcial.
-3 ≼ 4
1 ≼ ⌈√2⌉
1≼3
0≼0
0≼8
⌊𝑥⌋ ≼ ⌈𝑥⌉
Cumple el orden lexicográfico.
10) ¿Se cumple qué: Si (a, b) ≤ A × B(𝑎′, 𝑏′) entonces también (a, b) ≤lex (𝑎′, 𝑏
′)? ¿vale el recíproco?
Por como esta definido ≤ A × B tenemos:
-b ≤ B b '
Entonces si se cumple que (a, b) ≤ A × B (𝑎′, 𝑏′) entonces también (a, b) ≤lex (𝑎′, 𝑏′)
-b ≤ B b '
-Probamos la reflexividad.
f f ,∃ n ∈ N , f ( x )=f ( x ) ∀ x ≥n
-Probamos la simetría.
f g⇒ g f
Si f g , ∃n ∈ N , f ( x )=g ( x ) ∀ x ≥n
-Probamos la transitividad.
f g∧g h⇒ f h
∃n ∈ N , f ( x ) =g ( x ) ∀ x ≥ n∧ ∃n ∈ N , g ( x )=h ( x ) ∀ x ≥ m
Entonces f h .
{ [ f ] : f ∈Ω
TRABAJO PRÁCTICO N° 4
1. Hallar cotas superiores, cotas inferiores, supremo e ínfimo del
conjunto B(si los hay) en cada uno de los siguientes casos:
SOLUCIÓN: SOLUCIÓN:
-. Cotas superiores: {2,1}
-. Cotas superiores: {c, a, b}
-. Cotas inferiores: {5,6}
-. Cotas inferiores: {f, g}
-. Supremo: {2}
-. Supremo: {c}
-. Infimo: No existe.
-. Infimo: No existe
SOLUCIÓN:
-. Cotas superiores: {3,1,2}
-. Cotas inferiores: {6,7,8}
-. Supremo: No existe
-. Infimo: {6}
𝐴 = {(3,3), (3,9), (3,15), (3,27), (3,45), (5,5), (5,15), (5,35), (5,45), (9,9), (9,27), (9,45), (15,15),
(15,45), (35,35), (45,45)}
• Minimales: 3, 5
• Máximo: ∄
• Mínimo: ∄
• Cotas superiores de B: ∄
• Cotas inferiores de B: ∄
• Supremo de B: ∄
• Ínfimo de B: ∄
3. En cada uno de lo casos siguientes, dígase si el conjunto X tiene o no una cota infrior y si
tiene alguna, hállase su ínfimo si existe:
X = {x Z / x 2≤ 16}
SOLUCIÓN:
X = {1, 2, 3, 4}
X x X ={}
U = {}
SOLUCIÓN:
T = {}
SOLUCIÓN:
De dicho Diagrama de Hasse nos damos cuenta de que su sup(B) viene a ser la unión de los tres
elementos, a que punto llegan los tres, a lo cual llegamos que es el número 10. El inf(B) no
existe ya que 6 y 7 no se pueden comparar.
El máximo es conjunto X.
El mínimo es el conjunto.
-((0,1) , ≥)
El máximo es 1.
El mínimo es 0.
El maximal es 1.
El minimal es 0.
-¿
El mínimo y minimal es 1
-¿
No existe el mínimo
Min.cot.sup no tiene
No es un retícula.
9) Determinar cuáles de los siguientes conjuntos parcialmente ordenados son retículas.
Justifique su respuesta.
El primer diagrama no es una retícula por que si tomamos los pares (a, b) exista la máxima cota
inferior que es c pero no existe la mínima cota superior.
En los demás diagramas si tomamos cualquier par de elementos incluso los no comparables
existe la mínima cota superior y la máxima cota inferior