relaciones - universidad de chile · 2019-03-11 · relaciones semana05[2/14] introducción ya en...

90
Semana05[1/14] Relaciones 31 de marzo de 2007 Relaciones

Upload: others

Post on 12-Jul-2020

0 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Semana05[1/14]

Relaciones

31 de marzo de 2007

Relaciones

Page 2: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[2/14]

Introducción

Ya en los capítulos anteriores nos acercamos al concepto de relación.

RelaciónDados un par de conjuntos no vacíos A y B, llamaremos relación binaria entre A y B, o simplemente relaciónentre A y B, a un conjunto R ⊆ A × B.Denotaremos a R b cuando (a, b) ∈ R, y a /R b cuando (a, b) /∈ R.

Observemos que, para A y B conjuntos no vacíos, ya conocemos una buena cantidad de relaciones.

Por ejemplo, toda función f : A → B puede interpretarse como una relación R ⊆ A × B, dondea R b ⇐⇒ b = f (a).

Ejemplos1 Tomemos el conjunto R = {(p, n) ∈ Z×N : |p − n| ≤ 5}. Éste es una relación entre Z y N. Diremos que

“R es una relación entre Z y N dada por (p R n ⇐⇒ |p − n| ≤ 5)”

2 ≤ es una relación de R consigo mismo, interpretando ≤ como el conjunto {(x , y) ∈ R×R : x ≤ y}.

3 En N×N, decimos que a | b ⇐⇒ (∃k ∈ N) b = k · a. La relación que estamos simbolizando con la barravertical | se conoce como divisibilidad, y decimos que “a divide a b” cuando a | b. A modo de ejemplo,tenemos que 2 | 8, 7 | 21, 4 ∤ 5 y 9 ∤ 28.

4 Para p, q ∈ Z, definimos la relación igualdad módulo 3, que simbolizaremos por ≡3, porp ≡3 q ⇐⇒ (∃k ∈ Z) (p − q) = 3k . Así, por ejemplo, 8 ≡3 11 y 11 ≡3 −1.

5 Sea P el conjunto de todos los seres humanos, y definimos para p1, p2 ∈ P la relaciónp1 H p2 ⇐⇒ p1 es hermano o hermana dep2.

Relaciones

Page 3: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[3/14]

Introducción

Ya en los capítulos anteriores nos acercamos al concepto de relación.

RelaciónDados un par de conjuntos no vacíos A y B, llamaremos relación binaria entre A y B, o simplemente relaciónentre A y B, a un conjunto R ⊆ A × B.Denotaremos a R b cuando (a, b) ∈ R, y a /R b cuando (a, b) /∈ R.

Observemos que, para A y B conjuntos no vacíos, ya conocemos una buena cantidad de relaciones.

Por ejemplo, toda función f : A → B puede interpretarse como una relación R ⊆ A × B, dondea R b ⇐⇒ b = f (a).

Ejemplos1 Tomemos el conjunto R = {(p, n) ∈ Z×N : |p − n| ≤ 5}. Éste es una relación entre Z y N. Diremos que

“R es una relación entre Z y N dada por (p R n ⇐⇒ |p − n| ≤ 5)”

2 ≤ es una relación de R consigo mismo, interpretando ≤ como el conjunto {(x , y) ∈ R×R : x ≤ y}.

3 En N×N, decimos que a | b ⇐⇒ (∃k ∈ N) b = k · a. La relación que estamos simbolizando con la barravertical | se conoce como divisibilidad, y decimos que “a divide a b” cuando a | b. A modo de ejemplo,tenemos que 2 | 8, 7 | 21, 4 ∤ 5 y 9 ∤ 28.

4 Para p, q ∈ Z, definimos la relación igualdad módulo 3, que simbolizaremos por ≡3, porp ≡3 q ⇐⇒ (∃k ∈ Z) (p − q) = 3k . Así, por ejemplo, 8 ≡3 11 y 11 ≡3 −1.

5 Sea P el conjunto de todos los seres humanos, y definimos para p1, p2 ∈ P la relaciónp1 H p2 ⇐⇒ p1 es hermano o hermana dep2.

Relaciones

Page 4: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[4/14]

Introducción

Ya en los capítulos anteriores nos acercamos al concepto de relación.

RelaciónDados un par de conjuntos no vacíos A y B, llamaremos relación binaria entre A y B, o simplemente relaciónentre A y B, a un conjunto R ⊆ A × B.Denotaremos a R b cuando (a, b) ∈ R, y a /R b cuando (a, b) /∈ R.

Observemos que, para A y B conjuntos no vacíos, ya conocemos una buena cantidad de relaciones.

Por ejemplo, toda función f : A → B puede interpretarse como una relación R ⊆ A × B, dondea R b ⇐⇒ b = f (a).

Ejemplos1 Tomemos el conjunto R = {(p, n) ∈ Z×N : |p − n| ≤ 5}. Éste es una relación entre Z y N. Diremos que

“R es una relación entre Z y N dada por (p R n ⇐⇒ |p − n| ≤ 5)”

2 ≤ es una relación de R consigo mismo, interpretando ≤ como el conjunto {(x , y) ∈ R×R : x ≤ y}.

3 En N×N, decimos que a | b ⇐⇒ (∃k ∈ N) b = k · a. La relación que estamos simbolizando con la barravertical | se conoce como divisibilidad, y decimos que “a divide a b” cuando a | b. A modo de ejemplo,tenemos que 2 | 8, 7 | 21, 4 ∤ 5 y 9 ∤ 28.

4 Para p, q ∈ Z, definimos la relación igualdad módulo 3, que simbolizaremos por ≡3, porp ≡3 q ⇐⇒ (∃k ∈ Z) (p − q) = 3k . Así, por ejemplo, 8 ≡3 11 y 11 ≡3 −1.

5 Sea P el conjunto de todos los seres humanos, y definimos para p1, p2 ∈ P la relaciónp1 H p2 ⇐⇒ p1 es hermano o hermana dep2.

Relaciones

Page 5: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[5/14]

Introducción

Ya en los capítulos anteriores nos acercamos al concepto de relación.

RelaciónDados un par de conjuntos no vacíos A y B, llamaremos relación binaria entre A y B, o simplemente relaciónentre A y B, a un conjunto R ⊆ A × B.Denotaremos a R b cuando (a, b) ∈ R, y a /R b cuando (a, b) /∈ R.

Observemos que, para A y B conjuntos no vacíos, ya conocemos una buena cantidad de relaciones.

Por ejemplo, toda función f : A → B puede interpretarse como una relación R ⊆ A × B, dondea R b ⇐⇒ b = f (a).

Ejemplos1 Tomemos el conjunto R = {(p, n) ∈ Z×N : |p − n| ≤ 5}. Éste es una relación entre Z y N. Diremos que

“R es una relación entre Z y N dada por (p R n ⇐⇒ |p − n| ≤ 5)”

2 ≤ es una relación de R consigo mismo, interpretando ≤ como el conjunto {(x , y) ∈ R×R : x ≤ y}.

3 En N×N, decimos que a | b ⇐⇒ (∃k ∈ N) b = k · a. La relación que estamos simbolizando con la barravertical | se conoce como divisibilidad, y decimos que “a divide a b” cuando a | b. A modo de ejemplo,tenemos que 2 | 8, 7 | 21, 4 ∤ 5 y 9 ∤ 28.

4 Para p, q ∈ Z, definimos la relación igualdad módulo 3, que simbolizaremos por ≡3, porp ≡3 q ⇐⇒ (∃k ∈ Z) (p − q) = 3k . Así, por ejemplo, 8 ≡3 11 y 11 ≡3 −1.

5 Sea P el conjunto de todos los seres humanos, y definimos para p1, p2 ∈ P la relaciónp1 H p2 ⇐⇒ p1 es hermano o hermana dep2.

Relaciones

Page 6: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[6/14]

Introducción

Ya en los capítulos anteriores nos acercamos al concepto de relación.

RelaciónDados un par de conjuntos no vacíos A y B, llamaremos relación binaria entre A y B, o simplemente relaciónentre A y B, a un conjunto R ⊆ A × B.Denotaremos a R b cuando (a, b) ∈ R, y a /R b cuando (a, b) /∈ R.

Observemos que, para A y B conjuntos no vacíos, ya conocemos una buena cantidad de relaciones.

Por ejemplo, toda función f : A → B puede interpretarse como una relación R ⊆ A × B, dondea R b ⇐⇒ b = f (a).

Ejemplos1 Tomemos el conjunto R = {(p, n) ∈ Z×N : |p − n| ≤ 5}. Éste es una relación entre Z y N. Diremos que

“R es una relación entre Z y N dada por (p R n ⇐⇒ |p − n| ≤ 5)”

2 ≤ es una relación de R consigo mismo, interpretando ≤ como el conjunto {(x , y) ∈ R×R : x ≤ y}.

3 En N×N, decimos que a | b ⇐⇒ (∃k ∈ N) b = k · a. La relación que estamos simbolizando con la barravertical | se conoce como divisibilidad, y decimos que “a divide a b” cuando a | b. A modo de ejemplo,tenemos que 2 | 8, 7 | 21, 4 ∤ 5 y 9 ∤ 28.

4 Para p, q ∈ Z, definimos la relación igualdad módulo 3, que simbolizaremos por ≡3, porp ≡3 q ⇐⇒ (∃k ∈ Z) (p − q) = 3k . Así, por ejemplo, 8 ≡3 11 y 11 ≡3 −1.

5 Sea P el conjunto de todos los seres humanos, y definimos para p1, p2 ∈ P la relaciónp1 H p2 ⇐⇒ p1 es hermano o hermana dep2.

Relaciones

Page 7: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[7/14]

Introducción

Ya en los capítulos anteriores nos acercamos al concepto de relación.

RelaciónDados un par de conjuntos no vacíos A y B, llamaremos relación binaria entre A y B, o simplemente relaciónentre A y B, a un conjunto R ⊆ A × B.Denotaremos a R b cuando (a, b) ∈ R, y a /R b cuando (a, b) /∈ R.

Observemos que, para A y B conjuntos no vacíos, ya conocemos una buena cantidad de relaciones.

Por ejemplo, toda función f : A → B puede interpretarse como una relación R ⊆ A × B, dondea R b ⇐⇒ b = f (a).

Ejemplos1 Tomemos el conjunto R = {(p, n) ∈ Z×N : |p − n| ≤ 5}. Éste es una relación entre Z y N. Diremos que

“R es una relación entre Z y N dada por (p R n ⇐⇒ |p − n| ≤ 5)”

2 ≤ es una relación de R consigo mismo, interpretando ≤ como el conjunto {(x , y) ∈ R×R : x ≤ y}.

3 En N×N, decimos que a | b ⇐⇒ (∃k ∈ N) b = k · a. La relación que estamos simbolizando con la barravertical | se conoce como divisibilidad, y decimos que “a divide a b” cuando a | b. A modo de ejemplo,tenemos que 2 | 8, 7 | 21, 4 ∤ 5 y 9 ∤ 28.

4 Para p, q ∈ Z, definimos la relación igualdad módulo 3, que simbolizaremos por ≡3, porp ≡3 q ⇐⇒ (∃k ∈ Z) (p − q) = 3k . Así, por ejemplo, 8 ≡3 11 y 11 ≡3 −1.

5 Sea P el conjunto de todos los seres humanos, y definimos para p1, p2 ∈ P la relaciónp1 H p2 ⇐⇒ p1 es hermano o hermana dep2.

Relaciones

Page 8: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[8/14]

Introducción

Ya en los capítulos anteriores nos acercamos al concepto de relación.

RelaciónDados un par de conjuntos no vacíos A y B, llamaremos relación binaria entre A y B, o simplemente relaciónentre A y B, a un conjunto R ⊆ A × B.Denotaremos a R b cuando (a, b) ∈ R, y a /R b cuando (a, b) /∈ R.

Observemos que, para A y B conjuntos no vacíos, ya conocemos una buena cantidad de relaciones.

Por ejemplo, toda función f : A → B puede interpretarse como una relación R ⊆ A × B, dondea R b ⇐⇒ b = f (a).

Ejemplos1 Tomemos el conjunto R = {(p, n) ∈ Z×N : |p − n| ≤ 5}. Éste es una relación entre Z y N. Diremos que

“R es una relación entre Z y N dada por (p R n ⇐⇒ |p − n| ≤ 5)”

2 ≤ es una relación de R consigo mismo, interpretando ≤ como el conjunto {(x , y) ∈ R×R : x ≤ y}.

3 En N×N, decimos que a | b ⇐⇒ (∃k ∈ N) b = k · a. La relación que estamos simbolizando con la barravertical | se conoce como divisibilidad, y decimos que “a divide a b” cuando a | b. A modo de ejemplo,tenemos que 2 | 8, 7 | 21, 4 ∤ 5 y 9 ∤ 28.

4 Para p, q ∈ Z, definimos la relación igualdad módulo 3, que simbolizaremos por ≡3, porp ≡3 q ⇐⇒ (∃k ∈ Z) (p − q) = 3k . Así, por ejemplo, 8 ≡3 11 y 11 ≡3 −1.

5 Sea P el conjunto de todos los seres humanos, y definimos para p1, p2 ∈ P la relaciónp1 H p2 ⇐⇒ p1 es hermano o hermana dep2.

Relaciones

Page 9: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[9/14]

