Hyperreaaliluku

**Hyperreaalilukujen **järjestelmä on eräs tapa käsitellä äärettömiä ja äärettömän pieniä eli infinitesimaalisia määriä (kvantiteetteja). Hyperreaaliluvut tai epästandardit reaaliluvut, *\R, ovat reaalilukujen \R laajennus, joka sisältää suurempia lukuja kuin mikään muotoa 

:1 + 1 + \cdots + 1 \,  oleva.

Sellaiset luvut ovat äärettömiä ja niiden käänteisluvut on infinitesimaaleja.  Termin "hyperreaali" esitteli Edwin Hewitt 1948.

Reaalilukujen laajennukseen hyperreaalilukuihin kuuluvat siis tavallisten reaalilukujen lisäksi äärettömän suuret ja äärettömän pienet luvut eli infinitesimaalit. Nämä voidaan määritellä seuraavasti:

Nollasta eroava luku \epsilon on äärettömän tai infinitesimaalisen pieni eli siis infinitesimaali, jos 
\vert\epsilon\vert

Kääntäen infinitesimaalin \epsilon käänteisluku \omega=\frac{1}{\epsilon} on äärettömän suuri tai ääretön tarkoittaen täsmällisesti, että \vert\omega\vert>n \text{ } \forall n=1,2,3,....

Ja vastaavasti äärettömän \omega käänteisluku \frac{1}{\omega} on infinitesimaali. 

Hyperreaaliluvut noudattavat siirtoperiaatetta, Leibnizin heuristisen jatkuvuuden lain täsmällistä versiota. Siirtoperiaate sanoo, että väitteet \R:ssä ovat päteviä *\R:ssä. Esimerkiksi, yhteenlaskun vaihdantalaki, x+y=y+x, pätee hyperreaaliluvuille aivan kuin se pätee myös reaaliluvuille; kuten \R on reaalisesti suljettu kunta, joka tarkoittaa vain yksinkertaisesti kuntaa, jolla on oleellisesti samat ominaisuudet kuin reaalilukujen kunnalla, siten on myös *\R. Samoin kuten \sin{\pi n}=0 kaikille kokonaisluvuille n, on yhtä lailla voimassa \sin{\pi H}=0 kaikille hyperkokonaisluvuille H.  Siirtoperiaate on Łośin teoreeman seuraus vuodelta 1955.

Hyperreaalilukujen ja erityisesti siirtoperiaatteen sovellusta analyysin ongelmiin kutsutaan epästandardiksi analyysiksi. Yksi välitön sovellus on analyysin peruskäsitteiden kuten derivaatan ja integraalin määrittely jollakin tapaa yksinkertaisemmin. Täten f(x):n derivaatta tulee muotoon f'(x) = {\rm st}\left( \frac{f(x+\Delta x)-f(x)}{\Delta x} \right) infinitesimaalille \Delta x, missä st( ) merkitsee funktion standardiosaa, joka liittää jokaiseen äärelliseen hyperreaalilukuun yksikäsitteisen äärettömän lähellä olevan reaaliluvun. Integraali määritellään vastaavasti sopivan äärettömän summan standardiosana.

## Historiallinen johdanto hyperreaalilukuihin
Differentiaali- ja integraalilaskentaa eli infinitesimaalilaskentaa enteilivät jo Arkhimedeen (noin 250 eaa.) käyttämät menetelmät (esimerkiksi tyhjennysmenetelmä) antiikin Kreikan aikana. Infinitesimaalin idealla, mutta myös epäilyllä infinitesimaaleihin liittyvien argumenttien luotettavuudesta, on pitkä historia alkaen jo antiikin Kreikan matemaatikoista. Infinitesimaalin tunsi jo Arkhimedes, mutta infinitesimaalin käsite oli hänen mielestään siinä määrin epätyydyttävä, että hän korvasi infinitesimaalin käytön matemaattisissa todistuksissa muilla menetelmillä kuten ekshaustio- eli tyhjennysmenetelmällä, jolla voidaan muodostaa täsmällisiä todistuksia ja määrittää pinta-aloja ja tilavuuksia tarvitsematta mennä varsinaisesti infinitesimaaleihin, raja-arvoihin tai muihin äärettömyyttä käyttäviin prosesseihin.

