Introducción al grupo de vectores ortogonales;
El grupo de vectores ortogonales es un conjunto de vectores distintos de cero y ortogonales (es decir, el producto interno es 0).
Se abstrae el concepto de vectores geométricos del álgebra lineal y se obtiene un concepto vectorial más general. Aquí, los vectores se definen como elementos del espacio vectorial. Cabe señalar que estos vectores abstractos no están necesariamente representados por pares de números y los conceptos de magnitud y dirección no necesariamente se aplican.
En el espacio vectorial tridimensional, si el producto interno de dos vectores es cero, se dice que los dos vectores son ortogonales. El análisis vectorial de la ortogonalidad apareció por primera vez en el espacio tridimensional. En otras palabras, la ortogonalidad de dos vectores significa que son perpendiculares entre sí. Si los vectores α y β son ortogonales, se escriben como α ⊥ β.