打字猴:1.70104608e+09
1701046080
1701046081
1701046082
1701046083
1701046084 在q>0时,对K的每个q维单形取定一个定向,得αq个q维定向单形,记作从定义容易看出,两个q维链c和c′相同c(si)=c′(si),i=1,…,αq.并且如果记ni=c(si),则(这里si看作链).于是,∀c∈Cq(K)有唯一的方式写成链的线性组合,也就是说自由生成Cq(K),Cq(K)是秩为αq的自由交换群.习惯上,常把链看作定向单形的线性组合,当时,把ni称为链c的系数.
1701046085
1701046086 为了叙述上的方便,我们扩大链群的定义范围,规定当q<0或q>dimK时,Cq(K)=0.
1701046087
1701046088 2.3 边缘同态
1701046089
1701046090 复形中单形的连接关系就是“面”的关系,而相邻维数的单形间的“面”关系又是关键.有了单形定向的概念,就能更好地来刻画这种关系.
1701046091
1701046092 设s是q维定向单形,t是q-1维定向单形,并且是s的面.设a是s比t多的那个顶点.取t的顶点的一个代表其定向的排列a0a1…aq-1则定向单形aa0…aq-1与该排列的选择无关,记at=aa0…aq-1.如果s=at,就称t是s的顺向面,如果s=-at,就称t是s的逆向面.
1701046093
1701046094 例如,a1是a0a1的顺向面,而a0是a0a1的逆向面;对于2维定向单形a0a1a2来说,a1a2,a0a1和a2a0是它的顺向面,a2a1,a1a0和a0a2是逆向面.
1701046095
1701046096 对于任给s∈Tq(K),t∈Tq-1(K),规定s与t的关联系数[s;t]为
1701046097
1701046098
1701046099
1701046100
1701046101 显然,[-s;t]=-[s;t]=[s;-t].
1701046102
1701046103
1701046104
1701046105
1701046106 例如设s=a0a1…aq,(表示去掉ai),则s=(-1)iait,因此是s的顺向面.
1701046107
1701046108 关联系数是建立边缘同态的基础,下面的引理是建立边缘同态以及别的许多链群间的同态的工具,它完全是代数的,证明留作习题.
1701046109
1701046110 引理 设G是交换群,φ0:Tq(K)→G是一个对应,使得φ0(-s)=-φ0(s),∀s∈Tq(K),则φ0能唯一地扩张为同态φ:Cq(K)→G. ▎
1701046111
1701046112 设0<q≤dimK,s∈Tq(K).规定∂qs:Tq-1→Z为
1701046113
1701046114 ∂qs(t)=[s;t],∀t∈Tq-1(K).
1701046115
1701046116
1701046117 于是∂qs(-t)=[s;-t]=-[s;t]=-∂qs(t),按定义,∂qs是K上的q-1维链,即称为s的边缘链.
1701046118
1701046119 不难看出,∂qs就是s的顺向面(作为链)之和:
1701046120
1701046121
1701046122
1701046123
1701046124 如果s=a0a1…aq,则
1701046125
1701046126
1701046127
1701046128
1701046129 图6-10是1维单形和2维单形的边缘链.∂1a0a1=a1-a0,即1维定向单形的边缘链是它的终点减起点;∂2a0a1a2=a1a2-a0a2+a0a1=a0a1+a1a2+a2a0,这3个1维定向单形(看作有向线段)可连接成一条有向闭折线,其方向就是2维定向单形的转向.
[ 上一页 ]  [ :1.70104608e+09 ]  [ 下一页 ]