Espacio eucldeo

El espacio eucldeo es un tipo de espacio geomtri- r1 y r2 cuyos vectores unitarios tangentes son n1 y n2 se
co donde se satisfacen los axiomas de Euclides de la puede denir como:
geometra. La recta real, el plano eucldeo y el espacio
tridimensional de la geometra euclidiana son casos espe- = arccos (n1 n2 )
ciales de espacios eucldeos de dimensiones 1, 2 y 3 res-
pectivamente. El concepto abstracto de espacio eucldeo
generaliza esas construcciones a ms dimensiones. Un es-
pacio eucldeo es un espacio vectorial completo dotado 2 Estructuras sobre el espacio eu-
de un producto interno (lo cual lo convierte adems en cldeo
un espacio normado, un espacio mtrico y una variedad
riemanniana al mismo tiempo).
Los espacios euclidianos y sus propiedades han servido de
El trmino eucldeo se utiliza para distinguir estos es- base para generar gran cantidad de conceptos matemti-
pacios de los espacios curvos de las geometras no eu- cos relacionados con la geometra analtica, la topologa,
clidianas y del espacio de la teora de la relatividad de el lgebra y el clculo. Aunque el espacio eucldeo sue-
Einstein. Para resaltar el hecho de que un espacio eucl- le ser introducido, por razones didcticas, como espacio
deo puede poseer n dimensiones, se suele hablar de espa- vectorial, en realidad sobre l se pueden denir muchas
cio eucldeo n-dimensional (denotado En , E n , o incluso ms estructuras. El espacio eucldeo es adems de un es-
Rn ). pacio vectorial un caso de:

Un espacio de Hilbert de dimensin nita, con el

1 Introduccin producto escalar ordinario.

