微分可能の定義






2017年07月31日(Mon)
微分可能の定義
「微分・積分」の勉強
 高校2年生から、極限・微分・積分の「意味がわからない」「つまらない」「教わる計算方法が正しいと言える理由(証明)がわからない」で数学の学習から脱落する高校2年生が多いらしい。
 その脱落の原因は、高校2年の極限・微分・積分の授業では、数学のうたい文句から外れた教育がされるからではないかと考えます。
すなわち、今までは、
「数学は、公式を正しく証明した後にその公式を使う」
と言って来たが、
高校2年生の、極限・微分・積分の授業からは、
「数学は、計算結果さえ合えば良い、途中の経緯は問わない、公式の証明は間違っていても問題視しない」
という教育思想が入り込み、
その思想の行き過ぎを避けるため、
「便利すぎる公式は、それをつかって直ぐ答えが得られてしまうから教えない」
という思想が混ざり、
数学教育に大きな濁りが入り込むので「微分積分がつまらない」となる原因があるのではないかと考えます。

 その濁りに押し流され無いため、高校2年生も 公式を厳密に証明して納得してから使う、数学の心に従って極限・微分・積分の学習をして欲しいと考えます。

 先ず、微分とは何かを、微分可能のハッキリした定義を知ることで頭を整理しましょう。

関数f(x)であらわされるグラフの傾きは、以下のようにあらわされます。
この傾きは以下に説明する微分によって求めます。

---(定義2.1 「微分積分学入門」(横田 壽)67ページ---
関数f(x) がx0 を含むある区間で定義されているとき,極限値
(有限の傾きA)
が存在するならば,
関数f(x) は, x = x0 微分可能(differentiable) であるといいます.
また,この極限値A を点x0 における微分係数といい,

で表わします.
-----(定義おわり)--------------------------- 

f(x) がx0 で微分可能でなくても、
h<0について、
 
または、
h>0について、
 
が存在することがあります.
下の図のような場合です。
その場合,
最初の値を左側微分係数(left-hand derivative ) と いい,
で表わし,
後の値を右側微分係数(right-hand derivative) といい,

で表わします.
微分可能の定義より,

 が共に存在し,かつ両者が等しいとき に限りf(x) はx = x0 で微分可能となります

関数f(x)が微分可能の場合に、
関数f(x)が初等関数などの通常の関数の場合は、
Δyの誤差が以下の式であらわせます。
----ビッグオー O(Δx)の 定義--------
ここで、O(Δx)は、以下のように定義されます。

x=x0+Δxとする絶対値が十分小さいΔxに対して、
ある定数Mがあって、
|Δy−(df/dx)Δx| ≦ MΔxμ
が成り立つとき、 
|Δy−(df/dx)Δx|はオーダーμの無限小であると言い、
 Δy−(df/dx)Δx=OΔxμ)とあらわす。

つまり、OΔxは、MのΔx倍程度の誤差をあらわす誤差関数です。
Δxが0に近づくと、誤差O(Δx)は、Δxよりも更に急速にMのΔx倍のオーダー(概算値)で0に近づくということをあらわしています。
----(定義おわり)---------------

 全ての関数について厳密に成り立つ関係としては:
関数f(x)が微分可能であれば、Δxが小さくなればなる程、Δyの誤差が、MのΔx倍よりも急速に小さくなる誤差関数(スモールオー)で表した以下の式が成り立っています。
 スモールオー o(Δx)の定義は、上の極限の式であらわされ、Δxよりも急速に小さくなる誤差関数です。

 Δxが小さくなればなる程、Δyの誤差o(Δx)が、MのΔx倍よりも急速に小さくなるので、Δxが十分小さいと考えれば、誤差が十分小さくなり、以下の近似式がいっそう正確に成り立つようになります。
 そのため、Δyを上の式であらわして微分を計算して良いです。

(注意1)関数の変数を変換すると微分不可能な点が微分可能な点に変わることがある。
 下図のグラフの関数は、O点では傾きが無限大なのでxで微分不可能です。
