HIPTESIS

DE

RIEMANN

SEBASTIN QUIROZ CLEMENTE

Estudiante de Matemticas

FACULTAD DE CIENCIAS FISICO MATEMTICAS

I
PROLOGO DEL AUTOR

Esta obra fue escrita con el principal propsito de indagar cerca

del problema de La hiptesis de Rieman, dando primeramente
una resea histrica de manera introductoria, esto con motivo de
dar a conocer los orgenes del mismo.
Cabe mencionar que el tema en estudio fue propuesto por Bernhard Riemann en 1859 y presentado por el matemtico David
Hilbert en el ao de 1900 durante el congreso internacional de matemticas como uno de los mayores problemas aun sin resolver, de
ah la importancia y el inters mostrado en este cuestionamiento.
Por tratarse de un problema abierto, no se presentara ninguna demostracin formal, solo se har mencin de resultados relacionados
al tema y algunas aportaciones realizadas por otros matemticos.
Algunos puntos, por el rigor y la exigencia del tema no sern tratados en esta obra, pretendiendo que el lector presente mayor inters
e indague ms sobre el tema en fuentes externas a este.
Como punto nal se presentaran algunas anotaciones y conclusiones para futuros resultados en trabajos posteriores.

II

ndice general
1. INTRODUCCION HISTORICA

1.1. Fermat, Mersenne y algunas conjeturas . . . . . . . . . . . . . 3

1.2. Euler y el nacimiento de la funcin zeta . . . . . . . . . . . . . 6

2. PRIMEROS RESULTADOS

11

3. Hiptesis de Riemann

17

2.1. La estrategia de Riemann . . . . . . . . . . . . . . . . . . . . 11

2.2. De Conjetura al Teorema de los Nmeros Primos . . . . . . . 13
2.3. La disputa entre Erds y Selberg . . . . . . . . . . . . . . . . 14
3.1. Hiptesis generalizada de Riemann . . . . . . . . . . . . . . . 18
3.2. Consecuencias de la Hiptesis Generalizada de Riemann . . . 19
3.3. Hiptesis Extendida de Riemann . . . . . . . . . . . . . . . . 20

III

Captulo 1
INTRODUCCION HISTORICA

Demostrar la Hiptesis de Riemann signicara un cambio profundo en la forma de entender la realidad que nos rodea. Por ello,
no es extrao que sea considerado como el problema matemtico
abierto ms importante en la actualidad. Desde que en noviembre
de 1859, el alemn Bernhard Riemann publicara en la academia
de Berln sobre la cifra de Nmeros Primos menores que una cantidad dada, muchos matemticos han intentado, hasta ahora sin
xito demostrarlo.

Los primeros intentos de descifrar los misterios de los nmeros

primos surgieron en la antigua Grecia. Ellos fueron los que establecieron los principios matemticos sobre los que se ha trabajado
desde entonces. Los pitagricos se encargaron de profundizar en
los conceptos fundamentales de la aritmtica, otorgndole a los
nmeros un carcter casi mstico. Fueron ellos quienes comenzaron a multiplicar y operar con los nmeros, dndose cuenta de que
existan algunos de ellos que eran imposibles de reducir.

Fue en los Elementos de Euclides (en torno al ao 300 a.C.) donde

encontramos el primer salto cualitativo en lo que a los nmeros
primos se reere. Euclides demostr que la cantidad de nmeros

CAPTULO 1.

INTRODUCCION HISTORICA

primos era innita, y lo hizo mediante un mtodo ingenioso del

razonamiento lgico, la reduccin al absurdo. Para ello consider
como hiptesis de partida que existe un conjunto nito de nmeros primos que denotaremos como

C = {p1 , p2 , ..., pn }.

En este

punto Euclides realiza el paso clave para su demostracin. Si ahora consideramos el nmero formado por el producto de todos estos
nmeros primos

pi ,

todos ellos mayores que 1, y le sumamos 1,

tendremos:

N = p1 p2 ... pn + 1
Por lo tanto

es mayor que cualquier de los nmeros primos

pi ,

por lo tanto no pertenece al conjunto C, y por el Teorema Fundamental de la aritmtica, puede descomponerse como producto
de factores primos. Por hiptesis, estos factores slo pueden estar
entre los primos que aparecen en el conjunto C. Por tanto, existir
un primo
te,