Introducción

Ya en los capítulos anteriores nos acercamos al concepto de relación.

RelaciónDados un par de conjuntos no vacíos A y B, llamaremos relación binaria entre A y B, o simplemente relaciónentre A y B, a un conjunto R ⊆ A × B.Denotaremos a R b cuando (a, b) ∈ R, y a /R b cuando (a, b) /∈ R.

Observemos que, para A y B conjuntos no vacíos, ya conocemos una buena cantidad de relaciones.

Por ejemplo, toda función f : A → B puede interpretarse como una relación R ⊆ A × B, dondea R b ⇐⇒ b = f (a).

Ejemplos1 Tomemos el conjunto R = {(p, n) ∈ Z×N : |p − n| ≤ 5}. Éste es una relación entre Z y N. Diremos que

“R es una relación entre Z y N dada por (p R n ⇐⇒ |p − n| ≤ 5)”

2 ≤ es una relación de R consigo mismo, interpretando ≤ como el conjunto {(x , y) ∈ R×R : x ≤ y}.

3 En N×N, decimos que a | b ⇐⇒ (∃k ∈ N) b = k · a. La relación que estamos simbolizando con la barravertical | se conoce como divisibilidad, y decimos que “a divide a b” cuando a | b. A modo de ejemplo,tenemos que 2 | 8, 7 | 21, 4 ∤ 5 y 9 ∤ 28.

4 Para p, q ∈ Z, definimos la relación igualdad módulo 3, que simbolizaremos por ≡3, porp ≡3 q ⇐⇒ (∃k ∈ Z) (p − q) = 3k . Así, por ejemplo, 8 ≡3 11 y 11 ≡3 −1.

5 Sea P el conjunto de todos los seres humanos, y definimos para p1, p2 ∈ P la relaciónp1 H p2 ⇐⇒ p1 es hermano o hermana dep2.

Relaciones

Page 10: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[10/14]

Introducción

Ya en los capítulos anteriores nos acercamos al concepto de relación.

RelaciónDados un par de conjuntos no vacíos A y B, llamaremos relación binaria entre A y B, o simplemente relaciónentre A y B, a un conjunto R ⊆ A × B.Denotaremos a R b cuando (a, b) ∈ R, y a /R b cuando (a, b) /∈ R.

Observemos que, para A y B conjuntos no vacíos, ya conocemos una buena cantidad de relaciones.

Por ejemplo, toda función f : A → B puede interpretarse como una relación R ⊆ A × B, dondea R b ⇐⇒ b = f (a).

Ejemplos1 Tomemos el conjunto R = {(p, n) ∈ Z×N : |p − n| ≤ 5}. Éste es una relación entre Z y N. Diremos que

“R es una relación entre Z y N dada por (p R n ⇐⇒ |p − n| ≤ 5)”

2 ≤ es una relación de R consigo mismo, interpretando ≤ como el conjunto {(x , y) ∈ R×R : x ≤ y}.

3 En N×N, decimos que a | b ⇐⇒ (∃k ∈ N) b = k · a. La relación que estamos simbolizando con la barravertical | se conoce como divisibilidad, y decimos que “a divide a b” cuando a | b. A modo de ejemplo,tenemos que 2 | 8, 7 | 21, 4 ∤ 5 y 9 ∤ 28.

4 Para p, q ∈ Z, definimos la relación igualdad módulo 3, que simbolizaremos por ≡3, porp ≡3 q ⇐⇒ (∃k ∈ Z) (p − q) = 3k . Así, por ejemplo, 8 ≡3 11 y 11 ≡3 −1.

5 Sea P el conjunto de todos los seres humanos, y definimos para p1, p2 ∈ P la relaciónp1 H p2 ⇐⇒ p1 es hermano o hermana dep2.

Relaciones

Page 11: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[11/14]

Introducción

Ya en los capítulos anteriores nos acercamos al concepto de relación.

RelaciónDados un par de conjuntos no vacíos A y B, llamaremos relación binaria entre A y B, o simplemente relaciónentre A y B, a un conjunto R ⊆ A × B.Denotaremos a R b cuando (a, b) ∈ R, y a /R b cuando (a, b) /∈ R.

Observemos que, para A y B conjuntos no vacíos, ya conocemos una buena cantidad de relaciones.

Por ejemplo, toda función f : A → B puede interpretarse como una relación R ⊆ A × B, dondea R b ⇐⇒ b = f (a).

Ejemplos1 Tomemos el conjunto R = {(p, n) ∈ Z×N : |p − n| ≤ 5}. Éste es una relación entre Z y N. Diremos que

“R es una relación entre Z y N dada por (p R n ⇐⇒ |p − n| ≤ 5)”

2 ≤ es una relación de R consigo mismo, interpretando ≤ como el conjunto {(x , y) ∈ R×R : x ≤ y}.

3 En N×N, decimos que a | b ⇐⇒ (∃k ∈ N) b = k · a. La relación que estamos simbolizando con la barravertical | se conoce como divisibilidad, y decimos que “a divide a b” cuando a | b. A modo de ejemplo,tenemos que 2 | 8, 7 | 21, 4 ∤ 5 y 9 ∤ 28.

4 Para p, q ∈ Z, definimos la relación igualdad módulo 3, que simbolizaremos por ≡3, porp ≡3 q ⇐⇒ (∃k ∈ Z) (p − q) = 3k . Así, por ejemplo, 8 ≡3 11 y 11 ≡3 −1.

5 Sea P el conjunto de todos los seres humanos, y definimos para p1, p2 ∈ P la relaciónp1 H p2 ⇐⇒ p1 es hermano o hermana dep2.

Relaciones

Page 12: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[12/14]

Relaciones de un conjunto en sí mismo

A continuación nos preocuparemos de las relaciones de un conjunto no vacío A consigo mismo, es decir lasrelaciones R ⊆ A × A.

Dada una relación R en el conjunto A, definimos las siguientes propiedades (al igual que con la inyectividad,sobreyectividad y biyectividad de funciones, estas propiedades pueden ser o no cumplidas por cada relación):

Tipos de relacionesDiremos que R es refleja si y sólo si

(∀x ∈ A) x R x

Diremos que R es simétrica si y sólo si

(∀x , y ∈ A) x R y ⇒ y R x

Diremos que R es antisimétrica si y sólo si

(∀x , y ∈ A) (x R y ∧ y R x) ⇒ x = y

Diremos que R es transitiva si y sólo si

(∀x , y , z ∈ A) (x R y ∧ y R z) ⇒ x R z

Relaciones

Page 13: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[13/14]

Relaciones de un conjunto en sí mismo

A continuación nos preocuparemos de las relaciones de un conjunto no vacío A consigo mismo, es decir lasrelaciones R ⊆ A × A.

Dada una relación R en el conjunto A, definimos las siguientes propiedades (al igual que con la inyectividad,sobreyectividad y biyectividad de funciones, estas propiedades pueden ser o no cumplidas por cada relación):

Tipos de relacionesDiremos que R es refleja si y sólo si

(∀x ∈ A) x R x

Diremos que R es simétrica si y sólo si

(∀x , y ∈ A) x R y ⇒ y R x

Diremos que R es antisimétrica si y sólo si

(∀x , y ∈ A) (x R y ∧ y R x) ⇒ x = y

Diremos que R es transitiva si y sólo si

(∀x , y , z ∈ A) (x R y ∧ y R z) ⇒ x R z

Relaciones

Page 14: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[14/14]

Relaciones de un conjunto en sí mismo

A continuación nos preocuparemos de las relaciones de un conjunto no vacío A consigo mismo, es decir lasrelaciones R ⊆ A × A.

Dada una relación R en el conjunto A, definimos las siguientes propiedades (al igual que con la inyectividad,sobreyectividad y biyectividad de funciones, estas propiedades pueden ser o no cumplidas por cada relación):

Tipos de relacionesDiremos que R es refleja si y sólo si

(∀x ∈ A) x R x

Diremos que R es simétrica si y sólo si

(∀x , y ∈ A) x R y ⇒ y R x

Diremos que R es antisimétrica si y sólo si

(∀x , y ∈ A) (x R y ∧ y R x) ⇒ x = y

Diremos que R es transitiva si y sólo si

(∀x , y , z ∈ A) (x R y ∧ y R z) ⇒ x R z

Relaciones

Page 15: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[15/14]

Relaciones de un conjunto en sí mismo

A continuación nos preocuparemos de las relaciones de un conjunto no vacío A consigo mismo, es decir lasrelaciones R ⊆ A × A.

Dada una relación R en el conjunto A, definimos las siguientes propiedades (al igual que con la inyectividad,sobreyectividad y biyectividad de funciones, estas propiedades pueden ser o no cumplidas por cada relación):

Tipos de relacionesDiremos que R es refleja si y sólo si

(∀x ∈ A) x R x

Diremos que R es simétrica si y sólo si

(∀x , y ∈ A) x R y ⇒ y R x

Diremos que R es antisimétrica si y sólo si

(∀x , y ∈ A) (x R y ∧ y R x) ⇒ x = y

Diremos que R es transitiva si y sólo si

(∀x , y , z ∈ A) (x R y ∧ y R z) ⇒ x R z

Relaciones

Page 16: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[16/14]

Relaciones de un conjunto en sí mismo

A continuación nos preocuparemos de las relaciones de un conjunto no vacío A consigo mismo, es decir lasrelaciones R ⊆ A × A.

Dada una relación R en el conjunto A, definimos las siguientes propiedades (al igual que con la inyectividad,sobreyectividad y biyectividad de funciones, estas propiedades pueden ser o no cumplidas por cada relación):

Tipos de relacionesDiremos que R es refleja si y sólo si

(∀x ∈ A) x R x

Diremos que R es simétrica si y sólo si

(∀x , y ∈ A) x R y ⇒ y R x

Diremos que R es antisimétrica si y sólo si

(∀x , y ∈ A) (x R y ∧ y R x) ⇒ x = y

Diremos que R es transitiva si y sólo si

(∀x , y , z ∈ A) (x R y ∧ y R z) ⇒ x R z

Relaciones

Page 17: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[17/14]

Relaciones de un conjunto en sí mismo

A continuación nos preocuparemos de las relaciones de un conjunto no vacío A consigo mismo, es decir lasrelaciones R ⊆ A × A.

Dada una relación R en el conjunto A, definimos las siguientes propiedades (al igual que con la inyectividad,sobreyectividad y biyectividad de funciones, estas propiedades pueden ser o no cumplidas por cada relación):

Tipos de relacionesDiremos que R es refleja si y sólo si

(∀x ∈ A) x R x

Diremos que R es simétrica si y sólo si

(∀x , y ∈ A) x R y ⇒ y R x

Diremos que R es antisimétrica si y sólo si

(∀x , y ∈ A) (x R y ∧ y R x) ⇒ x = y

Diremos que R es transitiva si y sólo si

(∀x , y , z ∈ A) (x R y ∧ y R z) ⇒ x R z

Relaciones

Page 18: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[18/14]

Relaciones de un conjunto en sí mismo

A continuación nos preocuparemos de las relaciones de un conjunto no vacío A consigo mismo, es decir lasrelaciones R ⊆ A × A.

Dada una relación R en el conjunto A, definimos las siguientes propiedades (al igual que con la inyectividad,sobreyectividad y biyectividad de funciones, estas propiedades pueden ser o no cumplidas por cada relación):

Tipos de relacionesDiremos que R es refleja si y sólo si

(∀x ∈ A) x R x

Diremos que R es simétrica si y sólo si

(∀x , y ∈ A) x R y ⇒ y R x

Diremos que R es antisimétrica si y sólo si

(∀x , y ∈ A) (x R y ∧ y R x) ⇒ x = y

Diremos que R es transitiva si y sólo si

(∀x , y , z ∈ A) (x R y ∧ y R z) ⇒ x R z

Relaciones

Page 19: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[19/14]

Relaciones de un conjunto en sí mismo

ImportanteDebemos observar que la simetría y la antisimetría no son propiedades contrapuestas:

Por un lado puede ocurrir que una relación no sea ni simétrica ni antisimétrica, pero también hay relacionesque cumplen ambas propiedades simultáneamente. Estas últimas, sin embargo, no pueden ser muycomplejas, pues si R ⊆ A × A:

R es simétrica y antisimétrica⇐⇒ (∀x , y ∈ A) [x R y ⇒ x = y ]

Demostración.⇐) Queda como ejercicio para el lector.

⇒) Sean x , y ∈ A tales que x R y .Como R es simétrica, entonces también y R x . Así,

x R y ∧ y R x

y como R es antisimétrica, concluimos que x = y .

Observemos que si tenemos una relación R ⊆ A × A tal que existen elementos x0 6= y0 en A tales que x0 R y0,entonces R es o bien simétrica, o bien antisimétrica.

Relaciones

Page 20: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[20/14]

Relaciones de un conjunto en sí mismo

ImportanteDebemos observar que la simetría y la antisimetría no son propiedades contrapuestas:

Por un lado puede ocurrir que una relación no sea ni simétrica ni antisimétrica, pero también hay relacionesque cumplen ambas propiedades simultáneamente. Estas últimas, sin embargo, no pueden ser muycomplejas, pues si R ⊆ A × A:

R es simétrica y antisimétrica⇐⇒ (∀x , y ∈ A) [x R y ⇒ x = y ]

