今日は数論の話をしましょう。対しての形をした数のことです。角形が作図可能である必要十分条件が知られています。フェルマー数であること」です。フェルマー数の形をした素数をフェルマー素数といいます。宣伝です!!フェルマー素数と作図の関係についての解説は、tsujimotterのノートブックの過去の記事でも紹介しています:tsujimotter.hatenablog.comまた、私の執筆した数理科学の記事(2017年12月号)でも、丁寧に紹介しています。よろしければご覧ください。最初の5つのフェルマー数を観察すると、これがすべて素数となることに気づきます。フェルマー数の由来となった数学者フェルマーは、フェルマー数が素数ばかりであることに驚き、この先も素数が続くことを予想していたようです。ところが、すぐ次のフェルマー数は素数ではありません。いうと、この先フェルマー素数は一つも見つかっていません。2020年2月現在、307個のフェルマー数が合成数であることが調べられています。フェルマー数の列の中に、6個目もフェルマー素数を見つける試みは、大変難しいことがわかります。今日はその方法を紹介したいと思います。フェルマー数から素数の無限性が得られると聞いて、ぱっと頭に浮かぶのは「フェルマー素数の無限性」を示すという方針でしょう。フェルマー素数が無限にあることが示せれば、当然素数も無限にあるというわけです。素数の無限性しかしながら、フェルマー素数の無限性を示すのはとても困難です。そもそも「~〜素数の無限性」を示すこと自体、とても難しい問題です。型素数の無限性(算術級数定理)」ぐらいです。違ったアプローチが必要というわけですね。最近、寺杣先生の「リーマン面の理論」という本を勉強しています。単行本(ソフトカバー)「リーマン面」についての勉強を始めたのは、「幾何が専門の人の話についていけるようになりたい」という動機からでした。そんなことを考えているときに上記の本が発売されたので、ちょうどよいタイミングだなと思いました。それとは別に「リーマン面」と「数論的な現象」の間に接点があるそうで、これについても理解したいなという思いがあります。tsujimotterはこれまで位相空間論や多様体の勉強をほとんどしてこなかったので、理解するのにだいぶ苦労しています。進捗は遅そうですが、少しずつでも読み進めようと思っています。第一段階として、自分自身の理解の確認のためにリーマン面の具体例を構成していきたいと思っています。今回はその前段として「リーマン面の定義」を丁寧にまとめていきたいと思います。今回の記事では「わかりやすく伝える」という意図はあまりなく、ただただ実直に定義を理解しようという考えで書いています。その点はご理解ください。整数論2020年最初に作ったアプリが、おかげさまでたくさんの方にみてもらえているようです。上のアプリを公開後も、tsujimotterは「2020に関する数学トピック」についてあれこれ考えていました。今回紹介したいのは「2次形式で表せる素数」のお話です。上の話と比べると、かなり前提知識が必要な話なのですが、よろしければお付き合いください。2020年といえば、だいぶ前から話題に上がっていたオリンピックイヤーがいよいよやってきたという感じですが、今年はどんな一年になるのでしょうか。良い年にしていきたいですね。2020年になったということで、毎年恒例の「年号の数についての数式」を考えたいと思います。題して「#2020になる数式」です。ハッシュタグを検索してみると、いろいろな数式が出てきますので、よろしければご覧になってみてください。Twitter今日はtsujimotterが見つけた数式の紹介と、その数式を可視化するWebアプリを作ったのでご紹介したいと思います。過去の年号の数式については、他の方がまとめてくれたものがありました。今回は「指数層系列」シリーズの最終回の記事です。これまでシリーズを通してという層の短完全列について議論してきました。全射にはならない)を説明しました。これが今回考えたい問題です。いう道具が非常に有効です。そんなわけで、今回の記事では層係数コホモロジーについて、その定義から使い方までをまとめたいと思います。シリーズ記事の一環として書いていますが、一般的な層係数コホモロジーの話を展開しますので、指数層系列の記事を読んでいる必要はありません。単純に層係数コホモロジーについて知りたい、という人もぜひ読んでください。層の定義についての知識は必要かと思いますので、以下の記事の内容を前提としたいと思います。上の層」を考えていました。位相空間」として、その上の層を考えたいと思います。パラコンパクトな位相空間」に限定していますが、またそのときに改めて注意します。今回の記事はtsujimotterがまさに勉強中の「理解の最前線」を書いている記事となっています。内容もできる限り正しい記述になるよう努めたつもりですが、私の理解不足により誤りを含んでいる可能性があります。勉強する際は、私の記述をうのみにせず参考文献をご参照いただければと思います。参考文献は一番下に書いています。それでは少し長いですが、お付き合いください。前回、指数関数の3つの素朴な性質からなる2つの短完全列が得られることを紹介しました。指数層系列シリーズの記事は、こちらのタグから読むことができます:tsujimotter.hatenablog.com本シリーズタイトルの指数層系列とは、上の短完全列を層の間の短完全列に伸ばしたものです。今日は、層の理論をまとめつつ、指数層系列を得るところまでいきたいと思います。最初のうちは、上記の話を単に層の言葉で表せばよいだけと思っていました。ところが、勉強していくうちに、そこまで単純な話ではないということに徐々に気づいてきました。私自身、正しい理解に大変苦労しまして、記事の内容も二転三転しています。その辺の戸惑いやそれを乗り越えて理解したときの感覚などは、なかなか本には載っていない部分と思います。その辺をできるだけ残そうという趣旨で書いています。参考になれば幸いです。今回の記事はtsujimotterがまさに勉強中の「理解の最前線」を書いている記事となっています。内容もできる限り正しい記述になるよう努めたつもりですが、私の理解不足により誤りを含んでいる可能性があります。勉強する際は、私の記述をうのみにせず参考文献をご参照いただければと思います。参考文献は一番下に書いています。それでは少し長いですが、お付き合いください。24日目の記事として、素数大富豪プレーヤーのレーティングを算出する手法について、筆者による提案手法を紹介したいと思います。その手法を用いて過去の大会における結果を元にレーティングを算出しましたので、その結果も合わせて紹介したいと思います。*1」というところで発表した内容の焼き直しとなっています。その関係で少し学術的な議論を意識した構成になっております。普段と文体が変わるかと思いますが、あらかじめご了承ください。「趣味で数学」実践ノートです。技術系の記事も書きます。twitterアカウントも同名。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。