Salve,oggi vi chiedo un aiuto con un problema sugli spazi vettoriali che mi ha dato molte difficoltà,vi sarei grato se mi aiutaste.L'esercizio è questo:
"Preso $V$ essere le funzioni reali \( y=f(x) \) soddisfacenti \( dy^2/dx^2+9y=0 \) .
(a)Prova che $V$ è uno spazio vettoriale reale bidimensionale
(b)In $V$ definiamo \( \langle y,z \rangle = \int_0^\pi yz \ dx \) .Trova una base ortonormale in $V$."
Allora,per quanto riguarda il primo punto,forse qualcuno di voi potrebbe suggerirmi di trovare la famiglia di funzioni che risolve l'ODE per poi continuare,però io ho già visto un altro esercizio le cui soluzioni di una ODE non sono esprimibili esplicitamente,e quindi...
Per il secondo punto non so come trovare le basi ortonormali in $V$.