Demostración.⇐) Queda como ejercicio para el lector.

⇒) Sean x , y ∈ A tales que x R y .Como R es simétrica, entonces también y R x . Así,

x R y ∧ y R x

y como R es antisimétrica, concluimos que x = y .

Observemos que si tenemos una relación R ⊆ A × A tal que existen elementos x0 6= y0 en A tales que x0 R y0,entonces R es o bien simétrica, o bien antisimétrica.

Relaciones

Page 21: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[21/14]

Relaciones de un conjunto en sí mismo

ImportanteDebemos observar que la simetría y la antisimetría no son propiedades contrapuestas:

Por un lado puede ocurrir que una relación no sea ni simétrica ni antisimétrica, pero también hay relacionesque cumplen ambas propiedades simultáneamente. Estas últimas, sin embargo, no pueden ser muycomplejas, pues si R ⊆ A × A:

R es simétrica y antisimétrica⇐⇒ (∀x , y ∈ A) [x R y ⇒ x = y ]

Demostración.⇐) Queda como ejercicio para el lector.

⇒) Sean x , y ∈ A tales que x R y .Como R es simétrica, entonces también y R x . Así,

x R y ∧ y R x

y como R es antisimétrica, concluimos que x = y .

Observemos que si tenemos una relación R ⊆ A × A tal que existen elementos x0 6= y0 en A tales que x0 R y0,entonces R es o bien simétrica, o bien antisimétrica.

Relaciones

Page 22: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[22/14]

Relaciones de un conjunto en sí mismo

ImportanteDebemos observar que la simetría y la antisimetría no son propiedades contrapuestas:

Por un lado puede ocurrir que una relación no sea ni simétrica ni antisimétrica, pero también hay relacionesque cumplen ambas propiedades simultáneamente. Estas últimas, sin embargo, no pueden ser muycomplejas, pues si R ⊆ A × A:

R es simétrica y antisimétrica⇐⇒ (∀x , y ∈ A) [x R y ⇒ x = y ]

Demostración.⇐) Queda como ejercicio para el lector.

⇒) Sean x , y ∈ A tales que x R y .Como R es simétrica, entonces también y R x . Así,

x R y ∧ y R x

y como R es antisimétrica, concluimos que x = y .

Observemos que si tenemos una relación R ⊆ A × A tal que existen elementos x0 6= y0 en A tales que x0 R y0,entonces R es o bien simétrica, o bien antisimétrica.

Relaciones

Page 23: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[23/14]

Relaciones de un conjunto en sí mismo

ImportanteDebemos observar que la simetría y la antisimetría no son propiedades contrapuestas:

Por un lado puede ocurrir que una relación no sea ni simétrica ni antisimétrica, pero también hay relacionesque cumplen ambas propiedades simultáneamente. Estas últimas, sin embargo, no pueden ser muycomplejas, pues si R ⊆ A × A:

R es simétrica y antisimétrica⇐⇒ (∀x , y ∈ A) [x R y ⇒ x = y ]

Demostración.⇐) Queda como ejercicio para el lector.

⇒) Sean x , y ∈ A tales que x R y .Como R es simétrica, entonces también y R x . Así,

x R y ∧ y R x

y como R es antisimétrica, concluimos que x = y .

Observemos que si tenemos una relación R ⊆ A × A tal que existen elementos x0 6= y0 en A tales que x0 R y0,entonces R es o bien simétrica, o bien antisimétrica.

Relaciones

Page 24: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[24/14]

Relaciones de un conjunto en sí mismo

ImportanteDebemos observar que la simetría y la antisimetría no son propiedades contrapuestas:

Por un lado puede ocurrir que una relación no sea ni simétrica ni antisimétrica, pero también hay relacionesque cumplen ambas propiedades simultáneamente. Estas últimas, sin embargo, no pueden ser muycomplejas, pues si R ⊆ A × A:

R es simétrica y antisimétrica⇐⇒ (∀x , y ∈ A) [x R y ⇒ x = y ]

Demostración.⇐) Queda como ejercicio para el lector.

⇒) Sean x , y ∈ A tales que x R y .Como R es simétrica, entonces también y R x . Así,

x R y ∧ y R x

y como R es antisimétrica, concluimos que x = y .

Observemos que si tenemos una relación R ⊆ A × A tal que existen elementos x0 6= y0 en A tales que x0 R y0,entonces R es o bien simétrica, o bien antisimétrica.

Relaciones

Page 25: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[25/14]

Relaciones de un conjunto en sí mismo

ImportanteDebemos observar que la simetría y la antisimetría no son propiedades contrapuestas:

Por un lado puede ocurrir que una relación no sea ni simétrica ni antisimétrica, pero también hay relacionesque cumplen ambas propiedades simultáneamente. Estas últimas, sin embargo, no pueden ser muycomplejas, pues si R ⊆ A × A:

R es simétrica y antisimétrica⇐⇒ (∀x , y ∈ A) [x R y ⇒ x = y ]

Demostración.⇐) Queda como ejercicio para el lector.

⇒) Sean x , y ∈ A tales que x R y .Como R es simétrica, entonces también y R x . Así,

x R y ∧ y R x

y como R es antisimétrica, concluimos que x = y .

Observemos que si tenemos una relación R ⊆ A × A tal que existen elementos x0 6= y0 en A tales que x0 R y0,entonces R es o bien simétrica, o bien antisimétrica.

Relaciones

Page 26: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[26/14]

Relaciones de un conjunto en sí mismo

ImportanteDebemos observar que la simetría y la antisimetría no son propiedades contrapuestas:

Por un lado puede ocurrir que una relación no sea ni simétrica ni antisimétrica, pero también hay relacionesque cumplen ambas propiedades simultáneamente. Estas últimas, sin embargo, no pueden ser muycomplejas, pues si R ⊆ A × A:

R es simétrica y antisimétrica⇐⇒ (∀x , y ∈ A) [x R y ⇒ x = y ]

Demostración.⇐) Queda como ejercicio para el lector.

⇒) Sean x , y ∈ A tales que x R y .Como R es simétrica, entonces también y R x . Así,

x R y ∧ y R x

y como R es antisimétrica, concluimos que x = y .

Observemos que si tenemos una relación R ⊆ A × A tal que existen elementos x0 6= y0 en A tales que x0 R y0,entonces R es o bien simétrica, o bien antisimétrica.

Relaciones

Page 27: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[27/14]

Relaciones de un conjunto en sí mismo: Relaciones de orden

Relación de ordenSea R una relación en el conjunto A. Diremos que R es una relación de orden en A, o simplemente que esun orden en A, si es una relación refleja, antisimétrica y transitiva.

Si R es un orden en A, diremos que a precede a b cada vez que a R b.

Además, diremos que dos elementos a, b ∈ A son comparables si se cumple que (a R b) ∨ (b R a).

Si R es un orden que hace que todo par de elementos sea comparable, entonces diremos que R es unorden total . En caso contrario, diremos que es un orden parcial .

Es fácil verificar, entonces, que ≤ es un orden total en R.

Relaciones

Page 28: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[28/14]

Relaciones de un conjunto en sí mismo: Relaciones de orden

Relación de ordenSea R una relación en el conjunto A. Diremos que R es una relación de orden en A, o simplemente que esun orden en A, si es una relación refleja, antisimétrica y transitiva.

Si R es un orden en A, diremos que a precede a b cada vez que a R b.

Además, diremos que dos elementos a, b ∈ A son comparables si se cumple que (a R b) ∨ (b R a).

Si R es un orden que hace que todo par de elementos sea comparable, entonces diremos que R es unorden total . En caso contrario, diremos que es un orden parcial .

Es fácil verificar, entonces, que ≤ es un orden total en R.

Relaciones

Page 29: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[29/14]

Relaciones de un conjunto en sí mismo: Relaciones de orden

Relación de ordenSea R una relación en el conjunto A. Diremos que R es una relación de orden en A, o simplemente que esun orden en A, si es una relación refleja, antisimétrica y transitiva.

Si R es un orden en A, diremos que a precede a b cada vez que a R b.

Además, diremos que dos elementos a, b ∈ A son comparables si se cumple que (a R b) ∨ (b R a).

Si R es un orden que hace que todo par de elementos sea comparable, entonces diremos que R es unorden total . En caso contrario, diremos que es un orden parcial .

Es fácil verificar, entonces, que ≤ es un orden total en R.

Relaciones

Page 30: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[30/14]

Relaciones de un conjunto en sí mismo: Relaciones de orden

Relación de ordenSea R una relación en el conjunto A. Diremos que R es una relación de orden en A, o simplemente que esun orden en A, si es una relación refleja, antisimétrica y transitiva.

Si R es un orden en A, diremos que a precede a b cada vez que a R b.

Además, diremos que dos elementos a, b ∈ A son comparables si se cumple que (a R b) ∨ (b R a).

Si R es un orden que hace que todo par de elementos sea comparable, entonces diremos que R es unorden total . En caso contrario, diremos que es un orden parcial .

Es fácil verificar, entonces, que ≤ es un orden total en R.

Relaciones

Page 31: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[31/14]

Relaciones de un conjunto en sí mismo: Relaciones de orden

Relación de ordenSea R una relación en el conjunto A. Diremos que R es una relación de orden en A, o simplemente que esun orden en A, si es una relación refleja, antisimétrica y transitiva.

Si R es un orden en A, diremos que a precede a b cada vez que a R b.

Además, diremos que dos elementos a, b ∈ A son comparables si se cumple que (a R b) ∨ (b R a).

Si R es un orden que hace que todo par de elementos sea comparable, entonces diremos que R es unorden total . En caso contrario, diremos que es un orden parcial .

Es fácil verificar, entonces, que ≤ es un orden total en R.

Relaciones

Page 32: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[32/14]

Relaciones de un conjunto en sí mismo: Relaciones de orden

Ejemplo: divisibilidadRecordando la relación de divisibilidad | que ya definimos, tenemos que ésta es un orden parcial en N, perono es un orden total.

Demostración.Veamos que | cumple las tres propiedades requeridas:

| es refleja pues para cada n ∈ N se tiene que n = 1 · n.

Si a | b y b | a, entonces existen k , j ∈ N tal que b = ka y a = jb.Con esto, b = kjb, o equivalentemente b(1 − kj) = 0. De modo análogo, obtenemosque a = jka, y con ello a(1 − jk) = 0. Entonces

a(1 − kj) = b(1 − kj)

Si kj 6= 1, entonces podemos dividir por (1 − kj) y concluir que a = b.

Si kj = 1, como ambos son elementos de N, tenemos que forzosamente k = j = 1 (sepuede demostrar por contradicción, queda como ejercicio para el lector). Así,a = jb = 1 · b = b.En cualquier caso a = b, con lo que | resulta ser antisimétrica.

Supongamos que a | b y que b | c. Entonces, existen k , j ∈ N tales que b = ka yc = jb. Así, c = (j · k)a, por lo que a | c, y | resulta ser transitiva también.

Concluimos que | es un orden parcial. Finalmente, vemos que | no es orden total pues, porejemplo, 2 y 3 no son comparables: 2 ∤ 3 y 3 ∤ 2.

Relaciones

Page 33: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[33/14]

Relaciones de un conjunto en sí mismo: Relaciones de orden

Ejemplo: divisibilidadRecordando la relación de divisibilidad | que ya definimos, tenemos que ésta es un orden parcial en N, perono es un orden total.

Demostración.Veamos que | cumple las tres propiedades requeridas:

| es refleja pues para cada n ∈ N se tiene que n = 1 · n.

Si a | b y b | a, entonces existen k , j ∈ N tal que b = ka y a = jb.Con esto, b = kjb, o equivalentemente b(1 − kj) = 0. De modo análogo, obtenemosque a = jka, y con ello a(1 − jk) = 0. Entonces

a(1 − kj) = b(1 − kj)

Si kj 6= 1, entonces podemos dividir por (1 − kj) y concluir que a = b.

Si kj = 1, como ambos son elementos de N, tenemos que forzosamente k = j = 1 (sepuede demostrar por contradicción, queda como ejercicio para el lector). Así,a = jb = 1 · b = b.En cualquier caso a = b, con lo que | resulta ser antisimétrica.

Supongamos que a | b y que b | c. Entonces, existen k , j ∈ N tales que b = ka yc = jb. Así, c = (j · k)a, por lo que a | c, y | resulta ser transitiva también.

Concluimos que | es un orden parcial. Finalmente, vemos que | no es orden total pues, porejemplo, 2 y 3 no son comparables: 2 ∤ 3 y 3 ∤ 2.

Relaciones

Page 34: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[34/14]

Relaciones de un conjunto en sí mismo: Relaciones de orden

Ejemplo: divisibilidadRecordando la relación de divisibilidad | que ya definimos, tenemos que ésta es un orden parcial en N, perono es un orden total.

Demostración.Veamos que | cumple las tres propiedades requeridas:

| es refleja pues para cada n ∈ N se tiene que n = 1 · n.

Si a | b y b | a, entonces existen k , j ∈ N tal que b = ka y a = jb.Con esto, b = kjb, o equivalentemente b(1 − kj) = 0. De modo análogo, obtenemosque a = jka, y con ello a(1 − jk) = 0. Entonces

a(1 − kj) = b(1 − kj)

Si kj 6= 1, entonces podemos dividir por (1 − kj) y concluir que a = b.

