@orange_in_space 具体的には超有理数のうち有限なものを、無限小の差異を同一視することで実数が得られます。
で、これはじゃあ一体何をしているのかというと、多分「収束途中の動き方」という情報を削ぎ落としているのだと解釈すればいいのではないかと思います。上から収束するのと下から収束するのは無限小としては異なるものですが、収束値としては同じものです。
@orange_in_space 多分この違いについて考えるには超有理数を導入するのがよさそうですね。移行原理は一般の一階の理論に使えるので、実数だけではなく有理数についても同じような構成を考えることができます。
すると、これはCauchy列風の実数の構成との対応関係があることが知られています。
https://math.stackexchange.com/questions/2626149/applying-ultrapower-construction-to-the-field-mathbb-q-of-rationals
@orange_in_space Cauchy列による実数の構成と超冪による超実数の構成の混同っぽい話に聞こえますね。確かに両者の構成は似ているので、この違いに着目すればうまく直感的な説明を導けるかも
この前のこれも結構衝撃だった><
https://mstdn.nere9.help/@orange_in_space/111170899838507200
https://mastodon.cardina1.red/@lo48576/111170926423549941
https://mastodon.cardina1.red/@lo48576/111170954926377005
https://mastodon.cardina1.red/@lo48576/111170957532595990
https://mstdn.nere9.help/@orange_in_space/111170963954643860