Espacio plano de dimensión n provisto del producto interno euclidiano estándar (o de la métrica) que define distancias, ángulos, longitudes y ortogonalidad; habitualmente representado como R^n con el producto escalar.

Principio

El producto escalar induce una norma y una distancia mediante ||v|| = sqrt(), hace que las rectas sean geodésicas y permite movimientos rígidos (traslaciones y transformaciones ortogonales) como isometrías del espacio.

Demostración

R^n con el producto escalar estándar = Σ x_i y_i es euclidiano: las distancias son sqrt(Σ (x_i - y_i)^2), la ortogonalidad se expresa con producto escalar cero y rigen relaciones pitagóricas.

Aplicación incorrecta

Asumir que cualquier espacio métrico es euclidiano o aplicar intuición euclidiana (trayectorias rectilíneas más cortas, coordenadas cartesiana globales) a variedades curvas o espacios métricos discretos provoca errores.

Consecuencia

Trabajar en espacio euclidiano permite usar álgebra lineal, métodos de producto interno, bases ortonormales, análisis de Fourier en R^n y resultados clásicos de geometría sobre triángulos, distancias y proyecciones.

Inversión

Lo opuesto es una geometría no euclidiana (por ejemplo esférica o hiperbólica) donde la métrica no procede de un producto interno global y cambian las relaciones habituales de ángulos y distancias.

Límite

El espacio euclidiano presupone la estructura de espacio vectorial con producto interno definido positivo sobre un cuerpo (usualmente R); excluye espacios sin producto interno, métricas discretas y variedades curvas sin métrica plana global.

Tensión semántica

Existe tensión entre 'espacio euclidiano' como espacio vectorial con producto interno y 'espacio afín' que omite origen y métrica; también entre R^n como espacio métrico y otros espacios métricos que comparten algunas pero no todas las propiedades euclidianas.

Síntesis

El espacio euclidiano es el marco algebraico y métrico donde la estructura de producto interno genera distancia, ángulo y ortogonalidad, proporcionando un marco unificado para la geometría clásica, el álgebra lineal y métodos analíticos.