ejercicio dejar ser un espacio de producto interno y dejar . Pruebalo es linealmente independiente si y solo si
es invertible
Para el dirección de avance, si suponemos es linealmente independiente, entonces sabemos que si
entonces cada uno . Ahora, sabemos que ortogonal implica lineal independiente, pero la independencia lineal no necesariamente implica ortogonalidad. Entonces es complicado ver cómo llegaremos a la conclusión. , es decir es invertible
Para el dirección hacia atrás, suponemos que es invertible y asi . Ahora, desde , entonces existe de modo que
dónde es la matriz cuadrada obtenida de eliminando el columna y fila. En otras palabras, al menos un término de la determinante de es distinto de cero.
¿Estos enfoques van en la dirección correcta o estoy engañado? No estoy seguro de cómo completar la prueba para cualquier dirección. Cualquier consejo o sugerencia es muy apreciada de antemano.
Sugerencia _ Dejar ser la matriz de vectores columna . Entonces la matriz en cuestión es (suponiendo que sus productos internos complejos sean conjugados-lineales en el primer argumento; si estamos hablando de espacios de productos internos reales, podemos simplemente ignorar las cosas complejas). Aviso .
En términos más explícitos (y también sin coordenadas si no desea escribir vectores como columnas):
De hecho, para espacios reales de productos internos, (el determinante de Grammian ) es el volumen al cuadrado del paralelotopo atravesado por . Cuando la dimensión de coincide con el número de vectores , este es el caso especial que , pero por lo demás es más general.
Esto se puede generalizar aún más a un producto interno en el poder exterior que se puede utilizar para calcular el "factor de distorsión de volumen" asociado con la proyección ortogonal de un subespacio sobre otro.
David C Huang
pista44