フレッシュマンセミナー を極めようtange/jugyo/18/slide.pdf · 2018-06-30 ·...

28
2018 6 29 フレッシュマンセミナー イプシロンエヌ (デルタ) を極めよう 丹下 基生

Transcript of フレッシュマンセミナー を極めようtange/jugyo/18/slide.pdf · 2018-06-30 ·...

Page 1: フレッシュマンセミナー を極めようtange/jugyo/18/slide.pdf · 2018-06-30 · (連続でないことは) あるϵ > 0 に対して、 どんな正の に対しても、jx

2018年6月29日

フレッシュマンセミナー

イプシロンエヌ(デルタ)を極めよう

丹下 基生

Page 2: フレッシュマンセミナー を極めようtange/jugyo/18/slide.pdf · 2018-06-30 · (連続でないことは) あるϵ > 0 に対して、 どんな正の に対しても、jx

1 ϵ-N論法による収束の定義ϵ-N論法によって、数列の収束

limn→∞

an = a

であることを定義せよ!

(2分)

1

Page 3: フレッシュマンセミナー を極めようtange/jugyo/18/slide.pdf · 2018-06-30 · (連続でないことは) あるϵ > 0 に対して、 どんな正の に対しても、jx

定義 I� �任意のϵ > 0に対して、ある自然数Nが存在して、n > Nなる任意のnに対して、

|an − a| < ϵ

となる。� �任意のϵ > 0に対して、自然数Nを見つけれてこればよい。Nはϵの関数と思えば良い。

2

Page 4: フレッシュマンセミナー を極めようtange/jugyo/18/slide.pdf · 2018-06-30 · (連続でないことは) あるϵ > 0 に対して、 どんな正の に対しても、jx

2 ϵ-N論法による証明

例題1� �an =

1

n→ 0

であることを、ϵ-N論法によって示せ。� �任意のϵ > 0に対して、自然数Nを見つける。

3

Page 5: フレッシュマンセミナー を極めようtange/jugyo/18/slide.pdf · 2018-06-30 · (連続でないことは) あるϵ > 0 に対して、 どんな正の に対しても、jx

(証明)

∀ϵ > 0 に対して、この場合、N =

⌈1

ϵ

⌉ととる。

n > Nとなる任意の自然数nをとると、

|an − a| = 1

n<

1

N< ϵ

(証終)

4

Page 6: フレッシュマンセミナー を極めようtange/jugyo/18/slide.pdf · 2018-06-30 · (連続でないことは) あるϵ > 0 に対して、 どんな正の に対しても、jx

問題2� �数列

an =1

1 + en

は0に収束することをϵ-N論法を使って示せ。� �

5

Page 7: フレッシュマンセミナー を極めようtange/jugyo/18/slide.pdf · 2018-06-30 · (連続でないことは) あるϵ > 0 に対して、 どんな正の に対しても、jx

(証明) NをN > − log ϵとなる自然数とする。n > Nとなる任意のnをとる。

|an − a| = 1

1 + en<

1

en< e−N < ϵ

よって、1

1 + en→ 0となる。(証終)

6

Page 8: フレッシュマンセミナー を極めようtange/jugyo/18/slide.pdf · 2018-06-30 · (連続でないことは) あるϵ > 0 に対して、 どんな正の に対しても、jx

(ϵ-N論法を使わなければ)

|an − a| = 1

1 + en<

1

en<

1

n→ 0

となるので、はさみうちの原理より、an → 0となる。(証終)

7

Page 9: フレッシュマンセミナー を極めようtange/jugyo/18/slide.pdf · 2018-06-30 · (連続でないことは) あるϵ > 0 に対して、 どんな正の に対しても、jx

en > nであること。f(x) = ex − xとし、f ′(x) = ex − 1 ≥ 0 (x ≥ 0)であり、f(0) = 1 > 0であるから、x > 0において、f(x) > 0であるからわかる。他に、テイラー展開

ex = 1 + x+x2