Si kj = 1, como ambos son elementos de N, tenemos que forzosamente k = j = 1 (sepuede demostrar por contradicción, queda como ejercicio para el lector). Así,a = jb = 1 · b = b.En cualquier caso a = b, con lo que | resulta ser antisimétrica.

Supongamos que a | b y que b | c. Entonces, existen k , j ∈ N tales que b = ka yc = jb. Así, c = (j · k)a, por lo que a | c, y | resulta ser transitiva también.

Concluimos que | es un orden parcial. Finalmente, vemos que | no es orden total pues, porejemplo, 2 y 3 no son comparables: 2 ∤ 3 y 3 ∤ 2.

Relaciones

Page 35: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[35/14]

Relaciones de un conjunto en sí mismo: Relaciones de orden

Ejemplo: divisibilidadRecordando la relación de divisibilidad | que ya definimos, tenemos que ésta es un orden parcial en N, perono es un orden total.

Demostración.Veamos que | cumple las tres propiedades requeridas:

| es refleja pues para cada n ∈ N se tiene que n = 1 · n.

Si a | b y b | a, entonces existen k , j ∈ N tal que b = ka y a = jb.Con esto, b = kjb, o equivalentemente b(1 − kj) = 0. De modo análogo, obtenemosque a = jka, y con ello a(1 − jk) = 0. Entonces

a(1 − kj) = b(1 − kj)

Si kj 6= 1, entonces podemos dividir por (1 − kj) y concluir que a = b.

Si kj = 1, como ambos son elementos de N, tenemos que forzosamente k = j = 1 (sepuede demostrar por contradicción, queda como ejercicio para el lector). Así,a = jb = 1 · b = b.En cualquier caso a = b, con lo que | resulta ser antisimétrica.

Supongamos que a | b y que b | c. Entonces, existen k , j ∈ N tales que b = ka yc = jb. Así, c = (j · k)a, por lo que a | c, y | resulta ser transitiva también.

Concluimos que | es un orden parcial. Finalmente, vemos que | no es orden total pues, porejemplo, 2 y 3 no son comparables: 2 ∤ 3 y 3 ∤ 2.

Relaciones

Page 36: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[36/14]

Relaciones de un conjunto en sí mismo: Relaciones de orden

Ejemplo: divisibilidadRecordando la relación de divisibilidad | que ya definimos, tenemos que ésta es un orden parcial en N, perono es un orden total.

Demostración.Veamos que | cumple las tres propiedades requeridas:

| es refleja pues para cada n ∈ N se tiene que n = 1 · n.

Si a | b y b | a, entonces existen k , j ∈ N tal que b = ka y a = jb.Con esto, b = kjb, o equivalentemente b(1 − kj) = 0. De modo análogo, obtenemosque a = jka, y con ello a(1 − jk) = 0. Entonces

a(1 − kj) = b(1 − kj)

Si kj 6= 1, entonces podemos dividir por (1 − kj) y concluir que a = b.

Si kj = 1, como ambos son elementos de N, tenemos que forzosamente k = j = 1 (sepuede demostrar por contradicción, queda como ejercicio para el lector). Así,a = jb = 1 · b = b.En cualquier caso a = b, con lo que | resulta ser antisimétrica.

Supongamos que a | b y que b | c. Entonces, existen k , j ∈ N tales que b = ka yc = jb. Así, c = (j · k)a, por lo que a | c, y | resulta ser transitiva también.

Concluimos que | es un orden parcial. Finalmente, vemos que | no es orden total pues, porejemplo, 2 y 3 no son comparables: 2 ∤ 3 y 3 ∤ 2.

Relaciones

Page 37: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[37/14]

Relaciones de un conjunto en sí mismo: Relaciones de orden

Ejemplo: divisibilidadRecordando la relación de divisibilidad | que ya definimos, tenemos que ésta es un orden parcial en N, perono es un orden total.

Demostración.Veamos que | cumple las tres propiedades requeridas:

| es refleja pues para cada n ∈ N se tiene que n = 1 · n.

Si a | b y b | a, entonces existen k , j ∈ N tal que b = ka y a = jb.Con esto, b = kjb, o equivalentemente b(1 − kj) = 0. De modo análogo, obtenemosque a = jka, y con ello a(1 − jk) = 0. Entonces

a(1 − kj) = b(1 − kj)

Si kj 6= 1, entonces podemos dividir por (1 − kj) y concluir que a = b.

Si kj = 1, como ambos son elementos de N, tenemos que forzosamente k = j = 1 (sepuede demostrar por contradicción, queda como ejercicio para el lector). Así,a = jb = 1 · b = b.En cualquier caso a = b, con lo que | resulta ser antisimétrica.

Supongamos que a | b y que b | c. Entonces, existen k , j ∈ N tales que b = ka yc = jb. Así, c = (j · k)a, por lo que a | c, y | resulta ser transitiva también.

Concluimos que | es un orden parcial. Finalmente, vemos que | no es orden total pues, porejemplo, 2 y 3 no son comparables: 2 ∤ 3 y 3 ∤ 2.

Relaciones

Page 38: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[38/14]

Relaciones de un conjunto en sí mismo: Relaciones de orden

Ejemplo: divisibilidadRecordando la relación de divisibilidad | que ya definimos, tenemos que ésta es un orden parcial en N, perono es un orden total.

Demostración.Veamos que | cumple las tres propiedades requeridas:

| es refleja pues para cada n ∈ N se tiene que n = 1 · n.

Si a | b y b | a, entonces existen k , j ∈ N tal que b = ka y a = jb.Con esto, b = kjb, o equivalentemente b(1 − kj) = 0. De modo análogo, obtenemosque a = jka, y con ello a(1 − jk) = 0. Entonces

a(1 − kj) = b(1 − kj)

Si kj 6= 1, entonces podemos dividir por (1 − kj) y concluir que a = b.

Si kj = 1, como ambos son elementos de N, tenemos que forzosamente k = j = 1 (sepuede demostrar por contradicción, queda como ejercicio para el lector). Así,a = jb = 1 · b = b.En cualquier caso a = b, con lo que | resulta ser antisimétrica.

Supongamos que a | b y que b | c. Entonces, existen k , j ∈ N tales que b = ka yc = jb. Así, c = (j · k)a, por lo que a | c, y | resulta ser transitiva también.

Concluimos que | es un orden parcial. Finalmente, vemos que | no es orden total pues, porejemplo, 2 y 3 no son comparables: 2 ∤ 3 y 3 ∤ 2.

Relaciones

Page 39: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[39/14]

Relaciones de un conjunto en sí mismo: Relaciones de orden

Ejemplo: divisibilidadRecordando la relación de divisibilidad | que ya definimos, tenemos que ésta es un orden parcial en N, perono es un orden total.

Demostración.Veamos que | cumple las tres propiedades requeridas:

| es refleja pues para cada n ∈ N se tiene que n = 1 · n.

Si a | b y b | a, entonces existen k , j ∈ N tal que b = ka y a = jb.Con esto, b = kjb, o equivalentemente b(1 − kj) = 0. De modo análogo, obtenemosque a = jka, y con ello a(1 − jk) = 0. Entonces

a(1 − kj) = b(1 − kj)

Si kj 6= 1, entonces podemos dividir por (1 − kj) y concluir que a = b.

Si kj = 1, como ambos son elementos de N, tenemos que forzosamente k = j = 1 (sepuede demostrar por contradicción, queda como ejercicio para el lector). Así,a = jb = 1 · b = b.En cualquier caso a = b, con lo que | resulta ser antisimétrica.

Supongamos que a | b y que b | c. Entonces, existen k , j ∈ N tales que b = ka yc = jb. Así, c = (j · k)a, por lo que a | c, y | resulta ser transitiva también.

Concluimos que | es un orden parcial. Finalmente, vemos que | no es orden total pues, porejemplo, 2 y 3 no son comparables: 2 ∤ 3 y 3 ∤ 2.

Relaciones

Page 40: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[40/14]

Relaciones de un conjunto en sí mismo: Relaciones de orden

Ejemplo: divisibilidadRecordando la relación de divisibilidad | que ya definimos, tenemos que ésta es un orden parcial en N, perono es un orden total.

Demostración.Veamos que | cumple las tres propiedades requeridas:

| es refleja pues para cada n ∈ N se tiene que n = 1 · n.

Si a | b y b | a, entonces existen k , j ∈ N tal que b = ka y a = jb.Con esto, b = kjb, o equivalentemente b(1 − kj) = 0. De modo análogo, obtenemosque a = jka, y con ello a(1 − jk) = 0. Entonces

a(1 − kj) = b(1 − kj)

Si kj 6= 1, entonces podemos dividir por (1 − kj) y concluir que a = b.

Si kj = 1, como ambos son elementos de N, tenemos que forzosamente k = j = 1 (sepuede demostrar por contradicción, queda como ejercicio para el lector). Así,a = jb = 1 · b = b.En cualquier caso a = b, con lo que | resulta ser antisimétrica.

Supongamos que a | b y que b | c. Entonces, existen k , j ∈ N tales que b = ka yc = jb. Así, c = (j · k)a, por lo que a | c, y | resulta ser transitiva también.

Concluimos que | es un orden parcial. Finalmente, vemos que | no es orden total pues, porejemplo, 2 y 3 no son comparables: 2 ∤ 3 y 3 ∤ 2.

Relaciones

Page 41: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[41/14]

Relaciones de un conjunto en sí mismo: Relaciones de orden

Ejemplo: divisibilidadRecordando la relación de divisibilidad | que ya definimos, tenemos que ésta es un orden parcial en N, perono es un orden total.

Demostración.Veamos que | cumple las tres propiedades requeridas:

| es refleja pues para cada n ∈ N se tiene que n = 1 · n.

Si a | b y b | a, entonces existen k , j ∈ N tal que b = ka y a = jb.Con esto, b = kjb, o equivalentemente b(1 − kj) = 0. De modo análogo, obtenemosque a = jka, y con ello a(1 − jk) = 0. Entonces

a(1 − kj) = b(1 − kj)

Si kj 6= 1, entonces podemos dividir por (1 − kj) y concluir que a = b.

Si kj = 1, como ambos son elementos de N, tenemos que forzosamente k = j = 1 (sepuede demostrar por contradicción, queda como ejercicio para el lector). Así,a = jb = 1 · b = b.En cualquier caso a = b, con lo que | resulta ser antisimétrica.

Supongamos que a | b y que b | c. Entonces, existen k , j ∈ N tales que b = ka yc = jb. Así, c = (j · k)a, por lo que a | c, y | resulta ser transitiva también.

Concluimos que | es un orden parcial. Finalmente, vemos que | no es orden total pues, porejemplo, 2 y 3 no son comparables: 2 ∤ 3 y 3 ∤ 2.

Relaciones

Page 42: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[42/14]

Relaciones de un conjunto en sí mismo: Relaciones de equivalencia

Relación de equivalenciaUna relación R en el conjunto A se llamará relación de equivalencia si es

Refleja.

Simétrica.

Transitiva.

Una relación de equivalencia en el fondo define un criterio de semejanza entre los elementos de A.

Por esto, consideraremos a continuación los subconjuntos formados por elementos “equivalentes” para larelación.

Clase de equivalenciaDado un elemento a ∈ A, definimos la clase de equivalencia de a asociada a R como el conjunto

{x ∈ A : a R x}

el cual denotaremos por [a]R.

Relaciones

Page 43: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[43/14]

Relaciones de un conjunto en sí mismo: Relaciones de equivalencia

Relación de equivalenciaUna relación R en el conjunto A se llamará relación de equivalencia si es

Refleja.

Simétrica.

Transitiva.

Una relación de equivalencia en el fondo define un criterio de semejanza entre los elementos de A.

Por esto, consideraremos a continuación los subconjuntos formados por elementos “equivalentes” para larelación.

Clase de equivalenciaDado un elemento a ∈ A, definimos la clase de equivalencia de a asociada a R como el conjunto

{x ∈ A : a R x}

el cual denotaremos por [a]R.

Relaciones

Page 44: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[44/14]

Relaciones de un conjunto en sí mismo: Relaciones de equivalencia

Relación de equivalenciaUna relación R en el conjunto A se llamará relación de equivalencia si es

Refleja.

Simétrica.

Transitiva.

Una relación de equivalencia en el fondo define un criterio de semejanza entre los elementos de A.

Por esto, consideraremos a continuación los subconjuntos formados por elementos “equivalentes” para larelación.

Clase de equivalenciaDado un elemento a ∈ A, definimos la clase de equivalencia de a asociada a R como el conjunto

{x ∈ A : a R x}

el cual denotaremos por [a]R.

Relaciones

Page 45: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[45/14]

Relaciones de un conjunto en sí mismo: Relaciones de equivalencia

Relación de equivalenciaUna relación R en el conjunto A se llamará relación de equivalencia si es

Refleja.

Simétrica.

Transitiva.

Una relación de equivalencia en el fondo define un criterio de semejanza entre los elementos de A.

Por esto, consideraremos a continuación los subconjuntos formados por elementos “equivalentes” para larelación.

Clase de equivalenciaDado un elemento a ∈ A, definimos la clase de equivalencia de a asociada a R como el conjunto

{x ∈ A : a R x}

el cual denotaremos por [a]R.

Relaciones

Page 46: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[46/14]

Relaciones de un conjunto en sí mismo: Relaciones de equivalencia

