integers https://blog.hatena.ne.jp/integers/ INTEGERS https://integers.hatenablog.com/ 等間隔に並ぶ素数を追い求めて §8 Proof of the structure theorem では前節のエネルギー増加法を用いて構造定理(Thm 3.5)を証明します。命題 (構造定理ダイコトミー, Lemma 8.1) を整数とし、非負値有界関数 は或るに対して条件を満たすと仮定する。を任意の関数とする。また、は整数で、 (resp. )をそれぞれ複雑度が (resp. )以下であるような-コンパクトな上の-加法族であって、 及び エネルギーギャップ条件を満たすようなものとする。このとき、次の少なくとも一方を満たす：(成功): 或る , 有界関数 , 非負値有界関数 が存在してが成り立つ。(エネルギー増加): 或る複… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fintegers.hatenablog.com%2Fentry%2F2017%2F09%2F20%2F000000" title="タオのセメレディ論文の§8を読む - INTEGERS" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/i/integers/20170919/20170919140745.png Hatena Blog https://hatena.blog 2017-09-20 00:00:00 rich https://integers.hatenablog.com/entry/2017/09/20/000000 1.0 100%