Bourbaki marks this one as harder than the rest.
令K为非离散豪斯多夫拓扑划分环,并令φ:K→R+为映射,使得φ(0)=0,φ(xy)=φ(x)φ(y),并且如果Vn表示所有x∈K的集合,使得φ(x)≤1/n, 集合 Vn 形式 K 0 的邻域的基本系统。
a) 证明存在实数 a>0,对于所有 x∈K,
φ(1+x)≤a(1+φ(x)) [如果不是,则存在序列
(xn)/点/
K,使得
(1+xn)−1和
xn(1+xn)−1都趋向于零]。因此证明如果
ψ(x)=(φ(x))α 我们有
ψ(x+y)≤2sup(ψ(x),ψ(y)) 对于
α足够小。
b) 证明如果n=2p我们有ψ(∑i=1nxi)≤nsup(ψ(xi)),并推断对于每个整数m>0我们有ψ(m)≤2m。
c) 从 b) 中推出,对于每个 n=2p 和每个 x∈K,我们都有 ψ((1+x)n−1)≤2n(1+ψ(x))n−1,因此 ψ 是 K 上的*绝对值*,其中定义拓扑是 K。