integers https://blog.hatena.ne.jp/integers/ INTEGERS https://integers.hatenablog.com/ 等間隔に並ぶ素数を追い求めて 弱正則化補題の証明. を主張の通りにとる。またはが空集合のときは自明に成立するので、ともに空集合ではないと仮定する。正整数を用いてとなっているときに証明すれば十分である(とすれば、全単射があるため)。行列の特異値分解を考えることによって、正整数, 実数値, 関数 であってを満たすのもの(直交関係式。はKroneckerのデルタ)、関数であってを満たすのものが存在して、 −①と書くことができる。これを二乗してで平均化すると、直交関係式によってFrobeniusノルム恒等式が得られる。左辺は以下なので、 −②がわかる。これより、ならばが成り立つ。理由: かつなるが存在したと仮定すると、の単調減少性… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fintegers.hatenablog.com%2Fentry%2F2017%2F12%2F08%2F000000" 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 2017-12-08 00:00:00 rich https://integers.hatenablog.com/entry/2017/12/08/000000 1.0 100%