Végtelenül kicsi – nullára hajló numerikus függvény vagy sorozat (amelynek határértéke egyenlő) nullával .
Végtelenül nagy - egy numerikus függvény vagy sorozat, amely egy bizonyos előjel végtelenségére irányul (amelynek a határa) .
A nem szabványos elemzésben az infinitezimálisokat és az infinitezimálisokat nem sorozatokként vagy változókként definiálják, hanem speciális számfajtákként.
Infinitezimális számítás - végtelenül kicsi mennyiségekkel végzett számítások, amelyekben a származtatott eredményt a végtelen kicsinyek végtelen összegének tekintjük . Az infinitezimálisok számítása a differenciál- és integrálszámítás általános fogalma, amelyek a modern felsőbb matematika alapját képezik . Az infinitezimális mennyiség fogalma szorosan összefügg a határ fogalmával.
Egy sorozatot infinitezimálisnak nevezünk, ha . Például egy számsorozat végtelenül kicsi.
Egy függvényt infinitezimálisnak nevezünk egy pont szomszédságában, ha .
Egy függvényről azt mondjuk , hogy a végtelenben infinitezimális, ha valamelyik .
Szintén végtelenül kicsi az a függvény, amely a függvény és a határértéke közötti különbség, vagyis ha , akkor , .
Hangsúlyozzuk, hogy az infinitezimális értéket olyan változó értékként (függvényként) kell érteni , amely csak a változása során [ a (tól )-ra való törekvés során ] lesz kisebb egy tetszőleges számnál ( ). Ezért például egy olyan állítás, mint "egy milliomod végtelenül kicsi érték", nem igaz: nincs értelme azt mondani egy számról [abszolút értékről], hogy az végtelenül kicsi. [egy]
Az összes alábbi képletben az egyenlőségtől jobbra lévő végtelenség egy bizonyos jelet jelent ("plusz" vagy "mínusz"). Azaz például egy mindkét oldalon korlátlan függvény nem végtelenül nagy -ra .
Egy sorozatot végtelenül nagynak nevezünk, ha .
Egy függvényt végtelenül nagynak mondunk a pont szomszédságában, ha .
A függvényről azt mondjuk , hogy a végtelenben végtelenül nagy, ha valamelyik .
A végtelen kicsinyekhez hasonlóan itt is meg kell jegyezni, hogy a végtelenül nagy mennyiség egyetlen értéke sem nevezhető "végtelenül nagynak" - a végtelenül nagy mennyiség olyan függvény , amely csak a tetszőlegesen felvett számnál nagyobbá válhat . változás .
Tegyük fel, hogy ugyanarra az értékre infinitezimális és (vagy, ami a definíció szempontjából nem fontos) infinitezimális sorozatunk van.
Az ilyen határértékek kiszámításához célszerű a L'Hospital szabályát használni .
Ha , akkor végtelenül kicsi vagy végtelenül nagy mennyiségeket , és ekvivalensnek nevezzük (jelölése ).
Nyilvánvaló, hogy az ekvivalens mennyiségek a végtelenül kicsi (végtelenül nagy) azonos kicsinységi nagyságrendű mennyiségek speciális esetei.
-ra a következő ekvivalencia viszonyok érvényesek (az úgynevezett figyelemre méltó határok következtében ):
Két végtelenül kicsi vagy végtelenül nagy mennyiség hányadosának (arányának) határa nem változik, ha az egyiket (vagy mindkettőt) egy ekvivalens értékre cseréljük .
Ennek a tételnek gyakorlati jelentősége van a határok megtalálásában (lásd a példát).
A "végtelenül kicsi" fogalmát az ókorban az oszthatatlan atomok fogalmával kapcsolatban tárgyalták, de nem került be a klasszikus matematikába. A 16. századi „oszthatatlanok módszerének” megjelenésével – a vizsgált figura végtelen kis részekre bontásával – újjáéledt .
Az infinitezimális kalkulus algebraizálása a XVII. Ezeket olyan számértékekként kezdték meghatározni, amelyek kisebbek bármely véges (pozitív) értéknél, és mégsem egyenlők nullával. Az elemzés művészete az infinitezimálisokat ( differenciálokat ) tartalmazó reláció felállításából , majd annak integrálásából állt .
Az infinitezimál fogalmát erősen kritizálták a régi iskola matematikusai . Michel Rolle azt írta, hogy az új kalkulus „ zseniális hibák halmaza ”; Voltaire mérgezően rámutatott, hogy ez a számítás az olyan dolgok kiszámításának és pontos mérésének művészete, amelyek létezését nem lehet bizonyítani. Még Huygens is elismerte, hogy nem értette a magasabb rendű különbségek jelentését .
A Párizsi Tudományos Akadémia vitái az elemzés igazolásának kérdéseiről olyan botrányossá váltak, hogy az Akadémia egyszer megtiltotta tagjainak, hogy ebben a témában egyáltalán felszólaljanak (ez főleg Rolle és Varignon volt). 1706-ban Rolle nyilvánosan visszavonta kifogásait, de a megbeszélések tovább folytatódtak.
1734-ben a híres angol filozófus, George Berkeley püspök kiadott egy szenzációs röpiratot, amelyet "Az elemző " rövidített címen ismertek . A teljes címe: " Analitikus vagy okoskodás egy hitetlen matematikushoz, ahol azt vizsgálják, hogy a modern elemzés tárgya, alapelvei és következtetései tisztábban érzékelhetők-e vagy világosabban levezethetők-e, mint a vallási szentségek és hittételek ." Az Elemző szellemes és sok tekintetben méltányos kritikát fogalmazott meg az infinitezimális számítással kapcsolatban. Berkeley a logikával összeegyeztethetetlennek tartotta az elemzési módszert, és azt írta, hogy „ bármennyire is hasznos, csak egyfajta sejtésnek tekinthető; ügyesség, művészet, vagy inkább trükk, de nem tudományos bizonyítási módszerként .” Idézve Newton mondatát az aktuális mennyiségek növekedéséről „születésük vagy eltűnésük legelején”, Berkeley ironikusan: „ ezek nem véges mennyiségek, nem végtelenül kicsik, de még csak semmi sem. Nem nevezhetnénk őket holt nagyságrendű fantomoknak?.. És hogyan beszélhetnénk olyan dolgok közötti kapcsolatról, amelyeknek nincs nagysága?.. Aki meg tudja emészteni a második vagy harmadik fluxust [származékot], a második vagy harmadik különbséget, az ne , ahogy számomra úgy tűnik, hogy bármiben hibát találjak a teológiában .
Lehetetlen – írja Berkeley – elképzelni a pillanatnyi sebességet, vagyis a sebességet egy adott pillanatban és egy adott pontban, mert a mozgás fogalmába beletartoznak a (véges, nem nulla) tér és idő fogalmai.
Hogyan éri el az elemzés a megfelelő eredményt? Berkeley arra a következtetésre jutott, hogy ennek oka a kölcsönös kompenzáció analitikai következtetéseinek számos hibája, és ezt egy parabola példájával illusztrálta. Ironikus módon néhány jelentős matematikus (például Lagrange ) egyetértett vele.
Volt egy paradox helyzet, amikor a matematikában a szigor és a termékenység zavarta egymást. A rosszul definiált fogalmakkal járó jogellenes cselekmények ellenére a közvetlen hibák száma meglepően csekély volt – az intuíció segített. Ennek ellenére a 18. század folyamán a matematikai elemzés gyorsan fejlődött, lényegében nem volt indokolt. Hatékonysága elképesztő volt, és önmagáért beszélt, de a differenciálmű jelentése még mindig homályos volt. Különösen gyakran keverték össze egy függvény infinitezimális növekményét és annak lineáris részét.
A 18. század során óriási erőfeszítéseket tettek a helyzet korrigálása érdekében, amelyekben a század legjobb matematikusai is részt vettek, de az elemzés alapjait csak Cauchy tudta meggyőzően leépíteni a 19. század elején. Szigorúan meghatározta az alapfogalmakat - határ, konvergencia, folytonosság, differenciál stb., ami után a tényleges infinitezimálisok eltűntek a tudományból. Néhány fennmaradó finomságot később Weierstrass magyarázott el . Jelenleg a „végtelenül kicsi” kifejezés a matematikában az esetek túlnyomó többségében nem a számokhoz, hanem a függvényekhez és sorozatokhoz kapcsolódik .
A sors iróniájának tekinthető a 20. század közepén a nem szabványos elemzés megjelenése , amely bebizonyította, hogy az eredeti nézőpont - a tényleges infinitezimálisok - is konzisztens és az elemzés alapja lehet. A nem szabványos elemzés megjelenésével világossá vált, hogy a 18. századi matematikusok, akik a klasszikus elmélet szempontjából illegális cselekvéseket hajtottak végre, miért kaptak mégis helyes eredményeket.