EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS...
Transcript of EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS...
![Page 1: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/1.jpg)
EL ORDEN DE LA DIVISIBILIDAD EN LOSNUMEROS ENTEROS POSITIVOS Y SUINFLUENCIA EN LAS MATEMATICAS
Joaquın Luna Torres
SEMINARIO DE MATEMATICASUNIVERSIDAD INDUSTRIAL DE SANTANDER
junio de 2018
![Page 2: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/2.jpg)
Parte I
ORDENES EN N Y Z+
![Page 3: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/3.jpg)
El orden aditivo
El orden aditivo en N = 0, 1, 2, · · · esta dado por
a 6 b si y solo si existe c ∈ N tal que a + c = b
ası que0 < 1 < 2 < · · · .
escrito de otra forma
0 1 2 3 · · ·
![Page 4: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/4.jpg)
El orden aditivo
El orden aditivo en N = 0, 1, 2, · · · esta dado por
a 6 b si y solo si existe c ∈ N tal que a + c = b
ası que0 < 1 < 2 < · · · .
escrito de otra forma
0 1 2 3 · · ·
![Page 5: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/5.jpg)
El orden aditivo
El orden aditivo en N = 0, 1, 2, · · · esta dado por
a 6 b si y solo si existe c ∈ N tal que a + c = b
ası que0 < 1 < 2 < · · · .
escrito de otra forma
0 1 2 3 · · ·
![Page 6: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/6.jpg)
El orden aditivo
El orden aditivo en N = 0, 1, 2, · · · esta dado por
a 6 b si y solo si existe c ∈ N tal que a + c = b
ası que0 < 1 < 2 < · · · .
escrito de otra forma
0 1 2 3 · · ·
![Page 7: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/7.jpg)
El orden multiplicativo
El orden multiplicativo o de la divisibilidad en Z+ = 1, 2, 3, · · · esta dado por
m 6| n si y solo si existe k ∈ Z+ tal que mk = n
Note que ahora m 6| n significa que
“ m divide a n”, o que “n es multiplo de m”.Utilizando
en lugar de 6|
tenemos el diagrama que sigue:
![Page 8: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/8.jpg)
El orden multiplicativo
El orden multiplicativo o de la divisibilidad en Z+ = 1, 2, 3, · · · esta dado por
m 6| n si y solo si existe k ∈ Z+ tal que mk = n
Note que ahora m 6| n significa que
“ m divide a n”, o que “n es multiplo de m”.Utilizando
en lugar de 6|
tenemos el diagrama que sigue:
![Page 9: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/9.jpg)
El orden multiplicativo
El orden multiplicativo o de la divisibilidad en Z+ = 1, 2, 3, · · · esta dado por
m 6| n si y solo si existe k ∈ Z+ tal que mk = n
Note que ahora m 6| n significa que
“ m divide a n”, o que “n es multiplo de m”.
Utilizando
en lugar de 6|
tenemos el diagrama que sigue:
![Page 10: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/10.jpg)
El orden multiplicativo
El orden multiplicativo o de la divisibilidad en Z+ = 1, 2, 3, · · · esta dado por
m 6| n si y solo si existe k ∈ Z+ tal que mk = n
Note que ahora m 6| n significa que
“ m divide a n”, o que “n es multiplo de m”.Utilizando
en lugar de 6|
tenemos el diagrama que sigue:
![Page 11: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/11.jpg)
El orden multiplicativo
El orden multiplicativo o de la divisibilidad en Z+ = 1, 2, 3, · · · esta dado por
m 6| n si y solo si existe k ∈ Z+ tal que mk = n
Note que ahora m 6| n significa que
“ m divide a n”, o que “n es multiplo de m”.Utilizando
en lugar de 6|
tenemos el diagrama que sigue:
![Page 12: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/12.jpg)
El orden multiplicativo
El orden multiplicativo o de la divisibilidad en Z+ = 1, 2, 3, · · · esta dado por
m 6| n si y solo si existe k ∈ Z+ tal que mk = n
Note que ahora m 6| n significa que
“ m divide a n”, o que “n es multiplo de m”.Utilizando
en lugar de
6|
tenemos el diagrama que sigue:
![Page 13: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/13.jpg)
El orden multiplicativo
El orden multiplicativo o de la divisibilidad en Z+ = 1, 2, 3, · · · esta dado por
m 6| n si y solo si existe k ∈ Z+ tal que mk = n
Note que ahora m 6| n significa que
“ m divide a n”, o que “n es multiplo de m”.Utilizando
en lugar de 6|
tenemos el diagrama que sigue:
![Page 14: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/14.jpg)
El orden multiplicativo
El orden multiplicativo o de la divisibilidad en Z+ = 1, 2, 3, · · · esta dado por
m 6| n si y solo si existe k ∈ Z+ tal que mk = n
Note que ahora m 6| n significa que
“ m divide a n”, o que “n es multiplo de m”.Utilizando
en lugar de 6|
tenemos el diagrama que sigue:
![Page 15: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/15.jpg)
El conjunto parcialmente ordenado (Z+,6|)
1
2
3
5
7...
4
6
9...
8
10...
· · ·
![Page 16: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/16.jpg)
El conjunto parcialmente ordenado (Z+,6|)
1
2
3
5
7...
4
6
9...
8
10...
· · ·
![Page 17: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/17.jpg)
El conjunto parcialmente ordenado (Z+,6|)
1
2
3
5
7...
4
6
9...
8
10...
· · ·
![Page 18: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/18.jpg)
El conjunto parcialmente ordenado (Z+,6|)
1
2
3
5
7...
4
6
9...
8
10...
· · ·
![Page 19: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/19.jpg)
El conjunto parcialmente ordenado (Z+,6|)
1
2
3
5
7...
4
6
9...
8
10...
· · ·
![Page 20: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/20.jpg)
El conjunto parcialmente ordenado (Z+,6|)
1
2
3
5
7...
4
6
9...
8
10...
· · ·
![Page 21: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/21.jpg)
El conjunto parcialmente ordenado (Z+,6|)
1
2
3
5
7...
4
6
9...
8
10...
· · ·
![Page 22: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/22.jpg)
Parte II
RETICULOS DE DIVISIBILIDAD
![Page 23: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/23.jpg)
Retıculos
Definicion
un retıculo, red o lattice es un conjunto parcialmente ordenado(L,6) en el cual, para cada par de elementos x , y ∈ L, existen unsupremo x ∨ y y un ınfimo x ∧ y .
Si D6 = 1, 2, 3, 6 es el conjunto de los divisores de 6, entonces(D6,6|) es un retıculo:
1
2 3
6
1 ∧ 2 = 1
2 ∧ 3 = 1
1 ∨ 2 = 2
2 ∨ 3 = 6
![Page 24: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/24.jpg)
Retıculos
Definicion
un retıculo, red o lattice es un conjunto parcialmente ordenado(L,6) en el cual, para cada par de elementos x , y ∈ L, existen unsupremo x ∨ y y un ınfimo x ∧ y .
Si D6 = 1, 2, 3, 6 es el conjunto de los divisores de 6, entonces(D6,6|) es un retıculo:
1
2 3
6
1 ∧ 2 = 1
2 ∧ 3 = 1
1 ∨ 2 = 2
2 ∨ 3 = 6
![Page 25: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/25.jpg)
Retıculos
Definicion
un retıculo, red o lattice es un conjunto parcialmente ordenado(L,6) en el cual, para cada par de elementos x , y ∈ L, existen unsupremo x ∨ y y un ınfimo x ∧ y .
Si D6 = 1, 2, 3, 6 es el conjunto de los divisores de 6, entonces(D6,6|) es un retıculo:
1
2 3
6
1 ∧ 2 = 1
2 ∧ 3 = 1
1 ∨ 2 = 2
2 ∨ 3 = 6
![Page 26: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/26.jpg)
Retıculos
Definicion
un retıculo, red o lattice es un conjunto parcialmente ordenado(L,6) en el cual, para cada par de elementos x , y ∈ L, existen unsupremo x ∨ y y un ınfimo x ∧ y .
Si D6 = 1, 2, 3, 6 es el conjunto de los divisores de 6, entonces(D6,6|) es un retıculo:
1
2 3
6
1 ∧ 2 = 1
2 ∧ 3 = 1
1 ∨ 2 = 2
2 ∨ 3 = 6
![Page 27: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/27.jpg)
Retıculos
Definicion
un retıculo, red o lattice es un conjunto parcialmente ordenado(L,6) en el cual, para cada par de elementos x , y ∈ L, existen unsupremo x ∨ y y un ınfimo x ∧ y .
Si D6 = 1, 2, 3, 6 es el conjunto de los divisores de 6, entonces(D6,6|) es un retıculo:
1
2 3
6
1 ∧ 2 = 1
2 ∧ 3 = 1
1 ∨ 2 = 2
2 ∨ 3 = 6
![Page 28: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/28.jpg)
Retıculos
Definicion
un retıculo, red o lattice es un conjunto parcialmente ordenado(L,6) en el cual, para cada par de elementos x , y ∈ L, existen unsupremo x ∨ y y un ınfimo x ∧ y .
Si D6 = 1, 2, 3, 6 es el conjunto de los divisores de 6, entonces(D6,6|) es un retıculo:
1
2 3
6
1 ∧ 2 = 1
2 ∧ 3 = 1
1 ∨ 2 = 2
2 ∨ 3 = 6
![Page 29: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/29.jpg)
Retıculos
Definicion
un retıculo, red o lattice es un conjunto parcialmente ordenado(L,6) en el cual, para cada par de elementos x , y ∈ L, existen unsupremo x ∨ y y un ınfimo x ∧ y .
Si D6 = 1, 2, 3, 6 es el conjunto de los divisores de 6, entonces(D6,6|) es un retıculo:
1
2 3
6
1 ∧ 2 = 1
2 ∧ 3 = 1
1 ∨ 2 = 2
2 ∨ 3 = 6
![Page 30: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/30.jpg)
Retıculos
Definicion
un retıculo, red o lattice es un conjunto parcialmente ordenado(L,6) en el cual, para cada par de elementos x , y ∈ L, existen unsupremo x ∨ y y un ınfimo x ∧ y .
Si D6 = 1, 2, 3, 6 es el conjunto de los divisores de 6, entonces(D6,6|) es un retıculo:
1
2 3
6
1 ∧ 2 = 1
2 ∧ 3 = 1
1 ∨ 2 = 2
2 ∨ 3 = 6
![Page 31: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/31.jpg)
Retıculos
Definicion
un retıculo, red o lattice es un conjunto parcialmente ordenado(L,6) en el cual, para cada par de elementos x , y ∈ L, existen unsupremo x ∨ y y un ınfimo x ∧ y .
Si D6 = 1, 2, 3, 6 es el conjunto de los divisores de 6, entonces(D6,6|) es un retıculo:
1
2 3
6
1 ∧ 2 = 1
2 ∧ 3 = 1
1 ∨ 2 = 2
2 ∨ 3 = 6
![Page 32: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/32.jpg)
Retıculos de D30 y P(X ) para X = 2, 3, 5
1
2 3 5
6 10 15
30
∅
2 3 5
2, 3 2, 5 3, 5
X
a ∧ b = m.c.da, ba ∨ b = m.c .ma, b
A ∧ B = A ∩ B
A ∨ B = A ∪ B
¬2 = 15 2c = 3, 5
![Page 33: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/33.jpg)
Retıculos de D30 y P(X ) para X = 2, 3, 5
1
2 3 5
6 10 15
30
∅
2 3 5
2, 3 2, 5 3, 5
X
a ∧ b = m.c.da, ba ∨ b = m.c .ma, b
A ∧ B = A ∩ B
A ∨ B = A ∪ B
¬2 = 15 2c = 3, 5
![Page 34: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/34.jpg)
Retıculos de D30 y P(X ) para X = 2, 3, 5
1
2 3 5
6 10 15
30
∅
2 3 5
2, 3 2, 5 3, 5
X
a ∧ b = m.c.da, ba ∨ b = m.c .ma, b
A ∧ B = A ∩ B
A ∨ B = A ∪ B
¬2 = 15 2c = 3, 5
![Page 35: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/35.jpg)
Retıculos de D30 y P(X ) para X = 2, 3, 5
1
2 3 5
6 10 15
30
∅
2 3 5
2, 3 2, 5 3, 5
X
a ∧ b = m.c.da, ba ∨ b = m.c .ma, b
A ∧ B = A ∩ B
A ∨ B = A ∪ B
¬2 = 15 2c = 3, 5
![Page 36: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/36.jpg)
Retıculos de D30 y P(X ) para X = 2, 3, 5
1
2 3 5
6 10 15
30
∅
2 3 5
2, 3 2, 5 3, 5
X
a ∧ b = m.c.da, ba ∨ b = m.c .ma, b
A ∧ B = A ∩ B
A ∨ B = A ∪ B
¬2 = 15 2c = 3, 5
![Page 37: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/37.jpg)
Retıculos de D30 y P(X ) para X = 2, 3, 5
1
2 3 5
6 10 15
30
∅
2 3 5
2, 3 2, 5 3, 5
X
a ∧ b = m.c.da, ba ∨ b = m.c .ma, b
A ∧ B = A ∩ B
A ∨ B = A ∪ B
¬2 = 15 2c = 3, 5
![Page 38: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/38.jpg)
Retıculos de D30 y P(X ) para X = 2, 3, 5
1
2 3 5
6 10 15
30
∅
2 3 5
2, 3 2, 5 3, 5
X
a ∧ b = m.c.da, ba ∨ b = m.c .ma, b
A ∧ B = A ∩ B
A ∨ B = A ∪ B
¬2 = 15 2c = 3, 5
![Page 39: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/39.jpg)
Retıculos de D30 y P(X ) para X = 2, 3, 5
1
2 3 5
6 10 15
30
∅
2 3 5
2, 3 2, 5 3, 5
X
a ∧ b = m.c.da, ba ∨ b = m.c .ma, b
A ∧ B = A ∩ B
A ∨ B = A ∪ B
¬2 = 15 2c = 3, 5
![Page 40: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/40.jpg)
Retıculos de D30 y P(X ) para X = 2, 3, 5
1
2 3 5
6 10 15
30
∅
2 3 5
2, 3 2, 5 3, 5
X
a ∧ b = m.c.da, ba ∨ b = m.c .ma, b
A ∧ B = A ∩ B
A ∨ B = A ∪ B
¬2 = 15 2c = 3, 5
![Page 41: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/41.jpg)
Retıculos de D30 y P(X ) para X = 2, 3, 5
1
2 3 5
6 10 15
30
∅
2 3 5
2, 3 2, 5 3, 5
X
a ∧ b = m.c.da, ba ∨ b = m.c .ma, b
A ∧ B = A ∩ B
A ∨ B = A ∪ B
¬2 = 15 2c = 3, 5
![Page 42: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/42.jpg)
Retıculos de D30 y P(X ) para X = 2, 3, 5
1
2 3 5
6 10 15
30
∅
2 3 5
2, 3 2, 5 3, 5
X
a ∧ b = m.c.da, ba ∨ b = m.c .ma, b
A ∧ B = A ∩ B
A ∨ B = A ∪ B
¬2 = 15 2c = 3, 5
![Page 43: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/43.jpg)
Retıculos de D30 y P(X ) para X = 2, 3, 5
1
2 3 5
6 10 15
30
∅
2 3 5
2, 3 2, 5 3, 5
X
a ∧ b = m.c.da, ba ∨ b = m.c .ma, b
A ∧ B = A ∩ B
A ∨ B = A ∪ B
¬2 = 15 2c = 3, 5
![Page 44: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/44.jpg)
Retıculos de D30 y P(X ) para X = 2, 3, 5
1
2 3 5
6 10 15
30
∅
2 3 5
2, 3 2, 5 3, 5
X
a ∧ b = m.c.da, ba ∨ b = m.c .ma, b
A ∧ B = A ∩ B
A ∨ B = A ∪ B
¬2 = 15 2c = 3, 5
![Page 45: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/45.jpg)
Retıculos de D30 y P(X ) para X = 2, 3, 5
1
2 3 5
6 10 15
30
∅
2 3 5
2, 3 2, 5 3, 5
X
a ∧ b = m.c.da, ba ∨ b = m.c .ma, b
A ∧ B = A ∩ B
A ∨ B = A ∪ B
¬2 = 15 2c = 3, 5
![Page 46: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/46.jpg)
Retıculos de D30 y P(X ) para X = 2, 3, 5
1
2 3 5
6 10 15
30
∅
2 3 5
2, 3 2, 5 3, 5
X
a ∧ b = m.c.da, ba ∨ b = m.c .ma, b
A ∧ B = A ∩ B
A ∨ B = A ∪ B
¬2 = 15 2c = 3, 5
![Page 47: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/47.jpg)
Retıculos de D30 y P(X ) para X = 2, 3, 5
1
2 3 5
6 10 15
30
∅
2 3 5
2, 3 2, 5 3, 5
X
a ∧ b = m.c.da, ba ∨ b = m.c .ma, b
A ∧ B = A ∩ B
A ∨ B = A ∪ B
¬2 = 15 2c = 3, 5
![Page 48: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/48.jpg)
Retıculos de D30 y P(X ) para X = 2, 3, 5
1
2 3 5
6 10 15
30
∅
2 3 5
2, 3 2, 5 3, 5
X
a ∧ b = m.c.da, ba ∨ b = m.c .ma, b
A ∧ B = A ∩ B
A ∨ B = A ∪ B
¬2 = 15 2c = 3, 5
![Page 49: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/49.jpg)
Retıculos de D30 y P(X ) para X = 2, 3, 5
1
2 3 5
6 10 15
30
∅
2 3 5
2, 3 2, 5 3, 5
X
a ∧ b = m.c.da, ba ∨ b = m.c .ma, b
A ∧ B = A ∩ B
A ∨ B = A ∪ B
¬2 = 15 2c = 3, 5
![Page 50: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/50.jpg)
Retıculos de D30 y P(X ) para X = 2, 3, 5
1
2 3 5
6 10 15
30
∅
2 3 5
2, 3 2, 5 3, 5
X
a ∧ b = m.c.da, ba ∨ b = m.c .ma, b
A ∧ B = A ∩ B
A ∨ B = A ∪ B
¬2 = 15 2c = 3, 5
![Page 51: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/51.jpg)
Retıculos de D30 y P(X ) para X = 2, 3, 5
1
2 3 5
6 10 15
30
∅
2 3 5
2, 3 2, 5 3, 5
X
a ∧ b = m.c.da, ba ∨ b = m.c .ma, b
A ∧ B = A ∩ B
A ∨ B = A ∪ B
¬2 = 15 2c = 3, 5
![Page 52: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/52.jpg)
Retıculos de D30 y P(X ) para X = 2, 3, 5
1
2 3 5
6 10 15
30
∅
2 3 5
2, 3 2, 5 3, 5
X
a ∧ b = m.c.da, ba ∨ b = m.c .ma, b
A ∧ B = A ∩ B
A ∨ B = A ∪ B
¬2 = 15
2c = 3, 5
![Page 53: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/53.jpg)
Retıculos de D30 y P(X ) para X = 2, 3, 5
1
2 3 5
6 10 15
30
∅
2 3 5
2, 3 2, 5 3, 5
X
a ∧ b = m.c.da, ba ∨ b = m.c .ma, b
A ∧ B = A ∩ B
A ∨ B = A ∪ B
¬2 = 15 2c = 3, 5
![Page 54: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/54.jpg)
Algebras de Boole Algebras de Heyting
Parte III
ALGEBRAS DE BOOLE Y DE
HEYTING
![Page 55: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/55.jpg)
Algebras de Boole Algebras de Heyting
Definicion
Dado un conjunto B, la sextupla (B,∧,∨,¬,⊥,>) es un algebrade Boole si ∧ y ∨ son operaciones binarias clausurativas en Bque satisfacen, para todo a, b, c ∈ B:
1 Idempotencia: a ∧ a = a; a ∨ a = a.
2 Conmutatividad: a ∧ b = b ∧ a; a ∨ b = b ∨ a.
3 Asociatividad:(a ∧ b) ∧ c = a ∧ (b ∧ C ); (a ∨ b) ∨ c = a ∨ (b ∨ c).
4 Absorcion: a ∧ (a ∨ b) = a; a ∨ (a ∧ b) = a.
5 Distributividad:a∧ (b ∨ c) = (a∧ b)∨ (a∧ c); a∨ (b ∧ c) = (a∨ b)∧ (a∨ c).
6 Complemento: existe ¬a ∈ B tal quea ∧ ¬a = ⊥; a ∨ ¬a = >.
7 Leyes de De Morgan:¬(a ∧ b) = ¬a ∨ ¬b; ¬(a ∨ b) = ¬a ∧ ¬b.
![Page 56: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/56.jpg)
Algebras de Boole Algebras de Heyting
Definicion
Dado un conjunto B, la sextupla (B,∧,∨,¬,⊥,>) es un algebrade Boole si ∧ y ∨ son operaciones binarias clausurativas en Bque satisfacen, para todo a, b, c ∈ B:
1 Idempotencia: a ∧ a = a; a ∨ a = a.
2 Conmutatividad: a ∧ b = b ∧ a; a ∨ b = b ∨ a.
3 Asociatividad:(a ∧ b) ∧ c = a ∧ (b ∧ C ); (a ∨ b) ∨ c = a ∨ (b ∨ c).
4 Absorcion: a ∧ (a ∨ b) = a; a ∨ (a ∧ b) = a.
5 Distributividad:a∧ (b ∨ c) = (a∧ b)∨ (a∧ c); a∨ (b ∧ c) = (a∨ b)∧ (a∨ c).
6 Complemento: existe ¬a ∈ B tal quea ∧ ¬a = ⊥; a ∨ ¬a = >.
7 Leyes de De Morgan:¬(a ∧ b) = ¬a ∨ ¬b; ¬(a ∨ b) = ¬a ∧ ¬b.
![Page 57: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/57.jpg)
Algebras de Boole Algebras de Heyting
Definicion
Dado un conjunto B, la sextupla (B,∧,∨,¬,⊥,>) es un algebrade Boole si ∧ y ∨ son operaciones binarias clausurativas en Bque satisfacen, para todo a, b, c ∈ B:
1 Idempotencia: a ∧ a = a; a ∨ a = a.
2 Conmutatividad: a ∧ b = b ∧ a; a ∨ b = b ∨ a.
3 Asociatividad:(a ∧ b) ∧ c = a ∧ (b ∧ C ); (a ∨ b) ∨ c = a ∨ (b ∨ c).
4 Absorcion: a ∧ (a ∨ b) = a; a ∨ (a ∧ b) = a.
5 Distributividad:a∧ (b ∨ c) = (a∧ b)∨ (a∧ c); a∨ (b ∧ c) = (a∨ b)∧ (a∨ c).
6 Complemento: existe ¬a ∈ B tal quea ∧ ¬a = ⊥; a ∨ ¬a = >.
7 Leyes de De Morgan:¬(a ∧ b) = ¬a ∨ ¬b; ¬(a ∨ b) = ¬a ∧ ¬b.
![Page 58: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/58.jpg)
Algebras de Boole Algebras de Heyting
Definicion
Dado un conjunto B, la sextupla (B,∧,∨,¬,⊥,>) es un algebrade Boole si ∧ y ∨ son operaciones binarias clausurativas en Bque satisfacen, para todo a, b, c ∈ B:
1 Idempotencia: a ∧ a = a; a ∨ a = a.
2 Conmutatividad: a ∧ b = b ∧ a; a ∨ b = b ∨ a.
3 Asociatividad:(a ∧ b) ∧ c = a ∧ (b ∧ C ); (a ∨ b) ∨ c = a ∨ (b ∨ c).
4 Absorcion: a ∧ (a ∨ b) = a; a ∨ (a ∧ b) = a.
5 Distributividad:a∧ (b ∨ c) = (a∧ b)∨ (a∧ c); a∨ (b ∧ c) = (a∨ b)∧ (a∨ c).
6 Complemento: existe ¬a ∈ B tal quea ∧ ¬a = ⊥; a ∨ ¬a = >.
7 Leyes de De Morgan:¬(a ∧ b) = ¬a ∨ ¬b; ¬(a ∨ b) = ¬a ∧ ¬b.
![Page 59: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/59.jpg)
Algebras de Boole Algebras de Heyting
Definicion
Dado un conjunto B, la sextupla (B,∧,∨,¬,⊥,>) es un algebrade Boole si ∧ y ∨ son operaciones binarias clausurativas en Bque satisfacen, para todo a, b, c ∈ B:
1 Idempotencia: a ∧ a = a; a ∨ a = a.
2 Conmutatividad: a ∧ b = b ∧ a; a ∨ b = b ∨ a.
3 Asociatividad:(a ∧ b) ∧ c = a ∧ (b ∧ C ); (a ∨ b) ∨ c = a ∨ (b ∨ c).
4 Absorcion: a ∧ (a ∨ b) = a; a ∨ (a ∧ b) = a.
5 Distributividad:a∧ (b ∨ c) = (a∧ b)∨ (a∧ c); a∨ (b ∧ c) = (a∨ b)∧ (a∨ c).
6 Complemento: existe ¬a ∈ B tal quea ∧ ¬a = ⊥; a ∨ ¬a = >.
7 Leyes de De Morgan:¬(a ∧ b) = ¬a ∨ ¬b; ¬(a ∨ b) = ¬a ∧ ¬b.
![Page 60: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/60.jpg)
Algebras de Boole Algebras de Heyting
Definicion
Dado un conjunto B, la sextupla (B,∧,∨,¬,⊥,>) es un algebrade Boole si ∧ y ∨ son operaciones binarias clausurativas en Bque satisfacen, para todo a, b, c ∈ B:
1 Idempotencia: a ∧ a = a; a ∨ a = a.
2 Conmutatividad: a ∧ b = b ∧ a; a ∨ b = b ∨ a.
3 Asociatividad:(a ∧ b) ∧ c = a ∧ (b ∧ C ); (a ∨ b) ∨ c = a ∨ (b ∨ c).
4 Absorcion: a ∧ (a ∨ b) = a; a ∨ (a ∧ b) = a.
5 Distributividad:a∧ (b ∨ c) = (a∧ b)∨ (a∧ c); a∨ (b ∧ c) = (a∨ b)∧ (a∨ c).
6 Complemento: existe ¬a ∈ B tal quea ∧ ¬a = ⊥; a ∨ ¬a = >.
7 Leyes de De Morgan:¬(a ∧ b) = ¬a ∨ ¬b; ¬(a ∨ b) = ¬a ∧ ¬b.
![Page 61: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/61.jpg)
Algebras de Boole Algebras de Heyting
Definicion
Dado un conjunto B, la sextupla (B,∧,∨,¬,⊥,>) es un algebrade Boole si ∧ y ∨ son operaciones binarias clausurativas en Bque satisfacen, para todo a, b, c ∈ B:
1 Idempotencia: a ∧ a = a; a ∨ a = a.
2 Conmutatividad: a ∧ b = b ∧ a; a ∨ b = b ∨ a.
3 Asociatividad:(a ∧ b) ∧ c = a ∧ (b ∧ C ); (a ∨ b) ∨ c = a ∨ (b ∨ c).
4 Absorcion: a ∧ (a ∨ b) = a; a ∨ (a ∧ b) = a.
5 Distributividad:a∧ (b ∨ c) = (a∧ b)∨ (a∧ c); a∨ (b ∧ c) = (a∨ b)∧ (a∨ c).
6 Complemento: existe ¬a ∈ B tal quea ∧ ¬a = ⊥; a ∨ ¬a = >.
7 Leyes de De Morgan:¬(a ∧ b) = ¬a ∨ ¬b; ¬(a ∨ b) = ¬a ∧ ¬b.
![Page 62: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/62.jpg)
Algebras de Boole Algebras de Heyting
Definicion
Dado un conjunto B, la sextupla (B,∧,∨,¬,⊥,>) es un algebrade Boole si ∧ y ∨ son operaciones binarias clausurativas en Bque satisfacen, para todo a, b, c ∈ B:
1 Idempotencia: a ∧ a = a; a ∨ a = a.
2 Conmutatividad: a ∧ b = b ∧ a; a ∨ b = b ∨ a.
3 Asociatividad:(a ∧ b) ∧ c = a ∧ (b ∧ C ); (a ∨ b) ∨ c = a ∨ (b ∨ c).
4 Absorcion: a ∧ (a ∨ b) = a; a ∨ (a ∧ b) = a.
5 Distributividad:a∧ (b ∨ c) = (a∧ b)∨ (a∧ c); a∨ (b ∧ c) = (a∨ b)∧ (a∨ c).
6 Complemento: existe ¬a ∈ B tal quea ∧ ¬a = ⊥; a ∨ ¬a = >.
7 Leyes de De Morgan:¬(a ∧ b) = ¬a ∨ ¬b; ¬(a ∨ b) = ¬a ∧ ¬b.
![Page 63: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/63.jpg)
Algebras de Boole Algebras de Heyting
Ejemplos de algebras de Boole
Ejemplo
D30 es un algebra de Boole, donde ⊥ = 1, > = 30.
Ejemplo
Para todo conjunto X , P(X ) es un algebras de Boole, donde⊥ = ∅, > = X .
![Page 64: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/64.jpg)
Algebras de Boole Algebras de Heyting
Ejemplos de algebras de Boole
Ejemplo
D30 es un algebra de Boole, donde ⊥ = 1, > = 30.
Ejemplo
Para todo conjunto X , P(X ) es un algebras de Boole, donde⊥ = ∅, > = X .
![Page 65: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/65.jpg)
Algebras de Boole Algebras de Heyting
Los divisores de un numero entero positivo
Hemos afirmado que
para todo conjunto X , el retıculo P(X ) es un algebra de Boole.
Ahora nos preguntamos,
si n ∈ Z+ y Dn es el conjunto de los divisores de n en Z+,¿ es Dn un algebra de Boole?.
Veamos otros casos particulares
![Page 66: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/66.jpg)
Algebras de Boole Algebras de Heyting
Los divisores de un numero entero positivo
Hemos afirmado que
para todo conjunto X , el retıculo P(X ) es un algebra de Boole.
Ahora nos preguntamos,
si n ∈ Z+ y Dn es el conjunto de los divisores de n en Z+,¿ es Dn un algebra de Boole?.
Veamos otros casos particulares
![Page 67: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/67.jpg)
Algebras de Boole Algebras de Heyting
Los divisores de un numero entero positivo
Hemos afirmado que
para todo conjunto X , el retıculo P(X ) es un algebra de Boole.
Ahora nos preguntamos,
si n ∈ Z+ y Dn es el conjunto de los divisores de n en Z+,¿ es Dn un algebra de Boole?.
Veamos otros casos particulares
![Page 68: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/68.jpg)
Algebras de Boole Algebras de Heyting
Los divisores de un numero entero positivo
Hemos afirmado que
para todo conjunto X , el retıculo P(X ) es un algebra de Boole.
Ahora nos preguntamos,
si n ∈ Z+ y Dn es el conjunto de los divisores de n en Z+,¿ es Dn un algebra de Boole?.
Veamos otros casos particulares
![Page 69: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/69.jpg)
Algebras de Boole Algebras de Heyting
El retıculo D12
1
2 3
4 6
12
¬2 no existe
¡D12 no es un algebra de Boole!
![Page 70: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/70.jpg)
Algebras de Boole Algebras de Heyting
El retıculo D12
1
2 3
4 6
12
¬2 no existe
¡D12 no es un algebra de Boole!
![Page 71: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/71.jpg)
Algebras de Boole Algebras de Heyting
El retıculo D12
1
2 3
4 6
12
¬2 no existe
¡D12 no es un algebra de Boole!
![Page 72: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/72.jpg)
Algebras de Boole Algebras de Heyting
El retıculo D12
1
2 3
4 6
12
¬2 no existe
¡D12 no es un algebra de Boole!
![Page 73: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/73.jpg)
Algebras de Boole Algebras de Heyting
El retıculo D12
1
2 3
4 6
12
¬2 no existe
¡D12 no es un algebra de Boole!
![Page 74: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/74.jpg)
Algebras de Boole Algebras de Heyting
El retıculo D12
1
2 3
4 6
12
¬2 no existe
¡D12 no es un algebra de Boole!
![Page 75: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/75.jpg)
Algebras de Boole Algebras de Heyting
El retıculo D12
1
2 3
4 6
12
¬2 no existe
¡D12 no es un algebra de Boole!
![Page 76: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/76.jpg)
Algebras de Boole Algebras de Heyting
El retıculo D12
1
2 3
4 6
12
¬2 no existe
¡D12 no es un algebra de Boole!
![Page 77: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/77.jpg)
Algebras de Boole Algebras de Heyting
El retıculo D12
1
2 3
4 6
12
¬2 no existe
¡D12 no es un algebra de Boole!
![Page 78: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/78.jpg)
Algebras de Boole Algebras de Heyting
El retıculo D12
1
2 3
4 6
12
¬2 no existe
¡D12 no es un algebra de Boole!
![Page 79: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/79.jpg)
Algebras de Boole Algebras de Heyting
El retıculo Dn para n = p2q; p, q primos diferentes
1
p q
p2 pq
n
¬p no existe
¡Dn no es algebra de Boole!
¿Como estudiamos estos casos?
![Page 80: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/80.jpg)
Algebras de Boole Algebras de Heyting
El retıculo Dn para n = p2q; p, q primos diferentes
1
p q
p2 pq
n
¬p no existe
¡Dn no es algebra de Boole!
¿Como estudiamos estos casos?
![Page 81: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/81.jpg)
Algebras de Boole Algebras de Heyting
El retıculo Dn para n = p2q; p, q primos diferentes
1
p q
p2 pq
n
¬p no existe
¡Dn no es algebra de Boole!
¿Como estudiamos estos casos?
![Page 82: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/82.jpg)
Algebras de Boole Algebras de Heyting
El retıculo Dn para n = p2q; p, q primos diferentes
1
p q
p2 pq
n
¬p no existe
¡Dn no es algebra de Boole!
¿Como estudiamos estos casos?
![Page 83: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/83.jpg)
Algebras de Boole Algebras de Heyting
El retıculo Dn para n = p2q; p, q primos diferentes
1
p q
p2 pq
n
¬p no existe
¡Dn no es algebra de Boole!
¿Como estudiamos estos casos?
![Page 84: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/84.jpg)
Algebras de Boole Algebras de Heyting
El retıculo Dn para n = p2q; p, q primos diferentes
1
p q
p2 pq
n
¬p no existe
¡Dn no es algebra de Boole!
¿Como estudiamos estos casos?
![Page 85: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/85.jpg)
Algebras de Boole Algebras de Heyting
El retıculo Dn para n = p2q; p, q primos diferentes
1
p q
p2 pq
n
¬p no existe
¡Dn no es algebra de Boole!
¿Como estudiamos estos casos?
![Page 86: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/86.jpg)
Algebras de Boole Algebras de Heyting
El retıculo Dn para n = p2q; p, q primos diferentes
1
p q
p2 pq
n
¬p no existe
¡Dn no es algebra de Boole!
¿Como estudiamos estos casos?
![Page 87: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/87.jpg)
Algebras de Boole Algebras de Heyting
El retıculo Dn para n = p2q; p, q primos diferentes
1
p q
p2 pq
n
¬p no existe
¡Dn no es algebra de Boole!
¿Como estudiamos estos casos?
![Page 88: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/88.jpg)
Algebras de Boole Algebras de Heyting
El retıculo Dn para n = p2q; p, q primos diferentes
1
p q
p2 pq
n
¬p no existe
¡Dn no es algebra de Boole!
¿Como estudiamos estos casos?
![Page 89: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/89.jpg)
Algebras de Boole Algebras de Heyting
El retıculo Dn para n = p2q; p, q primos diferentes
1
p q
p2 pq
n
¬p no existe
¡Dn no es algebra de Boole!
¿Como estudiamos estos casos?
![Page 90: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/90.jpg)
Algebras de Boole Algebras de Heyting
Nueva negacion
Una manera de hacerlo es redefiniendo la negacion en los retıculosDn :
Definicion
Para cada n ∈ Z+, sea Dn es el conjunto de los divisores de n enZ+. Si a ∈ Dn , se define
¬a =∨b ∈ Dn | b ∧ a = 1 = m.c .mb ∈ Dn | b ∧ a = 1.
Ejemplo
En D12 se tiene que¬1 = 12¬2 = 3¬3 = 4
¬4 = 3¬6 = 1¬12 = 1
![Page 91: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/91.jpg)
Algebras de Boole Algebras de Heyting
Nueva negacion
Una manera de hacerlo es redefiniendo la negacion en los retıculosDn :
Definicion
Para cada n ∈ Z+, sea Dn es el conjunto de los divisores de n enZ+. Si a ∈ Dn , se define
¬a =∨b ∈ Dn | b ∧ a = 1 = m.c .mb ∈ Dn | b ∧ a = 1.
Ejemplo
En D12 se tiene que¬1 = 12¬2 = 3¬3 = 4
¬4 = 3¬6 = 1¬12 = 1
![Page 92: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/92.jpg)
Algebras de Boole Algebras de Heyting
Nueva negacion
Una manera de hacerlo es redefiniendo la negacion en los retıculosDn :
Definicion
Para cada n ∈ Z+, sea Dn es el conjunto de los divisores de n enZ+. Si a ∈ Dn , se define
¬a =∨b ∈ Dn | b ∧ a = 1 = m.c .mb ∈ Dn | b ∧ a = 1.
Ejemplo
En D12 se tiene que¬1 = 12¬2 = 3¬3 = 4
¬4 = 3¬6 = 1¬12 = 1
![Page 93: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/93.jpg)
Algebras de Boole Algebras de Heyting
Nueva negacion
Una manera de hacerlo es redefiniendo la negacion en los retıculosDn :
Definicion
Para cada n ∈ Z+, sea Dn es el conjunto de los divisores de n enZ+. Si a ∈ Dn , se define
¬a =∨b ∈ Dn | b ∧ a = 1 = m.c .mb ∈ Dn | b ∧ a = 1.
Ejemplo
En D12 se tiene que
¬1 = 12¬2 = 3¬3 = 4
¬4 = 3¬6 = 1¬12 = 1
![Page 94: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/94.jpg)
Algebras de Boole Algebras de Heyting
Nueva negacion
Una manera de hacerlo es redefiniendo la negacion en los retıculosDn :
Definicion
Para cada n ∈ Z+, sea Dn es el conjunto de los divisores de n enZ+. Si a ∈ Dn , se define
¬a =∨b ∈ Dn | b ∧ a = 1 = m.c .mb ∈ Dn | b ∧ a = 1.
Ejemplo
En D12 se tiene que¬1 = 12
¬2 = 3¬3 = 4
¬4 = 3¬6 = 1¬12 = 1
![Page 95: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/95.jpg)
Algebras de Boole Algebras de Heyting
Nueva negacion
Una manera de hacerlo es redefiniendo la negacion en los retıculosDn :
Definicion
Para cada n ∈ Z+, sea Dn es el conjunto de los divisores de n enZ+. Si a ∈ Dn , se define
¬a =∨b ∈ Dn | b ∧ a = 1 = m.c .mb ∈ Dn | b ∧ a = 1.
Ejemplo
En D12 se tiene que¬1 = 12¬2 = 3
¬3 = 4
¬4 = 3¬6 = 1¬12 = 1
![Page 96: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/96.jpg)
Algebras de Boole Algebras de Heyting
Nueva negacion
Una manera de hacerlo es redefiniendo la negacion en los retıculosDn :
Definicion
Para cada n ∈ Z+, sea Dn es el conjunto de los divisores de n enZ+. Si a ∈ Dn , se define
¬a =∨b ∈ Dn | b ∧ a = 1 = m.c .mb ∈ Dn | b ∧ a = 1.
Ejemplo
En D12 se tiene que¬1 = 12¬2 = 3¬3 = 4
¬4 = 3¬6 = 1¬12 = 1
![Page 97: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/97.jpg)
Algebras de Boole Algebras de Heyting
Nueva negacion
Una manera de hacerlo es redefiniendo la negacion en los retıculosDn :
Definicion
Para cada n ∈ Z+, sea Dn es el conjunto de los divisores de n enZ+. Si a ∈ Dn , se define
¬a =∨b ∈ Dn | b ∧ a = 1 = m.c .mb ∈ Dn | b ∧ a = 1.
Ejemplo
En D12 se tiene que¬1 = 12¬2 = 3¬3 = 4
¬4 = 3
¬6 = 1¬12 = 1
![Page 98: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/98.jpg)
Algebras de Boole Algebras de Heyting
Nueva negacion
Una manera de hacerlo es redefiniendo la negacion en los retıculosDn :
Definicion
Para cada n ∈ Z+, sea Dn es el conjunto de los divisores de n enZ+. Si a ∈ Dn , se define
¬a =∨b ∈ Dn | b ∧ a = 1 = m.c .mb ∈ Dn | b ∧ a = 1.
Ejemplo
En D12 se tiene que¬1 = 12¬2 = 3¬3 = 4
¬4 = 3¬6 = 1
¬12 = 1
![Page 99: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/99.jpg)
Algebras de Boole Algebras de Heyting
Nueva negacion
Una manera de hacerlo es redefiniendo la negacion en los retıculosDn :
Definicion
Para cada n ∈ Z+, sea Dn es el conjunto de los divisores de n enZ+. Si a ∈ Dn , se define
¬a =∨b ∈ Dn | b ∧ a = 1 = m.c .mb ∈ Dn | b ∧ a = 1.
Ejemplo
En D12 se tiene que¬1 = 12¬2 = 3¬3 = 4
¬4 = 3¬6 = 1¬12 = 1
![Page 100: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/100.jpg)
Algebras de Boole Algebras de Heyting
Ejemplo
En Dp2q se tiene que
¬1 = p2q¬p = q¬q = p2
¬p2 = q¬pq = 1¬p2q = 1
Notas
El retıculo D12,∧,∨,¬, 1, n) es un algebra de Heyting.
El retıculo Dp2q,∧,∨,¬, 1, n) es un algebra de Heyting.
En el penultimo ejemplo ¬¬2 = ¬3 = 4 6= 2, por lo tanto lalogica de D12 no es clasica, es una logica intuicionista.
En el ejemplo anterior ¬¬p = ¬q = p2 6= p, por lo tanto lalogica de Dp2q no es clasica, es una logica intuicionista.
![Page 101: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/101.jpg)
Algebras de Boole Algebras de Heyting
Ejemplo
En Dp2q se tiene que
¬1 = p2q
¬p = q¬q = p2
¬p2 = q¬pq = 1¬p2q = 1
Notas
El retıculo D12,∧,∨,¬, 1, n) es un algebra de Heyting.
El retıculo Dp2q,∧,∨,¬, 1, n) es un algebra de Heyting.
En el penultimo ejemplo ¬¬2 = ¬3 = 4 6= 2, por lo tanto lalogica de D12 no es clasica, es una logica intuicionista.
En el ejemplo anterior ¬¬p = ¬q = p2 6= p, por lo tanto lalogica de Dp2q no es clasica, es una logica intuicionista.
![Page 102: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/102.jpg)
Algebras de Boole Algebras de Heyting
Ejemplo
En Dp2q se tiene que
¬1 = p2q¬p = q
¬q = p2
¬p2 = q¬pq = 1¬p2q = 1
Notas
El retıculo D12,∧,∨,¬, 1, n) es un algebra de Heyting.
El retıculo Dp2q,∧,∨,¬, 1, n) es un algebra de Heyting.
En el penultimo ejemplo ¬¬2 = ¬3 = 4 6= 2, por lo tanto lalogica de D12 no es clasica, es una logica intuicionista.
En el ejemplo anterior ¬¬p = ¬q = p2 6= p, por lo tanto lalogica de Dp2q no es clasica, es una logica intuicionista.
![Page 103: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/103.jpg)
Algebras de Boole Algebras de Heyting
Ejemplo
En Dp2q se tiene que
¬1 = p2q¬p = q¬q = p2
¬p2 = q¬pq = 1¬p2q = 1
Notas
El retıculo D12,∧,∨,¬, 1, n) es un algebra de Heyting.
El retıculo Dp2q,∧,∨,¬, 1, n) es un algebra de Heyting.
En el penultimo ejemplo ¬¬2 = ¬3 = 4 6= 2, por lo tanto lalogica de D12 no es clasica, es una logica intuicionista.
En el ejemplo anterior ¬¬p = ¬q = p2 6= p, por lo tanto lalogica de Dp2q no es clasica, es una logica intuicionista.
![Page 104: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/104.jpg)
Algebras de Boole Algebras de Heyting
Ejemplo
En Dp2q se tiene que
¬1 = p2q¬p = q¬q = p2
¬p2 = q
¬pq = 1¬p2q = 1
Notas
El retıculo D12,∧,∨,¬, 1, n) es un algebra de Heyting.
El retıculo Dp2q,∧,∨,¬, 1, n) es un algebra de Heyting.
En el penultimo ejemplo ¬¬2 = ¬3 = 4 6= 2, por lo tanto lalogica de D12 no es clasica, es una logica intuicionista.
En el ejemplo anterior ¬¬p = ¬q = p2 6= p, por lo tanto lalogica de Dp2q no es clasica, es una logica intuicionista.
![Page 105: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/105.jpg)
Algebras de Boole Algebras de Heyting
Ejemplo
En Dp2q se tiene que
¬1 = p2q¬p = q¬q = p2
¬p2 = q¬pq = 1
¬p2q = 1
Notas
El retıculo D12,∧,∨,¬, 1, n) es un algebra de Heyting.
El retıculo Dp2q,∧,∨,¬, 1, n) es un algebra de Heyting.
En el penultimo ejemplo ¬¬2 = ¬3 = 4 6= 2, por lo tanto lalogica de D12 no es clasica, es una logica intuicionista.
En el ejemplo anterior ¬¬p = ¬q = p2 6= p, por lo tanto lalogica de Dp2q no es clasica, es una logica intuicionista.
![Page 106: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/106.jpg)
Algebras de Boole Algebras de Heyting
Ejemplo
En Dp2q se tiene que
¬1 = p2q¬p = q¬q = p2
¬p2 = q¬pq = 1¬p2q = 1
Notas
El retıculo D12,∧,∨,¬, 1, n) es un algebra de Heyting.
El retıculo Dp2q,∧,∨,¬, 1, n) es un algebra de Heyting.
En el penultimo ejemplo ¬¬2 = ¬3 = 4 6= 2, por lo tanto lalogica de D12 no es clasica, es una logica intuicionista.
En el ejemplo anterior ¬¬p = ¬q = p2 6= p, por lo tanto lalogica de Dp2q no es clasica, es una logica intuicionista.
![Page 107: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/107.jpg)
Algebras de Boole Algebras de Heyting
Ejemplo
En Dp2q se tiene que
¬1 = p2q¬p = q¬q = p2
¬p2 = q¬pq = 1¬p2q = 1
Notas
El retıculo D12,∧,∨,¬, 1, n) es un algebra de Heyting.
El retıculo Dp2q,∧,∨,¬, 1, n) es un algebra de Heyting.
En el penultimo ejemplo ¬¬2 = ¬3 = 4 6= 2, por lo tanto lalogica de D12 no es clasica, es una logica intuicionista.
En el ejemplo anterior ¬¬p = ¬q = p2 6= p, por lo tanto lalogica de Dp2q no es clasica, es una logica intuicionista.
![Page 108: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/108.jpg)
Algebras de Boole Algebras de Heyting
Ejemplo
En Dp2q se tiene que
¬1 = p2q¬p = q¬q = p2
¬p2 = q¬pq = 1¬p2q = 1
Notas
El retıculo D12,∧,∨,¬, 1, n) es un algebra de Heyting.
El retıculo Dp2q,∧,∨,¬, 1, n) es un algebra de Heyting.
En el penultimo ejemplo ¬¬2 = ¬3 = 4 6= 2, por lo tanto lalogica de D12 no es clasica, es una logica intuicionista.
En el ejemplo anterior ¬¬p = ¬q = p2 6= p, por lo tanto lalogica de Dp2q no es clasica, es una logica intuicionista.
![Page 109: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/109.jpg)
Algebras de Boole Algebras de Heyting
Ejemplo
En Dp2q se tiene que
¬1 = p2q¬p = q¬q = p2
¬p2 = q¬pq = 1¬p2q = 1
Notas
El retıculo D12,∧,∨,¬, 1, n) es un algebra de Heyting.
El retıculo Dp2q,∧,∨,¬, 1, n) es un algebra de Heyting.
En el penultimo ejemplo ¬¬2 = ¬3 = 4 6= 2, por lo tanto lalogica de D12 no es clasica, es una logica intuicionista.
En el ejemplo anterior ¬¬p = ¬q = p2 6= p, por lo tanto lalogica de Dp2q no es clasica, es una logica intuicionista.
![Page 110: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/110.jpg)
Parte IV
EJERCICIOS
![Page 111: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/111.jpg)
Es interesante analizar situaciones como las siguientes:
Encontrar los n ∈ Z+ para los cuales Dn es un algebra deBoole.
Cada retıculo (Dn,∧,∨,¬, 1, n) es un algebra de Heyting.
Toda algebra de Boole es un algebra de Heyting.
Encontrar operaciones binarias en Z+ distintas a la suma, lamultiplicacion, el m.c.m y el m.c.d.
Estudiar las logicas asociadas a los retıculos.
Sugerencia
Utilice el Teorema Fundamental de la aritmetica
¿ Que podemos hacer con estos resultados?
![Page 112: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/112.jpg)
Es interesante analizar situaciones como las siguientes:
Encontrar los n ∈ Z+ para los cuales Dn es un algebra deBoole.
Cada retıculo (Dn,∧,∨,¬, 1, n) es un algebra de Heyting.
Toda algebra de Boole es un algebra de Heyting.
Encontrar operaciones binarias en Z+ distintas a la suma, lamultiplicacion, el m.c.m y el m.c.d.
Estudiar las logicas asociadas a los retıculos.
Sugerencia
Utilice el Teorema Fundamental de la aritmetica
¿ Que podemos hacer con estos resultados?
![Page 113: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/113.jpg)
Es interesante analizar situaciones como las siguientes:
Encontrar los n ∈ Z+ para los cuales Dn es un algebra deBoole.
Cada retıculo (Dn,∧,∨,¬, 1, n) es un algebra de Heyting.
Toda algebra de Boole es un algebra de Heyting.
Encontrar operaciones binarias en Z+ distintas a la suma, lamultiplicacion, el m.c.m y el m.c.d.
Estudiar las logicas asociadas a los retıculos.
Sugerencia
Utilice el Teorema Fundamental de la aritmetica
¿ Que podemos hacer con estos resultados?
![Page 114: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/114.jpg)
Es interesante analizar situaciones como las siguientes:
Encontrar los n ∈ Z+ para los cuales Dn es un algebra deBoole.
Cada retıculo (Dn,∧,∨,¬, 1, n) es un algebra de Heyting.
Toda algebra de Boole es un algebra de Heyting.
Encontrar operaciones binarias en Z+ distintas a la suma, lamultiplicacion, el m.c.m y el m.c.d.
Estudiar las logicas asociadas a los retıculos.
Sugerencia
Utilice el Teorema Fundamental de la aritmetica
¿ Que podemos hacer con estos resultados?
![Page 115: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/115.jpg)
Es interesante analizar situaciones como las siguientes:
Encontrar los n ∈ Z+ para los cuales Dn es un algebra deBoole.
Cada retıculo (Dn,∧,∨,¬, 1, n) es un algebra de Heyting.
Toda algebra de Boole es un algebra de Heyting.
Encontrar operaciones binarias en Z+ distintas a la suma, lamultiplicacion, el m.c.m y el m.c.d.
Estudiar las logicas asociadas a los retıculos.
Sugerencia
Utilice el Teorema Fundamental de la aritmetica
¿ Que podemos hacer con estos resultados?
![Page 116: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/116.jpg)
Es interesante analizar situaciones como las siguientes:
Encontrar los n ∈ Z+ para los cuales Dn es un algebra deBoole.
Cada retıculo (Dn,∧,∨,¬, 1, n) es un algebra de Heyting.
Toda algebra de Boole es un algebra de Heyting.
Encontrar operaciones binarias en Z+ distintas a la suma, lamultiplicacion, el m.c.m y el m.c.d.
Estudiar las logicas asociadas a los retıculos.
Sugerencia
Utilice el Teorema Fundamental de la aritmetica
¿ Que podemos hacer con estos resultados?
![Page 117: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/117.jpg)
Es interesante analizar situaciones como las siguientes:
Encontrar los n ∈ Z+ para los cuales Dn es un algebra deBoole.
Cada retıculo (Dn,∧,∨,¬, 1, n) es un algebra de Heyting.
Toda algebra de Boole es un algebra de Heyting.
Encontrar operaciones binarias en Z+ distintas a la suma, lamultiplicacion, el m.c.m y el m.c.d.
Estudiar las logicas asociadas a los retıculos.
Sugerencia
Utilice el Teorema Fundamental de la aritmetica
¿ Que podemos hacer con estos resultados?
![Page 118: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/118.jpg)
Es interesante analizar situaciones como las siguientes:
Encontrar los n ∈ Z+ para los cuales Dn es un algebra deBoole.
Cada retıculo (Dn,∧,∨,¬, 1, n) es un algebra de Heyting.
Toda algebra de Boole es un algebra de Heyting.
Encontrar operaciones binarias en Z+ distintas a la suma, lamultiplicacion, el m.c.m y el m.c.d.
Estudiar las logicas asociadas a los retıculos.
Sugerencia
Utilice el Teorema Fundamental de la aritmetica
¿ Que podemos hacer con estos resultados?
![Page 119: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/119.jpg)
Conjuntos parcialmente ordenados Categorıas
Parte V
Retıculos y categorıas
![Page 120: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/120.jpg)
Conjuntos parcialmente ordenados Categorıas
Definicion
El orden multiplicativo en Z+ se define ası: para todo a, b ∈ Z+,a ≺ b si y solo si existe c ∈ Z+ tal que a = bc.
En lo que sigue, Z+M denota el conjunto parcialmente ordenado
(Z+,≺).
Definicion
El orden de la divisibilidad en Z+ se define como sigue: para todok , n ∈ Z+, k 6 n si y solo si existe t ∈ Z+ tal que n = kt.
Denotaremos por Z+D al conjunto parcialmente ordenado (Z+,6).
![Page 121: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/121.jpg)
Conjuntos parcialmente ordenados Categorıas
Definicion
El orden multiplicativo en Z+ se define ası: para todo a, b ∈ Z+,a ≺ b si y solo si existe c ∈ Z+ tal que a = bc.
En lo que sigue, Z+M denota el conjunto parcialmente ordenado
(Z+,≺).
Definicion
El orden de la divisibilidad en Z+ se define como sigue: para todok , n ∈ Z+, k 6 n si y solo si existe t ∈ Z+ tal que n = kt.
Denotaremos por Z+D al conjunto parcialmente ordenado (Z+,6).
![Page 122: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/122.jpg)
Conjuntos parcialmente ordenados Categorıas
Definicion
El orden multiplicativo en Z+ se define ası: para todo a, b ∈ Z+,a ≺ b si y solo si existe c ∈ Z+ tal que a = bc.
En lo que sigue, Z+M denota el conjunto parcialmente ordenado
(Z+,≺).
Definicion
El orden de la divisibilidad en Z+ se define como sigue: para todok , n ∈ Z+, k 6 n si y solo si existe t ∈ Z+ tal que n = kt.
Denotaremos por Z+D al conjunto parcialmente ordenado (Z+,6).
![Page 123: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/123.jpg)
Conjuntos parcialmente ordenados Categorıas
Definicion
El orden multiplicativo en Z+ se define ası: para todo a, b ∈ Z+,a ≺ b si y solo si existe c ∈ Z+ tal que a = bc.
En lo que sigue, Z+M denota el conjunto parcialmente ordenado
(Z+,≺).
Definicion
El orden de la divisibilidad en Z+ se define como sigue: para todok , n ∈ Z+, k 6 n si y solo si existe t ∈ Z+ tal que n = kt.
Denotaremos por Z+D al conjunto parcialmente ordenado (Z+,6).
![Page 124: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/124.jpg)
Conjuntos parcialmente ordenados Categorıas
De A. J. Lindenhovius ([4]), tomamos las ideas siguientes
Definicion
Sean (P,6) un conjunto parcialmente ordenado y M ⊆ P. M esun conjunto superior ( up-set) si para cada x ∈ M, y ∈ P tenemosque x 6 y implica que y ∈ M. En forma parecida, M es unconjunto inferior (down-set) si para cada x ∈ M, y ∈ P tenemosque y 6 x implica que y ∈ M.
Para x ∈ P, definimos los conjuntos superior e inferior generadospor x mediante ↑ x = y ∈ P : x 6 y; ↓ x = y ∈ P : y 6 x,respectivamente.Tambien definimos el conjunto superior generado por unsubconjunto M de P mediante↑ M = x ∈ P : m 6 x para algun m ∈ M =
⋃m∈M ↑ m, y
similarmente, el conjunto inferior generado por M es↓ M =
⋃m∈M ↓ m.
![Page 125: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/125.jpg)
Conjuntos parcialmente ordenados Categorıas
De A. J. Lindenhovius ([4]), tomamos las ideas siguientes
Definicion
Sean (P,6) un conjunto parcialmente ordenado y M ⊆ P. M esun conjunto superior ( up-set) si para cada x ∈ M, y ∈ P tenemosque x 6 y implica que y ∈ M. En forma parecida, M es unconjunto inferior (down-set) si para cada x ∈ M, y ∈ P tenemosque y 6 x implica que y ∈ M.Para x ∈ P, definimos los conjuntos superior e inferior generadospor x mediante ↑ x = y ∈ P : x 6 y; ↓ x = y ∈ P : y 6 x,respectivamente.
Tambien definimos el conjunto superior generado por unsubconjunto M de P mediante↑ M = x ∈ P : m 6 x para algun m ∈ M =
⋃m∈M ↑ m, y
similarmente, el conjunto inferior generado por M es↓ M =
⋃m∈M ↓ m.
![Page 126: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/126.jpg)
Conjuntos parcialmente ordenados Categorıas
De A. J. Lindenhovius ([4]), tomamos las ideas siguientes
Definicion
Sean (P,6) un conjunto parcialmente ordenado y M ⊆ P. M esun conjunto superior ( up-set) si para cada x ∈ M, y ∈ P tenemosque x 6 y implica que y ∈ M. En forma parecida, M es unconjunto inferior (down-set) si para cada x ∈ M, y ∈ P tenemosque y 6 x implica que y ∈ M.Para x ∈ P, definimos los conjuntos superior e inferior generadospor x mediante ↑ x = y ∈ P : x 6 y; ↓ x = y ∈ P : y 6 x,respectivamente.Tambien definimos el conjunto superior generado por unsubconjunto M de P mediante↑ M = x ∈ P : m 6 x para algun m ∈ M =
⋃m∈M ↑ m, y
similarmente, el conjunto inferior generado por M es↓ M =
⋃m∈M ↓ m.
![Page 127: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/127.jpg)
Conjuntos parcialmente ordenados Categorıas
Denotaremos por U(P) a la coleccion de todos los conjuntossuperiores de un conjunto parcialmente ordenado P, y por D(P) ala coleccion de todos sus conjuntos inferiores.
En el caso Z+D := (Z+,6), podemos observar que
El conjunto inferior generado por n ∈ Z+ es↓ n = k ∈ Z+ : k 6 n = Dn, el conjunto de los divisores den.
Si M ⊆ Z+ entonces el conjunto inferior generado por M es↓ M =
⋃m∈M Dm.
El conjunto superior generado por n ∈ Z+ es↑ n = k ∈ Z+ : n 6 k = Mn, el conjunto de todos losmultiplos de n.
Si P ⊆ Z+ entonces el conjunto superior generado por P es↑ M =
⋃p∈P Mp.
![Page 128: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/128.jpg)
Conjuntos parcialmente ordenados Categorıas
Denotaremos por U(P) a la coleccion de todos los conjuntossuperiores de un conjunto parcialmente ordenado P, y por D(P) ala coleccion de todos sus conjuntos inferiores.
En el caso Z+D := (Z+,6), podemos observar que
El conjunto inferior generado por n ∈ Z+ es↓ n = k ∈ Z+ : k 6 n = Dn, el conjunto de los divisores den.
Si M ⊆ Z+ entonces el conjunto inferior generado por M es↓ M =
⋃m∈M Dm.
El conjunto superior generado por n ∈ Z+ es↑ n = k ∈ Z+ : n 6 k = Mn, el conjunto de todos losmultiplos de n.
Si P ⊆ Z+ entonces el conjunto superior generado por P es↑ M =
⋃p∈P Mp.
![Page 129: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/129.jpg)
Conjuntos parcialmente ordenados Categorıas
Denotaremos por U(P) a la coleccion de todos los conjuntossuperiores de un conjunto parcialmente ordenado P, y por D(P) ala coleccion de todos sus conjuntos inferiores.
En el caso Z+D := (Z+,6), podemos observar que
El conjunto inferior generado por n ∈ Z+ es↓ n = k ∈ Z+ : k 6 n = Dn, el conjunto de los divisores den.
Si M ⊆ Z+ entonces el conjunto inferior generado por M es↓ M =
⋃m∈M Dm.
El conjunto superior generado por n ∈ Z+ es↑ n = k ∈ Z+ : n 6 k = Mn, el conjunto de todos losmultiplos de n.
Si P ⊆ Z+ entonces el conjunto superior generado por P es↑ M =
⋃p∈P Mp.
![Page 130: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/130.jpg)
Conjuntos parcialmente ordenados Categorıas
Denotaremos por U(P) a la coleccion de todos los conjuntossuperiores de un conjunto parcialmente ordenado P, y por D(P) ala coleccion de todos sus conjuntos inferiores.
En el caso Z+D := (Z+,6), podemos observar que
El conjunto inferior generado por n ∈ Z+ es↓ n = k ∈ Z+ : k 6 n = Dn, el conjunto de los divisores den.
Si M ⊆ Z+ entonces el conjunto inferior generado por M es↓ M =
⋃m∈M Dm.
El conjunto superior generado por n ∈ Z+ es↑ n = k ∈ Z+ : n 6 k = Mn, el conjunto de todos losmultiplos de n.
Si P ⊆ Z+ entonces el conjunto superior generado por P es↑ M =
⋃p∈P Mp.
![Page 131: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/131.jpg)
Conjuntos parcialmente ordenados Categorıas
Denotaremos por U(P) a la coleccion de todos los conjuntossuperiores de un conjunto parcialmente ordenado P, y por D(P) ala coleccion de todos sus conjuntos inferiores.
En el caso Z+D := (Z+,6), podemos observar que
El conjunto inferior generado por n ∈ Z+ es↓ n = k ∈ Z+ : k 6 n = Dn, el conjunto de los divisores den.
Si M ⊆ Z+ entonces el conjunto inferior generado por M es↓ M =
⋃m∈M Dm.
El conjunto superior generado por n ∈ Z+ es↑ n = k ∈ Z+ : n 6 k = Mn, el conjunto de todos losmultiplos de n.
Si P ⊆ Z+ entonces el conjunto superior generado por P es↑ M =
⋃p∈P Mp.
![Page 132: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/132.jpg)
Conjuntos parcialmente ordenados Categorıas
Denotaremos por U(P) a la coleccion de todos los conjuntossuperiores de un conjunto parcialmente ordenado P, y por D(P) ala coleccion de todos sus conjuntos inferiores.
En el caso Z+D := (Z+,6), podemos observar que
El conjunto inferior generado por n ∈ Z+ es↓ n = k ∈ Z+ : k 6 n = Dn, el conjunto de los divisores den.
Si M ⊆ Z+ entonces el conjunto inferior generado por M es↓ M =
⋃m∈M Dm.
El conjunto superior generado por n ∈ Z+ es↑ n = k ∈ Z+ : n 6 k = Mn, el conjunto de todos losmultiplos de n.
Si P ⊆ Z+ entonces el conjunto superior generado por P es↑ M =
⋃p∈P Mp.
![Page 133: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/133.jpg)
Conjuntos parcialmente ordenados Categorıas
Z+D es una categorıa
Utilizando los resultados de S. MacLane y I. Moerdijk (ver [7]),tenemos que un retıculo L es un conjunto parcialmente ordenadoque, considerado como una categorıa, posee todos los productos ycoproductos binarios.
De esta manera, si m, n, k son objetos de L = Z+D entonces m 6 n
si y solo si existe una unica flecha m→ n, el coproducto de m y n(i.e. su pushout) es la mınima cota superior, o mınimo comunmultiplo,
m ∨ n = m.c .mm, ny su producto (i.e. su pullback) es la maxima cota inferior, omaximo comun divisor,
m ∧ n = m.c .dm, n .Es claro que Z+
D es un retıculo distributivo.
![Page 134: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/134.jpg)
Conjuntos parcialmente ordenados Categorıas
Z+D es una categorıa
Utilizando los resultados de S. MacLane y I. Moerdijk (ver [7]),tenemos que un retıculo L es un conjunto parcialmente ordenadoque, considerado como una categorıa, posee todos los productos ycoproductos binarios.De esta manera, si m, n, k son objetos de L = Z+
D entonces m 6 nsi y solo si existe una unica flecha m→ n, el coproducto de m y n(i.e. su pushout) es la mınima cota superior, o mınimo comunmultiplo,
m ∨ n = m.c .mm, n
y su producto (i.e. su pullback) es la maxima cota inferior, omaximo comun divisor,
m ∧ n = m.c .dm, n .Es claro que Z+
D es un retıculo distributivo.
![Page 135: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/135.jpg)
Conjuntos parcialmente ordenados Categorıas
Z+D es una categorıa
Utilizando los resultados de S. MacLane y I. Moerdijk (ver [7]),tenemos que un retıculo L es un conjunto parcialmente ordenadoque, considerado como una categorıa, posee todos los productos ycoproductos binarios.De esta manera, si m, n, k son objetos de L = Z+
D entonces m 6 nsi y solo si existe una unica flecha m→ n, el coproducto de m y n(i.e. su pushout) es la mınima cota superior, o mınimo comunmultiplo,
m ∨ n = m.c .mm, ny su producto (i.e. su pullback) es la maxima cota inferior, omaximo comun divisor,
m ∧ n = m.c .dm, n .
Es claro que Z+D es un retıculo distributivo.
![Page 136: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/136.jpg)
Conjuntos parcialmente ordenados Categorıas
Z+D es una categorıa
Utilizando los resultados de S. MacLane y I. Moerdijk (ver [7]),tenemos que un retıculo L es un conjunto parcialmente ordenadoque, considerado como una categorıa, posee todos los productos ycoproductos binarios.De esta manera, si m, n, k son objetos de L = Z+
D entonces m 6 nsi y solo si existe una unica flecha m→ n, el coproducto de m y n(i.e. su pushout) es la mınima cota superior, o mınimo comunmultiplo,
m ∨ n = m.c .mm, ny su producto (i.e. su pullback) es la maxima cota inferior, omaximo comun divisor,
m ∧ n = m.c .dm, n .Es claro que Z+
D es un retıculo distributivo.
![Page 137: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/137.jpg)
Conjuntos parcialmente ordenados Categorıas
Por otra parte, para cada objeto n in Z+D , el conjunto Dn de los
divisores de n es un algebra de Heyting:
la exponencial nk , para n, k ∈ Z+, que se suele denotar por k ⇒ n;esta completamente caracterizada por la adjuncion
t 6 (k ⇒ n) si y solo si m.c.dt, k 6 n. (1)
En otras palabras, k ⇒ n es el mınimo comun multiplo de todoslos objetos t que cumplen m.c.dt, k 6 n.En cualquier algebra de Heyting algebra se define la negacion de xcomo
¬x = (x ⇒ 0). (2)
![Page 138: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/138.jpg)
Conjuntos parcialmente ordenados Categorıas
Por otra parte, para cada objeto n in Z+D , el conjunto Dn de los
divisores de n es un algebra de Heyting:la exponencial nk , para n, k ∈ Z+, que se suele denotar por k ⇒ n;esta completamente caracterizada por la adjuncion
t 6 (k ⇒ n) si y solo si m.c.dt, k 6 n. (1)
En otras palabras, k ⇒ n es el mınimo comun multiplo de todoslos objetos t que cumplen m.c.dt, k 6 n.En cualquier algebra de Heyting algebra se define la negacion de xcomo
¬x = (x ⇒ 0). (2)
![Page 139: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/139.jpg)
Conjuntos parcialmente ordenados Categorıas
Por otra parte, para cada objeto n in Z+D , el conjunto Dn de los
divisores de n es un algebra de Heyting:la exponencial nk , para n, k ∈ Z+, que se suele denotar por k ⇒ n;esta completamente caracterizada por la adjuncion
t 6 (k ⇒ n) si y solo si m.c.dt, k 6 n. (1)
En otras palabras, k ⇒ n es el mınimo comun multiplo de todoslos objetos t que cumplen m.c.dt, k 6 n.
En cualquier algebra de Heyting algebra se define la negacion de xcomo
¬x = (x ⇒ 0). (2)
![Page 140: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/140.jpg)
Conjuntos parcialmente ordenados Categorıas
Por otra parte, para cada objeto n in Z+D , el conjunto Dn de los
divisores de n es un algebra de Heyting:la exponencial nk , para n, k ∈ Z+, que se suele denotar por k ⇒ n;esta completamente caracterizada por la adjuncion
t 6 (k ⇒ n) si y solo si m.c.dt, k 6 n. (1)
En otras palabras, k ⇒ n es el mınimo comun multiplo de todoslos objetos t que cumplen m.c.dt, k 6 n.En cualquier algebra de Heyting algebra se define la negacion de xcomo
¬x = (x ⇒ 0). (2)
![Page 141: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/141.jpg)
Conjuntos parcialmente ordenados Categorıas
En consecuencia, para n in Z+D
¬n = (n⇒ 1) = m.c .mt ∈ Z+ | m.c .dt, n = 1. (3)
Las propiedades mas usuales de la negacion son
Proposicion
En la algebra de Heyting Dn,
(i) n 6 ¬¬n,
(ii) n 6 k implica que ¬k 6 ¬n,
(iii) ¬n = ¬¬¬n,
(iv) ¬¬ m.c .dn, k = m.c .d¬¬n,¬¬k.
![Page 142: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/142.jpg)
Conjuntos parcialmente ordenados Categorıas
En consecuencia, para n in Z+D
¬n = (n⇒ 1) = m.c .mt ∈ Z+ | m.c .dt, n = 1. (3)
Las propiedades mas usuales de la negacion son
Proposicion
En la algebra de Heyting Dn,
(i) n 6 ¬¬n,
(ii) n 6 k implica que ¬k 6 ¬n,
(iii) ¬n = ¬¬¬n,
(iv) ¬¬ m.c .dn, k = m.c .d¬¬n,¬¬k.
![Page 143: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/143.jpg)
Conjuntos parcialmente ordenados Categorıas
En consecuencia, para n in Z+D
¬n = (n⇒ 1) = m.c .mt ∈ Z+ | m.c .dt, n = 1. (3)
Las propiedades mas usuales de la negacion son
Proposicion
En la algebra de Heyting Dn,
(i) n 6 ¬¬n,
(ii) n 6 k implica que ¬k 6 ¬n,
(iii) ¬n = ¬¬¬n,
(iv) ¬¬ m.c .dn, k = m.c .d¬¬n,¬¬k.
![Page 144: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/144.jpg)
Conjuntos parcialmente ordenados Categorıas
En consecuencia, para n in Z+D
¬n = (n⇒ 1) = m.c .mt ∈ Z+ | m.c .dt, n = 1. (3)
Las propiedades mas usuales de la negacion son
Proposicion
En la algebra de Heyting Dn,
(i) n 6 ¬¬n,
(ii) n 6 k implica que ¬k 6 ¬n,
(iii) ¬n = ¬¬¬n,
(iv) ¬¬ m.c .dn, k = m.c .d¬¬n,¬¬k.
![Page 145: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/145.jpg)
Conjuntos parcialmente ordenados Categorıas
Demostracion.
Ver S. MacLane and I. Moerdijk ([7] pp 53-54)
Notas
La categorıa Z+D es la opuesta de la categorıa Z+
M ; realmenteson la misma cosa, de igual manera que un locale es lo mismoque un frame (see P. T. Johnstone [3]).
Utilizando el Teorema fundamental de la Aritmetica, es facildeducir que si n ∈ Z+ es el producto de un numero finito deprimos distintos entonces Dn es un algebra de Boole.
![Page 146: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/146.jpg)
Conjuntos parcialmente ordenados Categorıas
Demostracion.
Ver S. MacLane and I. Moerdijk ([7] pp 53-54)
Notas
La categorıa Z+D es la opuesta de la categorıa Z+
M ; realmenteson la misma cosa, de igual manera que un locale es lo mismoque un frame (see P. T. Johnstone [3]).
Utilizando el Teorema fundamental de la Aritmetica, es facildeducir que si n ∈ Z+ es el producto de un numero finito deprimos distintos entonces Dn es un algebra de Boole.
![Page 147: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/147.jpg)
Conjuntos parcialmente ordenados Categorıas
Demostracion.
Ver S. MacLane and I. Moerdijk ([7] pp 53-54)
Notas
La categorıa Z+D es la opuesta de la categorıa Z+
M ; realmenteson la misma cosa, de igual manera que un locale es lo mismoque un frame (see P. T. Johnstone [3]).
Utilizando el Teorema fundamental de la Aritmetica, es facildeducir que si n ∈ Z+ es el producto de un numero finito deprimos distintos entonces Dn es un algebra de Boole.
![Page 148: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/148.jpg)
Topologıas de Grothendieck en Z+D
Topologıas de Grothendieck y sus haces Subobjetos classificadores para topoi
Parte VI
Topologıas de Grothendieck en Z+D
![Page 149: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/149.jpg)
Topologıas de Grothendieck en Z+D
Topologıas de Grothendieck y sus haces Subobjetos classificadores para topoi
Definicion
Dado un elemento k en Z+, un subconjunto S de Z+ se llama unacriba sobre k si S ∈ D(Dk).
Definicion
Una topologıa de Grothendieck en la categorıa Z+D es una funcion
J que asigna a cada elemento n de Z+ una coleccion J(n) decribas en Z+
D , de manera que
(i) La criba maximal Dn (el conjunto de los divisores de n) estaen J(n);
(ii) (Axioma de estabilidad) si S ∈ J(n) y k 6 n entonces S ∩Dk
esta en J(k);
(iii) (Axioma de transitividad) si S ∈ J(n) y R es una criba sobren tal que R ∩Dk esta en J(k) para cada k ∈ S , entoncesR ∈ J(n).
![Page 150: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/150.jpg)
Topologıas de Grothendieck en Z+D
Topologıas de Grothendieck y sus haces Subobjetos classificadores para topoi
Definicion
Dado un elemento k en Z+, un subconjunto S de Z+ se llama unacriba sobre k si S ∈ D(Dk).
Definicion
Una topologıa de Grothendieck en la categorıa Z+D es una funcion
J que asigna a cada elemento n de Z+ una coleccion J(n) decribas en Z+
D , de manera que
(i) La criba maximal Dn (el conjunto de los divisores de n) estaen J(n);
(ii) (Axioma de estabilidad) si S ∈ J(n) y k 6 n entonces S ∩Dk
esta en J(k);
(iii) (Axioma de transitividad) si S ∈ J(n) y R es una criba sobren tal que R ∩Dk esta en J(k) para cada k ∈ S , entoncesR ∈ J(n).
![Page 151: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/151.jpg)
Topologıas de Grothendieck en Z+D
Topologıas de Grothendieck y sus haces Subobjetos classificadores para topoi
Definicion
Dado un elemento k en Z+, un subconjunto S de Z+ se llama unacriba sobre k si S ∈ D(Dk).
Definicion
Una topologıa de Grothendieck en la categorıa Z+D es una funcion
J que asigna a cada elemento n de Z+ una coleccion J(n) decribas en Z+
D , de manera que
(i) La criba maximal Dn (el conjunto de los divisores de n) estaen J(n);
(ii) (Axioma de estabilidad) si S ∈ J(n) y k 6 n entonces S ∩Dk
esta en J(k);
(iii) (Axioma de transitividad) si S ∈ J(n) y R es una criba sobren tal que R ∩Dk esta en J(k) para cada k ∈ S , entoncesR ∈ J(n).
![Page 152: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/152.jpg)
Topologıas de Grothendieck en Z+D
Topologıas de Grothendieck y sus haces Subobjetos classificadores para topoi
Definicion
Dado un elemento k en Z+, un subconjunto S de Z+ se llama unacriba sobre k si S ∈ D(Dk).
Definicion
Una topologıa de Grothendieck en la categorıa Z+D es una funcion
J que asigna a cada elemento n de Z+ una coleccion J(n) decribas en Z+
D , de manera que
(i) La criba maximal Dn (el conjunto de los divisores de n) estaen J(n);
(ii) (Axioma de estabilidad) si S ∈ J(n) y k 6 n entonces S ∩Dk
esta en J(k);
(iii) (Axioma de transitividad) si S ∈ J(n) y R es una criba sobren tal que R ∩Dk esta en J(k) para cada k ∈ S , entoncesR ∈ J(n).
![Page 153: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/153.jpg)
Topologıas de Grothendieck en Z+D
Topologıas de Grothendieck y sus haces Subobjetos classificadores para topoi
Definicion
Dado un elemento k en Z+, un subconjunto S de Z+ se llama unacriba sobre k si S ∈ D(Dk).
Definicion
Una topologıa de Grothendieck en la categorıa Z+D es una funcion
J que asigna a cada elemento n de Z+ una coleccion J(n) decribas en Z+
D , de manera que
(i) La criba maximal Dn (el conjunto de los divisores de n) estaen J(n);
(ii) (Axioma de estabilidad) si S ∈ J(n) y k 6 n entonces S ∩Dk
esta en J(k);
(iii) (Axioma de transitividad) si S ∈ J(n) y R es una criba sobren tal que R ∩Dk esta en J(k) para cada k ∈ S , entoncesR ∈ J(n).
![Page 154: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/154.jpg)
Topologıas de Grothendieck en Z+D
Topologıas de Grothendieck y sus haces Subobjetos classificadores para topoi
Ejemplo
La topologıa de Grothendieck trivial en Z+D es Jtri (n) = Dn.
La topologıa de Grothendieck discreta en Z+D es
Jdis(n) = D(Dn).
La topologıa de Grothendieck atomica en Z+D es
Jatom(n) = D(Dn)− ∅.Un subconjunto D ⊆ Dn es inferiormente denso si para cadam 6 n existe k 6 m con k ∈ D. La topologıa densa en Z+
D esJ(n) = D | k 6 n para todo k ∈D, y D es inferiormente densa respecto a n
Definicion
El par (Z+D , J), donde J es una topologıa de Grothendieck en Z+
D ,se llama un sitio.
![Page 155: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/155.jpg)
Topologıas de Grothendieck en Z+D
Topologıas de Grothendieck y sus haces Subobjetos classificadores para topoi
Ejemplo
La topologıa de Grothendieck trivial en Z+D es Jtri (n) = Dn.
La topologıa de Grothendieck discreta en Z+D es
Jdis(n) = D(Dn).
La topologıa de Grothendieck atomica en Z+D es
Jatom(n) = D(Dn)− ∅.Un subconjunto D ⊆ Dn es inferiormente denso si para cadam 6 n existe k 6 m con k ∈ D. La topologıa densa en Z+
D esJ(n) = D | k 6 n para todo k ∈D, y D es inferiormente densa respecto a n
Definicion
El par (Z+D , J), donde J es una topologıa de Grothendieck en Z+
D ,se llama un sitio.
![Page 156: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/156.jpg)
Topologıas de Grothendieck en Z+D
Topologıas de Grothendieck y sus haces Subobjetos classificadores para topoi
Ejemplo
La topologıa de Grothendieck trivial en Z+D es Jtri (n) = Dn.
La topologıa de Grothendieck discreta en Z+D es
Jdis(n) = D(Dn).
La topologıa de Grothendieck atomica en Z+D es
Jatom(n) = D(Dn)− ∅.
Un subconjunto D ⊆ Dn es inferiormente denso si para cadam 6 n existe k 6 m con k ∈ D. La topologıa densa en Z+
D esJ(n) = D | k 6 n para todo k ∈D, y D es inferiormente densa respecto a n
Definicion
El par (Z+D , J), donde J es una topologıa de Grothendieck en Z+
D ,se llama un sitio.
![Page 157: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/157.jpg)
Topologıas de Grothendieck en Z+D
Topologıas de Grothendieck y sus haces Subobjetos classificadores para topoi
Ejemplo
La topologıa de Grothendieck trivial en Z+D es Jtri (n) = Dn.
La topologıa de Grothendieck discreta en Z+D es
Jdis(n) = D(Dn).
La topologıa de Grothendieck atomica en Z+D es
Jatom(n) = D(Dn)− ∅.Un subconjunto D ⊆ Dn es inferiormente denso si para cadam 6 n existe k 6 m con k ∈ D. La topologıa densa en Z+
D esJ(n) = D | k 6 n para todo k ∈D, y D es inferiormente densa respecto a n
Definicion
El par (Z+D , J), donde J es una topologıa de Grothendieck en Z+
D ,se llama un sitio.
![Page 158: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/158.jpg)
Topologıas de Grothendieck en Z+D
Topologıas de Grothendieck y sus haces Subobjetos classificadores para topoi
Ejemplo
La topologıa de Grothendieck trivial en Z+D es Jtri (n) = Dn.
La topologıa de Grothendieck discreta en Z+D es
Jdis(n) = D(Dn).
La topologıa de Grothendieck atomica en Z+D es
Jatom(n) = D(Dn)− ∅.Un subconjunto D ⊆ Dn es inferiormente denso si para cadam 6 n existe k 6 m con k ∈ D. La topologıa densa en Z+
D esJ(n) = D | k 6 n para todo k ∈D, y D es inferiormente densa respecto a n
Definicion
El par (Z+D , J), donde J es una topologıa de Grothendieck en Z+
D ,se llama un sitio.
![Page 159: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/159.jpg)
Topologıas de Grothendieck en Z+D
Topologıas de Grothendieck y sus haces Subobjetos classificadores para topoi
Definicion
Sea F : (Z+D)op −→ Sets un functor (un functor contravariante
hacia Sets se llama un prehaz). Sean n ∈ Z+ y S ∈ J(n).Entonces una familia 〈ak〉k∈S en
∏k∈S F (k) se llama una
“matching family” para el cubrimiento S con elementos de F si
F (ak) = at (4)
para cada k , t ∈ S tal que t 6 k .Un elemento a ∈ F (n) tal que F (a) = ak para cada k ∈ S se llamauna amalgamacion.Decimos que F es un J-haz si para cada n ∈ Z+, para cadaS ∈ J(n) y para cada “matching family” 〈ak〉k∈S existe una unicaamalgamacion a ∈ F (n).
![Page 160: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/160.jpg)
Topologıas de Grothendieck en Z+D
Topologıas de Grothendieck y sus haces Subobjetos classificadores para topoi
Definicion
Sea F : (Z+D)op −→ Sets un functor (un functor contravariante
hacia Sets se llama un prehaz). Sean n ∈ Z+ y S ∈ J(n).Entonces una familia 〈ak〉k∈S en
∏k∈S F (k) se llama una
“matching family” para el cubrimiento S con elementos de F si
F (ak) = at (4)
para cada k , t ∈ S tal que t 6 k .
Un elemento a ∈ F (n) tal que F (a) = ak para cada k ∈ S se llamauna amalgamacion.Decimos que F es un J-haz si para cada n ∈ Z+, para cadaS ∈ J(n) y para cada “matching family” 〈ak〉k∈S existe una unicaamalgamacion a ∈ F (n).
![Page 161: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/161.jpg)
Topologıas de Grothendieck en Z+D
Topologıas de Grothendieck y sus haces Subobjetos classificadores para topoi
Definicion
Sea F : (Z+D)op −→ Sets un functor (un functor contravariante
hacia Sets se llama un prehaz). Sean n ∈ Z+ y S ∈ J(n).Entonces una familia 〈ak〉k∈S en
∏k∈S F (k) se llama una
“matching family” para el cubrimiento S con elementos de F si
F (ak) = at (4)
para cada k , t ∈ S tal que t 6 k .Un elemento a ∈ F (n) tal que F (a) = ak para cada k ∈ S se llamauna amalgamacion.
Decimos que F es un J-haz si para cada n ∈ Z+, para cadaS ∈ J(n) y para cada “matching family” 〈ak〉k∈S existe una unicaamalgamacion a ∈ F (n).
![Page 162: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/162.jpg)
Topologıas de Grothendieck en Z+D
Topologıas de Grothendieck y sus haces Subobjetos classificadores para topoi
Definicion
Sea F : (Z+D)op −→ Sets un functor (un functor contravariante
hacia Sets se llama un prehaz). Sean n ∈ Z+ y S ∈ J(n).Entonces una familia 〈ak〉k∈S en
∏k∈S F (k) se llama una
“matching family” para el cubrimiento S con elementos de F si
F (ak) = at (4)
para cada k , t ∈ S tal que t 6 k .Un elemento a ∈ F (n) tal que F (a) = ak para cada k ∈ S se llamauna amalgamacion.Decimos que F es un J-haz si para cada n ∈ Z+, para cadaS ∈ J(n) y para cada “matching family” 〈ak〉k∈S existe una unicaamalgamacion a ∈ F (n).
![Page 163: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/163.jpg)
Topologıas de Grothendieck en Z+D
Topologıas de Grothendieck y sus haces Subobjetos classificadores para topoi
Sh(Z+D , J) denota la categorıa de los haces F de conjuntos en el
sitio (Z+D , J).
Proposicion
Para el sitio (Z+D , Jtri ) tenemos que Sh(Z+
D) ∼= Sets(Z+D)op
Proposicion
La categorıa Sh(Z+D) es equivalente a 1 (el objeto terminal en
Sets(Z+D)op) para el sitio (Z+
D , Jdis) .
![Page 164: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/164.jpg)
Topologıas de Grothendieck en Z+D
Topologıas de Grothendieck y sus haces Subobjetos classificadores para topoi
Sh(Z+D , J) denota la categorıa de los haces F de conjuntos en el
sitio (Z+D , J).
Proposicion
Para el sitio (Z+D , Jtri ) tenemos que Sh(Z+
D) ∼= Sets(Z+D)op
Proposicion
La categorıa Sh(Z+D) es equivalente a 1 (el objeto terminal en
Sets(Z+D)op) para el sitio (Z+
D , Jdis) .
![Page 165: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/165.jpg)
Topologıas de Grothendieck en Z+D
Topologıas de Grothendieck y sus haces Subobjetos classificadores para topoi
Sh(Z+D , J) denota la categorıa de los haces F de conjuntos en el
sitio (Z+D , J).
Proposicion
Para el sitio (Z+D , Jtri ) tenemos que Sh(Z+
D) ∼= Sets(Z+D)op
Proposicion
La categorıa Sh(Z+D) es equivalente a 1 (el objeto terminal en
Sets(Z+D)op) para el sitio (Z+
D , Jdis) .
![Page 166: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/166.jpg)
Topologıas de Grothendieck en Z+D
Topologıas de Grothendieck y sus haces Subobjetos classificadores para topoi
Una de las propiedades mas importantes en categorıas es laexistencia de un subobjeto clasificador Ω. Veamos que existe un talsubobjeto clasificador para haces en los sitios estudiados en laseccion anterior.
Definicion
Definimos Ω : (Z+D)op −→ Sets para objetos por
Ω(n) = S | S es una criba en n para cada n ∈ Z+, (5)
y para flechas g : k → n por
(−).g : Ω(n)→ Ω(k) S .g = h | g h ∈ S
Proposicion
El prehaz Ω de (5) es un haz.
![Page 167: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/167.jpg)
Topologıas de Grothendieck en Z+D
Topologıas de Grothendieck y sus haces Subobjetos classificadores para topoi
Observe que la criba maximal sobre n, tn = Dn es evidentementecerrada y que para k 6 n en Z+, se tiene que tk = Dk . Por lotanto n 7→ tn define una transformacion natural
true : 1 −→ Ω. (6)
De esta manera
Proposicion
El haz Ω, junto con la aplicacion true de (6), es un subobjetoclasificador de la categorıa Sh(Z+, J).
En conclusion tenemos que
Sh(Z+D , J) es un topos elemental.
![Page 168: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/168.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
Parte VII
Algunas categorıas equivalentes a Z+D
![Page 169: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/169.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
Puntos periodicos de una funcion
Recordemos los procesos iterativos de los sistemas dinamicosdiscretos: sea f : X → X una funcion definida en un conjunto X .El punto x ∈ X es un punto fijo para f si f (x) = x ; el puntox ∈ X es un punto periodico de perıodo n si f n(x) = x(f n = f f n−1, n ≥ 1). Denotamos con Pern(f ) al conjunto de lospuntos periodicos de perıodo n y al conjunto de todos los puntosperiodicos de f por Per(f ).
Es facil mostrar que Perk(f ) ⊆ Pern(f ) si y solo si k es un divisorde n. De esta manera, decimos que Perk(f ) 6 Pern(f ) si y solo sik es un divisor de n.
![Page 170: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/170.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
Puntos periodicos de una funcion
Recordemos los procesos iterativos de los sistemas dinamicosdiscretos: sea f : X → X una funcion definida en un conjunto X .El punto x ∈ X es un punto fijo para f si f (x) = x ; el puntox ∈ X es un punto periodico de perıodo n si f n(x) = x(f n = f f n−1, n ≥ 1). Denotamos con Pern(f ) al conjunto de lospuntos periodicos de perıodo n y al conjunto de todos los puntosperiodicos de f por Per(f ).Es facil mostrar que Perk(f ) ⊆ Pern(f ) si y solo si k es un divisorde n. De esta manera, decimos que Perk(f ) 6 Pern(f ) si y solo sik es un divisor de n.
![Page 171: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/171.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
Obtenemos que (Per(f ),6) es un conjunto parcialmente ordenadoque, considerado como una categorıa, tiene todos los productos ycoproductos binarios. Entonces, si Perm(f ),Pern(f ),Perk(f ) sonobjetos de Per(f ) entonces Perm(f ) 6 Pern(f ) si y solo si existeuna unica flecha Perm(f )→ Pern(f ),
el coproducto de Perm(f ) y Pern(f ) es Perk(f ), dondek=m.c.mm,n, es decir Perm(f ) ∨ Pern(f ) = Perm.c.mm,n(f )y el producto es Perm(f ) ∧ Pern(f ) = Perm.c.dm,n(f ).
![Page 172: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/172.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
Obtenemos que (Per(f ),6) es un conjunto parcialmente ordenadoque, considerado como una categorıa, tiene todos los productos ycoproductos binarios. Entonces, si Perm(f ),Pern(f ),Perk(f ) sonobjetos de Per(f ) entonces Perm(f ) 6 Pern(f ) si y solo si existeuna unica flecha Perm(f )→ Pern(f ),el coproducto de Perm(f ) y Pern(f ) es Perk(f ), dondek=m.c.mm,n, es decir Perm(f ) ∨ Pern(f ) = Perm.c.mm,n(f )
y el producto es Perm(f ) ∧ Pern(f ) = Perm.c.dm,n(f ).
![Page 173: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/173.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
Obtenemos que (Per(f ),6) es un conjunto parcialmente ordenadoque, considerado como una categorıa, tiene todos los productos ycoproductos binarios. Entonces, si Perm(f ),Pern(f ),Perk(f ) sonobjetos de Per(f ) entonces Perm(f ) 6 Pern(f ) si y solo si existeuna unica flecha Perm(f )→ Pern(f ),el coproducto de Perm(f ) y Pern(f ) es Perk(f ), dondek=m.c.mm,n, es decir Perm(f ) ∨ Pern(f ) = Perm.c.mm,n(f )y el producto es Perm(f ) ∧ Pern(f ) = Perm.c.dm,n(f ).
![Page 174: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/174.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
El conjunto parcialmente ordenado (Per(f ),6)
Per1(f )
Per2(f )
Per3(f )
Per5(f )
Per7(f )...
Per4(f )
Per6(f )
Per9(f )...
Per8(f )
Per10(f )...
· · ·
![Page 175: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/175.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
El conjunto parcialmente ordenado (Per(f ),6)
Per1(f )
Per2(f )
Per3(f )
Per5(f )
Per7(f )...
Per4(f )
Per6(f )
Per9(f )...
Per8(f )
Per10(f )...
· · ·
![Page 176: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/176.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
El conjunto parcialmente ordenado (Per(f ),6)
Per1(f )
Per2(f )
Per3(f )
Per5(f )
Per7(f )...
Per4(f )
Per6(f )
Per9(f )...
Per8(f )
Per10(f )...
· · ·
![Page 177: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/177.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
El conjunto parcialmente ordenado (Per(f ),6)
Per1(f )
Per2(f )
Per3(f )
Per5(f )
Per7(f )...
Per4(f )
Per6(f )
Per9(f )...
Per8(f )
Per10(f )...
· · ·
![Page 178: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/178.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
El conjunto parcialmente ordenado (Per(f ),6)
Per1(f )
Per2(f )
Per3(f )
Per5(f )
Per7(f )...
Per4(f )
Per6(f )
Per9(f )...
Per8(f )
Per10(f )...
· · ·
![Page 179: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/179.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
El conjunto parcialmente ordenado (Per(f ),6)
Per1(f )
Per2(f )
Per3(f )
Per5(f )
Per7(f )...
Per4(f )
Per6(f )
Per9(f )...
Per8(f )
Per10(f )...
· · ·
![Page 180: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/180.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
El conjunto parcialmente ordenado (Per(f ),6)
Per1(f )
Per2(f )
Per3(f )
Per5(f )
Per7(f )...
Per4(f )
Per6(f )
Per9(f )...
Per8(f )
Per10(f )...
· · ·
![Page 181: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/181.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
Claramente Per(f ) es un retıculo distributivo.Por consiguiente,
Proposicion
Las categorıas Per(f ) y Z+D son equivalentes.
![Page 182: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/182.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
Raices de la unidad
Consideremos ahora las raices de la unidad en el campo C de losnumeros complejos. Recuerde que un elemento z de C es una raizde la unidad si existe un numero entero n > 1 tal que zn = 1.Existen a lo mas n de tales raices, las que forman un grupo cıclicoRn, denotamos mediante el sımbolo R al conjunto de tales gruposRn | n ∈ Z+
Se sabe que dados dos de tales grupos Rk y Rn, Rk es unsubgrupo de Rn si y solo si k es un divisor de n. Por lo tanto,diremos que Rk 6 Rn si y solo si k es un divisor de n y obtenemosque (R,6) es un conjunto parcialmente ordenado que, consideradocomo una categorıa, tiene todos los productos y coproductosbinarios. En este caso, si Rm,Rn,Rk son objetos de R entoncesRm 6 Rn si y solo si existe una unica flecha Rm → Rn,el coproducto de Rm y Rn es Rk , donde k=m.c.mm,n, es decir,Rm ∨ Rn = Rm.c.mm,ny el producto es Rm ∧ Rn = Rm.c.dm,n.
![Page 183: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/183.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
Raices de la unidad
Consideremos ahora las raices de la unidad en el campo C de losnumeros complejos. Recuerde que un elemento z de C es una raizde la unidad si existe un numero entero n > 1 tal que zn = 1.Existen a lo mas n de tales raices, las que forman un grupo cıclicoRn, denotamos mediante el sımbolo R al conjunto de tales gruposRn | n ∈ Z+Se sabe que dados dos de tales grupos Rk y Rn, Rk es unsubgrupo de Rn si y solo si k es un divisor de n.
Por lo tanto,diremos que Rk 6 Rn si y solo si k es un divisor de n y obtenemosque (R,6) es un conjunto parcialmente ordenado que, consideradocomo una categorıa, tiene todos los productos y coproductosbinarios. En este caso, si Rm,Rn,Rk son objetos de R entoncesRm 6 Rn si y solo si existe una unica flecha Rm → Rn,el coproducto de Rm y Rn es Rk , donde k=m.c.mm,n, es decir,Rm ∨ Rn = Rm.c.mm,ny el producto es Rm ∧ Rn = Rm.c.dm,n.
![Page 184: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/184.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
Raices de la unidad
Consideremos ahora las raices de la unidad en el campo C de losnumeros complejos. Recuerde que un elemento z de C es una raizde la unidad si existe un numero entero n > 1 tal que zn = 1.Existen a lo mas n de tales raices, las que forman un grupo cıclicoRn, denotamos mediante el sımbolo R al conjunto de tales gruposRn | n ∈ Z+Se sabe que dados dos de tales grupos Rk y Rn, Rk es unsubgrupo de Rn si y solo si k es un divisor de n. Por lo tanto,diremos que Rk 6 Rn si y solo si k es un divisor de n y obtenemosque (R,6) es un conjunto parcialmente ordenado que, consideradocomo una categorıa, tiene todos los productos y coproductosbinarios.
En este caso, si Rm,Rn,Rk son objetos de R entoncesRm 6 Rn si y solo si existe una unica flecha Rm → Rn,el coproducto de Rm y Rn es Rk , donde k=m.c.mm,n, es decir,Rm ∨ Rn = Rm.c.mm,ny el producto es Rm ∧ Rn = Rm.c.dm,n.
![Page 185: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/185.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
Raices de la unidad
Consideremos ahora las raices de la unidad en el campo C de losnumeros complejos. Recuerde que un elemento z de C es una raizde la unidad si existe un numero entero n > 1 tal que zn = 1.Existen a lo mas n de tales raices, las que forman un grupo cıclicoRn, denotamos mediante el sımbolo R al conjunto de tales gruposRn | n ∈ Z+Se sabe que dados dos de tales grupos Rk y Rn, Rk es unsubgrupo de Rn si y solo si k es un divisor de n. Por lo tanto,diremos que Rk 6 Rn si y solo si k es un divisor de n y obtenemosque (R,6) es un conjunto parcialmente ordenado que, consideradocomo una categorıa, tiene todos los productos y coproductosbinarios. En este caso, si Rm,Rn,Rk son objetos de R entoncesRm 6 Rn si y solo si existe una unica flecha Rm → Rn,
el coproducto de Rm y Rn es Rk , donde k=m.c.mm,n, es decir,Rm ∨ Rn = Rm.c.mm,ny el producto es Rm ∧ Rn = Rm.c.dm,n.
![Page 186: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/186.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
Raices de la unidad
Consideremos ahora las raices de la unidad en el campo C de losnumeros complejos. Recuerde que un elemento z de C es una raizde la unidad si existe un numero entero n > 1 tal que zn = 1.Existen a lo mas n de tales raices, las que forman un grupo cıclicoRn, denotamos mediante el sımbolo R al conjunto de tales gruposRn | n ∈ Z+Se sabe que dados dos de tales grupos Rk y Rn, Rk es unsubgrupo de Rn si y solo si k es un divisor de n. Por lo tanto,diremos que Rk 6 Rn si y solo si k es un divisor de n y obtenemosque (R,6) es un conjunto parcialmente ordenado que, consideradocomo una categorıa, tiene todos los productos y coproductosbinarios. En este caso, si Rm,Rn,Rk son objetos de R entoncesRm 6 Rn si y solo si existe una unica flecha Rm → Rn,el coproducto de Rm y Rn es Rk , donde k=m.c.mm,n, es decir,Rm ∨ Rn = Rm.c.mm,n
y el producto es Rm ∧ Rn = Rm.c.dm,n.
![Page 187: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/187.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
Raices de la unidad
Consideremos ahora las raices de la unidad en el campo C de losnumeros complejos. Recuerde que un elemento z de C es una raizde la unidad si existe un numero entero n > 1 tal que zn = 1.Existen a lo mas n de tales raices, las que forman un grupo cıclicoRn, denotamos mediante el sımbolo R al conjunto de tales gruposRn | n ∈ Z+Se sabe que dados dos de tales grupos Rk y Rn, Rk es unsubgrupo de Rn si y solo si k es un divisor de n. Por lo tanto,diremos que Rk 6 Rn si y solo si k es un divisor de n y obtenemosque (R,6) es un conjunto parcialmente ordenado que, consideradocomo una categorıa, tiene todos los productos y coproductosbinarios. En este caso, si Rm,Rn,Rk son objetos de R entoncesRm 6 Rn si y solo si existe una unica flecha Rm → Rn,el coproducto de Rm y Rn es Rk , donde k=m.c.mm,n, es decir,Rm ∨ Rn = Rm.c.mm,ny el producto es Rm ∧ Rn = Rm.c.dm,n.
![Page 188: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/188.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
Tambien tenemos que R es un retıculo distributivo.
Enconsecuencia,
Proposicion
Las categorıas R y Z+D son equivalentes.
Observacion
En el plano complejo, las n raices de la unidad corresponden a losvertices de un polıgono regular de n lados inscrito en lacircunferencia unitaria.Los vertices sucesivos se obtienen incrementando el argumento delvertice precedente en una cantidad igual a 2π/n.Indudablemente la coleccion de dichos polıgonos constituyen otracategorıa equivalente a Z+
D .
![Page 189: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/189.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
Tambien tenemos que R es un retıculo distributivo.Enconsecuencia,
Proposicion
Las categorıas R y Z+D son equivalentes.
Observacion
En el plano complejo, las n raices de la unidad corresponden a losvertices de un polıgono regular de n lados inscrito en lacircunferencia unitaria.Los vertices sucesivos se obtienen incrementando el argumento delvertice precedente en una cantidad igual a 2π/n.Indudablemente la coleccion de dichos polıgonos constituyen otracategorıa equivalente a Z+
D .
![Page 190: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/190.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
Tambien tenemos que R es un retıculo distributivo.Enconsecuencia,
Proposicion
Las categorıas R y Z+D son equivalentes.
Observacion
En el plano complejo, las n raices de la unidad corresponden a losvertices de un polıgono regular de n lados inscrito en lacircunferencia unitaria.
Los vertices sucesivos se obtienen incrementando el argumento delvertice precedente en una cantidad igual a 2π/n.Indudablemente la coleccion de dichos polıgonos constituyen otracategorıa equivalente a Z+
D .
![Page 191: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/191.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
Tambien tenemos que R es un retıculo distributivo.Enconsecuencia,
Proposicion
Las categorıas R y Z+D son equivalentes.
Observacion
En el plano complejo, las n raices de la unidad corresponden a losvertices de un polıgono regular de n lados inscrito en lacircunferencia unitaria.Los vertices sucesivos se obtienen incrementando el argumento delvertice precedente en una cantidad igual a 2π/n.
Indudablemente la coleccion de dichos polıgonos constituyen otracategorıa equivalente a Z+
D .
![Page 192: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/192.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
Tambien tenemos que R es un retıculo distributivo.Enconsecuencia,
Proposicion
Las categorıas R y Z+D son equivalentes.
Observacion
En el plano complejo, las n raices de la unidad corresponden a losvertices de un polıgono regular de n lados inscrito en lacircunferencia unitaria.Los vertices sucesivos se obtienen incrementando el argumento delvertice precedente en una cantidad igual a 2π/n.Indudablemente la coleccion de dichos polıgonos constituyen otracategorıa equivalente a Z+
D .
![Page 193: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/193.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
El conjunto parcialmente ordenado (R,6)
R1
R2
R3
R5
R7
...
R4
R6
R9
...
R8
R10
...
· · ·
![Page 194: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/194.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
El conjunto parcialmente ordenado (R,6)
R1
R2
R3
R5
R7
...
R4
R6
R9
...
R8
R10
...
· · ·
![Page 195: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/195.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
El conjunto parcialmente ordenado (R,6)
R1
R2
R3
R5
R7
...
R4
R6
R9
...
R8
R10
...
· · ·
![Page 196: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/196.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
El conjunto parcialmente ordenado (R,6)
R1
R2
R3
R5
R7
...
R4
R6
R9
...
R8
R10
...
· · ·
![Page 197: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/197.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
El conjunto parcialmente ordenado (R,6)
R1
R2
R3
R5
R7
...
R4
R6
R9
...
R8
R10
...
· · ·
![Page 198: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/198.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
El conjunto parcialmente ordenado (R,6)
R1
R2
R3
R5
R7
...
R4
R6
R9
...
R8
R10
...
· · ·
![Page 199: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/199.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
El conjunto parcialmente ordenado (R,6)
R1
R2
R3
R5
R7
...
R4
R6
R9
...
R8
R10
...
· · ·
![Page 200: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/200.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
Soluciones de una ecuacion diferencial
Sea I un intervalo abierto de la recta real y sea Cn(I ) el conjuntode todas las funciones de valor complejo que tienen derivadascontınuas de orden n en I .
Estamos interesados en encontrar todaslas soluciones en Cn(I ) de la ecuacion diferencial
dnf
dt= f , f ∈ Cn(I ) (7)
o, escrita en otra forma
Dnf = f , f ∈ Cn(I ). (8)
Es decir, estamos interesados en encontrar los puntos periodicosdel operador diferencial D.
![Page 201: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/201.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
Soluciones de una ecuacion diferencial
Sea I un intervalo abierto de la recta real y sea Cn(I ) el conjuntode todas las funciones de valor complejo que tienen derivadascontınuas de orden n en I . Estamos interesados en encontrar todaslas soluciones en Cn(I ) de la ecuacion diferencial
dnf
dt= f , f ∈ Cn(I ) (7)
o, escrita en otra forma
Dnf = f , f ∈ Cn(I ). (8)
Es decir, estamos interesados en encontrar los puntos periodicosdel operador diferencial D.
![Page 202: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/202.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
Soluciones de una ecuacion diferencial
Sea I un intervalo abierto de la recta real y sea Cn(I ) el conjuntode todas las funciones de valor complejo que tienen derivadascontınuas de orden n en I . Estamos interesados en encontrar todaslas soluciones en Cn(I ) de la ecuacion diferencial
dnf
dt= f , f ∈ Cn(I ) (7)
o, escrita en otra forma
Dnf = f , f ∈ Cn(I ). (8)
Es decir, estamos interesados en encontrar los puntos periodicosdel operador diferencial D.
![Page 203: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/203.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
Soluciones de una ecuacion diferencial
Sea I un intervalo abierto de la recta real y sea Cn(I ) el conjuntode todas las funciones de valor complejo que tienen derivadascontınuas de orden n en I . Estamos interesados en encontrar todaslas soluciones en Cn(I ) de la ecuacion diferencial
dnf
dt= f , f ∈ Cn(I ) (7)
o, escrita en otra forma
Dnf = f , f ∈ Cn(I ). (8)
Es decir, estamos interesados en encontrar los puntos periodicosdel operador diferencial D.
![Page 204: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/204.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
Soluciones de una ecuacion diferencial
Sea I un intervalo abierto de la recta real y sea Cn(I ) el conjuntode todas las funciones de valor complejo que tienen derivadascontınuas de orden n en I . Estamos interesados en encontrar todaslas soluciones en Cn(I ) de la ecuacion diferencial
dnf
dt= f , f ∈ Cn(I ) (7)
o, escrita en otra forma
Dnf = f , f ∈ Cn(I ). (8)
Es decir, estamos interesados en encontrar los puntos periodicosdel operador diferencial D.
![Page 205: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/205.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
Para n = 1, tenenmos que Df = f si y solo si f (t) = ket , k ∈ R.De esta manera V1 = 〈et〉 = ket , | k ∈ R es el espacio vectorialreal de todas las soluciones de Df = f .
En general, si f (t) = eωt entonces Dnf (t) = ωneωt ; enconsecuencia, Dnf (t) = f (t) si y solo si ωn = 1. i.e. ω es una raizde la unidad en el campo C de los numeros complejos, y por lotanto, Vn = 〈et , eωt · · · , eω(n−1)t〉 es el espacio vectorial real detodas las soluciones de Dnf = f . Denotaremos por V a la familiade todos los espacios vectoriales Vn | n ∈ Z+Es claro que Vk es un subespacio de Vn si y solo si k ∈ Dn. Poresta razon decimos que Vk 6 Vn si y solo si k es un divisor de n yobtenemos que (V,6) es un conjunto parcialmente ordenado que,considerado como una categorıa, tiene todos los productos ycoproductos binarios.En este caso, si Vm,Vn,Vk son objetos de V entonces Vm 6 Vn si ysolo si existe una unica flecha Vm → Vn,El coproducto de Vm y Vn
es Vm ∨ Vn = Vm.c.mm,n y el producto es Vm ∧ Vn = Vm.c.dm,n.
![Page 206: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/206.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
Para n = 1, tenenmos que Df = f si y solo si f (t) = ket , k ∈ R.De esta manera V1 = 〈et〉 = ket , | k ∈ R es el espacio vectorialreal de todas las soluciones de Df = f .En general, si f (t) = eωt entonces Dnf (t) = ωneωt ; enconsecuencia, Dnf (t) = f (t) si y solo si ωn = 1. i.e. ω es una raizde la unidad en el campo C de los numeros complejos, y por lotanto, Vn = 〈et , eωt · · · , eω(n−1)t〉 es el espacio vectorial real detodas las soluciones de Dnf = f . Denotaremos por V a la familiade todos los espacios vectoriales Vn | n ∈ Z+
Es claro que Vk es un subespacio de Vn si y solo si k ∈ Dn. Poresta razon decimos que Vk 6 Vn si y solo si k es un divisor de n yobtenemos que (V,6) es un conjunto parcialmente ordenado que,considerado como una categorıa, tiene todos los productos ycoproductos binarios.En este caso, si Vm,Vn,Vk son objetos de V entonces Vm 6 Vn si ysolo si existe una unica flecha Vm → Vn,El coproducto de Vm y Vn
es Vm ∨ Vn = Vm.c.mm,n y el producto es Vm ∧ Vn = Vm.c.dm,n.
![Page 207: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/207.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
Para n = 1, tenenmos que Df = f si y solo si f (t) = ket , k ∈ R.De esta manera V1 = 〈et〉 = ket , | k ∈ R es el espacio vectorialreal de todas las soluciones de Df = f .En general, si f (t) = eωt entonces Dnf (t) = ωneωt ; enconsecuencia, Dnf (t) = f (t) si y solo si ωn = 1. i.e. ω es una raizde la unidad en el campo C de los numeros complejos, y por lotanto, Vn = 〈et , eωt · · · , eω(n−1)t〉 es el espacio vectorial real detodas las soluciones de Dnf = f . Denotaremos por V a la familiade todos los espacios vectoriales Vn | n ∈ Z+Es claro que Vk es un subespacio de Vn si y solo si k ∈ Dn. Poresta razon decimos que Vk 6 Vn si y solo si k es un divisor de n yobtenemos que (V,6) es un conjunto parcialmente ordenado que,considerado como una categorıa, tiene todos los productos ycoproductos binarios.
En este caso, si Vm,Vn,Vk son objetos de V entonces Vm 6 Vn si ysolo si existe una unica flecha Vm → Vn,El coproducto de Vm y Vn
es Vm ∨ Vn = Vm.c.mm,n y el producto es Vm ∧ Vn = Vm.c.dm,n.
![Page 208: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/208.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
Para n = 1, tenenmos que Df = f si y solo si f (t) = ket , k ∈ R.De esta manera V1 = 〈et〉 = ket , | k ∈ R es el espacio vectorialreal de todas las soluciones de Df = f .En general, si f (t) = eωt entonces Dnf (t) = ωneωt ; enconsecuencia, Dnf (t) = f (t) si y solo si ωn = 1. i.e. ω es una raizde la unidad en el campo C de los numeros complejos, y por lotanto, Vn = 〈et , eωt · · · , eω(n−1)t〉 es el espacio vectorial real detodas las soluciones de Dnf = f . Denotaremos por V a la familiade todos los espacios vectoriales Vn | n ∈ Z+Es claro que Vk es un subespacio de Vn si y solo si k ∈ Dn. Poresta razon decimos que Vk 6 Vn si y solo si k es un divisor de n yobtenemos que (V,6) es un conjunto parcialmente ordenado que,considerado como una categorıa, tiene todos los productos ycoproductos binarios.En este caso, si Vm,Vn,Vk son objetos de V entonces Vm 6 Vn si ysolo si existe una unica flecha Vm → Vn,
El coproducto de Vm y Vn
es Vm ∨ Vn = Vm.c.mm,n y el producto es Vm ∧ Vn = Vm.c.dm,n.
![Page 209: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/209.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
Para n = 1, tenenmos que Df = f si y solo si f (t) = ket , k ∈ R.De esta manera V1 = 〈et〉 = ket , | k ∈ R es el espacio vectorialreal de todas las soluciones de Df = f .En general, si f (t) = eωt entonces Dnf (t) = ωneωt ; enconsecuencia, Dnf (t) = f (t) si y solo si ωn = 1. i.e. ω es una raizde la unidad en el campo C de los numeros complejos, y por lotanto, Vn = 〈et , eωt · · · , eω(n−1)t〉 es el espacio vectorial real detodas las soluciones de Dnf = f . Denotaremos por V a la familiade todos los espacios vectoriales Vn | n ∈ Z+Es claro que Vk es un subespacio de Vn si y solo si k ∈ Dn. Poresta razon decimos que Vk 6 Vn si y solo si k es un divisor de n yobtenemos que (V,6) es un conjunto parcialmente ordenado que,considerado como una categorıa, tiene todos los productos ycoproductos binarios.En este caso, si Vm,Vn,Vk son objetos de V entonces Vm 6 Vn si ysolo si existe una unica flecha Vm → Vn,El coproducto de Vm y Vn
es Vm ∨ Vn = Vm.c.mm,n
y el producto es Vm ∧ Vn = Vm.c.dm,n.
![Page 210: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/210.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
Para n = 1, tenenmos que Df = f si y solo si f (t) = ket , k ∈ R.De esta manera V1 = 〈et〉 = ket , | k ∈ R es el espacio vectorialreal de todas las soluciones de Df = f .En general, si f (t) = eωt entonces Dnf (t) = ωneωt ; enconsecuencia, Dnf (t) = f (t) si y solo si ωn = 1. i.e. ω es una raizde la unidad en el campo C de los numeros complejos, y por lotanto, Vn = 〈et , eωt · · · , eω(n−1)t〉 es el espacio vectorial real detodas las soluciones de Dnf = f . Denotaremos por V a la familiade todos los espacios vectoriales Vn | n ∈ Z+Es claro que Vk es un subespacio de Vn si y solo si k ∈ Dn. Poresta razon decimos que Vk 6 Vn si y solo si k es un divisor de n yobtenemos que (V,6) es un conjunto parcialmente ordenado que,considerado como una categorıa, tiene todos los productos ycoproductos binarios.En este caso, si Vm,Vn,Vk son objetos de V entonces Vm 6 Vn si ysolo si existe una unica flecha Vm → Vn,El coproducto de Vm y Vn
es Vm ∨ Vn = Vm.c.mm,n y el producto es Vm ∧ Vn = Vm.c.dm,n.
![Page 211: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/211.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
El conjunto parcialmente ordenado (V ,6)
V1
V2
V3
V5
V7
...
V4
V6
V9
...
V8
V10
...
· · ·
![Page 212: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/212.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
El conjunto parcialmente ordenado (V ,6)
V1
V2
V3
V5
V7
...
V4
V6
V9
...
V8
V10
...
· · ·
![Page 213: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/213.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
El conjunto parcialmente ordenado (V ,6)
V1
V2
V3
V5
V7
...
V4
V6
V9
...
V8
V10
...
· · ·
![Page 214: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/214.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
El conjunto parcialmente ordenado (V ,6)
V1
V2
V3
V5
V7
...
V4
V6
V9
...
V8
V10
...
· · ·
![Page 215: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/215.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
El conjunto parcialmente ordenado (V ,6)
V1
V2
V3
V5
V7
...
V4
V6
V9
...
V8
V10
...
· · ·
![Page 216: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/216.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
El conjunto parcialmente ordenado (V ,6)
V1
V2
V3
V5
V7
...
V4
V6
V9
...
V8
V10
...
· · ·
![Page 217: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/217.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
El conjunto parcialmente ordenado (V ,6)
V1
V2
V3
V5
V7
...
V4
V6
V9
...
V8
V10
...
· · ·
![Page 218: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/218.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
Por consiguiente,
Proposicion
Las categorıas V y Z+D son equivalentes.
Note, por ejemplo, que una topologıa de Grothendieck en lacategorıa V es una funcion J que asigna a cada objeto Vn de Vuna coleccion J(n) de cribas en V, de tal manera que
(i) La criba maximal ↓ Vn = Vk | k ∈ Dn esta en J(n);
(ii) (axioma de estabilidad) si S ∈ J(n) y Vk 6 Vn entoncesS∩ ↓ Vk esta en J(k);
(iii) (axioma de transitividad) si S ∈ J(n) y R es una criba en Vn
tal que R∩ ↓ Vk esta en J(k) para cada k ∈ S , entoncesR ∈ J(n).
![Page 219: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/219.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
Por consiguiente,
Proposicion
Las categorıas V y Z+D son equivalentes.
Note, por ejemplo, que una topologıa de Grothendieck en lacategorıa V es una funcion J que asigna a cada objeto Vn de Vuna coleccion J(n) de cribas en V, de tal manera que
(i) La criba maximal ↓ Vn = Vk | k ∈ Dn esta en J(n);
(ii) (axioma de estabilidad) si S ∈ J(n) y Vk 6 Vn entoncesS∩ ↓ Vk esta en J(k);
(iii) (axioma de transitividad) si S ∈ J(n) y R es una criba en Vn
tal que R∩ ↓ Vk esta en J(k) para cada k ∈ S , entoncesR ∈ J(n).
![Page 220: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/220.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
Por consiguiente,
Proposicion
Las categorıas V y Z+D son equivalentes.
Note, por ejemplo, que una topologıa de Grothendieck en lacategorıa V es una funcion J que asigna a cada objeto Vn de Vuna coleccion J(n) de cribas en V, de tal manera que
(i) La criba maximal ↓ Vn = Vk | k ∈ Dn esta en J(n);
(ii) (axioma de estabilidad) si S ∈ J(n) y Vk 6 Vn entoncesS∩ ↓ Vk esta en J(k);
(iii) (axioma de transitividad) si S ∈ J(n) y R es una criba en Vn
tal que R∩ ↓ Vk esta en J(k) para cada k ∈ S , entoncesR ∈ J(n).
![Page 221: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/221.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
Por consiguiente,
Proposicion
Las categorıas V y Z+D son equivalentes.
Note, por ejemplo, que una topologıa de Grothendieck en lacategorıa V es una funcion J que asigna a cada objeto Vn de Vuna coleccion J(n) de cribas en V, de tal manera que
(i) La criba maximal ↓ Vn = Vk | k ∈ Dn esta en J(n);
(ii) (axioma de estabilidad) si S ∈ J(n) y Vk 6 Vn entoncesS∩ ↓ Vk esta en J(k);
(iii) (axioma de transitividad) si S ∈ J(n) y R es una criba en Vn
tal que R∩ ↓ Vk esta en J(k) para cada k ∈ S , entoncesR ∈ J(n).
![Page 222: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/222.jpg)
Puntos periodicos de una funcion Raices de la unidad Soluciones de una ecuacion diferencial
Por consiguiente,
Proposicion
Las categorıas V y Z+D son equivalentes.
Note, por ejemplo, que una topologıa de Grothendieck en lacategorıa V es una funcion J que asigna a cada objeto Vn de Vuna coleccion J(n) de cribas en V, de tal manera que
(i) La criba maximal ↓ Vn = Vk | k ∈ Dn esta en J(n);
(ii) (axioma de estabilidad) si S ∈ J(n) y Vk 6 Vn entoncesS∩ ↓ Vk esta en J(k);
(iii) (axioma de transitividad) si S ∈ J(n) y R es una criba en Vn
tal que R∩ ↓ Vk esta en J(k) para cada k ∈ S , entoncesR ∈ J(n).
![Page 223: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/223.jpg)
Parte VIII
Algunas subcategorıas de Z+D
![Page 224: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/224.jpg)
Subcategorıas finitas de Z+D
D1
D2
D3
D5
D7
...
D4
D6
D9
...
D8
D10
...
· · ·
![Page 225: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/225.jpg)
Subcategorıas finitas de Z+D
D1
D2
D3
D5
D7
...
D4
D6
D9
...
D8
D10
...
· · ·
![Page 226: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/226.jpg)
Subcategorıas finitas de Z+D
D1
D2
D3
D5
D7
...
D4
D6
D9
...
D8
D10
...
· · ·
![Page 227: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/227.jpg)
Subcategorıas finitas de Z+D
D1
D2
D3
D5
D7
...
D4
D6
D9
...
D8
D10
...
· · ·
![Page 228: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/228.jpg)
Subcategorıas finitas de Z+D
D1
D2
D3
D5
D7
...
D4
D6
D9
...
D8
D10
...
· · ·
![Page 229: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/229.jpg)
Subcategorıas finitas de Z+D
D1
D2
D3
D5
D7
...
D4
D6
D9
...
D8
D10
...
· · ·
![Page 230: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/230.jpg)
Subcategorıas finitas de Z+D
D1
D2
D3
D5
D7
...
D4
D6
D9
...
D8
D10
...
· · ·
![Page 231: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/231.jpg)
Subcategorıas equivalentes a Z+D
Z+D
2Z+D
3Z+D
5Z+D
7Z+D
...
4Z+D
6Z+D
9Z+D
...
8Z+D
10Z+D
...
· · ·
![Page 232: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/232.jpg)
Subcategorıas equivalentes a Z+D
Z+D
2Z+D
3Z+D
5Z+D
7Z+D
...
4Z+D
6Z+D
9Z+D
...
8Z+D
10Z+D
...
· · ·
![Page 233: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/233.jpg)
Subcategorıas equivalentes a Z+D
Z+D
2Z+D
3Z+D
5Z+D
7Z+D
...
4Z+D
6Z+D
9Z+D
...
8Z+D
10Z+D
...
· · ·
![Page 234: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/234.jpg)
Subcategorıas equivalentes a Z+D
Z+D
2Z+D
3Z+D
5Z+D
7Z+D
...
4Z+D
6Z+D
9Z+D
...
8Z+D
10Z+D
...
· · ·
![Page 235: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/235.jpg)
Subcategorıas equivalentes a Z+D
Z+D
2Z+D
3Z+D
5Z+D
7Z+D
...
4Z+D
6Z+D
9Z+D
...
8Z+D
10Z+D
...
· · ·
![Page 236: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/236.jpg)
Subcategorıas equivalentes a Z+D
Z+D
2Z+D
3Z+D
5Z+D
7Z+D
...
4Z+D
6Z+D
9Z+D
...
8Z+D
10Z+D
...
· · ·
![Page 237: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/237.jpg)
Subcategorıas equivalentes a Z+D
Z+D
2Z+D
3Z+D
5Z+D
7Z+D
...
4Z+D
6Z+D
9Z+D
...
8Z+D
10Z+D
...
· · ·
![Page 238: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/238.jpg)
Parte IX
REFERENCIAS BIBLIOGRAFICAS
![Page 239: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/239.jpg)
G. Birkhoff, Lattice Theory, American MathematicalSociety, Providence, 1940.
G. Gratzer, Lattice Theory, W. H. Freeman and Company,San Francisco, 1971.
P. T. Johnstone, Sketches of an Elephant A Topos TheoryCompendium, Vol 1,2, Oxford University Press, Cambridge,2002.
A.J. Lindenhovius, Grothendieck topologies on posets,arXiv:1405.4408v2, 2014.
Joaquın Luna-Torres, Sheaves in ElementaryMathematics:the case of positive integer numbers,arXiv:1506.02551, 2015.
![Page 240: EL ORDEN DE LA DIVISIBILIDAD EN LOS NÚMEROS ENTEROS ...matematicas.uis.edu.co/sites/default/files/paginas... · El orden multiplicativo o de la divisibilidad en Z+ = f1;2;3;g est](https://reader030.fdocumento.com/reader030/viewer/2022040414/5f2609d454dad560a750be45/html5/thumbnails/240.jpg)
Joaquın Luna-Torres and Carlos Orlando OchoaC, Interior Operators and Topological Categories, Advancesand Applications in Mathematical Sciences, vol. 10, Issue 2,2011, pages 189-206, Mili Publications, Allahabad, India, 2011.
S. MacLane and I. Moerdijk, Sheaves in Geometry andLogic, A first introduction to Topos theory, Springer-Verlag, New York/ Heidelberg / Berlin,1992.