超实数框架中的极限与星团动力学弛豫.docVIP

超实数框架中的极限与星团动力学弛豫

一、超实数框架的数学基础

（一）超实数的定义与构造

超实数系统（HyperrealNumberSystem）是实数系统的非标准扩展，由亚伯拉罕·罗宾逊（AbrahamRobinson）在20世纪60年代创立，其核心思想是通过引入无穷小量和无穷大量，为微积分提供严格的数学基础。超实数集合记为${}^*\mathbb{R}$，它包含了所有实数$\mathbb{R}$，以及无穷小量（绝对值小于任何正实数的非零数）和无穷大量（绝对值大于任何正实数的数）。

超实数的构造通常利用超滤子（Ultrafilter）和等价类的概念。具体来说，考虑所有从自然数集$\mathbb{N}$到实数集$\mathbb{R}$的序列集合$S=\mathbb{R}^\mathbb{N}$，即每个元素都是一个实数序列$(a_1,a_2,a_3,\dots)$。在$S$上定义一个等价关系$\sim$：对于两个序列$a=(a_n)$和$b=(b_n)$，$a\simb$当且仅当集合${n\in\mathbb{N}\mida_n=b_n}$属于某个固定的非主超滤子$\mathcal{U}$。超滤子$\mathcal{U}$是$\mathbb{N}$的子集族，满足有限交性质、对超集封闭，且对任何子集$A\subseteq\mathbb{N}$，