2+

x3

3!+ · · ·

であるから、自然数nに対して、

en = 1 + n+n2

2+

n3

3!+ · · · > n

8

Page 10: フレッシュマンセミナー を極めようtange/jugyo/18/slide.pdf · 2018-06-30 · (連続でないことは) あるϵ > 0 に対して、 どんな正の に対しても、jx

もう一問やってみよう

問題3� �an =

√n+ 1−

√n

は0に収束することを示せ。� �

9

Page 11: フレッシュマンセミナー を極めようtange/jugyo/18/slide.pdf · 2018-06-30 · (連続でないことは) あるϵ > 0 に対して、 どんな正の に対しても、jx

(証明) X > ϵ−2 ⇔ ϵ > 1/√Xであるから、

N = ⌈ϵ−2⌉としよう。N < nとなる任意のnに対して

|an − a| =√n+ 1−

√n =

1√n+ 1 +

√n

<1√n<

1√N

< ϵ

となる。 (証終)

10

Page 12: フレッシュマンセミナー を極めようtange/jugyo/18/slide.pdf · 2018-06-30 · (連続でないことは) あるϵ > 0 に対して、 どんな正の に対しても、jx

問題4� �数列anがan → aであるとき、

a1 + a2 + · · ·+ ann

→ a

であることを示せ。� �

11

Page 13: フレッシュマンセミナー を極めようtange/jugyo/18/slide.pdf · 2018-06-30 · (連続でないことは) あるϵ > 0 に対して、 どんな正の に対しても、jx

3 収束しないことの証明

例題2� �an = (−1)nが収束しないことを示せ。� �

12

Page 14: フレッシュマンセミナー を極めようtange/jugyo/18/slide.pdf · 2018-06-30 · (連続でないことは) あるϵ > 0 に対して、 どんな正の に対しても、jx

(証明)

任意のa ̸= ±1について収束しないことを証明する。ϵ = min{|a− 1|, |a+ 1|}とする。任意のN > 0と、あるn > Nに対して、

|an − a| ≥ ϵ

が成り立つ。よって収束しない。a = ±1のときが残っているが証明は同様。

(証終)

13

Page 15: フレッシュマンセミナー を極めようtange/jugyo/18/slide.pdf · 2018-06-30 · (連続でないことは) あるϵ > 0 に対して、 どんな正の に対しても、jx

4 ϵ-δ論法による連続性の定義ϵ-δ論法によって、関数f(x)がx = aにおいて、

limx→a

f(x) = f(a)

であることを定義せよ!

(2分)

14

Page 16: フレッシュマンセミナー を極めようtange/jugyo/18/slide.pdf · 2018-06-30 · (連続でないことは) あるϵ > 0 に対して、 どんな正の に対しても、jx

定義 II� �f(x)がx = aで連続であることの定義。任意のϵ > 0に対して、あるδが存在して、|x− a| < δなる任意のxに対して、

|f(x)− f(a)| < ϵ

となる。� �xの近くの実数が丸々f(x)の任意の近くに入るようにできること。

15

Page 17: フレッシュマンセミナー を極めようtange/jugyo/18/slide.pdf · 2018-06-30 · (連続でないことは) あるϵ > 0 に対して、 どんな正の に対しても、jx

16

Page 18: フレッシュマンセミナー を極めようtange/jugyo/18/slide.pdf · 2018-06-30 · (連続でないことは) あるϵ > 0 に対して、 どんな正の に対しても、jx

(連続でないことは)

あるϵ > 0に対して、どんな正のδに対しても、|x− a| < δの中に、f(x)が(f(a)− ϵ, f(a) + ϵ)の中に入らないようなものがある。

aを固定する。任意のϵ > 0に対して、実数δを見つけれてこればよい。δはϵの関数と思えば良い。

17

Page 19: フレッシュマンセミナー を極めようtange/jugyo/18/slide.pdf · 2018-06-30 · (連続でないことは) あるϵ > 0 に対して、 どんな正の に対しても、jx

