-加法族なので、後は複雑度とエネルギーを計算すればよい。とも直交する(§6(その一)補題3の証明中の式より)。これより、を得る*1。§6(その二)の命題よりである。小さく取ればとできる。-ノルムのCauchy-Schwarzの不等式と三角不等式によってなので、であり、エネルギーギャップ公式よりが示された。これがエネルギー増加である。対して条件を満たすと仮定する。存在して、が成り立つ。構造定理ダイコトミーに対して§7のエネルギー増加法を適用すればよい。追加されていることに注意(パラメータが増えれば、全てのLandauの記号にそのパラメータを付ければ証明が問題なく回るので、帰結となるLandauの記号にもそのパラメータをつければよい。本質的な役割を果たしていなかった)。すると、内積の線型性よりであり、確認した諸性質からが言える。有界であることと同じ理由。二記事に分けて読み...2017-09-22タオのセメレディ論文の§10を読む(その二)この記事でSzemerédiの定理の証明が完結します。»プロフィールid:integers整数、特に素数が大好き。素数に恋する女アジマティクスCorollaryは必然に。(22)広告について当ブログはお金を支払って「はてなブログPRO」を使用しているため広告は表示されません。将来にわたって広告などによる収入を得ることはありません。「はてなブログPRO」を解約し無料プランに変更したため、以降広告が表示されます。管理人が収入を得ていないことは変更ございません。はてなブログをはじめよう!integersさんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。