数学中国

用户名  找回密码
 注册
帖子
热搜: 活动 交友 discuz
查看: 924|回复: 0

超实数系统简介

[复制链接]
发表于 2024-12-21 23:59 | 显示全部楼层 |阅读模式
超实数系统简介

原创 围城里的猫 MathSpark 2024 年 10 月 27 日 18:00 陕西

数千年来,数学家们一直痴迷于无穷大和无穷小的概念——无穷小是一种非零量,但其量级小于任何已知的非零数。关于数的系统的争议最早出现在公元前 450 年左右,当时梅塔庞图姆的希帕索斯发现了根号 2 的存在,但从此再也没有出现过,许多人声称他被一群毕达哥拉斯哲学家扔下了船,因为他犯了某种数学异端邪说。通过研究单位正方形对角线的长度,希帕索斯提出了并非所有量都能用有理数表示的观点。

当然,随着数学接下来的两千年中在中东和欧洲的进一步发展,希帕索斯的想法得到了证实。到了 17 世纪,数学家们开始努力解决这样一个事实:一条线上的一组有理数点永远无法定义一条线,这也导致了关于“无穷小”的争论进入数学讨论。

然而,到了 19 世纪初,数学界对“无穷小”等定义不明确的概念越来越感到不舒服,因为它们为如此重要的领域(微积分)提供了基础。奥古斯丁-路易·柯西著名的(ε,δ) 语言消除了数学中对“无穷小”的疑虑,柯西通过引入以下条件将函数 y=f(x) 定义为在 x 点处连续:如果我们选取任何正量 ε ,无论多小,都总能找到另一个正量 δ ,使得当 |x - y|<δ 时,有 |f(x)-f(y)|<ε 。这实际上是一种正式的说法,表示你可以以越来越高的分辨率永远放大一条连续曲线,并且你永远不会发现该曲线有任何断点。



无穷小的终结?还没结束!欢迎来到超实数

很多人不把数学和创造力联系在一起,但恰恰相反,数学家们一直在寻找观察世界的新方式。20 世纪初,一些数学家开始寻找一种不依赖于柯西(ε,δ) 语言的实分析替代方法。这导致在新的数集的正式定义中重新引入了无穷小。1948 年,哈佛数学家 Edwin Hewitt 引入了超实数。超实数用 *R 表示,是形式为 r+ε 的数字,其中:

1. r 是有限实数(r∈R)或者无限大的数。

2. ε 要么是零,要么是无穷小。无穷小是其量级小于任何实数的非零数。



超实数是一个有意义的数集,它遵循有序域的所有性质,因此它们实际上是实数的域扩展,就像复数是实数域扩展一样。这是通过将非零无穷小的乘法逆元定义为无穷大的数来实现的(因此无穷小量的逆元是无穷大的量,这是直观的)。当然它会涉及到一些特殊的算术规则。例如:

1. 对于任何有限超实数 a ,总有一个唯一的实数 r 使得 a = r+ε(r 加一个无穷小量)。这个实数 r 称为 a 的标准部分,记为 st(a) 。

2. 对于任何两个无穷小,它们的和也是一个无穷小。

3. 有限超实数与无穷小量的乘积是无穷小量。

4. 任何非零无穷小量除以同一个非零无穷小量等于 1 。

超实数在某种程度上可以让我们更轻松地理解实数中可能存在问题的方面。例如,0.999999… = 1 这个命题经常被用作质疑数学的可靠性,可以写成 st( 0.9999999…) = 1 ,现在看起来不那么可疑了。

为了消除早期数学家的疑虑,可以证明超实数遵循转移原理。这是一条原理,即当语句涉及有限实数时,任何关于实数的真语句都会转移到超实数。因此,如果将以“对于 R 中的任何 x ”开头的语句表述为“对于 *R 中的任何 x ” ,则该语句也将为真。

非标准分析

亚伯拉罕·罗宾逊是加州大学洛杉矶分校的数学家,如今被誉为非标准分析之父。非标准分析是基于超实数的实分析方法的发展——基本上是柯西 (ε,δ) 方法的替代方法。罗宾逊能够证明,当且仅当实数在逻辑上一致时,超实数在逻辑上也是一致的。这消除了在我们普遍接受的数学公理系统中使用超实数的任何障碍。



如今,得益于罗宾逊等人的工作,我们基于超实数对连续性和导数等概念有了替代(非标准)定义。例如:

1. 如果对于 X 中的所有 x ,每当 x = st(a) 时,对于某个超实数 a ,有 f(x) = st(f*(a)) ,则函数 f 在实数子集 X 上连续,其中 f* 是 f 在超实数的自然扩展。

2. f 在点 x 处的导数定义为



这里 ε 是任何非 0 的无穷小。

使用非标准分析定义导数基本上允许我们在需要时避免使用极限语言。例如,以下是使用非标准微积分证明 x^2 的导数为 2x 的方法:



在现代数学中,非标准分析不仅提供了新的工具来理解无穷小,还丰富了我们对传统分析的视角。通过这种方法,我们能够以更直观、更具结构性的方式处理复杂的数学概念,使得许多传统上被视为艰深的推导和证明过程得以简化。同时,这种方法提醒我们,数学不仅是关于数和公式的学科,更是一种充满创造力的探索,始终在寻求新的表达方式来诠释无穷大与无穷小的奥秘。

