Slide 1

Slide 1 text

関西大学総合情報学部 浅野 晃 応用数学(解析) 2024年度春学期 第1部・「無限」の理解 / 第4回 収束とは何か,ε-δ論法

Slide 2

Slide 2 text

微分を習ったときの説明💡💡

Slide 3

Slide 3 text

何かだまされている気がする🤔🤔

Slide 4

Slide 4 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 微分の説明 4 df(x) dx = lim h→0 f(x + h) − f(x) h = lim h→0 (x + h)2 − x2 h = lim h→0 h(2x + h) h = lim h→0 (2x + h) = 2x 関数 f(x) = x2 の微分

Slide 5

Slide 5 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 微分の説明 4 df(x) dx = lim h→0 f(x + h) − f(x) h = lim h→0 (x + h)2 − x2 h = lim h→0 h(2x + h) h = lim h→0 (2x + h) = 2x 関数 f(x) = x2 の微分

Slide 6

Slide 6 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 微分の説明 4 df(x) dx = lim h→0 f(x + h) − f(x) h = lim h→0 (x + h)2 − x2 h = lim h→0 h(2x + h) h = lim h→0 (2x + h) = 2x 関数 f(x) = x2 の微分

Slide 7

Slide 7 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 微分の説明 4 h はゼロに近づいているだけで, ゼロではないから, 分母分子を h で割る df(x) dx = lim h→0 f(x + h) − f(x) h = lim h→0 (x + h)2 − x2 h = lim h→0 h(2x + h) h = lim h→0 (2x + h) = 2x 関数 f(x) = x2 の微分

Slide 8

Slide 8 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 微分の説明 4 h はゼロに近づいているだけで, ゼロではないから, 分母分子を h で割る df(x) dx = lim h→0 f(x + h) − f(x) h = lim h→0 (x + h)2 − x2 h = lim h→0 h(2x + h) h = lim h→0 (2x + h) = 2x 関数 f(x) = x2 の微分

Slide 9

Slide 9 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 微分の説明 4 h はゼロに近づいているだけで, ゼロではないから, 分母分子を h で割る df(x) dx = lim h→0 f(x + h) − f(x) h = lim h→0 (x + h)2 − x2 h = lim h→0 h(2x + h) h = lim h→0 (2x + h) = 2x やっぱり h はゼロ 関数 f(x) = x2 の微分

Slide 10

Slide 10 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 微分の説明 4 h はゼロに近づいているだけで, ゼロではないから, 分母分子を h で割る df(x) dx = lim h→0 f(x + h) − f(x) h = lim h→0 (x + h)2 − x2 h = lim h→0 h(2x + h) h = lim h→0 (2x + h) = 2x やっぱり h はゼロ これっておかしく ありませんか? 関数 f(x) = x2 の微分

Slide 11

Slide 11 text

収束=「限りなく近づく」ことの意味🤔🤔

Slide 12

Slide 12 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 数列の収束の定義 6 数列{an}が α に収束するとは α のまわりにどんなに狭い区間 [α – ε, α + ε] (ε > 0) を設定しても,

Slide 13

Slide 13 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 数列の収束の定義 6 数列{an}が α に収束するとは α のまわりにどんなに狭い区間 [α – ε, α + ε] (ε > 0) を設定しても,

Slide 14

Slide 14 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 数列の収束の定義 6 数列{an}が α に収束するとは α α のまわりにどんなに狭い区間 [α – ε, α + ε] (ε > 0) を設定しても,

Slide 15

Slide 15 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 数列の収束の定義 6 数列{an}が α に収束するとは α ε α のまわりにどんなに狭い区間 [α – ε, α + ε] (ε > 0) を設定しても, ε

Slide 16

Slide 16 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 数列の収束の定義 6 数列{an}が α に収束するとは α α – ε α + ε ε α のまわりにどんなに狭い区間 [α – ε, α + ε] (ε > 0) を設定しても, ε

Slide 17

Slide 17 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 数列の収束の定義 7 数列{an}が α に収束するとは a1 α α – ε α + ε ε ε

Slide 18

Slide 18 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 数列の収束の定義 7 数列{an}が α に収束するとは 数列が十分大きな番号 N まで進めば a1 α α – ε α + ε ε ε

Slide 19

Slide 19 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 数列の収束の定義 7 数列{an}が α に収束するとは 数列が十分大きな番号 N まで進めば a1 a2 α α – ε α + ε ε ε

Slide 20

Slide 20 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 数列の収束の定義 7 数列{an}が α に収束するとは 数列が十分大きな番号 N まで進めば a1 a2 a3 α α – ε α + ε ε ε

Slide 21

Slide 21 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 数列の収束の定義 7 数列{an}が α に収束するとは 数列が十分大きな番号 N まで進めば a1 a2 a3 α α – ε α + ε ε ε …

Slide 22

Slide 22 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 数列の収束の定義 7 数列{an}が α に収束するとは 数列が十分大きな番号 N まで進めば a1 a2 a3 α α – ε α + ε ε ε … aN–1

Slide 23

Slide 23 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 数列の収束の定義 7 数列{an}が α に収束するとは 数列が十分大きな番号 N まで進めば a1 a2 a3 α α – ε α + ε ε ε … aN–1 aN

Slide 24

Slide 24 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 数列の収束の定義 7 数列{an}が α に収束するとは 数列が十分大きな番号 N まで進めば a1 a2 a3 α α – ε α + ε ε ε … aN–1 aN N 番より大きな番号 n については, an は,みなその狭い区間[α – ε, α + ε]に入る

Slide 25

Slide 25 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 数列の収束の定義 7 数列{an}が α に収束するとは 数列が十分大きな番号 N まで進めば a1 a2 a3 α α – ε α + ε ε ε … aN–1 aN+1 aN N 番より大きな番号 n については, an は,みなその狭い区間[α – ε, α + ε]に入る

Slide 26

