１＋１＝２を証明してください。大学の数学科でこの証明をする、と聞いたので教えてほしいです。 - まじめな質問です。 - Yahoo!知恵袋
０．記号の説明 n∈Nは「nは集合Nの元」または「nは集合Nに含まれる」ことを意味し、X⊂Yは集合の包含関係、すなわち「XはYの部分集合」であることを表す。またf○gは「写像fと写像gの合成」を意味する。s(N)は「写像sによるNの像」を表す。 １．自然数の体系 まず、自然数とは何かと突き詰めていくと、次の公理を満たすものであることが分かる。 集合N、その中の一つの元0（今は便宜上集合Nにゼロを含めて考える。そうしたところで「１＋１＝２」の証明には何ら差し支えない）、および写像 s：N→N の組 (N,0,s) が次の公理を満たすとき、Nの元を自然数と呼ぶ： (P1) s：N→Nは単射である。 (P2) 0はs(N)に含まれない。つまり任意のn∈Nに対してs(n)≠0 (P3) S⊂Nで、0∈Sかつs(S)⊂S（すなわちn∈Sである任意のnに対してs(n)∈S）ならば、S=Nである。 これ
【プレスリリース】世界に1つだけの三角形の組 －抽象現代数学を駆使して素朴な定理の証明に成功－ | 日本の研究.com
慶應義塾大学大学院理工学研究科 KiPAS 数論幾何グループの平川義之輔（博士課程 3 年）と松村英樹（博士課程 2 年）は、『辺の長さが全て整数となる直角三角形と二等辺三角形の組の中には、周の長さも面積も共に等しい組が（相似を除いて）たった 1 組しかない』という、これまで知られていなかった定理の証明に成功しました。 線の長さや図形の面積は、私たちの身の回りにあるものを測量する際に欠かせない基本的な「幾何学」的対象です。例えば、辺の長さが 3、4、5 の直角三角形は教科書でもおなじみの図形ですが、辺の長さが全て「整数」となる直角三角形はどのくらいあるか？という問題は、古代ギリシャ時代に研究がなされた重要な問題でした。この流れを汲んで 20 世紀に大きく発展した現代数学の一分野が「数論幾何学」です。 本研究では、数論幾何学における「p 進 Abel 積分論」と「有理点の降下法」を応用するこ
数式が生んだ宇宙：「3次元フラクタル」の画像ギャラリー | WIRED VISION
数式が生んだ宇宙：「3次元フラクタル」の画像ギャラリー 2009年12月17日 サイエンス・テクノロジーデザイン コメント： トラックバック (0) 魅惑的なフラクタル図形として表現される『マンデルブロ集合』。数学マニアのグループが、これに近い画像を3次元で生成する試みに挑戦した。 マンデルブロ集合を3次元に 彼らはその成果を「Mandelbulb(マンデルバルブ)」[bulbは球の意]と呼んでいる。3Dレンダリングによるこれらの画像は、球体に反復アルゴリズムを適用することで生成された。 3次元の球上の各点に、同じ計算が何度も繰り返し適用されている。これは、通常の2次元のマンデルブロ集合が無限に自己反復を繰り返すことで複雑な図形を描き出していることと、発想としては似通ったものだ。 [フラクタルは、フランスの数学者ブノワ・マンデルブロ(Beno将ツt Mandelbrot)、ャニウニ靴心審悗
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Amazon.co.jp： 本: コンピュータ科学者がめったに語らないこと
