Bourbaki

习题 7, § 3

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

一般拓扑, VI

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

a) Show that, in 记号 of no. 5, 空间 Ln,pL_{n,p} is homeomorphic to 乘积 of Vn,pV_{n,p} and Rp(p+1)/2\mathbf{R}^{p(p+1)/2}. 注,每个矩阵X∈Ln,pX \in L_{n,p}都可以在形式U.YU . Y中唯一表达,其中y∈Vn,py \in V_{n,p}和U=(uij)U = (u_{ij})使得每当i<ji < j时uij=0u_{ij} = 0,1⩽i⩽p1 \leqslant i \leqslant p时uii>0u_{ii} > 0。输入Y=f(X)Y = f(X)。

b) 在no. 5、命题 8 的记号中,证明ff是BσB_\sigma到f(Bσ)f(B_\sigma)的同胚[注,X→f(Xσ−1X)X \to f(X^{-1}_\sigma X)是AσA_\sigma到f(Bσ)f(B_\sigma)的连续映射,并且 that f(Xσ−1X)f(X^{-1}_\sigma X) 属于 to the same 类 as XX mod Δn,p\Delta_{n,p};然后应用引理2]。 推出AσA_\sigma和Vn,pV_{n,p}的交DσD_\sigma同胚于Vp,pV_{p,p}和Rp(n−p)\mathbf{R}^{p(n-p)}的乘积[每个矩阵属于到DσD_\sigma都可以唯一地表示为乘积 Vp,pV_{p,p} 的矩阵和f(Bσ)f(B_\sigma) 的矩阵]。

解答

尚未写出解答。

被以下引用

引用了

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