del conjunto C, tal que

divide a

es divisor de

p1 p2 ...pn . Por consiguiente, q

N , y obviamen-

divide a la diferencia

N p1 p2 ... pn = 1
Pero ningn nmero primo divide a 1, y

es un nmero primo

que divide a 1, de aqu la contradiccin. Concluimos entonces que

el conjunto de los nmeros primos no puede ser nito (q.e.d.).

Una vez establecida la innidad de nmeros primos, el siguiente paso deba ser

cuantificar

la cantidad de nmeros primos que

existen menores que un nmero

establecido previamente. De-

notaremos entonces:

(x) =

nmeros primos

La herramienta ms til que se conoce para contar primos es la

Criba de Eratstenes, descubierta por Eratstenes de Cirene (276-

1.1.

FERMAT, MERSENNE Y ALGUNAS CONJETURAS

194 a.C.). ste es un algoritmo utilizado para eliminar los nmeros compuestos entre 1 y
es menor o igual a
igual que

x, y

x, y

se basa en la observacin de que si

no es divisible por ningn primo menor o

x , entonces N

debe ser primo. Comenzamos por hacer

un listado de todos los enteros entre 1 y

x,

y eliminar de la lista

todos los mltiplos de 2. A continuacin borramos los mltiplos de

3, despus los mltiplos de 5, etc., hasta que todos los mltiplos
de los primos menores o iguales que

x hayan desaparecido de la

lista. Los nmeros que hayan sobrevivido a la criba sern todos

primos.

La Criba de Eratstenes nos permite evaluar la funcin

valores pequeos de

x:

(x) para

se trata de una funcin escalonada que da

un salto 1 cada vez que aparece un primo nuevo. Sin embargo,

para valores grandes de

x,

es imposible calcular el valor de

(x)

con exactitud, pero podemos intentar hacer una estimacin de su

valor basndonos en el patrn de su comportamiento para valores
conocidos.

1.1.

Fermat, Mersenne y algunas conjeturas

Tras la cada del imperio romano, Europa qued sumida en una

especie de letargo durante la edad Media. No fue hasta nales del
siglo XV, con la aparicin del Renacimiento, cuando se empezaron a recuperar en todas las disciplinas del arte, y la ciencia los
trabajos de los clsicos. Sin embargo, la aritmtica jug en cierto
modo un papel secundario en cuanto a inters se reere, dejando el protagonismo primero al lgebra durante el siglo XVI, a la
geometra algebraica durante la primera mitad del siglo XVII, y
al clculo y al anlisis durante la segunda mitad del siglo XVII
y todo el siglo XVIII. Sin embargo durante este largo periodo no
dejaron de surgir nuevas investigaciones en torno a la aritmtica,
caracterizada esta poca por la aparicin de ciertas conjeturas,

CAPTULO 1.

INTRODUCCION HISTORICA

muchas de ellas en torno a los nmeros primos.

Pero, si hay un personaje que destaque sobre todos los dems en

el siglo XVII en cuanto a la aritmtica se reere, ste es sin lugar a
dudas el francs Pierre de Fermat. Fermat, que no era matemtico
de profesin sino un hombre de leyes, trabaj en innidad de ramas de las matemticas.Fermat conjetur que todos los nmeros
de la forma

n = 4

22 + 1

eran primos y veric esta propiedad hasta

. Sin embargo, el siguiente nmero de Fermat

232 + 1

es

compuesto, como demostr Euler. De hecho, hasta nuestros das

no se conoce ningn nmero de Fermat que sea primo aparte de los
que ya conoca el propio matemtico francs. Tambin demostr
el que hoy es un resultado fundamental de la aritmtica, conocido
como Pequeo Teorema de Fermat, cuyo enunciado establece:

Si

es un nmero primo, y

que 1, entonces

p|ap a,

es cualquier nmero natural mayor

es decir,

ap a

es divisible por

p.

El segundo gran personaje del siglo XVII, en lo que a aritmtica

se reere, fue el monje francs Marin Mersenn. Mersenne dedic
especialmente gran parte de sus investigaciones a los nmeros primos de la forma

Se puede demostrar que si

no es primo

2 1 tampoco es primo, con lo que slo tienen un espep

inters los nmeros 2 1 con p primo. Antes de Mersenne,

entonces
cial

2p 1.

