Bourbaki

习题 2, § 5

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

一般拓扑, IV, 390

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

a) 令ff为集合XX上定义的实值函数,令AA为XX的非空子集,并令φ\varphi为递增实值函数定义f(A)f(A)。如果φ\varphi在点a=sup⁡x∈Af(x)a = \sup_{x \in A} f(x)连续,则sup⁡x∈Aφ(f(x))=φ(sup⁡x∈Af(x))\sup_{x \in A} \varphi(f(x)) = \varphi(\sup_{x \in A} f(x))。

b) 令ff为在集合XX上定义的实值函数,经过滤器F\mathfrak{F}过滤,并令φ\varphi为在开邻域VV上定义的实值函数 ff的集群点相对于F\mathfrak{F}的集合。证明如果 φ\varphi 是递增并且在 VV 上连续,那么

lim⁡sup⁡F(φ∘f)=φ(lim⁡sup⁡Ff). \lim \sup_{\mathfrak{F}} (\varphi \circ f) = \varphi(\lim \sup_{\mathfrak{F}} f).

解答

尚未写出解答。

被以下引用

无。

引用了

无。

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