- 在线时间
- 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 编辑 ; V' |- p( _! G0 d/ N# A/ A
; ?1 ?: q% s) m2 yheyting algebra 海廷代数3 [, F# a; [9 Y. W r4 U
8 z% r& Z9 z3 s7 A: N
Virasoro 代数
/ Z$ O0 o$ E$ h( `6 Y" y$ C8 c7 `6 a# ]. u4 j
. L3 r* k J- ^: G+ {( I
coalgebras or cogebras 余代数 ; |& L# n# z! w- t; | W$ H0 |
余代数是带单位元的结合代数的对偶结构,后者的公理由一系列交换图给出,将这些图中的箭头反转,便得到余代数的公理。
0 y* F" e# r l4 z. T" m
. s# ~) `" ~" m; Y% v' e4 \余代数的概念可用于李群及群概形等领域中。& R0 Y" h- X4 U$ a v
# [. u# e1 g; w; ? B) o
( D& J- |0 E2 y$ |, y4 U+ r, _
李余代数
: a5 u5 X! t" G0 M2 y% ^1 b9 l1 m' u* N" A9 n
一张学格的表:
1 P4 b8 Z6 ?8 o b: r) ~; q! v9 A, y7 J6 f# h6 \# O4 A l
1. A boolean algebra is a complemented distributive lattice. (def)布尔代数是完全分配格: V! z5 Z. G7 N3 N# V7 M
& H9 Z) i0 V5 i8 _2. A boolean algebra is a heyting algebra.[1]布尔代数是一个海廷代数' [7 r3 {! f2 z' I4 ?
. p& _+ s: [4 k. {7 g6 b
" [0 `6 s3 w& p' |3. A boolean algebra is orthocomplemented.[2]布尔代数是正交可补
@ r/ N. l9 v# i( Z/ i
: J2 t) U: @% O' Z5 K0 G3 l4. A distributive orthocomplemented lattice is orthomodular.[3]分配正交可补格是正交模
/ Q, J) G3 j# p: c8 _, b5 G) d9 B7 p/ C ~+ `7 y5 s; Q+ a
5. A boolean algebra is orthomodular. (1,3,4)布尔代数是正交模& y5 R) [* b L! i
) S6 ^+ e7 M/ e% w: k
4 q4 x% N! D" ^5 i/ M# w- x6. An orthomodular lattice is orthocomplemented. (def)正交模格正交可补
3 o5 H- D, ] j" k1 D( |& h1 l9 @' { M7 |
7. An orthocomplemented lattice is complemented. (def)正交可补格可补
9 ] ^" s9 g' \6 U, H) c& @
% `1 o& G3 Q7 k$ B3 ?# w8. A complemented lattice is bounded. (def)可补格有界% c+ x! ^- K4 O6 e* R+ B$ R
6 w% U! Y5 v8 C) K( h; ?! u9. An algebraic lattice is complete. (def)代数格是完全的1 Y) T4 `% G8 G* E0 b. c
, E& D5 k# O' ^10. A complete lattice is bounded.完全格有界
. n4 _ s7 O9 I" y* Q) K M( a, U) D# t6 c& b2 U$ j( ` p& O" r* O) R
11. A heyting algebra is bounded. (def)海廷代数有界
. h. C; ]) U$ F
$ I, }) v, |! W `: T" R12. A bounded lattice is a lattice. (def)有界格是格3 f- g' T" h* i1 E
: a( ~ ~5 W& K4 ]13. A heyting algebra is residuated.海廷代数是剩余的+ g! U% P0 F, D/ ]5 G; {" |
2 g) f+ |3 j# t4 F- l, Q14. A residuated lattice is a lattice. (def)剩余格是格1 ~/ U9 Q1 Z) a* b
) Y6 ]6 n6 R+ d" C8 r& n15. A distributive lattice is modular.[4]分配格是模5 D9 F: p, \+ m/ b, ^
/ K, k& {2 {2 J0 D
16. A modular complemented lattice is relatively complemented.[5]模可补格相关可补6 `3 R. x/ _' W( x* g: m- X. V
) Z' g3 B/ V; g$ P
17. A boolean algebra is relatively complemented. (1,15,16)布尔代数相关可补
. {' J& C2 ~8 Y! P3 `& R P
" S/ y7 k+ B6 K) x" e18. A relatively complemented lattice is a lattice. (def)相关可补格是格
4 H, i8 |/ Q' _& C9 p/ ]. R( x+ C* L( T* Z# J4 p& A
19. A heyting algebra is distributive.[6]海廷代数可分配
9 O7 j9 j# {/ s1 U! H- c) S% P c, H
20. A totally ordered set is a distributive lattice.全序集是分配格( W1 _/ Y% b1 d
- l% f2 c7 v0 t0 Z+ |4 ]; E6 ]21. A metric lattice is modular.[7]度量格是模0 @! D' A* P: f" U3 k) V8 J0 k
. I W" r8 ^) U6 E* J22. A modular lattice is semi-modular.[8]模格是半模5 |* U( }2 B S: _+ m
2 l# Y$ n1 R7 x/ M$ I8 n
23. A projective lattice is modular.[9]防射格是模" M5 D$ H; Q" B0 p" Z# h5 q
5 M; M$ d1 |) J24. A projective lattice is geometric. (def)防射格可几何度量
5 }+ |; l5 d0 s
& g6 M w% ?- e* y25. A geometric lattice is semi-modular.[10]几何度量格是半模! k/ G8 j: {4 h! F3 v! c9 \
# Y; e8 p# \7 K8 G1 W/ {26. A semi-modular lattice is atomic.[11]半模格是原子格4 I% P& x- G7 N# Z5 |0 q
0 Y7 ~4 D2 L5 \$ l6 r! V
27. An atomic lattice is a lattice. (def)原子格是格, F) @ z3 p0 K# N, ~+ R7 h6 k
/ ?) `) e6 l( c }7 ^7 r8 ^& x0 U. a
28. A lattice is a semi-lattice. (def)格是半格- C. m6 s0 j0 {* b, S& u5 W
0 t2 }8 Y" C0 R1 v( T5 W$ E
29. A semi-lattice is a partially ordered set. (def)半格是偏序集, o0 w- _2 G- H2 r5 o
; {3 _6 N3 u ]8 ] |
|