Espacio euclídeo

De Wikipedia, la enciclopedia libre

El espacio euclídeo es el espacio matemático n-dimensional usual, una generalización de los espacios de 2 (plano euclídeo) y 3 dimensiones estudiados por Euclides. Estructuralmente un espacio euclídeo es un espacio vectorial normado sobre los números reales de dimensión finita, en que la norma es la asociada al producto escalar ordinario. Para cada número entero no negativo n, el espacio euclídeo n-dimensional es el conjunto:

junto con la función distancia obtenida mediante la siguiente definición de distancia entre dos puntos (x₁, ..., x_n) e (y₁, ...,y_n): la raíz cuadrada de Σ (x_i -y_i)², donde la suma es sobre i = 1, ..., n.

Esta función distancia está basada en el teorema de Pitágoras y es llamada métrica euclídea.

El término "espacio euclídeo n-dimensional" es usualmente abreviado a "n-espacio euclídeo", o sólo "n-espacio". El n-espacio euclídeo se denota por E ⁿ, aunque ℝⁿ es bastante usado (sobreentendiendo la métrica). E ² se dice el plano euclídeo.

Tabla de contenidos 1 Estructuras sobre el espacio euclídeo 1.1 El espacio euclídeo como espacio métrico 1.2 El espacio euclídeo como espacio topológico 1.3 El espacio euclídeo como espacio vectorial

[editar] Estructuras sobre el espacio euclídeo

Los espacios euclídeos y sus propiedades han servido de base para generar gran cantidad de conceptos matemáticos relacionados con la geometría, la topología, el álgebra y el cálculo. Aunque el espacio euclídeo suele ser introducido por razones como espacio vectorial, en realidad sobre él se pueden definir muchas más estructuras. El espacio euclídeo es además de un espacio vectorial un caso de:

• Un espacio de Hilbert de dimensión finita, con el producto escalar ordinario.
• Un espacio de Banach de dimensión finita, con norma inducida por el producto escalar anterior.
• Un espacio métrico completo, con distancia inducida por la norma anterior.
• Un espacio topológico, inducido por la métrica euclídea.
• Un grupo de Lie, con la operación de adición.
• Un álgebra de Lie con el producto vectorial.

[editar] El espacio euclídeo como espacio métrico

Por definición, E ⁿ es un espacio métrico, y es por tanto también un espacio topológico; es el ejemplo prototípico de una n-variedad, y es de hecho una n-variedad diferenciable. Para n ≠ 4, cualquier n-variedad diferenciable que sea homeomorfa a E ⁿ es también difeomorfa a ella. El hecho sorprendente es que esto no es cierto también para n = 4, lo que fue probado por Simon Donaldson en el año 1982; los contraejemplos se llaman 4-espacios exóticos (o falsos).

[editar] El espacio euclídeo como espacio topológico

Se puede decir mucho sobre la topología de E ⁿ, Pero esperaremos a una próxima edición de este artículo. Un resultado importante, el invariancia del dominio de Brouwer, es el de que cualquier subconjunto de E ⁿ que sea homeomorfo a un subconjunto abierto de E ⁿ es en sí mismo abierto. Como consecuencia inmediata de esto se tiene que E ^m no es homeomorfo a E ⁿ si m ≠ n -- un resultado intuitivamente "obvio" que sin embargo no es fácil de demostrar.

[editar] El espacio euclídeo como espacio vectorial

El n-espacio euclídeo se puede considerar también como un Espacio vectorial n-dimensional real, de hecho un Espacio de Hilbert, de manera natural. El producto interior, también llamado producto punto, de x = (x₁,...,x_n) e y = (y₁,...,y_n) está dado por

Véase también: Geometría euclídea.