otros matemticos haban establecido ya que ciertos nmeros del

tipo

2p 1

primo para
para

eran primos. En particular, se saba que

p = 2, 3, 5, 7, 13, 17, 19,

p = 11.

y que

2 1

2p 1

era

no era primo

Entonces Mersenne en 1644, en el prlogo de su li-

bro Cogitata Physica-Mathematica, escribi que considerando un

primo

nmeros

entre 2 y 257, el nmero

2p 1

es primo slo para los

siguientes: 2, 3, 5, 7, 13, 17, 19, 31, 67, 127 y 257. Toda

la comunidad matemtica opinaba que era imposible que Mersenne hubiese estudiado tal cantidad de nmeros, pero tampoco

1.1.

FERMAT, MERSENNE Y ALGUNAS CONJETURAS

haba nadie capaz de probar que su enunciado era incorrecto. La

armacin estaba tan por encima de las posibilidades de la poca
que tuvieron que pasar ms de 100 aos para que alguien hiciese un avance real en su estudio: nalmente se logr probar que
efectivamente el nmero

231 1 es un nmero primo. ste es slo

uno de la cantidad ingente de resultados matemticos asociados

al nombre del matemtico ms prolco de la historia, el suizo
Leonhard Euler. El estudio del resultado anunciado por Mersenne
no se complet hasta 1947, establecindose que la lista correcta
es: 2, 3, 5, 7, 13, 17, 19, 31, 61, 89, 107 y 127. Al nal result que
Mersenne haba puesto dos nmeros de ms y tres de menos en
su lista original. A pesar de todo, los primos de la forma

2p 1

conservan el nombre de Mersenne. Quedaban as entonces establecidos los 12 primeros primos de Mersenne.

El 7 de junio 1742, Christian Goldbach, secretario de la Academia

Imperial de Ciencias de San Petesburgo, escribi una carta a Euler que demuestra la capacidad intuitiva matemtica del alemn.
En esta carta expona:

No creo que sea totalmente intil plantear aquellas

proposiciones que son muy probables aunque falte una verdadera
demostracin, pues an cuando se descubra que son incorrectas,
pueden conducir al descubrimiento de una nueva verdad.

Adems Goldbach le comentaba que, a pesar de no haber encontrado una demostracin, estaba seguro de que todo nmero
natural mayor o igual que 6 se puede escribir como suma de tres
nmeros primos. Euler le contest, conrmando que el resultado es
equivalente a que todo nmero natural par mayor o igual que 3 es
la suma de dos primos. Este ltimo enunciado pasara a la historia
con el nombre de Conjetura de Goldbach, uno de los problemas
abiertos ms famosos de las Matemticas. Es bien conocido que

CAPTULO 1.

INTRODUCCION HISTORICA

Descartes haba formulado una conjetura similar, aunque no equivalente a la de Goldbach en 1650, que estableca que todo nmero
par es al menos suma de tres nmeros primos. Lo que no est tan
claro es que formulara dicha conjetura nicamente para los nmeros enteros pares, pero es fcil ver que sta es equivalente. Muchos
han intentado su demostracin. Uno de los primeros fue el padre
de la teora de conjuntos, el alemn Georg Cantor. Otros matemticos brillantes como Lev Schnirelmann, Godfrey H. Hardy, Ivan
Vinagodrov y Chen Jingrun, han dedicado parte de sus esfuerzos
en lograr desentraar sus secretos, logrndose avances muy signicativos por mtodos analticos, aunque sin llegar a la solucin
general nal. No se duda de su veracidad, como adems sugieren
los clculos hechos en la actualidad con algunos de los ordenadores
ms potentes, pero nadie ha sido capaz de dar una demostracin
general.

1.2.

Euler y el nacimiento de la funcin zeta

Hasta el siglo XVIII, nadie haba podido vislumbrar ningn patrn en el comportamiento de los nmeros primos. Estos aparecen
en la sucesin de los nmeros naturales sin ningn orden aparente, aunque lo que s es cierto es que su frecuencia disminuye a
medida que avanzamos en la sucesin. En 1737, el prolco suizo
Leonhard Euler encontr una identidad capaz de relacionar los
nmeros naturales con los nmeros primos que abrira las puertas
de la moderna teora de nmeros, enunciando el siguiente teorema:

1
n=1 ns

