Espacio eucldeo

Espacio eucldeo
En matemticas, 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, al espacio tridimensional de la geometra euclidiana son casos especiales de espacio eucldeo de dimensiones 1, 2 y 3. El concepto abstracto de espacio eucldeo generaliza esas construcciones a ms dimensiones. El termino eucldeo se utiliza para distinguir estos espacios de los espacios curvos de la geometra no euclidiana y la teora de la relatividad de Einstein. Para resaltar el hecho de que un espacio euclideo puede poseer n dimensiones, se suele hablar de "espacio eucldeo n-dimensional" (denotado , o incluso ).

Introduccin
Estructuralmente 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 es el conjunto:

junto con la funcin distancia obtenida mediante la siguiente definicin de distancia entre dos puntos (x1, ..., xn) e (y1, ..., yn):

Esta funcin distancia est basada en el teorema de Pitgoras y es llamada Distancia euclidiana.

Estructuras sobre el espacio eucldeo

Los espacios euclideanos y sus propiedades han servido de base para generar gran cantidad de conceptos matemticos relacionados con la geometra, 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, Pero esperaremos a una prxima edicin de este artculo. Un resultado importante, el 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:

Vase tambin
Geometra euclidiana

Fuentes y contribuyentes del artculo

Fuentes y contribuyentes del artculo

Espacio eucldeo Fuente: http://es.wikipedia.org/w/index.php?oldid=44329044 Contribuyentes: Agualin, AstroNomo, Davius, DefLog, GermanX, Gtz, HUB, Humbefa, Ingenioso Hidalgo, JMCC1, Jorge c2010, Juan Marquez, Juan Mayordomo, Kriztoval, ManuelMore, Moriel, Paintman, Rsg, Sabbut, Santiago Hernndez, SergioN, Wewe, 30 ediciones annimas

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