5 ϵ-δ論法による証明

例題3� �y = xがx = aで連続であることをϵ-δ論法で示せ。� �

18

Page 20: フレッシュマンセミナー を極めようtange/jugyo/18/slide.pdf · 2018-06-30 · (連続でないことは) あるϵ > 0 に対して、 どんな正の に対しても、jx

(証明)

任意のϵ > 0に対してδ = ϵとしよう。|x− a| < δ = ϵとする。そのようなxを任意に取れば、

|f(x)− f(a)| = |x− a| < ϵ

となる。(証終)

19

Page 21: フレッシュマンセミナー を極めようtange/jugyo/18/slide.pdf · 2018-06-30 · (連続でないことは) あるϵ > 0 に対して、 どんな正の に対しても、jx

例題4� �y = 2x2がx = aで連続であることをϵ-δ論法で示せ。� �

20

Page 22: フレッシュマンセミナー を極めようtange/jugyo/18/slide.pdf · 2018-06-30 · (連続でないことは) あるϵ > 0 に対して、 どんな正の に対しても、jx

(証明)

任意のϵ > 0に対してδ = min

{1,

ϵ

2(1 + 2a)

}としよう。|x− a| < δとする。

|x+ a| = |x− a+ 2a| ≤ |x− a|+ 2|a|< δ + 2|a|≤ 1 + 2|a|

21

Page 23: フレッシュマンセミナー を極めようtange/jugyo/18/slide.pdf · 2018-06-30 · (連続でないことは) あるϵ > 0 に対して、 どんな正の に対しても、jx

|f(x)− f(a)| = |2x2 − 2a2|= 2|x− a||x+ a|< 2(1 + 2|a|)δ < ϵ

となる。(証終)

22

Page 24: フレッシュマンセミナー を極めようtange/jugyo/18/slide.pdf · 2018-06-30 · (連続でないことは) あるϵ > 0 に対して、 どんな正の に対しても、jx

一体何をしているのか?|2x2 − 2a2|のうち、x → aにおいて小さくなる部分と、そうでもない部分を分けている。

|x− a|と |x+ a|

三角不等式� �|A+B| ≤ |A|+ |B|� �

23

Page 25: フレッシュマンセミナー を極めようtange/jugyo/18/slide.pdf · 2018-06-30 · (連続でないことは) あるϵ > 0 に対して、 どんな正の に対しても、jx

|f(x)− f(a)|がすごく小さくなるようにしておいて、< ϵ となるようにするには、どのようにδ

をとればよかったか

δを決めるのは一番最後。

24

Page 26: フレッシュマンセミナー を極めようtange/jugyo/18/slide.pdf · 2018-06-30 · (連続でないことは) あるϵ > 0 に対して、 どんな正の に対しても、jx

問題5� �f(x) = x3 + 2x2がx = aで連続であることをϵ-δ論法により示せ。� �

25

Page 27: フレッシュマンセミナー を極めようtange/jugyo/18/slide.pdf · 2018-06-30 · (連続でないことは) あるϵ > 0 に対して、 どんな正の に対しても、jx

(証明)

任意のϵ > 0をとる。

δ = min

{1,

ϵ

3|a|2 + 7|a|+ 3

}とする。

26

Page 28: フレッシュマンセミナー を極めようtange/jugyo/18/slide.pdf · 2018-06-30 · (連続でないことは) あるϵ > 0 に対して、 どんな正の に対しても、jx

|f(x)− f(a)|= |x− a||x2 + ax+ a2 + 2(x+ a)|≤ δ|(x− a)2 + (3a+ 2)(x− a) + 3a2 + 4a|≤ δ(|x− a|2 + (3|a|+ 2)|x− a|+ 3|a|2 + 4|a|)≤ δ(δ2 + (3|a|+ 2)δ + 3|a|2 + 4|a|)≤ δ(3|a|2 + 7|a|+ 3)

(証終)27