Historiallisesti differentiaali- ja integraalilaskennan katsotaan kehittäneen Gottfried Leibniz ja Isaac Newton toisistaan riippumatta 1600-luvun lopulla. Molempien käyttämät päättelyt perustuivat infintesimaalin käsitteeseen, joka esiteltiin suuruutena, joka on pienempi kuin mikä tahansa positiivinen luku olematta silti nolla. Funktion f(x) derivaatta määriteltiin tuolloin seuraavasti:
f'(x)=\frac{f(x+dx)-f(x)}{dx}. (*)

Isaac Newton puhui derivaatan eli hänen terminologiansa mukaan fluksionin ideasta lopullisena yhteytenä häviävien osien välillä. Infinitesimaali oli kuitenkin käsitteenä epäselvä eikä sitä ei ollut määritelty täsmällisesti, minkä vuoksi eri matemaatikot ymmärsivät infinitesimaalin käsitteen eri tavoin.

Tästä huolimatta markiisi Guillaume de l’Hôpital otti infinitesimaalin kuitenkin täyteen käyttöön ja julkaisi ensimmäisen infinitesimaalilaskennan oppikirjan. 

Infinitesimaalin käsitteen epätäsmällisyyteen kohdistettiin kuitenkin kritiikkiä, ja se huipentui piispa George Berkeleyn kritiikkiin, jonka hän esitti kirjansa The Analyst (1734) loppusanoissa:
"And what are these Fluxions? The Velocities of evanescent Increments? And what are these same evanescent Increments? They are neither finite Quantities nor Quantities infinitely small, nor yet nothing. May we not call them the Ghosts of departed Quantities?" eli suomeksi
"Ja mitä ovat nämä fluksiot? Kadonneiden lisäysten nopeuksia? Ja mitä ovat nämä samat kadonneet lisäykset?
Ne eivät ole äärellisiä kvantiteetteja, eivät äärettömän pieniä kvantiteetteja, eivät vielä mitään.
Eikö meidän pitäisi kutsua niitä menneiden kvantiteettien haamuiksi?".
Berkeleyn mielestä sama kritiikki, joka kohdistetaan teologeihin, jotka pohdiskelevat epätäsmällisiä ja määrittelemättömiä asioita kuten enkeleitä tulisi kohdistaa infinitesimaalin takia myös matemaatikoihin, joiden pitäisi edustaa eksaktia tiedettä. Piispa Berkeley ja infinitesimaalin epätäsmällisyyden vastustajat olivat oikeassa eli infinitesimaalin käsitettä ei oltu hyvin määritelty ja siinä oli ristiriitoja. Otetaan näistä ristiriidoista esimerkiksi funktion f(x)=x^2 derivaatan laskeminen:
Käytetään derivaatan laskemiseksi Leibnizin ja Newtonin aikaista derivaatan määritelmää (*):

f'(x)=\frac{(x+dx)^2-x^2}{dx}=\frac{x^2+2xdx+(dx)^2-x^2}{dx}=2x+dx ja funktion f(x)=x^2 derivaatta on tunnetusti f'(x)=2x nykyaikaisten menetelmien pohjalta.

Eli siis 2x+dx=2x \Rightarrow dx=0, joka on ristiriita ( dx on infinitesimaali, joka on pienempi kuin mikä tahansa positiivinen luku, mutta ei ole nolla). Tämä tarkoittaisi sitä, että infinitesimaaleilla ei voitaisi laskea samalla tavoin kuin tavallisilla äärellisillä luvuilla.

