Bourbaki

习题 12, § 3

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

一般拓扑, IX

Bourbaki marks this one as harder than the rest.

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

令KK为非离散豪斯多夫拓扑划分环,并令φ:K→R+\varphi : K \to \mathbf{R}_+为映射,使得φ(0)=0,φ(xy)=φ(x)φ(y)\varphi(0) = 0, \varphi(xy) = \varphi(x)\varphi(y),并且如果VnV_n表示所有x∈Kx \in K的集合,使得φ(x)≤1/n\varphi(x) \leq 1/n, 集合 VnV_n 形式 KK 00 的邻域的基本系统。

a) 证明存在实数 a>0a > 0,对于所有 x∈Kx \in K,

φ(1+x)≤a(1+φ(x)) \varphi(1 + x) \leq a(1 + \varphi(x))
[如果不是,则存在序列(xn)(x_n)/点/KK,使得(1+xn)−1(1 + x_n)^{-1}和xn(1+xn)−1x_n(1 + x_n)^{-1}都趋向于零]。因此证明如果 ψ(x)=(φ(x))α\psi(x) = (\varphi(x))^{\alpha} 我们有
ψ(x+y)≤2sup⁡(ψ(x),ψ(y)) \psi(x + y) \leq 2 \sup (\psi(x), \psi(y))
对于α\alpha足够小。

b) 证明如果n=2pn = 2^p我们有ψ(∑i=1nxi)≤nsup⁡(ψ(xi))\psi \left( \sum_{i=1}^n x_i \right) \leq n \sup (\psi(x_i)),并推断对于每个整数m>0m > 0我们有ψ(m)≤2m\psi(m) \leq 2m。

c) 从 b) 中推出,对于每个 n=2pn = 2^p 和每个 x∈Kx \in K,我们都有 ψ((1+x)n−1)≤2n(1+ψ(x))n−1\psi((1 + x)^{n-1}) \leq 2n(1 + \psi(x))^{n-1},因此 ψ\psi 是 KK 上的*绝对值*,其中定义拓扑是 KK。

解答

尚未写出解答。

被以下引用

引用了

无。

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