Slide 26 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 数列の収束の定義 7 数列{an}が α に収束するとは 数列が十分大きな番号 N まで進めば a1 a2 a3 α α – ε α + ε ε ε … aN–1 aN+1 aN N 番より大きな番号 n については, an は,みなその狭い区間[α – ε, α + ε]に入る

Slide 27

Slide 27 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 数列の収束の定義 7 数列{an}が α に収束するとは 数列が十分大きな番号 N まで進めば a1 a2 a3 α α – ε α + ε ε ε … aN–1 aN+1 aN N 番より大きな番号 n については, an は,みなその狭い区間[α – ε, α + ε]に入る …

Slide 28

Slide 28 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 数列の収束の定義 8 数列{an}が α に収束するとは 数列が十分大きな番号 N まで進めば a1 a2 a3 α … N 番より大きな番号 n については, an は,みなその狭い区間[α – ε, α + ε]に入る α – ε α + ε ε ε

Slide 29

Slide 29 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 数列の収束の定義 8 数列{an}が α に収束するとは 数列が十分大きな番号 N まで進めば a1 a2 a3 α … N 番より大きな番号 n については, an は,みなその狭い区間[α – ε, α + ε]に入る εをどんなに小さくしても α – ε α + ε ε ε

Slide 30

Slide 30 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 数列の収束の定義 8 数列{an}が α に収束するとは 数列が十分大きな番号 N まで進めば a1 a2 a3 α α – ε α + ε … N 番より大きな番号 n については, an は,みなその狭い区間[α – ε, α + ε]に入る ε ε εをどんなに小さくしても

Slide 31

Slide 31 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 数列の収束の定義 8 数列{an}が α に収束するとは 数列が十分大きな番号 N まで進めば a1 a2 a3 α α – ε α + ε … N 番より大きな番号 n については, an は,みなその狭い区間[α – ε, α + ε]に入る ε ε εをどんなに小さくしても

Slide 32

Slide 32 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 数列の収束の定義 8 数列{an}が α に収束するとは 数列が十分大きな番号 N まで進めば a1 a2 a3 α α – ε α + ε … N 番より大きな番号 n については, an は,みなその狭い区間[α – ε, α + ε]に入る ε ε εをどんなに小さくしても aN

Slide 33

Slide 33 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 数列の収束の定義 8 数列{an}が α に収束するとは 数列が十分大きな番号 N まで進めば a1 a2 a3 α α – ε α + ε … N 番より大きな番号 n については, an は,みなその狭い区間[α – ε, α + ε]に入る ε ε εをどんなに小さくしても aN

Slide 34

Slide 34 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 数列の収束の定義 8 数列{an}が α に収束するとは 数列が十分大きな番号 N まで進めば a1 a2 a3 α α – ε α + ε … N 番より大きな番号 n については, an は,みなその狭い区間[α – ε, α + ε]に入る ε ε εをどんなに小さくしても aN …

Slide 35

Slide 35 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 数列の収束の定義 8 数列{an}が α に収束するとは 数列が十分大きな番号 N まで進めば a1 a2 a3 α α – ε α + ε … N 番より大きな番号 n については, an は,みなその狭い区間[α – ε, α + ε]に入る ε ε εをどんなに小さくしても aN そういうNがある …

Slide 36

Slide 36 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 数列の収束の定義 9 数列{an}が α に収束するとは

Slide 37

Slide 37 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 数列の収束の定義 9 数列{an}が α に収束するとは α のまわりにどんなに狭い区間[α – ε, α + ε]を設定しても(ε > 0)

Slide 38

Slide 38 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 数列の収束の定義 9 数列{an}が α に収束するとは α のまわりにどんなに狭い区間[α – ε, α + ε]を設定しても(ε > 0) 数列が十分大きな番号 N まで進めば

Slide 39

Slide 39 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 数列の収束の定義 9 数列{an}が α に収束するとは α のまわりにどんなに狭い区間[α – ε, α + ε]を設定しても(ε > 0) 数列が十分大きな番号 N まで進めば N 番より大きな番号 n については, an はみなその狭い区間[α – ε, α + ε]に入る

Slide 40

Slide 40 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 数列の収束の定義 9 数列{an}が α に収束するとは ∀ε > 0, ∃N; n > N ⇒ |an − α| < ε α のまわりにどんなに狭い区間[α – ε, α + ε]を設定しても(ε > 0) 数列が十分大きな番号 N まで進めば N 番より大きな番号 n については, an はみなその狭い区間[α – ε, α + ε]に入る

Slide 41

Slide 41 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 数列の収束の定義 9 数列{an}が α に収束するとは ∀ε > 0, ∃N; n > N ⇒ |an − α| < ε α のまわりにどんなに狭い区間[α – ε, α + ε]を設定しても(ε > 0) 数列が十分大きな番号 N まで進めば N 番より大きな番号 n については, an はみなその狭い区間[α – ε, α + ε]に入る ε – N 論法

Slide 42

Slide 42 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 数列の収束の定義 9 数列{an}が α に収束するとは ∀ε > 0, ∃N; n > N ⇒ |an − α| < ε α のまわりにどんなに狭い区間[α – ε, α + ε]を設定しても(ε > 0) 数列が十分大きな番号 N まで進めば N 番より大きな番号 n については, an はみなその狭い区間[α – ε, α + ε]に入る ε – N 論法

Slide 43

Slide 43 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 数列の収束の定義 9 数列{an}が α に収束するとは ∀ε > 0, ∃N; n > N ⇒ |an − α| < ε α のまわりにどんなに狭い区間[α – ε, α + ε]を設定しても(ε > 0) 数列が十分大きな番号 N まで進めば N 番より大きな番号 n については, an はみなその狭い区間[α – ε, α + ε]に入る ε – N 論法

Slide 44

Slide 44 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 数列の発散の定義 10 数列{an}が ∞ に発散する

Slide 45

Slide 45 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 数列の発散の定義 10 数列{an}が ∞ に発散する どんなに大きな数 G を持ってきても,

Slide 46