Näiden ristiriitojen vuoksi infinitesimaalin käsitettä yritettiin määritellä täsmällisesti, jota yritti muun muassa A. L. Cauchy siinä onnistumatta. Mutta Cauchy kuitenkin väitti, että infinitesimaalin avulla voitaisiin todistaa, että jos (f_{n}) on jono jatkuvia funktioita sellaisia, että f_{n}(x) \to f(x), \text{ jos } n \to \infty kaikilla x niin silloin funktio f olisi jatkuva. Tämä ei kuitenkaan pitäisi paikkaansa, vaan todellisuudessa tulokseen vaadittaisiin, että (f_{n}) suppenee tasaisesti. Tämä sekaannus antaa aiheen ajatella, että infinitesimaaleja ei tarkkaan ottaen pitäisi käyttää ollenkaan.

Myöhemmin 1800-luvulla muun muassa Karl Weierstrass määritteli differentiaali- ja integraalilaskennan käsitteet kuten raja-arvo ja reaaliluku täsmällisesti. Kun raja-arvo oli määritelty täsmällisesti, derivaatta voitiin määritellä  sen avulla tarkasti käyttämättä infinitesimaaleja.

Tämän analyysin aritmetisoinniksi kutsutun historiallisen vaiheen myötä infinitesimaalin käsite poistuikin tarkasta teoreettisesta käytöstä turhana ja sekavana. Tästä huolimatta infinitesimaalia käytettiin kuitenkin tehokkaana ajattelun työvälineenä sen intuitiivisuuden vuoksi esimerkiksi hahmotettaessa mielessä miten koulusta tuttu pyörähdyskappale lasketaan. Tällaiseen tarkoitukseen infinitesimaalin käsite oli sopiva, joten mitä väliä vaikka se oli epätäsmällinen. Ankaran täsmälliseen teoreettiseen käyttöön se ei kuitenkaan enää kelvannut, vaan infinitesimaalien käytön oli korvannut raja-arvon täsmällinen \epsilon-\delta-määritelmä.

Infinitesimaali teki kuitenkin paluun täsmälliseen matematiikkaan 1960-luvulla, jolloin Abraham Robinson julkaisi kirjansa Non-standard analysis, jossa hän osoitti, että infinitesimaali voitiin sittenkin määritellä täsmällisesti ja on olemassa tavallisten eli standardien äärellisten reaalilukujen laajennus, jossa on äärettömän pieniä lukuja eli infinitesimaaleja ja äärettömän suuria lukuja ja tämä reaalilukujen laajennus noudattaa lisäksi tavallisia reaalilukujen laskulakeja. Aksiomatisoimalla infinitesimaalit Robinson antoi oikeutuksen niiden täysimittaiselle käytölle matematiikassa ja toteutti samalla Leibnizin vanhan idean. Robinsonin määrittelemä infinitesimaali oli sopusoinnussa myös Karl Weierstrassin raja-arvon \epsilon-\delta-määritelmän kanssa. Tätä Robinsonin konstruoimaa reaalilukujen joukon laajennusta kutsutaan hyperreaalilukujen joukoksi.

## Hyperreaalilukujen konstruointi
Hyperreaalilukujen käsittely voitaisiin aloittaa melko suoraan pitämällä reaalilukujen ominaisuudet tunnettuina reaalilukujen aksioomien pohjalta, koska hyperreaaliluvut muodostavat reaalisesti suljetun kunnan eli sen ominaisuudet periytyvät reaaliluvuilta itseltään. Mutta hyperreaaliluvut voidaan myös konstruoida luonnollisista luvuista alkaen. Luonnollisista luvuista lähtien tehdyn konstruktion etuja ovat ainakin ne, että saadaan parempi kuva siitä, mitä hyperreaaliluvut oikeastaan täsmällisesti ottaen ovat ja nähdään hyperreaalilukujen konstruointi luonnollisista luvuista lähtevän laajentumisprosessin yhtenä vaiheena, joka on jollakin tavoin analoginen aikaisempien laajentumisvaiheiden kanssa. 

