コンテンツにスキップ

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

第1章「実数」概要:解析学える「連続性」正体小平邦彦先生は、第1章において「実数とは、隙間のない連続集合である」という事実を、らず論理的確定させます。この役割は、解析学におけるすべての証明の「最終根拠」ることです。1. 有理数限界実数導入日常的計算使有理数(分数)だけでは、解析学成立しません。問題: 𝑥2=2たす有理数存在しない。有理数数直線には「穴」いている。解決: デデキント切断などの手法い、有理数隙間完全くした「実数体 」をする。2. 実数連続性(完備性)公理この最重要テーマは「連続性」です。小平先生は、以下同値概念じて、実数が「一分もない」ことを記述します。上限 (sup) の存在:有界集合には、最小上界(上限)存在する。ワイエルシュトラス公理: 数列集合が「どこにかうべきか」を論理的保証する。3. 数列収束𝜀𝑁 論法「限りなくづく」という曖昧言葉を、数学的厳密不等式へと翻訳します。lim𝑛𝑎𝑛=𝛼𝜀>0,𝑁s.t.𝑛>𝑁|𝑎𝑛𝛼|<𝜀4. 第1章提供する「3つの武器」第1章えたとき、たちは以下道具れていることになります。1.上限 (sup) ・ 下限 (inf) : 集合の「ギリギリ端」特定する道具。値域解析必須。2.ボルツァーノ・ワイエルシュトラス定理 : 有界数列には収束する部分列があるという、存在証明札。3.コーシー収束判定条件 : 極限値であるかからなくても、数列自体が「こうとしているか」だけで収束判定できる仕組み。びにえて第1章は、計算技術場所ではなく、「実数という舞台には一箇所いていない」こと確認する作業です。この「がない」という保証があるからこそ、次章以降で「関数グラフがっていること」を確信ってれるようになります。