Espacio eucldeo

Espacio eucldeo
El espacio eucldeo es un tipo de espacio geomtrico donde se satisfacen los axiomas de Euclides de la geometra. La recta real, el plano eucldeo y el espacio tridimensional de la geometra euclidiana son casos especiales de espacios eucldeos de dimensiones 1, 2 y 3 respectivamente. El concepto abstracto de espacio eucldeo generaliza esas construcciones a ms dimensiones. Un espacio eucldeo es un espacio vectorial completo dotado de un producto interno (lo cual lo convierte adems en un espacio normado, un espacio mtrico y una variedad riemanniana al mismo tiempo). El trmino eucldeo se utiliza para distinguir estos espacios de los espacios "curvos" de las geometras no euclidianas y del espacio de la teora de la relatividad de Einstein. Para resaltar el hecho de que un espacio eucldeo puede poseer n dimensiones, se suele hablar de "espacio eucldeo n-dimensional" (denotado , o incluso ).

Introduccin
Un espacio eucldeo es un espacio vectorial normado sobre los nmeros reales de dimensin finita, en que la norma es la asociada al producto escalar ordinario. Para cada nmero entero no negativo n, el espacio eucldeo n-dimensional se representa por el smbolo y es el conjunto de todas las tuplas ordenadas

en donde cada por la frmula:

es un nmero real, junto con la funcin distancia entre dos puntos (x1, ..., xn) e (y1, ..., yn) definida

Esta funcin distancia es una generalizacin del teorema de Pitgoras y se denomina Distancia euclidiana.

Estructuras sobre el espacio eucldeo

Los espacios euclidianos y sus propiedades han servido de base para generar gran cantidad de conceptos matemticos relacionados con la geometra analtica, la topologa, el lgebra y el clculo. Aunque el espacio eucldeo suele ser introducido, por razones didcticas, como espacio vectorial, en realidad sobre l se pueden definir muchas ms estructuras. El espacio eucldeo es adems de un espacio vectorial un caso de: Un espacio de Hilbert de dimensin finita, con el producto escalar ordinario. Un espacio de Banach de dimensin finita, con norma inducida por el producto escalar interior. Un espacio mtrico completo, con distancia inducida por la norma anterior. Un espacio topolgico, inducido por la mtrica eucldea. Un grupo de Lie, con la operacin de adicin. Un lgebra de Lie con el producto vectorial.

Espacio eucldeo

El espacio eucldeo como espacio mtrico

Por definicin, En es un espacio mtrico, y es por tanto tambin un espacio topolgico; es el ejemplo prototpico de una n-variedad, y es de hecho una n-variedad diferenciable. Para n 4, cualquier n-variedad diferenciable que sea homeomorfa a En es tambin difeomorfa a ella. El hecho sorprendente es que esto no es cierto tambin para n = 4, lo que fue probado por Simon Donaldson en el ao 1982; los contraejemplos se llaman 4-espacios exticos (o falsos).

El espacio eucldeo como espacio topolgico

Se puede decir mucho sobre la topologa de En. Un resultado importante, la invariancia del dominio de Brouwer, es el de que cualquier subconjunto de En que sea homeomorfo a un subconjunto abierto de En es en s mismo abierto. Como consecuencia inmediata de esto se tiene que Em no es homeomorfo a En si m n -- un resultado intuitivamente "obvio" que sin embargo no es fcil de demostrar.

El espacio eucldeo como espacio vectorial

El n-espacio eucldeo se puede considerar tambin como un Espacio vectorial n-dimensional real, de hecho un Espacio de Hilbert, de manera natural. El producto escalar, de x = (x1,...,xn) e y = (y1,...,yn) est dado por:

Referencias
Kelley, John L. (1975). General Topology. Springer-Verlag. ISBN 0-387-90125-6. Munkres, James (1999). Topology. Prentice-Hall. ISBN 0-13-181629-2.

Fuentes y contribuyentes del artculo

Fuentes y contribuyentes del artculo

Espacio eucldeo Fuente: http://es.wikipedia.org/w/index.php?oldid=70470849 Contribuyentes: Acratta, Agualin, AstroNomo, Davius, DefLog, Elas, GermanX, Gtz, HUB, Humbefa, Ingenioso Hidalgo, JMCC1, Jharni Elmer Neyra Valverde, Jkbw, Jorge c2010, Juan Marquez, Juan Mayordomo, Kriztoval, Luiguiferninando, Magister Mathematicae, ManuelMore, Moriel, Paintman, Quetzal02, Raulshc, Rsg, Sabbut, Santiago Hernndez, SergioN, SuperBraulio13, Wewe, 42 ediciones annimas

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