Está en la página 1de 46

La Topologı́a de Fürstenberg

La Topologı́a de Fürstenberg

Jaime Gutiérrez
UNIVERSIDAD DE PANAMÁ

jgutierrez@matematicas.net

Coloquios matemáticos
La Topologı́a de Fürstenberg
La infinitud del conjunto de los números primos

El Teorema de Euclides
La Topologı́a de Fürstenberg
La infinitud del conjunto de los números primos

El Teorema de Euclides

El Teorema de Euclides
El conjunto de los números primos es infinito.
La Topologı́a de Fürstenberg
La infinitud del conjunto de los números primos

El Teorema de Euclides

El Teorema de Euclides
El conjunto de los números primos es infinito.

El teorema y una demostración se formularon en la proposición 20


del libro IX de Los Elementos.
La Topologı́a de Fürstenberg
La prueba de Euclides

La prueba de Euclides
La Topologı́a de Fürstenberg
La prueba de Euclides

La prueba de Euclides

Como es de esperar, la prueba es por reducción al absurdo, y se


basa en el principio:
La Topologı́a de Fürstenberg
La prueba de Euclides

La prueba de Euclides

Como es de esperar, la prueba es por reducción al absurdo, y se


basa en el principio:

Dado un número primo natural n > 1, existe un número primo p


tal que p | n
La Topologı́a de Fürstenberg
La prueba de Euclides

La prueba de Euclides

Supongamos que el conjunto de números primos es finito y que sus


elementos son p1 , p2 , ..., pk . Consideremos el número

P = p1 p2 · · · pk + 1
La Topologı́a de Fürstenberg
La prueba de Euclides

La prueba de Euclides

Supongamos que el conjunto de números primos es finito y que sus


elementos son p1 , p2 , ..., pk . Consideremos el número

P = p1 p2 · · · pk + 1

Resulta que para i =1,2,...k:


La Topologı́a de Fürstenberg
La prueba de Euclides

La prueba de Euclides

Supongamos que el conjunto de números primos es finito y que sus


elementos son p1 , p2 , ..., pk . Consideremos el número

P = p1 p2 · · · pk + 1

Resulta que para i =1,2,...k:


1 < pi < P
La Topologı́a de Fürstenberg
La prueba de Euclides

La prueba de Euclides

Supongamos que el conjunto de números primos es finito y que sus


elementos son p1 , p2 , ..., pk . Consideremos el número

P = p1 p2 · · · pk + 1

Resulta que para i =1,2,...k:


1 < pi < P
pi no es un divisor de P
La Topologı́a de Fürstenberg
La prueba de Euclides

La prueba de Euclides

Supongamos que el conjunto de números primos es finito y que sus


elementos son p1 , p2 , ..., pk . Consideremos el número

P = p1 p2 · · · pk + 1

Resulta que para i =1,2,...k:


1 < pi < P
pi no es un divisor de P
Ahora, si p es un divisor primo de P, entonces p 6= pi para
i =1,2,...k, lo que es absurdo pues los únicos primos son p1 , p2 ,...,
pk .
La Topologı́a de Fürstenberg
El primorial

El primorial
La Topologı́a de Fürstenberg
El primorial

El primorial

Si p es un número primo, el “primorial” de p se define como el


producto de los primos menores o iguales que p y se denota por !p
Y
!p = q
q≤p
q primo
La Topologı́a de Fürstenberg
El primorial

El primorial

Si p es un número primo, el “primorial” de p se define como el


producto de los primos menores o iguales que p y se denota por !p
Y
!p = q
q≤p
q primo

!2=1, !3=6, !5=30, !7=210, !11=2310, !13=30030.


La Topologı́a de Fürstenberg
El primorial

Problemas abiertos
La Topologı́a de Fürstenberg
El primorial

Problemas abiertos

Determiar los primos p tales que !p + 1 es primo.


La Topologı́a de Fürstenberg
El primorial

Problemas abiertos

Determiar los primos p tales que !p + 1 es primo.


¿Existen infinitos primos p tales que !p + 1 es primo?
La Topologı́a de Fürstenberg
El primorial

Problemas abiertos

Determiar los primos p tales que !p + 1 es primo.


¿Existen infinitos primos p tales que !p + 1 es primo?

Un número primo de la forma !p + 1 se denomina primorial. El


mayor primorial conocido es !392113+1, tiene 169966 dı́gitos y fue
descubierto en 2001.
La Topologı́a de Fürstenberg
Otras pruebas del Teorema de Euclides

Otras pruebas del Teorema de Euclides


La Topologı́a de Fürstenberg
Otras pruebas del Teorema de Euclides

Otras pruebas del Teorema de Euclides

Euler (2).
La Topologı́a de Fürstenberg
Otras pruebas del Teorema de Euclides

Otras pruebas del Teorema de Euclides

Euler (2).
Kummer.
La Topologı́a de Fürstenberg
Otras pruebas del Teorema de Euclides

Otras pruebas del Teorema de Euclides

Euler (2).
Kummer.
Hermite.
La Topologı́a de Fürstenberg
Otras pruebas del Teorema de Euclides

Otras pruebas del Teorema de Euclides

Euler (2).
Kummer.
Hermite.
Stieljes.
La Topologı́a de Fürstenberg
Otras pruebas del Teorema de Euclides

Otras pruebas del Teorema de Euclides

Euler (2).
Kummer.
Hermite.
Stieljes.
Fürstenberg
La Topologı́a de Fürstenberg
La topologı́a de Fürstenberg

La topologı́a de Fürstenberg
La Topologı́a de Fürstenberg
La topologı́a de Fürstenberg

La topologı́a de Fürstenberg

Denotamos por Z al conjunto de los números enteros.


Para (a, b) ∈ N × Z definimos:

