Radon-mitta

Tähän artikkeliin tai osioon ei ole merkitty lähteitä, joten tiedot kannattaa tarkistaa muista tietolähteistä. Voit auttaa Wikipediaa lisäämällä artikkeliin tarkistettavissa olevia lähteitä ja merkitsemällä ne ohjeen mukaan.

Radon-mitat eli Radonin mitat ovat lokaalisti kompakteissa Hausdorffin avaruuksissa tärkeä mittatyyppi. Radon-mitat ottavat huomioon erityisesti avaruuden topologian niin, että Radon-mitan antama arvo vastaa enemmän intuitiivista tulkintaa koosta. Tärkeitä Radon-mittoja ovat mm. Lebesguen mitta, Hausdorffin mitat ja Haarin mitta.

Olkoon ${\displaystyle (X,{\mathcal {T}})}$ lokaalisti kompakti Hausdorffin avaruus ja ${\displaystyle \mu }$ Borel-mitta X:ssä. Nyt ${\displaystyle \mu }$ on Radon-mitta, jos se toteuttaa seuraavat ehdot:

1. ${\displaystyle \mu (K)<\infty }$ kaikilla kompakteilla ${\displaystyle K\subset X}$.
2. ${\displaystyle \mu (U)=\sup\{\mu (K):K\subset U{\mbox{ ja }}K\subset X{\mbox{ kompakti}}\}}$ kaikilla avoimilla ${\displaystyle U\subset X}$.
3. ${\displaystyle \mu (B)=\inf\{\mu (U):B\subset U{\mbox{ ja }}U\subset X{\mbox{ avoin}}\}}$ kaikilla Borel-joukoilla ${\displaystyle B\subset X}$.

Monet lähteet jättävät ehdon 3. (ulkosäännöllisyys) pois ja vaativat vain, että mitta on sisäsäännöllinen ja lokaalisti äärellinen. Joskus ehto 2. vaaditaan myös kaikilla äärellismitallisilla Borel-joukoilla, kaikilla Borel-joukoilla tai peräti kaikilla mitallisilla joukoilla. Harvoin vaaditaan, että ${\displaystyle \mu (X)<\infty }$.

Ehto 1. on ekvivalentti seuraavan ehdon kanssa:

1'. ${\displaystyle X}$ on lokaalisti äärellinen (eli joka pisteellä ${\displaystyle x\in X}$ on ympäristö, jonka mitta on äärellinen).

Todistus: 1.${\displaystyle \Rightarrow }$1'., koska jos ${\displaystyle V}$ on ympäristö, jonka sulkeuma on kompakti, ${\displaystyle \mu (V)<\infty }$. 1'.${\displaystyle \Rightarrow }$1., koska jos jokaiseen kompaktin joukon pisteeseen liitetään äärellismitallinen ympäristö, äärellisen moni näistä ympäristöistä yhdessä peittää sen kompaktin joukon, jonka mitta on siis näiden mittojen summaa pienempi, siten äärellinen, MOT.

Jos jokainen joukon ${\displaystyle X}$ avoin osajoukko on ${\displaystyle \sigma }$-kompakti (näin on jos ${\displaystyle X}$ on joukon ${\displaystyle \mathbb {R} ^{d}}$ avoin tai suljettu aliavaruus), kaikki ehdon 1. täyttävät mitat ovat säännöllisiä (täyttävät ehdot 2. ja 3.) ja siten Radon-mittoja.^[1] Erityisesti tällöin kaikki äärelliset mitat ovat Radonin mittoja.

• Frostmanin lemma
• Mittojen heikko suppeneminen
• Rieszin esityslause

• Walter Rudin (1987). Real and complex analysis, 3rd, McGraw-Hill. ISBN 978-0-07-054234-1. 

• Radon measure, Encyclopedia of Mathematics.
• What is actually the standard definition for Radon measure?, Math Overflow.
• On Radon Measure, David Kent & Lindsay Mercer, 3.12.2016