Bourbaki

习题 17, § 4

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

拓扑向量空间, IV, p. 65

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

设E,F是两个Banach空间,uu一个从E到F的严格态射。则存在数m>0m > 0,使得对于每个ε∈]0,m[\varepsilon \in ]0, m[和每个y∈Fy \in F,都存在z∈Ez \in E使得u(z)=yu(z) = y和∥z∥≤(m−ε)−1 ∥y∥\|z\| \leq (m - \varepsilon)^{-1}\ \|y\|。 a) 设B为E中的闭球∥x−a∥≤r\|x - a\| \leq r,并令ω\omega为映射,从B到F满足以下条件:1o1^osup⁡x∈B∥w(x)∥=M<+∞\sup_{x \in B} \|w(x)\| = M < + \infty; 2o2^o 存在数 k>0k > 0,因此对于 B 中的所有x,x′x, x',我们有∥w(x)−w(x′)∥≤k∥x−x′∥\|w(x) - w(x')\| \leq k \|x - x'\|(“Lipschitz 条件”)。证明如果k<mk < m和M<r(m−k)M < r(m - k),则B在映射x↦u(x)+w(x)x \mapsto u(x) + w(x)包含下的像是一个带有中心b=u(a)b = u(a)的球。 (证明对于每个足够接近bb的y∈Fy \in F,我们可以对B的点进行定义序列(xn)n≥0(x_n)_{n \geq 0},使得u(x0)=yu(x_0) = y和u(xn)=y−w(xn−1)u(x_n) = y - w(x_{n-1})对于n≥1n \geq 1,并且使得(xn)(x_n)收敛于B 的点。) b) 假设从所有 E 到 F 的ww 是映射,使得对于 E 中的每个 x,x′x, x' 都有 ∥w(x)−w(x′)∥≤k∥x−x′∥\|w(x) - w(x')\| \leq k \|x - x'\|。证明如果 k<mk < m,u+wu + w 是满射,并且从 E 到 F 开映射。 c) 特别地,如果ww是从E到F的连续线性映射使得∥w∥<m\|w\| < m,则v=u+wv = u + w是从E到F的严格态射。如果ε∈]0,m[\varepsilon \in ]0, m[,则对于每个带有∥x∥=1\|x\| = 1的x∈v−1(0)x \in v^{-1}(0),存在x0∈u−1(0)x_0 \in u^{-1}(0)使得∥x−x0∥≤∥w∥/(m−ε)\|x - x_0\| \leq \|w\|/(m - \varepsilon);如果在加法 ∥w∥<m−ε\|w\| < m - \varepsilon 中,那么对于每个 x0∈u−1(0)x_0 \in u^{-1}(0) 和 ∥x0∥=1\|x_0\| = 1,都存在 x∈v−1(0)x \in v^{-1}(0) 使得

∥x−x0∥≤∥w∥/(m−ε−∥w∥). \|x - x_0\| \leq \|w\|/(m - \varepsilon - \|w\|).
推出,如果存在 E 的闭向量子空间 G,它是 u−1(0)u^{-1}(0) 的补集,则只要 ∥w∥\|w\| 足够小,G 也是 v−1(0)v^{-1}(0) 的补集(通过归谬法论证:证明 v−1(0)v^{-1}(0) 的投影到u−1(0)u^{-1}(0)不能包含在u−1(0)u^{-1}(0)的封闭超平面中;另一方面,注存在a>0a > 0使得每个点x∈Gx \in G使得∥x∥=1\|x\| = 1距离≥a\geq a u−1(0)u^{-1}(0))。

解答

尚未写出解答。

被以下引用

无。

引用了

无。

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