Relación de equivalenciaUna relación R en el conjunto A se llamará relación de equivalencia si es

Refleja.

Simétrica.

Transitiva.

Una relación de equivalencia en el fondo define un criterio de semejanza entre los elementos de A.

Por esto, consideraremos a continuación los subconjuntos formados por elementos “equivalentes” para larelación.

Clase de equivalenciaDado un elemento a ∈ A, definimos la clase de equivalencia de a asociada a R como el conjunto

{x ∈ A : a R x}

el cual denotaremos por [a]R.

Relaciones

Page 47: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[47/14]

Relaciones de un conjunto en sí mismo: Relaciones de equivalencia

EjemplosUn ejemplo sencillo de relación de equivalencia es la igualdad entre números reales.

Otro ejemplo lo podemos tomar del diccionario español: sea Σ el conjunto de todas las palabras deldiccionario español.

Para v , w ∈ Σ definimos la relación ≈ como

v ≈ w ⇐⇒ v y w comienzan con la misma letra.

Es fácil ver que ≈ es una relación de equivalencia en Σ.

Calculemos en este caso la clase de equivalencia de algunas palabras: la clase [hola]≈ es el conjunto detodas las palabras en Σ que comienzan con h, mientras que [casa]≈ es el conjunto de todas las palabrasque comienzan con c.

En este ejemplo, notemos que podemos escribir

Σ = [ahora]≈ ∪ [bote]≈ ∪ [casa]≈ ∪ . . . ∪ [zorro]≈

Además, se tiene que [tapa]≈ ∩ [velero]≈ = ∅, y que [manzana]≈ = [menos]≈.

Veremos que estas últimas propiedades se generalizan a cualquier relación de equivalencia.

Relaciones

Page 48: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[48/14]

Relaciones de un conjunto en sí mismo: Relaciones de equivalencia

EjemplosUn ejemplo sencillo de relación de equivalencia es la igualdad entre números reales.

Otro ejemplo lo podemos tomar del diccionario español: sea Σ el conjunto de todas las palabras deldiccionario español.

Para v , w ∈ Σ definimos la relación ≈ como

v ≈ w ⇐⇒ v y w comienzan con la misma letra.

Es fácil ver que ≈ es una relación de equivalencia en Σ.

Calculemos en este caso la clase de equivalencia de algunas palabras: la clase [hola]≈ es el conjunto detodas las palabras en Σ que comienzan con h, mientras que [casa]≈ es el conjunto de todas las palabrasque comienzan con c.

En este ejemplo, notemos que podemos escribir

Σ = [ahora]≈ ∪ [bote]≈ ∪ [casa]≈ ∪ . . . ∪ [zorro]≈

Además, se tiene que [tapa]≈ ∩ [velero]≈ = ∅, y que [manzana]≈ = [menos]≈.

Veremos que estas últimas propiedades se generalizan a cualquier relación de equivalencia.

Relaciones

Page 49: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[49/14]

Relaciones de un conjunto en sí mismo: Relaciones de equivalencia

EjemplosUn ejemplo sencillo de relación de equivalencia es la igualdad entre números reales.

Otro ejemplo lo podemos tomar del diccionario español: sea Σ el conjunto de todas las palabras deldiccionario español.

Para v , w ∈ Σ definimos la relación ≈ como

v ≈ w ⇐⇒ v y w comienzan con la misma letra.

Es fácil ver que ≈ es una relación de equivalencia en Σ.

Calculemos en este caso la clase de equivalencia de algunas palabras: la clase [hola]≈ es el conjunto detodas las palabras en Σ que comienzan con h, mientras que [casa]≈ es el conjunto de todas las palabrasque comienzan con c.

En este ejemplo, notemos que podemos escribir

Σ = [ahora]≈ ∪ [bote]≈ ∪ [casa]≈ ∪ . . . ∪ [zorro]≈

Además, se tiene que [tapa]≈ ∩ [velero]≈ = ∅, y que [manzana]≈ = [menos]≈.

Veremos que estas últimas propiedades se generalizan a cualquier relación de equivalencia.

Relaciones

Page 50: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[50/14]

Relaciones de un conjunto en sí mismo: Relaciones de equivalencia

EjemplosUn ejemplo sencillo de relación de equivalencia es la igualdad entre números reales.

Otro ejemplo lo podemos tomar del diccionario español: sea Σ el conjunto de todas las palabras deldiccionario español.

Para v , w ∈ Σ definimos la relación ≈ como

v ≈ w ⇐⇒ v y w comienzan con la misma letra.

Es fácil ver que ≈ es una relación de equivalencia en Σ.

Calculemos en este caso la clase de equivalencia de algunas palabras: la clase [hola]≈ es el conjunto detodas las palabras en Σ que comienzan con h, mientras que [casa]≈ es el conjunto de todas las palabrasque comienzan con c.

En este ejemplo, notemos que podemos escribir

Σ = [ahora]≈ ∪ [bote]≈ ∪ [casa]≈ ∪ . . . ∪ [zorro]≈

Además, se tiene que [tapa]≈ ∩ [velero]≈ = ∅, y que [manzana]≈ = [menos]≈.

Veremos que estas últimas propiedades se generalizan a cualquier relación de equivalencia.

Relaciones

Page 51: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[51/14]

Relaciones de un conjunto en sí mismo: Relaciones de equivalencia

EjemplosUn ejemplo sencillo de relación de equivalencia es la igualdad entre números reales.

Otro ejemplo lo podemos tomar del diccionario español: sea Σ el conjunto de todas las palabras deldiccionario español.

Para v , w ∈ Σ definimos la relación ≈ como

v ≈ w ⇐⇒ v y w comienzan con la misma letra.

Es fácil ver que ≈ es una relación de equivalencia en Σ.

Calculemos en este caso la clase de equivalencia de algunas palabras: la clase [hola]≈ es el conjunto detodas las palabras en Σ que comienzan con h, mientras que [casa]≈ es el conjunto de todas las palabrasque comienzan con c.

En este ejemplo, notemos que podemos escribir

Σ = [ahora]≈ ∪ [bote]≈ ∪ [casa]≈ ∪ . . . ∪ [zorro]≈

Además, se tiene que [tapa]≈ ∩ [velero]≈ = ∅, y que [manzana]≈ = [menos]≈.

Veremos que estas últimas propiedades se generalizan a cualquier relación de equivalencia.

Relaciones

Page 52: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[52/14]

Relaciones de un conjunto en sí mismo: Relaciones de equivalencia

EjemplosUn ejemplo sencillo de relación de equivalencia es la igualdad entre números reales.

Otro ejemplo lo podemos tomar del diccionario español: sea Σ el conjunto de todas las palabras deldiccionario español.

Para v , w ∈ Σ definimos la relación ≈ como

v ≈ w ⇐⇒ v y w comienzan con la misma letra.

Es fácil ver que ≈ es una relación de equivalencia en Σ.

Calculemos en este caso la clase de equivalencia de algunas palabras: la clase [hola]≈ es el conjunto detodas las palabras en Σ que comienzan con h, mientras que [casa]≈ es el conjunto de todas las palabrasque comienzan con c.

En este ejemplo, notemos que podemos escribir

Σ = [ahora]≈ ∪ [bote]≈ ∪ [casa]≈ ∪ . . . ∪ [zorro]≈

Además, se tiene que [tapa]≈ ∩ [velero]≈ = ∅, y que [manzana]≈ = [menos]≈.

Veremos que estas últimas propiedades se generalizan a cualquier relación de equivalencia.

Relaciones

Page 53: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[53/14]

Relaciones de un conjunto en sí mismo: Relaciones de equivalencia

EjemplosUn ejemplo sencillo de relación de equivalencia es la igualdad entre números reales.

Otro ejemplo lo podemos tomar del diccionario español: sea Σ el conjunto de todas las palabras deldiccionario español.

Para v , w ∈ Σ definimos la relación ≈ como

v ≈ w ⇐⇒ v y w comienzan con la misma letra.

Es fácil ver que ≈ es una relación de equivalencia en Σ.

Calculemos en este caso la clase de equivalencia de algunas palabras: la clase [hola]≈ es el conjunto detodas las palabras en Σ que comienzan con h, mientras que [casa]≈ es el conjunto de todas las palabrasque comienzan con c.

En este ejemplo, notemos que podemos escribir

Σ = [ahora]≈ ∪ [bote]≈ ∪ [casa]≈ ∪ . . . ∪ [zorro]≈

Además, se tiene que [tapa]≈ ∩ [velero]≈ = ∅, y que [manzana]≈ = [menos]≈.

Veremos que estas últimas propiedades se generalizan a cualquier relación de equivalencia.

Relaciones

Page 54: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[54/14]

Relaciones de un conjunto en sí mismo: Relaciones de equivalencia: Clases de equivalencia

PropiedadesSean x , y ∈ A y R una relación de equivalencia definida en A.

1 [x ]R 6= ∅

2 x R y ⇐⇒ [x ]R = [y ]R

3 x /R y ⇐⇒ [x ]R ∩ [y ]R = ∅

4 Como consecuencia de las anteriores, [x ]R 6= [y ]R ⇐⇒ [x ]R ∩ [y ]R = ∅

Demostración.Demostraremos (2) y (3).Para (2):⇒) Sea a un elemento.

a ∈ [x ]R

⇐⇒ a R x (def. de clase de equivalencia)

⇐⇒ a R y (puesx R y)

⇐⇒ a ∈ [y ]R (def. de clase de equivalencia)

⇐) Notemos que x ∈ [x ]R. Como [x ]R = [y ]R, concluimos que x ∈ [y ]R. Por definición de clase de equivalencia,obtenemos que x R y .Para (3):⇒) Por contrarrecíproca. Como [x ]R ∩ [y ]R 6= ∅, tenemos que existe a ∈ [x ]R ∩ [y ]R.Como a ∈ [x ]R, tenemos que a R x . Análogamente, tenemos que a R y . Como R es una relación de equivalencia, enparticular es transitiva, y entonces x R y .⇐) Por contrarrecíproca también. Si x R y , tenemos que x ∈ [y ]R. Como trivialmente x ∈ [x ]R, entonces

x ∈ [x ]R ∩ [y ]R

por lo que [x ]R ∩ [y ]R 6= ∅.

Relaciones

Page 55: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[55/14]

Relaciones de un conjunto en sí mismo: Relaciones de equivalencia: Clases de equivalencia

PropiedadesSean x , y ∈ A y R una relación de equivalencia definida en A.

1 [x ]R 6= ∅

2 x R y ⇐⇒ [x ]R = [y ]R

3 x /R y ⇐⇒ [x ]R ∩ [y ]R = ∅

4 Como consecuencia de las anteriores, [x ]R 6= [y ]R ⇐⇒ [x ]R ∩ [y ]R = ∅

Demostración.Demostraremos (2) y (3).Para (2):⇒) Sea a un elemento.

a ∈ [x ]R

⇐⇒ a R x (def. de clase de equivalencia)

⇐⇒ a R y (puesx R y)

⇐⇒ a ∈ [y ]R (def. de clase de equivalencia)

⇐) Notemos que x ∈ [x ]R. Como [x ]R = [y ]R, concluimos que x ∈ [y ]R. Por definición de clase de equivalencia,obtenemos que x R y .Para (3):⇒) Por contrarrecíproca. Como [x ]R ∩ [y ]R 6= ∅, tenemos que existe a ∈ [x ]R ∩ [y ]R.Como a ∈ [x ]R, tenemos que a R x . Análogamente, tenemos que a R y . Como R es una relación de equivalencia, enparticular es transitiva, y entonces x R y .⇐) Por contrarrecíproca también. Si x R y , tenemos que x ∈ [y ]R. Como trivialmente x ∈ [x ]R, entonces

x ∈ [x ]R ∩ [y ]R

por lo que [x ]R ∩ [y ]R 6= ∅.

Relaciones

Page 56: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[56/14]

Relaciones de un conjunto en sí mismo: Relaciones de equivalencia: Clases de equivalencia

PropiedadesSean x , y ∈ A y R una relación de equivalencia definida en A.

1 [x ]R 6= ∅

2 x R y ⇐⇒ [x ]R = [y ]R

3 x /R y ⇐⇒ [x ]R ∩ [y ]R = ∅

4 Como consecuencia de las anteriores, [x ]R 6= [y ]R ⇐⇒ [x ]R ∩ [y ]R = ∅

Demostración.Demostraremos (2) y (3).Para (2):⇒) Sea a un elemento.

a ∈ [x ]R

⇐⇒ a R x (def. de clase de equivalencia)

⇐⇒ a R y (puesx R y)

⇐⇒ a ∈ [y ]R (def. de clase de equivalencia)

⇐) Notemos que x ∈ [x ]R. Como [x ]R = [y ]R, concluimos que x ∈ [y ]R. Por definición de clase de equivalencia,obtenemos que x R y .Para (3):⇒) Por contrarrecíproca. Como [x ]R ∩ [y ]R 6= ∅, tenemos que existe a ∈ [x ]R ∩ [y ]R.Como a ∈ [x ]R, tenemos que a R x . Análogamente, tenemos que a R y . Como R es una relación de equivalencia, enparticular es transitiva, y entonces x R y .⇐) Por contrarrecíproca también. Si x R y , tenemos que x ∈ [y ]R. Como trivialmente x ∈ [x ]R, entonces

