システム理論 ( 離散システム論 )

(1)

システム理論 ( ^{離散システム論} )

中村政隆

March 2008

(January 6, 2011)

(2)

1

集合

1

1.1

集合と要素

. . . . 1

1.2

順序対、直積集合

. . . . 1

1.3

関数

(写像) . . . . 1

1.4

集合の位数

. . . . 2

1.5

関係の定義、同値関係

. . . . 2

1.6

数の概念とペアノの公理、数学的帰納法

. . . . 3

2

順序と束

7 2.1

順序集合

. . . . 7

2.2

束

(lattice) . . . . 8

2.3

分配束

. . . . 8

2.4

モジュラー束

. . . . 10

2.5

セミモジュラー束

. . . . 10

2.6

幾何束

. . . . 11

3

グラフ理論

:

諸定義、平面グラフ

13 3.1

グラフとは

. . . . 13

3.2

グラフの基本的な諸概念

. . . . 13

3.3

基本カットセット行列、基本サーキット行列

. . . . 15

3.4

平面グラフ、彩色、木

. . . . 16

3.5

交差グラフ

(Intersection Graph) . . . . 18

3.6

三角化グラフ

. . . . 20

3.7

区間グラフ

. . . . 21

4

線形計画法

Linear Programming 23 4.1

線形不等式系と多面体

. . . . 23

4.2

数理計画法、凸計画法

. . . . 24

4.3

線形計画問題

. . . . 25

4.4

双対問題の幾何学的解釈と

LP

の双対定理

. . . . 26

5 Linear Programming 32 5.1 Linear Programming . . . . 32

5.2 Blocker and Packing . . . . 35

5.3 Integer Programming and the MFMC property . . . . 35

5.4 Packing Theorems . . . . 35

5.5 Anti-blocker and the Perfect Graph Theorem . . . . 38

5.6

線形計画法の応用例

. . . . 40

5.6.1

２人零和ゲーム

. . . . 40

5.6.2

輸送問題

. . . . 41

5.6.3

ネットワーク・フロー

. . . . 41

5.7

凸関数とその共役関数

(conjugate functions) . . . . 42

(3)

6

整多面体と組合せ的最大最小定理

44

6.1

全ユニモジュラー行列と多面体

. . . . 44

7

ネットワーク・フローと組合せ的最大最小定理

49 7.1

最大流問題

. . . . 49

7.2

最小費用流問題

. . . . 51

7.3

二部グラフの最大マッチング問題

. . . . 53

7.4

マッチング多面体

. . . . 55

8

計算の複雑さと

N P -完全問題 56 8.1

問題のクラス

NP . . . . 56

8.2 NP–完全性 . . . . 59

8.3

計算の複雑さ：時間計算量、領域計算量

. . . . 64

8.4 Worst Case Analysis and Mean Time Analysis . . . . 65

8.5

補遺

:

様々な

N P -完全問題 . . . . 66

8.6

数の複雑さ

—

チェイティンの定義

. . . . 69

9

最短路問題

70 9.1

最短路問題

. . . . 70

9.2

最短路問題の

LP

による定式化

. . . . 71

9.3

アサイクリックグラフの場合

. . . . 73

9.4

辺の長さが非負である場合の最短路問題の解法

(アルゴリズム) . . . . 73

9.5

すべての点対間の最短路を求める

—

行列かけ算法

. . . . 74

10 Blocking and Anti-blocking Theory —

多面体的組み合わせ論

77 10.1

集合族、多面体のブロッカー

. . . . 77

10.2

集合族、多面体のアンチ・ブロッカー

. . . . 80

10.3

ブロッキングペアとアンチ・ブロッキングペアの関係

. . . . 81

11 Matroid Theory 83 11.1

マトロイドの公理系

. . . . 83

11.2

マトロイドの例

. . . . 88

11.3

マイナー

. . . . 89

11.4

マトロイドの基本分類定理

. . . . 89

11.5 Matroid Intersection Theorem

と合併マトロイド

. . . . 90

11.6 Tutte

多項式、特徴多項式,

β -不変量 . . . . 92

11.7

最小重み全域木問題と欲張り算法

(Greedy algorithm) . . . . 95

11.8 Greedy Algorithm

とマトロイド、ポリマトロイド

. . . . 96

11.9 Poset

上の欲張りアルゴリズム

. . . . 99

11.10アンチマトロイドと凸幾何 . . . 100

11.11アンチマトロイドと欲張り算法 . . . 101

12

ポリマトロイドと劣モジュラー関数

103 12.1

定義と記法

. . . 103

12.2

ポリマトロイド

polymatroid . . . 103

12.3

劣モジュラー関数

. . . 104

(4)

12.4

ポリマトロイドの頂点の表現

. . . 104

12.5

ポリマトロイド交差定理

Polymatroid Intersection Theorem . . . 105

12.6 Matroid Intersection Problem . . . 107

12.6.1 Polymatroid Intersection Theorem . . . 107

12.7 Matroid Union . . . 107

13

ランダムウォーク、マルコフ連鎖、待ち行列

108 13.1

