コンテンツにスキップ

第1章「実数」の全体像:解析入門Ⅰ(小平邦彦著)

第1章「実数」の概要:解析学を支える「連続性」の正体

Section titled “第1章「実数」の概要:解析学を支える「連続性」の正体”

小平邦彦先生は、第1章において「実数とは、隙間のない連続な数の集合である」という事実を、直感に頼らず論理的に確定させる。この章の役割は、解析学におけるすべての証明の「最終根拠」を作ることである。

日常的な計算に使う有理数(分数)だけでは、解析学は成立しない。

  • 問題: 𝑥2=2 を満たす有理数は存在しない。有理数の数直線には「穴」が開いている。
  • 解決: デデキントの切断などの手法を用い、有理数の隙間を完全に埋め尽くした「実数体 」を構築する。

2. 実数の連続性(完備性)の公理

Section titled “2. 実数の連続性(完備性)の公理”

この章の最重要テーマは「連続性」である。小平先生は、以下の同値な概念を通じて、実数が「一分の隙もない」ことを記述する。

  • 上限 (sup) の存在」: 上に有界な集合には、必ず最小の上界(上限)が存在する。
  • ワイエルシュトラスの公理」: 数列や集合が「どこに向かうべきか」を論理的に保証する。
Section titled “3. 数列の収束と .typst-text { pointer-events: bounding-box; } .tsel span, .tsel { left: 0; position: fixed; text-align: justify; white-space: nowrap; width: 100%; height: 100%; text-align-last: justify; color: transparent; white-space: pre; } .tsel span::-moz-selection, .tsel::-moz-selection { color: transparent; background: #7db9dea0; } .tsel span::selection, .tsel::selection { color: transparent; background: #7db9dea0; } .pseudo-link { fill: transparent; cursor: pointer; pointer-events: all; } svg { fill: none; } .outline_glyph path, path.outline_glyph { fill: var(--glyph_fill); stroke: var(--glyph_stroke); } .outline_glyph path, path.outline_glyph { transition: 0.2s fill stroke; } .hover .typst-text { --glyph_fill: #66bab7; --glyph_stroke: #66bab7; } .typst-jump-ripple, .typst-debug-react-ripple { width: 0; height: 0; background-color: transparent; position: absolute; border-radius: 50%; } .typst-jump-ripple { border: 1px solid #66bab7; } .typst-debug-react-ripple { border: 1px solid #cb1b45; } @keyframes typst-jump-ripple-effect { to { width: 10vw; height: 10vw; opacity: 0.01; margin: -5vw; } } @keyframes typst-debug-react-ripple-effect { to { width: 3vw; height: 3vw; opacity: 0.01; margin: -1.5vw; } } 𝜀−𝑁 論法”

「限りなく近づく」という曖昧な言葉を、数学的に厳密な不等式へと翻訳する。

lim𝑛𝑎𝑛=𝛼𝜀>0,𝑁s.t.𝑛>𝑁|𝑎𝑛𝛼|<𝜀

4. 第1章が提供する「3つの武器」

Section titled “4. 第1章が提供する「3つの武器」”

第1章を読み終えたとき、私たちは以下の道具を手に入れていることになる。

  1. 上限 (sup) ・ 下限 (inf)」 : 集合の「ギリギリの端」を特定する道具。値域の解析に必須。
  2. ボルツァーノ・ワイエルシュトラスの定理」 : 有界な数列には必ず収束する部分列があるという、存在証明の切り札。
  3. コーシーの収束判定条件」 : 極限値が何であるか分からなくても、数列自体が「落ち着こうとしているか」だけで収束を判定できる仕組み。

第1章は、計算技術を学ぶ場所ではなく、「実数という舞台には一箇所の穴も開いていない」ことを確認する作業である。この「穴がない」という保証があるからこそ、次章以降で「関数のグラフが繋がっていること」を確信を持って語れるようになる。

Google検索で優先ソースに設定する

Google 検索で優先ソースとして表示

他の記事を探す