利用者:Tkcom/線形連続体draft

数学の順序理論の分野において、線形連続体、連続体(せんけいれんぞくたい、linear continuum)とは実数直線を一般化したものである。

正確には、線形連続体とは、上に有界な非空部分集合が上限をもつという意味で“ギャップ”を欠いており、稠密順序づけられた-つまり任意の二元の間に元が存在するような-空でない全順序集合Sのことである。さらに記号的にいうと

a) Sは上限性質をもつ。

b) x < y であるような任意のSの元x,y に対して、x < z < y なるSの元zが存在する。

上限性質とは、いかなる空でない上に有界な部分集合は上限を持つということである。順序位相が与えられた順序集合が連結であるか否かを確かめるために使われる点で、線形連続体は特にトポロジーの分野で重要である。

例[編集]

通常の順序を入れた実数の集合Rは典型的な例である。性質b)は自明である。性質a)は実数の連続性の同値な命題の一つである。

実数の例の他にも

実数の集合と順序同型な集合たちである。例えば開区間や半開なギャップをもつ開区間である。(上で述べた意味での“ギャップ”は存在しないことに注意せよ。)
アフィン拡大実数とそれと順序同型な集合たちである。例えばen:unit interval
実数の集合に、無限大と無限小のみを添加した集合、及びそれと順序同型な集合。例えば半開区間。
長い直線
単項式順序で集合 I × I (×は直積を表し、I =[0,1]とする)は線形連続体である。性質b)は自明。a)を確かめるには、π₁ : I × I → I :π₁ (x, y) = x

という写像を考えよ。

この写像は射影写像として知られる。これは(I × I 上の積位相に関して)連続であり、全射である。 A を I × I の上に有界な空でない部分集合とするとき、π₁(A ) を考えよ。 A は上に有界であるからπ₁(A ) もまた上に有界でなければならない。 π₁(A ) はI の部分集合であるから、π₁(A ) は上限をもつ(つまり、上限性質をもつ)。 b をπ₁(A ) の上限としよう。もし、b がπ₁(A )に属するならば、b × I は、あるc∈ I に対して、b × c でA と交差する。 b × I はI と同じ順序型をもつことに注意すれば、(b × I )∩A は実際に b × c' という上限をもち、この c' は望ましいA の上限である。

もし、b がπ₁(A )に属さないならば、b × 0 はA の上限である。なぜならば、もし d < b なるd に対して、d × e がA の上限であるならば、π₁(A ) の上界に属するb より小さい元になってしまい、b が上限であることに反する。

当てはまらない例[編集]

有理数の集合は線形連続体ではない。性質b)を満たしても、a)は満たさないからである。

\quad A=\{x\in \mathbb {Q} \mid x<{\sqrt {2}}\}

という部分集合を考えてみよ。これは、例えば3はA のどの元よりも大きいことから、A は上に有界である。しかし、有理数の上限を持たない。

通常の順序の非負整数の集合は線形連続体でない。性質a)は満足する。(A を非負整数の部分集合とすると、これは上に有界である。A は有限であるから最大元が存在する。その最大元が上限である。)その一方で、性質b)は満足しない。実際、5も6も非負整数である。しかし、5と6の間に非負整数は存在しないことから、稠密ではない。

通常の順序での0以外の実数の集合

A=(-\infty ,0)\cup (0,\infty )

は線形連続体でない。性質b)は自明に満たす。しかし、B を負の実数の集合

B=(-\infty ,0)

とすると、B はA の部分集合であり、上に有界である(例えば1はB の上界である)。しかし、B には上限が存在しない。ただし、0はA の元ではないことからB の上界でないことに注意せよ。

$Z_{-}$ を負の整数の集合、A を $A=(0,5)\cup (5,\infty )$ として、S を

S=Z_{-}\cup A

としよう。そのとき、S はa)もb)も満たさない。その証明は上記と同様である。

位相的性質[編集]

線形連続体は順序集合論の研究において重要であるが、トポロジーの分野においての応用が存在する。実際、順序集合が線形連続体であるとき、かつそのときに限り、順序位相の入った順序集合が連結であることを証明しよう(“であるとき、かつそのときに限り”に注意せよ)。一つを暗に証明し、もう一つは練習としておこう。参考文献ではその証明が書かれている^[1]。

定理

X を順序位相の入った順序集合とする。そのとき、X が連結であればX は線形連続体である。

証明

x<yなるX の元x,yをとる。x<z<yなるX の元zが存在しないと仮定し、次の集合を考える。

A=(-\infty ,y),B=(x,\infty )

これらの集合は

交わらない(disjointである)。

(a∈Bであれば、x<aかつa<yは仮定より起こり得ないことから、a∈Aであればa<y である。)

非空である(xはAの元であり、yはBの元である)。
(順序位相において)開集合である。
その和集合はX である。

これはX が連結であることに反する。よって、X はb)を満たす。

次に上限性質を持つことを証明しよう。CをX の上に有界な部分集合で上限を持たないとし、DをbをCの上界として(b,+∞)の形のすべての半直線(open ray)の和であるとする。そうすると、Dは

(開集合の和集合であるから)開である
閉である
非空である

を満たす。このDとその補集合はX上の分離(separation(en))を形成する。これはXが連結であることに反する。よって、上限性質を満たす。

定理の適用[編集]

順序集合 $A=(-\infty ,0)\cup (0,\infty )$ は線形連続体でないので、これは非連結である。
上で証明した定理を適用すると、R が連結であるということが従う。そしてR のいかなる区間(や半直線)も、また連結である。
整数の集合は線形連続体でないから連結ではありえない。
順序位相において順序集合が線形連続体であったならば、それは必ず連結である。この集合のどの区間も線形連続体であることから、連結な集合からなる基をもつのでこの空間は局所連結であることが従う。
位相空間の興味深い例としては、長い直線を見よ。

参考文献[編集]

Munkres, James (1999). Topology, 2nd ed., Prentice Hall. ISBN 0-13-181629-2.

脚注[編集]

^ Munkres, James (2000). Topology, 2nd ed., Prentice Hall. p 153-154.

{{デフォルトソート:せんけいれんぞくたい}} [[Category:位相空間]]

en:Linear continuum

20:06, 9 October 2012の版

英語の問題

dencely orderd 稠密順序づけられた

which "lacks gaps" in the sense ある意味で、ギャップを欠いている

in the field of topology トポロジーの分野で

order topology 順序位相

connected 連結

verify whether an ordered set given the order topology is connected or not?? 【順序位相？順序集合？】が連結であるか否かを確かめる

[1] Munkres, James (2000). Topology, 2nd ed., Prentice Hall. p 153-154.

[1]