See also ebooksgratis.com: no banners, no cookies, totally FREE.

CLASSICISTRANIERI HOME PAGE - YOUTUBE CHANNEL
Privacy Policy Cookie Policy Terms and Conditions
Principio dell'uniforme limitatezza - Wikipedia

Principio dell'uniforme limitatezza

Da Wikipedia, l'enciclopedia libera.

In matematica, il principio dell'uniforme limitatezza o teorema di Banach-Steinhaus è uno dei risultati fondamentali in analisi funzionale e, insieme con il teorema di Hahn-Banach e con il teorema della funzione aperta, è considerato una delle basi di questa branca dell'analisi. Nella sua forma più semplice, esso afferma che per una famiglia di operatori lineari continui definiti su uno spazio di Banach, la limitatezza puntuale è equivalente alla limitatezza.

Il teorema fu pubblicato per la prima volta nel 1927 da Stefan Banach e Hugo Steinhaus ma fu anche dimostrato indipendentemente da Hans Hahn.

Indice

[modifica] Enunciato

Siano X uno spazio di Banach e Y uno spazio normato. Sia F sia una famiglia di operatori lineari continui da X in Y tale che per tutti gli x in X risulti

\sup \left\{\,\|Tx\| : T \in F \,\right\} < \infty, .

Allora

 \sup \left\{\, \|T\| : T \in F \;\right\} < \infty.

[modifica] Dimostrazione

Per ogni n\in\N definiamo l'insieme

A_n \doteq \left\{x\in X: \|Tx\|\le n \ \forall T\in F\right\}.

Per ipotesi, per ogni x\in X esiste un indice naturale n = n(x) tale che \|Tx\|\le n\ \forall T\in F e, pertanto, si ha X=\cup_{n=1}^\infty A_n. Osserviamo che, per la continuità di ogni elemento T di F, tutti gli insiemi An sono chiusi. Invocando il teorema della categoria di Baire deduciamo che esiste un naturale m tale che \overline{A}_m=A_m ha interno non vuoto, vale a dire che esistono y\in X e \varepsilon>0 tali che

B(y,\varepsilon)\subseteq T^{-1}\left(\left\{z: \|z\|\le m\right\}\right) \ \forall T \in F.

In altre parole si ha

\|T(x+y)\|\le m \ \forall x: \|x\|< \varepsilon, \ \forall T\in F

e quindi

\|Tx\|\le \|T(x+y)\|+\|Ty\|\le m + \|Ty\| \ \forall x: \|x\|<\varepsilon, \ \forall T\in F.

Dato x\in X si ha

\|Tx\|=\left\|T\left(\frac{\|x\|}{\varepsilon}\cdot \frac{\varepsilon}{\|x\|}\cdot x\right)\right\| =
\frac{\|x\|}{\varepsilon}\left\|T\left(\varepsilon \cdot \frac{x}{\|x\|}\right)\right\| \le \frac{\|x\|}{\varepsilon}\left(m+\|Ty\|\right) \ \forall T\in F.

Da ciò segue che

\|T\|\le \frac{1}{\varepsilon}\left(m+\|Ty\|\right)\ \forall T\in F.

Con ciò il teorema è provato.

[modifica] Generalizzazione

L'ambiente naturale per il principio dell'uniforme limitatezza è uno spazio botte dove vale la seguente versione generalizzata del teorema:

Dato uno spazio botte X e uno spazio localmente convesso Y, allora qualsiasi famiglia di operatori lineari continui puntualmente limitati da X a Y è equicontinua (anche uniformemente equicontinua).

[modifica] Voci correlate

[modifica] Bibliografia



aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -