Daniellin olennainen osa
Vuonna matematiikka The Daniellin olennainen on eräänlainen integraation yleistää enemmän peruskonsepti Riemannin integraali , joka on yleensä ensimmäinen opetti. Yksi tärkeimmistä vaikeuksista perinteisen muotoiluun Lebesgue kiinteä on, että se vaatii alustavan kehittämistä teorian toimenpiteen vasta saatuaan tärkeimmät tulokset kiinteä. On kuitenkin mahdollista käyttää toista lähestymistapaa, jonka Percy John Daniell kehitti vuonna 1918 julkaistussa artikkelissa, joka ei esitä tätä vaikeutta, ja jolla on todellisia etuja perinteiseen muotoiluun verrattuna, varsinkin kun halutaan yleistää integraali korkeamman ulottuvuuden tiloihin tai kun haluamme esitellä muita yleistyksiä, kuten Riemann - Stieltjesin integraali . Perusidea esittelee integraalin aksiomatisoinnin .
Daniellin aksiomit
Aloitetaan valitsemalla joukko reaalisesti rajattuja funktioita (kutsutaan perustoiminnoiksi ), jotka määritellään joukolle , joka täyttää kaksi aksiomia:
H{\ displaystyle H}
X{\ displaystyle X}![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
-
H{\ displaystyle H}
on vektoritila tavallisille lisäys- ja kertolaskuoperaatioille skalaarilla.
- Jos funktio on sisällä , myös sen absoluuttinen arvo on .h{\ displaystyle h}
H{\ displaystyle H}
|h|{\ displaystyle | h |}![{\ displaystyle | h |}](https://wikimedia.org/api/rest_v1/media/math/render/svg/99efa0a994571eb5826e23fab002a46571d3cfa7)
Lisäksi, että kunkin toiminnon h on H on määrätty todellinen numero , jota kutsutaan elementary kiinteä ja h , jotka täyttävät kolme aksioomaa:
Minäh{\ displaystyle Ih}![{\ displaystyle Ih}](https://wikimedia.org/api/rest_v1/media/math/render/svg/319a75d8016b837cc06953358fbb0cc1c1c6404d)
- Lineaarisuus. Jos h ja k ovat molemmat H: ssä ja ovat mitä tahansa kahta reaalilukua, niin .a{\ displaystyle \ alfa}
β{\ displaystyle \ beta}
Minä(ah+βk)=aMinäh+βMinäk{\ displaystyle I (\ alpha h + \ beta k) = \ alpha Ih + \ beta Ik}![{\ displaystyle I (\ alpha h + \ beta k) = \ alpha Ih + \ beta Ik}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b92f9695cb888c009b0b642e1dca9e739a201c62)
- Positiivisuus. Kyllä sitten .h(x)≥0{\ displaystyle h (x) \ geq 0}
Minäh≥0{\ displaystyle Ih \ geq 0}![{\ displaystyle Ih \ geq 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/32ebaa5cb86055ddf991164fe3e56f67e521aa90)
- Jatkuvuus. Jos on laskeva sekvenssi laajassa merkityksessä (ts ) ja toimintoja , jotka suppenee 0 kaikille on , sitten .hei(x){\ displaystyle h_ {n} (x)}
h1≥⋯≥hk≥⋯{\ displaystyle h_ {1} \ geq \ cdots \ geq h_ {k} \ geq \ cdots}
H{\ displaystyle H}
x{\ displaystyle x}
X{\ displaystyle X}
Minähei→0{\ displaystyle Ih_ {n} \ - 0}![{\ displaystyle Ih_ {n} \ - 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cf0b46322e031069871cafa66d5be6ab5e900c09)
Siksi määritämme positiivisen jatkuvan lineaarisen muodon perustoimintojen avaruuteen.
Minä{\ displaystyle I}![Minä](https://wikimedia.org/api/rest_v1/media/math/render/svg/535ea7fc4134a31cbe2251d9d3511374bc41be9f)
Nämä perustoiminnot ja niiden perusintegraalit voivat olla mitä tahansa toimintojen ja integraalien määritelmiä niille funktioille, jotka tyydyttävät nämä aksioomat. Kaikkien portaikkotoimintojen perhe tyydyttää ilmeisesti kaksi ensimmäistä aksiomia. Jos määritämme alkuintegraalin portaikkofunktioperheelle portaikkofunktion määrittelemän alueen (suuntautuneeksi) alueeksi, myös kolme alkeisintegraalin aksiomia täyttyvät. Jos sovellamme alla kuvatun Daniell-integraalin rakennetta portaikkofunktioita perustoimintoina, määritämme integraalin, joka vastaa Lebesgue-integraalia. Jos on topologinen tila ja jos käytämme kaikkien jatkuvien funktioiden perhettä perustoimintoina ja perinteistä Riemannin integraalia perusintegraalina, niin tämä johtaa integraaliin, joka on silti vastaava Lebesgue'n määritelmään. Jos teemme saman asian, mutta käyttämällä Riemann - Stieltjes -integraalia ja sopivaa rajoitetun variaation funktiota , saadaan integraalin määritelmä, joka vastaa Lebesgue - Stieltjesin määritelmää .
X{\ displaystyle X}![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
Merkityksetön asettaa (eli nolla toimenpide) voidaan määritellä elementary toimii seuraavasti. Joukko , joka on osajoukko on vähäinen joukkoon, jos kaikki on olemassa kasvava jono positiivisia alkeisfunktioita on H siten, että ja päälle .
Z{\ displaystyle Z}
X{\ displaystyle X}
ϵ>0{\ displaystyle \ epsilon> 0}
hs(x){\ displaystyle h_ {p} (x)}
Minähs<ϵ{\ displaystyle Ih_ {p} <\ epsilon}
supshs(x)≥1{\ displaystyle \ sup _ {p} h_ {p} (x) \ geq 1}
Z{\ displaystyle Z}![Z](https://wikimedia.org/api/rest_v1/media/math/render/svg/1cc6b75e09a8aa3f04d8584b11db534f88fb56bd)
Sanomme, että ominaisuus on totta melkein kaikkialla, jos se on totta kaikkialla paitsi merkityksettömällä joukolla.
X{\ displaystyle X}![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
Määritelmä Daniellin integraalista
Voimme laajentaa integraalin käsitteen laajempaan funktioluokkaan perustuen perustoimintojen valintaan, luokkaan , joka on kaikkien sellaisten toimintojen perhe, jotka rajoittavat melkein kaikkialla kasvavaa alkutoimintojen sarjaa , kuten integraalien joukko on rajattu. Integraali toiminto on on määritelty:
L+{\ displaystyle L ^ {+}}
hei{\ displaystyle h_ {n}}
Minähei{\ displaystyle Ih_ {n}}
f{\ displaystyle f}
L+{\ displaystyle L ^ {+}}![L ^ {+}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fd39fc9098cf206c6a7466d87811875ad22e4f6d)
Minäf=limei→∞Minähei{\ displaystyle If = \ lim _ {n \ - \ infty} Ih_ {n}}![{\ displaystyle If = \ lim _ {n \ - \ infty} Ih_ {n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f4ebdb175ff77d36f60b37fe542aec62bd44e965)
Voimme osoittaa, että tämä integraalin määritelmä on hyvin määritelty, ts. Että se ei riipu sekvenssin valinnasta .
hei{\ displaystyle h_ {n}}![h n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dc869ca124a4bbb264113f1b3b40d78e09c055be)
Luokkaa ei kuitenkaan yleensä suljeta vähennyslaskua ja kertomista varten negatiivisilla luvuilla, mutta voimme laajentaa sitä määrittelemällä suuremman funktioluokan siten, että mikä tahansa funktio voidaan esittää melkein kaikkialla erona , funktioiden mukaan ja luokkahuoneessa . Tällöin funktion integraali voidaan määrittää seuraavasti:
L+{\ displaystyle L ^ {+}}
L{\ displaystyle L}
ϕ(x){\ displaystyle \ phi (x)}
ϕ=f-g{\ displaystyle \ phi = fg}
f{\ displaystyle f}
g{\ displaystyle g}
L+{\ displaystyle L ^ {+}}
ϕ(x){\ displaystyle \ phi (x)}![\ phi (x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/546b660b2f3cfb5f34be7b3ed8371d54f5c74227)
∫Xϕ(x)dx=Minäf-Minäg{\ displaystyle \ int _ {X} \ phi (x) dx = If-Ig \,}![{\ displaystyle \ int _ {X} \ phi (x) dx = If-Ig \,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/faba4e7ccd9831d7b5fcfef5fe236a88d4f7e8ee)
Siellä taas, voimme osoittaa, että kiinteä on hyvin määritelty, eli se ei riipu hajoaminen osaksi ja . Tämä viimeistelee Daniell-integraalin rakentamisen.
ϕ{\ displaystyle \ phi}
f{\ displaystyle f}
g{\ displaystyle g}![g](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3556280e66fe2c0d0140df20935a6f057381d77)
Huomautuksia ja viitteitä
(fr) Tämä artikkeli on osittain tai kokonaan peräisin
englanninkielisestä Wikipedia- artikkelista
" Daniell integral " ( katso luettelo kirjoittajista ) .
-
(julkaisussa) Percy John Daniell , " General A form of integral " , Annals of Mathematics , voi. 19,1918, s. 279–94
Katso myös
Aiheeseen liittyvät artikkelit
Bibliografia
- (en) Percy John Daniell , ” Integraalit äärettömässä määrin ulottuvuuksia ” , Annals of Mathematics , voi. 20,1919, s. 281–88
- (en) Percy John Daniell , ” Rajoitettujen variaatioiden toiminnot loputtomassa ulottuvuudessa ” , Annals of Mathematics , voi. 21,1919, s. 30-38
- (en) Percy John Daniell , " Yleisen integraalin lisäominaisuudet " , Annals of Mathematics , voi. 21,1920, s. 203–20
- (en) Percy John Daniell , ” Integral-tuotteet ja todennäköisyys ” , Amer. J. Math. , voi. 43,1921, s. 143–62
- (en) HL Royden , todellinen analyysi , Prentice Hall ,1988, 3 ja toim. , 444 Sivumäärä ( ISBN 978-0-02-946620-9 )
- (fi) G. E Shilov ja BL Gurevich ( Muunto. Richard A. Silverman), Integral, mitata ja Johdannaissopimukset: yhdenmukaisen lähestymistavan , Dover Publications ,1978, 233 Sivumäärä ( ISBN 978-0-486-63519-4 , lue verkossa )
- (en) Edgar Asplund ja Lutz Bungart , ensimmäinen integraatiokurssi , Holt, Rinehart ja Winston,1966( ISBN 978-0-03-053145-3 )
- (en) Angus Ellis Taylor , yleinen toimintojen ja integraation teoria , Courier Dover Publications ,1985, 437 Sivumäärä ( ISBN 978-0-486-64988-7 , lue verkossa )
<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">