20210430: では環境破壊を始めていこうと思います

モデル理論,社会問題,初等幾何

では環境破壊を始めていこうと思います. どうせ証明もアウトラインしか書いてないとこあるし.

前幾何

集合 $M$ と写像 $c : P (M) \to P (M)$ の組 $(M, c)$ であって, 次の性質を充たすものを前幾何という:

$A \subset M$ について $A \subset c (A)$ ,
$A \subset B \subset M$ について $c (A) \subset c (B)$ ,
$A \subset M$ について $c (c (A)) = c (A)$ ,
$A \subset M$ と $a, b \in M$ について, $b \in c (A \cup {a}) ∖ c (A)$ ならば $a \in c (A \cup {b})$ ,
$A \subset M$ と $x \in c (A)$ について, ある有限集合 $Y \subset A$ が存在して $x \in c (Y)$ が成り立つ.

幾何

前幾何 $(M, c)$ が幾何であるとは, 次の性質を充たすことをいう:

$a \in M$ について $c ({a}) = {a}$ .

長ったらしいですね. というわけで例をみていきましょう.

幾何としての集合

集合 $X$ に対して, $Y \subset X$ に対し $Y$ を充てる写像 $c : P (X) \to P (X)$ を取ると, $(X, c)$ は前幾何となる.

前幾何の条件が充たされることをひとつずつ確認していく.

$A \subset c (A)$ について, $A \subset A$ より明らか.
$A \subset B$ ならば $c (A) \subset c (B)$ であることについて, $A \subset B$ より明らか.
$c (c (A)) = c (A)$ であることについて, $A = A$ より明らか.
$a, b \in X$ について, $b \in c (A \cup {a}) ∖ c (A)$ ならば $b = a$ が成り立つため, $a \in c (A \cup {b})$ が成り立つ.
$x \in c (A)$ について, このとき $x \in A$ より, $x \in c ({x})$ が成り立ち, また ${x} \subset A$ が成り立つ.

よって $(X, c)$ は前幾何である. さらに, $a \in X$ について $c ({a}) = {a}$ が成り立つので, これは幾何である.

無向グラフ上に定まる前幾何

無向グラフ $(V, E)$ について, $a \in V$ に対し, $a$ と辺で接続している頂点全体を $N (a)$ とおき, また $A \subset V$ に対して $N (A) = ⋃_{a \in A} N (a)$ と定義する. このとき, $c (A) = ⋃_{n \in N} N^{n} (A)$ とおくと, $(V, c)$ は前幾何となる.

条件を確かめていく.

$A \subset c (A)$ は明らか.
$A \subset B$ について $c (A) \subset c (B)$ は明らか.
$x \in c (c (A))$ ならば, $x$ と $c (A)$ の点とのあいだをつなぐ道が存在する. よって $x \in c (A)$ が成り立つ.
$b \in c (A \cup {a}) ∖ c (A)$ が成り立つとき, $b$ と $A \cup {a}$ の要素をつなぐ任意の道 $P$ をとると, $P$ は $A$ の点とはつながらないため, $a$ とつながっている. 従って $b \in c (A \cup {a})$ が成り立つ.
$x \in c (A)$ であるならば, $x$ と $A$ の点をつなぐ道 $P$ が存在する. $P$ が $A$ の点 $y$ とつながっているとき, $x \in c ({y})$ が成り立つ.

例にあげた前幾何はいずれも $c (A) = ⋃_{a \in A} c ({a})$ を充たす.

前幾何 $(M, c)$ であって, $c (A) = ⋃_{a \in A} c ({a})$ を充たすものを自明な前幾何という.

前幾何としてのベクトル空間

体 $k$ 上のベクトル空間 $V$ について, $A \subset V$ に対し $c (A)$ を $A$ が張る $V$ の部分空間の台集合として定める. このとき, $(V, c)$ は前幾何となる. この前幾何について, $V$ が $2$ 次元以上であるときには自明ではない.

独立性

