Hoy, en mi clase de Análisis, mi profesor ha demostrado que las formas bilineales (reales) simétricas (en un espacio de producto interno) son ortogonalmente diagonalizables utilizando la compacidad, la diferenciabilidad de los productos internos y otros conceptos del análisis, y luego ha procedido a demostrar que el k's mayor valor propio puede ser derivado por $$\min_{W\subset V,\dim W=k} \max_{x\in W , \|x\|=1} \langle Ax,x\rangle$$ donde la forma bilineal es $B(x,y)=\langle Ax,y\rangle$ .
¿Puede alguien sugerirme algunos libros que tengan este tipo de álgebra lineal con sabor a "análisis"?