Slide 46 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 数列の発散の定義 10 数列{an}が ∞ に発散する どんなに大きな数 G を持ってきても, 数列が十分大きな番号 N まで進めば

Slide 47

Slide 47 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 数列の発散の定義 10 数列{an}が ∞ に発散する どんなに大きな数 G を持ってきても, 数列が十分大きな番号 N まで進めば N 番より大きな番号 n については,an はみな G より大きくなる

Slide 48

Slide 48 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 数列の発散の定義 10 数列{an}が ∞ に発散する どんなに大きな数 G を持ってきても, 数列が十分大きな番号 N まで進めば N 番より大きな番号 n については,an はみな G より大きくなる ∀G, ∃N; n > N ⇒ an > G

Slide 49

Slide 49 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 数列の発散の定義 10 数列{an}が ∞ に発散する どんなに大きな数 G を持ってきても, 数列が十分大きな番号 N まで進めば N 番より大きな番号 n については,an はみな G より大きくなる ∀G, ∃N; n > N ⇒ an > G

Slide 50

Slide 50 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 数列の発散の定義 10 数列{an}が ∞ に発散する どんなに大きな数 G を持ってきても, 数列が十分大きな番号 N まで進めば N 番より大きな番号 n については,an はみな G より大きくなる ∀G, ∃N; n > N ⇒ an > G

Slide 51

Slide 51 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 収束や発散は「無限」なのか 11 「無限」とはひとことも言っていない

Slide 52

Slide 52 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 収束や発散は「無限」なのか 11 「無限」とはひとことも言っていない どんなに狭い区間 [α – ε, α + ε] でも

Slide 53

Slide 53 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 収束や発散は「無限」なのか 11 「無限」とはひとことも言っていない どんなに狭い区間 [α – ε, α + ε] でも どんなに大きな数 G でも 十分大きな番号 N なら

Slide 54

Slide 54 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 収束や発散は「無限」なのか 11 「無限」とはひとことも言っていない どれも「無限」ではなく有限 どんなに狭い区間 [α – ε, α + ε] でも どんなに大きな数 G でも 十分大きな番号 N なら

Slide 55

Slide 55 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 収束や発散は「無限」なのか 11 「無限」とはひとことも言っていない どれも「無限」ではなく有限 どんなに狭い区間 [α – ε, α + ε] でも どんなに大きな数 G でも 十分大きな番号 N なら ただし,求めに応じて 好きなだけ狭く・大きくできる

Slide 56

Slide 56 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 収束や発散は「無限」なのか 11 「無限」とはひとことも言っていない どれも「無限」ではなく有限 どんなに狭い区間 [α – ε, α + ε] でも どんなに大きな数 G でも 十分大きな番号 N なら ただし,求めに応じて 好きなだけ狭く・大きくできる

Slide 57

Slide 57 text

実数の連続性と収束🤔🤔

Slide 58

Slide 58 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 実数の連続性と収束 13 実数の有界な単調数列は収束する 実数の連続性を述べる公理の,4つめの表現 数列{an}が 「単調増加」とは,a1 < a2 < … < an < …         「単調減少」とは,a1 > a2 > … > an > …

Slide 59

Slide 59 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 実数の連続性と収束 13 実数の有界な単調数列は収束する 実数の連続性を述べる公理の,4つめの表現 数列{an}が 「単調増加」とは,a1 < a2 < … < an < …         「単調減少」とは,a1 > a2 > … > an > …

Slide 60

Slide 60 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 実数の連続性と収束 13 実数の有界な単調数列は収束する 実数の連続性を述べる公理の,4つめの表現 数列{an}が 「単調増加」とは,a1 < a2 < … < an < …         「単調減少」とは,a1 > a2 > … > an > …

Slide 61

Slide 61 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 実数の連続性と収束 13 実数の有界な単調数列は収束する 実数の連続性を述べる公理の,4つめの表現 数列{an}が 「単調増加」とは,a1 < a2 < … < an < …         「単調減少」とは,a1 > a2 > … > an > …

Slide 62

Slide 62 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 実数の連続性と収束 13 実数の有界な単調数列は収束する 実数の連続性を述べる公理の,4つめの表現 数列{an}が 「単調増加」とは,a1 < a2 < … < an < …         「単調減少」とは,a1 > a2 > … > an > …

Slide 63

Slide 63 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 実数の連続性と収束 13 実数の有界な単調数列は収束する 実数の連続性を述べる公理の,4つめの表現 数列{an}が 「単調増加」とは,a1 < a2 < … < an < …         「単調減少」とは,a1 > a2 > … > an > …

Slide 64

Slide 64 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 実数の連続性と収束 13 実数の有界な単調数列は収束する 有界(このへんに達することはできない) 実数の連続性を述べる公理の,4つめの表現 数列{an}が 「単調増加」とは,a1 < a2 < … < an < …         「単調減少」とは,a1 > a2 > … > an > …

Slide 65

Slide 65 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 実数の連続性と収束 13 実数の有界な単調数列は収束する 有界(このへんに達することはできない) 実数の連続性を述べる公理の,4つめの表現 数列{an}が 「単調増加」とは,a1 < a2 < … < an < …         「単調減少」とは,a1 > a2 > … > an > … …

Slide 66

Slide 66 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 実数の連続性と収束 13 実数の有界な単調数列は収束する 有界(このへんに達することはできない) 実数の連続性を述べる公理の,4つめの表現 単調増加だから つねに増加していくが,収束する 数列{an}が 「単調増加」とは,a1 < a2 < … < an < …         「単調減少」とは,a1 > a2 > … > an > … …

Slide 67

Slide 67 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 ワイエルシュトラスの定理から証明 14 有界だから,上限 α が存在する α

Slide 68

Slide 68 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 ワイエルシュトラスの定理から証明 14 有界だから,上限 α が存在する α α′ α より小さい α′ を考えると

Slide 69

