Teora de nmeros

De Wikipedia, la enciclopedia libre

La teora de nmeros es la rama de las matemticas que estudia las propiedades de los nmeros, en particular
los enteros, pero ms en general, estudia las propiedades de los elementos de dominios enteros (anillos
conmutativos con elemento unitario y cancelacin) as como diversos problemas derivados de su estudio.
Contiene una cantidad considerable de problemas que podran ser comprendidos por "no matemticos". De
forma ms general, este campo estudia los problemas que surgen con el estudio de los nmeros enteros. Tal como
cita Jrgen Neukirch:
La teora de nmeros ocupa entre las disciplinas matemticas una posicin idealizada anloga a aquella que
ocupan las matemticas mismas entre las otras ciencias. 2

El trmino "aritmtica" tambin era utilizado para referirse a la teora de nmeros. Este es un trmino bastante
antiguo, aunque ya no tan popular. De all la teora de nmeros suele ser denominada alta aritmtica,3 aunque el
trmino tambin ha cado en desuso. Este sentido del trmino aritmtica no debe ser confundido con la aritmtica
elemental, o con la rama de la lgica que estudia la aritmtica de Peano como un sistema formal. Los matemticos
que estudian la teora de nmeros son llamados tericos de nmeros.

ndice
1 Campos
1.1 Teora elemental de nmeros
1.2 Teora analtica de nmeros
1.3 Teora de nmeros aditiva
1.4 Teora algebraica de nmeros
1.5 Teora geomtrica de nmeros
1.6 Teora combinatoria de nmeros
1.7 Teora computacional de nmeros
2 Historia
3 Vase tambin
4 Referencias

Nuestra teora de nmeros se

deriva de la antigua aritmtica
griega de Diofanto. 1 Portada de la
aritmtica de Diofanto traducida al
latn por Bachet de Mziriac,
edicin con comentarios de Pierre
de Fermat publicada en 1670.

4 Referencias
5 Enlaces externos

Campos
Segn los mtodos empleados y las preguntas que se intentan contestar, 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 por Andrew Wiles).
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 de Goldbach. Esta rama se suele utilizar algunos resultados referentes a la teora analtica de nmeros, tales como el
mtodo del crculo de Hardy-Littlewood, 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.

Historia
Los matemticos en la India se han interesado en encontrar soluciones enteras a las ecuaciones diofnticas desde la poca de los Vedas. El primer uso
geomtrico de las ecuaciones diofnticas se remonta a los Shulba Sutras, los cuales fueron escritos entre los siglos VIII y VI a. C. Baudhayana (s.
VII a. C.) encontr dos conjuntos de enteros positivos a un conjunto de ecuaciones diofnticas simultneas, y tambin se usan ecuaciones diofnticas
simultneas con ms de cuatro incgnitas. Apastamba (s. VI a. C.) usaba ecuaciones diofnticas simultneas con ms de cinco incgnitas.

