Ketrane p. 217+, XALG3 2.27

Présenté par Louis-Dominique en 2023

Leçons : 115 - 117 - 118 - 120 - 121 - 123 - 308 - 309 - 312 - 316 - 318 - 320 - 321 - 327 - 432

Mots-clefs : Théorème spectral, factorisation de matrices, densité, compacité, diagonalisabilité, polynômes de Lagrange

Présentation : Montrer que si 𝐴∈𝐺𝐿𝑛(ℝ), alors ∃!(𝑂,𝑆)∈𝑂𝑛(ℝ)×𝒮𝑛++, 𝐴=𝑂𝑆 puis montrer que si 𝐴∈𝑀𝑛(ℝ), alors ∃(𝑂,𝑆)∈𝑂𝑛(ℝ)×𝒮𝑛+, 𝐴=𝑂𝑆.

Bilan : Un développement assez touffu et complet. Très rentable.

Illustration : Python