前幾何 $(M, c)$ について, $A \subset M$ が独立であるとは, 任意の $a \in A$ について $a \notin c (A ∖ {a})$ が成り立つことをいう.

基底

前幾何 $(M, c)$ と $A \subset M$ に対して, $B$ が $A$ の基底であるとは, 次の性質を充たすことをいう:

$B \subset A$
$A \subset c (B)$
$B$ は独立

基底の存在

前幾何 $(M, c)$ と集合 $A \subset M$ に対して, $A$ には基底が存在する.

$A$ に含まれる独立集合全体の集合に包含によって順序をいれたものは Zorn の補題より極大元を持つ.

このとき極大元を $B$ として任意に取る. このとき, $A \subset c (B)$ が成り立っていないならば, $c (B)$ にない $A$ の元 $a$ を任意に取ると, $B$ の極大性より $B \cup {a}$ は独立でなくなる. $a \notin c (B)$ より, ある $b \in B$ が存在して $b \in c (B \cup {a} ∖ {b})$ が成り立つ.

ここで, $b \notin c (B ∖ {b})$ であったため, $a \in c (B ∖ {b} \cup {b}) = c (B)$ となりこれは矛盾である. よって, $B$ は $A$ の基底であった.

前幾何の局所化

前幾何 $(M, c)$ と $X \subset M$ について $c_{X} (A) = c (A \cup X)$ として定まる $c_{X}$ は $M$ 上に前幾何を定める.

$A \subset c_{X} (A)$ は明らか.
$A \subset B$ について $c_{X} (A) \subset c_{X} (B)$ は明らか.
$c_{X} (c_{X} (A)) = c (c (A \cup X) \cup X)$ であるが, c(A \cup X) は $X$ を含むためこれは $c (c (A \cup X)) = c (A \cup X) = c_{X} (A)$ と一致する.
$b \in c_{X} (A \cup {a}) ∖ c_{X} (A)$ であるとき, $a \in c (A \cup X \cup {b}) = c_{X} (A \cup {b})$ が成り立つ.
明らか.

基底の等濃度性

前幾何 $(M, c)$ と $A \subset M$ とその基底 $B$ , $C$ に対して, $B$ と $C$ の濃度は等しい.

$B$ が有限である場合と無限である場合にわけて考える.

$B$ が有限である場合, 濃度についての帰納法により示す. $B = \emptyset$ であるとき, $c \in C$ なる元について $c \in c (C ∖ {c})$ が成り立つため, これは矛盾する. よって $C = \emptyset$ である. $B = {b_{1}, \dots, b_{n}}$ とかけ, また $C = {c_{1}, \dots, c_{m}}$ とかけるとき, ${b_{2}, \dots, b_{n}}$ が基底でないことから, $C$ の元で $c ({b_{2}, \dots, c_{n}})$ に含まれないものが存在する. この $C$ の元を $c_{1}$ とおく. ここで $c_{1} \in c (B) ∖ c ({b_{2}, \dots, b_{n}})$ より, $b_{1} \in c ({c_{1}, b_{2}, \dots, b_{n}})$ が成り立つため, ${c_{1}, b_{2}, \dots, b_{n}}$ もまた $A$ の基底となる. ここで, $(M, c_{{c_{1}}})$ においては ${b_{2}, \dots, b_{n}}$ , ${c_{2}, \dots, c_{m}}$ のいずれも基底となる. このとき帰納法の仮定により, $n = m$ が成り立つ.

$B$ が無限集合である場合, $b \in B$ について $b \in c (Y_{b})$ となるような有限集合 $Y_{b} \subset C$ が存在する. このとき $b$ に $Y_{b}$ を充てる写像 $f : B \to P^{< ω} (C)$ を考える. このとき, $Y \in P^{< ω} (C)$ について $f^{- 1} (Y)$ が無限集合であると, $f^{- 1} (Y)$ の独立性より, 上記の有限の場合の結果に違反する. よって $f^{- 1} (Y)$ は有限集合である. したがって $| B | \leq | C |$ が成り立つ. 同様に $| C | \leq | B |$ が成り立つ.