モナド (超準解析)のソースを表示

[[超準解析]]における'''モナド'''（{{Lang-en-short|monad}}、フランス語圏ではしばしばhalo<ref>{{harvnb|齋藤|1986|p=140}}</ref>）<ref>{{Citation|title=NumberPhile|url=https://www.youtube.com/watch?v=BBp0bEczCNg}}</ref>とは、与えられた[[超実数]]に限りなく近い超実数の集合、あるいはそれを一般化した集合をいう。双対概念として[[銀河 (超準解析)|銀河]]がある。

==一般的定義==
<math>X</math> を内的集合、<math>\mathcal{F}</math> を <math>X</math> 上の（外的であってもよい）[[フィルター (数学)|フィルター]]とする。このとき
: <math>\mu(\mathcal{F}) = \bigcap_{A\in \mathcal{F}} A</math>
で定まる <math>X</math> の部分集合を <math>\mathcal{F}</math> のモナド、単子、ハロー（ヘイロー）などと呼ぶ。ここでハローは[[暈]]を意味する英語の借用であり、後述する例において点の周りに広がる無限小領域の様子を表している。<math>\mu</math> の代わりに <math>\mathrm{mon}</math> や <math>\mathrm{monad}</math> などの記号を用いることもある。

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

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

===超実数===
[[超実数|超実数体]] <math>^{\ast}\mathbb{R}</math> の元 <math>x</math> のモナドとは
: <math>\mu(x)=\{y\in {}^{\ast}\mathbb{R} \mid x-y \text{ is infinitesimal}\}</math>
で定義される[[集合]]である。<math>x</math> が有限のとき、<math>x</math> のモナドは標準実数をただひとつだけ含み、これを <math>x</math> の標準部分（standard part）と呼び、<math>\operatorname{st}(x)</math> や <math>{}^{\circ}x</math> などと書く。

===位相空間===
[[位相空間]] <math>X</math> の（標準）点 <math>x</math> のモナドとは
: <math> \mu(x) = \bigcap \{{}^{\ast} U\mid U\text{is a neighborhood of } x\} </math>
で定義される <math>{}^{\ast}X</math> の部分集合である。<math>{}^{\ast}X</math> の点は、ある標準点のモナドに属するときに、近標準的（nearstandard）であると言われる。

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

== 関連項目 ==
* [[超準解析]]
* [[無限小]]

== 脚注 ==
{{Reflist}}

== 参考文献 ==
* [http://www.math.wisc.edu/~keisler/foundations.html H. Jerome Keisler：Foundations of Infinitesimal Calculus、ダウンロード可能]
* {{Cite book|last=Goldblatt|first=Robert|title=Lectures on the Hyperreals|publisher=Springer|location=Berlin|year=1998|isbn=0-387-98464-X}}
* {{citation | title=超準解析とはどういうものか | last=齋藤 | first=正彦 | year=1986 | journal=数学 | volume=38 | number=2 | pages=133-149 | url=https://doi.org/10.11429/sugaku1947.38.133 | doi = 10.11429/sugaku1947.38.133 | ref=harv }}

{{math-stub}}

{{DEFAULTSORT:もなと}}
[[Category:超準解析]]
[[Category:数学に関する記事]]