Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en...
Transcript of Relaciones - Universidad de Chile · 2019-03-11 · Relaciones Semana05[2/14] Introducción Ya en...
![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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/1.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/2.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/3.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/4.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/5.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/6.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/7.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/8.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/9.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/10.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/11.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/12.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/13.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/14.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/15.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/16.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/17.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/18.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/19.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/20.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/21.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/22.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/23.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/24.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/25.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/26.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/27.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/28.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/29.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/30.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/31.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/32.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/33.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/34.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/35.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/36.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/37.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/38.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/39.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/40.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/41.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/42.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/43.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/44.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/45.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/46.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/47.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/48.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/49.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/50.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/51.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/52.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/53.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/54.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/55.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/56.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/57.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/58.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/59.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/60.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/61.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/62.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/63.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/64.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/65.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/66.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/67.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/68.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/69.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/70.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/71.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/72.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/73.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/74.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/75.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/76.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/77.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/78.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/79.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/80.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/81.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/82.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/83.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/84.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/85.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/86.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/87.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/88.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/89.jpg)
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](https://reader034.fdocuments.in/reader034/viewer/2022050100/5f3f66abab027b0ee733f8e5/html5/thumbnails/90.jpg)
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