Bourbaki

习题 2, § 1

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

一般拓扑, IX

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

设ff为X∖XX \setminus X的映射到[0,+∞][0, +\infty]。那么集合{f(x,x′)>s}\{f(x, x') > s\}族,其中ss贯穿所有实数>0> 0的集合,形式是XX上均匀性的基本系统随行人员,当且仅当ff满足以下条件条件: i) f(x,x)=0f(x, x) = 0 对于所有 x∈Xx \in X; ii) 对于每个s>0s > 0,都存在t>0t > 0,使得关系f(x,x′)≤tf(x, x') \leq t意味着f(x,x′)≤s;f(x, x') \leq s; iii) 对于每个s>0s > 0,都存在c>0c > 0,使得关系f(x,z)≤cf(x, z) \leq c和f(z,y)≤cf(z, y) \leq c暗示f(x,y)≤af(x, y) \leq a。

条件 ii) 和 iii) 特别满足,如果 I=[0,+∞]I = [0, +\infty] 的映射 φ\varphi 在其自身上是连续的,并且零在点 0 处,并且 I∖II \setminus I 的映射 ψ\psi 存在于II 是连续的,零在点 (0,0)(0, 0),因此我们有相同的

f(y,x)≤φ(f(x,y))andf(x,y)≤ψ(f(x,z),f(z,y)). f(y, x) \leq \varphi(f(x, y)) \quad \text{and} \quad f(x, y) \leq \psi(f(x, z), f(z, y)).

解答

尚未写出解答。

被以下引用

无。

引用了

无。

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