• Tidak ada hasil yang ditemukan

PDF 6 関数の極限と 論法 - 東京理科大学

N/A
N/A
Protected

Academic year: 2024

Membagikan "PDF 6 関数の極限と 論法 - 東京理科大学"

Copied!
5
0
0

Teks penuh

(1)

6 . 関数の極限と ε-δ 論法

科目: 基礎解析学I及び演習(1‐3組)

担当: 相木

高校までに学んだ関数に関する極限を厳密に定義する.まず,関数に関する復習から 始める.

関数

I Rとする.全てのIの元xに対して1つの実数f(x)を対応させる対応fを関数 と呼ぶ.このとき,fは「I上で定義された関数」であるといい,Ifの定義域とい う.fI上で定義された関数であることを略して「I上の関数」と言ったりもする.

また,fI上で定義された関数であることを f :I R

などとも書く.特に,f(x)が実数の値をとることを強調して実数値関数とも呼ぶ.

関数の値域

I R上で定義された関数f に対して

R(f) = {y∈R| ∃x∈I, y =f(x)} によって定義される集合R(f)をf の値域という.

次に関数に関する極限を定義する.これらは高校までで扱った極限の定義の厳密化に なっている.

極限

I Rとし,fI上の関数f :I R とする.

a∈Ib∈Rに対して,x→aのときにf(x)がbに収束するとは

∀ε >0, ∃δε,a >0, ∀x∈I, (0<|x−a|< δε,a ⇒ |f(x)−b|< ε) (1)

が成り立つことを言う.このとき,bfx aでの極限値といい,このことを

xlimaf(x) =bと書く.

(2)

関数の収束の条件(1)を噛み砕いて考えてみよう.数列の収束のときと同様にε >0は 小さい値のときが本質的である.(1)は

どんなに小さいε >0に対しても,それに応じてδε,a >0を十分小さくとれば「xa が近い(誤差δε,a以内)ならばf(x)とbも近い(誤差ε以内)」が成り立つ.

という意味になる.添字が付いているようにδε,aεに依存するし,考えている定義域の 点aにも依存する.

このようにε > 0に応じてδε,a >0を決めて議論するのでこのような論法をε-δ 論法 という.

また,(1)において一部が括弧で囲まれているのは,「括弧で囲まれている部分を1つ の命題として扱いなさい」という意味である.つまり,|x−a|< δε,a|f(x)−b|< εを 別々の命題として扱うのではなく,|x−a|< δε,a⇒ |f(x)−b|< εという命題(構造とし ては「P ならばQ」)として扱う必要がある.これは,否定命題を作るときに重要になる ので注意が必要である(演習問題参照).

関数の極限に対しては「右極限」と「左極限」という概念もある.

右極限・左極限

I Rとし,fI上の関数f :I R とする.

右極限 a∈ Ib+ Rに対して,x→ a+のとき(つまり,xaの右側から近   づくとき)にf(x)がb+に収束するとは

∀ε >0, ∃δε,a >0, ∀x∈I, (a < x < a+δε,a ⇒ |f(x)−b+|< ε)

 が成り立つことを言う.このとき,b+fx a+での右極限値といい,

  lim

xa+f(x) = b+と書く.

左極限 a∈ Ib Rに対して,x→ a−のとき(つまり,xaの左側から近   づくとき)にf(x)がbに収束するとは

∀ε >0, ∃δε,a >0, ∀x∈I, (a−δε,a < x < a⇒ |f(x)−b|< ε)

 が成り立つことを言う.このとき,bfx a−での左極限値といい,

  lim

xaf(x) = bと書く.

右極限・左極限においてはそれぞれ考えている定義域の点aの右側(a < x < a+δε,a) および左側(a−δε,a < x < a)にあるxに対してのみ条件を課していることに注意.

(3)

x→ ±∞のときにf(x)が収束することを定義する.

x→ ±∞における極限

a, b∈Rとする.

I = (a,∞)とし,fI上の関数とする.x→ ∞f(x)がbに収束するとは

∀ε >0,∃Lε >0, ∀x > Lε, |f(x)−b|< ε が成り立つことを言う.このとき,lim

x→∞f(x) =bと書く.

I = (−∞, a)とし,fI上の関数とする.x→ −∞f(x)がbに収束するとは

∀ε >0,∃Lε >0, ∀x <−Lε, |f(x)−b|< ε が成り立つことを言う.このとき, lim

x→−∞f(x) =bと書く.

最後にa∈Iにおいてf(x)が発散することを定義する.

関数の発散

I R,a∈Iとし,fI上の関数とする.

x→af(x)がに発散するとは

∀L >0, ∃δL,a >0, ∀x∈I, (0<|x−a|< δL,a f(x)> L)

が成り立つことを言う.

x→af(x)が−∞に発散するとは

∀L >0, ∃δL,a >0, ∀x∈I, (0<|x−a|< δL,a f(x)<−L) が成り立つことを言う.

以上で定義した関数に関する極限の定義は,数列の極限と似た部分もあるので2つを比 べながら考えると分かりやすいかと思う.大きく違うのは数列においては添字番号nn→ ∞となる場合のみを考えたのに対し,変数xは定義域Iの任意の点aに対してx→a におけるf(x)の極限を考えることができるところである.

注意:ここまでで,I Rとa ∈Iに対してx→ aにおけるf(x)の収束を定義した際に aにおけるfの値f(a)が現れていないことに気づく.実は,a ∈Iにおいてfが定義され ていなくてもx→aにおけるf(x)の極限は定義できる.実際このプリントで書いた定義 はf(a)が定義されていなくても通用するような書き方になっている.

