拓扑向量空间, IV, p. 65
设E,F是两个Banach空间,u一个从E到F的严格态射。则存在数m>0,使得对于每个ε∈]0,m[和每个y∈F,都存在z∈E使得u(z)=y和∥z∥≤(m−ε)−1 ∥y∥。 a) 设B为E中的闭球∥x−a∥≤r,并令ω为映射,从B到F满足以下条件:1osupx∈B∥w(x)∥=M<+∞; 2o 存在数 k>0,因此对于 B 中的所有x,x′,我们有∥w(x)−w(x′)∥≤k∥x−x′∥(“Lipschitz 条件”)。证明如果k<m和M<r(m−k),则B在映射x↦u(x)+w(x)包含下的像是一个带有中心b=u(a)的球。 (证明对于每个足够接近b的y∈F,我们可以对B的点进行定义序列(xn)n≥0,使得u(x0)=y和u(xn)=y−w(xn−1)对于n≥1,并且使得(xn)收敛于B 的点。) b) 假设从所有 E 到 F 的w 是映射,使得对于 E 中的每个 x,x′ 都有 ∥w(x)−w(x′)∥≤k∥x−x′∥。证明如果 k<m,u+w 是满射,并且从 E 到 F 开映射。 c) 特别地,如果w是从E到F的连续线性映射使得∥w∥<m,则v=u+w是从E到F的严格态射。如果ε∈]0,m[,则对于每个带有∥x∥=1的x∈v−1(0),存在x0∈u−1(0)使得∥x−x0∥≤∥w∥/(m−ε);如果在加法 ∥w∥<m−ε 中,那么对于每个 x0∈u−1(0) 和 ∥x0∥=1,都存在 x∈v−1(0) 使得
∥x−x0∥≤∥w∥/(m−ε−∥w∥). 推出,如果存在 E 的闭向量子空间 G,它是
u−1(0) 的补集,则只要
∥w∥ 足够小,G 也是
v−1(0) 的补集(通过归谬法论证:证明
v−1(0) 的投影到
u−1(0)不能包含在
u−1(0)的封闭超平面中;另一方面,注存在
a>0使得每个点
x∈G使得
∥x∥=1距离
≥a u−1(0))。