Una forma bilineal (sobre R) o sesquilineal (sobre C) ⟨·,·⟩: V×V → F en un espacio vectorial V sobre el cuerpo F (R o C) que es simétrica (⟨v,w⟩ = ⟨w,v⟩) o hermítica (⟨v,w⟩ = conjugado(⟨w,v⟩)) y definida positiva (⟨v,v⟩ > 0 para v ≠ 0).

Principio

Un producto interior proporciona la estructura algebraica que define longitudes y ángulos vía ||v|| = sqrt(⟨v,v⟩) y una relación de ortogonalidad ⟨v,w⟩ = 0; conduce a fórmulas de proyección, bases ortonormales y a la identidad de polarización que enlaza producto interior y norma.

Demostración

Producto punto euclidiano en R^n: ⟨x,y⟩ = Σ_i x_i y_i da la geometría estándar. En espacios de funciones, el producto interior L^2 ⟨f,g⟩ = ∫ f(t) overline{g(t)} dt define la estructura de espacio de Hilbert.

Aplicación incorrecta

Llamar producto interior a una forma bilineal simétrica no definida positiva (p. ej. tratar una forma lorentziana como producto interior) conduce a conclusiones geométricas erróneas sobre ángulos y normas.

Consecuencia

Permite proyecciones ortogonales, identidades de Parseval/Plancherel, teoremas espectrales para operadores auto-adjuntos en espacios de Hilbert y algoritmos constructivos (Gram–Schmidt) para bases ortonormales.

Inversión

Lo opuesto es una forma bilineal indefinida o degenerada (no definida positiva) como las que aparecen en geometría pseudo-riemanniana; estas no producen una norma genuina ni la geometría de ortogonalidad habitual.

Límite

Requiere linealidad en un argumento, simetría por conjugación y definitud positiva; formas bilineales/simétricas pero indefinidas, semi-productos interiores (falta de simetría completa) o métricas no inducidas por un producto interior quedan fuera de esta definición.

Tensión semántica

Tensión entre producto interior y mera forma bilineal: muchas formas bilineales carecen de la positividad que proporciona geometría. También tensión entre la norma inducida por un producto interior y normas que no provienen de uno (no existe identidad de polarización).

Síntesis

Un producto interior es el dispositivo algebraico que convierte un espacio lineal en uno geométrico: siendo (sesqui)lineal, conjugado-simétrico y definido positivo, produce longitudes, ángulos, ortogonalidad y la estructura analítica de los espacios de Hilbert.