Luonnollisten lukujen joukkoa voidaan laajentaa ottamalla lähtökohdaksi vaikkapa yhtälön ratkaisun. Yhtälö a+x=b ei ratkea aina luonnollisten lukujen \N=\{0,1,2,...\} joukossa, vaan se täytyy laajentaa kokonaislukujen joukoksi \Z=\{...,-2,-1,0,1,2,...\}, jossa yhtälö ratkeaa aina. Ja edelleen yhtälö ax=b ei ratkea aina kokonaislukujen joukossa, vaan se on laajennettava rationaalilukujen \Q=\{\frac{a}{b}|a, b \in \Z, b \neq 0\} joukoksi. Konstruktiot voidaan tehdä tarkasti ekvivalenssirelaation avulla, mutta yksityiskohdat sivuutetaan. 

Esitetään seuraavaksi hyperreaalilukujen käsittelyssä tarvittavat tärkeät käsitteet ja tulokset:
::Kunta
::Järjestetty kunta
::Järjestetty kunta \mathbb{K} täyttää Arkhimedeen ehdon, jos kaikkia x,y \in \mathbb{K}, missä x>0 \text{ ja } y>0, kohti on olemassa sellainen n \in \N \text{, että } nx \ge y.
::Cauchy-jono
::Järjestetty kunta \mathbb{K} on Cauchy-täydellinen, joss jokainen Cauchyn jono \mathbb{K}:ssa suppenee.
::Järjestetty kunta \mathbb{K} on Dedekind-täydellinen, joss se on Cauchy-täydellinen ja Arkhimedeen ehto on voimassa.
::Voidaan osoittaa, että on olemassa isomorfiaa vaille tarkalleen yksi Dedekind-täydellinen järjestetty kunta eli kaikki tällaiset kunnat ovat keskenään isomorfisia eli matemaatikon silmissä oleellisesti täysin samanlaisia.

Konstruoidaan seuraavaksi Cantorin menetelmällä Dedekind-täydellinen Arkhimedeen ehdon täyttämä järjestetty reaalilukujen kunta rationaaliluvuista \Q.
Merkitään C:llä rationaalilukujen Cauchyn jonojen joukkoa. Jos jonot (x_{n}), (y_{n}) \in C \text{ ja } \lim_{n \to \infty} (x_{n}-y_{n})=0, niin silloin sanotaan, että ne ovat ekvivalentit ja merkitään x_{n} \sim  y_{n}. Voidaan tarkistaa välittömästi, että kyseessä on ekvivalenssirelaatio.

Määritellään, että reaaliluvut ovat rationaalilukujen Cauchy-jonojen ekvivalenssiluokkia edellä määritellyn ekvivalenssirelaation \sim suhteen eli siis \R =\{[(x_{n})]|(x_{n}) \in C \}, \text{ missä } [(x_{n})] \text{ jonon } (x_{n}) sisältävä ekvivalenssiluokka. Näille reaaliluvuiksi määritellyille ekvivalenssiluokille voidaan määritellä tutut reaalilukujen laskutoimitukset ja osoittaa, että ne ovat hyvinmääritellyt eli laskutoimituksen lopputulos ei riipu ekvivalenssiluokkien edustajien valinnasta.

Konstruktioprosessissa \N \rightarrow \Z \rightarrow \Q \rightarrow \R uusi laajempi rakenne on aina jollain tapaa "täydellisempi" kuin edellinen: \N:ssä ei onnistu aina vähennyslasku, mutta \Z:ssa onnistuu; \Z:ssa taas jakolasku on ongelmallinen, mikä taas korjaantuu \Q:ssa; \Q taas ei ole Cauchy-täydellinen, mutta \R on. Mutta sitten herää vielä kysymys, että onko mahdollista \R:n olevan Dedekind-täydellisyydestään huolimatta vielä jotenkin "epätäydellinen"? Sellaiseksi puutteeksi voitaisiin lukea vaikkapa se, että \R:ssä ei ole olemassa pienintä positiivista reaalilukua. Tätä voidaan yrittää ratkaista niin, että lisätään \R:ään uusia infinitesimaalisisa alkiota, jotka ovat pienempiä kuin mikä tahansa reaaliluku.