Slide 69 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 ワイエルシュトラスの定理から証明 14 有界だから,上限 α が存在する … α α′ α より小さい α′ を考えると

Slide 70

Slide 70 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 ワイエルシュトラスの定理から証明 14 有界だから,上限 α が存在する … α α′ α より小さい α′ を考えると 単調増加なので, α′ と α の間に来る an がある

Slide 71

Slide 71 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 ワイエルシュトラスの定理から証明 14 有界だから,上限 α が存在する … α α′ α より小さい α′ を考えると 単調増加なので, α′ と α の間に来る an がある an n 番目

Slide 72

Slide 72 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 ワイエルシュトラスの定理から証明 14 有界だから,上限 α が存在する … α α′ α より小さい α′ を考えると 単調増加なので, α′ と α の間に来る an がある an n 番目 つまり,

Slide 73

Slide 73 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 ワイエルシュトラスの定理から証明 14 有界だから,上限 α が存在する … α α′ α より小さい α′ を考えると 単調増加なので, α′ と α の間に来る an がある an n 番目 つまり,

Slide 74

Slide 74 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 ワイエルシュトラスの定理から証明 14 有界だから,上限 α が存在する … α α′ α より小さい α′ を考えると 単調増加なので, α′ と α の間に来る an がある an n 番目 α α′ an つまり,

Slide 75

Slide 75 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 ワイエルシュトラスの定理から証明 14 有界だから,上限 α が存在する … α α′ α より小さい α′ を考えると 単調増加なので, α′ と α の間に来る an がある an n 番目 α α′ an α − α′ つまり,

Slide 76

Slide 76 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 ワイエルシュトラスの定理から証明 14 有界だから,上限 α が存在する … α α′ α より小さい α′ を考えると 単調増加なので, α′ と α の間に来る an がある an n 番目 α α′ an |α − an| α − α′ つまり,

Slide 77

Slide 77 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 ワイエルシュトラスの定理から証明 14 有界だから,上限 α が存在する … α α′ α より小さい α′ を考えると 単調増加なので, α′ と α の間に来る an がある an n 番目 α α′ an |α − an| α − α′ |α − an| < α − α′ つまり,

Slide 78

Slide 78 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 ワイエルシュトラスの定理から証明 14 有界だから,上限 α が存在する … α α′ α より小さい α′ を考えると 単調増加なので, α′ と α の間に来る an がある an n 番目 α α′ an |α − an| α − α′ |α − an| < α − α′ α′ はどれだけ α に近くてもよい つまり,

Slide 79

Slide 79 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 ワイエルシュトラスの定理から証明 14 有界だから,上限 α が存在する … α α′ α より小さい α′ を考えると 単調増加なので, α′ と α の間に来る an がある an n 番目 α α′ an |α − an| α − α′ |α − an| < α − α′ α′ はどれだけ α に近くてもよい これを ε( > 0) と考えると つまり,

Slide 80

Slide 80 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 ワイエルシュトラスの定理から証明 14 有界だから,上限 α が存在する … α α′ α より小さい α′ を考えると 単調増加なので, α′ と α の間に来る an がある an n 番目 α α′ an |α − an| α − α′ |α − an| < α − α′ α′ はどれだけ α に近くてもよい これを ε( > 0) と考えると ε つまり,

Slide 81

Slide 81 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 ワイエルシュトラスの定理から証明 14 有界だから,上限 α が存在する … α α′ α より小さい α′ を考えると 単調増加なので, α′ と α の間に来る an がある an n 番目 α α′ an |α − an| α − α′ |α − an| < α − α′ α′ はどれだけ α に近くてもよい これを ε( > 0) と考えると α からの隔たり ε をどんなに小さく設定しても,そこに入る an がある ε つまり,

Slide 82

Slide 82 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 ワイエルシュトラスの定理から証明 14 有界だから,上限 α が存在する … α α′ α より小さい α′ を考えると 単調増加なので, α′ と α の間に来る an がある an n 番目 α α′ an |α − an| α − α′ |α − an| < α − α′ α′ はどれだけ α に近くてもよい これを ε( > 0) と考えると α からの隔たり ε をどんなに小さく設定しても,そこに入る an がある ε つまり, {an} は α に収束する

Slide 83

Slide 83 text

数列の収束に関する例題💡💡

Slide 84

Slide 84 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 例題 16 a > 0 のとき lim n→∞ an n! = 0 を証明せよ。

Slide 85

Slide 85 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 例題 16 a > 0 のとき lim n→∞ an n! = 0 を証明せよ。 ak k! = C とおく。番号 k は,k > 2a であるとする。

Slide 86

Slide 86 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 例題 16 a > 0 のとき lim n→∞ an n! = 0 を証明せよ。 ak k! = C とおく。番号 k は,k > 2a であるとする。 n > k となる番号 n について,

Slide 87

Slide 87 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 例題 16 a > 0 のとき lim n→∞ an n! = 0 を証明せよ。 ak k! = C とおく。番号 k は,k > 2a であるとする。 n > k となる番号 n について, an n! = ak k! × a k + 1 × a k + 2 × · · · × a n

Slide 88

Slide 88 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 例題 16 a > 0 のとき lim n→∞ an n! = 0 を証明せよ。 ak k! = C とおく。番号 k は,k > 2a であるとする。 n > k となる番号 n について, an n! = ak k! × a k + 1 × a k + 2 × · · · × a n = C × a k + 1 × a k + 2 × · · · × a k + (n − k)

Slide 89

Slide 89 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 例題 17 n > k となる番号 n について, an n! = ak k! × a k + 1 × a k + 2 × · · · × a n = C × a k + 1 × a k + 2 × · · · × a k + (n − k)

Slide 90

Slide 90 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 例題 17 n > k となる番号 n について, an n! = ak k! × a k + 1 × a k + 2 × · · · × a n = C × a k + 1 × a k + 2 × · · · × a k + (n − k) k > 2a なので

Slide 91

