モナド (超準解析)

超実数体 ${\displaystyle ^{\ast }\mathbb {R} }$ の元 ${\displaystyle x}$ のモナドとは

${\displaystyle \mu (x)=\{y\in {}^{\ast }\mathbb {R} \mid x-y{\text{ is infinitesimal}}\}}$

で定義される集合である。${\displaystyle x}$ が有限のとき、${\displaystyle x}$ のモナドは標準実数をただひとつだけ含み、これを ${\displaystyle x}$ の標準部分（standard part）と呼び、${\displaystyle \operatorname {st} (x)}$ や ${\displaystyle {}^{\circ }x}$ などと書く。

位相空間 ${\displaystyle X}$ の（標準）点 ${\displaystyle x}$ のモナドとは

${\displaystyle \mu (x)=\bigcap \{{}^{\ast }U\mid U{\text{is a neighborhood of }}x\}}$

で定義される ${\displaystyle {}^{\ast }X}$ の部分集合である。${\displaystyle {}^{\ast }X}$ の点は、ある標準点のモナドに属するときに、近標準的（nearstandard）であると言われる。

一様空間 ${\displaystyle X}$ のモナドとは、一様性 ${\displaystyle {\mathcal {U}}}$ （これは直積 ${\displaystyle X\times X}$ 上のフィルターである）のモナドとして定まる同値関係 ${\displaystyle \approx }$ を言う。また、${\displaystyle {}^{\ast }X}$ の点 ${\displaystyle x}$ のモナドとは、${\displaystyle x}$ の ${\displaystyle \approx }$ に関する同値類のことである。この定義は超実数や位相空間におけるモナドの定義と整合的である。