Q 
p

1
ps

1

, para todo

s 1|s R

, y p pri-

mo.....(1)

Pero cmo pudo Euler deducir esta interconexin entre los nmeros naturales y los nmeros primos?. Su demostracin ms estricta

1.2.

EULER Y EL NACIMIENTO DE LA FUNCIN ZETA

fue publicada en 1744. Sea

x=1+

1 1 1
+ + + ...
2 3 4

Entonces

1
1 1 1
x = + + + ...
2
2 4 6
Lo que nos lleva a

1
1 1
x = 1 + + + ...
2
3 5
Ahora, para eliminar los denominadores que son divisibles por
tres, dividimos ambos lados de la igualdad por tres, para obtener

1 1
1 1
1
x= + +
+ ...
2 3
3 9 15
Restando, se eliminan todos los denominadores multiplos de 3,
resultando




1 1 1
1 1
1 1
1

x = 1 + + + ...
+ +
+ ...
2 2 3
3 5
3 9 15
1 1
1 2
x = 1 + + + ...
2 3
5 7

Este proceso es similar a la criba de Eratstenes, ya que, en cada

paso, se elimina el denominador primo y todos sus mltiplos. Repitiendo la iteracin, pero esta vez dividiendo la ltima ecuacin
por 5, y reagrupando se obtiene

CAPTULO 1.

INTRODUCCION HISTORICA

1
1
1
1 2 1
x= +
+
+ ...
2 3 5
5 25 35
Operando resulta

124
1
1
x=1+ +
+ ...
235
7 11
Del mismo modo, que los trminos con denominadores que son
mltiplos de 7, 11 y as con todos los nmeros primos, se irn
eliminando, resultando

1 2 4 6 10 12 16 18 22 ...
x=1
2 3 5 7 11 13 17 19 21 ...
Pero, como

es sabido que resulta ser la suma de la serie harmni-

ca, el resultado queda inmediatamente demostrado. Sin embargo,

esta demostracin no puede ser considerada sucientemente rigurosa desde un punto de vista de los estndares matemticos modernos, pero cualquier matemtico moderno reformulara el teorema
diciendo que la serie harmnica tiene un lmite nito si y slo si el
producto innito lo tiene, y entonces comenzara la demostracin
suponiendo que la serie harmnica converge al valor x. Sin embargo, si aceptamos el resultado, entonces tenemos una pequea
demostracin de que existen innitos nmeros primos. Para que
el producto

2 3 5 7 11 13 17 19 ...
1 2 4 6 10 12 16 18 ...
diverja debe tratarse de un producto innito, por lo tanto deben
existir innitos nmeros primos.

El teorema 8 de dicha obra de Euler resulta extremadamente importante. Si utilizamos la serie de nmeros primos para formar la

1.2.

EULER Y EL NACIMIENTO DE LA FUNCIN ZETA

expresin

3n
5n
7n
11n
2n

...
2n 1 3n 1 5n 1 7n 1 11n 1
entonces su valor es igual a la suma de esta serie

1+

1
1
1
+
+
+ ...
2n 3n 4n

Utilizando la notacin moderna, esta expresin resulta ser (1),

cuya demostracin es exactamente igual a la del teorema 7, con el
exponente n incluido. Adems, la demostracin del teorema 8 es
completamente correcta desde el punto de vista de los estndares
matemticos modernos ya que todas las series involucradas en la
expresin son absolutamente convergentes.

10

CAPTULO 1.

INTRODUCCION HISTORICA

Captulo 2
PRIMEROS RESULTADOS

2.1.

La estrategia de Riemann

En 1859, para su ingreso en la Academia de las Ciencias de Berln, el alemn Bernhard Riemann redact una memoria de ocho
pginas que prepararan el camino para llegar posteriormente al
Teorema de los Nmeros Primos. La idea de Riemann se bas en
interconectar la funcin

(x)

con la funcin zeta de Euler

X
1
(s) =
ns0
n=1
pero, y ste es el salto cualitativo con respecto a Euler, considerada
dicha funcin como de variable compleja. La derivada logartmica
de la identidad de Euler se traduce en la identidad

X
(n)
n=1


(n) =

ns

log p
0

0 (s)
=
(s)0

si

n = pk ,

p primo

en otro caso

11

12

CAPTULO 2.

PRIMEROS RESULTADOS