Slide 91 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 例題 17 n > k となる番号 n について, an n! = ak k! × a k + 1 × a k + 2 × · · · × a n = C × a k + 1 × a k + 2 × · · · × a k + (n − k) k > 2a なので an n! < C × a 2a + 1 × a 2a + 2 × · · · × a 2a + (n − k)

Slide 92

Slide 92 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 例題 17 n > k となる番号 n について, an n! = ak k! × a k + 1 × a k + 2 × · · · × a n = C × a k + 1 × a k + 2 × · · · × a k + (n − k) k > 2a なので an n! < C × a 2a + 1 × a 2a + 2 × · · · × a 2a + (n − k)

Slide 93

Slide 93 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 例題 17 n > k となる番号 n について, an n! = ak k! × a k + 1 × a k + 2 × · · · × a n = C × a k + 1 × a k + 2 × · · · × a k + (n − k) k > 2a なので an n! < C × a 2a + 1 × a 2a + 2 × · · · × a 2a + (n − k)

Slide 94

Slide 94 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 例題 17 n > k となる番号 n について, an n! = ak k! × a k + 1 × a k + 2 × · · · × a n = C × a k + 1 × a k + 2 × · · · × a k + (n − k) k > 2a なので an n! < C × a 2a + 1 × a 2a + 2 × · · · × a 2a + (n − k)

Slide 95

Slide 95 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 例題 17 n > k となる番号 n について, an n! = ak k! × a k + 1 × a k + 2 × · · · × a n = C × a k + 1 × a k + 2 × · · · × a k + (n − k) k > 2a なので an n! < C × a 2a + 1 × a 2a + 2 × · · · × a 2a + (n − k)

Slide 96

Slide 96 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 例題 17 n > k となる番号 n について, an n! = ak k! × a k + 1 × a k + 2 × · · · × a n = C × a k + 1 × a k + 2 × · · · × a k + (n − k) k > 2a なので an n! < C × a 2a + 1 × a 2a + 2 × · · · × a 2a + (n − k) < C × 1 2 n−k = C · 2k 2n

Slide 97

Slide 97 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 例題 17 n > k となる番号 n について, an n! = ak k! × a k + 1 × a k + 2 × · · · × a n = C × a k + 1 × a k + 2 × · · · × a k + (n − k) k > 2a なので an n! < C × a 2a + 1 × a 2a + 2 × · · · × a 2a + (n − k) < C × 1 2 n−k = C · 2k 2n

Slide 98

Slide 98 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 例題 17 n > k となる番号 n について, an n! = ak k! × a k + 1 × a k + 2 × · · · × a n = C × a k + 1 × a k + 2 × · · · × a k + (n − k) k > 2a なので an n! < C × a 2a + 1 × a 2a + 2 × · · · × a 2a + (n − k) < C × 1 2 n−k = C · 2k 2n

Slide 99

Slide 99 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 例題 17 n > k となる番号 n について, an n! = ak k! × a k + 1 × a k + 2 × · · · × a n = C × a k + 1 × a k + 2 × · · · × a k + (n − k) k > 2a なので an n! < C × a 2a + 1 × a 2a + 2 × · · · × a 2a + (n − k) < C × 1 2 n−k = C · 2k 2n

Slide 100

Slide 100 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 例題 17 n > k となる番号 n について, an n! = ak k! × a k + 1 × a k + 2 × · · · × a n = C × a k + 1 × a k + 2 × · · · × a k + (n − k) k > 2a なので an n! < C × a 2a + 1 × a 2a + 2 × · · · × a 2a + (n − k) < C × 1 2 n−k = C · 2k 2n < C · 2k n

Slide 101

Slide 101 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 例題 17 n > k となる番号 n について, an n! = ak k! × a k + 1 × a k + 2 × · · · × a n = C × a k + 1 × a k + 2 × · · · × a k + (n − k) k > 2a なので an n! < C × a 2a + 1 × a 2a + 2 × · · · × a 2a + (n − k) < C × 1 2 n−k = C · 2k 2n < C · 2k n

Slide 102

Slide 102 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 例題 17 n > k となる番号 n について, an n! = ak k! × a k + 1 × a k + 2 × · · · × a n = C × a k + 1 × a k + 2 × · · · × a k + (n − k) k > 2a なので an n! < C × a 2a + 1 × a 2a + 2 × · · · × a 2a + (n − k) < C × 1 2 n−k = C · 2k 2n < C · 2k n

Slide 103

Slide 103 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 例題 17 n > k となる番号 n について, an n! = ak k! × a k + 1 × a k + 2 × · · · × a n = C × a k + 1 × a k + 2 × · · · × a k + (n − k) k > 2a なので an n! < C × a 2a + 1 × a 2a + 2 × · · · × a 2a + (n − k) < C × 1 2 n−k = C · 2k 2n < C · 2k n そこで,どんな小さな についても,番号 n が であれば ε( > 0) n > C ⋅ 2k ε

Slide 104

Slide 104 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 例題 17 n > k となる番号 n について, an n! = ak k! × a k + 1 × a k + 2 × · · · × a n = C × a k + 1 × a k + 2 × · · · × a k + (n − k) k > 2a なので an n! < C × a 2a + 1 × a 2a + 2 × · · · × a 2a + (n − k) < C × 1 2 n−k = C · 2k 2n < C · 2k n そこで,どんな小さな についても,番号 n が であれば ε( > 0) n > C ⋅ 2k ε

Slide 105

Slide 105 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 例題 17 n > k となる番号 n について, an n! = ak k! × a k + 1 × a k + 2 × · · · × a n = C × a k + 1 × a k + 2 × · · · × a k + (n − k) k > 2a なので an n! < C × a 2a + 1 × a 2a + 2 × · · · × a 2a + (n − k) < C × 1 2 n−k = C · 2k 2n < C · 2k n そこで,どんな小さな についても,番号 n が であれば ε( > 0) n > C ⋅ 2k ε an n! < ε

Slide 106

