Se riscontri problemi nella visualizzazione dei caratteri, clicca qui

Base di Schauder

Da Wikipedia, l'enciclopedia libera.

In matematica, una base di Schauder è un'estensione del concetto di base normalmente usato in algebra lineare. Si tratta di un concetto simile a quello di base di Hamel, dal quale si differenzia per il fatto che le basi di Hamel utilizzano combinazioni lineari che sono somme finite, mentre per le basi di Schauder possono essere infinite.

L'algebra lineare si occupa solitamente di insiemi a dimensione finita dotati di struttura algebrica: in questo caso gli elementi degli spazi vettoriali possono essere rappresentati mediante combinazioni lineari opportune di un numero finito di vettori (vettori di base) secondo alcuni coefficienti. I vettori di base costituiscono una base di Hamel che, per le proprietà dello spazio vettoriale in questione, è anch'essa a dimensione finita. Tuttavia, non sempre un insieme di vettori linearmente indipendenti e a cardinalità finita riesce ad essere una base per uno spazio vettoriale. Ciò avviene, infatti, per gli spazi vettoriali a dimensione infinita numerabile od infinita non numerabile.

Per questo motivo si utilizza una definizione più debole di base, riferendosi ad essa col nome di "base di Schauder", e secondo cui un sistema di generatori è detto completo per uno spazio vettoriale V se la chiusura del suo span coincide con V. In altre parole, ciò significa che gli elementi di V o sono elementi generabili dalla base, oppure possono essere determinati come limite di una successione degli elementi dello span della base. Quindi, in questo caso, spesso si ha a che fare con somme infinite, il che rende necessario l'uso di concetti come quello di convergenza e di limite che sono usuali negli spazi topologici.

Definizione[modifica | modifica wikitesto]

Sia uno spazio vettoriale topologico (per esempio, uno spazio di Banach o uno spazio di Hilbert) sul campo . Una base di Schauder è un sottoinsieme numerabile di tale che ogni elemento può essere scritto, in un solo modo, come una serie:

dove la sommatoria è il limite di una successione di somme parziali, e è unico per ogni .

Una scrittura alternativa che mette in rilievo la numerabilità è la seguente. Si scriva la base come ; allora:

Contrariamente a quanto succede per la base di Hamel, gli elementi della base devono essere ordinati in quanto la serie può non convergere incondizionatamente.

Utilizzando il formalismo delle successioni, sia uno spazio di Banach sul campo . Una base di Schauder è una successione di elementi di tale per cui per ogni elemento esiste un'unica successione di scalari in tale che:

dove la convergenza è da considerarsi rispetto alla topologia della norma, ovvero:

Una base di Schauder è normalizzata se tutti i vettori di base hanno norma 1 nello spazio di Banach .

Due basi di Schauder in e in (un altro spazio di Banach) sono dette equivalenti se esistono due costanti e tali per cui per ogni intero e per tutte le successioni di scalari si verifica:

Una famiglia di vettori in è totale se il suo span lineare (l'insieme delle combinazioni lineari finite) è denso in . Se è uno spazio di Hilbert, una base ortogonale è un sottoinsieme totale di tale che gli elementi in sono non-nulli e mutuamente ortogonali. Inoltre, quando ogni elemento di ha norma 1 allora è una base ortonormale di .

Proprietà[modifica | modifica wikitesto]

Sia una base di Schauder dello spazio di Banach sul campo , che può essere o . Segue dal principio dell'uniforme limitatezza che le mappe di proiezione sui vettori di base definite da:

sono uniformemente limitate da qualche costante:

detta costante di base di . Quando la base è detta base monotona.

Siano i funzionali lineari limitati coordinati nello spazio duale , con che è assegnato ad ogni vettore tramite la coordinata di nella precedente espressione:

Per ogni si ha:

I funzionali sono detti funzionali biortogonali associati alla base . Quando è normalizzata i funzionali hanno norma minore o uguale a nel duale .

Uno spazio di Banach con una base di Schauder è necessariamente separabile, ma non è vero il contrario.

Spazi di successioni e spazio duale[modifica | modifica wikitesto]

Una base di uno spazio di Banach è limitatamente completa (in inglese "boundedly complete") se, per ogni successione di scalari tale per cui le somme parziali:

sono limitate in , la successione converge in . La base dello spazio di successioni (con ) composta da vettori unitari è limitatamente completa, ma non lo è nello spazio (sottospazio di ). Infatti, se per ogni n si ha:

ma la successione non converge in dal momento che per ogni n.

Una base di è detta shrinking se per ogni funzionale lineare limitato definito su la successione di numeri non-negativi:

tende a 0 quando , dove è lo span lineare dei vettori di base per . In particolare, una base di è shrinking se e soltanto se i funzionali biortogonali formano una base dello spazio duale .

Un risultato che si deve a Robert C. James stabilisce inoltre che con una base di Schauder è uno spazio riflessivo se e solo se la base è sia shrinking che limitatamente completa.[1]

Esempio[modifica | modifica wikitesto]

Un esempio di base di Schauder è la serie di Fourier di una funzione in , lo spazio delle funzioni a quadrato sommabile:

In generale, il sistema trigonometrico è una base di Schauder in ogni spazio , con .

Note[modifica | modifica wikitesto]

  1. ^ James, Robert. C. (1950), "Bases and reflexivity of Banach spaces", Ann. of Math. (2) 52: 518–527.

Bibliografia[modifica | modifica wikitesto]

  • (EN) Bailey, D. H.; Borwein, J. M.; Calkin, N. J.; Girgensohn, R.; Luke, D. R.; and Moll, V. H. Experimental Mathematics in Action. Wellesley, MA: A K Peters, pp. 115-117, 2007.
  • (EN) Johnson, W. B. and Lindenstrauss, J. (Eds.). Handbook of the Geometry of Banach Spaces, Vol. 1. Amsterdam, Netherlands: North-Holland, 2001.

Voci correlate[modifica | modifica wikitesto]

Collegamenti esterni[modifica | modifica wikitesto]

Matematica Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica