有向点族のソースを表示
←
有向点族
ナビゲーションに移動
検索に移動
あなたには「このページの編集」を行う権限がありません。理由は以下の通りです:
この操作は、次のグループに属する利用者のみが実行できます:
登録利用者
。
このページのソースの閲覧やコピーができます。
'''有向点族'''（ゆうこうてんぞく、''directed family of points''）とは、[[列 (数学)|点列]]を一般化した概念で、ムーア (Eliakim Hastings Moore) とスミス (H. L. Smith) により[[1922年]]に定義された{{sfn|Moore|Smith|1922}}。有向点族は'''ネット''' (''net'')、'''有向点列'''、 '''Moore-Smith 列'''などとも呼ばれる。 点列との違いは添え字にあり、点列が[[自然数]]という可算な[[全順序]]集合の元で添え字付けられるのに対し、有向点族はより一般的な順序集合である（可算または非可算な）[[有向集合]]の元で添え字付けられている。 有向点族の概念の利点として以下の２つがある： * 点列にある「可算性」、「全順序性」という束縛がなくなる。点列の場合はこうした束縛ゆえに定理を証明する際に空間に可算性に関する何らかの仮定（[[第一可算公理]]など）を課さねばならなくなる事があるのに対し、有向点族ではそのような条件なしに同様の定理が証明できる場合がある。 * 複数の収束概念を統一的に扱う事ができる。例えば点列の収束、実数値関数の収束、リーマン積分におけるリーマン和等は有向点族の収束概念の特殊ケースとみなせる。 特に重要なのは、'''開集合、閉包、連続性などの位相構造に関する概念を有向点族の収束性で特徴づけられる'''事である。それに対し点列の場合はその添え字の可算性ゆえ、同様の特徴づけを行うには空間の方にも可算性に関する条件が必要となる（詳細は[[列型空間]]を参照）。 なお、添え字集合を有向集合にした事は、位相空間上の各点の近傍系が有向集合である（詳細後述）事と相性がよく、これも点列概念の不十分さを解消する上で一役買っている。 点列の極限で位相構造を特徴づけられない例としては、整列順序集合[0,ω<sub>1</sub>]に順序から定まる位相を入れた空間がある。ここで ω<sub>1</sub>は[[最小の非可算順序数]]である。実際この集合においてω<sub>1</sub>は明らかに[0,ω<sub>1</sub>)の閉包に属しているにもかかわらず、[0,ω<sub>1</sub>)内のいかなる点列もω<sub>1</sub>に収束しない。なぜなら ω<sub>1</sub>の非可算性と「可算集合の可算和はまた可算集合になる」という事実により、 [0,ω<sub>1</sub>)内の任意の点列に対し、点列に属する点のいずれよりも大きい順序数α<ω<sub>1</sub>が存在するので、 ω<sub>1</sub>の開近傍(α,ω<sub>1</sub>]には点列の点が存在しえないからである。 点列概念から可算性を取り除くもう一つの方法として、[[1937年]]に[[アンリ・カルタン]]によって生み出された'''[[フィルター (数学)|フィルター]]'''の概念が知られているが、実はフィルターの概念は収束という観点から見た場合には有向点族の概念と実質的に同値である事が知られている。 == 定義 == === 有向集合 === 有向点族を定義する為、まず有向集合を定義する。詳細は[[有向集合]]の項目を参照。 {| class="toccolours mw-collapsible" width="100%" style="text-align:left" !'''定義（有向集合）''' |- | 空でない[[集合]] ''A'' と''A'' 上の[[二項関係]]「≤ 」の組 (''A'', ≤) が'''有向集合'''（ゆうこうしゅうごう、<em lang="en">directed set</em>）であるとは、「≤ 」が[[反射関係|反射的]]かつ[[推移関係|推移的]]（つまり[[順序集合|前順序]]）で、しかも''A'' の任意の二元が[[順序集合#上界|上界]]を持つ事、すなわち任意の ''a'', ''b'' ∈ ''A'' に対しある''c'' ∈ ''A'' が存在し ''a'' ≤ ''c'' かつ ''b'' ≤ ''c'' となる事をいう<ref>{{harvnb|Kelley|1975|p=65}}</ref>。 |} === 有向点族とその極限 === 有向点族とその収束の定義は点列とその収束性の定義を自然に有向集合の場合に拡張する事で得られる。 {| class="toccolours mw-collapsible" width="100%" style="text-align:left" !'''定義（有向点族）''' |- | 位相空間''X'' 上の'''有向点族'''とは、ある[[有向集合]] Λ から ''X'' への[[写像]]のことである。これをしばしば (''x''<sub>λ</sub>)<sub>λ∈Λ</sub> あるいは簡単に (''x''<sub>λ</sub>) のように記して、Λ で添字付けられる有向点族などと呼ぶ。 |} 以下、''a''≥''b'' を ''b''≤''a''の単なる言い換えとして使用する（つまり上界は引き続き「＜」記号の見た目が開いている側で定義されているものとする）。 {| class="toccolours mw-collapsible" width="100%" style="text-align:left" !'''定義（有向点族の収束）''' |- | 位相空間''X'' 上の有向点族(''x''<sub>λ</sub>)<sub>λ∈Λ</sub>が''X'' 上の点''x'' に'''収束'''するとは、''x'' の任意の近傍''U'' に対し、(''x''<sub>λ</sub>)<sub>λ∈Λ</sub>が''U'' にほとんど含まれる事をいう。 ここで(''x''<sub>λ</sub>)<sub>λ∈Λ</sub>が''X'' の部分集合''Y'' に'''ほとんど含まれる''' (''eventually in'') とは、あるλ∈Λが存在し、γ ≥ λを満たす全てのγ∈Λに対し''x''<sub>γ</sub> が ''Y'' に含まれる事を言う。 |} (''x''<sub>λ</sub>)<sub>λ∈Λ</sub>が''a'' に収束している事を :<math>\mathrm{lim}~x_{\lambda}=a \,</math> と表す。 ==== 例 ==== 有向点族の例として以下のものがある。特に３番目の開近傍系の例は有向点族の概念の根幹に関わる重要な例であり、後述する位相構造の特徴づけでも本質的な役割を果たす。 * ('''点列''') 自然数の全体に通常の大小関係で順序を入れたものは有向集合であるので、任意の点列は有向点族である。定義より明らかなように点列(''x''<sub>n</sub>)の点列としての収束性と有向点族としての収束性は一致する。 * ('''実数値関数の極限''') 同様に実変数関数の極限lim<sub>''x''→∞</sub> ''f''(''x'')も、有向点族<math>(f(x))_{x\in\mathbb{R}}</math>の極限ととらえる事ができる。 * ('''開近傍系''') [[位相空間]]上の点 ''a'' を固定し、''a'' の各近傍''U'' から''x''<sub>''U''</sub>を任意に選ぶと、<math>(x_U)_{U\in \mathcal{N}_a}</math>は有向点族となる。ここで<math>\mathcal{N}_a</math> は''a'' の[[近傍系]]である。実際<math>\mathcal{N}_a</math>上の向きを''U'' ≥ ''V'' ⇔ ''U'' ⊂ ''V'' により定めると<math>\mathcal{N}_a</math>が有向集合になる事を簡単に確かめる事ができる。なおこの例において、順序関係「≥」に関して大きな''U'' を取ればとるほど''x''<sub>''U''</sub>は''a'' の小さな[[近傍]]に属している事になる事からもわかるように''x''<sub>''U''</sub> は''a'' に収束する。 * ('''リーマン和''') [[リーマン積分]]の定義におけるリーマン和も有向点列の極限とみなせる。この例において考える有向集合は、積分区間の全ての分割が成す集合に包含関係が定める順序で向きを入れたものである。[[リーマン＝スティルチェス積分]]においても同様のことを考えることができる。 === 部分有向点族 === {| class="toccolours mw-collapsible" width="100%" style="text-align:left" !'''定義（部分有向点族）''' |- | Γ、Λを有向集合とし、''h'' : Γ→Λを以下の性質を満たす写像とするとき、(''x'' <sub>h(γ)</sub>)<sub>γ∈Γ</sub>を(''x''<sub>λ</sub>)<sub>λ∈Λ</sub>の'''部分有向点族'''(subnet)と呼ぶ。 : ('''単調性''') 任意のγ, ξ ∈ Γに対し、γ ≤ ξ⇒''h'' (γ) ≤ ''h'' (ξ) : ('''共終(cofinal)性''') 任意のλ ∈ Λに対し適当なγ ∈ Γ が存在し、λ ≤ ''h'' (γ) |} 部分有向点族の概念は点列の部分列の概念の自然な一般化になっており、実際点列(''x'' <sub>n</sub>)<sub>n</sub>の部分列<math>(x_{n_k})_k</math>を考えた場合、添字集合間の写像<math>k \mapsto n_k </math>は上の２条件を満たす。 しかし部分有向点族の定義は１つだけ点列の部分列の定義とは大きく異なる所があり、点列の部分列の場合は<math>k \mapsto n_k </math>は必ず[[単射]]になるのに対し、部分有向点族の定義は''h'' が単射である事を要求しない。これはもし''h'' に単射性を要求すると病的な例（[[w:Tychonoff plank|Tychonoff plank]]）のせいでいくつかの当然と思われる定理が成り立たなくなってしまうからである。（なお、''h'' が[[単射]]である場合の部分有向点族を特に'''共終部分有向点族'''と呼ぶ。） こうした差異が原因で、点列(''x'' <sub>n</sub>)<sub>n</sub>を有向点族とみなした場合の部分有向点族は点列になっていない場合もあり得る。実際、(''x'' <sub>h(γ)</sub>)<sub>γ∈Γ</sub>を(''x'' <sub>n</sub>)<sub>n</sub>の部分有向点族とすると、''h'' が単射でない事から同じ''x'' <sub>n</sub>が部分有向点族に複数回（場合によっては非可算無限回）登場するかもしれないし、Γも全順序ではないかもしれない。 === その他の定義 === * φ は有向集合 ''D'' で添字付けられる ''X'' 内の有向点族とし、''A'' を ''X'' の部分集合とする。ここで、''D'' の各元 α に対して、''D'' の元 β で、β ≥ α で φ(β) が ''A'' に含まれるものが存在するならば、有向点族 φ は ''A'' に'''無限に含まれる''' (''frequently in'') という。 == 諸概念との関係 == === 有向点族による位相構造の特徴づけ === 概要でも記したように、有向点族の概念を用いる事で位相構造を特徴づける事ができる。ここでは閉包の特徴づけのみを説明するが、他の位相に関する概念、例えば閉集合、開集合、内点、外点、境界点も有向点族で特徴づけが可能である。 {| class="toccolours mw-collapsible" width="100%" style="text-align:left" !'''定理（有向点族による閉包の特徴づけ）''' |- | ''A'' を位相空間''X'' の任意の部分集合とする。このとき、点''a'' が''A'' の閉包に含まれる必要十分条件は以下の性質(1)が成り立つ事である： : ある有向集合Λと''A'' 上のある有向点族(''x''<sub>λ</sub>)<sub>λ∈Λ</sub>が存在し、(''x''<sub>λ</sub>)<sub>λ∈Λ</sub>は''a'' に収束する。 ...(1) |} 一方、点列の概念を用いた場合は閉集合と開集合を点列で特徴づけられるには空間が可算性に関する条件を満たす必要があるし、閉包が点列で特徴づけられるにはさらに厳しい条件が必要となる。（詳細は[[列型空間]]を参照）。 上の定理は以下のように非常に簡単に示せる。 まずよく知られているように<math>a\in \bar{A}</math>である事は以下と同値である： : ''a'' の任意の近傍''U'' に対し、<math>U\cap A\neq \emptyset</math> ...(2) これは''U'' ∩ ''A'' に少なくとも一つ元が存在する事を意味するので、そのような元を''x'' <sub>U</sub> とすると <math>x_U\in U\cap A \subset A</math>である事から<math>(x_U)_{U\in \mathcal{N}_a}</math> は''A'' 上にある。しかも前節で述べたように <math>(x_U)_{U\in \mathcal{N}_a}</math>は有向点族でありしかも''a'' に収束する。よって十分性が言えた。 逆に''a'' に収束する''A'' 上の有向点族(''x''<sub>λ</sub>)<sub>λ∈Λ</sub>があったとすれば、収束性の定義から''a'' の任意の近傍''U'' 内に有向点族の点''x''<sub>λ</sub>が存在する。しかも仮定から''x''<sub>λ</sub> ∈ ''A'' でもあったので、これは(2)が成立する事を意味し、したがって<math>a\in \bar{A}</math>である。こうして必要性も言えた。 === 有向点族による連続性の特徴づけ === 連続性の概念も有向点族の概念を用いて以下のように特徴づける事ができる： {| class="toccolours mw-collapsible" width="100%" style="text-align:left" !'''定理（有向点族による連続性の特徴づけ）''' |- | 位相空間''X'' から位相空間''Y'' への関数''f'' が連続である必要十分条件は以下が成立する事である：任意の''a'' ∈ ''X'' と任意の有向集合Λと任意の有向点族(''x''<sub>λ</sub>)<sub>λ∈Λ</sub>に対し、 : <math>\mathrm{lim} x_\lambda = a \Rightarrow \mathrm{lim} f(x_\lambda) = f(a) \,</math> |} === ハウスドルフ性とコンパクト性の特徴づけ === 有向点族の概念を用いると、位相空間上の以下の性質も特徴づける事が出来る： {| class="toccolours mw-collapsible" width="100%" style="text-align:left" !'''定理(ハウスドルフ性とコンパクト性の特徴づけ)''' |- | * 位相空間''X'' が[[ハウスドルフ空間|ハウスドルフ]]である'''必要十分'''条件は、''X'' 上の任意の有向点族の極限は存在するならば唯一つである事である。 * 位相空間''X'' が[[コンパクト空間|コンパクト]]である'''必要十分'''条件は、''X'' 上の任意の有向点族が収束する部分有向点族を持つ事である。 |} なお、後者の事実の結論部分は[[コンパクト空間|点列コンパクト]]の概念における点列を有向点族に置き換えたものである。 しかし点列の場合は''X''に適切な仮定(例えば距離空間など)を置かない限り、必要条件でも十分条件でもない。{{sfn|Steen|Seebach|1995|p=68|loc=Example 43.7, 43.8}} {{sfn|Steen|Seebach|1995|p=125|loc=Example 105.1, 105.5}} === コーシー列との関係 === [[距離空間]]あるいは[[一様空間]]においては、[[コーシー列]]とほぼ同様にして'''コーシーネット'''を定義ことができる。この概念は[[コーシー空間]]にまで一般化することができる。 == 普遍有向点族 == 有向点族に関する諸概念は基本的に点列に関する概念を焼きなおしたものであるが、以下で述べる普遍性の概念は、有向点族に固有のものである。 {| class="toccolours mw-collapsible" width="100%" style="text-align:left" !'''定義（普遍有向点族）''' |- | 位相空間''X'' 上の有向点族(''x''<sub>λ</sub>)<sub>λ∈Λ</sub>が'''普遍''' (''universal''、'''完全'''とも)であるとは、''X'' の任意の部分集合 ''A'' に対し、(''x''<sub>λ</sub>)<sub>λ∈Λ</sub>が ''A'' にほとんど含まれるかもしくは ''A'' の ''X'' における補集合にほとんど含まれる事をいう。 |} 普遍性の概念は点列ではなく有向点族の概念に基づいている事が重要であり、普遍性を満たす点列は自明なもの（＝有限個を除いて常に同じ点を指す点列）のみである事が知られている。 任意の有向点族は普遍な部分有向点族を必ず持つ事が知られている： {| class="toccolours mw-collapsible" width="100%" style="text-align:left" !'''定理（普遍部分有向点族の存在性）''' |- | ''X'' を位相空間とする。このとき''X'' 上の任意の有向点族(''x''<sub>λ</sub>)<sub>λ∈Λ</sub>に対し、ある部分有向点族(''x'' <sub>h(γ)</sub>)<sub>γ∈Γ</sub>が存在し、(''x'' <sub>h(γ)</sub>)<sub>γ∈Γ</sub>は普遍である。 |} 上記の定理の証明にはフィルターの概念を用いる為、証明は後の章に譲る。 なお上記の定理は部分有向点族の定義で''h'' が単射でないものを許容した事を本質的に利用しており、もし''h'' として単射なもののみを許す事にすると上記の定理は成り立たない。反例として、(''x''<sub>λ</sub>)<sub>λ∈Λ</sub>が点列である場合を考える。この場合、部分有向点族(''x'' <sub>h(γ)</sub>)<sub>γ∈Γ</sub>自身が部分列として必然的に点列になるが、この場合部分列(''x'' <sub>h(γ)</sub>)<sub>γ∈Γ</sub>が普遍になるのは、それ自身が（前述の意味で）自明な点列である場合に限られる。しかしその場合の''h'' は単射でない。''h'' を単射に限定すると、部分列は決して自明な点列にはならない（すなわち普遍な部分有向点族にならない）。 以下の定理は定義から明らかである： {| class="toccolours mw-collapsible" width="100%" style="text-align:left" !'''定理''' |- | 普遍有向点族の部分有向点族は普遍有向点族である。 |} 以上２つの定理から、有向点族は必ず普遍有向点族を部分有向点族として、その普遍有向点族のさらに部分有向点族を取るとまた普遍有向点族になる。 === コンパクト性への応用 === 普遍有向点族の概念を用いると、コンパクト性はさらに簡単に特徴づける事ができる： {| class="toccolours mw-collapsible" width="100%" style="text-align:left" !'''定理(コンパクト性の普遍有向点族による特徴づけ)''' |- | 位相空間''X'' が[[コンパクト空間|コンパクト]]である必要十分条件は、''X'' 上の任意の普遍有向点族が収束する事である。 |} なお、上述したコンパクト性の普遍有向点列による特徴づけを用いると、'''[[チコノフの定理]]'''（＝コンパクト空間の直積はコンパクト）がほぼ自明に従う。証明は以下のとおりである。まず複数の位相空間の直積 : <math>Y=\prod_{\alpha}X_{\alpha}</math> 上の有向点族が''Y'' の点''y'' に収束する必要十分条件は明らかに有向点族の各''X''<sub>α</sub>への[[射影 (集合論)|射影]]が''y'' の''X''<sub>α</sub>への射影へ収束する事である。 よって : 全ての''X''<sub>α</sub>がコンパクト⇒任意のαに対し、''X''<sub>α</sub>上の普遍有向点族は収束する⇒直積''Y'' 上の普遍有向点族は収束する⇒''Y'' はコンパクト。 すなわちチコノフの定理が言えた。 == フィルターとの関係 == 有向点族が定義されたもともとの動機は「点列に関わる諸定理から可算性に関する条件を外す」というものであったが、同じ動機から'''[[フィルター (数学)|フィルター]]'''という概念も生まれている。有向点族の概念とフィルターの概念は異なる研究者により同時期に独立に提案されたものであるが、実は収束性という観点から見たときには両者は実質的に差異がないものだという事実が知られている。 （以下、この節の記述はフィルターの基本的な知識を要求する。[[フィルター (数学)|フィルター]]の項目も参照）。 以下の２つの定理はこの事実を定式化したものである。最初の定理は有向点族の収束はフィルターの収束によって捉えられる事を示している： {| class="toccolours mw-collapsible" width="100%" style="text-align:left" !'''定理'''<ref name="clark">この定理とその証明は参考文献に挙げたPete Clarkの資料を参考にした。</ref> |- | ''X'' を位相空間とする。このとき''X'' 上の有向点族に''X'' 上のフィルター基を対応させる関数Ｉで次の性質を満たすものが存在する：任意の''a'' ∈ ''X'' と任意の有向集合Λと任意の有向点族(''x''<sub>λ</sub>)<sub>λ∈Λ</sub>に対し、 : (''x''<sub>λ</sub>)<sub>λ∈Λ</sub>が''a'' に収束する⇔Ｉ((''x''<sub>λ</sub>)<sub>λ∈Λ</sub>)が''a'' に収束する。 |} 上の定理におけるＩは以下のように定義できる： : <math>I((x_{\lambda})_{\lambda\in\Lambda})= \{\{x_{\mu} \mid \mu\geq\lambda\} \mid \lambda \in \Lambda\}</math> Ｉ((''x''<sub>λ</sub>)<sub>λ∈Λ</sub>)がフィルター基の定義を満たす事は簡単に示す事ができる。 次の定理は逆にフィルターの収束は有向点族の収束によって捉えられる事を示している： {| class="toccolours mw-collapsible" width="100%" style="text-align:left" !'''定理'''<ref name="clark" /> |- | ''X'' を位相空間とする。このとき''X'' 上のフィルター基に''X'' 上の有向点族を対応させる関数Ｊで次の性質を満たすものが存在する：任意の''a'' ∈ ''X'' と任意のフィルター基<math>\mathcal{B}</math>に対し、 : <math>\mathcal{B}</math>が''a'' に収束する⇔<math>J(\mathcal{B})</math>が''a'' に収束する。 | |} ただしＩとＪは逆関数の関係にあるわけではなく、<math>I(J(\mathcal{B}))=\mathcal{B}</math>は常に成り立つがＪ（Ｉ（(''x''<sub>λ</sub>)<sub>λ∈Λ</sub>））＝(''x''<sub>λ</sub>)<sub>λ∈Λ</sub>とは限らない。 Ｊの定義は若干複雑である。 まずフィルター基<math>\mathcal{B}</math>に対し、集合<math>\Lambda_{\mathcal{B}}</math>を : <math>\Lambda_{\mathcal{B}}=\{(A,x) \mid A \in \mathcal{B},~x\in A \}</math> により定義し、<math>\Lambda_{\mathcal{B}}</math>に順序関係 : <math>(A,x) \ge (B,y) \Leftrightarrow A \subset B</math> を入れると、<math>\Lambda_{\mathcal{B}}</math>は有向集合とみなせる。 そこで : <math>(A,x)\in\Lambda_{\mathcal{B}}\mapsto x\in X</math> を考えると、これは<math>\Lambda_{\mathcal{B}}</math>を添字集合とする有向点族とみなせるので、この有向点族を<math>J(\mathcal{B})</math>とする。 === 普遍部分有向点族の存在性定理の証明の概略 === この定理の証明では上で作った関数ＩとＪ（を少し改変したもの）を用いる。 (''x''<sub>λ</sub>)<sub>λ∈Λ</sub>を位相空間''X'' 上の任意の有向点族とし、 : <math>\mathcal{B}=I((x_{\lambda})_{\lambda\in\Lambda})</math> とし、<math>\mathcal{M}</math>を<math>\mathcal{B}</math>より細かい極大フィルターとする。（このような<math>\mathcal{M}</math>の存在性は[[ツォルンの補題]]より容易に示せる。） さらに添え字集合Γを : <math>\Gamma = \{ (A,\lambda) \in \mathcal{M}\times \Lambda \mid x_{\lambda} \in A\}</math> により定義し包含関係の逆順序とΛの順序の直積順序を入れ、''h'' を : <math>\gamma=(A,\lambda)\in\Gamma\mapsto \lambda\in \Lambda</math> により定義すると有向点族(''x''<sub>h(γ)</sub>)<sub>γ∈Γ</sub>が(''x''<sub>λ</sub>)<sub>λ∈Λ</sub>の部分有向点族となる事が簡単に確かめられる。しかも<math>\mathcal{M}</math>の極大性からこの有向点族の普遍性が従う。 == 脚注 == <references /> == 参考文献 == * {{citation |last1 = Moore |first1 = E. H. |last2 = Smith |first2 = H. L. |year = 1922 |title = A general theory of limits |journal = American Journal of Mathematics |volume = 44 |issue = 2 |pages = 102–121 |doi = 10.2307/2370388 |jfm = 48.1254.01 }} * {{cite book | last1 = Steen | first1= Lynn Arthur | last2 = Seebach | first2= J. Arthur | year=1995 | origyear=1970 | title=Counterexamples in Topology | publisher=Dover Publications, Inc | isbn=978-0-486-68735-3 | ref=harv }} * [http://math.uga.edu/~pete/convergence.pdf CONVERGENCE]、[http://www.math.uga.edu/~pete/expositions2012.html Pete L. Clark]著 {{DEFAULTSORT:ゆうこうてんそく}} [[Category:順序構造|ゆうこうてんそく]] [[Category:位相幾何学|ゆうこうてんそく]] [[Category:極限 (数学)]] [[Category:数学に関する記事|ゆうこうてんそく]] [[he:גבול (טופולוגיה)]]
このページで使用されているテンプレート:
テンプレート:Citation
(
ソースを閲覧
)
テンプレート:Cite book
(
ソースを閲覧
)
テンプレート:Harvnb
(
ソースを閲覧
)
テンプレート:Sfn
(
ソースを閲覧
)
有向点族
に戻る。
ナビゲーション メニュー
個人用ツール
ログイン
名前空間
ページ
議論
日本語
表示
閲覧
ソースを閲覧
履歴表示
その他
検索
案内
メインページ
最近の更新
おまかせ表示
MediaWiki についてのヘルプ
特別ページ
ツール
リンク元
関連ページの更新状況
ページ情報