乱歩

(ランダムウォーク) . . . 108

13.2

マルコフ連鎖

. . . 108

13.3

ポアソン分布、指数分布、待ち行列

. . . 113

14

有限オートマトン、形式言語

117 14.1

有限オートマトン

. . . 117

14.2

有限状態機械

(ﬁnite state machine) . . . 118

14.3

生成規則と言語

. . . 119

14.4

正則表現

. . . 121

14.5 Post

システム：付録

. . . 123

15

帰納的関数とチューリング機械と決定不能問題

124 15.1

帰納的関数

. . . 124

15.2

チューリング機械

. . . 126

15.3

決定不能問題

. . . 128

16

自己言及とパラドックス

132

(5)

1 _集合

1.1

集合と要素

•

集合：特定された元

(要素)

の集まり。

∅

は空集合

•

集合の指定の仕方：

A = { 2, 3, 5, 7, 11 } A = { x : x is prime, 1 x 12 }

• p ∈ A : p

が集合

A

の要素である。

•

部分集合：A

⊆ B (or A ⊂ B)

•

集合の合併、共通部分、補集合、差、差分和

A ∪ B, A ∩ B, A

^c

(A), A \ B, A Δ B

• Demorgan

の法則

•

集合の位数

(cardinality): | A | = A

の要素の数

•

べき集合：

2

^E

,

または

P (E) |2

^E

| = 2

^|E|

•

慣用の記法：

N, Z, Q, R, C

1.2

順序対、直積集合

•

順序対

(a, b) = (a’,b’) iﬀ a=a’ and b=b’

• cf.

２元集合では

{ a, b } = {b, a }

•

直積

(product) of A and B : A × B = { (a, b) : a ∈ A, b ∈ B }

• R

²

= R × R

２次元空間,

R

³

= R × R × R

1.3

関数

(

写像

)

•

関数

f

とは、ある集合

X

の各元

x ∈ X

に対してある集合

Y

の元

f (x) ∈ Y

が一意に定まっているとき、その対応の関係のことを言う。ここで、

X

を定義域、

Y

を値域と呼び

f : X → Y

と書く

•

関数の対応の示し方：

f : x → x

²

+ x + 1, f (x) = x

²

+ x + 1

•

例：f

: R

²

→ R, f : (x

₁

, x

₂

) → x

²₁

+ x

²₂

− 1

•

関数のグラフ：

{ (x, y) : x ∈ X, y = f (x) } (

グラフ理論で言うグラフとは異なる。)

•

関数の性質：f 単射

(１対１写像)

とは

x = x

ならば

f (x) = f (x

)

をみたすこと全射

(上への写像)

とは、任意の

y ∈ T

である

x ∈ X

があって

y = f (x)

となること全射かつ単射であるとき全単射写像という。

(6)

1.4

集合の位数

•

集合の位数

(cardinality,

濃度、基数)：

|A|, #(A), card(A)

•

集合

A

と

B

の位数が同じ

⇐⇒ A

から

B

への全単射写像

f : A ← B

が存在する。

•

有限：集合

A

が有限集合であるとはある非負の整数

n

に対して

A

が

{ 1, 2, . . . , n }

と同じ位数になること。

•

可算無限

ℵ

₀ ：自然数、整数、有理数の位数

•

連続無限

ℵ

₁ ：実数の位数

•

命題可算集合の可算個の合併集合は可算である。

1.5

関係の定義、同値関係

関係という概念を形式化するのにはどのようにすればよいか考えてみる。人間のある集団

E

の中での親子という関係を考える。

a

が

b

の親であるような順序対

(a, b)

の全体を

R

とする。つまり、

R = { (a, b) ∈ E × E | a

が

b

の親である

}

逆に、この

R

を定めれば、集合

E

の中での「親子関係」が定まる。ゆえに、集合

E

上の関係という概念は、その直積集合の部分集合であると定めればよい。

Def. 1.1

集合

E

上の関係とは、その直積集合の部分集合

R ⊆ E × E

のことである。

普通

(a, b) ∈ R

のことを

a R b

と書く。

Def. 1.2

つぎを満たす関係

≡

は同値関係と呼ばれる。

(1) a ≡ a ( ∀ a ∈ E) [反射的 (reﬂexive)]

(2) a ≡ b

ならば

b ≡ a [対称的 (symmetric)]

(3) a ≡ b, b ≡ c

ならば

a ≡ c [推移的 (transitive)]

Def. 1.3

集合

E

上の同値関係

≡

がひとつ与えられているとする。ある元

a

に同値なもの全体の集合を

[a]

と書く。つまり、

[a] = { b : a ≡ b }

と定義する。aをこの同値類の代表元という。同値関係の性質から、ひとつの同値類の中の任意の２元は互いに同値になる。かつ、同値類は、代表元の取り方によらないで一意に定まる。つまり、a

≡ b

ならば

[a] = [b]

となる。

同値類の全体を

E / ≡

と書くと、E /

≡

は集合

E

の分割をなす。これを

E

の

≡

による商と呼ぶ。

演習

1.1 rm