S(a, b) = {an + b : n ∈ Z}

Defimos una topologı́a τF , declarando A ⊂ Z abierto si y sólo si


A=∅o
∀x ∈ A, ∃a ∈ N tal que S(a, x) ⊂ A.
La Topologı́a de Fürstenberg
La topologı́a de Fürstenberg

La topologı́a de Fürstenberg
La Topologı́a de Fürstenberg
La topologı́a de Fürstenberg

La topologı́a de Fürstenberg
Demostrar que τF es, en efecto, una topologı́a sobre Z es fácil:
La Topologı́a de Fürstenberg
La topologı́a de Fürstenberg

La topologı́a de Fürstenberg
Demostrar que τF es, en efecto, una topologı́a sobre Z es fácil:
∅ es abierto por definción y Z = S(0, 1) es abierto.
La Topologı́a de Fürstenberg
La topologı́a de Fürstenberg

La topologı́a de Fürstenberg
Demostrar que τF es, en efecto, una topologı́a sobre Z es fácil:
∅ es abierto por definción y Z = S(0, 1) es abierto.
S
Si {Ai }i∈I es una familia de abiertos y x ∈ Ai entonces
i∈I
x ∈ Ai para algún i y a ∈ N tal que
[
x ∈ S(a, x) ⊂ Ai ⊂ Ai
i∈I
La Topologı́a de Fürstenberg
La topologı́a de Fürstenberg

La topologı́a de Fürstenberg
Demostrar que τF es, en efecto, una topologı́a sobre Z es fácil:
∅ es abierto por definción y Z = S(0, 1) es abierto.
S
Si {Ai }i∈I es una familia de abiertos y x ∈ Ai entonces
i∈I
x ∈ Ai para algún i y a ∈ N tal que
[
x ∈ S(a, x) ⊂ Ai ⊂ Ai
i∈I

Si A1 , A2 son abiertos no dijuntos y x ∈ A1 ∩ A2 , entonces


existen a1 , a2 ∈ N tales que S(a1 , x) ⊂ A1 y S(a2 , x) ⊂ A2 .
Tomamos a = MCM(a1 , a2 ) y obtenemos:

x ∈ S(a, x) ⊂ S(a1 , x) ⊂ A1 ∩ S(a2 , x) ⊂ A2 ⊂ A1 ∩ A2 .

lo que prueba que A1 ∩ A2 es abierto.


La Topologı́a de Fürstenberg
Propiedades de la topologı́a de Fürstenberg

Propiedades de la topologı́a de Fürstenberg


La Topologı́a de Fürstenberg
Propiedades de la topologı́a de Fürstenberg

Propiedades de la topologı́a de Fürstenberg

S(a, b) es infinito, por lo tanto el único abierto finito es ∅.


La Topologı́a de Fürstenberg
Propiedades de la topologı́a de Fürstenberg

Propiedades de la topologı́a de Fürstenberg

S(a, b) es infinito, por lo tanto el único abierto finito es ∅.


(Z, τF ) es disconexo. S(a, b) es abierto y cerrado:

[
a−1
S(a, b) = Z − S(a, b + j)
j=1
La Topologı́a de Fürstenberg
Propiedades de la topologı́a de Fürstenberg

Propiedades de la topologı́a de Fürstenberg

S(a, b) es infinito, por lo tanto el único abierto finito es ∅.


(Z, τF ) es disconexo. S(a, b) es abierto y cerrado:

[
a−1
S(a, b) = Z − S(a, b + j)
j=1

B = Z − {1, −1} es abierto y no es cerrado por que su


complemento es finito.
[
B= S(p, 0).
p primo

Si el conjunto de los números primos fuese finito B serı́a cerrado,


esto es absurdo ⇒ Teorema de Euclides.
La Topologı́a de Fürstenberg
Otras propiedades de la topologı́a de Fürstenberg

Otras propiedades de la topologı́a de Fürstenberg


La Topologı́a de Fürstenberg
Otras propiedades de la topologı́a de Fürstenberg

Otras propiedades de la topologı́a de Fürstenberg


(Z, τF ) es metrizable.
La Topologı́a de Fürstenberg
Otras propiedades de la topologı́a de Fürstenberg

Otras propiedades de la topologı́a de Fürstenberg


(Z, τF ) es metrizable.
La distancia df que induce la topologı́a de (Z, τF ) puede ser
escogida invariante por traslación.
Definimos k0k = 0 y para n 6= 0
knk−1 = max{k ∈ N : 1 | n, 2 | n, ..., k | n}
Por ejemplo:
1 1
k1k = 1, k2k =
k3k = k5k = 1, kn!k ≤ ,
2 n
La distancia dF se define para todo n, m ∈ Z por
dF (n, m) = kn − mk.
Si p es un primo impar
1
k!pk =
3
La Topologı́a de Fürstenberg
Otras propiedades de la topologı́a de Fürstenberg

Más propiedades
La Topologı́a de Fürstenberg
Otras propiedades de la topologı́a de Fürstenberg

Más propiedades
La Topologı́a de Fürstenberg
Otras propiedades de la topologı́a de Fürstenberg

Más propiedades

El conjunto de los números impares es cerrado.


La Topologı́a de Fürstenberg
Otras propiedades de la topologı́a de Fürstenberg

Más propiedades

El conjunto de los números impares es cerrado.


El conjunto de los números pares es abierto.
La Topologı́a de Fürstenberg
Otras propiedades de la topologı́a de Fürstenberg

Más propiedades

El conjunto de los números impares es cerrado.


El conjunto de los números pares es abierto.
lı́m n! = 0
n−→∞
La Topologı́a de Fürstenberg
Final
La Topologı́a de Fürstenberg
Final

Cela est tout par aujourd’hui.


Merci.