integers https://blog.hatena.ne.jp/integers/ INTEGERS https://integers.hatenablog.com/ 等間隔に並ぶ素数を追い求めて この記事では、前記事の命題の証明を完成させます。定義 をの部分集合とし、とする。に対して とすると、はHilbert空間になる*1。に対して-ノルム はで与えられる。前記事の第四帰着を更にもう一段階帰着させます。第五帰着 前記事命題の設定のもと、任意の及びに対して或る正整数 が存在し、任意の正整数 に対して次が成り立つことを示せば十分である： 前記事①に現れる各アトム に対し、或るなるペアであって、任意のに対してが成り立つようなものが少なくとも一つ存在する。 帰着の確認 第五帰着の主張が成立すると仮定する。を固定し、と略記する。仮定した不等式とCauchy-Schwarzの不等式より、任意のに… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fintegers.hatenablog.com%2Fentry%2F2017%2F09%2F21%2F120000" title="タオのセメレディ論文の§9を読む(その二) - 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/20170920/20170920151141.png Hatena Blog https://hatena.blog 2017-09-21 12:00:00 rich https://integers.hatenablog.com/entry/2017/09/21/120000 1.0 100%