Méra na množici je v matematični analizi sistematični način prireditve števila vsaki njeni ustrezni podmnožici, ki ga intuitivno tolmačimo kot njeno velikost. V tem smislu je mera posplošitev koncepta dolžine, ploščine in prostornine. Še posebej pomembna je Lebesguova mera na evklidskem prostoru, ki dodeli običajno dolžino, ploščino in prostornino evklidske geometrije ustreznim podmnožicam n-razsežnega evklidskega prostora . Lebesguova mera enotskega intervala [0,1] realnih števil je npr. njegova dolžina v vsakodnevnem smislu besede in je enaka 1, kar zapišemo kot:

Neformalno ima mera značilnost monotonosti v smislu, da, če je množica A podmnožica B, je njena mera manjša ali enaka meri B. Mera prazne množice mora biti enaka 0.

Tehnično je mera funkcija (preslikava) , ki (določenim) podmnožicam množice X priredi nenegativno realno število ali +∞. Mera prazne množice mora biti 0, funkcija pa mora biti (števno) aditivna: mera »velike« podmnožice, ki jo lahko razstavimo na končno (ali števno) število 'manjših' nepovezanih podmnožic, je vsota mer »manjših« podmnožic. V splošnem, če želimo povezati združljivo velikost vsaki podmnožici dane množice, da pri tem veljajo drugi aksiomi mere, najdemo le trivialne primere kot je mera štetja. Ta problem so razrešili z definiranjem mere le na podzbirki vseh podmnožic, merljivih podmnožic, ki so nujne za tvorjenje algebre. To pomeni, da so števne unije, števni preseki in komplementi merljivih podmnožic merljivi. Nemerljive množice v evklidskem prostoru, na katerih Lebesguove mere ne moremo dosledno definirati, so gotovo zapletene v smislu, da so hudo pomešane s svojim komplementom. Njihov obstoj je netrivialna posledica aksioma izbire.

Vsaka definicija integrala na primer temelji na ustrezni meri. Riemannov integral temelji na Jordanovi meri, Lebesguov integral pa na Lebesguovi meri. Mere in njihovo uporabo pri integraciji raziskuje teorija mere. Teorijo mere so v zaporednih stopnjah med drugimi razvili Émile Borel, Henri Léon Lebesgue, Johann Radon, Maurice René Fréchet, Constantin Carathéodory, Luitzen Egbertus Jan Brouwer in Andrej Nikolajevič Kolmogorov v poznem 19. in zgodnjem 20. stoletju. Glavne uporabe mer so v osnovah Lebesguovega integrala, v aksiomatizaciji teorije verjetnosti Kolmogorova in ergodični teoriji. V teoriji integralov navedba mere omogoča definicijo integralov na prostorih, ki so splošnejši od podmožic evklidskega prostora. Integral glede na Lebesguovo mero na evklidskih prostorih je poleg tega splošnejši in ima bogatejšo teorijo kot njegov predhodnik, Riemannov integral. Teorija verjetnosti upošteva mere, ki priredijo celotni množici velikost 1, in obravnava merljive množice kot dogodke, katerih verjetnost je dana z mero. V ergodični teoriji so mere invariante dinamičnega sistema ali naravno izhajajo iz njega.

Definicija

uredi
 
Števna aditivnost mere  : mera števne disjunktne unije je enaka vsoti mer vsake podmnožice

Naj je   (osnovna) množica in    -algebra nad  . Funkcija (preslikava)   iz   k razširjeni realni premici   se imenuje mera, če zanjo veljajo naslednje značilnosti:

  • Nenegativnost:
 .
  • Ničelna prazna množica:
 .
 .

Zahtevamo lahko, da ima vsaj ena množica   končno mero. Potem ima ničelna množica takoj mero enako 0 zaradi števne aditivnosti, saj velja  , in tako  .

Če veljata le drugi in tretji pogoj definicije mere, in, če   zavzame največ eno od vrednosti  , se   imenuje predznačena mera.

Par   se imenuje merljivi prostor, člani   pa merljive množice. Če sta   in   dva merljiva prostora, se funkcija   imenuje merljiva, če je za vsako  -merljivo množico   inverzna slika  -merljiva:  . Kompozitum merljivih funkcij je merljiv, tako da so merljivi prostori in merljive funkcije kategorija z merljivimi prostori kot objekti in množico merljivih funkcij kot puščice.

Trojica   se imenuje merski prostor oziroma prostor z mero. Verjetnostna mera je mera s skupno mero enako 1:  ; verjetnostni prostor je mera z verjetnostno mero.

Za merske prostore, ki so tudi topološki prostori, lahko postavimo različne združljive pogoje za mero in topologijo. Večina mer, ki jih srečamo v praksi v analizi (in v mnogih primerih tudi v teoriji verjenosti) so Radonove mere. Radonove mere imajo alternativno definicijo v smislu linearnih funkcionalov na lokalno konveksnih prostorih zveznih funkcij s kompaktnim nosilcem. Takšen pristop je zavzel Bourbaki (2004) in več drugih virov.

Značilnosti

uredi

Iz definicije števno aditivne mere lahko izpeljemo več drugih značilnosti.

Monotonost

uredi