Konstruoidaan siis seuraavaksi hyperreaaliluvut reaaliluvuista käsin. Tavoitteena on määritellä hyperreaaliluvut reaalilukujen ekvivalenssiluokkina eli samalla periaatteella, millä aiemmatkin lukukonstruktiot on tehty. Olkoon siis (x_{n}) ääretön jono reaalilukuja. Tätä varten vaaditaan, että jokaisella reaaliluvulla a>0 joukko \{n \in \N |x_n on riittävän suuri. On osoittautunut, että joukko on riittävän suuri, jos se kuuluu riittävän suurien joukkojen kokoelmaan nimeltä filtteri F:
::1)F \neq \{\} \text{ ja } \{\} \notin F
::2)Jos A \in F \text{ ja } B \in F, \text{ niin } A \cap B \in F
::3)Jos A \in F \text{ ja } A \subset B \subset \N, \text{ niin } B \in F.
Lisäksi, jos pätee ehto
::4)Aina, kun A \subset \N, niin on A \in F tai \N \backslash A \in F,
niin silloin F on ultrafiltteri.
::Sanotaan, että reaalilukujonot (x_{n}) ja (y_{n}) ovat ekvivalentit, jos \{n \in \N |x_{n}=y_{n}\} \in F. Merkitään tällöin (x_{n})=_{F}(y_{n}). Voidaan taas todistaa, että =_{F} on ekvivalenssirelaatio ja ekvivalenssiluokkien välille voidaan asettaa hyvinmääritellyt laskutoimitukset.

Muita tärkeitä käsitteitä tässä yhteydessä ovat:
::Osittainen järjestys
::Järjestys
::Valinta-aksiooma
::Zornin lemma.

Seuraavaksi voidaankin jo esittää hyperreaalilukujen konstruktio ultrapotenssimenetelmällä:
::Määritellään, että (x_{n}) on ekvivalentti (y_{n}):n kanssa, merkitään (x_{n})=_{F}(y_{n}), jos \{n \in \N |x_{n}=y_{n}\} \in F. Kullekin (x_{n}) \in \R_{\N} merkitään [(x_{n})]=\{(y_{n}) \in \R_{\N}|(y_{n})=_{F}(x_{n})\} ja lisäksi *\R=\R_{\N} \backslash F=\{[(x_{n})]|(x_{n}) \in \R_{\N}\}. Joukon *\R alkiot ovat hyperreaalilukuja. Kyseiselle joukon ekvivalenssiluokille voidaan asettaa hyvinmääritellyt laskutoimitukset.

## Hyperreaalilukuihin liittyviä käsitteitä
Jokaista reaalilukua x \in \R vastaa hyperreaalilukujen joukossa oleva ekvivalenssiluokka *x=[(x,x,x,...)] \in *\R. Muotoa 
*x olevaa hyperreaalilukua sanotaan standardiksi hyperreaaliluvuksi. Hyperreaaliluvut, jotka eivät ole standardeja ovat epästandardeja hyperreaalilukuja eli siis kaikki joukon *\R \backslash \{*x=[(x,x,x,...)]|x \in \R\} alkiot. 
Epästandardit hyperreaaliluvut ovat siis niitä varsinaisia hyperreaalilukuja, jotka sisältävät jollain tavalla äärettömyyden. Ne voivat olla joko äärettömiä, äärellisiä tai infinitesimaalisia:
::1) Hyperreaaliluku a \in \R on ääretön, jos |a|>x \text{ }\forall x \in \R , x>0.
::2) Hyperreaaliluku b \in \R on äärellinen, jos \exist \text{ } x \in \R, x>0 : |b|.
::3) Hyperreaaliluku c \in \R on infinitesimaalinen, jos |c|0.

