Espacio euclidiano

De Wikipedia, la enciclopedia libre.
Saltar a navegación Saltar a búsqueda
Cada punto del espacio euclidiano tridimensional está determinado por tres coordenadas.

En matemáticas , un espacio euclidiano es un espacio afín en el que se mantienen los axiomas y postulados de la geometría euclidiana . [1] es el espacio de todos los n -uples de números reales , que está provisto de un verdadero interior producto ( producto escalar ) para definir los conceptos de distancia , longitud y ángulo . [2] Es un ejemplo particular de un espacio afín real que proporciona una generalización de los espacios bidimensionales y tridimensionales estudiados por la geometría euclidiana. El espacio euclidiano es un espacio real de Hilbert de dimensión finita.

Espacio

Dado el campo de números reales , sea n un número natural . Una n-tupla de números reales es una secuencia (es decir, un conjunto ordenado) de n números reales. El espacio de todas las n- tuplas de números reales forma un espacio vectorial de dimensión n en , indicado con . Las operaciones de suma y producto a escala están definidas por:

Bases de espacios vectoriales

Icono de lupa mgx2.svg Mismo tema en detalle: Básico (álgebra lineal) .

Una base de espacio que tiene varias ventajas es su denominada base canónica :

Un vector arbitrario en por lo tanto, se puede escribir en la forma:

Espacio es el prototipo de un espacio vectorial real en la dimensión n : de hecho, cada espacio vectorial de dimensión n es isomorfo a . Se observa que no se impone un isomorfismo canónico : la elección de un isomorfismo entre Y es equivalente a elegir una base para . Sin embargo, en muchas fases del desarrollo del álgebra lineal, los espacios vectoriales de dimensión n se estudian en abstracto, porque muchas consideraciones son más simples y más esenciales si se llevan a cabo sin hacer referencia a una base particular.

Estructura euclidiana

El espacio euclidiano es más que un espacio vectorial. Para obtener la geometría euclidiana se debe poder hablar de distancias y ángulos , comenzando por la distancia entre dos puntos y el ángulo formado por dos líneas o por dos vectores. La forma intuitiva de hacer esto es mediante la introducción de lo que se llama un producto escalar estándar en . Este producto, si los transportistas Y se refieren a la base canónica definida anteriormente, se define por

El espacio de n- tuplas de números reales enriquecido con el producto escalar, una función que tiene dos n- tuplas de reales Y asocia un número real, constituye una estructura más rica que llamado "espacio euclidiano" n- dimensional. Para distinguirlo del espacio vectorial de n- tuplas reales generalmente se denota con .

El producto escalar le permite definir una "longitud" no negativa para cada vector de De la siguiente manera:

Esta función de longitud satisface las propiedades requeridas para una norma y se llama norma euclidiana o norma pitagórica en . La esquina (adentro) entre dos vectores Y de por tanto, se define como:

Dónde está es la función arcocoseno .

Con estas definiciones la base canónica del espacio vectorial se convierte en una base ortonormal para el espacio euclidiano obtenido al enriquecerlo con el producto escalar estándar.

En este punto, puede usar el estándar para definir una distancia (o métrica) sobre la función De la siguiente manera:

La forma de esta función de distancia se basa en el teorema de Pitágoras y se denomina métrica euclidiana .

Cada espacio euclidiano constituye, por tanto, un ejemplo (dimensión finita) de espacio de Hilbert (va espacio prehilbertiano ), de espacio normado y de espacio métrico .

Cabe señalar que en muchos contextos, el espacio euclidiano de n dimensiones se denota con , dando por sentada la estructura euclidiana. De hecho, para muchos fines aplicativos la distinción que se ha realizado no tiene consecuencias graves y la identificación antes mencionada debe considerarse un abuso del lenguaje venial. De hecho, las nociones de subespacio y transformación lineal se pueden introducir en los espacios euclidianos sin complicaciones en comparación con lo que se hizo para los espacios vectoriales.

También se observa que cada subespacio vectorial de dimensión m (< n ) de es isométrico al espacio euclidiano , pero no de forma canónica: para establecer una correspondencia que se pueda utilizar para los cálculos, es necesario elegir una base ortonormal para y esto, si en ningún vector de la base canónica de , no puede utilizar ningún elemento de esa base.

Generalización sobre complejos

Icono de lupa mgx2.svg El mismo tema en detalle: espacio prehilbertiano .

Junto a los espacios euclidianos reales es posible introducir sus variantes en números complejos, enriqueciendo el espacio vectorial n- dimensional del campo complejo con un producto interno llamado hermitiano que consiste en una forma sesquilínea .

En este caso el producto escalar entre vectores se define con la expresión:

La propiedad reflexiva de esta composición se convierte en:

y para la multiplicación por un escalar tenemos:

Topología euclidiana

Dado que el espacio euclidiano es un espacio métrico , también se puede considerar un espacio topológico que lo dota de la topología natural inducida por la métrica. Esto se puede hacer definiendo como base de conjuntos abiertos el conjunto de bolas abiertas, conjuntos de puntos que son menores que un real positivo fijo (radio de la bola) desde un punto dado. A través de estos conjuntos abiertos definimos todas las nociones que se necesitan para la topología métrica su . Esto se llama topología euclidiana y es equivalente a la topología del producto en considerado como el producto de n copias de la línea real con su topología habitual.

Con la "instrumentación" de los espacios vectoriales topológicos, los espacios euclidianos son capaces de proporcionar los entornos en los que desarrollar sistemáticamente numerosas nociones de análisis matemático , geometría euclidiana , geometría diferencial y física matemática clásica.

Invariancia de dominio

Un resultado importante para la topología de es la invariancia de los dominios de Brouwer . Cada subconjunto de (con su topología subespacial ), homeomórfico a otro subconjunto abierto de , está en sí mismo abierto. Una consecuencia inmediata de esto es que no es un homeomorfo uno mismo - un resultado intuitivamente "obvio" pero difícil de probar rigurosamente.

Variedad y estructuras exóticas

El espacio euclidiano es el prototipo de variedad topológica y también de variedad diferenciable . Los dos conceptos coinciden en general, excepto en la dimensión 4: como muestran Simon Donaldson y otros, es posible asignar al conjunto de "exóticas estructuras diferenciales", que hacen del espacio topológico no difeomorfo al espacio estándar.

Nota

  1. ^ Enciclopedia Británica - Espacio euclidiano
  2. ^ Edoardo Sernesi, Geometría 1 , Bollati Boringhieri, 1989, p. 227.

Bibliografía

Artículos relacionados

enlaces externos

Control de autoridad Tesauro BNCF 27865 · GND (DE) 4309127-1 · BNF (FR) cb122864798 (fecha) · NDL (EN, JA) 00,562,065
Matemáticas Portal de matemáticas : acceda a las entradas de Wikipedia relacionadas con las matemáticas