Un espacio eucldeo de dimensin nita es un espacio Un espacio de Banach de dimensin nita, con nor-
vectorial normado sobre los nmeros reales de dimensin ma inducida por el producto escalar interior.
nita, en que la norma es la asociada al producto escalar Un espacio mtrico completo, con distancia induci-
ordinario. Para cada nmero entero no negativo n, el es- da por la norma anterior.
pacio eucldeo n-dimensional se representa por el smbolo
Rn y es el conjunto de todas las tuplas ordenadas Un espacio topolgico, inducido por la mtrica eu-
cldea.
(x1 , x2 , . . . , xn )
Una variedad de Riemann, con la mtrica eucldea.
en donde cada xi es un nmero real, junto con la funcin Un grupo de Lie, con la operacin de adicin.
distancia entre dos puntos (x1 , ..., xn) e (y1 , ..., yn) de-
nida por la frmula: Un lgebra de Lie con el producto vectorial (slo en
el caso tridimensional).
n
d(x, y) = x y = i=1 (xi yi )2
2.1 El espacio eucldeo como espacio m-
Esta funcin distancia es una generalizacin del teorema trico
de Pitgoras y se denomina distancia euclidiana. El hecho
de que se haya denido una distancia permite denir otros Por denicin, E n es un espacio mtrico, y es por tanto
conceptos mtricos como el de medida de Lebesgue (lo tambin un espacio topolgico; es el ejemplo prototpico
cual permite a su vez denir la longitud de una curva (1- de una n-variedad, y es de hecho una n-variedad diferen-
volumen), las nociones de rea (2-volumen), volumen (3- ciable. Para n 4, cualquier n-variedad diferenciable que
volumen) y cuando el espacio tiene dimensin superior a sea homeomorfa a E n es tambin difeomorfa a ella. El
3 n-volumen (para n > 3). hecho sorprendente es que esto no es cierto tambin para
Adems pueden denirse ngulos, al poder hablar de n = 4, lo que fue probado por Simon Donaldson en el ao
proyectar una longitud recta sobre la direccin de otra 1982; los contraejemplos se llaman 4-espacios exticos
longitud recta no paralela, as el ngulo entre dos rectas (o falsos).

1
2 5 REFERENCIAS

Dado que el espacio eucldeo E n es en s mismo una No representan vectores cuya suma de componentes al
variedad diferenciable, en cada punto se puede denir cuadrado sea un nmero real nito. Por esa razn se con-
su espacio tangente (que es un espacio vectorial de di- sidera el subconjunto:
mensin n), y puede aprovecharse la estructura eucldea
para denir una mtrica sobre el brado tangente del es- E = {(x1 , x2 , . . . )|i : xi
pacio eucldeo, lo cual le da la estructura de variedad N
R, limN n=1 |xn |2 < } R
de Riemann, eso permite denir reas, volmenes y n-
volmenes para subconjuntos diferenciables de dicho es-
pacio. Este espacio vectorial E comparte la mayor parte de los
espacios eucldeos nitodimensionales y por tanto puede
considerarse un espacio eucldeo innitodimensional, la
2.2 El espacio eucldeo como espacio topo- principal propiedad es que el espacio eucldeo innitodi-
lgico mensional a diferencia de sus versiones nitodimensiona-
les no es un espacio localmente compacto.
Se puede decir mucho sobre la topologa de E n . Un resul-
tado importante, la invariancia del dominio de Brouwer,
es el de que cualquier subconjunto de E n que sea 4 Vase tambin
homeomorfo a un subconjunto abierto de E n es en s mis-
mo abierto. Como consecuencia inmediata de esto se tie- Geometra euclidiana
ne que E m no es homeomorfo a E n si m n -- un resul-
tado intuitivamente obvio que sin embargo no es fcil Geometra analtica
de demostrar.
Medida de Lebesgue

2.3 El espacio eucldeo como espacio vec-

torial 5 Referencias
El n-espacio eucldeo se puede considerar tambin co- [1] Nowinski, J. L. (1981). Innite-Dimensional Euclidean
mo un espacio vectorial n-dimensional real, de hecho un Spaces. In Applications of Functional Analysis in Enginee-
espacio de Hilbert, de manera natural. El producto esca- ring (pp. 45-57). Springer US.
lar, de x = (x1 ,...,xn) e y = (y1 ,...,yn) est dado por:
n 5.1 Bibliografa
xy = i=1 xi yi = x1 y1 + x2 y2 + +
xn yn Kelley, John L. (1975). General Topology. Springer-
Verlag. ISBN 0-387-90125-6.

3 Espacio eucldeo de dimensin Munkres, James (1999). Topology. Prentice-Hall.

ISBN 0-13-181629-2.
innita
Los espacios eucldeos considerados usualmente tiene
una dimensin topolgica nita. Eso hace que sean
localmente compactos. Sin embargo, es posbile concebir
estructuras de dimensin innita que tengan propiedades
anlogas a los espacios eucldeos, por lo que la extensin
a dimensin innita de la nocin de espacio eucldeo es
posible con unas pocas precauciones.[1] En primer lugar
se puede considerar el conjunto R denido como:

R = {(x1 , x2 , . . . )|i : xi R}

Es decir este conjunto es el producto cartesiano de un n-

mero innito numerable de copias de R . Sin embargo el
conjunto de todas esas tuplas innitas no tiene la estruc-
tura de espacio eucldeo porque no se puede dotar de una
norma eucldea adecuada. Por ejemplo las tuplas:

x = (1, 1, 1, . . . ), y = (1, 2, 3, 4, . . . )
 3

6 Origen del texto y las imgenes, colaboradores y licencias

6.1 Texto
Espacio eucldeo Fuente: https://es.wikipedia.org/wiki/Espacio_eucl%C3%ADdeo?oldid=95411431 Colaboradores: AstroNomo, Sabbut,
Moriel, DefLog, Rsg, Santiago Hernndez, Rembiapo pohyiete (bot), Magister Mathematicae, Chobot, Yrbot, GermanX, Wewe, Gtz,
ManuelMore, Paintman, Juan Marquez, CEM-bot, JMCC1, Davius, Ingenioso Hidalgo, JAnDbot, VolkovBot, Urdangaray, Muro Bot,
SieBot, Drinibot, HUB, Estirabot, Botito777, Juan Mayordomo, Raulshc, Agualin, SilvonenBot, UA31, SergioN, AVBOT, LucienBOT,
MastiBot, Nallimbot, SuperBraulio13, Xqbot, Jkbw, EmBOTellado, PatruBOT, Humbefa, Jorge c2010, GrouchoBot, EmausBot, Kriztoval,
JackieBot, Elas, Quetzal02, Kasirbot, MerlIwBot, Jharni Elmer Neyra Valverde, Acratta, Langtoolbot, Addbot, Luiguiferninando, Jarould,
Fernando2812l y Annimos: 32

6.2 Imgenes

6.3 Licencia del contenido

Creative Commons Attribution-Share Alike 3.0