数学建模社区-数学中国

标题: 一张学格的表 [打印本页]
作者: lilianjie    时间: 2012-1-2 14:24
标题: 一张学格的表
本帖最后由 lilianjie 于 2012-1-3 10:17 编辑
3 z+ C" N$ g! _  V! \
2 ?0 U* T; J* B! a, V4 h4 I$ o[attach]100427[/attach] 193351yoijvca37zytjcav1.JPG
- [8 ~' @7 v, K# `( J' _* U# V+ I0 m0 E9 ^) z" N: N$ q
[attach]100427[/attach]- m6 J. v; S- y0 d
/ @. e- e5 @5 C
  e( K. j4 L0 |

9 ~* X: b' Y) c! V1 s( ^) f" G4 f7 w: A8 S+ V6 p6 T
一张学格的表：
4 E2 P/ }: C/ P2 b* P9 h; B( C0 r% o4 [( s" P

1 v) W2 a: I9 i* N
9 c1 Y/ @' D2 g) O2 S
作者: 39133120    时间: 2012-1-3 23:39
表示看不懂
作者: 39133120    时间: 2012-1-3 23:39
表示看不懂
作者: 孤寂冷逍遥    时间: 2012-1-5 16:16
作者: yt@A    时间: 2012-1-8 12:47
~~~果然complicated
作者: lilianjie    时间: 2012-1-12 12:51
如果一个集合 A 包含集合 B 的所有元素，则 B 被称为小于等于 A。然而有些集合不能在这种方式来比较，因为其中每个都包含在其他集合中不存在的某些元素。所以，子集包含是偏次序，对立了前面给出的全次序。
( h" ~; x5 ~; Q' P9 [: b5 A$ ?5 S# S' I% }6 L. C3 [
序理论不限制于各种种类的排序关系，还考虑在它们之间的逼近函数。函数的序理论的性质的一个简单例子来自在数学分析中常见的单调函数。
6 w8 m8 F% f2 E$ V1 g- E
, v  a7 R" U( r7 E! ~% d; `3集和4集的按照子集包含来排序

1234.JPG (34.19 KB, 下载次数: 422)

1234.JPG

123.JPG (17.54 KB, 下载次数: 402)

123.JPG

作者: lilianjie    时间: 2012-1-12 13:15
偏序集任两元都有一个最小上界并)，或一个最大下界(交)--------》半格Semilattice
$ x3 q* ^' B9 o; a+ J0 ]1 D8 U, J- e1 K
join-semilattice or upper semilattice有一个最小上界并叫并（上）半格+ t6 E* T) _/ c; ?, P7 d
( X, q1 U7 ]! J3 ]$ O4 {
Associativity 4 Z+ m' N& U' a+ M
x ∧ (y ∧ z) = (x ∧ y) ∧ z 1 C! Q/ _; B+ q5 ~7 s2 Y
Commutativity 4 B% c3 Z5 @& b" o
x ∧ y = y ∧ x
& i" u/ y* D7 x& s- G! EIdempotency
$ N8 D: j2 ?3 ~! q0 R: m7 Kx ∧ x = x / A, H( K7 E9 A, l1 f0 b% j/ X

4 Z/ h0 C9 B2 K  T- O8 a9 Nmeet-semilattice or lower semilattice有一个最大下界(交）叫交（下）半格- A, E$ {) _7 k* L
Associativity 结和律9 M+ C1 e2 D8 T0 m2 y6 y! t
x ∨ (y ∨ z) = (x ∨ y)  z
% b$ W7 f. }. B% U$ C% N! w% bCommutativity 交换律& t) a9 m' Y5 e- x
x ∨ y = y ∨ x 5 ?9 l- d1 }& o6 B
Idempotency 幂等律
* W; {1 J) [. s: K  C" L1 Kx ∨ x = x
2 O! }/ j- F& w! y- g" G1 A! n4 D% O/ u) Z" b6 w* s
Semilattice morphisms同态：f(x ∨ y) = f(x) ∨ f(y).或 f(x ∧ y) = f(x) ∧ f(y). 9 B1 e% [2 M9 y3 H) R4 U7 z
/ @) P$ R( U2 o1 s) k( |/ J
0 Z- ^$ E7 q0 @1 W0 Q! f3 q
也分多种半格：
* n7 ^4 ?) ^& a3 \! b& FDistributive semilattices，Complete semilattices，Free semilattices
作者: lilianjie    时间: 2012-1-12 14:20
并半格+交半格-------》格
0 K$ W. d4 U6 v4 ?3 P# |) d  w- q
) U, p7 j! @. E. Z) Z+ R