上に述べられた性質を証明せよ。

例

1.1 (1)

整数の集合の上で、ある整数

p

で割った余りが同じとき、

a ≡ b (mod p)

とすると、同値関係になる。

(2)

自然数

N

の組の全体の上に次で同値関係

∼

を導入する。

(a, b) ∼ (a

, b

) ⇐⇒ a + b

= b + a

この同値関係による同値類の全体

N × N/ ∼

は、整数全体と同じと見なせる。

(3)

群

G

とその部分群

H

が与えられたとする。a

≡ b iﬀ ax = b ( ∃ x ∈ H )

とすると同値関係になる。この同値関係の同値類を

H

による左同値類という。右同値類も同様に定義できる。H の右同値類の全体と左同値類の全体が一致するするための必要十分条件は、H が正則部分群であることである。

(7)

1.6

数の概念とペアノの公理、数学的帰納法

数は、自然数から始めて、整数、有理数、実数と拡張して規定することができる。自然数全体の集合

N

を特徴づけるものとして、ペアノの公理系がある。まず自然数

1

があり、各自然数

x

にその後者

(successor) x

⁺ を対応させる写像

ψ

があり、以下を満たすものとして整数を定義できる。

(1) 1 ∈ N,

(2) x ∈ N

ならば

x

⁺

∈ N, (3) x ∈ N

ならば

x

⁺

= 1,

(4) x

⁺

= y

⁺

(x, y ∈ N )

ならば

x = y,

(5)

集合

M

が

1 ∈ M

と

x ∈ M ⇒ x

⁺

∈ M

の２条件を満たせば

N ⊆ M .

x

⁺ は通常の意味では

x + 1

に相応する。条件

(4)

より写像

ψ

は単射になる。また任意の

y ∈ N y = 1

に対して、y

= x

⁺ となる

x

が存在する。もし存在しなければ、M

= N − { y }

に関して極小性の条件

(5)

が成立しなくなる。

数学的帰納法は、自然数

n

に関する性質

P (n)

が以下を満たせば、自然数全体で成立することを言うものである。

(1) P (1)

が成立する。

(2)

任意の自然数

k

で、P(k)が正しいならば

P (k + 1)

も正しい。

P(k)

が成立している数

k

の全体を

M

とすれば、ペアノの公理系の第５公理からただちに

M = N

ｔなる。つまり、数学的帰納法が正しいことを保証している。（ポアンカレは「科学と仮説」(岩波文庫)の中で、

なぜ数学のすべてがただの同語反復になってしまわないのかと次のように疑問を呈している。

「もし数学が演繹的なのは見かけだけにすぎないのならば、誰も夢にも疑おうとしないこの完全な厳密性はどこからくるのか。もし反対に数学で述べている命題全部が形式論理学の規則によって次から次へ引き出すことが出来るならば、どうして数学は大規模な同語反復に帰してしまわないのであろうか。三段論法は我々に何も本質的に新しいことを教えることは出来ないし、もしすべてが同一律から出てくるものであるのだとすれば、すべてはそこにまた帰着するはずである。

それではかくも多くの書物を充たしている定理の全部の叙述は「ＡはＡである」というのを回りくどい方法で言ったものに過ぎないということを承認しなければいけないのか。」

そこでポアンカレは、数学がかくも豊かな内容を持つ秘密のひとつは、数学的帰納法利用するところにあると書いている。）

自然数から整数を構成するのにつぎのような代数的方法がある。自然数の対

(k, l)

の全体

M = N×N

として、その上の同値関係

(k, l) ∼ (m, n)

を

k + m = l +n

で定義する。この同値類として整数の集合

Z = M/ ∼

が定義できる。

(

課題

1.1

を参照

)

有理数の構成。整数の対

(a, b)

で

b = 0

であるものの全体を

P

として、その上の同値関係

(a, b) ∼ (c, d)

を

ad = bc

で定義したときの同値類の全体

P/ ∼

が有理数の全体

Q

になる。

実数の構成。Dedekindは集合の切断という概念をもとにして実数を構成してみせた。有理数の全体

Q

の非空集合への分割

Q = A ∪ B (A, B = ∅)

が

a ∈ A, b ∈ B → a < b

をみたすとき、切断と呼ばれる。この切断の全体として、実数が定義できる。別に、Cauchy列に基づく方法がある。有理数の列

{a

n

}

が、任意の正の有理数

e > 0

に対してある数

N

があって

N

より大きい任意の

n, m

に対して

|a

n

− a

_m

| < e

となるとき、Cauchy列であるという。ここで２つの

Cauchy

列

{a

n

}, {b

n

}

で

{a

1

, b

₁

, . . . , a

_n

, b

_n

, . . . }

が再び

(8)

Cauchy

列になるとき

{a

n

} ∼ {b

n

}

とすると、これは同値関係になる。この同値類の全体として実数が定義できる。Dedekindの実数と

Cauchy

の実数は同型であることが知られている。Cauchyの実数の定義からは、実数の完備性が定義から直ちに成立することが保証される。

