Bourbaki

习题 15, § 1

标签 0BZ2,永久不变。引用为 [Bourbaki, Tag 0BZ2]。

一般拓扑, VII

It is set in small type as supplementary.

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。

令 II 为Rn\mathbf{R}^n 中的封闭立方体,边长为 2π2\pi。 II 中的映射点 x=(xi)x = (x_i) 至点 y=(yj)y = (y_j) Rn+1\mathbf{R}^{n+1} 使得

y1=sin⁡x1y2=(2+cos⁡x1)sin⁡x2⋯yp=(2p−1+∑k=1p−12p−k−1cos⁡xp−kcos⁡xp−k+1⋯cos⁡xp−1)sin⁡xp(2≤p≤n)⋯yn+1=∑k=1n−12p−k−1cos⁡xn−kcos⁡xn−k+1⋯cos⁡xn. \begin{align*} y_1 &= \sin x_1 \\ y_2 &= (2 + \cos x_1) \sin x_2 \\ &\cdots \\ y_p &= (2^{p-1} + \sum_{k=1}^{p-1} 2^{p-k-1} \cos x_{p-k} \cos x_{p-k+1} \cdots \cos x_{p-1}) \sin x_p \quad (2 \leq p \leq n) \\ &\cdots \\ y_{n+1} &= \sum_{k=1}^{n-1} 2^{p-k-1} \cos x_{n-k} \cos x_{n-k+1} \cdots \cos x_n. \end{align*}

证明在此映射下I的像同胚于Tn\mathbf{T}^n(nn上归纳同胚证明:观察rpr_p对于≤p n\leq p\ n有sin⁡xp\sin x_p的符号)。如果如此定义的n=2n = 2、R3\mathbf{R}^3的子集称为旋转*环面。

(16) 令 G 为 Rn\mathbf{R}^n 的子群,其中包含是一个紧连接的子集 K,使得由 K 生成的仿射线性簇为维数 pp。证明维数 pp 的 G 包含向量子空间。 [证明由归纳于nn、利用习题 10 c) 于章VI, § 1。]

(17) 设E为nn因子的乘积(Qp)n(\mathbf{Q}_p)^n等于pp-adic数的域Qp\mathbf{Q}_p(章III。§ 6, 习题 23),赋予拓扑群结构,即因子Qp\mathbf{Q}_p的加法拓扑结构的乘积,并且其nn维向量空间结构超过域 Qp\mathbf{Q}_p。如果vv表示Qp\mathbf{Q}_p的加法pp-adic估值,则将所有x≠0x \neq 0的xp=p−vpxx_p = p^{-v_p x}放入Qp\mathbf{Q}_p和op=0o_p = 0;并为所有x=(xi)1≤i≤n∈Ex = (x_i)_{1 \leq i \leq n} \in E放入∥x∥=sup⁡xi\|x\| = \sup x_i(cf.章IX。§ 3,第2和3个)。

a) 子集 E 的 A 是相对紧的当且仅当

sup⁡x∈A∥x∥<+∞. \sup_{x \in A} \|x\| < +\infty.
[注,tpt_p是Qp\mathbf{Q}_p到Z\mathbf{Z}的连续映射(带有离散的拓扑)。]

b) 如果 G 是 E 的闭子群,则 G 是 pp-adic 整数的环 Zp\mathbf{Z}_p 上的拓扑模;如果x∈Gx \in G,对于所有n∈Zn \in \mathbf{Z},我们有nx∈Gnx \in G,并且Z\mathbf{Z}在Zp\mathbf{Z}_p中是稠密的。

c) 如果 K 是 E 的紧致子群,则存在 E 的 m≤nm \leq n 点 aia_i (1≤i≤m1 \leq i \leq m) 的自由系统,使得 K 是 m 群 Zp⋅ai\mathbf{Z}_p \cdot a_i 的直和。 [用a)证明,如果(ej)1≤j≤n(e_j)_{1 \leq j \leq n}是E的规范基,则存在整数k∈Zk \in \mathbf{Z}使得K包含在n个群Zp⋅pkej\mathbf{Z}_p \cdot p^k e_j的直和中;然后将模的理论应用于主要理想环。]

d) 如果 G 是 E 的闭(但非紧)子群,则 G 包含向量子空间的维数 1、Qp⋅a\mathbf{Q}_p \cdot a 和 a≠0a \neq 0。 [令 C 为所有点 x∈Ex \in E 的 E 由……组成的紧凑子集,使得 ∥x∥=1\|x\| = 1;证明点(xr)r∈N(x_r)_{r \in \mathbf{N}}的G∩CG \cap C包含序列使得p−rxr∈Gp^{-r} x_r \in G,并取aa作为这个序列的集群点。]

e) 令G为E的闭子群,令V为G中包含的最大的向量子空间,并令W为与V互补的向量子空间;表明 W∩GW \cap G 是紧致的,并且 G 是 V 和 W∩GW \cap G 的直和(如 no. 2 的定理 2 所示)。

f) 给定 E 的子群 G,令 G∗G^* 表示所有 u=(ui)∈Eu = (u_i) \in E 中的集合,使得

(u∣x)=∑i=1nuixi (u|x) = \sum_{i=1}^n u_i x_i

对于所有 x=(xi)∈Gx = (x_i) \in G,从属于到 Zp\mathbf{Z}_p。证明 G∗G^* 在 E 中是闭集,(G‾)∗=G∗(\overline{G})^* = G^* 和 (G∗)∗=G‾(G^*)^* = \overline{G}。

g) 陈述并证明E的闭子群的习题2到8的类似物。特别是,子群的每个闭子群和群的形式的每个Hausdorff商群

(Qp)r×(Qp/Zp)s×(Zp)t×F (\mathbf{Q}_p)^r \times (\mathbf{Q}_p/\mathbf{Z}_p)^s \times (\mathbf{Z}_p)^t \times F

(其中F是pp幂阶的循环群的有限数的乘积)是相同形式的群。

解答

尚未写出解答。

被以下引用

引用了

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。