Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.8
| [kontrolita revizio] | [kontrolita revizio] |
→Konstruo per ultrapotencoj: Korektis termino-uzon |
Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.8 |
||
Linio 124:
Ĉiuj aritmetikaj esprimoj kaj furmuloj havas sencon por hiperreeloj kaj veras se ili estas veraj por la reeloj. Oni povas pruvi ke ĉiu ajn finia (t.e. tia, ke <math>|x| < a\quad</math> por iu reela <math>a\quad</math>) hiperreelo <math>x\quad</math> havos formon <math>y+d\quad</math> kie <math>y\quad</math> estas norma (iam nomata "standarda") reelo kaj <math>d\quad</math> estas infinitezimo.
Tio ĉi estas paralela al pruvo de [[teoremo de Bolzano–Weierstrass]], kiu asertas, ke oni povas elekti konverĝan subvicon el ĉiu limigita vico per dusekcio<ref>{{Citaĵo el la reto |url=http://www.gap-system.org/~john/analysis/Lectures/L9.html |titolo=Arkivita kopio |alirdato=2010-01-02 |arkivurl=https://web.archive.org/web/20090109133942/http://www.gap-system.org/~john/analysis/Lectures/L9.html |arkivdato=2009-01-09 }}</ref>. La eco (1) de la hiperreeloj estas ree nepra.
Nun oni povas vidi, ke se <math>f\quad</math> estas kontinua, tio signifas ke <math>f(a)-f(x)\quad</math> estas nefinia malgranda kiam tia estas <math>x-a\quad</math>, kaj se <math>f\quad</math> estas diferencialebla, tio signifas ke
| |||