数の概念数の公理から、整数の加法、乗法の定義等を公理的に構成してみよう。(高木貞治「数の概念」より

)

ここでは、まず整数の集合

Z

を公理的に構成する。

(I) Z

は非空集合で、

Z

上の恒等写でない全単射写像

ϕ : Z → Z

が存在する。

(II) Z

の部分集合

M

上で

ϕ

が全単射になれば、M

= Z

である。

x

⁺

= ϕ(x), x

⁻

= ϕ

⁻¹ と書くことにする。M

⊆ Z

のとき

M

⁺

= {x

⁺

: x ∈ M }, M

⁻

= {x

⁻

: x ∈ M }

とする。これを使うと公理系は

(I) ϕ

は１対１対応で

Z

⁺

= Z

(II) ∅ = M ⊆ Z

かつ

M

⁺

= M

ならば

M = Z

と書ける。

この公理系の枠組みで数学的帰納法の形は、

(1)

ある数

a

で命題

P(a)

が成立することを示す。

(2)

任意の

x

において、

P (x)

が真ならば

P (x

⁺

), P (x

⁻

)

が真になることを示す。

これから、任意の

x

で

P(x)

が成立すると結論するものである。ここで

M = {x ∈ Z : P (x)

が真である

}

とすると、(1)より

M

は非空でかつ

(2)

から

M = M

⁺

= M

⁻

.

公理から

M = Z

であるとわかる。ゆえに数学的帰納法が正しいとわかる。

Def. 1.4

数の集合

K

が

K

⁺

⊆ K、つまり x ∈ K

ならば

x

⁺

∈ K

であるとき、昇列であるという。また

a ∈ Z

に対して

a

を含むような昇列の全体の共通部分のなす昇列を

K(a)

と書く。

補題

1.1 M ⊆ L

ならば

M

⁺

⊆ L

⁺

. (Proof) ϕ

が写像であることから明らか。

補題

1.2 K

が昇列ならば

K

⁺

, K

⁻ も昇列になる。

(Proof)

仮定から

K

⁺

⊆ K

ゆえに

(K

⁺

)

⁺

⊆ K

⁺すなわち

K

⁺ は昇列。

命題

1.1 K(a

⁺

) = K(a)

⁺

, K(a

⁻

) = K(a)

⁻

(Proof) K(a

⁺

) = K(a)

⁺ を示す。定義から

a ∈ K(a)、ゆえに a

⁺

∈ K(a)

⁺

. K(a)

⁺ は昇列であるから、

昇列の定義より

K(a+) ⊆ K(a)

⁺

.

一方

a

⁺

∈ K(a

⁺

)

だから

a ∈ K(a

⁺

)

⁻

.

ここで

K(a

⁺

)

⁻ は昇列だから

K(a) ⊆ K(a

⁺

)

⁻ ゆえに

K(a)

⁺

⊆ K(a

⁺

).

これらをあわせると

K(a

⁺

) = K(a)

⁺

.

残りも同様。

命題

1.2

ある数

a

に関して

K(a) = Z

ならば、任意の

x

で

K(x) = Z .

(Proof) M = { x | K(x) = Z}

とする。

a ∈ M

より

M = ∅ . x ∈ M

つまり

K(x) = Z

とすると

K(x

^±

) = K(x)

^±

= Z

^±

= Z

ゆえに公理から

M = Z

命題

1.2

により次の二つの場合のどちらかになると分かる。

(1)

すべての数

x

で

K(x) = Z. [無限列]

(2)

すべての数

x

で

K(x) = Z . [有限サイクル]

(9)

加法の構成。加法は関数

x → ϕ(x) = x

⁺ の反復として定義される。xに

a

を足す関数

x + a

の役割を果たす関数

F

_a

(x)

を次のように導入する。まず、ϕが次を満たすことに注意する。

ϕ(x

⁺

) = ϕ(ϕ(x)) = (ϕ(x))

⁺

Def. 1.5

数

Z

の中から任意にひとつの数を取り、それを記号

0

で表わす。さらに、0 + = 1,

1 + = 2, . . .

と書くことにする。

定理

1.1

任意の

a

で、次の条件をみたす関数

F

F(0) = a,

任意の

x

で

F (x

⁺

) = F (x)

⁺

(1.1)

が一意に存在する。これを

F

_a

(x)

(Proof)

一意性。二つの関数

F (x), G(x)

がともに条件を満たしたとする。F(x) =

G(x)

となる数

x

の全体を

M

とする。F

(0) = G(0) = a

だから

0 ∈ M

で、M は非空。ある

x

で

F(x) = G(x)

であったとする。

F (x

⁺

) = F (x)

⁺

, G(x

⁺

) = G(x)

⁺ だから

F (x

⁺

) = G(x

⁺

).

同様に

F (x

⁻

) = F (x)

⁻

, G(x

⁻

) = G(x)

⁻ より

F (x

⁻

) = G(x

⁻

).

ゆえに数学的帰納法より

M = Z.

存在の証明。a

= 0, 1

の場合は

F

₀

(x) = x, F

₁

(x) = x

⁺ で自明。aに関する帰納法を使う。F_a が存在したとして、F_a+

