El espacio euclidiano es el espacio fundamental de la geometría , destinado a representar el espacio físico . Originalmente, en los Elementos de Euclides , era el espacio tridimensional de la geometría euclidiana , pero en las matemáticas modernas existen espacios euclidianos de cualquier dimensión entera positiva n , que se denominan n- espacios euclidianos cuando se quiere especificar su dimensión. [1] Para n igual a uno o dos, comúnmente se les llama respectivamente líneas euclidianas y planos euclidianos . El calificativo "euclidiano" se utiliza para distinguir los espacios euclidianos de otros espacios que luego fueron considerados en la física y las matemáticas modernas.
Los geómetras griegos antiguos introdujeron el espacio euclidiano para modelar el espacio físico. Su trabajo fue recogido por el antiguo matemático griego Euclides en sus Elementos , [2] con la gran innovación de demostrar todas las propiedades del espacio como teoremas , partiendo de unas pocas propiedades fundamentales, llamadas postulados , que o bien se consideraban evidentes (por Por ejemplo, hay exactamente una línea recta que pasa por dos puntos), o parecía imposible de demostrar ( postulado de las paralelas ).
Tras la introducción a finales del siglo XIX de las geometrías no euclidianas , los antiguos postulados fueron reformalizados para definir los espacios euclidianos a través de la teoría axiomática . Se ha demostrado que otra definición de espacios euclidianos mediante espacios vectoriales y álgebra lineal es equivalente a la definición axiomática. Es esta definición la que se usa más comúnmente en las matemáticas modernas y se detalla en este artículo. [3] En todas las definiciones, los espacios euclidianos constan de puntos, que se definen únicamente por las propiedades que deben tener para formar un espacio euclidiano.
Básicamente, existe sólo un espacio euclidiano de cada dimensión; es decir, todos los espacios euclidianos de una dimensión determinada son isomorfos . Por lo tanto, normalmente es posible trabajar con un espacio euclidiano específico, denotado o , que se puede representar utilizando coordenadas cartesianas como el espacio n real equipado con el producto escalar estándar .
El espacio euclidiano fue introducido por los antiguos griegos como una abstracción de nuestro espacio físico. Su gran innovación, que apareció en los Elementos de Euclides, fue construir y probar toda la geometría a partir de unas pocas propiedades muy básicas, que están abstraídas del mundo físico y no pueden demostrarse matemáticamente debido a la falta de herramientas más básicas. Estas propiedades se denominan postulados o axiomas en el lenguaje moderno. Esta forma de definir el espacio euclidiano todavía se utiliza con el nombre de geometría sintética .
En 1637, René Descartes introdujo las coordenadas cartesianas , y demostró que éstas permiten reducir problemas geométricos a cálculos algebraicos con números. Esta reducción de la geometría al álgebra supuso un cambio importante de punto de vista, ya que, hasta entonces, los números reales se definían en términos de longitudes y distancias.
La geometría euclidiana no se aplicó en espacios de dimensión superior a tres hasta el siglo XIX. Ludwig Schläfli generalizó la geometría euclidiana a espacios de dimensión n , utilizando métodos sintéticos y algebraicos, y descubrió todos los politopos regulares (análogos de dimensiones superiores de los sólidos platónicos ) que existen en espacios euclidianos de cualquier dimensión. [4]
A pesar del amplio uso del enfoque de Descartes, que se llamó geometría analítica , la definición del espacio euclidiano se mantuvo sin cambios hasta finales del siglo XIX. La introducción de espacios vectoriales abstractos permitió su uso para definir espacios euclidianos con una definición puramente algebraica. Se ha demostrado que esta nueva definición es equivalente a la definición clásica en términos de axiomas geométricos. Es esta definición algebraica la que ahora se utiliza con mayor frecuencia para introducir espacios euclidianos.
Una forma de pensar en el plano euclidiano es como un conjunto de puntos que satisfacen ciertas relaciones, expresables en términos de distancia y ángulos. Por ejemplo, hay dos operaciones fundamentales (denominadas movimientos ) en el plano. Una es la traslación , que significa un desplazamiento del plano de modo que cada punto se desplaza en la misma dirección y la misma distancia. La otra es la rotación alrededor de un punto fijo en el plano, en la que todos los puntos del plano giran alrededor de ese punto fijo en el mismo ángulo. Uno de los principios básicos de la geometría euclidiana es que dos figuras (generalmente consideradas como subconjuntos ) del plano deben considerarse equivalentes ( congruentes ) si una puede transformarse en la otra mediante alguna secuencia de traslaciones, rotaciones y reflexiones (ver más abajo).
Para que todo esto sea matemáticamente preciso, la teoría debe definir claramente qué es un espacio euclidiano y las nociones relacionadas de distancia, ángulo, traslación y rotación. Incluso cuando se utiliza en teorías físicas , el espacio euclidiano es una abstracción separada de ubicaciones físicas reales, marcos de referencia específicos , instrumentos de medición, etc. Una definición puramente matemática del espacio euclidiano también ignora cuestiones de unidades de longitud y otras dimensiones físicas : la distancia en un espacio "matemático" es un número , no algo expresado en pulgadas o metros.
La forma estándar de definir matemáticamente un espacio euclidiano, como se llevará a cabo en el resto de este artículo, es como un conjunto de puntos sobre los cuales actúa un espacio vectorial real : el espacio de traslaciones que está equipado con un producto interno . [1] La acción de las traslaciones convierte al espacio en un espacio afín , y esto permite definir líneas, planos, subespacios, dimensión y paralelismo . El producto interior permite definir distancias y ángulos.
El conjunto de n -tuplas de números reales equipados con el producto escalar es un espacio euclidiano de dimensión n . Por el contrario, la elección de un punto llamado origen y una base ortonormal del espacio de traslaciones equivale a definir un isomorfismo entre un espacio euclidiano de dimensión n y visto como un espacio euclidiano.
De ello se deduce que todo lo que se puede decir sobre un espacio euclidiano también se puede decir sobre él. Por ello, muchos autores, especialmente a nivel elemental, llaman al espacio euclidiano estándar de dimensión n , [5] o simplemente espacio euclidiano de dimensión n .
Una razón para introducir una definición tan abstracta de espacios euclidianos, y para trabajar con ella en lugar de hacerlo, es que a menudo es preferible trabajar sin coordenadas ni origen (es decir, sin elegir una base y un origen preferidos). ). Otra razón es que no hay origen ni base en el mundo físico.
AEl espacio vectorial euclidiano es un espacio producto internode dimensión finitasobre losnúmeros reales.[6]
Un espacio euclidiano es un espacio afín sobre los reales de modo que el espacio vectorial asociado es un espacio vectorial euclidiano. Los espacios euclidianos a veces se denominan espacios afines euclidianos para distinguirlos de los espacios vectoriales euclidianos. [6]
Si E es un espacio euclidiano, a menudo se denota su espacio vectorial asociado (espacio vectorial euclidiano). La dimensión de un espacio euclidiano es la dimensión de su espacio vectorial asociado.
Los elementos de E se llaman puntos y comúnmente se indican con letras mayúsculas. Los elementos de se denominan vectores euclidianos o vectores libres . También se les llama traslaciones , aunque, propiamente hablando, una traslación es la transformación geométrica resultante de la acción de un vector euclidiano sobre el espacio euclidiano.
La acción de una traslación v sobre un punto P proporciona un punto que se denota P + v . Esta acción satisface
Nota: El segundo + en el lado izquierdo es una suma de vectores; entre sí + denota una acción de un vector sobre un punto. Esta notación no es ambigua, ya que, para distinguir entre los dos significados de + , basta con observar la naturaleza de su argumento izquierdo.
El hecho de que la acción sea libre y transitiva significa que, para cada par de puntos ( P , Q ) , existe exactamente un vector de desplazamiento v tal que P + v = Q. Este vector v se denota Q − P o
Como se explicó anteriormente, algunas de las propiedades básicas de los espacios euclidianos resultan de la estructura del espacio afín. Se describen en § Estructura afín y sus subsecciones. Las propiedades resultantes del producto interior se explican en el § Estructura métrica y sus subapartados.
Para cualquier espacio vectorial, la suma actúa libre y transitivamente sobre el propio espacio vectorial. Por tanto, un espacio vectorial euclidiano puede verse como un espacio euclidiano que se tiene a sí mismo como espacio vectorial asociado.
Un caso típico de espacio vectorial euclidiano se considera un espacio vectorial equipado con el producto escalar como producto interno . La importancia de este ejemplo particular de espacio euclidiano radica en el hecho de que todo espacio euclidiano es isomorfo a él. Más precisamente, dado un espacio euclidiano E de dimensión n , la elección de un punto, llamado origen y base ortonormal de define un isomorfismo de espacios euclidianos de E a
Como todo espacio euclidiano de dimensión n es isomorfo, el espacio euclidiano a veces se denomina espacio euclidiano estándar de dimensión n . [5]
Algunas propiedades básicas de los espacios euclidianos dependen únicamente del hecho de que un espacio euclidiano es un espacio afín . Se denominan propiedades afines e incluyen los conceptos de líneas, subespacios y paralelismo, que se detallan en las siguientes subsecciones.
Sea E un espacio euclidiano y su espacio vectorial asociado.
Un subespacio plano , euclidiano o subespacio afín de E es un subconjunto F de E tal que
como el espacio vectorial asociado de F es un subespacio lineal (subespacio vectorial) de Un subespacio euclidiano F es un espacio euclidiano con el espacio vectorial asociado. Este subespacio lineal también se llama dirección de F.
Si P es un punto de F entonces
Por el contrario, si P es un punto de E y es un subespacio lineal de entonces
es un subespacio de dirección euclidiano . (El espacio vectorial asociado de este subespacio es ).
Un espacio vectorial euclidiano (es decir, un espacio euclidiano igual a ) tiene dos tipos de subespacios: sus subespacios euclidianos y sus subespacios lineales. Los subespacios lineales son subespacios euclidianos y un subespacio euclidiano es un subespacio lineal si y sólo si contiene el vector cero.
En un espacio euclidiano, una línea es un subespacio euclidiano de dimensión uno. Dado que un espacio vectorial de dimensión uno está abarcado por cualquier vector distinto de cero, una línea es un conjunto de la forma
donde P y Q son dos puntos distintos del espacio euclidiano como parte de la línea.
De ello se deduce que hay exactamente una línea que pasa por (contiene) dos puntos distintos. Esto implica que dos líneas distintas se cruzan como máximo en un punto.
Una representación más simétrica de la línea que pasa por P y Q es
donde O es un punto arbitrario (no necesario en la recta).
En un espacio vectorial euclidiano, normalmente se elige el vector cero para O ; esto permite simplificar la fórmula anterior en
Una convención estándar permite usar esta fórmula en cada espacio euclidiano, ver Espacio afín § Combinaciones afines y baricentro .
El segmento de recta , o simplemente segmento , que une los puntos P y Q es el subconjunto de puntos tales que 0 ≤ 𝜆 ≤ 1 en las fórmulas anteriores. Se denota PQ o QP ; eso es
Dos subespacios S y T de la misma dimensión en un espacio euclidiano son paralelos si tienen la misma dirección (es decir, el mismo espacio vectorial asociado). [a] De manera equivalente, son paralelos, si hay un vector de traducción v que mapea uno al otro:
Dado un punto P y un subespacio S , existe exactamente un subespacio que contiene P y es paralelo a S , que es En el caso de que S sea una recta (subespacio de dimensión uno), esta propiedad es el axioma de Playfair .
De ello se deduce que en un plano euclidiano, dos rectas se encuentran en un punto o son paralelas.
El concepto de subespacios paralelos se ha extendido a subespacios de diferentes dimensiones: dos subespacios son paralelos si la dirección de uno de ellos está contenida en la dirección hacia el otro.
El espacio vectorial asociado a un espacio euclidiano E es un espacio producto interior . Esto implica una forma bilineal simétrica.
eso es positivo definido (es decir, siempre es positivo para x ≠ 0 ).
El producto interno de un espacio euclidiano a menudo se denomina producto escalar y se denota x ⋅ y . Este es especialmente el caso cuando se ha elegido un sistema de coordenadas cartesiano , ya que, en este caso, el producto interno de dos vectores es el producto escalar de sus vectores de coordenadas . Por esta razón, y por razones históricas, la notación de puntos se usa más comúnmente que la notación de corchetes para el producto interno de los espacios euclidianos. Este artículo seguirá este uso; es decir, se denotará x ⋅ y en el resto de este artículo.
La norma euclidiana de un vector x es
El producto interno y la norma permiten expresar y demostrar propiedades métricas y topológicas de la geometría euclidiana . La siguiente subsección describe los más fundamentales. En estas subsecciones, E denota un espacio euclidiano arbitrario y denota su espacio vectorial de traslaciones.
La distancia (más precisamente la distancia euclidiana ) entre dos puntos de un espacio euclidiano es la norma del vector de traslación que mapea un punto al otro; eso es
La longitud de un segmento PQ es la distancia d ( P , Q ) entre sus puntos finales P y Q. A menudo se denota .
La distancia es una métrica , ya que es definida positiva, simétrica y satisface la desigualdad del triángulo.
Además, la igualdad es verdadera si y sólo si un punto R pertenece al segmento PQ . Esta desigualdad significa que la longitud de cualquier arista de un triángulo es menor que la suma de las longitudes de las otras aristas. Este es el origen del término desigualdad triangular .
Con la distancia euclidiana, todo espacio euclidiano es un espacio métrico completo .
Dos vectores distintos de cero u y v de (el espacio vectorial asociado de un espacio euclidiano E ) son perpendiculares u ortogonales si su producto interno es cero:
Dos subespacios lineales de son ortogonales si cada vector distinto de cero del primero es perpendicular a cada vector distinto de cero del segundo. Esto implica que la intersección de los subespacios lineales se reduce al vector cero.
Dos líneas, y más generalmente dos subespacios euclidianos (una línea puede considerarse como un subespacio euclidiano) son ortogonales si sus direcciones (los espacios vectoriales asociados de los subespacios euclidianos) son ortogonales. Dos rectas ortogonales que se cortan se dicen perpendiculares .
Dos segmentos AB y AC que comparten un extremo común A son perpendiculares o forman un ángulo recto si los vectores y son ortogonales.
Si AB y AC forman un ángulo recto, se tiene
Este es el teorema de Pitágoras . Su prueba es fácil en este contexto, ya que, expresando esto en términos del producto interno, se tiene, usando la bilinealidad y la simetría del producto interno:
Aquí se utiliza ya que estos dos vectores son ortogonales.
El ángulo (no orientado) θ entre dos vectores x e y distintos de cero es
donde arccos es el valor principal de la función arcocoseno . Por la desigualdad de Cauchy-Schwarz , el argumento del arcocoseno está en el intervalo [−1, 1] . Por tanto , θ es real y 0 ≤ θ ≤ π (o 0 ≤ θ ≤ 180 si los ángulos se miden en grados).
Los ángulos no son útiles en una recta euclidiana, ya que sólo pueden ser 0 o π .
En un plano euclidiano orientado , se puede definir el ángulo orientado de dos vectores. El ángulo orientado de dos vectores x e y es entonces el opuesto del ángulo orientado de y y x . En este caso, el ángulo de dos vectores puede tener cualquier valor módulo un múltiplo entero de 2 π . En particular, un ángulo reflejo π < θ < 2 π es igual al ángulo negativo − π < θ − 2 π < 0 .
El ángulo de dos vectores no cambia si se multiplican por números positivos. Más precisamente, si x e y son dos vectores, y λ y μ son números reales, entonces
Si A , B y C son tres puntos en un espacio euclidiano, el ángulo de los segmentos AB y AC es el ángulo de los vectores y Como la multiplicación de vectores por números positivos no cambia el ángulo, el ángulo de dos mitades Se pueden definir rectas con punto inicial A : es el ángulo de los segmentos AB y AC , donde B y C son puntos arbitrarios, uno en cada media recta. Aunque esto se usa menos, se puede definir de manera similar el ángulo de segmentos o medias líneas que no comparten un punto inicial.
El ángulo de dos líneas se define de la siguiente manera. Si θ es el ángulo de dos segmentos, uno en cada línea, el ángulo de otros dos segmentos cualesquiera, uno en cada línea, es θ o π − θ . Uno de estos ángulos está en el intervalo [0, π /2] y el otro en [ π /2, π ] . El ángulo no orientado de las dos rectas es el del intervalo [0, π /2] . En un plano euclidiano orientado, el ángulo orientado de dos rectas pertenece al intervalo [− π /2, π /2] .
Todo espacio vectorial euclidiano tiene una base ortonormal (de hecho, infinitas en dimensión superior a uno, y dos en dimensión uno), es decir, una base de vectores unitarios ( ) que son ortogonales por pares ( para i ≠ j ). Más precisamente, dada cualquier base , el proceso de Gram-Schmidt calcula una base ortonormal tal que, para cada i , los tramos lineales de y son iguales. [7]
Dado un espacio euclidiano E , un marco cartesiano es un conjunto de datos que consta de una base ortonormal y un punto de E , llamado origen y a menudo denotado O. Un marco cartesiano permite definir coordenadas cartesianas tanto para E como de la siguiente manera.
Las coordenadas cartesianas de un vector v de son los coeficientes de v en base ortonormal. Por ejemplo, las coordenadas cartesianas de un vector en base ortonormal (que puede denominarse por convención) en un espacio euclidiano tridimensional es si . Como la base es ortonormal, el i -ésimo coeficiente es igual al producto escalar
Las coordenadas cartesianas de un punto P de E son las coordenadas cartesianas del vector
Como un espacio euclidiano es un espacio afín , se puede considerar un marco afín , que es lo mismo que un marco euclidiano, excepto que no es necesario que la base sea ortonormal. Esto define coordenadas afines , a veces llamadas coordenadas sesgadas para enfatizar que los vectores base no son ortogonales por pares.
Una base afín de un espacio euclidiano de dimensión n es un conjunto de n + 1 puntos que no están contenidos en un hiperplano. Una base afín define las coordenadas baricéntricas para cada punto.
Se pueden definir muchos otros sistemas de coordenadas en un espacio euclidiano E de dimensión n , de la siguiente manera. Sea f un homeomorfismo (o, más a menudo, un difeomorfismo ) de un subconjunto abierto denso de E a un subconjunto abierto de Las coordenadas de un punto x de E son las componentes de f ( x ) . De esta manera se definen el sistema de coordenadas polares (dimensión 2) y los sistemas de coordenadas esféricas y cilíndricas (dimensión 3).
Para puntos que están fuera del dominio de f , las coordenadas a veces pueden definirse como el límite de las coordenadas de los puntos vecinos, pero estas coordenadas pueden no estar definidas de forma única y pueden no ser continuas en las proximidades del punto. Por ejemplo, para el sistema de coordenadas esféricas, la longitud no está definida en el polo, y en el antimeridiano , la longitud pasa discontinuamente de –180° a +180°.
Esta forma de definir coordenadas se extiende fácilmente a otras estructuras matemáticas y, en particular, a variedades .
Una isometría entre dos espacios métricos es una biyección que preserva la distancia, [b] es decir
En el caso de un espacio vectorial euclidiano, una isometría que asigna el origen al origen conserva la norma.
ya que la norma de un vector es su distancia al vector cero. Conserva también el producto interior.
desde
Una isometría de espacios vectoriales euclidianos es un isomorfismo lineal . [c] [8]
Una isometría de espacios euclidianos define una isometría de los espacios vectoriales euclidianos asociados. Esto implica que dos espacios euclidianos isométricos tienen la misma dimensión. Por el contrario, si E y F son espacios euclidianos, O ∈ E , O ′ ∈ F , y es una isometría, entonces el mapa definido por
es una isometría de espacios euclidianos.
De los resultados anteriores se deduce que una isometría de espacios euclidianos asigna líneas a líneas y, más generalmente, subespacios euclidianos a subespacios euclidianos de la misma dimensión, y que la restricción de la isometría en estos subespacios son isometrías de estos subespacios.
Si E es un espacio euclidiano, su espacio vectorial asociado puede considerarse como un espacio euclidiano. Cada punto O ∈ E define una isometría de espacios euclidianos
que asigna O al vector cero y tiene la identidad como mapa lineal asociado. La isometría inversa es el mapa.
Un marco euclidiano permite definir el mapa
que es una isometría de espacios euclidianos. La isometría inversa es
Esto significa que, hasta un isomorfismo, existe exactamente un espacio euclidiano de una dimensión determinada.
Esto justifica que muchos autores hablen del espacio euclidiano de dimensión n .
Una isometría de un espacio euclidiano sobre sí mismo se denomina isometría euclidiana , transformación euclidiana o transformación rígida . Las transformaciones rígidas de un espacio euclidiano forman un grupo (bajo composición ), llamado grupo euclidiano y a menudo denotado E( n ) de ISO( n ) .
Las transformaciones euclidianas más simples son las traslaciones.
Están en correspondencia biyectiva con los vectores. Esta es una razón para llamar espacio de traslaciones al espacio vectorial asociado a un espacio euclidiano. Las traducciones forman un subgrupo normal del grupo euclidiano.
Una isometría euclidiana f de un espacio euclidiano E define una isometría lineal del espacio vectorial asociado (por isometría lineal se entiende una isometría que también es una aplicación lineal ) de la siguiente manera: denotando por Q – P el vector si O es un punto arbitrario de E , se tiene
Es sencillo demostrar que se trata de una aplicación lineal que no depende de la elección de O.
El mapa es un homomorfismo de grupo del grupo euclidiano al grupo de isometrías lineales, llamado grupo ortogonal . El núcleo de este homomorfismo es el grupo de traducción, lo que demuestra que es un subgrupo normal del grupo euclidiano.
Las isometrías que fijan un punto dado P forman el subgrupo estabilizador del grupo euclidiano con respecto a P. La restricción a este estabilizador del homomorfismo del grupo anterior es un isomorfismo. Entonces las isometrías que fijan un punto dado forman un grupo isomorfo al grupo ortogonal.
Sea P un punto, f una isometría y t la traslación que asigna P a f ( P ) . La isometría fija P . Entonces , el grupo euclidiano es el producto semidirecto del grupo de traducción y el grupo ortogonal.
El grupo ortogonal especial es el subgrupo normal del grupo ortogonal que conserva la lateralidad . Es un subgrupo del índice dos del grupo ortogonal. Su imagen inversa por el homomorfismo de grupo es un subgrupo normal de índice dos del grupo euclidiano, al que se le llama grupo euclidiano especial o grupo de desplazamiento . Sus elementos se denominan movimientos rígidos o desplazamientos .
Los movimientos rígidos incluyen los movimientos de identidad , traslaciones, rotaciones (los movimientos rígidos que fijan al menos un punto) y también movimientos de tornillo .
Ejemplos típicos de transformaciones rígidas que no son movimientos rígidos son las reflexiones , que son transformaciones rígidas que fijan un hiperplano y no son la identidad. También son las transformaciones que consisten en cambiar el signo de una coordenada sobre algún marco euclidiano.
Como el grupo euclidiano especial es un subgrupo de índice dos del grupo euclidiano, dada una reflexión r , toda transformación rígida que no sea un movimiento rígido es el producto de r y un movimiento rígido. Una reflexión deslizante es un ejemplo de transformación rígida que no es un movimiento rígido ni una reflexión.
Todos los grupos que se han considerado en este apartado son grupos de Lie y grupos algebraicos .
La distancia euclidiana hace que un espacio euclidiano sea un espacio métrico y, por tanto, un espacio topológico . Esta topología se llama topología euclidiana . En el caso de esta topología también se encuentra la topología del producto .
Los conjuntos abiertos son los subconjuntos que contienen una bola abierta alrededor de cada uno de sus puntos. En otras palabras, las bolas abiertas forman la base de la topología .
La dimensión topológica de un espacio euclidiano es igual a su dimensión. Esto implica que los espacios euclidianos de diferentes dimensiones no son homeomórficos . Además, el teorema de invariancia de dominio afirma que un subconjunto de un espacio euclidiano es abierto (para la topología del subespacio ) si y sólo si es homeomorfo a un subconjunto abierto de un espacio euclidiano de la misma dimensión.
Los espacios euclidianos son completos y localmente compactos . Es decir, un subconjunto cerrado de un espacio euclidiano es compacto si está acotado (es decir, contenido en una bola). En particular, las bolas cerradas son compactas.
La definición de espacios euclidianos que se ha descrito en este artículo difiere fundamentalmente de la de Euclides . En realidad, Euclides no definió formalmente el espacio, porque lo pensaba como una descripción del mundo físico que existe independientemente de la mente humana. La necesidad de una definición formal apareció sólo a finales del siglo XIX, con la introducción de geometrías no euclidianas .
Se han utilizado dos enfoques diferentes. Felix Klein sugirió definir las geometrías a través de sus simetrías . La presentación de los espacios euclidianos dada en este artículo proviene esencialmente de su programa de Erlangen , con énfasis en los grupos de traslaciones e isometrías.
Por otro lado, David Hilbert propuso un conjunto de axiomas , inspirados en los postulados de Euclides . Pertenecen a la geometría sintética , ya que no implican ninguna definición de números reales . Posteriormente, GD Birkhoff y Alfred Tarski propusieron conjuntos de axiomas más simples, que utilizan números reales (véanse los axiomas de Birkhoff y los axiomas de Tarski ).
En Álgebra geométrica , Emil Artin ha demostrado que todas estas definiciones de espacio euclidiano son equivalentes. [9] Es bastante fácil demostrar que todas las definiciones de espacios euclidianos satisfacen los axiomas de Hilbert, y que aquellas que involucran números reales (incluida la definición dada anteriormente) son equivalentes. La parte difícil de la demostración de Artin es la siguiente. En los axiomas de Hilbert, la congruencia es una relación de equivalencia en segmentos. Por tanto, se puede definir la longitud de un segmento como su clase de equivalencia. Por tanto, hay que demostrar que esta longitud satisface las propiedades que caracterizan a los números reales no negativos. Artin lo demostró con axiomas equivalentes a los de Hilbert.
Desde los antiguos griegos , el espacio euclidiano se ha utilizado para modelar formas en el mundo físico. Por tanto, se utiliza en muchas ciencias , como la física , la mecánica y la astronomía . También es muy utilizado en todas las áreas técnicas que se ocupan de las formas, la figura, la ubicación y la posición, como la arquitectura , la geodesia , la topografía , la navegación , el diseño industrial o el dibujo técnico .
El espacio de dimensiones superiores a tres ocurre en varias teorías modernas de la física; ver Dimensión superior . Ocurren también en espacios de configuración de sistemas físicos .
Además de la geometría euclidiana , los espacios euclidianos también se utilizan ampliamente en otras áreas de las matemáticas. Los espacios tangentes de variedades diferenciables son espacios vectoriales euclidianos. De manera más general, una variedad es un espacio que se aproxima localmente mediante espacios euclidianos. La mayoría de las geometrías no euclidianas pueden modelarse mediante una variedad e incrustarse en un espacio euclidiano de dimensión superior. Por ejemplo, un espacio elíptico puede modelarse mediante un elipsoide . Es común representar en un espacio euclidiano objetos matemáticos que a priori no son de naturaleza geométrica. Un ejemplo entre muchos es la representación habitual de gráficos .
Desde la introducción, a finales del siglo XIX, de las geometrías no euclidianas , se han considerado muchos tipos de espacios sobre los cuales se pueden hacer razonamientos geométricos del mismo modo que con los espacios euclidianos. En general, comparten algunas propiedades con los espacios euclidianos, pero también pueden tener propiedades que podrían parecer bastante extrañas. Algunos de estos espacios utilizan la geometría euclidiana para su definición, o pueden modelarse como subespacios de un espacio euclidiano de dimensión superior. Cuando dicho espacio se define mediante axiomas geométricos , incrustar el espacio en un espacio euclidiano es una forma estándar de demostrar la coherencia de su definición o, más precisamente, de demostrar que su teoría es consistente, si la geometría euclidiana es consistente (lo cual no se puede demostrar). ).
Un espacio euclidiano es un espacio afín equipado con una métrica . Los espacios afines tienen muchos otros usos en matemáticas. En particular, al estar definidos sobre cualquier campo , permiten hacer geometría en otros contextos.
Tan pronto como se consideran cuestiones no lineales, generalmente es útil considerar los espacios afines sobre números complejos como una extensión de los espacios euclidianos. Por ejemplo, un círculo y una línea siempre tienen dos puntos de intersección (posiblemente no distintos) en el espacio afín complejo. Por lo tanto, la mayor parte de la geometría algebraica se construye en espacios afines complejos y espacios afines sobre campos algebraicamente cerrados . Las formas que se estudian en geometría algebraica en estos espacios afines se denominan por tanto variedades algebraicas afines .
Los espacios afines sobre los números racionales y, más generalmente, sobre los campos de números algebraicos proporcionan un vínculo entre la geometría (algebraica) y la teoría de números . Por ejemplo, el último teorema de Fermat se puede afirmar: "una curva de Fermat de grado superior a dos no tiene punto en el plano afín sobre los racionales".
También se ha estudiado ampliamente la geometría en espacios afines sobre campos finitos . Por ejemplo, las curvas elípticas sobre campos finitos se utilizan ampliamente en criptografía .
Originalmente, los espacios proyectivos se introdujeron añadiendo " puntos en el infinito " a los espacios euclidianos y, más generalmente, a los espacios afines, para hacer cierta la afirmación "dos líneas coplanares se encuentran exactamente en un punto". El espacio proyectivo comparte con los espacios euclidianos y afines la propiedad de ser isotrópico , es decir, no existe ninguna propiedad del espacio que permita distinguir entre dos puntos o dos rectas. Por ello, comúnmente se utiliza una definición más isotrópica, que consiste en definir un espacio proyectivo como el conjunto de las rectas vectoriales en un espacio vectorial de dimensión uno más.
En cuanto a los espacios afines, los espacios proyectivos se definen sobre cualquier cuerpo , y son espacios fundamentales de la geometría algebraica .
La geometría no euclidiana se refiere generalmente a espacios geométricos donde el postulado de las paralelas es falso. Incluyen la geometría elíptica , donde la suma de los ángulos de un triángulo es superior a 180°, y la geometría hiperbólica , donde esta suma es inferior a 180°. Su introducción en la segunda mitad del siglo XIX y la prueba de que su teoría es consistente (si la geometría euclidiana no es contradictoria) es una de las paradojas que están en el origen de la crisis fundacional de las matemáticas de principios del siglo XX, y motivó la sistematización de las teorías axiomáticas en matemáticas.
Una variedad es un espacio que en la vecindad de cada punto se asemeja a un espacio euclidiano. En términos técnicos, una variedad es un espacio topológico , tal que cada punto tiene una vecindad que es homeomorfa a un subconjunto abierto de un espacio euclidiano. Las variedades se pueden clasificar según el grado creciente de esta "semejanza" en variedades topológicas , variedades diferenciables , variedades suaves y variedades analíticas . Sin embargo, ninguno de estos tipos de "semejanza" respeta distancias y ángulos, ni siquiera de forma aproximada.
Las distancias y los ángulos se pueden definir en una variedad suave proporcionando una métrica euclidiana que varía suavemente en los espacios tangentes en los puntos de la variedad (estos espacios tangentes son, por tanto, espacios vectoriales euclidianos). Esto da como resultado una variedad de Riemann . Generalmente, las líneas rectas no existen en una variedad de Riemann, pero su papel lo desempeñan las geodésicas , que son los "caminos más cortos" entre dos puntos. Esto permite definir distancias, que se miden a lo largo de geodésicas, y ángulos entre geodésicas, que son el ángulo de sus tangentes en el espacio tangente en su intersección. Entonces, las variedades de Riemann se comportan localmente como un espacio euclidiano que ha sido doblado.
Los espacios euclidianos son variedades trivialmente riemannianas. Un ejemplo que ilustra bien esto es la superficie de una esfera . En este caso, las geodésicas son arcos de gran círculo , que en el contexto de la navegación se denominan ortodromos . De manera más general, los espacios de geometrías no euclidianas pueden realizarse como variedades de Riemann.
Un producto interno de un espacio vectorial real es una forma bilineal definida positiva y, por lo tanto, se caracteriza por una forma cuadrática definida positiva . Un espacio pseudoeuclidiano es un espacio afín con un espacio vectorial real asociado equipado con una forma cuadrática no degenerada (que puede ser indefinida ).
Un ejemplo fundamental de tal espacio es el espacio de Minkowski , que es el espacio-tiempo de la relatividad especial de Einstein . Es un espacio de cuatro dimensiones, donde la métrica está definida por la forma cuadrática.
donde la última coordenada ( t ) es temporal y las otras tres ( x , y , z ) son espaciales.
Para tener en cuenta la gravedad , la relatividad general utiliza una variedad pseudoriemanniana que tiene espacios de Minkowski como espacios tangentes . La curvatura de esta variedad en un punto es función del valor del campo gravitacional en ese punto.
Schläfli... los descubrió antes de 1853, una época en la que Cayley, Grassman y Möbius eran las únicas personas que alguna vez habían concebido la posibilidad de la geometría en más de tres dimensiones.