Loading [MathJax]/jax/output/HTML-CSS/jax.js

2017年5月28日日曜日

Basic Analysis (Jiri Lebl) 八日目 連続関数と連続性の定義

CC BY-NC-SA 3.0

Chapter 3. Continuous Functions

3.1 Limits of functions

3.1.1 Cluster points (集積点)

cluster point は収積点と訳して, accumulation point や limit pointを集積点と訳すのだが,この本の定義ではcluster point は集積点のことのようだ.参考: 収積点と集積点(青山耕治)

Definition 3.1.1

SRについて, xRSの集積点である
ϵ>0.  (xϵ,x+ϵ)S {x}ϕ
つまり,xのどれほど近くにもSの点があるということ.
例:

(i) {1/n|nN} の集積点は0のみ.
(v) NRにおいて集積点を持たない

Proposition 3.1.2

xSの集積点である
xnxxに収束する{xn}Sがある.
proof.


仮定より, nN(x1/n,x+1/n)S {x}ϕで,この集合のある要素をxnとすれば,xnxである.

仮定より, ϵ  N  s.t.  [nN0<|xnx|<ϵ]
したがって, {xn|nN}[(xϵ,x+ϵ)S{x}]

3.1.2 Limits of functions

fS上で定義された関数でcSの集積点なら,f(x)xcに近づくときの極限を定義できる(存在するかは別).また, cSであるとき, limxcf(x)=f(c)とは限らない.

Definition 3.1.3

f:SRについて,
ϵ  δ  s.t.  [0<|xc|<δ|f(x)L|<ϵ]
となるようなLが存在するとき, Llimxcf(x)と書いて,fcでの極限値という.この極限値が存在しないとき,fcで発散するという(f(c)が存在しても).

Proposition 3.1.4

cS=dom(f)の集積点とする.fcにおいて極限値を持つとき,その値は一意.
proof. 略

3.1.3 Sequential limits

関数の極限と数列の極限の橋渡し

Lemma 3.1.7

S=dom(f), cSの集積点とする.
f(x)L  (xc) xncなる任意の点列に, f(xn)Lが成立する.
これを関数の極限の定義とする本もある.

proof. 略

Lemma 3.1.7によって,以下のCorollaryがかんたんに証明できる.

Corollary 3.1.9

S=dom(f)=dom(g), cSの集積点であって,f,gcにおける極限が存在して,x.f(x)g(x)なら,limxcf(x)limxcg(x)
proof. Lemma 3.1.7とLemma 2.2.3で示せる.

Corollary 3.1.10

3.1.9の条件のもとでx.af(x)balimxcf(x)b
proof. Lemma 3.1.7とLemma 2.2.4で示せる.

Corollary 3.1.11

3.1.9の仮定の条件にさらにhを加えてx  f(x)h(x)g(x)で, limxcf(x)=limxcg(x)ならlimxcf(x)=limxch(x)=limxcg(x).
proof. 略

Corollary 3.1.12

Proposition 2.2.5の関数の極限版

3.1.4 Limits of restrictions and one-sided limits

略 要するに左極限と右極限を定義したい

3.2 Continuous functions

この章で, S=dom(f)とする.

3.2.1 Definition and basic properties

Definition 3.2.1

cSfが連続 ϵ  δ  s.t.  [xS,|xc|<δ|f(x)f(c)|<ϵ]
だから,実数の中の整数集合のような”まばらな”集合上で定義された関数は各点で連続となる.
cSにおいて,fcで連続なら,単にfは連続であるという.

Proposition 3.2.2

f:SRについて,
(i) cSの集積点でないなら,fcで連続.
(ii) cSの集積店なら,[fcで連続 fcへの極限が存在し,limxcf(x)=f(c)]
(iii) fcで連続 xnS,limxn=cなる任意の列で{f(xn)}f(c)に収束する.

proof.

