Chapter 05
連続性:途切れない曲線、微分への扉を開く
ある点で連続とは、そこでの極限が存在し、その値が関数値と一致するときです。微分可能性や、ディープラーニングの活性化・損失関数の理解の基礎になります。
チャプター別 数学図
チャプターを選ぶと、下の図がそのチャプターの内容に切り替わります。基礎数学の流れを一覧で確認できます。
左: 連続 — 曲線が点 で切れずにつながっています。右: 不連続 — その点で穴や飛びがあります。
連続
lim = f(a)
不連続
f(a) なし または lim ≠ f(a)
連続とは のとき。グラフではその点で線が切れていません。
見る順序
- 左グラフ: は で連続(曲線が (2, 4) を通り切れ目なし)。
- 右グラフ: で関数値が無い、または極限と異なると不連続(穴または飛び)。
連続性とは何か
連続をいちばん直感的に言うと、「鉛筆を離さず一筆で描けるグラフ」 です。ただし数学的には厳密な条件が必要です。 が に限りなく近づくときの行き先(極限値)と、実際に に着いたときの位置(関数値)が一致していなければなりません。記号では です。
連続の3段チェックリスト:関数がある点 で連続であるためには、
(1) 関数値が存在: が定義されている(穴が開いていない)、
(2) 極限が存在: が存在する。左極限( が より小さい側から近づくとき)と右極限( より大きい側から近づくとき)が一致する必要があります。階段のように片側が 0、もう片側が 1 なら極限がなく不連続です。
(3) 一致:極限値と関数値が等しい(道はあるが、橋がとんでもない場所にかかっていてはならない)。
不連続だと予測ができません。昨日まで100円だった株が今日いきなり0円になる(ジャンプ)とか、データが空の穴になっている場合です。数学では連続性は「入力 がほんの少し()変われば、出力 もほんの少し()しか変わらない」という 安定性 を保証する約束です。
微分の前提条件です。微分は曲線の接線の傾きを求めるものなので、グラフがぷつりと切れていると傾きを測れません。つまり「連続」でなければ「微分可能」になりえません。(注意:連続だからといって微分可能とは限りません。とがった点は連続だが微分不可能です。)
頑健性(バタフライ効果の防止):AI モデルが連続でなければ、入力に少しノイズが混じっただけで結果がおかしくなります。自動運転車が標識の小さな傷で「止まれ」を「加速」と認識したら、それはモデルが不連続に振る舞ったということになり、非常に危険です。
活性化関数設計の要です。ReLU、Sigmoid、Tanh などはすべて連続関数なので、データをネットワークの奥まで流しても情報が途切れず伝わります。損失関数が滑らかな連続な曲面でなければ、ボール(パラメータ)を転がして一番低いところ(最適解)を探す 勾配降下法 は使えません。
連続かどうかを見るには、その点で が存在するか、 が定義されているか、両者が等しいかの三つを確認しましょう。
チェックリスト:
① 存在
② 存在
③ 極限 。一つでも欠ければその点で不連続です。
例題と解答を表にまとめました。
- 問題例 1. は で連続か
- 解答解答: 、 で一致するので連続。
- 問題例 2. は で連続か
- 解答解答: は定義されていない → 不連続。
- 問題例 3. は で連続か
- 解答解答: 、 で一致するので連続。
| 問題 | 解答 |
|---|---|
| 例 1. は で連続か | 解答: 、 で一致するので連続。 |
| 例 2. は で連続か | 解答: は定義されていない → 不連続。 |
| 例 3. は で連続か | 解答: 、 で一致するので連続。 |
問題タイプ別の解法
- タイプ多項式の極限
- 説明連続なので極限値=関数値
- 答えの求め方その点 を代入。
- タイプ一次式の極限
- 説明同様に関数値と一致
- 答えの求め方 を代入。
- タイプ連続か (1/0)
- 説明その点で連続なら 1、不連続なら 0
- 答えの求め方① 存在② 極限存在③ 極限= の3つを確認。
- タイプ穴での極限
- 説明穴がある点での極限値
- 答えの求め方その点を除いた式で をその点に近づける。(代入できれば代入)
| タイプ | 説明 | 答えの求め方 |
|---|---|---|
| 多項式の極限 | 連続なので極限値=関数値 | その点 を代入。 |
| 一次式の極限 | 同様に関数値と一致 | を代入。 |
| 連続か (1/0) | その点で連続なら 1、不連続なら 0 | ① 存在 ② 極限存在 ③ 極限= の3つを確認。 |
| 穴での極限 | 穴がある点での極限値 | その点を除いた式で をその点に近づける。(代入できれば代入) |
例(多項式・極限)
が で連続か判定しなさい。
解答
、。一致するので連続。→ 連続
(1)
例(不連続)
が で連続か判定しなさい。
解答
は定義されていない(分母0)。→ 不連続(0)
例(一次式・連続)
が で連続か判定しなさい。
解答
、。一致するので連続。→ 連続
(1)