Teorema fundamental del lgebra

Teorema fundamental del lgebra

El teorema fundamental del lgebra establece que un polinomio en una variable, no constante y con coeficientes complejos, tiene tantas races[1] como indica su grado, contando las races con sus multiplicidades. En otras palabras, dado un polinomio complejo de grado , la ecuacin tiene exactamente soluciones complejas, contando multiplicidades. De manera equivalente: El cuerpo de los complejos es cerrado para las operaciones algebraicas. Todo polinomio complejo de grado n se puede expresar como un producto de n polinomios de la forma . El teorema se establece comnmente de la siguiente manera:
Todo polinomio en una variable de grado n 1 con coeficientes reales o complejos tiene por lo menos una raz (real o compleja). [2]

Aunque sta en principio parece ser una declaracin ms dbil, implica fcilmente la forma completa por la divisin polinmica sucesiva por factores lineales. El nombre del teorema es considerado ahora un error por muchos matemticos, puesto que es ms un teorema del anlisis matemtico que del lgebra.

Historia
Pedro Rothe (Petrus Roth), en su libro Arithmetica Philosophica (publicado en 1608), escribi que una ecuacin polinmica de grado (con coeficientes reales) puede tener soluciones. Alberto Girardo, en su libro L'invention nouvelle en l'Algebre (publicado en 1629), asever que una ecuacin de grado tiene soluciones, pero no menciona que dichas soluciones deban ser nmeros reales. Ms an, l agrega que su aseveracin es vlida "salvo que la ecuacin sea incompleta", con lo que quiere decir que ninguno de los coeficientes del polinomio sea igual a cero. Sin embargo, cuando explica en detalle a qu se est refiriendo, se hace evidente que el autor piensa que la aseveracin siempre es cierta; en particular, muestra que la ecuacin

a pesar de ser incompleta, tiene las siguientes cuatro soluciones (la raz 1 tiene multiplicidad 2):

Leibniz en 1702 y ms tarde Nikolaus Bernoulli, conjeturaron lo contrario. Como se mencionar de nuevo ms adelante, se sigue del teorema fundamental del lgebra que todo polinomio con coeficientes reales y de grado mayor que cero se puede escribir como un producto de polinomios con coeficientes reales del cual sus grados son 1 2. De todas formas, en 1702 Leibniz dijo que ningn polinomio de tipo (con a real y distinto de 0) se puede escribir en tal manera. Luego, Nikolaus Bernoulli hizo la misma afirmacin concerniente al polinomio , pero recibi una carta de Euler en 1742 en el que le deca que su polinomio pasaba a ser igual a: con igual a raz cuadrada de 4+27. Igualmente mencion que:

El primer intento que se hizo para demostrar el teorema lo hizo d'Alembert en 1746. Su demostracin tena un fallo, en tanto que asuma implcitamente como cierto un teorema (actualmente conocido como el teorema de Puiseux) que no sera demostrado hasta un siglo ms tarde. Entre otros Euler (1749), de Foncenex (1759), Lagrange (1772) y Laplace (1795) intentaron demostrar este teorema.

Teorema fundamental del lgebra A finales del siglo XVIII, se presentaron dos nuevas pruebas, una por James Wood y otra por Gauss (1799), pero ambas igualmente incorrectas. Finalmente, en 1806 Argand public una prueba correcta para el teorema, enunciando el teorema fundamental del lgebra para polinomios con coeficientes complejos. Gauss produjo otro par de demostraciones en 1816 y 1849, siendo esta ltima otra versin de su demostracin original. El primer libro de texto que contiene la demostracin de este teorema fue escrito por Cauchy. Se trata de Course d'anlyse de l'cole Royale Polytechnique (1821). La prueba es la debida a Argand, pero sin embargo en el texto no se le da crdito. Ninguna de las pruebas mencionadas ms arriba son constructivas. Es Weierstrass quien por primera vez, a mediados del siglo XIX, menciona el problema de encontrar una prueba constructiva del teorema fundamental del lgebra. En 1891 publica una demostracin de este tipo. En 1940 Hellmuth Knesser consigue otra prueba de este estilo, que luego sera simplificada por su hijo Marin Kneser en 1981.

Demostracin
Sea un polinomio de grado tal que . es una funcin entera. Para cada constante positiva , existe un nmero real positivo

