1.

Con los conjuntos de la tabla:

a. Determine por extensión los dos conjuntos.

𝐴= {𝑥/𝑥 ∈ ℕ, 𝑥=2𝑛, 0 < 𝑛 ≤ 5}

A = {2, 4, 6, 8, 10}

𝐵= {𝑥/𝑥 ∈ ℕ, 0 < 𝑥 ≤ 3}

B= {1, 2, 3}

2. Con los conjuntos de la tabla dados a continuación:

a. Halle el producto cartesiano AxA, BxB, CxC; DxD; ExE, según el literal escogido.

3. Para las relaciones R1, R2, R3, R4, R5 y R6, determine cuales relaciones son simétricas y cuales
relaciones son transitivas, justificando debidamente porque cumple o porque no cumple esa
propiedad.

R1 = {(1,1), (1,2), (2,1), (2,2), (3,4), (4,1), (4,3), (4,4), (5,1)}

Una relación transitiva debe cumplir que ∀ x ∈ R , si a R b ∧ b R c → a R c

 (1,1) R (1,2)

1 R 1 ˄ 1 R 2 → (1,2) ∈R

 (1,2) R (2,1)

1 R 2 ˄ 2 R 1 → (1,1) ∈ R

• (1,2) R (2,2)

1 R 2 ˄ 2 R 2 → (1,2) ∈ R

 (2,1) R (1,1)

2 R 1 ˄ 1 R 1 → (2,1) ∈ R

 (2,1) R (1,2)

2 R 1 ˄ 1 R 2 → (2,2) ∈ R
  (2,2) R (2,1)

2 R 2 ˄ 2 R 1 → (2,1) ∈ R

 (3,4) R (4,1)

3 R 4 ˄ 4 R 1 → (3,1) ∉ R

Como encontramos un par ordenado que no pertenece a la relación, decimos que NO es transitiva

Tampoco es una relación simétrica ya que el par ordenados (4,1) y (5,1) no tienen pares inversos
en R

R2 = {(1, 1), (1, 2), (2,1), (3,3), (4,4)}

Es una relación simétrica ya que en cada par de números cumple: como a R b entonces b R a así

(1, 1)

(1,2), (2,1)

(2,1), (1,2)

(3,3)

(4,4)

R3 = {(1, 1), (1,2), (1, 4), (2,1), (2,2), (3,3), (4,1), (4,4), (5,5)}

Simétrica

Es una relación simétrica ya que en cada par de números cumple: como a R b entonces b R a así

(1, 1)

(1,2), (2,1)

(1,4), (4,1)

(2,1), (1,2)

(2,2)

(3,3)

(4,1), (1,4)

(4,4)
(5,5)

R4 = {(2,1), (3,1), (3,2), (4,1), (4,2), (4,3)}

El par ordenado (2,1) no tiene relación con otro par, por lo que la relación deja de ser transitiva.
Recordemos que para que sea transitiva se debe cumplir que:

∀ x ∈ R , si a R b ∧ b R c → a R c

Tampoco es una relación simétrica, ya que no cumple que

∀ x ∈ R , si a R b → b R a

R5 = {(1,1), (1,2), (1,3), (1,4), (2,2), (2,3), (2,4), (3,3), (3,4), (4,4)}

 (1,1) R (1,2)
1R1˄1R2→ 1R2 (1,2) ∈ R

 (1,1) R (1,3)
1R1˄1R3→ 1R3 (1,3) ∈ R

 (1,1) R (1,4)
1R1˄1R4→ 1R4 (1,4) ∈ R

 (1,2) R (2,2)
1R2˄2R2→ 1R2 (1,2) ∈ R

 (1,2) R (2,3)
1R2˄2R3→ 1R3 (1,3) ∈ R

 (1,2) R (2,4)
1R2˄2R4→ 1R4 (1,4) ∈ R

 (1,3) R (3,3)
1R3˄3R3→ 1R3 (1,3) ∈ R

 (1,3) R (3,4)
1R3˄3R4→ 1R4 (1,4) ∈ R

 (1,4) R (4,4)
1R4˄4R4→ 1R4 (1,4) ∈ R
 Es una relación transitiva y que se cumple
∀ x ∈ R , si a R b ∧ b R c → a R c

R6 = {(1,1), (2,2), (2,3), (3,4), (4,5), (5,5), (6,6)}

No es una relación transitiva ya que no se cumple

∀ x ∈ R , si a R b ∧ b R c → a R c

 (1,1) R (1,1) → (1,1) ∈ R

 (2,2) R (2,3) → (2,3) ∈ R
 (2,3) R (3,4) → (2,4) ∉ R

El par ordenado (2,4 ) rompe la transitividad, no está en la relación