特定准向量丛可平凡化的证明技术及相关同胚性问题

咱们先把问题的基础设定理清楚，再一步步拆解核心疑问和相关的验证案例：

问题背景与设定 #

固定拓扑空间 $S$，考虑子空间 $X \subset S \times \mathbb{R}^n$（赋予乘积拓扑），满足对任意 $s \in S$，交集 $({s} \times \mathbb{R}^n) \cap X$ 是向量空间 ${s} \times \mathbb{R}^n$ 的子空间。

给定自然数 $m \leq n$，设线性映射 $f: \mathbb{R}^n \to \mathbb{R}^m$，定义映射 $F: X \to S \times \mathbb{R}^m$ 为乘积映射 $1_S \times f: S \times \mathbb{R}^n \to S \times \mathbb{R}^m$ 在 $X$ 上的限制。此时对每个 $s \in S$，$F$ 会诱导出一个线性映射 $F_s: ({s} \times \mathbb{R}^n) \cap X \to {s} \times \mathbb{R}^m$。

核心疑问 #

现在的关键问题来了：如果对所有 $s \in S$，$F_s$ 都是双射，那么 $F$ 一定是同胚吗？ 如果这个结论不一定成立，有没有什么自然的附加条件能保证它成立？

平凡情形的验证 #

先看一个最直接的例子：当 $m = n$ 且 $X = S \times \mathbb{R}^n$ 时，$F = 1_S \times f$，此时每个 $F_s$ 就是线性映射 $f$。如果 $F_s$ 都是双射，那说明 $f$ 是线性双射，自然存在线性逆映射 $f^{-1}$，而 $1_S \times f^{-1}$ 就是 $F$ 的连续逆映射，所以此时 $F$ 确实是同胚。但我们更关注一些非平凡的、贴近实际应用的情况。

非平凡的动机实例 #

这个问题的核心动机是：验证嵌入在平凡向量丛中的准向量丛是否为向量丛，下面两个经典的几何例子正好对应这个场景：

1. 球面的切丛 $TS^n \subset S^n \times \mathbb{R}^{n+1}$

对 $n$ 维球面 $S^n$ 上的任意点 $x$（视为 $\mathbb{R}^{n+1}$ 中的单位向量），定义开集 $U \subset S^n$ 为所有与 $x$ 不正交的点 $u$ 的集合。取线性映射 $f: \mathbb{R}^{n+1} \to \mathbb{R}^n$ 为投影到 $\mathbb{R}^{n+1}$ 中与 $x$ 正交的子空间，那么乘积映射 $1_U \times f$ 在 $(U \times \mathbb{R}^{n+1}) \cap TS^n$ 上的限制 $F$ 是一个同胚，能把这个子空间映到 $U \times \mathbb{R}^n$。这里完全符合前面的设定：$S = U$，$X = (U \times \mathbb{R}^{n+1}) \cap TS^n$，而且对每个 $u \in U$，诱导的 $F_u$ 都是双射。

2. 实射影空间的 tautological 线丛 $L \subset \mathbb{RP}^n \times \mathbb{R}^{n+1}$

对 $n$ 维实射影空间 $\mathbb{RP}^n$ 中的点 $[x]$，定义开集 $U \subset \mathbb{RP}^n$ 为所有满足代表元 $u$ 与 $x$ 在 $\mathbb{R}^{n+1}$ 中不正交的点 $[u]$ 的集合。取线性映射 $f: \mathbb{R}^{n+1} \to \mathbb{R}$ 为投影到 $\mathbb{R}^{n+1}$ 中由 $x$ 张成的一维子空间，那么乘积映射 $1_U \times f$ 在 $(U \times \mathbb{R}^{n+1}) \cap L$ 上的限制 $F$ 是一个同胚，能把这个子空间映到 $U \times \mathbb{R}$。同样符合设定：$S = U$，$X = (U \times \mathbb{R}^{n+1}) \cap L$，且每个 $F_{[u]}$ 都是双射。

备注：内容来源于stack exchange，提问作者Ezio Greggio