Questions in category: 高等几何 (Geometry)
几何 >> 高等几何
<[1] [2] >

1. $S^3$ 非局部同构于 $\mathbb{R}^3$.

Posted by haifeng on 2021-06-24 10:58:57 last update 2021-06-24 11:06:05 | Answers (0) | 收藏


球面 $S^3$ 非局部等距同构于欧氏空间 $\mathbb{R}^3$. 但是球面 $S^3$ 含有一个局部等距同构于欧氏平面 $\mathbb{R}^2$ 的二维曲面. 球面
\[
S^3=\{(z,w)\in\mathbb{C}^2\mid |z|^2+|w|^2=1\}
\]
中这种曲面的一个例子是 $T^2$, 定义为
\[
T^2=\{(z,w)\in\mathbb{C}^2\mid |z|=|w|=1\},
\]
即由这样的点 $(e^{i\varphi},e^{i\psi})$ 组成.

我们证明曲面 $T^2$(也称为"环面")上的局部坐标 $(\varphi,\psi)$ 是欧氏的, 即, $T^2$ 上连接点 $(e^{i\varphi},e^{i\psi})$ 和 $(e^{i(\varphi+\Delta\varphi)},e^{i(\psi+\Delta\psi)})$ 的最短曲线的长度为 $\sqrt{(\Delta\varphi)^2+(\Delta\psi)^2}$. (注: $T^2\subset S^3\subset{C^2}\cong\mathbb{R}^4$ 上曲线的长度定义为在 $\mathbb{R}^4$ 中的长度.) 只要验证若 $z=e^{i\varphi}$, $w=e^{i\psi}$, 则 $|\mathrm{d}z|^2+|\mathrm{d}w|^2=(\mathrm{d}\varphi)^2+(\mathrm{d}\psi)^2$ 

易见, $\mathrm{d}z=ie^{i\varphi}\mathrm{d}\varphi$, $\mathrm{d}w=ie^{i\psi}\mathrm{d}\psi$, 因此, $|\mathrm{d}z|^2+|\mathrm{d}w|^2=(\mathrm{d}\varphi)^2+(\mathrm{d}\psi)^2$.

 


$S^2$ 有子流形 $S^1$ 局部等距同构于 $\mathbb{R}^1$;

$S^3$ 中 $T^2\cong S^1\times S^1\subset S^3$ 局部等距同构于 $\mathbb{R}^2$;

$S^4$ 中有无子流形局部等距同构于  $\mathbb{R}^3$ ?

 

参考 [1] P. 113.


References:

[1] V. V. Prasolov, V. M. Tikhomirov, Geometry.   Translations of Mathematical Monographs, Volume 200.

2. 球面上等距同构是一非平凡 Clifford 平移的等价条件.

Posted by haifeng on 2021-06-24 09:24:52 last update 2021-06-24 09:24:52 | Answers (1) | 收藏


定理. 等距同构 $f:S^n\rightarrow S^n$ 是一个非平凡的 Clifford 平移当且仅当相应的 $\mathbb{R}^{n+1}$ 上的等距同构可约化为 $(\lambda,\overline{\lambda},\lambda,\overline{\lambda},\ldots,\lambda,\overline{\lambda})$ 的形式, 这里 $|\lambda|=1$, 且 $\lambda\neq\pm 1$.

 

见 [1], P. 112 定理 7.


References:

[1] V. V. Prasolov, V. M. Tikhomirov, Geometry.   Translations of Mathematical Monographs, Volume 200.

3. 已知椭圆 $C: \frac{x^2}{24}+\frac{y^2}{16}=1$, 直线 $\ell: \frac{x}{12}+\frac{y}{8}=1$, $P$ 是 $\ell$ 上一点. 射线 $OP$ 交椭圆于点 $R$, 又点 $Q$ 在 $OP$ 上且满足 $|OQ|\cdot|OP|=|OR|^2$, 当点 $P$ 在 $\ell$ 上移动时, 求点 $Q$ 的轨迹方程, 并说明轨迹是什么曲线.

Posted by haifeng on 2018-03-18 10:58:50 last update 2018-03-18 10:58:50 | Answers (0) | 收藏


已知椭圆 $C: \frac{x^2}{24}+\frac{y^2}{16}=1$, 直线 $\ell: \frac{x}{12}+\frac{y}{8}=1$, $P$ 是 $\ell$ 上一点. 射线 $OP$ 交椭圆于点 $R$, 又点 $Q$ 在 $OP$ 上且满足 $|OQ|\cdot|OP|=|OR|^2$, 当点 $P$ 在 $\ell$ 上移动时, 求点 $Q$ 的轨迹方程, 并说明轨迹是什么曲线.
 

4. 求直线 $2x+y-1=0$ 关于二次曲线 $\Gamma: 3x^2+4xy+y^2+8x+2y+5=0$ 的极点 $P$.

Posted by haifeng on 2018-03-18 10:56:03 last update 2018-03-18 10:56:03 | Answers (0) | 收藏


求直线 $2x+y-1=0$ 关于二次曲线 $\Gamma: 3x^2+4xy+y^2+8x+2y+5=0$ 的极点 $P$.