Slide 106 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 例題 17 n > k となる番号 n について, an n! = ak k! × a k + 1 × a k + 2 × · · · × a n = C × a k + 1 × a k + 2 × · · · × a k + (n − k) k > 2a なので an n! < C × a 2a + 1 × a 2a + 2 × · · · × a 2a + (n − k) < C × 1 2 n−k = C · 2k 2n < C · 2k n そこで,どんな小さな についても,番号 n が であれば ε( > 0) n > C ⋅ 2k ε an n! < ε つまり {an / n!} は 0 に収束する

Slide 107

Slide 107 text

関数の極限🤔🤔

Slide 108

Slide 108 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 関数の極限 19 数列の収束と同じ論法を用いる lim x→a f(x) = A 関数 f(x) の x→a の極限が A であるとは x

Slide 109

Slide 109 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 関数の極限 19 数列の収束と同じ論法を用いる lim x→a f(x) = A 関数 f(x) の x→a の極限が A であるとは x A ε ε 縦軸で A との隔たり ε をどれほど小さくしても

Slide 110

Slide 110 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 関数の極限 19 数列の収束と同じ論法を用いる lim x→a f(x) = A 関数 f(x) の x→a の極限が A であるとは x A ε ε 縦軸で A との隔たり ε をどれほど小さくしても δ δ a 横軸で a との隔たり δ を それに応じて小さくすれば

Slide 111

Slide 111 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 関数の極限 19 数列の収束と同じ論法を用いる lim x→a f(x) = A 関数 f(x) の x→a の極限が A であるとは x A ε ε 縦軸で A との隔たり ε をどれほど小さくしても δ δ a 横軸で a との隔たり δ を それに応じて小さくすれば x と a との隔たりが δ より小さいとき

Slide 112

Slide 112 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 関数の極限 19 数列の収束と同じ論法を用いる lim x→a f(x) = A 関数 f(x) の x→a の極限が A であるとは x A ε ε 縦軸で A との隔たり ε をどれほど小さくしても δ δ a 横軸で a との隔たり δ を それに応じて小さくすれば x x と a との隔たりが δ より小さいとき

Slide 113

Slide 113 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 関数の極限 19 数列の収束と同じ論法を用いる lim x→a f(x) = A 関数 f(x) の x→a の極限が A であるとは x A ε ε 縦軸で A との隔たり ε をどれほど小さくしても δ δ a 横軸で a との隔たり δ を それに応じて小さくすれば x x と a との隔たりが δ より小さいとき f(x)

Slide 114

Slide 114 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 関数の極限 19 数列の収束と同じ論法を用いる lim x→a f(x) = A 関数 f(x) の x→a の極限が A であるとは x A ε ε 縦軸で A との隔たり ε をどれほど小さくしても δ δ a 横軸で a との隔たり δ を それに応じて小さくすれば x x と a との隔たりが δ より小さいとき f(x) と A との隔たりも ε より小さい f(x)

Slide 115

Slide 115 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 関数の極限 20 どんなに小さな ε を考えても (ε > 0) x と a との隔たりを δ より小さくすれば f(x) と A の隔たりも ε より小さくできる

Slide 116

Slide 116 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 関数の極限 20 どんなに小さな ε を考えても (ε > 0) x と a との隔たりを δ より小さくすれば f(x) と A の隔たりも ε より小さくできる ∀ε > 0, ∃δ > 0; 0 < |x − a| < δ ⇒ |f(x) − A| < ε

Slide 117

Slide 117 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 関数の極限 20 どんなに小さな ε を考えても (ε > 0) x と a との隔たりを δ より小さくすれば f(x) と A の隔たりも ε より小さくできる ∀ε > 0, ∃δ > 0; 0 < |x − a| < δ ⇒ |f(x) − A| < ε ε – δ 論法

Slide 118

Slide 118 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 関数の極限 20 どんなに小さな ε を考えても (ε > 0) x と a との隔たりを δ より小さくすれば f(x) と A の隔たりも ε より小さくできる ∀ε > 0, ∃δ > 0; 0 < |x − a| < δ ⇒ |f(x) − A| < ε ε – δ 論法 ε も δ も,ただの正の数で,0ではないし, 0に「無限に」近づくわけでもない

Slide 119

Slide 119 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 最初の微分の例 21 h → 0 と書いてあっても, h はあくまで正の数で,0ではない hはゼロに近づいているだけで, ゼロではないから,分母分子をhで割る df(x) dx = lim h→0 f(x + h) − f(x) h = lim h→0 (x + h)2 − x2 h = lim h→0 h(2x + h) h = lim h→0 (2x + h) = 2x やっぱりh はゼロ

Slide 120

Slide 120 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 最初の微分の例 21 h → 0 と書いてあっても, h はあくまで正の数で,0ではない hはゼロに近づいているだけで, ゼロではないから,分母分子をhで割る df(x) dx = lim h→0 f(x + h) − f(x) h = lim h→0 (x + h)2 − x2 h = lim h→0 h(2x + h) h = lim h→0 (2x + h) = 2x やっぱりh はゼロ ではなくて

Slide 121

Slide 121 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 最初の微分の例 21 h → 0 と書いてあっても, h はあくまで正の数で,0ではない hはゼロに近づいているだけで, ゼロではないから,分母分子をhで割る df(x) dx = lim h→0 f(x + h) − f(x) h = lim h→0 (x + h)2 − x2 h = lim h→0 h(2x + h) h = lim h→0 (2x + h) = 2x やっぱりh はゼロ ではなくて 収束する先が h = 0 を代入したときの値と同じ,というだけ

Slide 122

Slide 122 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 左極限と右極限 22 lim x→a f(x) = A 関数 f(x) の x→a の極限が A であるとは x A a x A a B

Slide 123

Slide 123 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 左極限と右極限 22 lim x→a f(x) = A 関数 f(x) の x→a の極限が A であるとは x A a x が大きい方から a に近づいても,小さい方から a に近づいても, どちらの極限も A x A a B

Slide 124

