第106回 シーズン11 エピソード6

ラティス・サラダ（後編）

図書室にて

僕「それにしても、言われてみれば当たり前だけど《ビットパターン》と《部分集合》と《約数》から同じ図が現れるというのは、 おもしろい話だな。まったく違う分野なのに（第105回参照）」

ミルカ「これらの間には《同じ構造》があることが明確にわかる」

僕「構造？」

ミルカ「代数構造と順序構造」

僕「うーん……」

ミルカ「ラティスだね」

僕「ラティス？」

ミルカ「ラティス。日本語だと《束》（そく）と呼ぶ」

ラティス

僕「ぜんぜんイメージが湧かないなあ」

ミルカ「さっきから《ハッセ図》でイメージを描いているじゃないか」

僕「ハッセ図っていうのは……ああ、これのことか」

ミルカ「そう。これはハッセ図の例。 《大きい》要素を上に置き、《小さい》要素を下に置く。 《大きい》といっても、正確には《等しいかまたは大きい》という関係のことだが。 ハッセ図では、《大小関係》がある二要素の間を辺でつなぐけれど、すべてをつなぐわけじゃない。 二つの異なる要素 $x$ と $y$ をつなぐのは、 $x$ と $y$ の間に他の要素が入り込まないときだけ」

僕「『入り込まない』というのは、その大小関係に関してという意味だね。 $x\leqq m\leqq y$ のような要素 $m$ がないという……」

ミルカ「そう」

僕「ハッセ図のように表現できるものがラティスということ？」

ミルカ「もしも、イメージを求めるならば。 図に描けるのは要素数が有限で、簡単なラティスだけれど」

僕「それで、そのラティスは代数構造と……」

ミルカ「代数構造と順序構造を持っている。 君はもう群を知っている。群も代数構造だな。 群には《積》と呼ばれる一つの演算があった」

僕「うん、そうだね」

ミルカ「ラティスが持つ代数構造には《結び》と《交わり》という二つの演算がある。 そして、ラティスが持つ順序構造には《大小関係》という一つの関係がある」

僕「ちょっと待ってよ、ミルカさん。早い早い。 群は知っているし、積と呼ばれる抽象的な演算を考えることも知ってる。 いくつかの公理を満たす演算だよね。計算を進めたり、 式を変形していくから、群が代数構造を持っているというのは何となくわかる。 でも、順序構造というのがよくわからないんだけど」

順序を入れる

ミルカ「そう？　ここでいう《順序》は、 一般的な意味の順序ではない。 つまり、国語辞典に書かれている意味での順序ではなく、数学的な用語だ」

僕「あ、それはわかっているよ」

ミルカ「だったら、『集合に順序を入れる』というのもすぐにわかる。 《大小関係》を表すための演算を一つと、その公理を定義するだけだから」

僕「そうか。『集合に群を入れる』のと同じように、 『集合に順序を入れる』ということもできるわけか」

ミルカ「そう。たとえば実数全体の集合には、 私たちがよく知っている大小関係という順序が入っている。 数としての大小関係のことだ。 しかし、一般的な集合の場合には、そのような、よく知っている大小関係が前もって与えられているとは限らない。 たとえば、 $4$ ビットのビットパターン全体の集合の中で、 ビットパターン $0101$ と $1100$ ではどちらが《大きい》か？」

僕「$2$ 進数として解釈すれば、 $(0101{)}_2=5$ で、 $(1100{)}_2=12$ だから、 $0101$ よりも $1100$ の方が大きいね」

ミルカ「その解釈こそが大小関係を与えているわけだよ。ねえ、君」

僕「まあ、そうだけど……」

ミルカ「他の解釈ももちろん可能だ。たとえば、このハッセ図を見てわかるとおり、 $0101$ と $1100$ をつないでいる辺はないし、 片方から他方へ辺をたどって上っていくこともできない。 つまり、 $0101$ と $1100$ の間には、 ある解釈のもとでは、 どちらが《大きい》ともいえないことになる」

僕「ねえ、ミルカさん。どちらが大きいかいえないのに、順序を入れたといえるの？」

ミルカ「そこだよ。数学で順序を考えるときには、その区別をつけて考える。 すなわち、どの二つの要素の間にも大小関係がある順序を《全順序》と呼び、 そうではないものを《半順序》と呼ぶ。 実数全体の集合はどの二つの要素を選んでも大小関係があるから全順序。 このビットパターンの場合には半順序になる。半順序では《比べられるとは限らない》わけだ」

僕「全順序と半順序か……」

ミルカ「話が飛んだな。 では、試しに、集合 $S$ に順序を入れてみよう」

僕「集合 $S$ に順序を入れるというのは……」

ミルカ「集合 $S$ の要素の間の大小関係を表す演算を定義するということ」

僕「なるほど。 $\leqq$ を定義するわけだね」

ミルカ「そう。だが、順序を一般的に考えるときには、 数の大小関係に惑わされないように、大小関係を表す演算子に $\leqq$ ではなく $⪯$ を使うことが多い。 不等号をちょっと曲げてある。 $x$ と $y$ と $m$ を集合 $S$ の要素としたとき、以下の三つが順序の公理になる」

僕「うーん。群のときも思ったんだけど、 これって、実数のことを考えると当たり前に見えちゃうんだよね。 たとえば、最初の反射律だけど、 $x⪯x$ を見たとき、 そりゃそうだと考えてしまう。自分は自分以上だから」

ミルカ「君がいま言った言葉《実数のことを考えると当たり前に見える》 というのこそ、当たり前じゃないか。 反射律を満たしている実数全体の集合を想像しているから、反射律を満たしているわけだろう」

僕「まあそうなんだけどね。大小関係ならそりゃ反射律は満たすだろうけどね」

ミルカ「そんなことはない。大小関係といっても、 たとえば、実数の $<$ は反射律は満たさない」

僕「そうか……それもそうだね」

ミルカ「順序の公理では、反射律・反対称律・推移律。 この三つを使って《順序》という言葉の意味を厳密に定めようとしている」

僕「そう考えていくと、反対称律は等号を作り出しているといえそうだ」

ミルカ「そう考えるのもいいけれど、 私は $⪯$ と $=$ という二つの演算子の相互関係を述べていると読んだ」

僕「まあこれも当たり前っぽく見えるよね」

ミルカ「この反対称律は、どんな関係を排除しているかを考えるとよく理解できる」

僕「排除しているってどういう意味？」

ミルカ「いま、集合 $S$ に順序を入れようとしている。 もしも、反対称律が満たされなかったら、 私たちが求めている《順序らしさ》の一部を失うはずだ。 反対称律の存在によって守られている《順序らしさ》とはいったい何か」

僕「抽象的なクイズだなあ……ええと、 反対称律がなかったらどうなるかを考えればいいよね」