一张学格的表

lilianjie

7 Z2 n, G! u5 P  k
+ ]( j9 N% Q* f


2 `. W6 |2 ]: W- f3 Z! h一张学格的表：

8 p2 [. D( z0 ]5 S2 v) N0 T4 t- ^5 h

2 L$ ?* p, _. j# H

39133120

表示看不懂

39133120

表示看不懂

孤寂冷逍遥

yt@A

~~~果然complicated

lilianjie

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

. p7 D0 c& T3 b/ Y/ G序理论不限制于各种种类的排序关系，还考虑在它们之间的逼近函数。函数的序理论的性质的一个简单例子来自在数学分析中常见的单调函数。
8 S+ G) q3 N  u1 |
4 }. K! X( C2 |! l3集和4集的按照子集包含来排序

lilianjie

偏序集任两元都有一个最小上界并)，或一个最大下界(交)--------》半格Semilattice
* g1 z  b) f( c
join-semilattice or upper semilattice有一个最小上界并叫并（上）半格
6 j5 m3 D- O7 d) ~& i
Associativity
) W' |8 k/ ~' j2 {/ w: _* p, xx ∧ (y ∧ z) = (x ∧ y) ∧ z
8 s( S; s# a! r6 ?' UCommutativity
x ∧ y = y ∧ x
Idempotency
6 Z1 Z! Y5 O/ [4 e  k7 ^$ Gx ∧ x = x
) _! t+ K, N% ~) h5 e6 _; m
. u( R8 v9 p& [, Q  U/ v4 lmeet-semilattice or lower semilattice有一个最大下界(交）叫交（下）半格
Associativity 结和律
7 n8 A0 j4 c: ]x ∨ (y ∨ z) = (x ∨ y)  z
Commutativity 交换律
" C, i  A' C3 d0 o+ t1 P4 y, G6 gx ∨ y = y ∨ x
- m' e7 l" M3 _9 S# O+ y- OIdempotency 幂等律
* q, x5 X6 B4 p, x; h1 mx ∨ x = x

4 k: B# s- I9 |+ B, Q9 wSemilattice morphisms同态：f(x ∨ y) = f(x) ∨ f(y).或 f(x ∧ y) = f(x) ∧ f(y).

# c6 O5 P# R; M3 \) V: x) t6 m
5 E! J) S# D, g& l7 X5 ]也分多种半格：
Distributive semilattices，Complete semilattices，Free semilattices

lilianjie

并半格+交半格-------》格
- L& G5 X- ]+ I" Y* Q/ c' P+ r- W
1 m, g9 D$ t0 g- }6 O
$ D+ [2 G& ^) h% c& U
6 j, o4 c! |2 a9 ^有界格有一个最大元素和一个最小元素，按惯例分别指示为 1 和 0（也叫做顶和底）。任何格都可以通过增加一个最大元素和最小元素而转换成有界格
7 t$ m/ K  q9 o# }6 @7 V; [) ~

小格图

lilianjie

完全格：一个格是完全的，如果它的所有子集都有一个交和一个并
) u' e8 U3 r) W* Z+ {- V. c
. U! D+ z( t2 g1 V+ E
. E# \2 P2 }; k5 N# m
1 }) C: D7 Z$ P格与广群（元素只符合交换律和结合律）家族有一些联系。因为交和并都符合交换律和结合律。格可以看作由有相同的承载者的两个交换半群组成的。如果格是有界的，这些半群也是交换幺半群。吸收律是特定于格理论的唯一定义恒等式。

* w$ B, `' o% H* L, }' \2 E5 V. qx ∧(x∨ y )=x            x ∨ x  ∧ y =x
8 X. v4 u- Y* h8 v+ M# y8 ?

lilianjie

有界格，若对于任意的，在L中都有a∧b=0,a∨b=0的补元存在，则L称为有补格。
全下界0与全上界1总是互补的。而对于其它元素，可能存在补元，也可能不存在补元。如果存在补元，可能是唯一的，也可能是多个补元
3 S2 }$ h/ L$ B% @
符合两个分配律的x∧(y∨z)=(x∧y)∨(x∧z)     x∨(y∧z)=(x∨y)∧(x∨z),------>分配格
( X* b; w% y: S2 I6 }/ `+ u, _
$ G: T* `& ^0 ~/ S2 a0 k+ X5 K0 a  Z分配律和环里的加群一样，就是换成并交都要符合