Tässä esityksessä jokainen reaaliluku x on samastettu vastaavalla standardin hyperreaaliluvun *x=[(x,x,x,...)] kanssa, joka on vakiojonon (x,x,x,...) ekvivalenssiluokka. Tällaisella luonnollisella samaistuksella \R on *\R :n alikunta.

Hyperreaaliluvut x ja y ovat äärettömän eli infinitesimaalisen lähellä toisiaan, jos erotus x-y on infinitesimaali. Tällöin voidaan merkitä x \approx y. On myös voimassa lause, joka vaikuttaa intuitiivisesti olevan tosi ilman sen täsmällistä todistamista:
Jos x on äärellinen hyperreaaliluku, on olemassa yksikäsitteinen reaaliluku r, \text{ jolle } r \approx x. Tämän jälkeen voidaan määritellä:
::1) Reaaliluku r, \text{ jolle } r \approx x, on äärellisen hyperreaaliluvun x standardiosa. Merkitään r=st(x).
::2) Jos r \in *\R, kaikkien niiden hyperreaalilukujen x joukkoa, joille x \approx r, kutsutaan r:n monadiksi. Nimitys on itse asiassa peräisin Leibnizin filosofiasta. Merkitään monad(r).
::3) Jos r \in *\R, kaikkien niiden hyperreaalilukujen x joukkoa, joille x-r on äärellinen, kutsutaan r:n galaksiksi. Merkitään galaxy(r).

## Hyperreaalilukujen ominaisuuksia
Hyperreaalilukujen *\R äärelliset alkiot F muodostavat renkaan ja sen yksikäsitteinen maksimaalinen ihanne S koostuu *\R:n infinitesimaaleista; osamäärärengas F / S on isomorfinen reaalilukujen kanssa. Tästä saadaan homomorfismi st(x):F \rightarrow \R, jonka ydin koostuu infinitesimaaleista ja joka kuvaa jokaisen F:n alkion x yksikäsitteiseksi reaaliluvuksi r, joka eroaa x:stä infinitesimaalisen vähän ja tämä infinitesimaalinen erotus on ihanteessa S. Toisin sanoen jokainen äärellinen epästandardi hyperreaaliluku on äärimmäisen lähellä jotain yksikäsitteistä reaalilukua; tarkemmin jos x on äärellinen epästandardi hyperreaaliluku, niin on olemassa yksikäsitteinen reaaliluku st(x) sellainen, että x-st(x) on infinitesimaali. Reaaliluku st(x) on x:n standardiosa eli intuitiivisesti sama kuin hyperreaaliluvun x lähin reaaliluku lukusuoralla. Homomorfismi on järjestyksen säilyttävä ja käyttäytyy hyvin algebrallisesti ja järjestysteoreettisesti.

* Jos x \text{ ja } y ovat äärellisiä,
:: \operatorname{st}(x + y) = \operatorname{st}(x) + \operatorname{st}(y)  
::  \operatorname{st}(x y) = \operatorname{st}(x)  \operatorname{st}(y)  
*  Jos x on äärellinen ja ei infinitesimaali.
::  \operatorname{st}(1/x)  = 1 /  \operatorname{st}(x)  
* x on reaalinen joss
::  \operatorname{st}(x) = x 

## [[Siirtoperiaate]]

