Hyperreaaliluvut
Hyperreaaliluvut ovat reaalilukujen joukon laajennus, jossa on olemassa äärettömän
pieniä ja suuria lukuja. Hyperreaalilukuja käytetään differentiaali- ja integraalilaskennassa.
Metodi on suosittu erityisesti fyysikoiden keskuudessa. Analyysin
osa-aluetta, jossa hyödynnetään hyperreaalilukuja, kutsutaan epästandardiksi analyysiksi.
Epästandardissa analyysissä käytetään analyysille epästandardeja työkaluja,
josta nimi juontuu. Hyperreaalilukujen edut verrattaessa reaalilukuihin
tulevat esille epästandardissa analyysissä. Varsinkin fysiikassa hyödynnetään yhtälöiden
differentiaalimuotoja ja integroinnissa lähtökohtana pidetään infinitesimaalin
valintaa.
Tutkielmassa hyperreaaliluvut määritellään lähtien kuudesta aksioomasta. Kaksi
ensimmäistä aksioomaa vastaavat reaalilukujen aksioomia. Kolmas aksiooma takaa
yhden positiivisen infinitesimaalin olemassaolon. Tämän lisäksi tarvitaan vielä
aksiooman standardiosalle ja kaksi aksioomaa funktioille. Jokainen äärellinen hyperreaaliluku
on mielivaltaisen lähellä yhtä reaalilukua. Hyperreaaliluvun standardiosa
on se reaaliluku, jota lähellä hyperreaaliluku on.
Epästandardista analyysista ensimmäisenä määritellään jatkuvuus funktioilla hyperreaalilukujen
avulla. Hyperreaalifunktiot ovat funktioita, jotka ovat määrtitelty
hyperreaaliluvuilla. Viides aksiooma takaa jokaiselle funktiolle f vastaavan hyperreaalifunktion
f*, jota kutsutaan funktion f luonnolliseksi jatkoksi. Raja-arvo
määritellään hyperreaaliluvuille standardiosan avulla. Jatkuvuus määritellään rajaarvon
avulla, mutta todistuksissa hyödynnetään standardiosaa. Jatkuvuustuloksista
Bolzanon lauseen todistus on selkeästi lyhyempi hyperreaalilukuja hyödyntäen.
Derivaatta määritellään tutkielmassa standardiosan avulla raja-arvon sijaan. Määritelmän
avulla osoitetaan rationaalifunktioiden derivointitulokset. Lauseiden todistuksia
verrataan standardin analyysin todistuksiin. Viimeisessä kappaleessa
määritellään määrätty integraali hyperreaalilukujen avulla. Määrätyn integraalin
ominaisuuksien lisäksi osoitetaan, että määrätty integraali
välillä [a,b] funktiosta f on funktion f
pinta-ala funktio.
...
Keywords
Metadata
Show full item recordCollections
- Pro gradu -tutkielmat [29105]
Related items
Showing items with similar title or keywords.
-
Integraalista ja joukon mitan käsitteestä
Arkko, Maria (2012) -
Moniulotteinen Riemannin integraali
Kattelus, Elina (2023)Tässä tutkielmassa tutustutaan moniulotteiseen Riemannin integraaliin ja sen taustalla oleviin lauseisiin ja todistuksiin. Riemannin integraali saadaan Darboux’n summien raja-arvona integrointivälin jakoa tihennettäessä, ... -
Approximating hidden chaotic attractors via parameter switching
Danca, Marius-F.; Kuznetsov, Nikolay; Chen, Guanrong (American Institute of Physics, 2018)In this paper, the problem of approximating hidden chaotic attractors of a general class of nonlinear systems is investigated. The parameter switching (PS) algorithm is utilized, which switches the control parameter within ... -
Torus Computed Tomography
Ilmavirta, Joonas; Koskela, Olli; Railo, Jesse (Society for Industrial and Applied Mathematics, 2020)We present a new computed tomography (CT) method for inverting the Radon transform in 2 dimensions. The idea relies on the geometry of the flat torus; hence we call the new method Torus CT. We prove new inversion formulas ... -
Jatkuvuus- ja derivoituvuus-käsitteet lukion pitkässä matematiikassa
Heiskanen, Paavo (2006)