Estoy viendo videos de Gilbert Strang del álgebra lineal conferencias. En conferencia 17, donde él va sobre bases ortonormales y las bacterias Gram-Schmidt proceso, la prueba de
$$ A^TB = A^T\left( b - \frac{A^Tb} {(A^TA)} A\right) = 0 $$
por tener
$$ A^T \frac{A^Tb} {(A^TA)} A $$ cancelar en UnT. b. No sé cómo la de UnaTen la parte superior se le permitió cancelar con UnaTen la parte inferior si no es Un aTb, que se intercala entre laT y la a en el numerador. No debería laT y la a en el numerador no se le permitirá multiplicar cada uno de los otros?
Me preguntaba si laT en el numerador puede cancelar con UnaT en el denominador y es la misma para los dos, pero no sé si esto viola el orden de las operaciones para la multiplicación de la matriz. Si yo fuera a escribir (ATA)-1 en lugar de que el (ATA) en el denominador por debajo de la (ATb), donde iba a ir? ¿