x ∈ [x ]R ∩ [y ]R

por lo que [x ]R ∩ [y ]R 6= ∅.

Relaciones

Page 57: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[57/14]

Relaciones de un conjunto en sí mismo: Relaciones de equivalencia: Clases de equivalencia

PropiedadesSean x , y ∈ A y R una relación de equivalencia definida en A.

1 [x ]R 6= ∅

2 x R y ⇐⇒ [x ]R = [y ]R

3 x /R y ⇐⇒ [x ]R ∩ [y ]R = ∅

4 Como consecuencia de las anteriores, [x ]R 6= [y ]R ⇐⇒ [x ]R ∩ [y ]R = ∅

Demostración.Demostraremos (2) y (3).Para (2):⇒) Sea a un elemento.

a ∈ [x ]R

⇐⇒ a R x (def. de clase de equivalencia)

⇐⇒ a R y (puesx R y)

⇐⇒ a ∈ [y ]R (def. de clase de equivalencia)

⇐) Notemos que x ∈ [x ]R. Como [x ]R = [y ]R, concluimos que x ∈ [y ]R. Por definición de clase de equivalencia,obtenemos que x R y .Para (3):⇒) Por contrarrecíproca. Como [x ]R ∩ [y ]R 6= ∅, tenemos que existe a ∈ [x ]R ∩ [y ]R.Como a ∈ [x ]R, tenemos que a R x . Análogamente, tenemos que a R y . Como R es una relación de equivalencia, enparticular es transitiva, y entonces x R y .⇐) Por contrarrecíproca también. Si x R y , tenemos que x ∈ [y ]R. Como trivialmente x ∈ [x ]R, entonces

x ∈ [x ]R ∩ [y ]R

por lo que [x ]R ∩ [y ]R 6= ∅.

Relaciones

Page 58: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[58/14]

Relaciones de un conjunto en sí mismo: Relaciones de equivalencia: Clases de equivalencia

PropiedadesSean x , y ∈ A y R una relación de equivalencia definida en A.

1 [x ]R 6= ∅

2 x R y ⇐⇒ [x ]R = [y ]R

3 x /R y ⇐⇒ [x ]R ∩ [y ]R = ∅

4 Como consecuencia de las anteriores, [x ]R 6= [y ]R ⇐⇒ [x ]R ∩ [y ]R = ∅

Demostración.Demostraremos (2) y (3).Para (2):⇒) Sea a un elemento.

a ∈ [x ]R

⇐⇒ a R x (def. de clase de equivalencia)

⇐⇒ a R y (puesx R y)

⇐⇒ a ∈ [y ]R (def. de clase de equivalencia)

⇐) Notemos que x ∈ [x ]R. Como [x ]R = [y ]R, concluimos que x ∈ [y ]R. Por definición de clase de equivalencia,obtenemos que x R y .Para (3):⇒) Por contrarrecíproca. Como [x ]R ∩ [y ]R 6= ∅, tenemos que existe a ∈ [x ]R ∩ [y ]R.Como a ∈ [x ]R, tenemos que a R x . Análogamente, tenemos que a R y . Como R es una relación de equivalencia, enparticular es transitiva, y entonces x R y .⇐) Por contrarrecíproca también. Si x R y , tenemos que x ∈ [y ]R. Como trivialmente x ∈ [x ]R, entonces

x ∈ [x ]R ∩ [y ]R

por lo que [x ]R ∩ [y ]R 6= ∅.

Relaciones

Page 59: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[59/14]

Relaciones de un conjunto en sí mismo: Relaciones de equivalencia: Clases de equivalencia

PropiedadesSean x , y ∈ A y R una relación de equivalencia definida en A.

1 [x ]R 6= ∅

2 x R y ⇐⇒ [x ]R = [y ]R

3 x /R y ⇐⇒ [x ]R ∩ [y ]R = ∅

4 Como consecuencia de las anteriores, [x ]R 6= [y ]R ⇐⇒ [x ]R ∩ [y ]R = ∅

Demostración.Demostraremos (2) y (3).Para (2):⇒) Sea a un elemento.

a ∈ [x ]R

⇐⇒ a R x (def. de clase de equivalencia)

⇐⇒ a R y (puesx R y)

⇐⇒ a ∈ [y ]R (def. de clase de equivalencia)

⇐) Notemos que x ∈ [x ]R. Como [x ]R = [y ]R, concluimos que x ∈ [y ]R. Por definición de clase de equivalencia,obtenemos que x R y .Para (3):⇒) Por contrarrecíproca. Como [x ]R ∩ [y ]R 6= ∅, tenemos que existe a ∈ [x ]R ∩ [y ]R.Como a ∈ [x ]R, tenemos que a R x . Análogamente, tenemos que a R y . Como R es una relación de equivalencia, enparticular es transitiva, y entonces x R y .⇐) Por contrarrecíproca también. Si x R y , tenemos que x ∈ [y ]R. Como trivialmente x ∈ [x ]R, entonces

x ∈ [x ]R ∩ [y ]R

por lo que [x ]R ∩ [y ]R 6= ∅.

Relaciones

Page 60: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[60/14]

Relaciones de un conjunto en sí mismo: Relaciones de equivalencia: Clases de equivalencia

PropiedadesSean x , y ∈ A y R una relación de equivalencia definida en A.

1 [x ]R 6= ∅

2 x R y ⇐⇒ [x ]R = [y ]R

3 x /R y ⇐⇒ [x ]R ∩ [y ]R = ∅

4 Como consecuencia de las anteriores, [x ]R 6= [y ]R ⇐⇒ [x ]R ∩ [y ]R = ∅

Demostración.Demostraremos (2) y (3).Para (2):⇒) Sea a un elemento.

a ∈ [x ]R

⇐⇒ a R x (def. de clase de equivalencia)

⇐⇒ a R y (puesx R y)

⇐⇒ a ∈ [y ]R (def. de clase de equivalencia)

⇐) Notemos que x ∈ [x ]R. Como [x ]R = [y ]R, concluimos que x ∈ [y ]R. Por definición de clase de equivalencia,obtenemos que x R y .Para (3):⇒) Por contrarrecíproca. Como [x ]R ∩ [y ]R 6= ∅, tenemos que existe a ∈ [x ]R ∩ [y ]R.Como a ∈ [x ]R, tenemos que a R x . Análogamente, tenemos que a R y . Como R es una relación de equivalencia, enparticular es transitiva, y entonces x R y .⇐) Por contrarrecíproca también. Si x R y , tenemos que x ∈ [y ]R. Como trivialmente x ∈ [x ]R, entonces

x ∈ [x ]R ∩ [y ]R

por lo que [x ]R ∩ [y ]R 6= ∅.

Relaciones

Page 61: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[61/14]

Relaciones de un conjunto en sí mismo: Relaciones de equivalencia: Clases de equivalencia

PropiedadesSean x , y ∈ A y R una relación de equivalencia definida en A.

1 [x ]R 6= ∅

2 x R y ⇐⇒ [x ]R = [y ]R

3 x /R y ⇐⇒ [x ]R ∩ [y ]R = ∅

4 Como consecuencia de las anteriores, [x ]R 6= [y ]R ⇐⇒ [x ]R ∩ [y ]R = ∅

Demostración.Demostraremos (2) y (3).Para (2):⇒) Sea a un elemento.

a ∈ [x ]R

⇐⇒ a R x (def. de clase de equivalencia)

⇐⇒ a R y (puesx R y)

⇐⇒ a ∈ [y ]R (def. de clase de equivalencia)

⇐) Notemos que x ∈ [x ]R. Como [x ]R = [y ]R, concluimos que x ∈ [y ]R. Por definición de clase de equivalencia,obtenemos que x R y .Para (3):⇒) Por contrarrecíproca. Como [x ]R ∩ [y ]R 6= ∅, tenemos que existe a ∈ [x ]R ∩ [y ]R.Como a ∈ [x ]R, tenemos que a R x . Análogamente, tenemos que a R y . Como R es una relación de equivalencia, enparticular es transitiva, y entonces x R y .⇐) Por contrarrecíproca también. Si x R y , tenemos que x ∈ [y ]R. Como trivialmente x ∈ [x ]R, entonces

x ∈ [x ]R ∩ [y ]R

por lo que [x ]R ∩ [y ]R 6= ∅.

Relaciones

Page 62: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[62/14]

Relaciones de un conjunto en sí mismo: Relaciones de equivalencia: Clases de equivalencia

PropiedadesSean x , y ∈ A y R una relación de equivalencia definida en A.

1 [x ]R 6= ∅

2 x R y ⇐⇒ [x ]R = [y ]R

3 x /R y ⇐⇒ [x ]R ∩ [y ]R = ∅

4 Como consecuencia de las anteriores, [x ]R 6= [y ]R ⇐⇒ [x ]R ∩ [y ]R = ∅

Demostración.Demostraremos (2) y (3).Para (2):⇒) Sea a un elemento.

a ∈ [x ]R

⇐⇒ a R x (def. de clase de equivalencia)

⇐⇒ a R y (puesx R y)

⇐⇒ a ∈ [y ]R (def. de clase de equivalencia)

⇐) Notemos que x ∈ [x ]R. Como [x ]R = [y ]R, concluimos que x ∈ [y ]R. Por definición de clase de equivalencia,obtenemos que x R y .Para (3):⇒) Por contrarrecíproca. Como [x ]R ∩ [y ]R 6= ∅, tenemos que existe a ∈ [x ]R ∩ [y ]R.Como a ∈ [x ]R, tenemos que a R x . Análogamente, tenemos que a R y . Como R es una relación de equivalencia, enparticular es transitiva, y entonces x R y .⇐) Por contrarrecíproca también. Si x R y , tenemos que x ∈ [y ]R. Como trivialmente x ∈ [x ]R, entonces

x ∈ [x ]R ∩ [y ]R

por lo que [x ]R ∩ [y ]R 6= ∅.

Relaciones

Page 63: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[63/14]

Relaciones de un conjunto en sí mismo: Relaciones de equivalencia: Clases de equivalencia

PropiedadesSean x , y ∈ A y R una relación de equivalencia definida en A.

1 [x ]R 6= ∅

2 x R y ⇐⇒ [x ]R = [y ]R

3 x /R y ⇐⇒ [x ]R ∩ [y ]R = ∅

4 Como consecuencia de las anteriores, [x ]R 6= [y ]R ⇐⇒ [x ]R ∩ [y ]R = ∅

Demostración.Demostraremos (2) y (3).Para (2):⇒) Sea a un elemento.

a ∈ [x ]R

⇐⇒ a R x (def. de clase de equivalencia)

⇐⇒ a R y (puesx R y)

⇐⇒ a ∈ [y ]R (def. de clase de equivalencia)

⇐) Notemos que x ∈ [x ]R. Como [x ]R = [y ]R, concluimos que x ∈ [y ]R. Por definición de clase de equivalencia,obtenemos que x R y .Para (3):⇒) Por contrarrecíproca. Como [x ]R ∩ [y ]R 6= ∅, tenemos que existe a ∈ [x ]R ∩ [y ]R.Como a ∈ [x ]R, tenemos que a R x . Análogamente, tenemos que a R y . Como R es una relación de equivalencia, enparticular es transitiva, y entonces x R y .⇐) Por contrarrecíproca también. Si x R y , tenemos que x ∈ [y ]R. Como trivialmente x ∈ [x ]R, entonces

x ∈ [x ]R ∩ [y ]R

por lo que [x ]R ∩ [y ]R 6= ∅.

Relaciones

Page 64: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[64/14]

Relaciones de un conjunto en sí mismo: Relaciones de equivalencia: Clases de equivalencia

PropiedadesSean x , y ∈ A y R una relación de equivalencia definida en A.

1 [x ]R 6= ∅

2 x R y ⇐⇒ [x ]R = [y ]R

3 x /R y ⇐⇒ [x ]R ∩ [y ]R = ∅

4 Como consecuencia de las anteriores, [x ]R 6= [y ]R ⇐⇒ [x ]R ∩ [y ]R = ∅

Demostración.Demostraremos (2) y (3).Para (2):⇒) Sea a un elemento.

a ∈ [x ]R

⇐⇒ a R x (def. de clase de equivalencia)

⇐⇒ a R y (puesx R y)

⇐⇒ a ∈ [y ]R (def. de clase de equivalencia)

⇐) Notemos que x ∈ [x ]R. Como [x ]R = [y ]R, concluimos que x ∈ [y ]R. Por definición de clase de equivalencia,obtenemos que x R y .Para (3):⇒) Por contrarrecíproca. Como [x ]R ∩ [y ]R 6= ∅, tenemos que existe a ∈ [x ]R ∩ [y ]R.Como a ∈ [x ]R, tenemos que a R x . Análogamente, tenemos que a R y . Como R es una relación de equivalencia, enparticular es transitiva, y entonces x R y .⇐) Por contrarrecíproca también. Si x R y , tenemos que x ∈ [y ]R. Como trivialmente x ∈ [x ]R, entonces

x ∈ [x ]R ∩ [y ]R

por lo que [x ]R ∩ [y ]R 6= ∅.

Relaciones

Page 65: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[65/14]

Relaciones de un conjunto en sí mismo: Relaciones de equivalencia: Clases de equivalencia

PropiedadesSean x , y ∈ A y R una relación de equivalencia definida en A.

1 [x ]R 6= ∅