Por otro lado no es complicado comprobar que el teorema de

los nmeros primos, an conjetura cuando Riemann redact su
memoria, es equivalente al enunciado que arma que

(x) =

(n) x

nx
La estrategia de Riemann consisti en tratar de obtener informacin sobre

(x),

partiendo de las propiedades de la funcin

(s).

La funcin zeta de Riemann, como es actualmente conocida, posee nicamente un polo simple que resulta ser

s = 1,

y se puede

extender de forma analtica a todo el plano complejo. La localizacin de sus ceros en la denominada franja crtica,

0 Re(x) 1,

est fuertemente ligada a la distribucin de los nmeros primos.

Riemann conjetur que todos los ceros en esa franja estaban sobre
la recta

Re(s) =

1
2.

Tras su descubrimiento, la Universidad de Gotinga otorg a Riemann el puesto de Jefe de Departamento de Matemticas, exactamente el mismo puesto que su predecesor Gauss haba ocupado.
Desde ese momento, Riemann comenz a gozar de una vida social
muy activa, viendo incrementados su fama y su reputacin. Hoy
da es considerado un genio, pero de un modo diferente a Gauss;
Gauss fue capaz de abarcar todo lo posible en las matemticas,
pero Riemann otorg a sus aportaciones un carcter casi mgico.
Realiz descubrimientos asombrosos sobre los nmeros primos, en
parte debido a que fue capaz de inventar una maquinaria capaz
de interconectar aspectos fundamentales de la teora de nmeros.
Tambin contribuy en gran medida al desarrollo de la geometra,
construyendo nuevos modelos no eucldeos conocidos hoy como

geometras riemannianas, donde por ejemplo la Teora de la Relatividad de Eistein se fundamenta. Su aportacin a la ciencia,
lejos de estar pasada de moda, se mantiene hoy da relevante.

2.2.

DE CONJETURA AL TEOREMA DE LOS NMEROS PRIMOS

13

Por desgracia, nunca sabremos cun cerca estuvo de demostrar

su hiptesis, ya que al parecer tras su muerte su ama de llaves
destruy en el fuego gran parte del material que Riemann tena
en forma de manuscritos o borradores.

2.2.

De Conjetura al Teorema de los Nmeros

Primos

El gran descubrimiento sobre nmeros primos antes de llegar

al siglo XX, fue llevado a cabo por el francs Jacques Salomon
Hadamard y el belga Charles Jean tienne Gustave Nicolas de
la Valle-Poussin, quienes se encargaron de demostrar, de forma
independiente, la Conjetura de Gauss sobre nmeros primos, adquiriendo la categora de Teorema de los Nmeros Primos en 1896.
Los trabajos de Riemann sobre la funcin

(s) sirvieron para des-

cribir la estrategia a seguir hasta llegar a la demostracin de dicho

teorema. Para llegar a dicha demostracin, por supuesto no elemental, Hadamard hizo uso de su teora de funciones integrales
aplicada a la funcin

(s),

la cual est denida mediante la serie

absolutamente convergente

(s) =

ns ,

para

Re(s) > 1.

n=1
Bsicamente la demostracin de Hadamard y de la Valle Poussin,
consisti en probar que la funcin zeta de Riemann
ningn cero de la forma

(s)

no tiene

1 + it. En particular, de la Valle Poussin

demostr que


(x) = Li(x) + O


x a p
e
log x
log x

14

CAPTULO 2.

PRIMEROS RESULTADOS

donde a es una constante.

2.3.

La disputa entre Erds y Selberg

Aunque tras las demostraciones de Hadamard y de la VallePoussin, hubo varios autores que llevaron a cabo simplicaciones,
en particular Landau y Wiener, evitando en la medida de lo posible la teora de funciones de Hadamard, an estaba lejos de encontrarse una demostracin ms elemental. De hecho en 1921 G.
H. Hardy realiz una conferencia en la Sociedad Matemtica de
Copenhage, en la que comentaba:

No se conoce an ninguna demostracin elemental sobre el

