Bourbaki

习题 8, § 4

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

拓扑向量空间, V, p. 77

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

a) 令 E 为希尔伯特空间,并令 T 为从 E 到自身的连续线性映射,使得∥T∥≤1\|T\| \leq 1。证明关系 T.x=x,⟨T.x∣x⟩=∥x∥,T∗.x=xT.x = x, \langle T.x|x \rangle = \|x\|, T^*.x = x 是等价的,并且1E−T1_E - T 的核和1E−T1_E - T 的像的闭包是正交补集。 b) 设 T 是从 E 到自身的连续线性映射,满足不等式

∥x−T.x∥2≤∥x∥2−∥T.x∥2 \|x - T.x\|^2 \leq \|x\|^2 - \|T.x\|^2
对于所有x∈Ex \in E。然后∥T.x∥<∥x∥\|T.x\| < \|x\|对于所有xx使得T.x≠xT.x \neq x;对于每个x∈Ex \in E,序列(Tn.x)(T^n.x)收敛到点P.xP.x,PP是1E−T1_E - T的正交投影算子到核。 c) 设 P1,...,PrP_1, ..., P_r 为 E 上的正射投影。证明乘积 T=P1P2...PrT = P_1P_2 ... P_r 满足关系 (1)(通过 r 上的归纳论证);因此,正交投影PP是投影算子PjP_j的像的正交投影算子到交(注,如果∥Pj.x∥<∥x∥\|P_j.x\| < \|x\|对于指标j,则∥T.x∥<∥x∥\|T.x\| < \|x\|)。

解答

尚未写出解答。

被以下引用

无。

引用了

无。

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