跳到主要内容

京都大学 理学研究科 数学・数理解析専攻 2020年度 基礎科目 問題6

Author​

祭音Myyura (co-authored with GPT 6 Astra)

Description​

22 次元球面 S2={(x,y,z)∈R3∣x2+y2+z2=1}S^2=\{(x,y,z)\in\mathbb R^3\mid x^2+y^2+z^2=1\} に対し、S2×S2S^2\times S^2 の部分空間

X={(u,v)∈S2×S2∣u⋅v=0}X=\{(u,v)\in S^2\times S^2\mid u\cdot v=0\}

を考える。ここで u=(u1,u2,u3),v=(v1,v2,v3)∈R3u=(u_1,u_2,u_3),v=(v_1,v_2,v_3)\in\mathbb R^3 に対して u⋅v=u1v1+u2v2+u3v3u\cdot v=u_1v_1+u_2v_2+u_3v_3 とする。このとき XX はコンパクトな微分可能多様体であることを示せ。

题目描述​

设 S2={u∈R3:∥u∥=1}S^2=\{u\in\mathbb R^3:\|u\|=1\},令 X={(u,v)∈S2×S2:u⋅v=0}X=\{(u,v)\in S^2\times S^2:u\cdot v=0\},其中 u⋅vu\cdot v 为通常的欧氏内积。证明 XX 是紧致可微流形。

Kai​

F:R3×R3→R3F:\mathbb R^3\times\mathbb R^3\to\mathbb R^3 を

F(u,v)=(∥u∥2,∥v∥2,u⋅v)F(u,v)=(\|u\|^2,\|v\|^2,u\cdot v)

と定めると、FF は C∞C^\infty 級であり、X=F−1(1,1,0)X=F^{-1}(1,1,0) である。(u,v)∈X(u,v)\in X における微分行列の三つの行ベクトルは

(2u,0),(0,2v),(v,u)(2u,0),\qquad(0,2v),\qquad(v,u)

である。これらの線形結合が零、すなわち

2au+cv=0,2bv+cu=02au+cv=0,\qquad2bv+cu=0

とする。∥u∥=∥v∥=1\|u\|=\|v\|=1、u⋅v=0u\cdot v=0 を用い、第 11 式と u,vu,v の内積を取ると a=c=0a=c=0、第 22 式から b=0b=0 を得る。よって dFdF の階数は 33 である。

したがって (1,1,0)(1,1,0) は正則値であり、正則値定理より XX は 6−3=36-3=3 次元の C∞C^\infty 級部分多様体である。また、XX はコンパクト空間 S2×S2S^2\times S^2 の閉部分集合なのでコンパクトである。

Reference​