しかし、変数xを以下のグラフの関係を持つ変数tに変換してみます。
 この変数tで元の関数をあらわすと以下のグラフになります。
このグラフはO点で、tで微分可能です。
このように関数の変数を変換する、変数xでは微分不可能だった関数の点が、変数tでは微分可能になる、ということが起こり得ます。 
という関係があります。
 有限の微分係数が存在する(微分可能)という状態は、変数を変換すると変わることがあります。
 それは、微分する変数に応じる「微分可能」という条件が、
いわば、
「式を0で割り算する計算をしてはいけない」
という計算の縛りと似た意味を持つことを意味しています。

(注意2)関数の変数を変換すると微分不可能な点が微分可能な点に変わることがあるもう1つの例を考える。
 下図のグラフの関数は、O点では、左側微分係数と右側微分係数が異なるのでxで微分不可能です。
しかし、変数xを以下のグラフの関係を持つ変数tに変換してみます。
この変数tで元の関数をあらわすと以下のグラフになります。
このグラフはO点で、tで微分可能です。
このように関数の変数を変換する、変数xでは微分不可能だった関数の点が、変数tでは微分可能になる、ということが起こり得ます。

(注意3)関数の変数を変換すると、接する2つグラフが接さない2つのグラフに変換される例を考える。
 下の2つの関数のグラフは、O点で同じ微分係数=0を持ち、O点で接しています。
しかし、変数xを以下のグラフの関係を持つ変数tに変換してみます。
この変数tで元の2つの関数をあらわすと以下の2つのグラフになります。
元の2つのグラフの変数xを変数tに変換した2つのグラフは、O点で変数tで微分すると異なる微分係数を持ち、O点で接さず交差しています。
(変数を変換すると、このように、互いに接する2つのグラフが、接さない2つのグラフに変わってしまうことがあることに気をつけましょう)

【導関数】
 関数f(x) が,ある区間 I の各点で微分可能(有限の傾きを持つ)のとき
f(x) は区間 I で微分可能(differentiable on I) であるといいます.
この場合,区間 I の各点にそこでの微分係数を対応させることにより定まる関数を
f(x) の導関数(derivative) といい,

であらわします。

また,関数f(x) の導関数を求めることを微分する(differentiate) といいます.

また、xの関数f(x)=yの微分(導関数)を、y’とも書きます。


例題2.4 f(x) = xn (n 整数) を微分してみましょう.
となります。
(解答おわり)
が得られました。

次に、以下の微分も計算してみます。
この図形を直線y=xに関して折り返して考えます。
こうして、
が得られました。

(微分の式の前提条件:関数が存在すること)
微分をあらわす式: 
(dy/dx)は関数f(x)の導関数をあらわす式です。
そのため、
(dy/dx)=(df(x)/dx)
であり、変数yを微分で使う場合には、
y=f(x)とあらわす関数f(x)が必ず存在することが、変数yを使う前提条件にあります。
関数f(x)が必ず存在するということは、変数xに対して、必ず1つの値のy=f(x)が定まる関係(規則)が、変わらず、存在するということです。
微分の式は、定まった関数であらわされる関係が必ず存在する変数yとxその他の媒介変数の間の関係をあらわす式です。
微分の計算で使う全ての変数yやxやその他の媒介変数同士は、必ず、その変数を他の変数であらわす不変な関数で結ばれていることが前提にあります。
その関数はどの式であっても良いですが、計算の途中で変化することが無い、いつも変わらない関係式であることが微分の計算の前提になっています。

(微分可能な関数を選んで微分すること)
 下図のグラフの関数はでこぼこしていて、でこぼこがあらゆる細部にまで在り、どの有理数のxの位置においても微分不可能な関数の例です。
 この図の関数のように、関数が微分不可能な変数の値を判定して、変数の範囲(定義域)から除外するために、「微分」の定義を使って関数の変数を選別して、その変数の範囲の関数を微分計算の対象にします。
 実際は、微分不可能な関数は、警戒しなければならないほどに多く存在するわけでは無く。数学で学んで来た、ほとんど大部分の初等関数は微分可能な関数です。

 また、上のグラフのよう微分不可能な変数(有理数)が無限にある関数であっても、積分はできます。
