< 1 >
在非标准分析中,标准部分函数是一个从有限的(有限的)超真实数到真实数的函数。
每一个有限的 x ∈ *R 都无限接近于一个唯一的实数 r ∈ R。唯一的实数 r ≈ x 被称为 x 的标准部分,你把它写成
r = st (x)
如果 x 是无限的,st (x) 是未定义的。
该函数首次由德裔美国数学家亚伯拉罕-罗宾逊(1918-1974)定义。
Deutsch English Español Français Nederlands Русский