Una base ortonormal es un conjunto de vectores formula_17 que son "unitarios", "ortogonales" y "forman una base del espacio":