(i),(ii) 略
(iii)
()
xnS,limxn=cとする. δ  N  s.t.  nN|xnc|<δ
さらに連続性より ϵ  δ  s.t.  |xnc|<δ|f(xn)f(c)|<ϵ
合わせてϵN  s.t.  nN|f(xn)f(c)|<ϵ
()
xnS,limxn=cが存在しないときはcSの集積点でなく(i)より成立.cSの集積点とする.
fcで連続でないと仮定する. 任意のδ|xc|<δかつ|f(x)f(c)|ϵなるϵ>0が存在する.xnxnS,|xnc|<1/nなる数列とすると,xncだがn.|f(xn)f(c)|ϵだからf(xn)f(c)これは仮定に反する.

Example 3.2.3

f:(0,)R,f:x1/xは連続
proof.

c(0,)とする.{xn}(0,)cに収束する列とすると,
f(c)=1c=1limxn=lim1xn=limf(xn)

Proposition 3.2.4

f(x)=adxd+ad1xd1++a1x+a0Rで連続.

3.2.2 Composition of continuous functions

fg(x)=f(g(x))の連続性の遺伝

Proposition 3.2.7

A,BR,f:BR,g:ABとする. gcAで, fg(c)で連続であれば,fgcで連続.
proof.

Prop 3.2.2(iii)でかんたんに示せる.
{xn}Acに収束するとする.gcで連続だから,g(xn)g(c).またfg(c)で連続だから,f(g(xn))f(g(c)).

3.2.3 Discontinuous functions

fcで連続でないとき,fcで非連続であるという.Prop 3.2.2(iii)のの対偶(contraposition)をとれば,

Proposition 3.2.9

cSに収束する {xn}Sで, f(xn)f(c)なる{xn}が存在するとき,fcで非連続.

Example 3.2.11 (Dirichlet’s function)

f(x)={1   (x:rational)0   (x:irrational)
をDirichlet functionといい,Rのすべての点で非連続であることが知られている.

proof.

cQとする.{xn}(RQ),xncなる数列が無理数の実数での稠密性から存在する.
f(xn)01=f(c)だから非連続. c(RQ)でもほとんど同様.

3.2.4 Exercises

Exercise 3.2.13

f:SR,cSで, cに収束する任意の{xn}Sf(xn)が収束するなら,fcで連続であることを示せ. (f(xn)f(c)を仮定していない点でProp 3.2.2(iii)と異なる)

proof.

仮定のもとでf(xn)f(c)を言えば良い.
cに収束する{xn}Sについて, xn={c   (n:odd)xn/2   (n:even)
とすれば,xnは収束するから,f(xn)も収束する.収束する列のすべての部分列はもとの列と同じ極限に収束するから,
limf(xn)=limf(xn)=limf(c)=f(c)
が成立する.よって示せた.

Exercise 3.2.14

f:[1,0]R,g:[0,1]Rが連続で, f(0)=g(0)とする.
h:[1,1]R,h(x)={f(x)   (x[1,0]g(x)   (x[0,1])
とするとhは連続であると示せ.
proof.

c<0で連続であることを示す.
cに収束する任意の{xn}[1,1]について,c|c|/2近傍ではxn[1,0]で,fの連続性とProp 3.2.3(iii)よりf(xn)f(c)したがってh(xn)h(c)=f(c)が成立.よってhcで連続.
c>0でも同様.

c=0での連続性を示す.
{xn}[1,1],xn0とする.{xn}[1,0]の点が有限個しかないなら,h(xn)g(0)=0=h(0)は明らかで, {xn}[0,1]の点が有限個しかないときも同様.
{xn}[1,0],[0,1]の点をそれぞれ無限個含むとする.T1={n|xn[1,0]},T2={n|xn[0,1]}とすると
f,gの連続性から任意のϵ
nN1,nT1|f(0)f(xn)|=|f(xn)|<ϵ
nN2,nT2|g(0)g(xn)|=|g(xn)|<ϵ
なるN1,N2がある. N=max(N1,N2)とすると
nN|h(xn)|<ϵすなわちh(xn)0
以上より,任意の{xn}[1,1]h(xn)0=h(0).よってh0で連続

h[1,1]で連続と示せた.

0 件のコメント:

コメントを投稿