teorema de los nmeros primos, y uno podra preguntarse si es
razonable esperar que la haya. Ahora sabemos que el teorema es
fundamentalmente equivalente a un teorema sobre funciones
analticas, el teorema que establece que la funcin zeta de
Riemann tiene races sobre una cierta recta. Una demostracin
de tal teorema, fundamentalmente no dependiente de la teora de
funciones, me resulta extraordinariamente improbable. Es
temerario armar que un teorema matemtico no pueda ser
demostrado de un modo particular; pero una cosa parece clara.
Tenemos cierta perspectiva sobre la lgica de la teora; pensamos
en algunos teoremas, que denominamos profundos, y otros ms
superciales; si alguien realizara una demostracin elemental del
teorema de los nmeros primos, mostrara que estas perspectivas
son errneas, que el tema no se corresponde del modo al que
habamos supuesto, y que es momento de que los libros sean
reorganizados y la teora reescrita.
Prcticamente 50 aos despus de las demostraciones de Hadamard y de la Valle-Poussin, en el ao 1948, el hngaro Paul Er-

2.3.

LA DISPUTA ENTRE ERDS Y SELBERG

15

ds y el noruego Atle Selberg, anunciaron haber encontrado una

demostracin elemental sobre el teorema de los nmeros primos,
haciendo uso nicamente de propiedades sencillas de la funcin
logaritmo. Desgraciadamente, este anuncio condujo a una amarga
disputa entre los dos matemticos.

Erds public su demostracin en un artculo del Boletn de la Sociedad Matemtica Americana, denominado Sobre un nuevo m-

todo en teora elemental de nmeros que lleva a una demostracin

elemental del teorema de los nmeros primos. Al mismo tiempo
Selberg public su artculo Una demostracin elemental del teore-

ma de los nmeros primos en la revista Anales de Matemticas.

Selberg desarroll su mtodo de criba por el que recibi en 1950
la medalla Fields. ste est basado en un teorema demostrado en
1973 por el matemtico chino Chen Jingrun que dice que todo en-

tero positivo par, es la suma de un primo y un nmero producto de

al menos dos factores primos (cuasiprimo). Selberg es actualmente conocido como uno de los principales matemticos del siglo XX
por su introduccin de la teora espectral en la teora de nmeros,
culminado en su descubrimiento de la frmula que clasica todas
las funciones aritmticas zeta. Por su parte, Erds recibi en 1952
el Premio Cole. Su trabajo sirvi para sentar las bases de la teora
de grafos e hipergrafos y mtodos probabilsticos con aplicaciones
en combinatoria y teora de nmeros elemental. Ambos recibieron
el premio Wolf, Erds en 1983/1984 y Selberg en 1986.

16

CAPTULO 2.

PRIMEROS RESULTADOS

Captulo 3
Hiptesis de Riemann
La funcin zeta de Riemann

(s)

est denida de la siguiente

manera:

Y
X
1
1
=
=
(s) =
s
s
n
1

p
n=1
pP


 

1
1
1
1
1
1
= 1 + s + s + ...
1 + s + s + ... ... 1 + s + 2s + ...
2
4
3
9
p
p

Para todos los nmeros complejos

s 6= 1,

se puede prolongar ana-

lticamente mediante la ecuacin funcional:

s s1

(s) = 2

sen

 s 
2

(1 s)(1 s).

Esta posee ciertos valores, llamados ceros triviale para los cuales
la funcin zeta se anula. De la ecuacin se puede ver que
son ceros triviales. Existen otros valores complejos
dos entre

0 < Re(s) < 1,

s = 2n

comprendi-

para los cuales la funcin zeta tambin

se anula, llamados ceros no triviales. La conjetura de Riemann

hace referencia a estos ceros no triviales armando:

La parte real de todo cero no trivial de la funcin zeta de Rie1

mann es 
2

17

18

CAPTULO 3.

HIPTESIS DE RIEMANN

Por lo tanto los ceros no triviales deberan encontrarse en la lnea

crtica

s = 1/2 + it

donde

es un nmero real e

es la unidad

imaginaria. La funcin zeta de Riemann, a lo largo de la lnea

crtica ha sido estudiada en trminos de la funcin Z, cuyos ceros
corresponden a los ceros de la funcin zeta sobre la lnea crtica.

Recordemos lo que Riemann arma:

(s) tiene innitos

Re a = 1/2.

ceros complejos que esta en la linea recta

Es muy probable que la raiz de una funcion x son reales. Es

P 1
decir (s) = a + ib = 0; (a = 1/2; b =
n n)

3.1.

Hiptesis generalizada de Riemann

