New Immissions/Updates:
boundless - educate - edutalab - empatico - es-ebooks - es16 - fr16 - fsfiles - hesperian - solidaria - wikipediaforschools
- wikipediaforschoolses - wikipediaforschoolsfr - wikipediaforschoolspt - worldmap -

See also: Liber Liber - Libro Parlato - Liber Musica  - Manuzio -  Liber Liber ISO Files - Alphabetical Order - Multivolume ZIP Complete Archive - PDF Files - OGG Music Files -

PROJECT GUTENBERG HTML: Volume I - Volume II - Volume III - Volume IV - Volume V - Volume VI - Volume VII - Volume VIII - Volume IX

Ascolta ""Volevo solo fare un audiolibro"" su Spreaker.
CLASSICISTRANIERI HOME PAGE - YOUTUBE CHANNEL
Privacy Policy Cookie Policy Terms and Conditions
Misura di Lebesgue - Wikipedia

Misura di Lebesgue

Da Wikipedia, l'enciclopedia libera.

In matematica, la misura di Lebesgue è il modo consueto di assegnare un volume ai sottoinsiemi dello spazio euclideo. È usata dovunque nell'analisi matematica, in particolare nella definizione dell'integrazione secondo Lebesgue. Gli insiemi a cui è possibile assegnare un volume sono detti misurabili secondo Lebesgue; il volume o misura dell'insieme Lebesgue-misurabile A è indicato con λ(A). Se si assume l'assioma della scelta, non tutti gli insiemi Rn sono Lebesgue-misurabili, un classico esempio di insieme non misurabile è l'insieme di Vitali. Lo "strano" comportamento degli insiemi non misurabili dà origine a risultati come il paradosso di Banach-Tarski, una conseguenza anch'esso dell'assioma della scelta. La misura di Lebesgue è un tipico esempio di misura.

Indice

[modifica] Proprietà

La misura di Lebesgue ha le seguenti proprietà:

  1. Se A è un prodotto cartesiano di intervalli della forma I1 ⋅ I2 ⋅ ... ⋅ In, allora A è Lebesgue-misurabile e λ(A) = |I1| ⋅ ... ⋅ |In|. Qui |I| indica la lunghezza dell'intervallo I.
  2. Se A è l'unione disgiunta di un numero finito o numerabile di insiemi disgiunti Lebesgue-misurabili, allora A è Lebesgue-misurabile e λ(A) è uguale alla somma (o alla serie) delle misure degli insiemi misurabili coinvolti.
  3. Se A è Lebesgue-misurabile, allora lo è anche il suo complemento.
  4. λ(A) ≥ 0 per ogni insieme Lebesgue-misurabile A.
  5. Se A e B sono Lebesgue-misurabile e A è un sottoinsieme di B, allora λ(A) ≤ λ(B). (Conseguenza di 2, 3 e 4.)
  6. Unioni e intersezioni numerabili di insiemi Lebesgue-misurabili sono Lebesgue-misurabili. (Conseguenza di 2 e 3.)
  7. Se A è un sottoinsieme aperto o chiuso di Rn (vedi spazio metrico), allora A è Lebesgue-misurabile.
  8. Se A è un insieme Lebesgue-misurabile con λ(A) = 0 (un insieme di misura nulla), allora ogni sottoinsieme di A è un insieme di misura nulla.
  9. Se A è Lebesgue-misurabile e x è un elemento di Rn, allora la traslazione di A mediante x, definita da A + x = {a + x : a ∈ A}, è Lebesgue-misurabile e ha la stessa misura di A.

Tutte le affermazioni summenzionate possono essere riassunte in breve:

Gli insiemi misurabili secondo Lebesgue formano una σ-algebra contenente tutti i prodotti di intervalli, e λ è l'unica misura invariante per traslazioni e completa su questa sigma-algebra con λ([0, 1] ⋅ [0, 1] ⋅ ... ⋅ [0, 1]) = 1.

La misura secondo Lebesgue ha anche la proprietà di essere σ-finita.

[modifica] Insiemi di misura nulla

Un sottoinsieme di Rn è un insieme di misura nulla se, per ogni ε > 0, può essere coperto con un insieme numerabile di prodotti di n intervalli il cui volume è al massimo ε. Tutti gli insiemi numerabili sono insiemi di misura nulla, così pure gli insiemi in Rn la cui dimensione è più piccola di n, ad esempio rette o circonferenze in R2.

Per mostrare che un dato insieme A è misurabile secondo Lebesgue, in genere si cerca di trovare un insieme più "gradevole" B che differisce da A solo per un insieme di misura nulla (nel senso che la differenza simmetrica (A − B) ∪ (B − A) è un insieme di misura nulla) e quindi mostrare che B può essere generato usando unioni e intersezioni numerabili di insiemi aperti o chiusi.

[modifica] Costruzione della misura di Lebesgue

La costruzione moderna della misura di Lebesgue, basata sulle misure esterne, è dovuta a Carathéodory. Procede nel modo seguente:

Per ogni sottoinsieme B di Rn, possiamo definire

\lambda^*(B) = \inf \{\operatorname{vol}(M) : M \supseteq B, \mbox{e } M \mbox{  unione numerabile di prodotti di intervalli}\}.

Ora, vol(M) è la somma dei prodotti delle lunghezze degli intervalli coinvolti. Si definisce quindi l'insieme A misurabile secondo Lebesgue se

\lambda^*(B) = \lambda^*(A \cap B) + \lambda^*(B - A)

per tutti gli insiemi B. Questi insiemi Lebesgue-misurabili formano una σ-algebra, e la misura di Lebesgue è definita da λ(A) = λ*(A) per ogni insieme Lebesgue-misurabile A.

Secondo il teorema di Vitali, se si ammette l'assioma della scelta, esiste un sottoinsieme dei numeri reali R che non è Lebesgue-misurabile. In caso contrario tutti i sottoinsiemi di R sono Lebesgue-misurabili.

[modifica] Rapporti con le altre misure

La misura di Borel è in accordo con la misura di Lebesgue sugli insiemi per cui è definita; tuttavia, esistono molti più insiemi Lebesgue-misurabili che insiemi Borel-misurabili. La misura di Borel è invariante per traslazioni, ma non completa.

La misura di Haar può essere definita su ogni gruppo localmente compatto ed è una generalizzazione della misura di Lebesgue (Rn con l'addizione è un gruppo localmente compatto).

La misura di Hausdorff (vedi dimensione di Hausdorff) è una generalizzazione della misura di Lebesgue utile per misurare gli insiemi di Rn di dimensione minore di n, come le sottovarietà, ad esempio superfici o curve in R3 e insiemi frattali.

[modifica] Storia

Henri Lebesgue ha descritto la sua misura nel 1901, seguita l'anno seguente dalla descrizione dell'integrale di Lebesgue. Entrambi furono pubblicati come parte della sua dissertazione nel 1902.

Static Wikipedia (no images)

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 -

Static Wikipedia 2007 (no images)

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 -

Static Wikipedia 2006 (no images)

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 - 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

Static Wikipedia February 2008 (no images)

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