>>92
超準解析は別の切り口だってだけの話。別にキミのかたを持つ理論じゃないよ。

>その定義だと、やっぱりlim[x→a]f(x)=bじゃなくてlim[x→a]f(x)>b(正確には<bの場合もあるけど)になるだろう。
>無限小にしろεにしろbからズレてるわけで。それを=としてしまうのはそれまで学んできた代数に矛盾してないか?

そのような直感で話してもらちが開かない。lim[x→a]f(x)=bの厳密な定義は

∀ε>0、∃δ>0 s.t. ∀x∈R、0<|x-a|<δ→|f(x)-b|<ε

だ。素朴で直感的な感想からの論議はいつまでたっても終了しない。厳密になるなら上の式で論議するしかない。