La hiptesis generalizada de Riemann fue probablemente enunciada por primera vez por Piltz en 1884. Al igual que la hiptesis
original de Riemann, posee consecuencias que abarcan a la distribucin de los nmeros primos. El enunciado formal de la hiptesis
es el siguiente. Un carcter de Dirichlet es una funcin aritmtica
completamente multiplicativa

tal que existe un entero positivo

k con (n + k) = (n) para todo n

mcd(n, k) > 1. Si tal carcter existe,

(n) = 0

siempre que

se dene la funcin-L de

Dirichlet correspondiente mediante

L(, s) =

X
(n)
n=1

para todo nmero complejo

ns

con parte real

> 1.

Mediante

extensin analtica, esta funcin puede ser extendida a una funcin meromorfa denida sobre todo el plano complejo. La hiptesis generalizada de Riemann establece que para todo carcter de

19

3.2. CONSECUENCIAS DE LA HIPTESIS GENERALIZADA DE RIEMANN

y todo nmero complejo s con L(, s) = 0: si la parte real de s se encuentra comprendida entre 0 y 1, entonces es 1/2.

Dirichlet

El caso

(n) = 1

para todo

conduce a la hiptesis ordinaria

de Riemann.

3.2.

Consecuencias de la Hiptesis Generalizada de Riemann

Una sucesin aritmtica en los nmeros naturales es un con-

a, a + d, a + 2d, a + 3d, ... donde a y

d son no meros naturales y d es distinto de cero. El Teorema de
Dirichlet establece que si a y d son coprimos, entonces dicha sucesin aritmtica contiene innitos nmeros primos. Si (x, a, d) es
junto de nmeros del tipo

la cantidad de nmeros primos en dicha sucesin que son menores

o iguales a

x.

Si la hiptesis generalizada es verdadera, entonces

a y d y para cada  > 0

Z
1 x 1
dt + O(x1/2+ ) cuando x
(x, a, d) =
2 ln t

para cada coprimo

Esto constituye un refuerzo signicativo del teorema de los nmeros primos, y constituye el teorema de los nmeros primos para
progresiones aritmticas.

La conjetura dbil de Goldbach tambin se deduce a partir de

la hiptesis generalizada de Riemann.

Tambien si la Hiptesis Generalizada de Riemann es verdadera,

entonces se garantiza que el algoritmo de Shanks-Tonelli corre en
tiempo polinmico. El algoritmo de Shanks-Tonelli resulta til pa-

x2 n mod p donde n es un residuo

mod p, p es primo y x es la variable incgnita. Dicho

ra encontrar soluciones de:

cuadrtico

20

CAPTULO 3.

HIPTESIS DE RIEMANN

algoritmo es un paso importante en el algoritmo de factorizacin

de la criba cuadrtica.

3.3.

Hiptesis Extendida de Riemann

Suponiendo que

es un cuerpo de nmeros algebraicos (una

extensin de cuerpo de dimensin nita de los nmeros racionales

Q) con anillo de los enteros OK (este anillo es la clausura integral

de los enteros Z en K ). Si a es un anillo ideal de OK , distinto
del cero ideal denominamos a su norma N a. La funcin zeta de
Dedekind de K est denida mediante
K (s) =

X
a

para todo nmero complejo

1
(N a)s

con parte real

tiende sobre todos los ideales no nulos a de

> 1. La suma se exOK . La funcin zeta

de Dedekind satisface una ecuacin funcional y puede ser extendida mediante una extensin analtica a todo el plano complejo.
La funcin resultante contiene informacin importante sobre el

K . La hiptesis extendida de Riemann establece

que para todo campo numrico K y todo nmero complejo s con
K (s) = 0: si la parte real de s se encuentra entre 0 y 1, entonces
cuerpo numrico

vale 1/2. La hiptesis ordinaria de Riemann se obtiene a partir de

la extendida si se toma el campo de los nmeros como
anillo

de los nmeros enteros.

Q,

con el

Bibliografa

[1] ww.caminos.upm.es/Departamentos/matematicas/revistapm/revista_impresa/numero_1/riema
[2] s.wikipedia.org/wiki/Hip %C3 %B3tesis_generalizada_de_Riemann
[3] s.wikipedia.org/wiki/Hip %C3 %B3tesis_de_Riemann

21