Cualquier matriz de vectores columna ortogonales tiene la propiedad que buscas. Para que dos vectores columna sean ortogonales, su producto punto tiene que ser 0. Esto es lo que dice la respuesta de AdLibitum. En realidad, los matemáticos lo utilizan como una abreviatura de "aquí hay una matriz de vectores columna ortogonales".
Estos vectores ortogonales forman una base ortogonal para el rango de la matriz. Dado que se puede ortogonalizar cualquier matriz linealmente independiente, las matrices de este tipo son muy comunes. También son muy útiles en la práctica: La factorización QR, que descompone una matriz en una parte ortogonal y otra triangular, es uno de los algoritmos más importantes en computación numérica.
Matrices como estas surgen en la vida real todo el tiempo. Por ejemplo, si se toma la SVD de una matriz para revelar su rango y su espacio nulo, los vectores base del rango y los vectores base del espacio nulo pueden formar matrices de columnas ortogonales.
1 votos
Sólo si $m \ge n$ Si no es así, algunas entradas de la diagonal de $I_n$ son cero... Así que seguramente esta condición debería incluirse en la definición del problema.
0 votos
@GottfriedHelms Si $m<n$ entonces $B^TB\neq I_n$ en primer lugar.