习题 11, § 2 标签 0C3J,永久不变。引用为 [Bourbaki, Tag 0C3J]。 一般拓扑, IX Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。 令 XXX 为紧凑度量空间,度量为 ddd。证明如果 fff 是 XXX 的映射到 XXX 中,这样,对于 XXX 的点的每个对 x,yx, yx,y,我们有 d(f(x),f(y))=d(x,y)d(f(x), f(y)) = d(x, y)d(f(x),f(y))=d(x,y),则 fff 是 XXX 自身的等距。 [令a,ba, ba,b为XXX中的任意两个点,并放入fn=fn−1∘ff^n = f^{n-1} \circ ffn=fn−1∘f、an=fn(a)a_n = f^n(a)an=fn(a)、bn=fn(b)b_n = f^n(b)bn=fn(b);通过选择(an)(a_n)(an)和(bn)(b_n)(bn)的合适子序列,证明对于每个ε>0\varepsilon > 0ε>0,都存在指标kkk,使得d(a,ak)<εd(a, a_k) < \varepsilond(a,ak)<ε和d(b,bk)<εd(b, b_k) < \varepsilond(b,bk)<ε;因此证明 d(a1,b1),…d(a,b)d(a_1, b_1), \ldots d(a, b)d(a1,b1),…d(a,b) 和 f(X)f(X)f(X) 在 XXX 中是稠密的。] 解答 尚未写出解答。 被以下引用 无。 引用了 无。