习题 2, § 3
标签 0BXV,永久不变。引用为 [Bourbaki, Tag 0BXV]。
一般拓扑, VI
Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。
认同射影空间 与 的商空间定义在 no. 1、命题 3 中,并令 表示 到 的典范映射。 如果存在 E 到 的连续映射 使得 的连续空间 E 到 的连续映射 被认为是“非必要的”,并且在逆命题情况下是“必要的”(cf.) § 2、习题6)。 证明存在均匀性的周围U,使得如果是拓扑空间E到的非必要映射,则E到的每个连续映射使得对于所有也是不必要的。
解答
尚未写出解答。