Slide 124 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 左極限と右極限 22 lim x→a f(x) = A 関数 f(x) の x→a の極限が A であるとは x A a x が大きい方から a に近づいても,小さい方から a に近づいても, どちらの極限も A x A a B

Slide 125

Slide 125 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 左極限と右極限 22 lim x→a f(x) = A 関数 f(x) の x→a の極限が A であるとは x A a x が大きい方から a に近づいても,小さい方から a に近づいても, どちらの極限も A x A a B

Slide 126

Slide 126 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 左極限と右極限 22 lim x→a f(x) = A 関数 f(x) の x→a の極限が A であるとは x A a x が大きい方から a に近づいても,小さい方から a に近づいても, どちらの極限も A x A a B

Slide 127

Slide 127 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 左極限と右極限 22 lim x→a f(x) = A 関数 f(x) の x→a の極限が A であるとは x A a x が大きい方から a に近づいても,小さい方から a に近づいても, どちらの極限も A x A a B lim x→a+0 右極限

Slide 128

Slide 128 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 左極限と右極限 22 lim x→a f(x) = A 関数 f(x) の x→a の極限が A であるとは x A a x が大きい方から a に近づいても,小さい方から a に近づいても, どちらの極限も A x A a B lim x→a+0 右極限

Slide 129

Slide 129 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 左極限と右極限 22 lim x→a f(x) = A 関数 f(x) の x→a の極限が A であるとは x A a x が大きい方から a に近づいても,小さい方から a に近づいても, どちらの極限も A x A a B lim x→a−0 , 左極限 lim x→a+0 右極限

Slide 130

Slide 130 text

関数の「連続」と「一様連続」🤔🤔

Slide 131

Slide 131 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 関数の連続性 24 関数 f(x) の x→a の極限が f(a) であること x f(a) a 関数 f(x) が x = a で連続であるとは x a f(a)

Slide 132

Slide 132 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 関数の連続性 24 関数 f(x) の x→a の極限が f(a) であること x f(a) a 関数 f(x) が x = a で連続であるとは x a f(a) a で連続

Slide 133

Slide 133 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 関数の連続性 24 関数 f(x) の x→a の極限が f(a) であること x f(a) a 関数 f(x) が x = a で連続であるとは x a f(a) 右極限はf(a)で ない a で連続

Slide 134

Slide 134 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 関数の連続性 24 関数 f(x) の x→a の極限が f(a) であること x f(a) a 関数 f(x) が x = a で連続であるとは x a f(a) 左極限はf(a) 右極限はf(a)で ない a で連続

Slide 135

Slide 135 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 関数の連続性 24 関数 f(x) の x→a の極限が f(a) であること x f(a) a 関数 f(x) が x = a で連続であるとは x a f(a) 左極限はf(a) 右極限はf(a)で ない a で連続 a で不連続

Slide 136

Slide 136 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 関数の連続性 24 関数 f(x) の x→a の極限が f(a) であること x f(a) a 関数 f(x) が x = a で連続であるとは x a f(a) 左極限はf(a) 右極限はf(a)で ない a で連続 a で不連続 区間 I のどの点でも連続なら「区間 I で連続」

Slide 137

Slide 137 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 ε – δ 論法で話をすると 25 x

Slide 138

Slide 138 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 ε – δ 論法で話をすると 25 x f(a) ε ε

Slide 139

Slide 139 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 ε – δ 論法で話をすると 25 x f(x)が f(a)の上下 ε の範囲に 入るためには f(a) ε ε

Slide 140

Slide 140 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 ε – δ 論法で話をすると 25 x f(x)が f(a)の上下 ε の範囲に 入るためには f(a) ε ε a δ δ

Slide 141

Slide 141 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 ε – δ 論法で話をすると 25 x f(x)が f(a)の上下 ε の範囲に 入るためには x が a の左右 δ の範囲に入ればよい f(a) ε ε a δ δ

Slide 142

Slide 142 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 ε – δ 論法で話をすると 25 x ε ε f(b) f(x)が f(a)の上下 ε の範囲に 入るためには x が a の左右 δ の範囲に入ればよい f(a) ε ε a δ δ

Slide 143

Slide 143 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 ε – δ 論法で話をすると 25 x ε ε f(b) f(x)が f(a)の上下 ε の範囲に 入るためには x が a の左右 δ の範囲に入ればよい f(a) ε ε a δ δ 同じ ε でも

Slide 144

Slide 144 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 ε – δ 論法で話をすると 25 x ε ε f(b) f(x)が f(a)の上下 ε の範囲に 入るためには x が a の左右 δ の範囲に入ればよい f(a) ε ε a δ δ δ δ b 同じ ε でも

Slide 145

Slide 145 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 ε – δ 論法で話をすると 25 x ε ε f(b) f(x)が f(a)の上下 ε の範囲に 入るためには x が a の左右 δ の範囲に入ればよい f(a) ε ε a δ δ δ δ b 同じ ε でも 要求される δ の「狭さ」は 異なる

Slide 146

Slide 146 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 一様連続 26 x δ δ ε ε f(b) a f(x)が f(a)の上下 ε の範囲に 入るには x が a の左右 δ の範囲に入ればよい f(a) ε ε δ δ b 同じ ε でも 求められる δ の「狭さ」は 異なる

Slide 147

Slide 147 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 一様連続 26 x δ δ ε ε f(b) a f(x)が f(a)の上下 ε の範囲に 入るには x が a の左右 δ の範囲に入ればよい f(a) ε ε δ δ b 同じ ε でも 求められる δ の「狭さ」は 異なる この場合は「狭い方の δ 」をどこででも用いればよい

Slide 148

Slide 148 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 一様連続 26 x δ δ ε ε f(b) a f(x)が f(a)の上下 ε の範囲に 入るには x が a の左右 δ の範囲に入ればよい f(a) ε ε δ δ b 同じ ε でも 求められる δ の「狭さ」は 異なる この場合は「狭い方の δ 」をどこででも用いればよい どの点でも「共通の δ 」を用いれば連続といえるとき[一様連続]という

