モナド (超準解析)

超準解析におけるモナド（テンプレート:Lang-en-short、フランス語圏ではしばしばhalo）とは、与えられた超実数に限りなく近い超実数の集合、あるいはそれを一般化した集合をいう。双対概念として銀河がある。

一般的定義

$X$ を内的集合、$ℱ$ を $X$ 上の（外的であってもよい）フィルターとする。このとき

$\mu (ℱ)=\bigcap _{A\in ℱ}A$

で定まる $X$ の部分集合を $ℱ$ のモナド、単子、ハロー（ヘイロー）などと呼ぶ。ここでハローは暈を意味する英語の借用であり、後述する例において点の周りに広がる無限小領域の様子を表している。$\mu$ の代わりに $\mathrm{m}\mathrm{o}\mathrm{n}$ や $\mathrm{m}\mathrm{o}\mathrm{n}\mathrm{a}\mathrm{d}$ などの記号を用いることもある。

一般に超準的対象からなる集合がモナドとして書けるとき、その集合はモナディック(monadic)、ハリック(halic)、${\mathrm{\Pi }}_1^{\mathrm{s}\mathrm{t}}$ などと言われる。

例

モナドの重要な例を幾つか挙げる。

超実数

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

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

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

位相空間

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

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

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

一様空間

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

関連項目

• 超準解析
• 無限小

参考文献

• H. Jerome Keisler：Foundations of Infinitesimal Calculus、ダウンロード可能
• テンプレート:Cite book
• テンプレート:Citation