5. 给定一分式线性变换 $f$, 使得存在常数 $a$, 满足 $f(a)\neq a$ 且 $f(f(a))=a$. 证明: $f(f(x))=x$ 对所有 $x$ 成立.

Posted by haifeng on 2018-03-18 10:35:24 last update 2018-03-18 10:35:24 | Answers (1) | 收藏


给定一分式线性变换 $f$, 使得存在常数 $a$, 满足 $f(a)\neq a$ 且 $f(f(a))=a$. 证明: $f(f(x))=x$ 对所有 $x$ 成立.


 

6. 四边形 $ABCD$ 的四边 $AB$, $BC$, $CD$, $DA$ 上分别有点 $E$, $F$, $G$, $H$. 如果直线 $BD$, $EH$, $FG$ 共点, 求证: $AC$, $EF$, $HG$ 也共点.

Posted by haifeng on 2018-03-18 10:08:11 last update 2018-03-18 10:26:00 | Answers (1) | 收藏


四边形 $ABCD$ 的四边 $AB$, $BC$, $CD$, $DA$ 上分别有点 $E$, $F$, $G$, $H$. 如果直线 $BD$, $EH$, $FG$ 共点, 求证: $AC$, $EF$, $HG$ 也共点.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

7. 设 $AB$ 是某椭圆的直径. 平行于 $AB$ 的两条直线与此椭圆相切, 切点分别为 $C$ 和 $D$. 求证: $CD$ 和 $AB$ 是一对共轭直径.

Posted by haifeng on 2018-03-18 09:52:18 last update 2018-03-18 09:54:46 | Answers (1) | 收藏


设 $AB$ 是某椭圆的直径. 平行于 $AB$ 的两条直线与此椭圆相切, 切点分别为 $C$ 和 $D$. 求证: $CD$ 和 $AB$ 是一对共轭直径.

 

Remark:

这里直径的含义与分析中某个区域 $\Omega$ 的直径 $\sup\limits_{x,y\in\Omega} d(x,y)$ 之含义不同.

关于椭圆直径和共轭直径的定义, 参见 https://baike.baidu.com/item/共轭直径

 

8. 设 $(\mathbb{E},V)$ 是 2 维欧几里得空间, 仿射自同构 $f\in Aff(\mathbb{E})$ 保持内积空间 $V$ 中任意两个向量的夹角不变. 证明: $f$ 的“线性”部分是 $V$ 上正交变换的常数倍.

Posted by haifeng on 2018-03-14 23:19:14 last update 2018-03-14 23:19:14 | Answers (1) | 收藏


设 $(\mathbb{E},V)$ 是 2 维欧几里得空间, 仿射自同构 $f\in Aff(\mathbb{E})$ 保持内积空间 $V$ 中任意两个向量的夹角不变. 证明: $f$ 的“线性”部分是 $V$ 上正交变换的常数倍.

 

Remark:

这里 $f$ 的“线性”部分是指去掉平移部分后的变换.

9. 在三角形 $\triangle ABC$ 中, $D,E,F$ 分别是三边 $BC$, $CA$, $AB$ 上的点, 且满足 $\frac{AF}{FB}=\frac{BD}{DC}=\frac{CE}{EA}=\frac{1}{m}$. 设 $AD$ 与 $BE$ 交于 $N$ (有时可记为 $AD\cap BE=N$), $BE\cap CF=P$, $CF\cap AD=M$. 求两三角形面积之比 $S_{\triangle MNP} : S_{\triangle ABC}$.

Posted by haifeng on 2018-03-14 21:43:24 last update 2018-03-14 22:37:54 | Answers (1) | 收藏


在三角形 $\triangle ABC$ 中, $D,E,F$ 分别是三边 $BC$, $CA$, $AB$ 上的点, 且满足

\[
\frac{AF}{FB}=\frac{BD}{DC}=\frac{CE}{EA}=\frac{1}{m}.
\]

设 $AD$ 与 $BE$ 交于 $N$ (有时可记为 $AD\cap BE=N$), $BE\cap CF=P$, $CF\cap AD=M$. 求两三角形面积之比 $S_{\triangle MNP} : S_{\triangle ABC}$.
 

 


[Hint] 使用仿射几何的性质.

 

 

References:

冯克勤 射影几何漫谈

10. 交比(cross ratio)的定义与性质

Posted by haifeng on 2018-03-14 19:34:33 last update 2018-03-14 19:49:23 | Answers (0) | 收藏


在射影几何中, 假设直线 $\ell$ 上有四个点 $A,B,C,D$. 它们的坐标(在 $\ell$ 上的坐标)分别是 $a,b,c,d$. 则定义这四个点的交比是

\[
[A,B,C,D]:=\frac{c-a}{c-b}:\frac{d-a}{d-b}.
\]

 

性质:交比是射影变换不变量.

 

容易验证交比有下列性质.

\[
\begin{align}
[A,B,C,D]&=[B,A,C,D]^{-1}=[A,B,D,C]^{-1},\\
[A,B,C,D]&=[B,A,D,C]=[C,D,A,B],\\
[A,B,C,D]&=1-[A,C,B,D],\\
\end{align}
\]

 

<[1] [2] >