Hyperreaalilukujen järjestelmän ideana on laajentaa reaaliluvut \R järjestelmäksi *\R, johon kuuluvat infinitesimaaliset ja äärettömät luvut ja jossa kaikki algebran aksioomat olisivat voimassa. Eli siis mikä tahansa väite muodossa "jokaiselle luvulle x...", joka on tosi reaaliluvuille, olisi tosi myös hyperreaaliluvuille. Esimerkiksi aksioomaa, joka sanoo, että "jokaiselle luvulle x, x+0=x" voitaisiin yhä soveltaa. Sama olisi tosi useamman luvun kvantifioinneille, esim., "jokaiselle luvulle x \text { ja } y, xy=yx." Tätä ominaisuutta kuljettaa väitteet reaaliluvuilta hyperreaaliluvuille kutsutaan siirtoperiaatteeksi. Kuitenkin väitteet muodossa "jokaiselle lukujen joukolle S ..." eivät siirry. Ainoat eroavat ominaisuudet hyperreaalilukujen ja reaalilukujen välillä ovat ne, jotka pohjautuvat joukkojen yli kvantifiointiin tai muuhun korkeampaan rakenteeseen kuten funktioihin ja relaatioihin, jotka tyypillisesti konstruoidaan joukkojen avulla. Jokaisella reaalisella joukolla, funktiolla ja relaatiolla on luonnollinen hyperreaalinen laajennuksensa, joka täyttää samat ominaisuudet. 

Siirtoperiaate ei kuitenkaan tarkoita, että \R and *\R käyttäytyisivät täysin samanlaisesti. Esimerkiksi, *\R:ssä on olemassa sellainen olio \omega; , että

:  1, mutta sellaista lukua ei ole \R:ssä. 

## Käyttö analyysissä
Merkinnät ei-reaalisille kvantiteeteille ilmestyivät analyysin historiassa kahdessa kontekstissa: infinitesimaaleina kuten dx ja symbolina \infty, käytettynä esimerkiksi epäoleellisten integraalien integrointirajoina.

Esimerkkinä siirtoperiaatteesta: väite, että jokaiselle nollasta eroavalle luvulle x, 2x \neq x, joka on tosi jokaiselle reaaliluvulle ja joka on siirtoperiaatteen vaatimassa muodossa on tosi myös hyperreaaliluvuille. Tämä osoittaa, ettei ole mahdollista käyttää sellaista geneeristä eli yleisluontoista symbolia kuten \infty kaikille hyperreaalisille kvantiteeteille hyperreaalisessa järjestelmässä; äärettömät kvantiteetit eroavat suuruudeltaan muista äärettömistä kvantiteeteista ja infinitesimaalit muista infinitesimaaleista.

Vastaavasti sopimuksen \frac{1}{0}=\infty käyttö on epävalidia, koska siirtoperiaatteessa nollalla jakamista ei ole määritelty. Tarkka vastine tällaiselle laskelmalle olisi, että jos \epsilon on infinitesimaali sitten \frac{1}{\epsilon} on ääretön.

Jokaiselle äärelliselle hyperreaaliluvulle x määriteltiin sen standardiosa st(x) yksikäsitteisenä reaalilukuna, joka eroaa x:stä ainoastaan infinitesimaalisesti. Funktion y(x) derivaattaa ei määritellä tavalliseen tapaan muodossa dy/dx vaan dy/dx:n standardiosana.

Etsitään esimerkiksi funktion f(x)=x^2 derivaatta f'(x). Olkoon dx infinitesimaali. Sitten

:

Standardiosan käyttö derivaatan määritelmänä on tarkka vaihtoehto perinteiselle infinitesimaalin neliön laiminlyömiselle. Yllä olevan differentioinnin kolmannen rivin jälkeen, tyypillinen metodi  Newtonista läpi 19:n vuosisadan on yksinkertaisesti hylätä (dx)^2 termi. Hyperreaalisessa järjestelmässä (dx)^2 \neq 0, koska dx on nollasta eroava ja siirtoperiaatetta voidaan soveltaa väitteeseen, että minkä tahansa nollasta eroavan luvun neliö on nollasta eroava. Kuitenkin infinitesimaali (dx)^2 on äärettömän pieni verrattuna toiseen infinitesimaaliin dx; tämä tarkoittaa, että hyperreaalinen järjestelmä sisältää infinitesimaalisten kvantiteettien hierarkian.

## Lähteet
* http://en.wikipedia.org/wiki/Hyperreal_number
* Hyperreaaliluvut, luentomoniste, Turun yliopisto
* 

## Kirjallisuutta
*