Curva elptica

Curva elptica
En matemticas, las curvas elpticas se definen mediante ecuaciones cbicas (de tercer grado). Han sido utilizadas para probar el ltimo teorema de Fermat y en factorizacin de enteros. Se emplean tambin en criptografa de curvas elpticas. Estas curvas no son elipses. Las curvas elpticas son regulares, es decir, no tienen vrtices ni autointersecciones, y se puede definir una operacin binaria para el conjunto de sus puntos de una manera geomtrica natural, lo que hace de dicho conjunto un grupo abeliano.

Curvas elpticas sobre

Algunas de las curvas elpticas sobre el cuerpo de los nmeros reales vienen dadas por las ecuaciones y por .

Generalidades
Las curvas elpticas pueden definirse sobre cualquier cuerpo una curva algebraica proyectiva no singular sobre Si la caracterstica de donde y ; la definicin formal de una curva elptica es la de puede escribirse en la forma: de gnero 1. tales que el polinomio del miembro derecho que satisfacen la ecuacin anterior, y

no es ni 2 ni 3, entonces toda curva elptica sobre son elementos de

no tenga ninguna raz doble. Si la caracterstica es 2 o 3 harn falta ms trminos. Normalmente se define la curva como el conjunto de todos los puntos tales que e sean elementos de la cerradura algebraica de . Los puntos de la curva cuyas coordenadas

pertenezcan ambas a se llaman puntos K-racionales. Si aadimos un punto en el infinito, obtenemos la versin proyectiva de tal curva. Si tenemos dos puntos de la curva, y entonces podemos describir de forma unvoca un tercer punto que sea la interseccin de la curva con la lnea que contiene los dos puntos y . Si la lnea es tangente a la curva en un punto, entonces ese punto la , definimos el tercer punto como en el infinito. Entonces una de contar dos veces; y si la lnea es paralela al eje

tales condiciones ser la que cumpla cualquier par de puntos de una curva elptica. Podemos entonces introducir una operacin de grupo, +, sobre la curva con las propiedades siguientes: consideremos el punto en el infinito como el 0, esto es, la identidad del grupo; y si una lnea recta interseca la curva en los puntos , y , entonces requerimos que en el grupo. Se demuestra que esto convierte a la curva en un grupo abeliano, y por tanto en una variedad abeliana. Se puede tambin demostrar que el conjunto de los puntos K-racionales (incluyendo al punto en el infinito) forma un subgrupo de este grupo. Si la curva se denota por , este subgrupo se denota a menudo como . El grupo de arriba se puede describir geomtrica y algebraicamente. Dada la curva y = x - px - q sobre el cuerpo (cuya caracterstica asumimos que no es ni 2 ni 3), y los puntos P = (xP, yP) (subndice P) y Q = (xQ, yQ) en la curva, asumimos primero que xP xQ. Sea s = (yP - yQ)/(xP - xQ); ya que es un cuerpo, s est bien definido. Entonces podemos definir R = P + Q = (xR, yR) mediante

Curva elptica Si xP = xQ, entonces hay dos opciones: si yP = -yQ, entonces la suma se define como 0; as que el inverso de cada punto de la curva se encuentra reflejndolo en el eje x. Si yP = yQ 0, entonces R = P + P = 2P = (xR, yR) vendr dado por

Si yP = yQ = 0, entonces P + P = 0.

Teora asociada
El teorema de Mordell-Weil establece que si el cuerpo subyacente es el de los racionales (o ms en general un cuerpo numrico), entonces el grupo de puntos K-racionales ser finitamente generado. Mientras que se puede determinar fcilmente el subgrupo de torsin de , no se conoce un algoritmo general para computar su rango. Una frmula para dicho rango viene dada por la conjetura de Birch y Swinnerton-Dyer. La prueba reciente del ltimo teorema de Fermat se lleva a cabo probando un caso especial de la profunda conjetura de Taniyama-Shimura que relaciona las curvas elpticas sobre los racionales con las formas modulares; dicha conjetura ha sido tambin completamente demostrada. Si el cuerpo subyacente es el de los complejos, toda curva elptica podr ser parametrizada por cierta funcin se le asocia un reticulado L y una funcin elptica , tal que la aplicacin elptica y su derivada. Especficamente, a cada curva elptica de Weierstrass correspondiente : C/L E con

sea un isomorfismo de grupos y un isomorfismo de superficies de Riemann. Lo que prueba en particular que topolgicamente, semeja un toro (ya que C/L es un toro). Si el reticulado L est relacionado con otro reticulado cL mediante la multiplicacin por un nmero complejo distinto de cero c, entonces las curvas correspondientes son isomorfas. Las clases de isomorfismo de curvas elpticas se especifican mediante el j-invariante. Mientras que el nmero de puntos racionales de una curva elptica E sobre un cuerpo finito Fp es difcil de computar en general, un teorema de Hasse dice que

Este hecho puede entenderse y demostrarse con algo de teora general; ver funcin zeta local, cohomologa tale. Para desarrollos ulteriores ver aritmtica de variedades abelianas.

Aplicaciones
Las curvas elpticas sobre cuerpos finitos se usan en algunas aplicaciones en criptografa as como en la factorizacin de enteros. La idea general en esas aplicaciones es que si tenemos un algoritmo que usa ciertos grupos finitos podemos reescribirlo usando los grupos de puntos racionales de curvas elpticas.

Enlaces externos
Wikimedia Commons alberga contenido multimedia sobre Curva elpticaCommons. The Mathematical Atlas: 14H52 Elliptic Curves [1] Introduccin a las curvas elpticas, hiperelpticas y libcurve [2] Curva elptica interactiva sobre R [3] y sobre Zp [4] - Aplicacin web que requiere de un navegador que implemente HTML5 (canvas).

Curva elptica

Referencias
[1] [2] [3] [4] http:/ / www. math. niu. edu/ ~rusin/ known-math/ index/ 14H52. html http:/ / math. co. ro/ colfinal/ coloquio-ce-ch. pdf http:/ / danher6. 100webspace. net/ ecc/ ?es#ER_interactivo http:/ / danher6. 100webspace. net/ ecc/ ?es#EFp_interactivo

Fuentes y contribuyentes del artculo

Fuentes y contribuyentes del artculo

Curva elptica Fuente: http://es.wikipedia.org/w/index.php?oldid=61858477 Contribuyentes: Akhram, Daniel ht, Descansatore, Elwikipedista, Emijrp, GermanX, Ingenioso Hidalgo, Ivn, JMCC1, JViejo, Jerowiki, Johnbojaen, Matdrodes, Pati, Raulshc, Romero Schmidtke, Sabbut, Serrador, Tano4595, 10 ediciones annimas

Fuentes de imagen, Licencias y contribuyentes

Archivo:ECClines-3.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:ECClines-3.svg Licencia: Creative Commons Attribution-Sharealike 3.0,2.5,2.0,1.0 Contribuyentes: User:Emmanuel.boutet Archivo:ECClines.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:ECClines.svg Licencia: Creative Commons Attribution-Sharealike 3.0,2.5,2.0,1.0 Contribuyentes: SuperManu Archivo:Commons-logo.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Commons-logo.svg Licencia: logo Contribuyentes: SVG version was created by User:Grunt and cleaned up by 3247, based on the earlier PNG version, created by Reidab.

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