元の関数が連続関数等の、関数の極限が存在する関数の場合は、その関数を積分した関数は微分可能な関数になります。こうして、極限が存在する関数を積分して関数群を作れば、その関数群は皆、微分可能な関数であることが保証されます。

(「リーマン積分可能」の定義)
「微分積分学入門」(横田 壽)の124ページから125ページに「リーマン積分可能」の定義が書いてあります:

 ここではドイツの数学者G.F.B. Riemann (1826-1917) によって示されたRiemann 積分につ いて学んでいきます.リーマン積分による「積分可能」の定義は、全ての種類の「積分可能」の定義の基礎になっています。
  f(x) は閉区間[a, b] で定義されているとします.この閉区間[a, b] を次のような点xi(i = 1, 2, . . . , n) でn 個の小区間に分割します.
(a = x0 < x1 < x2 < · · · < xi < · · · < xn = b)

 この分割をΔ で表わし, Δxi = xi − xi−1 (i = 1, 2, . . . , n) のうちで最も大きい値を|Δ| で 表わします.
いま,それぞれの小区間[xi−1, xi] のなかに任意の点ξi をとり,Riemann 和 (Riemann sum) とよばれる次の和を考えます.

このとき、
となる実数S が存在するならば,このS をf(x) の定積分(definite integral) といい, f(x) は閉区間[a, b] で積分可能(integrable) であるといいます.また,このS を次のように表わします.
つまり関数f(x) が閉区間[a, b] で積分可能であるということは,分割の仕方および点ξi(i = 1, 2, . . . , n) のとり方に関係なく、各点の関数値の和が一通りに定まるということです.

 この定義に従い、関数の積分可能性を以下の様にして調べることができます。
先ず小さな閉区間[a, b] を定めて、
その区間の小区間への分割の仕方および点ξi(i = 1, 2, . . . , n) のとり方に関係なく、各点の関数値の和が一通りに定まる(積分可能)か否かを調べることができます。 

【積分が不可能な関数】
下のグラフの関数f(x)のように、どの位置においても関数の極限が存在しない関数もあり得ます。
 例えば、 
xが有理数の場合にf(x)=0であって、
xが無理数の場合のf(x)=1
という、極限が存在しない関数f(x)などです。
 そういう、極限が存在しない関数f(x)を積分して関数F(x)を得た場合(もし積分できた場合)、その積分により得られた関数F(x)は微分可能だろうか。
 そもそも、微分の計算は極限を求める計算なので、その関数f(x)が積分できても、その積分した関数F(x)を微分した場合に、元の関数f(x)は(極限値が存在しないので)、微分によっては得られないと考えます。

 この関数f(x)の変数x=x1からx=x2までの変数xの閉区間をn等分した小区間を作り、その各小区間毎にf(x)の値f(ξ)を求めて、その値の和で積分します。
(1)その際に、 変数x=ξが全て有理数なら、f(ξ)=0になり、積分結果は0になります。
(2)一方、変数x=ξが全て無理数√2の有理数倍なら、f(ξ)=1になり、積分結果は(x2−x1)になります。
(3)小区間内の変数xの点ξの選び方によってf(ξ)の和による積分結果が変わるような計算の値は定かでは無いので、その様な関数f(x)は積分することができません。

 このように、微分積分学では、あらゆる関数に微分積分を行う理論を作ろうとすると、いろいろな難しい問題があることがわかりました。
 微分積分学で、難しい問題が生じない関数の範囲を把握して、その範囲内で微分積分の計算をすることで、応用上で微分積分を使い易くできます。
 そのため、使い易い関数として、極限が存在し、かつ、連続な「連続関数」 を主に扱う対象にし、また、「微分可能性」で関数の変数の定義域を制限して、微分積分を行う範囲を制限します。その範囲内で成り立つ法則を把握して、種々の公式を導き出して使うことで微分積分学を最大限に応用できるようになります。

 このように、微分積分学は、微分可能な関数と積分可能な関数を定義して、その種の関数の間で微分したり積分をします。「微分可能」と「積分可能」という制限条件を定め、その制限条件を満足する関数を扱うのが微分積分学だと認識することがとても大切です。 
 しかし、この一番大切な概念を高校2年には教えない。高校3年に至っても「積分可能」の概念を教えていないようです。 
 しかも、1997年からは、日本の高校の数学IIで面積が無定義に用いられという、数学センスを否定する蛮行が行なわれた。そして、関数f(x)のグラフとx軸で囲まれる領域の面積を,x方向で微分するともとの関数f(x)になり、面積の微分がf(x)となるという本末転倒なことを教えるようになった。
 
  現在の高等学校の教科書は,積分の概念の説明を回避している。

 このようなデタラメな教育では、高校生に微分積分が分からないのも無理無いと考えます。

