En álgebra lineal, una base ortonormal de un espacio prehilbertiano "V" (es decir, un espacio vectorial con producto interno) o, en particular, de un espacio de Hilbert "H", es un conjunto de elementos cuyo span es denso en el espacio, en el que los elementos son mutuamente ortogonales y normales, es decir, de magnitud unitaria.