Relaciones

Estructuras Discretas INF-313

Sergio Hernández
shernandez@ucm.cl

Facultad de Ciencias de la Ingenierı́a

Sergio Hernández shernandez@ucm.cl Estructuras Discretas INF-313

 Relaciones

Relaciones

Cuando definimos conjuntos, dijimos que estos constan de elementos

no repetidos sin orden pre-establecido.
Al decir que estos elementos no se repiten y no están ordenados, por
lo tanto implı́citamente vemos que hay una relación entre los
elementos.

Sergio Hernández shernandez@ucm.cl Estructuras Discretas INF-313

 Relaciones

Relaciones

Cuando definimos conjuntos, dijimos que estos constan de elementos

no repetidos sin orden pre-establecido.
Al decir que estos elementos no se repiten y no están ordenados, por
lo tanto implı́citamente vemos que hay una relación entre los
elementos.

Relación Binaria
Es posible definir una relación binaria ρ entre dos conjuntos A y B,
mediante pares ordenados (a, b) donde a ∈ A y b ∈ B. Entonces ρ puede
ser definido como un subconjunto del producto cartesiano A × B, tal que:

a ρ b =⇒ (a, b) ∈ ρ

Sergio Hernández shernandez@ucm.cl Estructuras Discretas INF-313

 Relaciones

Ejemplo

Sea A = {a, b, c, d} y B = {1, 2, 3, 4}, entonces definimos la siguiente

relación binaria ρ:

a 1

b 2

c 3

d 4

ρ⊂A×B

Sergio Hernández shernandez@ucm.cl Estructuras Discretas INF-313

 Relaciones

Relaciones sobre Conjuntos

Supongamos que tenemos una relación ρ desde un conjunto A hacia

A, o sea que ρ ⊆ A × A
En ese caso se dice que ρ es una relación binaria en A.

Sergio Hernández shernandez@ucm.cl Estructuras Discretas INF-313

 Relaciones

Relaciones sobre Conjuntos

Supongamos que tenemos una relación ρ desde un conjunto A hacia

A, o sea que ρ ⊆ A × A
En ese caso se dice que ρ es una relación binaria en A.

Propiedades de las Relaciónes sobre Conjuntos

ρ es llamada reflexiva si y solo si a ρ a para cada elemento a ∈ A.
ρ es llamada simétrica si a ρ b implica que b ρ a. Esto quiere decir
que (a, b) ∈ ρ → (b, a) ∈ ρ
ρ es llamada transitiva si a ρ b y b ρ c implica que a ρ c.

Sergio Hernández shernandez@ucm.cl Estructuras Discretas INF-313

 Relaciones

Ejemplo

Sea A = {1, 2, 3} y ρ una relación sobre A:

1 1

2 2

3 3

Qué tipo de relación es ρ?

Sergio Hernández shernandez@ucm.cl Estructuras Discretas INF-313

 Relaciones

Ejemplo

Sea A = {1, 2, 3} y ρ una relación sobre A:

1 1

2 2

3 3

Qué tipo de relación es ρ?

reflexiva ya que (a, a) ∈ ρ ∀ a ∈ A.

Sergio Hernández shernandez@ucm.cl Estructuras Discretas INF-313

 Relaciones

Ejemplo

Sea A = {1, 2, 3} y ρ una relación sobre A:

1 1

2 2

3 3

Qué tipo de relación es ρ?

reflexiva ya que (a, a) ∈ ρ ∀ a ∈ A.
simétrica ya que (a, b) ∈ ρ =⇒ (b, a) ∈ ρ ∀ (a, b) ∈ ρ.

Sergio Hernández shernandez@ucm.cl Estructuras Discretas INF-313

 Relaciones

Ejemplo

Sea A = {1, 2, 3} y ρ una relación sobre A:

1 1

2 2

3 3

Qué tipo de relación es ρ?

reflexiva ya que (a, a) ∈ ρ ∀ a ∈ A.
simétrica ya que (a, b) ∈ ρ =⇒ (b, a) ∈ ρ ∀ (a, b) ∈ ρ.
transitiva ya que (a, b) ∈ ρ ∧ (b, c) ∈ ρ, =⇒ (a, c) ∈ ρ.

Sergio Hernández shernandez@ucm.cl Estructuras Discretas INF-313

 Relaciones

Ejemplo

Sea A = {1, 2, 3} y ρ una relación sobre A:

1 1

2 2

3 3

Qué tipo de relación es ρ?

Sergio Hernández shernandez@ucm.cl Estructuras Discretas INF-313

 Relaciones

Ejemplo

Sea A = {1, 2, 3} y ρ una relación sobre A:

1 1

2 2

3 3

Qué tipo de relación es ρ?

