|
|
Strumenti |
Analisi funzionaleL'analisi funzionale è il settore della matematica e in particolare dell' analisi che si occupa dello studio di spazi di funzioni. Affonda le sue radici storiche nello studio delle trasformate come la trasformata di Fourier e nello studio delle equazioni differenziali e integrali. La parola 'funzionale' viene dal calcolo delle variazioni, e indica una funzione il cui argomento è una funzione. Il suo uso in senso più generale è attribuito a Volterra.
[modifica] Spazi vettoriali normatiNella visione moderna, l'analisi funzionale è vista come lo studio di spazi normati completi sui reali o sui complessi. Tali spazi sono chiamati spazi di Banach. Un esempio importante è uno spazio di Hilbert, dove la norma è indotta dal prodotto interno . Questi spazi sono di fondamentale importanza nella formulazione matematica della meccanica quantistica, e nello studio delle equazioni differenziali alle derivate parziali. Più in generale, l'analisi funzionale include lo studio degli spazi di Fréchet e altri spazi vettoriali topologici non dotati di una norma. Un importante oggetto di studio nell'analisi funzionale sono gli operatori lineari continui definiti su spazi di Banach e di Hilbert. In questo modo si arriva naturalmente alla definizione di C*-algebra e di altre algebre degli operatori. L'analisi funzionale trova inoltre applicazione nello studio dei metodi numerici utilizzati per la risoluzione di equazioni differenziali, attraverso l'ausilio del calcolatore. Tra questi metodi ricordiamo il Metodo di Galerkin che approssima e risolve la Formulazione Debole dell'equazione differenziale. [modifica] Spazi di HilbertGli spazi di Hilbert possono essere completamente classificati: esiste un unico spazio di Hilbert a meno di isomorfismi per ogni cardinalità della base. Poiché gli spazi di Hilbert a dimensione finita sono compresi nell'algebra lineare, e dal momento che i morfismi fra spazi di Hilbert possono essere divisi in morfismi fra spazi di dimensionalità Aleph-zero (ℵ0), l'analisi funzionale degli spazi di Hilbert si occupa per lo più dell'unico spazio di Hilbert di dimensionalità Aleph-zero, e dei suoi morfismi. Uno dei problemi aperti nell'analisi funzionale è provare che ogni operatore su uno spazio di Hilbert ha un sottospazio proprio invariante. Molti casi particolari sono stati provati. [modifica] Spazi di BanachGli spazi di Banach generici sono molto più complicati. Non esiste una definizione chiara di cosa costituisca una base, ad esempio. Per ogni numero reale p ≥ 1, un esempio di uno spazio di Banach è dato da "tutte le funzioni misurabili secondo Lebesque delle quali il valore assoluto della potenza p-esima ha integrale finito" (vedi spazi Lp). Negli spazi di Banach, buona parte dello studio riguarda lo spazio duale: lo spazio di tutti i funzionali lineari continui. Il duale del duale non è sempre isomorfo allo spazio originale, ma c'è sempre un monomorfismo naturale da uno spazio al suo duale del duale. Vedi spazio duale. La nozione di derivata è esteso a funzioni arbitrarie fra spazi di Banach; si trova così che la derivata di una funzione in un determinato punto è una mappa lineare continua. [modifica] Principi fondamentaliL'analisi funzionale riposa su alcuni risultati fondamentali che ne costituiscono il cardine e dai quali discende tutta la teoria. Li elenchiamo nel seguito.
[modifica] Stato nella logica matematicaLa maggior parte degli spazi considerati nell'analisi funzionale hanno infinite dimensioni. Per mostrare l'esistenza di una base dello spazio vettoriale per questi spazi potrebbe essere necessario il lemma di Zorn (che è equivalente all'assioma della scelta). Diversi teoremi molto importanti fanno uso del teorema di Hahn-Banach che richiede il lemma di Zorn nel caso generale di uno spazio infinito-dimensionale. [modifica] Bibliografia
|
