Relación entre dos elementos de un espacio con producto interior (vectores, funciones, etc.) que se verifica cuando su producto interior es cero; geométricamente generaliza la perpendicularidad a la geometría definida por ese producto.

Principio

La ortogonalidad organiza componentes para que sus proyecciones se desacoplen: el producto interior sirve como prueba algebraica de perpendicularidad y mínima interacción entre componentes en esa geometría.

Demostración

En R^n con el producto escalar euclidiano, dos vectores son ortogonales cuando su producto escalar es cero. En L^2(Ω), dos funciones son ortogonales si la integral de su producto es nula; funciones propias ortogonales de un operador simétrico diagonalizan formas cuadráticas.

Aplicación incorrecta

Confundir la anulación punto a punto del producto con ortogonalidad en L^2 (no distinguir casi en todas partes de punto por punto), o equiparar ortogonalidad con independencia estadística sin la estructura probabilística adecuada.

Consecuencia

La descomposición ortogonal produce separación de la norma tipo Pitágoras, simplifica cálculos de proyección, permite diagonalizar operadores autoadjuntos y reduce problemas acoplados a componentes independientes.

Inversión

La inversión es alineación o colinearidad: los elementos son múltiplos escalares entre sí y maximizan el producto interior en vez de anularlo.

Límite

Requiere un producto interior (o al menos una forma bilineal simétrica); no todos los espacios métricos admiten ortogonalidad. En espacios con producto indefinido las vectores nulos y el signo complican las propiedades estándar.

Tensión semántica

La ortogonalidad entra en tensión con nociones como independencia lineal y falta de correlación: objetos independientes o no correlacionados no tienen por qué ser ortogonales fuera del marco del producto interior.

Síntesis

La ortogonalidad es la relación de producto interior nulo que codifica la perpendicularidad en un espacio con producto interior, produciendo desacoplo y propiedades de proyección que simplifican el análisis cuando el producto interior mide la interacción.