(x), F

_a−

(x)

の存在を示す。それには、

F

_a+

(x) = F

_a

(x)

⁺

, F

_a−

(x) = F

_a

(x)

⁻ と定義する。すると、

F

_a+

(0) = F

_a

(0)

⁺

= a

⁺

F

_a+

(x

⁺

) = F

_a

(x

⁺

)

⁺

= (F

_a

(x)

⁺

)

⁺

= (F

_a+

(x))

⁺

となって、条件を満たす。

F

_a−

(x)

についても同様。よって数学的帰納法により任意の

a

で条件を満たす

F

_a

(x)

が存在する。

Def. 1.6 F

_a

(x) = x + a

今までに知られた事実

F

_a+

(x) = F

_a

(x

⁺

) = F

_a

(x)

⁺ を上の記法で書くと、

x + a

⁺

= x

⁺

+ a = (x + a)

⁺ 定理

1.2 (交換律) a + b = b + a

(Proof) G(a) = b + a = F

_a

(b)

とおく。まず、G(0) =

F

₀

(b) = b.

そして

G(a

⁺

) = F

_a+

(b) = F

_a

(b)

⁺

= G(a)

⁺ 故に定理

1.1

より

G(x) = F

_b

(x).

ゆえに

b + a = G(a) = F

_b

(a) = a + b

演習

1.2

次を示せ。

(1) 0 + a = a, a + 0 = a

(2) a + (−a) = 0, (−a) + a = 0

(10)

定理

1.3 (

結合律

) (a + b) + c = a + (b + c)

(Proof) φ(a) = (a + b) + c)

とおくと、φ(0) =

b + c

かつ

φ(a

⁺

) = (a

⁺

+ b) + c = (a + B)

⁺

+ c = ((a + b) + c)

⁺

= φ(a)

⁺ ゆえに、φ(a) =

a + (b + c).

ゆえに

(a + b) + c = a + (b + c).

定理

1.4 (

引き算

)

任意の

a, b

に対して、次の式を満たす

x

が一意に存在する。

x + a = b

Def. 1.7 x + a = b

の解を

x = b − a

と書くことにする。0

− a

を

−a

と略記する。

すると、(b

+ ( − a)) + a = b + (( − a) + a) = b + 0 = b

だから引き算の一意性より、b

+ ( − a) = b − a

とわかる。

乗法の定義。

定理

1.5 (

乗法

)

任意の数

a

に対して、次をみたす

x

の関数

f (x, a)

が一意に存在して定まる。

f (0, a) = 0, (1.2)

f (x

⁺

, a) = f (x, a) + a (1.3)

(Proof) (一意性) f (x, a), g(x, a)

がともに条件をみたすとする。x

= 0

で

f (0, a) = g(0, a) = 0. f (x, a) = g(x, a)

と仮定すると、

f (x

⁺

, a) = f (x, a) + a = g(x, a) + a = g(x

⁺

, a).

ゆえに

f (x

⁺

, a) = g(x

⁺

, a)

同様に

f (x

⁻

, a) = g(x

⁻

, a)

帰納法により

f = g

(存在)

略。

次が成立する。

x · 0 = 0, 0 · x = 0, (1.4)

(x + 1)y = xy + 1, x(y + 1) = xy + x (1.5)

Def. 1.8

この

f (x, a)

を通常の記法として

xa

と書く。

定理

1.6 (

積の交換律

) xy = yx

(Proof) f (x) = yx

とする。上の

(1.4)

から

f (0) = 0 (1.5)

から

f (x

⁺

) = y(x + 1) = yx + y = f (x) + y

定理

1.5

より

f (x) = xy

つまり

yx = xy

演習

1.3 (xy)z = x(yz) [結合律]

が成立することを示せ。

課題

1.1

ペアノの公理を出発点にとり、自然数から整数を構成し、そこで加法と減法を定義してその基本的な性質を証明してみよ。

(11)

2 _順序と束

2.1

順序集合

Def. 2.1

半順序集合

P = (E, )

とは、集合

E

とその上の２項関係

の組で、次の性質を満たすものである。

(1) x x ( ∀ x ∈ E), [反射的 (reﬂexive)]

(2) x y, y x ⇒ x = y, [反対称的 (anti-symmetric)]

(3) x y, y z ⇒ x z. [推移的 (transitive)]

上の

(2)

を除いた条件で定義されるものを擬順序という。また、半順序集合がさらに

(4) ∀x, y ∈ E

で

x

又は

y x

の少なくとも一方が成立する。

を満たすとき、全順序という。もしくは線形順序とも言われる。

例

2.1 P

を人間の集合

E

上の親子関係とする。この

P

は反射的ではない。対称的でもない。推移的でもない。親子関係を、親子を含めた先祖−子孫関係とすると推移的になる。そこで関係

P

を拡張して

a ≺ b

となるのは

a = b

または

a

が

b

の祖先であるときとして定義するとこの関係

≺

は半順序関係になる。

例

2.2 (1)

正の整数の全体で、a|b を「

a

が

b