(微分積分の教育方針)
 ヨーロッパやアメリカでは、「高校で微分積分を教えるのは、直観にうったえる内容に限られ、正確な微分積分を教えられない」という理由で、微分積分は大学生に教える科目になっています。
 日本の大学でも、その欧米の教育に合わせて、初めて学ぶ者に分かるように微分積分を改めて教育しているようです。
 大学で使う微分積分の参考書は、高校で教える微分積分の知識を全く知らない学生に理解できるように書かれています。
 しかも、大学生向けの微分積分の参考書の方が、日本の高校生向けの微分積分の参考書よりやさしく分かり易い。

 高校の微分積分を勉強するなら、先ず、大学生向けの微分積分の参考書を読むことを推薦します。高校の微分・積分の教科書は分かりにくいだけで無く、間違いも含まれています。読まない方が良いのではないかと考えます。
 とりあえず、大学生向けの参考書で無料でダウンロードできる、
「微分積分学入門」(横田 壽)
を読んでみることをお勧めします。 
(しかし、同じ著者の書いた高校生向けの参考書「確実に身につく微分積分(2012年)」の1版は、内容が劣化しているのでお勧めできません。大学生向けの本物の知識の参考書「微分積分学入門(2004年)」を読んでください。)

「微分積分学入門」(横田 壽)の読み方は、 66ページから始まる2章「微分法」の以前のページは斜め読みして、何が書いてあるらしいかを漠然と把握しておいて、2章「微分法」以降を精読することをお勧めします。読んでいるうちに知らない関数や概念が出てきたら、66ページ以前に書いてありますので、探して、その部分を読んで理解するように勉強してください。

リンク: 
高校数学の目次



   




新着トラックバック/コメント


カレンダ
2017年7月
           
31          

アーカイブ
2009年 (56)
2月 (1)
3月 (14)
4月 (30)
5月 (11)
2010年 (31)
7月 (1)
8月 (17)
9月 (4)
10月 (7)
11月 (1)
12月 (1)
2011年 (105)
1月 (10)
2月 (11)
3月 (16)
4月 (31)
5月 (4)
7月 (12)
8月 (12)
9月 (5)
11月 (3)
12月 (1)
2012年 (28)
1月 (3)
2月 (8)
3月 (6)
4月 (8)
5月 (1)
7月 (2)
2013年 (149)
1月 (12)
2月 (36)
7月 (5)
8月 (7)
9月 (22)
10月 (26)
11月 (25)
12月 (16)
2014年 (27)
1月 (13)
2月 (12)
3月 (2)
2015年 (47)
1月 (1)
2月 (6)
3月 (8)
4月 (16)
5月 (11)
6月 (4)
12月 (1)
2016年 (55)
4月 (4)
8月 (4)
9月 (6)
10月 (6)
11月 (22)
12月 (13)
2017年 (105)
1月 (10)
2月 (2)
3月 (5)
4月 (5)
5月 (10)
6月 (13)
7月 (15)
8月 (12)
9月 (17)
10月 (16)

アクセスカウンタ
今日:471
昨日:2,995
累計:1,900,312