布劳威尔定点定理

同胚是指两个拓扑空间之间的连续函数，且该函数存在连续的逆函数。如果这样的函数存在，则称两个拓扑空间是同胚的。从拓扑学的角度来看，同胚空间是相同的。这个概念体现了物体可以被拉伸、弯曲或变形为另一个物体而不会撕裂或粘合的思想，例如将咖啡杯变成甜甜圈。

吉布斯现象描述了傅里叶级数在跳跃不连续点处的行为。级数的部分和在跳跃点附近会出现一个过冲，并且随着级数项数的增加，这个过冲并不会消失。无论级数项数如何，这个过冲最终都会收敛到一个约为跳跃高度9%的常数值。

该定理指出，在误差均值为零、不相关且方差恒定（同方差性）的线性回归模型中，普通最小二乘法 (OLS) 估计量是最佳线性无偏估计量 (BLUE)。“最佳”意味着它在所有回归系数的线性无偏估计量中方差最小，因此精度最高。

策梅洛-弗兰克尔集合论（Zermelo-Fraenkel set theory，简称ZFC，其中ZFC包含选择公理）是当代数学的标准公理系统。它由一系列用一阶逻辑表达的公理组成，这些公理形式化了集合的性质。当今几乎所有数学定理都可以用ZFC来表述和证明。

方差分析 (ANOVA) 是一种统计方法，它将数据集中观察到的总变异性划分为可归因于不同来源的各个部分。其核心思想是比较不同组均值之间的方差与组内方差。如果组间方差显著较大，则表明组均值确实存在差异。

Courant-Friedrichs-Lewy (CFL) 条件是使用显式时间积分方案对双曲偏微分方程进行数值求解的必要稳定性准则。它规定，时间步长必须足够小，以保证每个时间步的信息传输距离不超过一个空间网格单元。对于一维情况，[latex]C = u \frac\{Delta t}\{Delta x} \le C_{max}[/latex]，确保了数值稳定性。

在线性代数中，秩-零度定理指出：对于任意有限维向量空间之间的线性映射 [latex]T: V \to W[/latex]，其定义域维数 [latex]V[/latex] 等于其秩（像的维数）与零度（核的维数）之和。 其公式为：\dim(V) = \text{rank}(T) + \text{nullity}(T)。.

素数定理描述了素数在整数中的渐近分布。它指出，质数计数函数 [latex]\pi(x)[/latex]（给出小于或等于 [latex]x[/latex] 的质数个数）在渐近上等价于 [latex]x / \ln(x)[/latex]。形式上，[latex]lim_{x \to \infty}\frac\{pi(x)}{x/\ln(x)} = 1[/latex]。这提供了素数和自然对数之间的基本联系。.

表示模型拟合程度的统计量，代表因变量中可由自变量预测的方差比例。R² 为 1 表示完全拟合，0 表示没有线性关系。计算公式为 [latex]R^2 \equiv 1 - \frac{SS_{res}}{SS_{tot}}[/latex], 其中 [latex]SS_{res}[/latex] 为残差平方和。.

弗雷德霍姆指数将秩-零度定理推广到巴拿赫空间等无限维空间。对于弗雷德霍姆算子 [latex]T： X → Y，其指标定义为：\text{ind}(T) = \dim(\ker(T)) - \dim(\text{coker}(T))其中余核维度衡量像空间与整个空间的距离。该指标在算子的小扰动下保持稳定的整数值。.

拓扑空间是有序对 [latex]（X，\tau）[/latex]，其中 [latex]X[/latex] 是一个集合，[latex]\tau[/latex] 是 [latex]X[/latex] 的子集集合，称为开集，满足三个公理：1）空集 [latex]\emptyset[/latex] 和 [latex]X[/latex] 本身都在 [latex]\tau[/latex] 中。2) [latex]\tau[/latex] 中任意多个集合的联合也在 [latex]\tau[/latex] 中。3）[latex]\tau[/latex] 中任意有限个集合的交集也在 [latex]\tau[/latex] 中。

SPC 中用于监控过程变量随时间变化的图形工具。它在代表过程平均值的中心线（CL）与控制上限（UCL）和控制下限（LCL）之间绘制数据点。这些限值通常设定为平均值的三个标准差（[latex]\mu \pm 3\sigma[/latex] ），定义了预期的共同原因变化范围。.

单因子方差分析用于确定三个或更多独立组的均值之间是否存在统计学意义上的显著差异。它分析单一分类自变量（称为因子）对连续因变量的影响。零假设指出所有组的均值相等，[latex]H_0：\mu_1 = \mu_2 = \dots = \mu_k[/latex]。.