割り切る」という関係とするとこれは半順序になる。a, b が互いにどちらの約数にもならないときは、この２元は互いに比較不能である。

(2)

集合の包含関係も半順序になる。

(P, )

を半順序集合とする。以下では、P が有限か局所有限、つまり任意の２元の間の鎖の長さが有限になる、ことを仮定する。

Def. 2.2 a b

でかつ

a c b

ならば常に

a = c

または

c = b

が成り立つとき、つまり

a

と

b

の”あいだに入る元がない”とき、bは

a

をカバー

(cover)

する、b は

a

の直後にある、aは

b

の直前にある、という。

これを

x ·y

とも書く。

有限半順序集合は、図式にして表すと理解しやすい。直前直後の関係にある元の間に線を引き、半順序関係で大きい方のものを上のほうに書いて表した図を

Hassa

図という。

x

₀

< x

₁

< . . . < x

_k

(x

_i

∈ P)

となる元の列を鎖

(chain)

という。このとき

k

をこの鎖の長さという。

また、その中の任意の２元が比較不能であるような集合

A ⊆ P

を反鎖

(antichain)

という。この鎖の組と反鎖のサイズに関して次の最大最小定理が成立することがよく知られており、これは組み合わせ理論の中の

Max-min

型定理の代表的なもののひとつとである。

定理

2.1 (Dilworth

の定理) 有限な半順序集合で、全集合を被覆するのに必要な鎖の数の最小値は、反鎖

集合のサイズの最大値に等しい。

Def. 2.3

最小元

O

をもつ半順序集合において、任意の元

x

に対して最小元から

x

への極大鎖がすべて同じ長さを持つとき、Jordan-Dedekind鎖条件を満たすという。このときこの極大鎖の長さを

x

の高さと言い、

h(x)

と書く。特に最大元

I

が存在するときは、その高さを

P

の高さという。

例

2.3

ある数

a

が

b

を割り切るとき

a b

と書くとする。(これは通常

a | b

と書かれる。)ある数

K

とその約数の全体はこの順序関係に関して、半順序集合になる。

また、整数全体の集合

Z

もこの関係に関して、半順序集合になる。これは無限集合の半順序集合の例である。(これは束にもなる。)

(12)

例

2.4

正の整数

n

の分割とは、足して

n

になるような正の整数の組のことである。ひとつの分割

π

をさらに細分することにより分割

π

が得られるとき

π

とするとこれは半順序関係になる。例えば、

(1, 1, 1, 1, 1) (2, 2, 1) (3, 2) (5)

となる。(これは束にもなる。

)

2.2

束

(lattice)

Def. 2.4 (P, )

を半順序集合とする。その２元

x, y

に対して

x z, y z

となる

z

を共通上界という。

z x, z y

となるとき、共通下界という。共通上界の全体の中に最小元があるとき、これをこの２つの元

の結び

(join)

と言い

x ∨ y

と書く。共通下界の中に最大元が存在するとき、これを２つの元の交わり

(meet)

と言い、

x ∧ y

と書く。任意の

x, y

に対してその結びと交わり

x ∨ y, x ∧ y

がともに存在するとき、この半順序集合は束であるという。

結び

∨

と交わり

∧

を２項演算子とみなして、この２項演算子がみたすべき公理系から束を定義することもできる。このときもっとも基本的な次の関係がその二つを結びつける。

a b ⇐⇒ a ∧ b = a ⇐⇒ a ∨ b = b

Def. 2.5 L

が最小元

O

を持つとき、O をカバーする元を原子

(atom)

と言う。

Def. 2.6

束

L

の部分集合

M

が部分束であるとは、M がもとの集合

L

の

∨

と

∧

に関して閉じていることである。

Def. 2.7

元

x, y (x y)

に対して、集合

[x, y] = {z ∈ L|x z y}

を区間という。区間は、部分束の特別な場合である。

ここでは、簡単のため特に断らない限り「束はすべて有限束である」とする。

束の種類として、主なものとして次のようなものがある。

•

分配束

(distributive lattices)

•

モジュラー束

(modular lattices)