(4)

例)I = (1,1)とし,関数f= 0に対して

f(x) = xsin1 x

によって定める.このf(x)はx= 0において定義されていないが,x→0におけるf(x) の極限値は0である.実際,定義に従って示してみる(収束の定義(1)と見比べながら以 下の証明を見るとよい).

∀ε >0に対してδε,0 =εとして定めると,∀x∈Iに対して0<|x−0|< δε,0ならば

|f(x)0|=xsin1

x=|x|sin1

x≤ |x|< δε,0 =ε となり,lim

x0f(x) = 0であることが示された. □

これは,右極限,左極限に関しても同様である.

特に断りがない限り以下の演習問題においてはI Rとする.

予約制問題

(6-1) このプリントで解説した定義を参考にしてI = (0,∞)上の関数fx → ∞のと    きにに発散することの定義を(論理記号を用いて)書け.

(6-2) I上の関数fa ∈Ib∈Rに対して以下の2つが同値であることを示せ.

(i) lim

xa+f(x) = lim

xaf(x) = b (ii) lim

xaf(x) = b

(6-3) I上の関数fa ∈Ib R に対して,x→ aのときにf(x)がbに収束すること    の否定を論理記号を用いて書け.

早いもの勝ち制問題

(6-4) このプリントで解説した定義を参考にしてI = (−∞,0)上の関数fx→ −∞の    ときに−∞に発散することの定義を(論理記号を用いて)書け.

(5)

(6-5) 以下で与えられるR上の関数fのグラフの概形を描き,指定されたa Rにおけ    る右極限と左極限を求め,それぞれ右極限,左極限であることを定義に従って示     せ.(グラフの概形は増減表などを書く必要はなく,「形がなんとなくわかる」程度    のものでよい)

(i)f(x) =x2, a= 1

(ii) f(x) =



x2, = 1 2, x= 1

, a= 1

(6-6) a∈Ib Rとする.数列{an}n=1∀n N, an∈Iと lim

n→∞an=aを満たすとす    る.さらに,I上の関数fがlim

xaf(x) =bを満たすとき,

bn=f(an)

   で与えられる数列{bn}n=1bに収束することを示せ.

(6-7) 開区間(0,∞)上の関数ff(x) = 1

xで与えられるとき,x→0+でf(x)がに    発散することを定義に従って示せ.

(6-8) 具体例を用いて,ある点において右極限値と左極限値は存在するが極限値が存在

   しないような関数を作れ.また,極限値が存在しないことを証明せよ.

(6-9) a Ib Rに対してI 上の関数fがlim

xaf(x) = bを満たすとする.このとき,

   以下が成り立つことを示せ.

∃δ >0, ∀x∈I, (|x−a|< δ |b|

2 <|f(x)|)

Referensi

Dokumen terkait

命題4 整数の全体Zは可算集合である。 命題5 N2=N×Nは可算集合である。 例有理数の全体Qは可算集合である。 無限集合の性質 無限集合Xの部分集合Aに対して,すなわち A⊂X ⇒ |A|=|X| となる場合がある。有限集合Y の部分集合Bに対して, B⊂Y ⇒ |B| ≤ |X| が常に成り立つ。 2-2-2 非可算集合uncountable

8.3.2 領域の定義と領域の三角形分割 2 次元の場合 問題を考える領域を定義し、三角形分割をすることが必要である。 2次元有界領域の多くは、その境界曲線を定義することで定まる。 境界曲線はborderと言う型の変数として定義される。 三角形分割は mesh と言う型の変数として定義される。 buildmesh と言う関数は、各border

もし任意の異なる2点x, y∈Xに対して,xの開近傍U とyの 開近傍V が交わらないように, つまりU ∩V =∅をみたすように存在するとき, X,OをT2空間 Hausdorff space, ハウスドルフ空間という.. 問題 105 1pt

,0をnの値によらず0と表 すことが多い. Rnにおける位相構造は,距離の概念によって定義される. ユークリッド距離の基本性質

位相空間 科目: 数学演習IIA( f組) 担当: 相木 いよいよ一般的な位相空間を扱う.その前にRnの開集合の性質をもう一度思い出そう. Rnの開集合の性質 これまでの演習問題で見てきたRnの開集合に関する主要な性質を挙げる. i ∅とRnは開集合 ii A, B ⊂Rn がRnの開集合ならばA∩BもRnの開集合 iii

an    をn次元数ベクトル,あるいは実ベクトルという.また,このようなn次元数ベクト ル全体の集合をRnと書き,R上のn 次元数ベクトル空間とよぶ(「R上の」の意味 は次のボックスを参照).つまり, Rn ={a | aはn次元数ベクトル} である.Rnのことをn次元実ベクトル空間ということもある.特にR2の要素を平面

距離空間における連続写像 科目: 数学演習IIA( f組) 担当: 相木 前回の補足:距離空間における閉集合 S, dを距離空間とする.A⊂Sに対して AcはSの開集合 が成り立つとき,AはSの閉集合であるという. 前回のプリントに閉集合の定義を書き忘れていました.一般の距離空間においても閉 集合はRnのときと同様に定義されます.

完備距離空間の例 科目: 数学演習IIB( d組) 担当: 相木 前回のプリントで完備距離空間を定義したが,その具体例としてユークリッド空間と 有界連続関数の空間に焦点を絞って解説する. ユークリッド空間の完備性 1年生の微積分の講義でも扱ったようにRにおいて数列がコーシー列であることと収 束列であることは同値であった. 実数の完備性 距離空間R,