* ]" ]% [" C* P0 m有界格有一个最大元素和一个最小元素，按惯例分别指示为 1 和 0（也叫做顶和底）。任何格都可以通过增加一个最大元素和最小元素而转换成有界格
% ?! K0 [7 r3 f7 w( ?+ j/ w" p
; Z0 i( ^7 L& X  w. ]* @9 s$ i' M+ O7 L! E# K
小格图

1234.JPG (73.89 KB, 下载次数: 395)

1234.JPG

123.JPG (49.35 KB, 下载次数: 380)

123.JPG

作者: lilianjie    时间: 2012-1-12 14:28
完全格：一个格是完全的，如果它的所有子集都有一个交和一个并  p' x3 o" r6 q: }; e$ p2 m( H" A
! @6 ]2 Q+ T+ W0 P* K3 H. s
; w8 N6 P0 ~; \4 F2 ?0 F
% u/ n! {! y4 m  Z1 J& r* R
格与广群（元素只符合交换律和结合律）家族有一些联系。因为交和并都符合交换律和结合律。格可以看作由有相同的承载者的两个交换半群组成的。如果格是有界的，这些半群也是交换幺半群。吸收律是特定于格理论的唯一定义恒等式。. q, M3 }" J) y7 f

4 a. e  Y3 [1 `% Rx ∧(x∨ y )=x            x ∨ x  ∧ y =x
! o5 C: ~9 _8 ]  {6 Y& a6 h# p* a
" l+ a4 P* X! E6 T# S
作者: lilianjie    时间: 2012-1-12 14:43
有界格，若对于任意的，在L中都有a∧b=0,a∨b=0的补元存在，则L称为有补格。1 q; `1 h/ X$ O0 B( s' ]% @+ p
全下界0与全上界1总是互补的。而对于其它元素，可能存在补元，也可能不存在补元。如果存在补元，可能是唯一的，也可能是多个补元. y8 k" f2 x" X* q

* S0 U% j0 ]- |符合两个分配律的x∧(y∨z)=(x∧y)∨(x∧z)     x∨(y∧z)=(x∨y)∧(x∨z),------>分配格
5 A3 Q" g5 K1 r* B2 r- h. @  J6 R0 C' `+ d
分配律和环里的加群一样，就是换成并交都要符合
作者: lilianjie1    时间: 2012-1-12 15:03
本帖最后由 lilianjie1 于 2012-1-12 15:03 编辑
) E  n" P3 E: C' T3 t
) ~8 V1 ?3 j+ X" D自由格没象自由阿群那种结构，但3个生成元的自由格有公式：
  ^; G9 d# ^. R" x1 J  P
: D' S# @( F7 I- B- p

a.JPG (4.21 KB, 下载次数: 139)

a.JPG

作者: lilianjie    时间: 2012-1-12 15:28
本帖最后由 lilianjie 于 2012-1-12 15:28 编辑 ( n+ s, Y1 j5 I( Z- k
. `$ T7 F9 l: V9 I# d/ F
原子格
/ m( d! A$ j) D2 }带有最小元 0 的偏序集合 P 中的原子是不等于 0 的所有元素中的极小的元素。; C4 V% G* u" V
' U' Z% s2 r& m1 P+ f
带有最小元 0 的原子偏序集合 P 中的是在其中对于所有 P 的非零元素 x 有一个 P 的原子 a 使得 a ≤ x。  k+ f4 L2 ?7 t& m0 `3 c& M

1 {1 m  N$ K- f( M4 g3 t' Z在偏序集合中的原子是集合论中的单元素集合的抽象推广。( T2 C  N# ~/ u3 E# k6 F3 }4 Q

$ n1 \" p: Q) p: |; k! F
( C* k+ G: w' J格L 是模格的充要条件是它不含任何
  s) U) C4 b8 P- k0 u! X0 }7 s五边形作为子格

12.JPG (45.88 KB, 下载次数: 160)

12.JPG

模格的不等式定义及其应用.pdf

132.98 KB, 下载次数: 0, 下载积分: 体力 -2 点

模格的不等式定义及其应用.pdf

132.98 KB, 下载次数: 0, 下载积分: 体力 -2 点
作者: 苏惟嫣    时间: 2012-1-12 16:42
yjfgjchgxfhfghxfghxfghfx



欢迎光临 数学建模社区-数学中国 (http://www.madio.net/) Powered by Discuz! X2.5