Los matemticos de la poca jainia fueron los primeros en descartar la idea de que todos los infinitos son los mismos o iguales. Reconocen cinco tipos
de infinitos diferentes: infinito en una o dos direcciones (unidimensionales), infinito en superficies (bidimensional), infinito en todas partes (tridimensional) y
perpetuamente infinito (en un nmero infinito de dimensiones).
La teora de nmeros fue una de las disciplinas de estudio favoritas entre los matemticos griegos de Alejandra, Egipto a partir del siglo III a. C.,
quienes tenan conciencia del concepto de ecuacin diofntica en sus casos particulares. El primer matemtico helenstico que estudi estas ecuaciones
fue Diofanto.
Diofanto investig un mtodo para encontrar las soluciones enteras para las ecuaciones lineales indeterminadas,4 ecuaciones en las que falta informacin
suficiente para producir un conjunto nico de respuestas discretas. La ecuacin
es un ejemplo de ellas. Diofanto descubri que muchas
ecuaciones indeterminadas pueden ser reducidas a una forma en donde cierta categora de soluciones son conocidas, incluso a travs de una solucin
que no lo es.
Las ecuaciones diofantinas fueron estudiadas de manera intensiva por los matemticos indes medievales, quienes fueron los primeros en buscar
sistemticamente mtodos para la determinacin de soluciones enteras. Aryabhata en el 499 da la primera descripcin explcita de la solucin entera
general de la ecuacin diofantina lineal
, la cual aparece en su texto Aryabhatiya. El algoritmo kuttaka es considerado como una de las
contribuciones ms significativas de Aryabhata en las matemticas puras, el cual encuentra las soluciones enteras de un sistema de ecuaciones diofantinas
lineales, un problema de importante aplicacin en la astronoma. Tambin encuentra la solucin general de la ecuacin lineal indeterminada utilizando este
mtodo.
Brahmagupta trabaja en 628 las ecuaciones diofantinas ms difciles, que aparece en su libro 18 dedicado al lgebra y ecuaciones indeterminadas. Utiliza
el mtodo chakravala para resolver las ecuaciones diofantinas cuadrticas, incluyendo aquellas de la forma de la ecuacin de Pell tal que
. Su Brahma Sphuta Siddhanta fue traducido al rabe en 773 y al latn en 1126. La ecuacin
fue propuesta
como un problema por el matemtico francs Pierre de Fermat. La solucin general de esta forma particular de la ecuacin de Pell fue encontrada 70
aos ms tarde por Leonhard Euler, aunque la solucin general de la ecuacin de Pell fue encontrada 100 aos ms tarde por Joseph-Louis de Lagrange
en 1767. Sin embargo, varios siglos antes, la ecuacin de Pell fue trabajada por Bhaskara II en 1150 utilizando una versin modificada del mtodo
chakravala de Brahmagupta, encontrando la solucin general de otras ecuaciones cuadrticas intermedias indeterminadas y ecuaciones diofnticas
cuadrticas. El mtodo chakravala para encontrar la solucin general de la ecuacin de Pell era ms simple que el mtodo utilizado por Lagrange 600
aos ms tarde. Bhaskara encuentra tambin la solucin de otras ecuaciones cuadrticas indeterminadas, cbicas, curticas y polinmicas de mayores
grados. Naraian Pandit perfeccion an ms las dems cuadrticas indeterminadas para las ecuaciones de grados superiores.

Vase tambin
Problemas de Hilbert
Sucesin de Fibonacci

Nmero ureo
Teorema chino del resto

Referencias
1. Jean-Paul Collette (1985), Historia de las matemticas (volmenes 1 y 2). Traduccin de Alfonso Casal, Madrid: Siglo XXI Editores S.A. ISBN 84-3230526-4
2. Introduccin a la obra Cohomology of number fields:
Die Zahlentheorie nimmt unter den mathematishen Disziplinen eine hnlich idealisierte Stellung ein wie die Mathematik selbst unter den
anderen Wissenschaften.

3. Davenport, Harold (1999). The Higher Arithmetic: An Introduction to the Theory of Numbers (7. edicin). Cambridge, England: Cambridge University
Press. ISBN 0-521-63446-6.
4. Breve historia de la teora de nmeros (http://usuarios.lycos.es/teoriadenumeros/historia.html), URL ltimo acceso el 05/06/2007.

Enlaces externos
Wikiversidad alberga proyectos de aprendizaje sobre Teora de nmeros.
Obtenido de http://es.wikipedia.org/w/index.php?title=Teora_de_nmeros&oldid=76495927
Categora: Teora de nmeros
Esta pgina fue modificada por ltima vez el 21 ago 2014 a las 16:33.
El texto est disponible bajo la Licencia Creative Commons Atribucin Compartir Igual 3.0; podran ser aplicables clusulas adicionales. Lanse
los trminos de uso para ms informacin.
Wikipedia es una marca registrada de la Fundacin Wikimedia, Inc., una organizacin sin nimo de lucro.