Furstenberg

La Topologı́a de Fürstenberg
Jaime Gutiérrez
UNIVERSIDAD DE PANAMÁ
jgutierrez@matematicas.net
Coloquios matemáticos
La infinitud del conjunto de los números primos
El Teorema de Euclides
El conjunto de los números primos es infinito.
El conjunto de los números primos es infinito.
El teorema y una demostración se formularon en la proposición 20

del libro IX de Los Elementos.
La prueba de Euclides
Como es de esperar, la prueba es por reducción al absurdo, y se

basa en el principio:
Como es de esperar, la prueba es por reducción al absurdo, y se

basa en el principio:
Dado un número primo natural n > 1, existe un número primo p

tal que p | n
Supongamos que el conjunto de números primos es finito y que sus

elementos son p1 , p2 , ..., pk . Consideremos el número
P = p1 p2 · · · pk + 1

P = p1 p2 · · · pk + 1
Resulta que para i =1,2,...k:


P = p1 p2 · · · pk + 1

1 < pi < P

P = p1 p2 · · · pk + 1

1 < pi < P
pi no es un divisor de P

P = p1 p2 · · · pk + 1

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 únicos primos son p1 , p2 ,...,
pk .
El primorial
El primorial
El primorial
El primorial
Si p es un nú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
El primorial
El primorial
Si p es un nú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.

El primorial
Problemas abiertos
El primorial
Problemas abiertos
Determiar los primos p tales que !p + 1 es primo.

El primorial
Problemas abiertos

¿Existen infinitos primos p tales que !p + 1 es primo?
El primorial
Problemas abiertos

¿Existen infinitos primos p tales que !p + 1 es primo?
Un nú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.
Otras pruebas del Teorema de Euclides

Euler (2).
Euler (2).
Kummer.
Euler (2).
Kummer.
Hermite.
Euler (2).
Kummer.
Hermite.
Stieljes.
Euler (2).
Kummer.
Hermite.
Stieljes.
Fürstenberg
La topologı́a de Fürstenberg
Denotamos por Z al conjunto de los nú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 sólo si

A=∅o
∀x ∈ A, ∃a ∈ N tal que S(a, x) ⊂ A.
Demostrar que τF es, en efecto, una topologı́a sobre Z es fácil:
∅ es abierto por definció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 algún i y a ∈ N tal que
[
x ∈ S(a, x) ⊂ Ai ⊂ Ai
i∈I
S
Si {Ai }i∈I es una familia de abiertos y x ∈ Ai entonces
i∈I
x ∈ Ai para algú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.

Propiedades de la topologı́a de Fürstenberg

S(a, b) es infinito, por lo tanto el ú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

(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 números primos fuese finito B serı́a cerrado,

esto es absurdo ⇒ Teorema de Euclides.
Otras propiedades de la topologı́a de Fürstenberg


(Z, τF ) es metrizable.

(Z, τF ) es metrizable.
La distancia df que induce la topologı́a de (Z, τF ) puede ser
escogida invariante por traslació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
Más propiedades
Más propiedades
Más propiedades
El conjunto de los números impares es cerrado.

Más propiedades

El conjunto de los números pares es abierto.
Más propiedades

El conjunto de los números pares es abierto.
lı́m n! = 0
n−→∞
Final
Final
Cela est tout par aujourd’hui.

Merci.

Furstenberg

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Furstenberg

Enviado por

Direitos autorais:

Formatos disponíveis

La Topologı́a de Fürstenberg

El teorema y una demostración se formularon en la proposición 20

Como es de esperar, la prueba es por reducción al absurdo, y se

Como es de esperar, la prueba es por reducción al absurdo, y se

Dado un número primo natural n > 1, existe un número primo p

Supongamos que el conjunto de números primos es finito y que sus

Supongamos que el conjunto de números primos es finito y que sus

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

Supongamos que el conjunto de números primos es finito y que sus

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

Supongamos que el conjunto de números primos es finito y que sus

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

Supongamos que el conjunto de números primos es finito y que sus

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

Si p es un número primo, el “primorial” de p se define como el

Si p es un número primo, el “primorial” de p se define como el

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

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

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

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

Un número primo de la forma !p + 1 se denomina primorial. El

Otras pruebas del Teorema de Euclides

Otras pruebas del Teorema de Euclides

Otras pruebas del Teorema de Euclides

Otras pruebas del Teorema de Euclides

Otras pruebas del Teorema de Euclides

Otras pruebas del Teorema de Euclides

Denotamos por Z al conjunto de los números enteros.

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

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

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

lo que prueba que A1 ∩ A2 es abierto.

Propiedades de la topologı́a de Fürstenberg

Propiedades de la topologı́a de Fürstenberg

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

Propiedades de la topologı́a de Fürstenberg

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

Propiedades de la topologı́a de Fürstenberg

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

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

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

Otras propiedades de la topologı́a de Fürstenberg

Otras propiedades de la topologı́a de Fürstenberg

Otras propiedades de la topologı́a de Fürstenberg

El conjunto de los números impares es cerrado.

El conjunto de los números impares es cerrado.

El conjunto de los números impares es cerrado.

Cela est tout par aujourd’hui.

Você também pode gostar