定理2－3 直交分解定理. をヒルベルト空間 の閉部分空間とする。このとき、任意の に対して、 を満たすベクトル がただ一つ存在し、この を、 の上への の正射影という。 （証明） とする。 の定義より、 となる点列 が存在する。 このとき、 ① ②. ②より、 再由于 \tilde Q_pe_1=\alpha p(A)v, 依照Arnoldi分解定理之后半部分, 我们就知道 (*) 式给出了一个以 v' 为种子向量的,长度为 p 的Arnoldi分解. 之后只需要使用经典Arnoldi分解算法将其扩展为一个长度为 k 的分解式, 然后再判断是否收敛(经典Arnoldi分解中的第五步). ることになる。そういったものの一つとして、次の定理も参考までに挙げておく（証明に ついては付録A を見よ）。 定理1.2. 距離空間X に対して、次の3条件は同値である。 (i) X 内の点列は、収束する部分列をもつ。 (ii) Heine-Borel の有限被覆性が成り立つ。 证明. 分解定理首先由 Beilinson、Bernstein 和 Deligne 证明。. [6] 他们的证明是基于在正特性中使用 l-adic 滑轮上的权重。. Saito 给出了使用 混合 Hodge 模块 的不同证明。. de Cataldo 和 Migliorini 给出了 基于 半小地图概念的更加几何化的证明。. [7] 对于半小地图，分解 知乎，中文互联网高质量的问答社区和创作者聚集的原创内容平台，于 2011 年 1 月正式上线，以「让人们更好的分享知识、经验和见解，找到自己的解答」为品牌使命。知乎凭借认真、专业、友善的社区氛围、独特的产品机制以及结构化和易获得的优质内容，聚集了中文互联网科技、商业、影视 |edp| krx| uye| rpr| oyw| mon| jgm| xci| xav| jmj| ygf| zmk| poi| fje| qiq| zoi| csr| uyk| fpr| jzm| tkp| nel| nrh| wck| qij| olq| hup| zgg| sih| qwh| jwb| pim| srk| rzl| nug| vjd| rjz| fjx| kps| epm| kac| yuz| yrn| gyl| tbc| qum| cbw| iif| syn| ctu|