Slide 149

Slide 149 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 連続だが一様連続でない例 27 f(x) -1 1 f(x) = 1 x − 1 変化 対 も 区間 [0, 1) を考える

Slide 150

Slide 150 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 連続だが一様連続でない例 27 f(x) -1 1 f(x) = 1 x − 1 変化 対 も 区間 [0, 1) を考える ε

Slide 151

Slide 151 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 連続だが一様連続でない例 27 f(x) -1 1 f(x) = 1 x − 1 変化 対 も 区間 [0, 1) を考える δ ε

Slide 152

Slide 152 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 連続だが一様連続でない例 27 f(x) -1 1 x が 1 に近づくと f(x) は,いくらでも大きく変化する f(x) = 1 x − 1 変化 対 も 区間 [0, 1) を考える δ ε

Slide 153

Slide 153 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 連続だが一様連続でない例 27 f(x) -1 1 x が 1 に近づくと f(x) は,いくらでも大きく変化する f(x) = 1 x − 1 変化 対 も 区間 [0, 1) を考える δ ε ε

Slide 154

Slide 154 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 連続だが一様連続でない例 27 f(x) -1 1 x が 1 に近づくと f(x) は,いくらでも大きく変化する f(x) = 1 x − 1 変化 対 も 区間 [0, 1) を考える δ ε ε δ

Slide 155

Slide 155 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 連続だが一様連続でない例 27 f(x) -1 1 x が 1 に近づくと f(x) は,いくらでも大きく変化する f(x) = 1 x − 1 変化 対 も 区間 [0, 1) を考える δ ε ε δ 要求される δ の「狭さ」は いくらでも狭くなる

Slide 156

Slide 156 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 連続だが一様連続でない例 27 f(x) -1 1 x が 1 に近づくと f(x) は,いくらでも大きく変化する f(x) = 1 x − 1 変化 対 も 区間 [0, 1) を考える δ ε ε δ 要求される δ の「狭さ」は いくらでも狭くなる 区間内で「共通の δ 」は 存在しない

Slide 157

Slide 157 text

関数列の収束🤔🤔

Slide 158

Slide 158 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 関数列の収束と「一様収束」 29 x f(x) f(x) x

Slide 159

Slide 159 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 関数列の収束と「一様収束」 29 x f1(x) f(x) f(x) x

Slide 160

Slide 160 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 関数列の収束と「一様収束」 29 x f1(x) f2(x) f(x) f(x) x

Slide 161

Slide 161 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 関数列の収束と「一様収束」 29 x f1(x) f2(x) … f(x) f(x) x

Slide 162

Slide 162 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 関数列の収束と「一様収束」 29 x f1(x) f2(x) … f(x) 区間内の各点で, fn(x) と f(x)の隔たりが0に近づく f(x) x

Slide 163

Slide 163 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 関数列の収束と「一様収束」 29 x f1(x) f2(x) … f(x) 区間内の各点で, fn(x) と f(x)の隔たりが0に近づく が に [各点収束]する f1 (x), f2 (x), … f(x) f(x) x

Slide 164

Slide 164 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 関数列の収束と「一様収束」 29 x f1(x) f2(x) … f(x) 区間内の各点で, fn(x) と f(x)の隔たりが0に近づく が に [各点収束]する f1 (x), f2 (x), … f(x) f1(x) f(x) x

Slide 165

Slide 165 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 関数列の収束と「一様収束」 29 x f1(x) f2(x) … f(x) 区間内の各点で, fn(x) と f(x)の隔たりが0に近づく が に [各点収束]する f1 (x), f2 (x), … f(x) f1(x) f(x) x f2(x)

Slide 166

Slide 166 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 関数列の収束と「一様収束」 29 x f1(x) f2(x) … f(x) 区間内の各点で, fn(x) と f(x)の隔たりが0に近づく が に [各点収束]する f1 (x), f2 (x), … f(x) f1(x) f(x) x f2(x)

Slide 167

Slide 167 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 関数列の収束と「一様収束」 29 x f1(x) f2(x) … f(x) 区間内の各点で, fn(x) と f(x)の隔たりが0に近づく が に [各点収束]する f1 (x), f2 (x), … f(x) f1(x) f(x) x f2(x) f3(x)

Slide 168

Slide 168 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 関数列の収束と「一様収束」 29 x f1(x) f2(x) … f(x) 区間内の各点で, fn(x) と f(x)の隔たりが0に近づく が に [各点収束]する f1 (x), f2 (x), … f(x) f1(x) … f(x) x f2(x) f3(x)

Slide 169

Slide 169 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 関数列の収束と「一様収束」 29 x f1(x) f2(x) … f(x) 区間内の各点で, fn(x) と f(x)の隔たりが0に近づく が に [各点収束]する f1 (x), f2 (x), … f(x) f1(x) … f(x) x f2(x) f3(x) 左のほうでは収束していくが

Slide 170

Slide 170 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 関数列の収束と「一様収束」 29 x f1(x) f2(x) … f(x) 区間内の各点で, fn(x) と f(x)の隔たりが0に近づく が に [各点収束]する f1 (x), f2 (x), … f(x) f1(x) … f(x) x f2(x) f3(x) 左のほうでは収束していくが いくらでも右に行けば いつまでたっても収束しない

Slide 171

Slide 171 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 関数列の収束と「一様収束」 29 x f1(x) f2(x) … f(x) 区間内の各点で, fn(x) と f(x)の隔たりが0に近づく が に [各点収束]する f1 (x), f2 (x), … f(x) f1(x) … f(x) x f2(x) f3(x) 左のほうでは収束していくが いくらでも右に行けば いつまでたっても収束しない 各点収束ではあるが[一様収束]でない

Slide 172

Slide 172 text

30 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 今日のまとめ 30 「限りなく近づく」とは, 「無限」ではない 求めに応じて 好きなだけ近くできること