- 在线时间
- 11 小时
- 最后登录
- 2012-1-13
- 注册时间
- 2011-12-22
- 听众数
- 4
- 收听数
- 0
- 能力
- 0 分
- 体力
- 418 点
- 威望
- 1 点
- 阅读权限
- 30
- 积分
- 204
- 相册
- 0
- 日志
- 0
- 记录
- 0
- 帖子
- 137
- 主题
- 43
- 精华
- 0
- 分享
- 0
- 好友
- 0
升级   52% TA的每日心情 | 开心 2012-1-13 11:05 |
|---|
签到天数: 15 天 [LV.4]偶尔看看III
|
本帖最后由 lilianjie 于 2012-1-3 12:07 编辑
/ e. _, a s. J' l0 f
9 D; X$ s! W/ w3 vheyting algebra 海廷代数, O, p- N9 |1 M% t
9 R$ N" S7 P# Z6 z: u" a, h' zVirasoro 代数
0 J9 W* j& _9 b4 C- U/ }
+ P& Y8 t. t8 z% N$ f3 e3 I0 w# b5 v) w
coalgebras or cogebras 余代数 9 S6 v, O& Q: h2 w9 B! D) F% B
余代数是带单位元的结合代数的对偶结构,后者的公理由一系列交换图给出,将这些图中的箭头反转,便得到余代数的公理。3 Z% j/ r# K5 U, F
0 R; A' n @: `$ n! H% M
余代数的概念可用于李群及群概形等领域中。
) N7 |! Q' b" O& \7 U6 p' n6 Y$ h4 `! u8 v% d
% N( k( T- e: T8 v) Z; f0 m' h; T
李余代数' d `% Q" w, g, @: ?! F
/ D0 X* C: ~) ^; q) M一张学格的表:/ G6 k5 u" T0 j0 K- c) M
+ Y3 F& y) c2 U+ r+ |/ s1. A boolean algebra is a complemented distributive lattice. (def)布尔代数是完全分配格
' A; }1 O, v5 Y+ y* j) M
/ I3 M Z5 F/ e6 m; k3 k/ A2. A boolean algebra is a heyting algebra.[1]布尔代数是一个海廷代数
' t1 s! ?4 j2 w/ c6 g
5 S7 p6 K4 F; a, ?; Q0 }
$ Z' V' T r/ J" R1 o2 u* A8 [3. A boolean algebra is orthocomplemented.[2]布尔代数是正交可补! I. L3 G4 V6 u* `7 n% }
' y% _7 c, Z3 F( r9 V4. A distributive orthocomplemented lattice is orthomodular.[3]分配正交可补格是正交模' b8 S! R9 O% A/ Z# s- }
: a5 x$ C0 o* M7 C5 \
5. A boolean algebra is orthomodular. (1,3,4)布尔代数是正交模
7 _8 r) J. i' ?6 \. j
' @( U) t% k! ~0 t+ o$ Z: ^$ r" h5 d* b7 G
6. An orthomodular lattice is orthocomplemented. (def)正交模格正交可补: |2 {- u( u+ Z, Z3 T" r
: H& ?0 Q( B6 i9 W7 {1 j- w! v7. An orthocomplemented lattice is complemented. (def)正交可补格可补* i/ C- O& r3 T
/ d2 k! J! ]$ g; \
8. A complemented lattice is bounded. (def)可补格有界
% }. X( R1 F: u: n; I7 s1 F
M$ W9 o3 d( c: M$ f9. An algebraic lattice is complete. (def)代数格是完全的
; _. h# l, M5 N- d5 q, Q/ u2 ?" N0 u& L0 q( c( y- Y+ ^% H
10. A complete lattice is bounded.完全格有界8 q9 Z& N+ @4 N7 n) r, h7 c
( C2 j2 k" A" V# e4 v
11. A heyting algebra is bounded. (def)海廷代数有界' M# i' s/ i& o
2 \$ O# D+ T/ e0 ^% ?; c
12. A bounded lattice is a lattice. (def)有界格是格
! i9 I0 U M+ t4 U& W; `4 v& `9 D& ^7 ^: R2 r; @1 J6 M, A# @
13. A heyting algebra is residuated.海廷代数是剩余的
2 N9 n" E/ ] G. {' ?. p) m0 D0 K# I0 _( u9 z, v2 s4 P
14. A residuated lattice is a lattice. (def)剩余格是格8 {$ m4 }& p" H2 `
' s: ?7 T1 H6 l; W" j1 l2 Q% S
15. A distributive lattice is modular.[4]分配格是模
) M* l J# a2 ^5 t
7 t7 C5 h2 v9 J# g6 Q2 J16. A modular complemented lattice is relatively complemented.[5]模可补格相关可补
7 A9 Z) l: s1 ]" w; c5 W* m3 q, w0 i$ C
17. A boolean algebra is relatively complemented. (1,15,16)布尔代数相关可补# A7 W k C$ E4 }, A$ _; g
3 Z/ p' [$ {% \, r( {" |' f% c18. A relatively complemented lattice is a lattice. (def)相关可补格是格) S, I% W8 R: M& |- L
# v ^ c- ~/ y4 W
19. A heyting algebra is distributive.[6]海廷代数可分配
) X% p9 g. A6 N. E/ |8 i
# Q/ g( O0 |- ~# [6 K" P. }% q9 Z, A20. A totally ordered set is a distributive lattice.全序集是分配格, g6 d4 i) b2 p
* `- T+ l0 c) f! e5 B q( d
21. A metric lattice is modular.[7]度量格是模
, c7 C \7 Y! N. r& E+ J/ t; ?; J" t( c" y; r
22. A modular lattice is semi-modular.[8]模格是半模& a' e4 Q. D# [ ~
$ V! y4 E! p0 \# c0 H$ e$ \
23. A projective lattice is modular.[9]防射格是模9 a+ b7 u: X) T, H; D/ r. I
" X6 E. G, I+ G% e) O* E: k0 D5 h4 y24. A projective lattice is geometric. (def)防射格可几何度量
; u" A: X z+ [. _
3 ~! K2 d; r+ q$ x# _25. A geometric lattice is semi-modular.[10]几何度量格是半模
) n( t; [- H% ?1 h) c- ? i
# v! o' ~6 a8 K& L5 Y% y. ?: l" K26. A semi-modular lattice is atomic.[11]半模格是原子格$ S t4 S. Y) \/ q' q; c
5 H( y8 s2 u, o9 g) V2 @, a27. An atomic lattice is a lattice. (def)原子格是格
% A H% B) w9 H m0 z( M
+ t8 e4 p1 M0 d' }5 V9 K28. A lattice is a semi-lattice. (def)格是半格' F0 j$ a! {7 z' l, V9 b& n- i) g
! t: L9 q9 j& t- ~1 J
29. A semi-lattice is a partially ordered set. (def)半格是偏序集
: q8 T, m1 B2 m; P
% A4 v4 s* J. B, u |
|