一张学格的表

lilianjie

& \) T: b8 M' l  T- t9 |
6 E/ o! {! T4 f
; N# m, e9 V5 X) a6 @
, \$ ]0 z' l0 \9 z5 u
/ j% j/ z# r" V3 O! A: A7 C8 ?

" v9 U5 W0 O, x

- N/ p2 P( l: n& B一张学格的表：

4 M/ E: f1 k' U" i/ V

; ~: z; K1 o; T' s3 m5 n9 [8 f

苏惟嫣

yjfgjchgxfhfghxfghxfghfx

lilianjie

# Q8 D' E7 t5 d0 \; A
原子格
7 u3 @4 v3 z7 [4 ^8 I' Q2 @带有最小元 0 的偏序集合 P 中的原子是不等于 0 的所有元素中的极小的元素。

带有最小元 0 的原子偏序集合 P 中的是在其中对于所有 P 的非零元素 x 有一个 P 的原子 a 使得 a ≤ x。
* b3 f# Y, x* i1 ]) z! R
在偏序集合中的原子是集合论中的单元素集合的抽象推广。
8 M9 m3 @( n! W. n9 w7 T) z

格L 是模格的充要条件是它不含任何
/ }& {7 h" e/ U) K& [9 ?$ U: G  X五边形作为子格

lilianjie1

* b. n1 ~7 F( M# W" k
- y" f2 \( C, t4 R: @7 ^  z: f! D自由格没象自由阿群那种结构，但3个生成元的自由格有公式：
! Y( G/ V; h- \+ n4 D, y

lilianjie

有界格，若对于任意的，在L中都有a∧b=0,a∨b=0的补元存在，则L称为有补格。
全下界0与全上界1总是互补的。而对于其它元素，可能存在补元，也可能不存在补元。如果存在补元，可能是唯一的，也可能是多个补元
# s! v# @, Y$ _/ t$ d
符合两个分配律的x∧(y∨z)=(x∧y)∨(x∧z)     x∨(y∧z)=(x∨y)∧(x∨z),------>分配格

分配律和环里的加群一样，就是换成并交都要符合

lilianjie

完全格：一个格是完全的，如果它的所有子集都有一个交和一个并

9 o) T: K" r+ H  g8 `. L9 X: g; L! ]; A
6 m6 `0 o  \. R3 w- S9 M) ?- I0 h
7 }4 o* O$ ~# B+ j7 ?5 K/ [. \格与广群（元素只符合交换律和结合律）家族有一些联系。因为交和并都符合交换律和结合律。格可以看作由有相同的承载者的两个交换半群组成的。如果格是有界的，这些半群也是交换幺半群。吸收律是特定于格理论的唯一定义恒等式。
& @: T; P& s" c+ H4 v
- ?9 X8 z, m- X3 [8 V* {! k8 nx ∧(x∨ y )=x            x ∨ x  ∧ y =x
9 ?( S( x$ g  m+ Y8 |9 y- l

lilianjie

并半格+交半格-------》格
  E- {# M0 D& p" }4 a! E# Z

- T- V: }7 m7 f
有界格有一个最大元素和一个最小元素，按惯例分别指示为 1 和 0（也叫做顶和底）。任何格都可以通过增加一个最大元素和最小元素而转换成有界格
' {6 y# v( L  P

% G, G7 h. T' X$ ]; G3 Z7 l) R0 ~小格图

lilianjie

偏序集任两元都有一个最小上界并)，或一个最大下界(交)--------》半格Semilattice

join-semilattice or upper semilattice有一个最小上界并叫并（上）半格
! G) P: M) q, Q  }! J
. B' M" ?7 J  B2 MAssociativity
x ∧ (y ∧ z) = (x ∧ y) ∧ z
' a) z8 }* m) n# B, ?/ ~3 OCommutativity
$ Q3 U2 p$ S& y, Tx ∧ y = y ∧ x
  C! L/ W! d5 _6 N/ [Idempotency
# J2 k* ?( W- F3 A- M8 K0 F' ux ∧ x = x

% i" X, L, B! e3 }7 V/ Y, q; Kmeet-semilattice or lower semilattice有一个最大下界(交）叫交（下）半格
! z. d) @9 ~( M3 HAssociativity 结和律
x ∨ (y ∨ z) = (x ∨ y)  z
2 q5 d) ~$ b; h! \2 ], E  rCommutativity 交换律
x ∨ y = y ∨ x
Idempotency 幂等律
x ∨ x = x
& c0 q: N% ^5 l3 H
% K! l" C; P1 S( D$ ], C& N; ]Semilattice morphisms同态：f(x ∨ y) = f(x) ∨ f(y).或 f(x ∧ y) = f(x) ∧ f(y).

% v7 A  J( z, ^( v9 w
) G# o9 }: b8 _* a! D9 F也分多种半格：
Distributive semilattices，Complete semilattices，Free semilattices

lilianjie

如果一个集合 A 包含集合 B 的所有元素，则 B 被称为小于等于 A。然而有些集合不能在这种方式来比较，因为其中每个都包含在其他集合中不存在的某些元素。所以，子集包含是偏次序，对立了前面给出的全次序。

序理论不限制于各种种类的排序关系，还考虑在它们之间的逼近函数。函数的序理论的性质的一个简单例子来自在数学分析中常见的单调函数。

! a+ |$ W# f$ d0 K5 X3集和4集的按照子集包含来排序

yt@A

~~~果然complicated