Bourbaki

习题 22, § 6

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

积分, V, p. 112

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

设X,Y为两个紧致空间,U为Banach空间C(X;R)\mathscr{C}(X; \mathbf{R})的连续线性映射转化为Banach空间C(Y;R)\mathscr{C}(Y; \mathbf{R}),π:X→Y\pi : X \to Y为连续映射。假设对于每个y∈Yy \in Y和每个函数f∈C(X;R)f \in \mathscr{C}(X; \mathbf{R}),

inf⁡π(x)=yf(x)≤(U⋅f)(y)≤sup⁡π(x)=yf(x). \inf_{\pi(x)=y} f(x) \leq (U \cdot f)(y) \leq \sup_{\pi(x)=y} f(x).

证明在这些条件下,存在 Y 到 M+(X)\mathscr{M}_+(X) 中的模糊连续的映射 σ:y↦σy\sigma : y \mapsto \sigma_y,这样,对于每个 y∈Yy \in Y,σy\sigma_y 都由 π−1(y)\pi^{-1}(y) 携带,并且对于所有 x∈Xx \in X 都有 (U⋅f)(π(x))=⟨f,σπ(x)⟩(U \cdot f)(\pi(x)) = \langle f, \sigma_{\pi(x)} \rangle; 逆命题。 (考虑转置tU^tU。)

解答

尚未写出解答。

被以下引用

无。

引用了

无。

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