数学定義ノート（１） －束（lattice）
目的
数学理論の構築時に、まぁまぁ忘れがちな定義をノートしておく。
定義
半順序集合 (partially ordered set)
$P$：集合
$\le \in P \times P$：$P$上の二項関係
$$
\begin{array}
~\langle P, \le \rangle : poset \\
~~ \overset{def}{\Leftrightarrow} \\
(i) ~~~ \forall a \in P, a \le a & 反射律 \\
(ii) ~~ \forall a, b, c \in P, a \le b~\&~b \le c \Rightarrow a \le c & 推移律 \\
(iii) ~ \forall a, b \in P, a \le b~\&~b \le a \Rightarrow a = b & 反対称律
\end{array}
$$
束（lattice）
$$
\begin{array}
~\langle P, \le \rangle : lattice \\
~~ \overset{def}{\Leftrightarrow} \\
(i) ~ \langle P, \le \rangle : poset \\
(ii) ~~ \forall a, b \in P, \exists a \land b=inf\{a, b\} & meet の存在 \\
(ii) ~~ \forall a, b \in P, \exists a \lor b = sup\{a, b\} & join の存在 \\
\end{array}
$$
ここで、
$\land$ を meet、$\lor$ を join と呼ぶ。
Author And Source
この問題について(数学定義ノート（１） －束（lattice）), 我々は、より多くの情報をここで見つけました https://qiita.com/tkosht/items/a2e100fec6e9fd7ddfaa著者帰属：元の著者の情報は、元のURLに含まれています。著作権は原作者に属する。
Content is automatically searched and collected through network algorithms . If there is a violation . Please contact us . We will adjust (correct author information ,or delete content ) as soon as possible .