• (semimodular lattices

•

幾何束

•

ブール代数

クラスの包含関係は次のようになっている。

⊃

モジュラー束

⊃

分配束

⊃

ブール代数

2.3

分配束

Def. 2.8

束が次の分配律

x ∧ (y ∨ z) = (x ∧ y) ∨ (x ∧ z) (2.1)

x ∨ (y ∧ z) = (x ∨ y) ∧ (x ∨ z) (2.2)

を満たすとき、分配束という。

(13)

分配束の部分束は分配束になる。分配束の直積は再び分配束になる。鎖は常に分配束である。サイズが

n

の集合

S

の部分集合の全体が包含関係に関してなす束は、

Boole

代数

B (n)

と呼ばれる。これは、長さ１の鎖

n

個の直積なので、特に分配束になる。さらに、集合の合併と交差に関して閉じている集合族は、Boole 代数の部分束になり、特に分配束になる。

Def. 2.9 L

の元

p = O

が既約元

(join-irreducible)

であるとは、

p = a ∨ b = ⇒ p = a or p = b

補題

2.1 p

が分配束の既約元とする。すると、

p a

₁

∨ . . . ∨ a

_k

⇒ ∃ i p = a

_i

(Proof)

分配律より

p = p ∧ (

_k

i=1

a

_i

) =

_k

i=1

(p ∧ a

_i

)

ゆえにある

i

で

p = p ∧ a

_iつまり

p a

_i

.

原子は自明に既約元であり、

{p

1

, p

₂

, . . . }

が原子の集合であれば

p

₁

< p

₁

∨ p

₂

< p

₁

∨ p

₂

∨ p

₃

< . . .

はどの２つの元も異なる上昇列になる。

補題

2.2 L

を最小元

O

をもつ分配束とする。

O

以外の任意の元

a

は

join-ireducible

な元のある組

p

₁

, p

₂

, . . . , p

_k の結び

a = p

₁

∨ p

₂

∨ . . . , ∨p

k として一意に分解できる。これから

P (a) = {p

₁

, . . . , p

_k

}, P (0) = ∅

とおく。

(Proof) a

が分解できなればそれ自身が既約であり、分解をできる限り続ければ結局、既約元の結びに書け

ることは明らか。一意性を示す。

a = p

₁

∨ . . . ∨ p

_k

= q

₁

∨ ∧ ∨ q

_m

とする。任意の

i

で

p

_i

q

₁

∨ . . . ∨ q

_m だから補題

2.1

よりある

j

で

p

_i

q

_j

.

同様にある

h

で

q

_j

p

_h

.

ゆえに

p

_i

= q

_j

.

これを繰り返せば

{p

i

}

と

{q

j

}

が集合として一致することが分かる。

分配束の元

a ∈ L

に対して定まる

P (a)

は半順序集合

P

の中の反鎖になっている。

Def. 2.10 poset P

の部分集合

I

がイデアルとは、

x ∈ I

かつ

y x = ⇒ y ∈ I.

イデアルの補集合をフィルターという。つまり、フィルターは双対束のイデアルのことである。ひとつの元で生成されるイデアルを主イデアル

principal ideal

という。

P

のイデアルの全体

I(P )

は集合の合併と交わりについて閉じているので分配束になる。I(P

)

の既約元

(join-irreducible)

は、P の

principal ideal

になる。

定理

2.2 (Birkhoﬀ,

分配束の表現定理

) L

を有限な分配束で、その

join-irreducible

元の全体を

P

とする。

このとき、つぎの同型射

φ : a → I(a) = {p ∈ P | p a} (a ∈ L)

のもとで同型

L ∼ = I (P )

が成立する。

逆に、Iは分配束になり、その既約元の全体は半順序集合として

P

に同型になる。特に、Lが有限ならば、L

∼ = I

である。

(14)

(Proof)

補題

2.2

より各元

a

は

I(a)

中の既約元の結びとして一意に書けるので、φは単射である。I

∈ I(P )

として

b = sup I

とすると

I ⊆ I(b).

しかし各

p ∈ I(b)

に対して

p sup I

ゆえに補題

2.1

より

p ∈ I.

結局

P

の有限なイデアルは

I(a)

のかたちになり、ゆえに

φ

は全射でもある。L 中で

a b

ならば

I(a) ⊆ I(b)

は明らか。逆に

I(a) ⊆ I(b)

ならば

a = sup I(a) sup I(b) = b.

ゆえに

φ

は束の同型射になる。また、分配束

I(P)

の中の元、つまり

P

のイデアル、は空集合であるか、主イデアル

I(a) (a ∈ P)

である。

系

2.1

有限分配束において、その

join-irreducible

元の全体の半順序集合

P

と

meet-irreducible

元の全体のなす半順序集合

Q

は同型である。

(Proof)

定理

2.3

最小元

0

を持つ分配束は、ある

Boole

代数の部分束に同型になっている。

2.4

モジュラー束

Def. 2.11

モジュラー束。任意の

x, y, z

について

x y

ならば

(z ∨ x) ∧ y = (z ∧ y) ∨ x

区間

[a ∧ b, a]

と

[b, a ∨ b]

との間の写像を次のように定義する。

φ

_b

: [a ∧ b, a] → [b, a ∨ b], z → z ∨ b

ψ

_a

: [b, a ∨ b] → [a ∧ b, a], z → z ∧ a (2.3)

命題

2.1

束

L

がモジュラーであるための必要十分条件は、任意の

a, b ∈ L

で

φ

_b

, ψ

_aが

[a ∧ b, a]

と

[b, a ∨ b]

の間の同型射になり、かつ互いに逆写像になることである。

Def. 2.12

区間

[a ∧ b, a]

と

[b, a ∨ b]

は互いに転置であるという。区間

I, J

に対して区間の列

I = I

₁

, I

₂

, . . . , I

_k

= J

があって隣り合うどの二つも互いに転置になっているとき、

I

と

J

は射影的であるという。

系

2.2

モジュラー束の中で、射影的な区間は互いに同型であり、かつこの逆も私立する。

命題

2.2

束がモジュラー束であるための必要十分条件は、

N

₅に同型な部分束を含まないことである。

命題

2.3

束が分配束であるための必要十分条件は、

N

₅または

M

₅に同型な部分束を含まないことである。

2.5 Def. 2.13

(semimodular lattice)。

a ∧ b < · a = ⇒ b < · a ∨ b

下半セミモジュラー束。

b < · a ∨ b = ⇒ a ∧ b < · a

セミモジュラーかつ下半セミモジュラーであれば、モジュラーになり、かつその逆も成立する。

補題

2.3

セミモジュラー束は、Jordan-Dedekind条件を満たす。

(15)

定理

2.4 L

が最小元

0

をもつ束とする。このとき、Lがセミモジュラーであれば、その階数関数

r

は以下を満たすし、その逆も成立する。

r(x ∧ y) + r(x ∨ y) r(x) + r(y)

また、Lがモジュラーであるための必要十分条件は、上で常に等号が成立することである。

例

2.5 (1)

束

S

₇

= {∅, {1}, {2}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}}

