integers https://blog.hatena.ne.jp/integers/ INTEGERS https://integers.hatenablog.com/ 等間隔に並ぶ素数を追い求めて 定義 記事３の正則化補題の記号・仮定・帰結を考え、とする。各に対して、のアトムをとる。このとき、(これは空集合かのアトム)がgoodであるとは、任意のおよびに対して次の二つの評価が成り立つときにいう: −① −②が負となるような状況は扱わない。, のアトムに対して、をと定める。がgoodでなければ、或るが存在してが成り立つ。次の補題は殆どのアトムはgoodであることを意味する。補題 正則化補題の記号・仮定・帰結および上記記号設定を考える。このとき、任意の, およびのアトムに対してが成り立つ。証明. 定義よりが成り立つので、と評価できる。一つ目の和はと評価できる。二つ目の和はと評価できるが、正則… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fintegers.hatenablog.com%2Fentry%2F2018%2F01%2F22%2F200247" title="ハイパーグラフ除去補題ー４ - 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.blog.st-hatena.com/images/theme/og-image-1500.png Hatena Blog https://hatena.blog 2018-01-22 20:02:47 rich https://integers.hatenablog.com/entry/2018/01/22/200247 1.0 100%