integers https://blog.hatena.ne.jp/integers/ INTEGERS https://integers.hatenablog.com/ Grahamの定理 今、我々はGrahamの定理の証明を理解することを目標としています： integers.hatenablog.comこの記事では証明のための準備として、数列の完全性に関するBrownの判定法を紹介します。定義 正の実数からなる数列に対し、集合をで定める(の相異なる項の有限和として表される数全体のなす集合)。このとき、が完全であるとは、任意の自然数がの元であるときにいう*1。定理 (Brownの判定法) を初項がの自然数からなる非減少数列とする。 このとき、が完全であるための必要十分条件は、任意の自然数に対してが成り立つことである。証明. が完全であると仮定する。ある番号が存在してであったと仮定… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fintegers.hatenablog.com%2Fentry%2F2016%2F06%2F24%2F015125" title="数列の完全性に関するBrownの判定法 - 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/20160624/20160624015104.png Hatena Blog https://hatena.blog 2016-06-24 01:51:25 rich https://integers.hatenablog.com/entry/2016/06/24/015125 1.0 100%