spazio Lp (O)
spazio Lp(Ω) con Ω sottoinsieme misurabile di Rn, spazio vettoriale delle funzioni ƒ misurabili secondo Lebesgue per le quali l’integrale
Se p ≥ 1, lo spazio è normato, con norma
e completo [...] quasi ovunque (q.o.), cioè s’intendono equivalenti due funzioni che coincidono, escluso al più un insieme di misura nulla secondo Lebesgue. Se 1 ≤ p ≤ q ≤ ∞ e Ω è limitato, risulta Lq(Ω) ⊂ Lp(Ω), con immersione continua; altrimenti non esiste alcuna ...
Leggi Tutto
Fatou, lemma di
Fatou, lemma di in teoria della misura, asserisce che, per una successione di funzioni fn misurabili secondo Lebesgue non negative, vale la seguente disuguaglianza:
ovvero stabilisce [...] una disuguaglianza tra l’integrale (di Lebesgue) del limite inferiore di una successione di funzioni e il limite inferiore degli integrali di queste funzioni. ...
Leggi Tutto
Luzin, teorema di
Luzin, teorema di o teorema di Lusin, in analisi, stabilisce che se f è una funzione misurabile secondo Lebesgue, non necessariamente continua, definita in un insieme E ⊆ Rn dotato [...] di misura m(E) finita, allora ∀ε > 0 è possibile determinare un insieme compatto K tale che m(E K) < ε, e la restrizione di ƒ a K sia continua (→ Lebesgue, funzione misurabile secondo). ...
Leggi Tutto
insieme di misura nulla
insieme di misura nulla insieme nel quale è uguale a 0 la misura così come definita da H.-L. Lebesgue (→ Lebesgue, misura di). ...
Leggi Tutto
Tonelli, teorema di
Tonelli, teorema di stabilisce che se, per la funzione misurabile ƒ: Rn+m → R non negativa, esiste (nel senso di Lebesgue) l’integrale iterato
allora ƒ è integrabile secondo Lebesgue [...] in Rn+m e il suo integrale multiplo coincide con l’integrale iterato ...
Leggi Tutto
Matematico francese (Auch, Gers, 1884 - Parigi 1974), professore dal 1925 all'univ. di Parigi; il suo nome è soprattutto legato a una generalizzazione dell'integrale di Lebesgue, col sussidio della quale [...] il D. è riuscito a determinare le primitive delle funzioni derivate, finite in ogni punto. È anche noto per i suoi studî sull'aritmetica dei numeri transfiniti. Tra le sue opere: Un demi-siècle (1907-1956) ...
Leggi Tutto
Vitali, insieme di
Vitali, insieme di sottoinsieme V di R, insieme dei numeri reali, che costituisce un esempio di sottoinsieme non misurabile (secondo la misura di → Lebesgue). La sua costruzione teorica [...] richiede però l’impiego dell’assioma della → scelta. Esso è infatti definito nel seguente modo: considerato un qualunque intervallo di R, per esempio [0, 1], si definisce in esso la relazione x ∼ y se ...
Leggi Tutto
Vitali Giuseppe
Vitali Giuseppe [STF] (Ravenna 1875 - Bologna 1932) Prof. di analisi matematica nelle univ. di Modena (1923), Padova (1926) e Bologna (1930). ◆ [ANM] Teorema di derivazione di Lebesgue-V.: [...] v. misura e integrazione: IV 4 c ...
Leggi Tutto
funzione misurabile
funzione misurabile data una σ-algebra M su un insieme Ω, e dato lo spazio topologico X (per esempio R), è una funzione ƒ: Ω → X tale che per ogni aperto A ⊆ X risulti ƒ −1(A) ∈ M. [...] struttura di σ-algebra. Le funzioni appartenenti a una qualsiasi delle classi di Baire sono tutte misurabili secondo Lebesgue (→ Baire, classi di). La funzione caratteristica di un insieme non misurabile non è misurabile; tale costruzione richiede ...
Leggi Tutto
Matematico belga (Lovanio 1866 - Bruxelles 1962), professore di analisi matematica nella università cattolica di Lovanio, socio straniero dei Lincei (1921), accademico pontificio dal 1936; autore di importanti [...] ricerche sulla teoria degli insiemi, sulla teoria delle funzioni (integrali di Lebesgue, classi di Baire, ecc.) e sul problema degli zeri della funzione zeta di Riemann. Tra le opere: Cours d'analyse infinitésimale (2 voll., 1898-99), Leçons sur l' ...
Leggi Tutto