Spazio di Banach

Da Wikipedia, l'enciclopedia libera.

In matematica uno spazio di Banach è uno spazio normato completo rispetto alla metrica indotta dalla
norma.[1]

Gli spazi di Banach furono studiati inizialmente da Stefan Banach, da cui hanno preso il nome, e
costituiscono un oggetto di studio molto importante dell'analisi funzionale: molti spazi di funzioni sono,
infatti, spazi di Banach.

Indice
Definizione
Esempi
Base di Schauder
Riflessività
Derivate
Generalizzazioni
Algebre di Banach
Alcuni tra gli spazi di Banach più diffusi
Note
Bibliografia
Voci correlate
Collegamenti esterni

Definizione
Uno spazio di Banach è uno spazio vettoriale sul campo dei numeri reali o complessi, la cui dimensione
può essere infinita e sul quale è definita una norma tale che ogni successione di Cauchy sia convergente
(abbia cioè un limite) a un elemento dello spazio.

Una condizione necessaria e sufficiente affinché uno spazio vettoriale normato sia completo, ovvero sia
di Banach, è che tutte le successioni assolutamente sommabili, cioè tali che:

siano anche sommabili:

e in particolare convergano a un elemento di .[2]

Esempi
La retta reale con la distanza .
Lo spazio vettoriale oppure con una delle distanze:

determinate da un numero reale .

Un esempio di spazio infinito dimensionale è lo spazio lp delle successioni di numeri reali o

complessi convergenti con la distanza:

Spazio infinito dimensionale delle successioni limitate con la distanza:

Spazio infinito dimensionale delle funzioni continue su un intervallo con la

distanza:

Spazio infinito dimensionale Lp, uno spazio di Banach importante in analisi funzionale.

Base di Schauder
Una base di Schauder in uno spazio di Banach è una successione di vettori in tali per cui
per ogni vettore esiste un insieme di scalari , definito in modo unico, tale che:

ovvero:

Per il principio dell'uniforme limitatezza segue che le trasformazioni lineari sono uniformemente limitate
da una qualche costante .
I funzionali lineari che ad ogni associano le rispettive coordinate sono detti funzionali
biortogonali. Se i vettori di base hanno norma 1, allora i funzionali coordinati hanno norma minore di
nel duale di .

Riflessività
Una parte consistente dello studio degli spazi di Banach riguarda i criteri che lo rendono uno spazio
riflessivo, ovvero uno spazio (in generale localmente convesso) che coincide con il suo biduale (il duale
continuo del suo spazio duale continuo) sia come spazio vettoriale sia come spazio topologico.

Derivate
Negli spazi di Banach si utilizzano diverse generalizzazioni della derivata, in particolare le derivate di
Fréchet e Gâteaux. La prima consente di caratterizzare l'estensione della derivata direzionale in uno spazio
di Banach, mentre la derivata di Gâteaux riguarda la derivata direzionale in spazi localmente convessi (si
tratta di una condizione per la differenziabilità che è più debole rispetto a quella di Fréchet: una via
intermedia si ha con la quasi-derivata).

Generalizzazioni
Esistono diverse importanti generalizzazioni dello spazio di Banach in analisi funzionale; ad esempio lo
spazio delle distribuzioni su è completo, ma non è normato. Negli spazi di Fréchet si hanno metriche
complete, mentre gli spazi LF sono spazi vettoriali uniformi che estendono gli spazi di Fréchet.

Algebre di Banach
Un'algebra di Banach è un'algebra associativa sui numeri reali o sui numeri complessi che è anche uno
spazio di Banach. L'algebra della moltiplicazione e lo spazio normato di Banach devono essere collegati
dalla disuguaglianza:

che stabilisce che la norma del prodotto è minore o uguale del prodotto delle norme. Questo assicura che
l'operazione di moltiplicazione è una funzione continua.

Tra gli esempi più significativi, l'insieme dei numeri reali (o complessi) è un'algebra di Banach con la norma
del valore assoluto, mentre l'insieme di tutte le matrici reali o complesse n per n è un'algebra di Banach se si
associa loro una norma. Anche l'algebra di tutte le funzioni continue limitate a valori reali o complessi su
uno spazio localmente compatto (con l'operazione di moltiplicazione definita puntualmente e la norma
dell'estremo superiore) è un'algebra di Banach, così come quella degli operatori lineari continui su uno
spazio di Hilbert, che formano una C*-algebra e quindi un'algebra di Banach.

Alcuni tra gli spazi di Banach più diffusi

Detto un campo che può essere o , siano uno spazio di Hausdorff compatto, un
intervallo, e numeri reali con e e tali che . Sia inoltre una sigma-
algebra, un'algebra di insiemi e una misura con variazione totale .
 sequenzialmente
spazio completo
riflessivo norma note
duale (convergenza
debole)

Kn Kn sì sì Spazio euclideo

ℓnp ℓnq sì sì

ℓn∞ ℓn1 sì sì

ℓp ℓq sì sì

ℓ1 ℓ∞ no sì

ℓ∞ bv no no

c ℓ1 no no

Isomorfo, ma non
c0 ℓ1 no no isometrico, allo
spazio c.

Isometricamente
bv ℓ∞ no sì
isomorfo a ℓ1.

Isometricamente
bv0 ℓ∞ no sì
isomorfo a ℓ1.

Isometricamente
bs ba no no
isomorfo a ℓ∞.

Isometricamente
cs ℓ1 no no isomorfo allo
spazio c.
B(X,
ba(Ξ) no no
Ξ)

C(X) rca(X) no no

ba(Ξ) ? no sì

Sottospazio
ca(Σ) ? no sì
chiuso di ba(Σ).
Sottospazio
rca(Σ) ? no sì
chiuso di ca(Σ).

Lp(μ) Lq(μ) sì sì

Il duale è L∞(μ) se
L1(μ) L∞(μ) no sì μ è una misura σ-
finita.
 BV(I) ? no sì Vf (I) è la
variazione totale
di  f 
NBV(I) è formato
dalle funzioni
NBV(I) ? no sì
BV(I) tali che

Isomorfo allo
AC(I) K + L∞(I) no sì spazio di Sobolev
W 1,1(I).
Isomorfo a
,
Cn([a,
rca([a,b]) no no essenzialmente
b])
per il teorema di
Taylor.

Note
1. ^ W. Rudin, Pag. 95.
2. ^ Reed, Simon, Pag. 71.

Bibliografia
H. Brezis, Analisi funzionale - Teoria e applicazioni, Liguori, Napoli, 1990, ISBN
8820715015.
(EN) Walter Rudin, Real and Complex Analysis, Mladinska Knjiga, McGraw-Hill, 1970,
ISBN 0-07-054234-1.
(EN) Michael Reed, Barry Simon, Methods of Modern Mathematical Physics, Vol. 1:
Functional Analysis, 2ª ed., San Diego, California, Academic press inc., 1980, ISBN 0-12-
585050-6.

Voci correlate
Campo (matematica)
Numeri complessi
Numeri reali
Spazio completo
Spazio di Fréchet
Spazio metrico
Spazio normato
Spazio riflessivo
Spazio vettoriale
Successione di Cauchy

Collegamenti esterni

(EN) Spazio di Banach, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.

 (EN) M.I. Kadets, B.M. Levitan, Banach space, in Encyclopaedia of Mathematics, Springer e
European Mathematical Society, 2002.
Thesaurus BNCF 21617 (https://thes.bncf.firenze.sbn.it/termine.php?id=21617) ·
LCCN (EN ) sh85011441 (http://id.loc.gov/authorities/subjects/sh85011441) · J9U
Controllo di
(EN, HE) 987007282589705171 (http://uli.nli.org.il/F/?func=find-b&local_base=NLX1
autorità
0&find_code=UID&request=987007282589705171) · NDL (EN, JA ) 00560500 (http
s://id.ndl.go.jp/auth/ndlna/00560500)

Estratto da "https://it.wikipedia.org/w/index.php?title=Spazio_di_Banach&oldid=126595520"

Questa pagina è stata modificata per l'ultima volta il 4 apr 2022 alle 10:11.

Il testo è disponibile secondo la licenza Creative Commons Attribuzione-Condividi allo stesso modo; possono
applicarsi condizioni ulteriori. Vedi le condizioni d'uso per i dettagli.