- 在线时间
- 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 编辑 ) O7 s X ~0 z/ Y3 |. c: h0 J" U
. d" H, J! Y" Q6 J: W
heyting algebra 海廷代数3 o) L; k3 w4 j9 t3 ?2 s8 n& e
* |9 y8 c9 m2 A2 V' ~
Virasoro 代数 r; U* Q# {: r: ~* v
* H/ Q+ X/ z# B7 a: ^3 `
" \: p, r1 h' C& c2 I( X8 _
coalgebras or cogebras 余代数 ; p" [( {$ b& o/ j4 {
余代数是带单位元的结合代数的对偶结构,后者的公理由一系列交换图给出,将这些图中的箭头反转,便得到余代数的公理。
; n/ |6 P3 ~% v6 k6 f ~- n: P: |1 z6 U" c
余代数的概念可用于李群及群概形等领域中。
9 d1 B! {/ k, n; l& B7 l/ F0 R$ p2 T& S2 u- s" N
- @! l: k4 O- }$ L+ Q
李余代数5 d5 V2 }( A! @9 z. I
; m/ Q, C% Y7 l4 E一张学格的表:
& a, _& p* T; z
+ A( O! F' c6 R: h0 b1. A boolean algebra is a complemented distributive lattice. (def)布尔代数是完全分配格
3 h/ k& s& |9 h j7 h: N
* a- i* H2 I2 M; d/ \$ C2. A boolean algebra is a heyting algebra.[1]布尔代数是一个海廷代数1 o) q7 B, N. a# k! e( k5 I
; ~( k a) p" v1 O) A
& w9 |0 D8 e# k0 U8 |
3. A boolean algebra is orthocomplemented.[2]布尔代数是正交可补) s% `7 c+ N! M3 A) w+ O- p
2 c' k3 F: X1 }8 h4 @4. A distributive orthocomplemented lattice is orthomodular.[3]分配正交可补格是正交模. i& i' N+ L- K" Q( B/ p( w) y/ q
1 B3 j+ }) v z+ l. e7 R
5. A boolean algebra is orthomodular. (1,3,4)布尔代数是正交模$ X; X1 G* j, E1 ^$ b
0 y3 v* G+ I/ h3 p( O" B3 w' {
, B0 ^1 m& A% A# z1 l6. An orthomodular lattice is orthocomplemented. (def)正交模格正交可补
" E# X1 [3 R# l& y" i' S' S5 w* b, C0 Q' v
7. An orthocomplemented lattice is complemented. (def)正交可补格可补8 E2 } I8 b, s& Z2 x" U+ Y
; B, f* v# ?2 T1 O& a- K4 t6 t
8. A complemented lattice is bounded. (def)可补格有界
; B- n# h- M9 j! @8 T- W7 l: J4 b) }7 v- Q2 Z
9. An algebraic lattice is complete. (def)代数格是完全的
8 ?$ Q* z- Z! B5 z: V; }4 }$ ]9 a% H7 i& @' Z' y
10. A complete lattice is bounded.完全格有界
7 E/ ?' n6 D* H( i" K& F1 U4 H8 X0 ?; t3 O) w7 W/ D
11. A heyting algebra is bounded. (def)海廷代数有界; B _% ]! w! N0 \' U+ \8 b
/ | @" a, i) J
12. A bounded lattice is a lattice. (def)有界格是格* Z; y$ p- V& l- ], X8 L
* {6 I& w" ~. `# K# x: M: h- g
13. A heyting algebra is residuated.海廷代数是剩余的# U& |$ u# A2 B, P# d+ X% b* V* L
7 N' U$ q. w' Y& [* \3 H1 m
14. A residuated lattice is a lattice. (def)剩余格是格
" Y" X M5 p' V2 T/ H5 m) O6 V
, B- q5 a V0 X0 X$ `15. A distributive lattice is modular.[4]分配格是模) t1 C' p. o0 `! L% ?
& X6 n' \3 X8 ~5 p
16. A modular complemented lattice is relatively complemented.[5]模可补格相关可补& J1 ~; Z; G2 E0 E, {1 D5 d
9 {2 G2 {9 e/ i5 |, q/ ?
17. A boolean algebra is relatively complemented. (1,15,16)布尔代数相关可补
5 n" b. J) \+ d7 O( s# y' A# f- I+ h6 D: _5 K; E
18. A relatively complemented lattice is a lattice. (def)相关可补格是格+ L* P9 Y- a* W- ?4 h1 b
. h9 y) T! e" T1 J19. A heyting algebra is distributive.[6]海廷代数可分配 A" p6 M: G& n
* Y3 @+ Y; { W p0 K5 m! q- i7 r20. A totally ordered set is a distributive lattice.全序集是分配格
' H4 s, c2 y+ p* F9 A
* w7 L; _% o/ p Y: v21. A metric lattice is modular.[7]度量格是模
& x) ~. c/ p( w3 y) E
5 J" S# y% x( h22. A modular lattice is semi-modular.[8]模格是半模) A% `/ a, O H2 @" X, \' \
9 f( C8 c& I+ n# f4 h9 m9 @23. A projective lattice is modular.[9]防射格是模3 S I( P: p( U6 c* h2 k- @# L
+ ?% t, C: n2 r& r0 e ]
24. A projective lattice is geometric. (def)防射格可几何度量, z, g$ p* K9 {6 m
" q2 N: B! n+ y' |4 C+ N4 J ]% A25. A geometric lattice is semi-modular.[10]几何度量格是半模
( Y0 o' Q4 A/ i- D# b+ l' G9 q' P2 S& v; d# y f
26. A semi-modular lattice is atomic.[11]半模格是原子格
0 O4 A" ^$ L* q: X1 @, `" m0 T+ v8 U+ P& c8 H4 {
27. An atomic lattice is a lattice. (def)原子格是格5 E# \, H' I1 }1 X# Y* h
`0 n Z# {4 [' o, w5 k28. A lattice is a semi-lattice. (def)格是半格$ E+ g+ T, U0 q7 ~# U: s
3 L3 X8 w; @) C6 m
29. A semi-lattice is a partially ordered set. (def)半格是偏序集+ Z% w, K Y6 _' G5 _
: `# `% j, X5 e N" o {' } |
|