Si real

no tiene races, la funcin

, es una funcin entera con la propiedad de que para cualquier nmero tal que es una funcin entera y

mayor que cero, existe un nmero positvo

Concluimos que la funcin acotada, entonces, De manera que

es acotada. Pero el teorema de Liouville dice que si tiene al menos una raz.

es constante y esto es una contradiccin. se puede escribir por tanto como el producto

no es entera y por tanto

donde

es una raz de

es un polinomio de grado

. Por el argumento anterior, el polinomio

a su

vez tiene al menos una raz y se lo puede factorizar nuevamente. Repitiendo este proceso veces,[3] concluimos que el polinomio p puede escribirse como el producto

donde

...

son las races de

(no necesariamente distintas) y

es una constante.

Corolarios
Como el teorema fundamental del lgebra puede ser visto como la declaracin de que el cuerpo de los nmeros complejos es algebraicamente cerrado, se sigue que cualquier teorema concerniente a cuerpos algebraicamente cerrados aplican al cuerpo de los nmeros complejos. Se muestran aqu algunas consecuencias del teorema, acerca del cuerpo de los nmeros reales o acerca de las relaciones entre el cuerpo de los reales y el cuerpo de los complejos: El cuerpo de los nmeros complejos es la clausura algebraica del cuerpo de nmeros reales. Todo polinomio en una variable con coeficientes reales es el producto de un polinomio constante de la forma con real, y polinomios de la forma con y reales y (que es lo mismo que decir que el polinomio no tiene races reales). Toda funcin racional en una variable , con coeficientes reales, se puede escribir como la suma de una funcin polinmica con funciones racionales de la forma (donde es un nmero natural, y y son nmeros reales), y funciones racionales de la forma natural, y , , ,y son nmeros reales tales que (donde es un nmero

). Un corolario de esto es que toda

funcin racional en una variable y coeficientes reales tiene una primitiva elemental.

Teorema fundamental del lgebra Toda extensin algebraica del cuerpo de los reales es isomorfa al cuerpo de los reales o al cuerpo de los complejos.

Referencias
[1] Se dice que el nmero es una raz de un polinomio si . [2] J. Rey Pastor, P. Pi Calleja, C. A. Trejo. Anlisis matemtico. I. Buenos Aires: Kapelusz. 18-1. El texto dice: Toda ecuacin algebraica en una incgnita z de grado n 1.... La cita fue adaptada al contexto del artculo. [3] En el ltimo paso, lo que queda es un polinomio de grado uno multiplicado por una constante

Enlaces externos
Fundamental Theorem of Algebra (http://www.cut-the-knot.org/do_you_know/fundamental2.shtml) a collection of proofs (en ingls) D. J. Velleman: The Fundamental Theorem of Algebra: A Visual Approach, PDF (unpublished paper) (http:// www.cs.amherst.edu/~djv/), visualisation of d'Alembert's, Gauss's and the winding number proofs (en ingls) Weisstein, Eric W. Fundamental Theorem of Algebra (http://mathworld.wolfram.com/ FundamentalTheoremofAlgebra.html) (en ingls). MathWorld. Wolfram Research.

Fuentes y contribuyentes del artculo

Fuentes y contribuyentes del artculo

Teorema fundamental del lgebra Fuente: http://es.wikipedia.org/w/index.php?oldid=62830610 Contribuyentes: .Sergio, Anstarpo3, Arapajoe, Ascnder, Bermudob, Cdomarchi, Davidsevilla, Davius, Diegusjaimes, Digigalos, Eli22, Farisori, GermanX, Ggenellina, Grillitus, Helmy oved, Humberto, Ialad, Ingenioso Hidalgo, Isha, JacoboCA, Jhnieto, Jkbw, JorgeGG, Joseaperez, Joselarrucea, Jtico, Juan Mayordomo, Luis Corts Barbado, Markoszarrate, Marsal20, Moriel, Mpagano, Petronas, Raulshc, Revenga10V, Romero Schmidtke, Rovnet, Sabbut, Schummy, Soteke, Sylfred1977, Tentenpie, Tomatejc, Youssefsan, 97 ediciones annimas

Licencia
Creative Commons Attribution-Share Alike 3.0 Unported //creativecommons.org/licenses/by-sa/3.0/