はモジュラーでないセミモジュラー束の最小のものである。モジュラー束がセミモジュラーになるための必要十分条件は、

S

₇ を区間

(部分束 ?)

として含まないことである。

(2)

サイズが

3

より大きい集合の分割束

P (n) (n > 3)

はセミモジュラーだが、モジュラーにならない。

Def. 2.14 2

^S 上の写像

σ

が以下を満たすとき、閉包作用素という。

(1) A ⊆ σ(A),

(2) A ⊆ B = ⇒ σ(A) ⊆ σ(B), (3) σ(σ(A)) = σ(A).

A = σ(A)

のとき

A

を閉集合と呼ぶ。閉集合の全体は次の演算で束になる。

A ∧ B = A ∩ B, A ∨ B = σ(A ∩ B)

さらに、σが次の

Steinitz

交換公理を満たせば、閉集合の全体はセミモジュラー束になる。

p ∈ σ(A), p ∈ σ(A ∪ q) = ⇒ q ∈ σ(A ∪ p)

例

2.6

このような閉包作用素から与えられるセミモジュラー束として、

(1) division ring

上のベクトル空間

V

上で

A ⊆ V

に対して

A

の張る線形部分空間を

< A >

とすれば、

これは

Steinitz

の交換公理を満たす閉包作用素である。ゆえに、この閉集合の全体、つまり

V

の線形

部分空間の全体はセミモジュラー束になると分かるが、さらに階数関数がモジュラー等式を満たすので、モジュラー束になっている。

(2)

体

F

が体

K

の拡大体であるとき、各

A ⊆ F

に対して

K

上

A

に代数的に従属な元の全体を加える操作は、上の閉包作用素の交換公理をみたす。

Def. 2.15

束

L

の任意の元

a ∈ L

が

a

以下の

atom

の全体の

join

に同じになるとき、L は

atomic

又は

point lattice

と呼ばれる。

例

2.7

上の例のような閉包作用素で定義される束は

point lattice

になる。つまり、次で述べる幾何束になる。

2.6

幾何束

Def. 2.16 atomic

なセミモジュラー束で無限長の鎖を含まないものを、幾何束

(geometric lattice)

という。

命題

2.4

マトロイドの閉集合

(ﬂat, closed set)

の全体は幾何束をなす。

Def. 2.17

射影平面又は射影幾何とは、集合

P

とその部分集合の族

G

で以下を満たすもののこと。Pの元

は点、

G

の元は直線と呼ばれる。

(16)

(i)

どの２つの点に対してもそれらを含む直線がちょうどひとつある。

(ii)

点

P, Q, R

が同一直線上になく三角形をなすととする。ある直線

L

がその３辺の直線の内２本と交わ

れば、残りの１本とも交わる。

(iii)

書く直線は互いに異なる点を少なくとも２つ持つ。

(iv) P

の次元は有限である。

この

(P, G)

を射影空間という。特に次元が２の射影空間は、射影平面と呼ばれる。

Def. 2.18 division ring K

上の

n-次元ベクトル空間 V (n, K )

を考える。V の階数１の部分空間を点、階数２の部分空間を直線とする射影空間を、次元

n − 1

の射影幾何学

P G(n − 1, K)

と呼ぶ。

命題

2.5

射影空間

(P, G)

の部分空間全体

L(P, G)

はモジュラーな幾何束になる。

逆に、モジュラーな幾何束は射影空間で構成できる。

定理

2.5 (Birkhoﬀ )

モジュラー幾何束は、射影空間の束

L(P, G)

の直積になる。

定理

2.6

分配的な幾何束は

Boole

代数にほかならない。

Def. 2.19

相補束。束が

0, 1

を持ち、任意の元

a

に対してその補

a’

が存在して

a ∧ a

= 0, a ∨ a

= 1

となるとき、相補束であるという。またその中の任意の区間が相補束になるとき、相対相補束という。

命題

2.6

有限なセミモジュラー束が幾何束であるための必要十分条件は、それが相対相補束であることである。

システム理論 ( 離散システム論 )