Mera   je monotona: če sta   in   merljivi množici, kjer je   ( , potem velja:

 

Mere neskončnih unij merljivih množic

uredi

Mera   je števno subaditivna: če je   števno zaporedje množic v  , ne nujno disjunktnih, potem velja:

 

Mera   je zvezna od spodaj (notranje zvezna): če so   merljive množice in je   podmnožica   za vse n, potem je unija množic   merljiva in velja:

 

Mere neskončnih presekov merljivih množic

uredi

Mera   je zvezna od zgoraj (zunanje zvezna): če so   merljive množice in je   podmnožica   za vse n, potem je presek množic   merljiv. Velja tudi, da, če ima vsaj ena množica od množic   končno mero, potem velja:

 

Ta značilnost ne velja brez predpostavke, da ima vsaj ena množica od množic   končno mero. Naj je na primer za vsak  :

 

ki imajo vse neskončno Lebesguovo mero, vendar je njihov presek prazen.

Sigma-končne mere

uredi
Glavni članek: σ-končna mera.

Merski prostor   se imenuje končni, če je   končno realno število (in ne npr. ∞). Neničelne končne mere so analogne verjetnostnim meram v smislu, da je vsaka končna mera   sorazmerna z verjetnostno mero  . Mera   se imenuje σ-končna, če lahko množico X razstavimo na števno unijo merljivih množic s končno mero. Podobno ima množica v merskem prostoru σ-končno mero, če je števna unija množic s končno mero.

Množica realnih števil s standardno Lebesguovo mero je na primer σ-končna, ne pa tudi končna. Obstaja števno mnogo zaprtih intervalov [k,k+1] za vsa cela števila k in vsak ima mero 1, njihova unija je celotna realna premica. Mera štetja v množici realnih števil vsaki končni množici realnih števil priredi število točk v množici. Ta merski prostor ni σ-končen, ker vsaka množica s končno mero vsebuje le končno mnogo točk in bi za pokritje celotne realne premice potrebovali neštevno mnogo takšnih množic. σ-končni merski prostori imajo več priročnih značilnosti; σ-končnost lahko v tem oziru primerjamo z Lindelöfovo značilnostjo topoloških prostorov. Obravnavamo jih lahko tudi kot nedoločeno posplošitev zamisli, da ima lahko merski prostor 'neštevno mero'.

Polnost

uredi
Glavni članek: polna mera.

Merljiva množica X se imenuje ničelna množica, če je μ(X)=0. Podmožica ničelne množice se imenuje brezpomembna množica. Brezpomembna množica ni treba, da je merljiva; vsaka merljiva brezpomembna množica pa je tudi ničelna. Mera se imenuje polna, če je vsaka brezpomembna množica merljiva.

Mero lahko razširimo na polno, če upoštevamo σ-algebro podmnožic Y, ki se od merljive množice X razlikujejo za brezpomembno množico, oziroma, da je simetrična razlika množic X in Y v ničelni množici. Mera μ(Y) je enaka μ(X).

Aditivnost

uredi

Mere morajo biti števno aditivne. Ta pogoj je mogoče še ojačati na naslednji način. Naj za poljubno množico I in poljubno množico za nenegativni ri,   velja:

 

Na ta način se definira vsota  , ki je supremum vseh končno mnogo vsot.

Mera   na   je  -aditivna, če za vsak   in vsako družino  ,   veljata pogoja:

  1.  
  2.  

Drugi pogoj je enakovreden izjavi, da je ideal ničelnih množic  -poln.

Zgledi

uredi

Nekatere pomembne mere so:

Druge mere so še: Borelova mera, Jordanova mera, ergodična mera, Eulerjeva mera, gaussovska mera, Baireova mera, Radonova mera in Youngova mera.

V fiziki je zgled mere prostorska porazdelitev mase (glej npr. gravitacijski potencial), ali druga nenegativna ekstenzivna količina, ohranjena (za seznam glej ohranitveni zakon) ali neohranjena. Negativne vrednosti vodijo do predznačenih mer.

Liouvillova mera, znana tudi kot naravna prostorninska forma na simplektični mnogoterosti, je uporabna v klasični statistični in hamiltonski mehaniki.

Gibbsova mera se veliko rabi v teoriji verjetnosti in statistični mehaniki, kjer je velikokrat imenovana kanonična skupina.

Nemerljive množice

uredi
Glavni članek: nemerljiva množica.

V aksiomu izbire naslednja izjava velja za resnično: vse podmnožice evklidskega prostora niso merljive po Lebesguu; zgledi takšnih množic so Vitalijeva množica in nemerljive množice, ki jih zahtevata Hausdorffov paradoks in paradoks Banacha-Tarskega.

Posplošitve

uredi

Za določene namene je uporabno imeti »mero«, katere vrednosti niso omejene na nenegativna realna števila ali neskončnost. Števno aditivna funkcija množice z vrednostmi v (predznačenih) realnih številih se na primer imenuje predznačena mera, takšna funkcija z vrednostmi v kompleksnih številih pa se imenuje kompleksna mera. Veliko so raziskovali mere, ki imajo vrednosti v Banachovih prostorih. Mera, ki ima vrednosti v množici sebiadjungiranih projekcij na Hilbertovem prostoru, se imuje (hermitska) spektralna mera. Rabi se v funkcionalni analizi za spektralni izrek.

Kadar je treba običajne mere z nenegativnimi vrednostmi razlikovati od posplošitev, se rabi izraz pozitivna mera. Pozitivne mere so zaprte znotraj konične kombinacije ne pa tudi splošne linearne kombinacije; predznačene mere so linearno zaprtje pozitivnih mer.

Druga posplošitev je končno aditivna mera, ki se včasih imenuje vsebina (content). To je enako kot mera s tem, da se namesto števne aditivnosti zahteva le končna aditivnost. Zgodovinsko se je rabila najprej ta definicija. Izkaže se, da so končno aditivne mere povezane s pojmi, kot so: Banachove limite, dual prostora L in Stone-Čechova kompaktifikacija. Vsi so na takšen ali drugačen način povezani z aksiomom izbire.

Naboj je posplošitev v obeh smereh - je končno aditivna, predznačena mera.

Glej tudi

uredi

Zunanje povezave

uredi