2 x R y ⇐⇒ [x ]R = [y ]R

3 x /R y ⇐⇒ [x ]R ∩ [y ]R = ∅

4 Como consecuencia de las anteriores, [x ]R 6= [y ]R ⇐⇒ [x ]R ∩ [y ]R = ∅

Demostración.Demostraremos (2) y (3).Para (2):⇒) Sea a un elemento.

a ∈ [x ]R

⇐⇒ a R x (def. de clase de equivalencia)

⇐⇒ a R y (puesx R y)

⇐⇒ a ∈ [y ]R (def. de clase de equivalencia)

⇐) Notemos que x ∈ [x ]R. Como [x ]R = [y ]R, concluimos que x ∈ [y ]R. Por definición de clase de equivalencia,obtenemos que x R y .Para (3):⇒) Por contrarrecíproca. Como [x ]R ∩ [y ]R 6= ∅, tenemos que existe a ∈ [x ]R ∩ [y ]R.Como a ∈ [x ]R, tenemos que a R x . Análogamente, tenemos que a R y . Como R es una relación de equivalencia, enparticular es transitiva, y entonces x R y .⇐) Por contrarrecíproca también. Si x R y , tenemos que x ∈ [y ]R. Como trivialmente x ∈ [x ]R, entonces

x ∈ [x ]R ∩ [y ]R

por lo que [x ]R ∩ [y ]R 6= ∅.

Relaciones

Page 66: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[66/14]

Relaciones de un conjunto en sí mismo: Relaciones de equivalencia: Clases de equivalencia

PropiedadesSean x , y ∈ A y R una relación de equivalencia definida en A.

1 [x ]R 6= ∅

2 x R y ⇐⇒ [x ]R = [y ]R

3 x /R y ⇐⇒ [x ]R ∩ [y ]R = ∅

4 Como consecuencia de las anteriores, [x ]R 6= [y ]R ⇐⇒ [x ]R ∩ [y ]R = ∅

Demostración.Demostraremos (2) y (3).Para (2):⇒) Sea a un elemento.

a ∈ [x ]R

⇐⇒ a R x (def. de clase de equivalencia)

⇐⇒ a R y (puesx R y)

⇐⇒ a ∈ [y ]R (def. de clase de equivalencia)

⇐) Notemos que x ∈ [x ]R. Como [x ]R = [y ]R, concluimos que x ∈ [y ]R. Por definición de clase de equivalencia,obtenemos que x R y .Para (3):⇒) Por contrarrecíproca. Como [x ]R ∩ [y ]R 6= ∅, tenemos que existe a ∈ [x ]R ∩ [y ]R.Como a ∈ [x ]R, tenemos que a R x . Análogamente, tenemos que a R y . Como R es una relación de equivalencia, enparticular es transitiva, y entonces x R y .⇐) Por contrarrecíproca también. Si x R y , tenemos que x ∈ [y ]R. Como trivialmente x ∈ [x ]R, entonces

x ∈ [x ]R ∩ [y ]R

por lo que [x ]R ∩ [y ]R 6= ∅.

Relaciones

Page 67: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[67/14]

Relaciones de un conjunto en sí mismo: Relaciones de equivalencia: Conjunto cuociente

Conjunto cuocienteAl conjunto de todas las clases de equivalencia inducidas sobre A por una relación de equivalencia R se lellama conjunto cuociente, y se denota A/R. Éste es un conjunto cuyos elementos son clases de equivalencia,es decir:

C ∈ A/R ⇐⇒ (∃x ∈ A) C = [x ]R

Vimos que el conjunto de palabras Σ antes definido podía escribirse como unión de ciertas clases deequivalencia. Éstas eran conjuntos disjuntos entre sí, pues cada uno de ellos contenía a todas las palabrasque comenzaban con una letra específica.

Esta noción que dice que un conjunto puede ser escrito como unión de otros conjuntos, todos ellos disjuntos,es la de partición.

Relaciones

Page 68: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[68/14]

Relaciones de un conjunto en sí mismo: Relaciones de equivalencia: Conjunto cuociente

Conjunto cuocienteAl conjunto de todas las clases de equivalencia inducidas sobre A por una relación de equivalencia R se lellama conjunto cuociente, y se denota A/R. Éste es un conjunto cuyos elementos son clases de equivalencia,es decir:

C ∈ A/R ⇐⇒ (∃x ∈ A) C = [x ]R

Vimos que el conjunto de palabras Σ antes definido podía escribirse como unión de ciertas clases deequivalencia. Éstas eran conjuntos disjuntos entre sí, pues cada uno de ellos contenía a todas las palabrasque comenzaban con una letra específica.

Esta noción que dice que un conjunto puede ser escrito como unión de otros conjuntos, todos ellos disjuntos,es la de partición.

Relaciones

Page 69: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[69/14]

Relaciones de un conjunto en sí mismo: Relaciones de equivalencia: Conjunto cuociente

Conjunto cuocienteAl conjunto de todas las clases de equivalencia inducidas sobre A por una relación de equivalencia R se lellama conjunto cuociente, y se denota A/R. Éste es un conjunto cuyos elementos son clases de equivalencia,es decir:

C ∈ A/R ⇐⇒ (∃x ∈ A) C = [x ]R

Vimos que el conjunto de palabras Σ antes definido podía escribirse como unión de ciertas clases deequivalencia. Éstas eran conjuntos disjuntos entre sí, pues cada uno de ellos contenía a todas las palabrasque comenzaban con una letra específica.

Esta noción que dice que un conjunto puede ser escrito como unión de otros conjuntos, todos ellos disjuntos,es la de partición.

Relaciones

Page 70: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[70/14]

Relaciones de un conjunto en sí mismo: Relaciones de equivalencia: Conjunto cuociente

ParticiónSea A un conjunto no vacío. Una colección de conjuntos {P1, . . . , Pn} ⊆ P(A) se llamará partición de A sicumple:

(∀i ∈ {1, . . . , n}) Pi 6= ∅

(∀i , j ∈ {1, . . . , n}) i 6= j ⇒ Pi ∩ Pj = ∅

A = P1 ∪ P2 ∪ P3 ∪ . . . ∪ Pn

Consideremos un conjunto no vacío A. Entonces toda relación de equivalencia R definida sobre A induce enél una partición, la cual está formada por todas las clases de equivalencia de los elementos de A.

También, toda partición {P1, . . . , Pn} de A induce en él una relación de equivalencia R, la cual está dada por

a R b ⇐⇒ (∃i ∈ {1, . . . , n}) a ∈ Pi ∧ b ∈ Pi .

Relaciones

Page 71: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[71/14]

Relaciones de un conjunto en sí mismo: Relaciones de equivalencia: Conjunto cuociente

ParticiónSea A un conjunto no vacío. Una colección de conjuntos {P1, . . . , Pn} ⊆ P(A) se llamará partición de A sicumple:

(∀i ∈ {1, . . . , n}) Pi 6= ∅

(∀i , j ∈ {1, . . . , n}) i 6= j ⇒ Pi ∩ Pj = ∅

A = P1 ∪ P2 ∪ P3 ∪ . . . ∪ Pn

Consideremos un conjunto no vacío A. Entonces toda relación de equivalencia R definida sobre A induce enél una partición, la cual está formada por todas las clases de equivalencia de los elementos de A.

También, toda partición {P1, . . . , Pn} de A induce en él una relación de equivalencia R, la cual está dada por

a R b ⇐⇒ (∃i ∈ {1, . . . , n}) a ∈ Pi ∧ b ∈ Pi .

Relaciones

Page 72: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[72/14]

Relaciones de un conjunto en sí mismo: Relaciones de equivalencia: Conjunto cuociente

ParticiónSea A un conjunto no vacío. Una colección de conjuntos {P1, . . . , Pn} ⊆ P(A) se llamará partición de A sicumple:

(∀i ∈ {1, . . . , n}) Pi 6= ∅

(∀i , j ∈ {1, . . . , n}) i 6= j ⇒ Pi ∩ Pj = ∅

A = P1 ∪ P2 ∪ P3 ∪ . . . ∪ Pn

Consideremos un conjunto no vacío A. Entonces toda relación de equivalencia R definida sobre A induce enél una partición, la cual está formada por todas las clases de equivalencia de los elementos de A.

También, toda partición {P1, . . . , Pn} de A induce en él una relación de equivalencia R, la cual está dada por

a R b ⇐⇒ (∃i ∈ {1, . . . , n}) a ∈ Pi ∧ b ∈ Pi .

Relaciones

Page 73: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[73/14]

Relaciones de un conjunto en sí mismo: Relaciones de equivalencia: Conjunto cuociente

ParticiónSea A un conjunto no vacío. Una colección de conjuntos {P1, . . . , Pn} ⊆ P(A) se llamará partición de A sicumple:

(∀i ∈ {1, . . . , n}) Pi 6= ∅

(∀i , j ∈ {1, . . . , n}) i 6= j ⇒ Pi ∩ Pj = ∅

A = P1 ∪ P2 ∪ P3 ∪ . . . ∪ Pn

Consideremos un conjunto no vacío A. Entonces toda relación de equivalencia R definida sobre A induce enél una partición, la cual está formada por todas las clases de equivalencia de los elementos de A.

También, toda partición {P1, . . . , Pn} de A induce en él una relación de equivalencia R, la cual está dada por

a R b ⇐⇒ (∃i ∈ {1, . . . , n}) a ∈ Pi ∧ b ∈ Pi .

Relaciones

Page 74: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[74/14]

Ejemplo importante: Congruencia módulo p

Un tipo de relaciones de equivalencia de particular importancia lo conforman las llamadas relacionesigualdad módulo p, de las cuales ya conocemos la igualdad módulo 3.

Sea p ∈ N, p ≥ 2. Se define en Z la relación ≡p por

x ≡p y ⇐⇒ (∃k ∈ Z) (x − y) = kp

Si x ≡p y , diremos que x e y son iguales módulo p, o que son congruentes módulo p. Como ejemplo,tenemos que 13 ≡3 7 pues 13 − 7 = 6 = 2 · 3, y que 12 ≡5 27, pues 12 − 27 = −15 = −3 · 5.

Dado un p ∈ N, p ≥ 2, ≡p resulta ser una relación de equivalencia sobre Z. Así, ≡p induce en Z clases deequivalencia, y al conjunto cuociente Z/ ≡p le llamaremos Zp.

Para trabajar con ella, se necesita el siguiente teorema, llamado teorema de la división euclidiana, que vienede la Teoría de Números:

TeoremaSean a, b ∈ Z. Existe un único par q, r ∈ Z tal que

a = q · b + r ∧ 0 ≤ r < |b|

Se llama teorema de la división porque su aplicación a un par a, b ∈ Z equivale a calcular la división enteraa ÷ b. Ésta debe tener un cuociente q ∈ Z y un resto r ∈ Z, el cual debe ser menor que |b|.

Relaciones

Page 75: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[75/14]

Ejemplo importante: Congruencia módulo p

Un tipo de relaciones de equivalencia de particular importancia lo conforman las llamadas relacionesigualdad módulo p, de las cuales ya conocemos la igualdad módulo 3.

Sea p ∈ N, p ≥ 2. Se define en Z la relación ≡p por

x ≡p y ⇐⇒ (∃k ∈ Z) (x − y) = kp

Si x ≡p y , diremos que x e y son iguales módulo p, o que son congruentes módulo p. Como ejemplo,tenemos que 13 ≡3 7 pues 13 − 7 = 6 = 2 · 3, y que 12 ≡5 27, pues 12 − 27 = −15 = −3 · 5.

Dado un p ∈ N, p ≥ 2, ≡p resulta ser una relación de equivalencia sobre Z. Así, ≡p induce en Z clases deequivalencia, y al conjunto cuociente Z/ ≡p le llamaremos Zp.

Para trabajar con ella, se necesita el siguiente teorema, llamado teorema de la división euclidiana, que vienede la Teoría de Números:

TeoremaSean a, b ∈ Z. Existe un único par q, r ∈ Z tal que

a = q · b + r ∧ 0 ≤ r < |b|

Se llama teorema de la división porque su aplicación a un par a, b ∈ Z equivale a calcular la división enteraa ÷ b. Ésta debe tener un cuociente q ∈ Z y un resto r ∈ Z, el cual debe ser menor que |b|.

Relaciones

Page 76: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[76/14]

Ejemplo importante: Congruencia módulo p

Un tipo de relaciones de equivalencia de particular importancia lo conforman las llamadas relacionesigualdad módulo p, de las cuales ya conocemos la igualdad módulo 3.

Sea p ∈ N, p ≥ 2. Se define en Z la relación ≡p por

x ≡p y ⇐⇒ (∃k ∈ Z) (x − y) = kp

Si x ≡p y , diremos que x e y son iguales módulo p, o que son congruentes módulo p. Como ejemplo,tenemos que 13 ≡3 7 pues 13 − 7 = 6 = 2 · 3, y que 12 ≡5 27, pues 12 − 27 = −15 = −3 · 5.

Dado un p ∈ N, p ≥ 2, ≡p resulta ser una relación de equivalencia sobre Z. Así, ≡p induce en Z clases deequivalencia, y al conjunto cuociente Z/ ≡p le llamaremos Zp.

Para trabajar con ella, se necesita el siguiente teorema, llamado teorema de la división euclidiana, que vienede la Teoría de Números:

