Teora de nmeros

La teora de nmeros se subdivide en diversas ramas.

Teora elemental de nmeros
En la teora elemental de nmeros, se estudian los nmeros enteros sin emplear tcnicas
procedentes de otros campos de las matemticas. Pertenecen a la teora elemental de
nmeros las cuestiones de divisibilidad, el algoritmo de Euclides para calcular el mximo
comn divisor, la factorizacin de los enteros como producto de nmeros primos, la
bsqueda de los nmeros perfectos y las congruencias. Son enunciados tpicos
el pequeo teorema de Fermat y el teorema de Euler que lo extiende, el teorema chino del
resto y la ley de reciprocidad cuadrtica. En esta rama se investigan las propiedades de
las funciones multiplicativas como la funcin de Mbius y la funcin de Euler; as como
las sucesiones de nmeros enteros como los factoriales y los nmeros de F.
Diversos cuestionamientos dentro de la teora elemental de nmeros parecen simples,
pero requieren consideraciones muy profundas y nuevas aproximaciones, incluyendo las
siguientes:
Conjetura de Goldbach sobre que todos los nmeros pares (a partir de 4) son la suma
de dos nmeros primos.
Conjetura de los nmeros primos gemelos sobre la infinitud de los llamados nmeros
primos gemelos.
ltimo teorema de Fermat (demostrado en 1995).
Hiptesis de Riemann sobre la distribucin de los ceros de la funcin zeta de
Riemann, ntimamente conectada con el problema de la distribucin de los nmeros
primos.
Teora analtica de nmeros
La teora analtica de nmeros emplea como herramientas el clculo y el anlisis
complejo para abordar preguntas acerca de los nmeros enteros. Algunos ejemplos de
esta son el teorema de los nmeros primos y la hiptesis de Riemann. El problema de
Waring, la conjetura de los nmeros primos gemelos y la conjetura de Goldbach tambin
estn siendo atacados a travs de mtodos analticos.
Teora de nmeros aditiva
La teora de nmeros aditiva trata de una manera ms profunda los problemas de
representacin de nmeros. Problemas tpicos son los ya nombrados, problema de
Waring y la conjetura. Esta rama se suele utilizar algunos resultados referentes a la teora
analtica de nmeros, tales como el mtodo del crculo de Hardy-Little Wood, a veces se
complementa con la teora de cribas y en algunos casos suelen usarse
mtodos topolgicos.
Teora algebraica de nmeros
La teora algebraica de nmeros es una rama de la teora de los nmeros en la cual el
concepto de nmero se expande a los nmeros algebraicos, los cuales son las races de
los polinomios con coeficientes racionales.
Teora geomtrica de nmeros
La teora geomtrica de nmeros (tradicionalmente llamada geometra de nmeros)
incorpora todas las formas de geometra. Comienza con el teorema de Minkowski acerca
de los puntos comunes en conjuntos convexos e investigaciones sobre superficies
esfricas.
Teora combinatoria de nmeros
La teora combinatoria de nmeros trata los problemas de la teora de nmeros
involucrando ideas combinatorias y sus formulaciones o soluciones. Paul Erds es el
creador de esta rama de la teora de nmeros. Los temas tpicos incluyen sistemas
cubiertos, problemas de suma cero, diversos conjuntos restringidos y progresiones
aritmticas en un conjunto de enteros. Los mtodos algebraicos o analticos son bastante
poderosos en este campo.
Teora computacional de nmeros
La teora computacional de nmeros estudia los algoritmos relevantes de la teora de
nmeros. Los algoritmos rpidos para evaluar nmeros primos y factorizacin de enteros
tienen importantes aplicaciones en criptografa.
La evolucin de la computacin ha hecho que la aritmtica deje de ser una ciencia
contemplativa y de especialistas para transformarse en una verdadera rama aplicada. La
necesidad de nuevos algoritmos de computacin requiere- como dice Enzo R. Gentile-
vastos y profundos conocimientos aritmticos.