证:
因为
f
f
f 是可逆线性变换,所以可以用
n
n
n 阶可逆矩阵
A
,
A
∈
G
L
(
n
,
R
)
A,A\in GL(n,\mathbb{R})
A,A∈GL(n,R) 表示,又因为其行列式为正,所以由线性代数知道,存在可逆矩阵
P
,
Q
P,Q
P,Q,使得
A
A
A 通过
P
A
Q
PAQ
PAQ 连续的变为
I
I
I,也就是
f
≃
1
f\simeq 1
f≃1,由 Hatcher 中定理 2.10 知诱导的同调群之间的同态相等:
f
∗
=
1
∗
f_*=1_*
f∗=1∗,即
f
∗
:
H
n
(
R
n
,
R
n
−
{
0
}
)
→
H
n
(
R
n
,
R
n
−
{
0
}
)
f_*:H_n(\mathbb{R}^n,\mathbb{R}^n-\{0\})\rightarrow H_n(\mathbb{R}^n,\mathbb{R}^n-\{0\})
f∗:Hn(Rn,Rn−{0})→Hn(Rn,Rn−{0}) 是恒等映射。
证:
由代数基本定理知
f
(
z
)
f(z)
f(z) 在
C
\mathbb{C}
C 中有其次数个零点(包含重根),对于单重零点
z
z
z,可以构造
z
z
z 的邻域
U
U
U,使得
f
∗
:
H
2
(
U
,
U
−
{
z
}
)
→
H
2
(
V
,
V
−
{
0
}
)
f_*:H_2(U,U-\{z\})\rightarrow H_2(V,V-\{0\})
f∗:H2(U,U−{z})→H2(V,V−{0}),其局部映射度为
1
1
1,对于
k
k
k 重根
z
0
z_0
z0,同样考虑诱导映射
f
∗
:
H
2
(
U
,
U
−
{
z
0
}
)
→
H
2
(
V
,
V
−
{
0
}
)
f_*:H_2(U,U-\{z_0\})\rightarrow H_2(V,V-\{0\})
f∗:H2(U,U−{z0})→H2(V,V−{0}),因为
z
0
z_0
z0 是
k
k
k 重根,所以
H
2
(
U
,
U
−
{
z
0
}
)
H_2(U,U-\{z_0\})
H2(U,U−{z0}) 中的生成元被映为
k
k
k 倍的
H
2
(
V
,
V
−
{
0
}
)
H_2(V,V-\{0\})
H2(V,V−{0}) 中的生成元,因此局部映射度为
deg
f
^
∣
z
0
=
k
\text{deg }\hat{f}|_{z_0}=k
deg f^∣z0=k.
因为
deg
(
f
^
)
=
∑
(
f
∗
∣
z
i
)
\text{deg }(\hat{f})=\sum(f_*|_{z_i})
deg (f^)=∑(f∗∣zi) 即为多项式
f
f
f 的次数。
证:
(a) 因为将
S
2
S^2
S2 两个点粘合所得空间同伦等价于在
S
2
S^2
S2 上粘合一个一维胞腔,记作
X
X
X, 所以其胞腔复形结构为一个
e
2
e^2
e2,一个
e
1
e^1
e1,一个
e
0
e^0
e0,所以有:
H
n
(
S
2
/
A
)
=
H
n
(
X
2
,
X
1
)
≅
{
Z
n
=
2
,
0
其他.
H_n(S^2/A)=H_n(X^2,X^1)\cong\begin{cases} \mathbb{Z} & n=2, \\ 0 & \text{其他.} \end{cases}
Hn(S2/A)=Hn(X2,X1)≅{Z0n=2,其他.
(b) 类似
S
1
×
S
1
S^1\times S^1
S1×S1 写出其胞腔复形结构:
(
e
0
∪
e
2
)
×
(
2
e
0
∪
e
2
)
=
2
e
0
∪
3
e
2
∪
e
4
(e^0\cup e^2)\times(2e^0\cup e^2)=2e^0\cup 3e^2\cup e^4
(e0∪e2)×(2e0∪e2)=2e0∪3e2∪e4,因为缺少
1
1
1 维,
3
3
3 维胞腔,所以其同调群为:
H
n
(
S
1
×
(
S
1
∨
S
1
)
)
≅
{
Z
2
n
=
0
,
Z
3
n
=
2
,
Z
n
=
4
,
0
其他.
H_n(S^1\times (S^1\vee S^1))\cong\begin{cases} \mathbb{Z}^2 & n=0, \\ \mathbb{Z}^3 & n=2, \\ \mathbb{Z} & n=4, \\ 0 & \text{其他.} \end{cases}
Hn(S1×(S1∨S1))≅⎩⎪⎪⎪⎨⎪⎪⎪⎧Z2Z3Z0n=0,n=2,n=4,其他.
证:
(a) 考虑长正合列:
⋯
→
H
2
(
S
1
∨
S
1
)
→
H
2
(
S
1
×
S
1
)
→
H
2
(
S
2
)
→
H
1
(
S
1
∨
S
1
)
→
H
1
(
S
1
×
S
1
)
→
…
,
\dots\rightarrow H_2(S^1\vee S^1)\rightarrow H_2(S^1\times S^1)\rightarrow H_2(S^2)\rightarrow H_1(S^1\vee S^1)\rightarrow H_1(S^1\times S^1)\rightarrow\dots,
⋯→H2(S1∨S1)→H2(S1×S1)→H2(S2)→H1(S1∨S1)→H1(S1×S1)→…,
H
2
(
S
1
∨
S
1
)
=
0
H_2(S^1\vee S^1)=0
H2(S1∨S1)=0,所以
f
∗
f_*
f∗ 是单射,要想
f
∗
f_*
f∗ 是同构,则
H
1
(
S
1
∨
S
1
)
=
0
H_1(S^1\vee S^1)=0
H1(S1∨S1)=0,但计算知
H
1
(
S
1
∨
S
1
)
=
Z
2
H_1(S^1\vee S^1)=\mathbb{Z}^2
H1(S1∨S1)=Z2,矛盾,所以
f
∗
f_*
f∗ 不是同构。
(b) 考虑覆叠映射 p : R 2 → S 1 × S 1 p:\mathbb{R}^2\rightarrow S^1\times S^1 p:R2→S1×S1,因为 S 2 S^2 S2 单连通, R 2 \mathbb{R}^2 R2 可缩,所以有 g ∗ ( π 1 ( S 2 , x 0 ) ) = p ∗ ( π 1 ( R 2 , x 1 ) ) , g ( x 0 ) = p ( x 1 ) g_*(\pi_1(S^2,x_0))=p_*(\pi_1(\mathbb{R}^2,x_1)),g(x_0)=p(x_1) g∗(π1(S2,x0))=p∗(π1(R2,x1)),g(x0)=p(x1),所以有提升 g ~ : S 2 → R 2 \tilde{g}:S^2\rightarrow \mathbb{R}^2 g~:S2→R2,因为 R 2 \mathbb{R}^2 R2 可缩,所以 g ~ \tilde{g} g~ 零伦,从而 g g g 零伦。