TeoremaSean a, b ∈ Z. Existe un único par q, r ∈ Z tal que

a = q · b + r ∧ 0 ≤ r < |b|

Se llama teorema de la división porque su aplicación a un par a, b ∈ Z equivale a calcular la división enteraa ÷ b. Ésta debe tener un cuociente q ∈ Z y un resto r ∈ Z, el cual debe ser menor que |b|.

Relaciones

Page 77: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[77/14]

Ejemplo importante: Congruencia módulo p

Un tipo de relaciones de equivalencia de particular importancia lo conforman las llamadas relacionesigualdad módulo p, de las cuales ya conocemos la igualdad módulo 3.

Sea p ∈ N, p ≥ 2. Se define en Z la relación ≡p por

x ≡p y ⇐⇒ (∃k ∈ Z) (x − y) = kp

Si x ≡p y , diremos que x e y son iguales módulo p, o que son congruentes módulo p. Como ejemplo,tenemos que 13 ≡3 7 pues 13 − 7 = 6 = 2 · 3, y que 12 ≡5 27, pues 12 − 27 = −15 = −3 · 5.

Dado un p ∈ N, p ≥ 2, ≡p resulta ser una relación de equivalencia sobre Z. Así, ≡p induce en Z clases deequivalencia, y al conjunto cuociente Z/ ≡p le llamaremos Zp.

Para trabajar con ella, se necesita el siguiente teorema, llamado teorema de la división euclidiana, que vienede la Teoría de Números:

TeoremaSean a, b ∈ Z. Existe un único par q, r ∈ Z tal que

a = q · b + r ∧ 0 ≤ r < |b|

Se llama teorema de la división porque su aplicación a un par a, b ∈ Z equivale a calcular la división enteraa ÷ b. Ésta debe tener un cuociente q ∈ Z y un resto r ∈ Z, el cual debe ser menor que |b|.

Relaciones

Page 78: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[78/14]

Ejemplo importante: Congruencia módulo p

Un tipo de relaciones de equivalencia de particular importancia lo conforman las llamadas relacionesigualdad módulo p, de las cuales ya conocemos la igualdad módulo 3.

Sea p ∈ N, p ≥ 2. Se define en Z la relación ≡p por

x ≡p y ⇐⇒ (∃k ∈ Z) (x − y) = kp

Si x ≡p y , diremos que x e y son iguales módulo p, o que son congruentes módulo p. Como ejemplo,tenemos que 13 ≡3 7 pues 13 − 7 = 6 = 2 · 3, y que 12 ≡5 27, pues 12 − 27 = −15 = −3 · 5.

Dado un p ∈ N, p ≥ 2, ≡p resulta ser una relación de equivalencia sobre Z. Así, ≡p induce en Z clases deequivalencia, y al conjunto cuociente Z/ ≡p le llamaremos Zp.

Para trabajar con ella, se necesita el siguiente teorema, llamado teorema de la división euclidiana, que vienede la Teoría de Números:

TeoremaSean a, b ∈ Z. Existe un único par q, r ∈ Z tal que

a = q · b + r ∧ 0 ≤ r < |b|

Se llama teorema de la división porque su aplicación a un par a, b ∈ Z equivale a calcular la división enteraa ÷ b. Ésta debe tener un cuociente q ∈ Z y un resto r ∈ Z, el cual debe ser menor que |b|.

Relaciones

Page 79: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[79/14]

Ejemplo importante: Congruencia módulo p

Un tipo de relaciones de equivalencia de particular importancia lo conforman las llamadas relacionesigualdad módulo p, de las cuales ya conocemos la igualdad módulo 3.

Sea p ∈ N, p ≥ 2. Se define en Z la relación ≡p por

x ≡p y ⇐⇒ (∃k ∈ Z) (x − y) = kp

Si x ≡p y , diremos que x e y son iguales módulo p, o que son congruentes módulo p. Como ejemplo,tenemos que 13 ≡3 7 pues 13 − 7 = 6 = 2 · 3, y que 12 ≡5 27, pues 12 − 27 = −15 = −3 · 5.

Dado un p ∈ N, p ≥ 2, ≡p resulta ser una relación de equivalencia sobre Z. Así, ≡p induce en Z clases deequivalencia, y al conjunto cuociente Z/ ≡p le llamaremos Zp.

Para trabajar con ella, se necesita el siguiente teorema, llamado teorema de la división euclidiana, que vienede la Teoría de Números:

TeoremaSean a, b ∈ Z. Existe un único par q, r ∈ Z tal que

a = q · b + r ∧ 0 ≤ r < |b|

Se llama teorema de la división porque su aplicación a un par a, b ∈ Z equivale a calcular la división enteraa ÷ b. Ésta debe tener un cuociente q ∈ Z y un resto r ∈ Z, el cual debe ser menor que |b|.

Relaciones

Page 80: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[80/14]

Ejemplo importante: Congruencia módulo p

Un tipo de relaciones de equivalencia de particular importancia lo conforman las llamadas relacionesigualdad módulo p, de las cuales ya conocemos la igualdad módulo 3.

Sea p ∈ N, p ≥ 2. Se define en Z la relación ≡p por

x ≡p y ⇐⇒ (∃k ∈ Z) (x − y) = kp

Si x ≡p y , diremos que x e y son iguales módulo p, o que son congruentes módulo p. Como ejemplo,tenemos que 13 ≡3 7 pues 13 − 7 = 6 = 2 · 3, y que 12 ≡5 27, pues 12 − 27 = −15 = −3 · 5.

Dado un p ∈ N, p ≥ 2, ≡p resulta ser una relación de equivalencia sobre Z. Así, ≡p induce en Z clases deequivalencia, y al conjunto cuociente Z/ ≡p le llamaremos Zp.

Para trabajar con ella, se necesita el siguiente teorema, llamado teorema de la división euclidiana, que vienede la Teoría de Números:

TeoremaSean a, b ∈ Z. Existe un único par q, r ∈ Z tal que

a = q · b + r ∧ 0 ≤ r < |b|

Se llama teorema de la división porque su aplicación a un par a, b ∈ Z equivale a calcular la división enteraa ÷ b. Ésta debe tener un cuociente q ∈ Z y un resto r ∈ Z, el cual debe ser menor que |b|.

Relaciones

Page 81: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[81/14]

Ejemplo importante: Congruencia módulo p

PropiedadSe tiene que Zp = {[0]p, [1]p, . . . , [p − 1]p}

En particular, concluimos que Zp tiene exactamente p elementos.

Demostración.Demostraremos esta igualdad mediante dos inclusiones.⊇) Recordemos que Zp = Z/ ≡p, es decir que Zp es el conjunto de todas las clases de equivalencia [·]pinducidas por ≡p en Z. Como

0, 1, . . . , p − 1 ∈ Zentonces por definición de conjunto cuociente

[0]p, [1]p, . . . , [p − 1]p ∈ Zp

Continúa...

Relaciones

Page 82: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[82/14]

Ejemplo importante: Congruencia módulo p

PropiedadSe tiene que Zp = {[0]p, [1]p, . . . , [p − 1]p}

En particular, concluimos que Zp tiene exactamente p elementos.

Demostración.Demostraremos esta igualdad mediante dos inclusiones.⊇) Recordemos que Zp = Z/ ≡p, es decir que Zp es el conjunto de todas las clases de equivalencia [·]pinducidas por ≡p en Z. Como

0, 1, . . . , p − 1 ∈ Zentonces por definición de conjunto cuociente

[0]p, [1]p, . . . , [p − 1]p ∈ Zp

Continúa...

Relaciones

Page 83: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[83/14]

Ejemplo importante: Congruencia módulo p

PropiedadSe tiene que Zp = {[0]p, [1]p, . . . , [p − 1]p}

En particular, concluimos que Zp tiene exactamente p elementos.

Demostración.Demostraremos esta igualdad mediante dos inclusiones.⊇) Recordemos que Zp = Z/ ≡p, es decir que Zp es el conjunto de todas las clases de equivalencia [·]pinducidas por ≡p en Z. Como

0, 1, . . . , p − 1 ∈ Zentonces por definición de conjunto cuociente

[0]p, [1]p, . . . , [p − 1]p ∈ Zp

Continúa...

Relaciones

Page 84: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[84/14]

Ejemplo importante: Congruencia módulo p

PropiedadSe tiene que Zp = {[0]p, [1]p, . . . , [p − 1]p}

En particular, concluimos que Zp tiene exactamente p elementos.

Demostración.Demostraremos esta igualdad mediante dos inclusiones.⊇) Recordemos que Zp = Z/ ≡p, es decir que Zp es el conjunto de todas las clases de equivalencia [·]pinducidas por ≡p en Z. Como

0, 1, . . . , p − 1 ∈ Zentonces por definición de conjunto cuociente

[0]p, [1]p, . . . , [p − 1]p ∈ Zp

Continúa...

Relaciones

Page 85: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[85/14]

Ejemplo importante: Congruencia módulo p

Continuación demostración.⊆) Sea C ∈ Zp. C es una clase de equivalencia, luego existe x ∈ Z tal que C = [x ]p.

Aplicando el teorema de la división, obtenemos que existen un cuociente q ∈ Z y un resto r ∈ Z(0 ≤ r ≤ p − 1) tales que

x = p · q + r

de donde se concluyex − r = p · q

lo que significa quex ≡p r

Gracias a una propiedad que demostramos anteriormente, esto nos dice

[x ]p = [r ]p

Por lo tanto C = [r ]p, y como 0 ≤ r ≤ p − 1, entonces

C ∈ {[0]p, [1]p, . . . , [p − 1]p}

Relaciones

Page 86: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[86/14]

Ejemplo importante: Congruencia módulo p

Continuación demostración.⊆) Sea C ∈ Zp. C es una clase de equivalencia, luego existe x ∈ Z tal que C = [x ]p.

Aplicando el teorema de la división, obtenemos que existen un cuociente q ∈ Z y un resto r ∈ Z(0 ≤ r ≤ p − 1) tales que

x = p · q + r

de donde se concluyex − r = p · q

lo que significa quex ≡p r

Gracias a una propiedad que demostramos anteriormente, esto nos dice

[x ]p = [r ]p

Por lo tanto C = [r ]p, y como 0 ≤ r ≤ p − 1, entonces

C ∈ {[0]p, [1]p, . . . , [p − 1]p}

Relaciones

Page 87: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[87/14]

Ejemplo importante: Congruencia módulo p

Continuación demostración.⊆) Sea C ∈ Zp. C es una clase de equivalencia, luego existe x ∈ Z tal que C = [x ]p.

Aplicando el teorema de la división, obtenemos que existen un cuociente q ∈ Z y un resto r ∈ Z(0 ≤ r ≤ p − 1) tales que

x = p · q + r

de donde se concluyex − r = p · q

lo que significa quex ≡p r

Gracias a una propiedad que demostramos anteriormente, esto nos dice

[x ]p = [r ]p

Por lo tanto C = [r ]p, y como 0 ≤ r ≤ p − 1, entonces

C ∈ {[0]p, [1]p, . . . , [p − 1]p}

Relaciones

Page 88: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[88/14]

Ejemplo importante: Congruencia módulo p

Continuación demostración.⊆) Sea C ∈ Zp. C es una clase de equivalencia, luego existe x ∈ Z tal que C = [x ]p.

Aplicando el teorema de la división, obtenemos que existen un cuociente q ∈ Z y un resto r ∈ Z(0 ≤ r ≤ p − 1) tales que

x = p · q + r

de donde se concluyex − r = p · q

lo que significa quex ≡p r

Gracias a una propiedad que demostramos anteriormente, esto nos dice

[x ]p = [r ]p

Por lo tanto C = [r ]p, y como 0 ≤ r ≤ p − 1, entonces

C ∈ {[0]p, [1]p, . . . , [p − 1]p}

Relaciones

Page 89: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[89/14]

Ejemplo importante: Congruencia módulo p

Continuación demostración.⊆) Sea C ∈ Zp. C es una clase de equivalencia, luego existe x ∈ Z tal que C = [x ]p.

Aplicando el teorema de la división, obtenemos que existen un cuociente q ∈ Z y un resto r ∈ Z(0 ≤ r ≤ p − 1) tales que

x = p · q + r

de donde se concluyex − r = p · q

lo que significa quex ≡p r

Gracias a una propiedad que demostramos anteriormente, esto nos dice

[x ]p = [r ]p

Por lo tanto C = [r ]p, y como 0 ≤ r ≤ p − 1, entonces

C ∈ {[0]p, [1]p, . . . , [p − 1]p}

Relaciones

Page 90: Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados

Relaciones Semana05[90/14]

Ejemplo importante: Congruencia módulo p

Continuación demostración.⊆) Sea C ∈ Zp. C es una clase de equivalencia, luego existe x ∈ Z tal que C = [x ]p.

Aplicando el teorema de la división, obtenemos que existen un cuociente q ∈ Z y un resto r ∈ Z(0 ≤ r ≤ p − 1) tales que

x = p · q + r

de donde se concluyex − r = p · q

lo que significa quex ≡p r

Gracias a una propiedad que demostramos anteriormente, esto nos dice

[x ]p = [r ]p

Por lo tanto C = [r ]p, y como 0 ≤ r ≤ p − 1, entonces

C ∈ {[0]p, [1]p, . . . , [p − 1]p}

Relaciones