Salut, j'aurais une question au sujet des espaces préhilbertiens.
Prenons E_n = IR_n, le sous espace vectoriel des polynômes de degré au plus n.
Pour montrer que X*P_n ∈ à E_(n+1) inter (E_(n+2))^⊥ (^⊥ = orthogonal),
on remarque déjà que X*P_n ∈ E_(n+1). Mais pourquoi comme (P_0 , ... , P_(n-1)) est une base de E_(n-1) pour n >=1, alors P_n est orthogonal à E_(n-1) ?
Merci