非标准分析（英语：Non-standard analysis），又可称为实无限分析或超标准分析，是一个数学分析的一个分支，它用严格定义的无穷小量的概念来构建分析学。1973年，直觉主义者阿兰德·海廷称赞非标准分析是“重要数学研究的标准模型”。
实无限的概念源自G·W·莱布尼兹，将微积分中的dx, dy等符号视为实际存在的无穷小量，而dy/dx则是它们之间的比值，也就是无限小尺度下的斜率。在G·W·莱布尼兹的时代，实无限的概念虽然符合直觉，但是被批评为不够严谨。
在德国数学家卡尔·魏尔斯特拉斯（1815-1897）创建极限的潜无穷概念，替代实无限作为微积分的基础时，被学界认为是微积分的一大胜利，即能够严谨地表示与证明。
1960年代初，德国数学家亚伯拉罕·鲁滨逊提出非标准分析，重新回到G·W·莱布尼兹的实无限取径，并以此建构出一个严谨的基础。他写道：
（...）无限小或无穷小量的想法在我们的直觉中出现得蛮自然的。不管怎么说，在微分和积分演算方法的形成之初，已经常用到了无穷小量。至于有人反对说（...）两个不同实数之间的距离不能无限小，G·W·莱布尼兹却认为，无穷小量理论使我们必需引入一种理想的数，它们比起实数而言可能无限小或者无限大，但都与后者拥有相同的性质。不过，无论是他本人，他的弟子们抑或后来的继承者们，都没能够把这种想像中的系统合理地发展出来。因此，无穷小量的理论逐渐遭到冷落，并最终为经典的极限理论所取代。
鲁滨逊继续说道：
本书表明莱布尼茨的思想是完全可以得到平反的，而且还可以引出无论对经典分析还是对其它数学分支而言都能带来丰硕果实的全新方法。数学语言和数学结构之间的关系是现代模型论的基石，而对它的详细分析即是本书方法的关键。
有序域中的非零元素称为无穷小量，当且仅当其绝对值小于中任何形如1/的元素，其中为中的标准整数。一个拥有无穷小量的有序域称为非阿基米德的。
更一般地说，无穷小分析是任何依赖于非标准模型和传达原理（英语：transfer principle）的数学。一个域如果满足实数的传达原理，则为超实数域，而实无限分析就是使用这些域作为实数的。
鲁滨逊的原始办法正是基于这些非标准的实数域模型。他那1966出版的的经典奠基作，在今天仍有印行。
至少有三个原因使人们考虑无穷小分析：
在牛顿和莱布尼兹发展无穷小算法的最初阶段，经常采取以及等的表达方式。正如超实数中所提到的，这些提法曾遭到其它人的广泛非议，其中最著名的是乔治·贝克莱主教所写书籍消失量之鬼中提到的悖论，而当时牛顿也无法解决该悖论。
用无穷小量来建立一个自洽的分析理论是一项挑战，方法不只一种，而第一个令人满意地完成此任务的人是亚伯拉罕·鲁滨逊。
1958年，Curt Schmieden和Detlef Laugwitz发表了一篇文章 ，即“无穷小算法的拓展”，其中提出了含无穷小量的环的一种构造，这个环是用一些实数序列构造出来的：如果两个序列只在有限项不相等，则认为是等价的；算术运算是逐项定义的。然而，这样构造的环含有零因子，因此不能构成一个域。
一些教育工作者认为，比起以往用ε-δ语言的办法来，用无穷小量更能使学生直观容易地把握分析的概念。见H·杰尔姆·基斯勒（英语：Howard Jerome Keisler）的书。对某些结论而言，ε-δ语言多少有些笨拙，而无穷小量的方法有时能提供更容易的证明。例如，在非标准分析的框架下证明微分法的链式法则是较为简单的。这样的简化大多源于非标准分析的简单运算规则，即：
以及下面会提到的传达原理。无穷小分析的批评者认为，这些简化只是一种幻想，一种障眼法，使人看不见初等的ε-δ论证。他们争论说，理解超实数的这些公理和构造不见比ε-δ式的论证来得容易。
无穷小分析在教学上的另一个应用是爱德华·尼尔森（英语：Edward_Nelson）对随机过程处理。他在他的专著《概率论的初级理论》（）讨论了这个问题。。
一些新近的工作中，特别是在统计学和数学物理中考查极限过程时，便使用了无穷小分析中的概念。Albeverio等讨论了此法的一些应用。
无穷小分析有两个非常不同的做法：语义学方法或称模型论方法，以及句法学方法。两个办法都能应用于除分析外的其它数学领域，包括数论，代数，和拓扑。
用合适的模型可以证明ZFC + IST相对于ZFC的相容性：若ZFC是相容的，则ZFC + IST也是相容的。实际上可以证明更强的命题：ZFC + IST是ZFC的一个保守扩展，也就是说任何经典公式（正确或不正确的！）只要可以在内含集合论中证明，则仅用策梅洛-弗兰克尔的公理系统加上选择公理就能证明。
使用句法学方法做非标准分析时，需要非常小心地应用集合构成原理（通常叫做概括公理，或分类公理模式）；数学家们常常想当然地认为此原理成立。但正如纳尔逊指出，一个常见的推理谬误正是在于非法构成集合。例如，在IST中不存在恰由所有标准整数构成的集合。为了避免非法构成集合，必须只使用ZFC中的谓词来定义子集。
句法学方法的另一个例子是代替集合论，由Petr Vopěnka（英语：Petr Vopěnka）引进。此理论试图寻找一套比策梅洛-弗兰克尔集合论更适合于非标准分析的公理系统。
中心话题：
其它相关话题：