正如数学家们所展示的那样,数学不仅限于解答已有的问题,更在于通过新的数系和分析方法拓展我们对世界的理解。

围城里的猫

本帖子中包含更多资源

您需要 登录 才可以下载或查看,没有帐号?注册

x
您需要登录后才可以回帖 登录 | 注册

本版积分规则

LaTEX预览输入 教程 符号库 加行内标签 加行间标签 
对应的 LaTEX 效果:

Archiver|手机版|小黑屋|数学中国 ( 京ICP备05040119号 )

GMT+8, 2025-7-6 12:00 , Processed in 0.094282 second(s), 17 queries .

Powered by Discuz! X3.4

Copyright © 2001-2020, Tencent Cloud.

快速回复 返回顶部 返回列表
\frac{\square}{\square}\sqrt{\square}\square_{\baguet}^{\baguet}\overarc{\square}\ \dot{\baguet}\left(\square\right)\binom{\square}{\square}\begin{cases}\square\\\square\end{cases}\ \begin{bmatrix}\square&\square\\\square&\square\end{bmatrix}\to\Rightarrow\mapsto\alpha\ \theta\ \pi\times\div\pm\because\angle\ \infty
\frac{\square}{\square}\sqrt{\square}\sqrt[\baguet]{\square}\square_{\baguet}\square^{\baguet}\square_{\baguet}^{\baguet}\sum_{\baguet}^{\baguet}\prod_{\baguet}^{\baguet}\coprod_{\baguet}^{\baguet}\int_{\baguet}^{\baguet}\lim_{\baguet}\lim_{\baguet}^{\baguet}\bigcup_{\baguet}^{\baguet}\bigcap_{\baguet}^{\baguet}\bigwedge_{\baguet}^{\baguet}\bigvee_{\baguet}^{\baguet}
\underline{\square}\overline{\square}\overrightarrow{\square}\overleftarrow{\square}\overleftrightarrow{\square}\underrightarrow{\square}\underleftarrow{\square}\underleftrightarrow{\square}\dot{\baguet}\hat{\baguet}\vec{\baguet}\tilde{\baguet}
\left(\square\right)\left[\square\right]\left\{\square\right\}\left|\square\right|\left\langle\square\right\rangle\left\lVert\square\right\rVert\left\lfloor\square\right\rfloor\left\lceil\square\right\rceil\binom{\square}{\square}\boxed{\square}
\begin{cases}\square\\\square\end{cases}\begin{matrix}\square&\square\\\square&\square\end{matrix}\begin{pmatrix}\square&\square\\\square&\square\end{pmatrix}\begin{bmatrix}\square&\square\\\square&\square\end{bmatrix}\begin{Bmatrix}\square&\square\\\square&\square\end{Bmatrix}\begin{vmatrix}\square&\square\\\square&\square\end{vmatrix}\begin{Vmatrix}\square&\square\\\square&\square\end{Vmatrix}\begin{array}{l|l}\square&\square\\\hline\square&\square\end{array}
\to\gets\leftrightarrow\nearrow\searrow\downarrow\uparrow\updownarrow\swarrow\nwarrow\Leftarrow\Rightarrow\Leftrightarrow\rightharpoonup\rightharpoondown\impliedby\implies\Longleftrightarrow\leftharpoonup\leftharpoondown\longleftarrow\longrightarrow\longleftrightarrow\Uparrow\Downarrow\Updownarrow\hookleftarrow\hookrightarrow\mapsto
\alpha\beta\gamma\Gamma\delta\Delta\epsilon\varepsilon\zeta\eta\theta\Theta\iota\kappa\varkappa\lambda\Lambda\mu\nu\xi\Xi\pi\Pi\varpi\rho\varrho\sigma\Sigma\tau\upsilon\Upsilon\phi\Phi\varphi\chi\psi\Psi\omega\Omega\digamma\vartheta\varsigma\mathbb{C}\mathbb{H}\mathbb{N}\mathbb{P}\mathbb{Q}\mathbb{R}\mathbb{Z}\Re\Im\aleph\partial\nabla
\times\cdot\ast\div\pm\mp\circ\backslash\oplus\ominus\otimes\odot\bullet\varnothing\neq\equiv\not\equiv\sim\approx\simeq\cong\geq\leq\ll\gg\succ\prec\in\ni\cup\cap\subset\supset\not\subset\not\supset\notin\not\ni\subseteq\supseteq\nsubseteq\nsupseteq\sqsubset\sqsupset\sqsubseteq\sqsupseteq\sqcap\sqcup\wedge\vee\neg\forall\exists\nexists\uplus\bigsqcup\bigodot\bigotimes\bigoplus\biguplus\bigcap\bigcup\bigvee\bigwedge
\because\therefore\angle\parallel\perp\top\nparallel\measuredangle\sphericalangle\diamond\diamondsuit\doteq\propto\infty\bowtie\square\smile\frown\bigtriangledown\triangle\triangleleft\triangleright\bigcirc \wr\amalg\models\preceq\mid\nmid\vdash\dashv\nless\ngtr\ldots\cdots\vdots\ddots\surd\ell\flat\sharp\natural\wp\clubsuit\heartsuit\spadesuit\oint\lfloor\rfloor\lceil\rceil\lbrace\rbrace\lbrack\rbrack\vert\hbar\aleph\dagger\ddagger

MathQuill输入:

Latex代码输入: