無限小
数学における無限小(むげんしょう、英: infinitesimal)は、測ることができないほど極めて小さい「もの」である。無限小に関して実証的に観察されることは、それらが定量的にいくら小さかろうと、角度や傾きといったある種の性質はそのまま有効であることである。 術語 "infinitesimal" は、17世紀の造語 羅: infinitesimus(もともとは列の「無限番目」の項を意味する言葉)に由来し、これを導入したのは恐らく1670年ごろ、メルカトルかライプニッツである。無限小はライプニッツが連続の法則(英語版)や同質性の超限法則(英語版)などをもとに展開した無限小解析における基本的な材料である。よくある言い方では、無限小対象とは「可能な如何なる測度よりも小さいが零でない対象である」とか「如何なる適当な意味においても零と区別することができないほど極めて小さい」などと説明される。故に形容(動)詞的に「無限小」を用いるときには、それは「極めて小さい」という意味である。このような量が意味を持たせるために、通常は同じ文脈における他の無限小対象と比較をすること(例えば微分商)が求められる。無限個の無限小を足し合わせることで積分が与えられる。
シラクサのアルキメデスは、自身の著書『方法』において不可分の方法と呼ばれる手法を応分に用いて領域の面積や立体の体積を求めた。
レヴィ-チヴィタ体はローラン級数体とよく似た体系だが、代数閉体を成す。例えば基本無限小 x が平方根を持つ。この体は極めて大規模な解析学を展開可能とするに十分豊かな体系だが、実数が浮動小数点数として表現できるというのと同じ意味で計算機に載せることができる。