Infinitesimaali

Infinitesimaali tarkoittaa niin pientä suuretta, ettei sitä käytännössä tai edes periaatteessa voida mitata. Termi on muodostettu lisäämällä latinan äärettömyyttä tarkoittavaan sanaan latinalainen järjestyslukuja tarkoittava johdin, siis ikään kuin "äärettömäsosa." Arkikielessä infinitesimaalisella voidaan tarkoittaa merkityksettömän pientä asiaa.
Matematiikassa infinitesimaalin käsite liittyy analyysin eli lähinnä differentiaali- ja integraalilaskennan varhaisimpiin, mutta myös eräisiin moderneihin muotoiluihin. Ennen 1800-lukua näiden matematiikan haarojen käsitteiden määritelmät olivat epätyydyttäviä, mutta niiden avulla voitiin silti saada oleellisesti oikeita tuloksia. Käsitettä käyttivät Gottfried Leibniz, Isaac Newton, Leonhard Euler ja monet muut matemaatikot.
Historia.
Ensimmäisenä infinitesimaalin käsitettä käytti Arkhimedes noin 250 eaa. Monien hänen käyttämiensä menetelmien voidaan jo katsoa ennakoineen integraalilaskentaa. Myös Intiassa useat matemaatikot kuten Bhāskara II käyttivät vastaavanlaisia menetelmiä jo 1100-luvulta lähtien.
Kun Leibniz ja Newton toisistaan riippumatta 1600-luvun lopulla kehittivät differentiaali- ja integraalilaskennan, heidän käyttämänsä päätelmät perustuivat oleellisesti infinitesimaaleihin. Tyypillinen todistus saattoi kuulua seuraavasti:
On määriteltävä funktion "f"("x") = "x"2 derivaatta "f′"("x"). Olkoon d"x" infinitesimaali. Sen aikaisen määritelmän mukaan derivaatta oli:
Näin ollen funktion "f"("x") = "x"2 derivaatta oli
koska d"x" on infinitesimaalisen pieni.
Vaikka tämä todistelu oli intuitiivisesti uskottava ja johti oikeaan tulokseen, se ei ollut loogisesti aukoton. Varsinkin filosofit kuten George Berkeley esittivät siihen painavia vastaväitteitä Varsinainen ongelma on siinä, että infinitesimaalia d"x" käsitellään ensin nollasta poikkeavana, niin että se voi olla jakajanakin, mutta sen jälkeen se kuitenkin poistetaan laskuista ikään kuin se olisi nolla.
Infinitesimaali määriteltiin intuitiivisesti nollasta poikkeavaksi luvuksi, jonka itseisarvo on pienempi kuin mikä tahansa muu positiivinen luku. Tarkkaan ottaen tästä seurasi kuitenkin, ettei sellaisia lukuja ole. Jos "h" on infinitesimaali, voidaanko se edelleen jakaa kahdella? Ellei voida, onko se yhä luku? Lisäksi voitaisiin olettaa, että infinitesimaalin käänteisluvun tulisi olla ääretön.
Useimmat aikakauden matemaatikot ja varsinkin fyysikot jättivät nämä vastaväitteet kuitenkin vähälle huomiolle. Näistä loogisista heikkouksista huolimatta infinitesimaalin käsitteeseen perustunutta analyysiä voitiin kuitenkin erittäin menestyksellisesti soveltaa monilla aloilla, erityisesti fysiikassa ja taivaanmekaniikassa.
Vasta 1800-luvulla Karl Weierstrass määritteli differentiaali- ja integraalilaskennan käsitteet uudelleen niin, ettei infinitesimaaleja tarvittu. Täten ne saatiin vihdoin loogisesti pätevälle pohjalle. Keskeisin käsite, jota tällöin tarvittiin, oli raja-arvo. Määritelmän mukaan reaaliarvoisella reaalimuuttujan funktiolla formula_1 on raja-arvo formula_2 pisteessä formula_3, jos jokaista positiivista lukua formula_4 kohti, olipa se kuinka pieni tahansa, on olemassa positiivinen luku formula_5 siten, että
formula_6, aina kun formula_7
Tälle raja-arvolle käytetään merkintää
formula_8 (luetaan "formula_9:n raja-arvo, kun formula_10 lähestyy formula_3:tä, on formula_2")
Tämän avulla funktion "f"("x") = "x"2 derivaatta "f′"("x") määriteltiin aikaisemmasta poiketen seuraavasti:
formula_13
Myös tämän määritelmän avulla voidaan osoittaa, että esimerkiksi funktion "x"2 derivaatta on "f′"("x") = 2 "x".
Kun Weierstrassin määritelmät tulivat tunnetuiksi, infinitesimaalin käsitettä pidettiin matematiikassa pitkät ajat täysin tarpeettomana ja vanhentuneena. Vuonna 1960 Abraham Robinson kuitenkin osoitti, että on määriteltävissä reaalilukujen joukkoa laajempikin lukualue, hyper­reaali­luvut, jossa on myös infinitesimaalisia lukuja. Tässä lukualueessa määritellään, että luku "x" on infinitesimaalinen, jos se on pienempi kuin minkä tahansa positiivisen kokonaisluvun käänteisluku, mistä kuitenkaan ei seuraa, että se on tasan 0. Tähän lukualueeseen perustuu hänen kehittämänsä epästandardi analyysi jonka avulla derivaatalle ja monille muille käsitteille voidaan esittää vaihtoehtoiset ja täysin täsmälliset määritelmät.