では環境破壊を始めていこうと思います. どうせ証明もアウトラインしか書いてないとこあるし.
集合 $M$ と写像 $c \colon \pow{M} \to \pow{M}$ の組 $(M,c)$ であって, 次の性質を充たすものを前幾何という:
前幾何 $(M,c)$ が幾何であるとは, 次の性質を充たすことをいう:
長ったらしいですね. というわけで例をみていきましょう.
集合 $X$ に対して, $Y \subset X$ に対し $Y$ を充てる写像 $c \colon \pow{X} \to \pow{X}$ を取ると, $(X,c)$ は前幾何となる.
前幾何の条件が充たされることをひとつずつ確認していく.
よって $(X,c)$ は前幾何である. さらに, $a \in X$ について $c(\{a\}) = \{a\}$ が成り立つので, これは幾何である.
無向グラフ $(V,E)$ について, $a \in V$ に対し, $a$ と辺で接続している頂点全体を $N(a)$ とおき, また $A \subset V$ に対して $N(A) = \bigcup_{a \in A} N(a)$ と定義する. このとき, $c(A) = \bigcup_{n \in \mathbb{N}} N^n(A)$ とおくと, $(V,c)$ は前幾何となる.
条件を確かめていく.
例にあげた前幾何はいずれも $c(A) = \bigcup_{a \in A} c(\{a\})$ を充たす.
前幾何 $(M,c)$ であって, $c(A) = \bigcup_{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 \setminus \{a\})$ が成り立つことをいう.
前幾何 $(M,c)$ と $A \subset M$ に対して, $B$ が $A$ の基底であるとは, 次の性質を充たすことをいう:
前幾何 $(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\} \setminus \{b\})$ が成り立つ.
ここで, $b \notin c(B \setminus \{b\})$ であったため, $a \in c(B \setminus \{b\} \cup \{b\}) = c(B)$ となりこれは矛盾である. よって, $B$ は $A$ の基底であった.
前幾何 $(M,c)$ と $X \subset M$ について $$c_X(A)=c(A \cup X)$$ として定まる $c_X$ は $M$ 上に前幾何を定める.
前幾何 $(M,c)$ と $A \subset M$ とその基底 $B$, $C$ に対して, $B$ と $C$ の濃度は等しい.
$B$ が有限である場合と無限である場合にわけて考える.
$B$ が有限である場合, 濃度についての帰納法により示す. $B = \emptyset$ であるとき, $c \in C$ なる元について $c \in c(C \setminus \{c\})$ が成り立つため, これは矛盾する. よって $C = \emptyset$ である. $B = \{b_1,\ldots,b_n\}$ とかけ, また $C = \{c_1,\ldots,c_m\}$ とかけるとき, $\{b_2,\ldots,b_n\}$ が基底でないことから, $C$ の元で $c(\{b_2,\ldots,c_n\})$ に含まれないものが存在する. この $C$ の元を $c_1$ とおく. ここで $c_1 \in c(B) \setminus c(\{b_2,\ldots,b_n\})$ より, $b_1 \in c(\{c_1,b_2,\ldots,b_n\})$ が成り立つため, $\{c_1,b_2,\ldots,b_n\}$ もまた $A$ の基底となる. ここで, $(M,c_{\{c_1\}})$ においては $\{b_2,\ldots,b_n\}$, $\{c_2,\ldots,c_m\}$ のいずれも基底となる. このとき帰納法の仮定により, $n = m$ が成り立つ.
$B$ が無限集合である場合, $b \in B$ について $b \in c(Y_b)$ となるような有限集合 $Y_b \subset C$ が存在する. このとき $b$ に $Y_b$ を充てる写像 $f\colon B \to \mathcal{P}^{< \omega}(C)$ を考える. このとき, $Y \in \mathcal{P}^{< \omega}(C)$ について $f^{-1}(Y)$ が無限集合であると, $f^{-1}(Y)$ の独立性より, 上記の有限の場合の結果に違反する. よって $f^{-1}(Y)$ は有限集合である. したがって $|B| \leq |C|$ が成り立つ. 同様に $|C| \leq |B|$ が成り立つ.
前幾何 $(M,c)$ と $A \subset M$ について, $A$ の次元とは, $A$ の基底の濃度のことをいう.
というわけでもうこれくらい. 納得した ?