no es reflexiva ya que (1, 1) ∈
/ ρ.

Sergio Hernández shernandez@ucm.cl Estructuras Discretas INF-313

 Relaciones

Ejemplo

Sea A = {1, 2, 3} y ρ una relación sobre A:

1 1

2 2

3 3

Qué tipo de relación es ρ?

no es reflexiva ya que (1, 1) ∈
/ ρ.
simétrica ya que (a, b) ∈ ρ =⇒ (b, a) ∈ ρ ∀ (a, b) ∈ ρ.

Sergio Hernández shernandez@ucm.cl Estructuras Discretas INF-313

 Relaciones

Ejemplo

Sea A = {1, 2, 3} y ρ una relación sobre A:

1 1

2 2

3 3

Qué tipo de relación es ρ?

no es reflexiva ya que (1, 1) ∈
/ ρ.
simétrica ya que (a, b) ∈ ρ =⇒ (b, a) ∈ ρ ∀ (a, b) ∈ ρ.
no es transitiva ya que (1, 3) ∈ ρ ∧ (3, 1) ∈ ρ 6 =⇒ (1, 1) ∈ ρ.

Sergio Hernández shernandez@ucm.cl Estructuras Discretas INF-313

 Relaciones

Relaciones de Equivalencia

Una relación ρ es llamada de equivalencia si es reflexiva, simétrica y

transitiva.

Sergio Hernández shernandez@ucm.cl Estructuras Discretas INF-313

 Relaciones

Relaciones de Equivalencia

Una relación ρ es llamada de equivalencia si es reflexiva, simétrica y

transitiva.

Particiones
Si consideramos una partición de un conjunto S dada por:

S = {S1 ∪ S2 ∪ . . . ∪ Sn } (1)

Definimos una relación de equivalencia ρ, tal que s ρ t si y solo si

s ∈ Si =⇒ t ∈ Si

Sergio Hernández shernandez@ucm.cl Estructuras Discretas INF-313

 Relaciones

Ejemplo

Sea S = {1, 2} ∪ {3} ∪ {4, 5} un conjunto y ρ una relación de

equivalencia sobre S:

1 1
2 2
3 3
4 4
5 5

Qué tipo de relación es ρ?

Sergio Hernández shernandez@ucm.cl Estructuras Discretas INF-313

 Relaciones

Ejemplo

Sea S = {1, 2} ∪ {3} ∪ {4, 5} un conjunto y ρ una relación de

equivalencia sobre S:

1 1
2 2
3 3
4 4
5 5

Qué tipo de relación es ρ?

reflexiva ya que (a, a) ∈ ρ ∀ a ∈ A.

Sergio Hernández shernandez@ucm.cl Estructuras Discretas INF-313

 Relaciones

Ejemplo

Sea S = {1, 2} ∪ {3} ∪ {4, 5} un conjunto y ρ una relación de

equivalencia sobre S:

1 1
2 2
3 3
4 4
5 5

Qué tipo de relación es ρ?

reflexiva ya que (a, a) ∈ ρ ∀ a ∈ A.
simétrica ya que (a, b) ∈ ρ =⇒ (b, a) ∈ ρ ∀ (a, b) ∈ ρ.

Sergio Hernández shernandez@ucm.cl Estructuras Discretas INF-313

 Relaciones

Ejemplo

Sea S = {1, 2} ∪ {3} ∪ {4, 5} un conjunto y ρ una relación de

equivalencia sobre S:

1 1
2 2
3 3
4 4
5 5

Qué tipo de relación es ρ?

reflexiva ya que (a, a) ∈ ρ ∀ a ∈ A.
simétrica ya que (a, b) ∈ ρ =⇒ (b, a) ∈ ρ ∀ (a, b) ∈ ρ.
transitiva ya que (a, b) ∈ ρ ∧ (b, c) ∈ ρ, =⇒ (a, c) ∈ ρ.

Sergio Hernández shernandez@ucm.cl Estructuras Discretas INF-313

 Relaciones

Ejemplo

Sea S = {1, 2} ∪ {3} ∪ {4, 5} un conjunto y ρ una relación de

equivalencia sobre S:

1 1
2 2
3 3
4 4
5 5

Qué tipo de relación es ρ?

reflexiva ya que (a, a) ∈ ρ ∀ a ∈ A.
simétrica ya que (a, b) ∈ ρ =⇒ (b, a) ∈ ρ ∀ (a, b) ∈ ρ.
transitiva ya que (a, b) ∈ ρ ∧ (b, c) ∈ ρ, =⇒ (a, c) ∈ ρ.
De equivalencia ya que (a, b) ∈ ρ =⇒ a ∈ Si ∧ b ∈ Si .

Sergio Hernández shernandez@ucm.cl Estructuras Discretas INF-313