|
|
| (間の1版分が非表示) |
| 12 行: |
12 行: |
| | *[[wikibooks_en:High_School_Physics|wikibooks(High_School_Physics)]] | | *[[wikibooks_en:High_School_Physics|wikibooks(High_School_Physics)]] |
| | | | |
| - |
| |
| - | ==テスト用==
| |
| - |
| |
| - | '''慣性モーメントの近似値の不足近似値と過剰近似値による評価'''<br/>
| |
| - | $V$を分割して得られた小区間$V_i=[x_{i-1},x_i]$を考える。<br/>
| |
| - | 関数$y=f(x)=\rho x^2$をこの小区間上に限定した時、<br/>
| |
| - | 関数は、この区間上の点で最大値と最小値をとる。<br/>
| |
| - | 最小値を与える点を$\xi_{i}^m$,最大値を与える点を$\xi_{i}^M$、
| |
| - | 関数の最大値と最小値を、それぞれ、$m(f;V_i),M(f;V_i)$と書く。<br/>
| |
| - | すると、$V_i$の任意の点$\xi$ に対して、<br/>
| |
| - | $m(f;V_i)=f(\xi_{i}^m) \leq f(\xi) \leq M(f;V_i)=f(\xi_{i}^M)$ <br/>
| |
| - | 故に、<br/>
| |
| - | '''補題１'''<br/>
| |
| - | どのような代表点$\{\xi_i\}_{i}, (\xi_i \in V_i,i=1,2,,,n)$に対しても<br/>
| |
| - | $I_{m}(\Delta):=I^{\Delta}(\xi_{1}^m,,,\xi_{n}^m)=\sum_i m(f;V_i)v(V_i)
| |
| - | \leq
| |
| - | I^{\Delta}(\xi_1,,,\xi_n)=\sum_i f(\xi_i)v(V_i)
| |
| - | \leq
| |
| - | \sum_i M(f;V_i)v(V_i)
| |
| - | =I_{M}(\Delta):=I^{\Delta}(\xi_{1}^M,,,\xi_{n}^M) \qquad (1)$ <br/>
| |
| - | そこで、$I_{m}(\Delta)$を'''不足近似値'''、$I_{M}(\Delta)$を'''過剰近似値'''と呼ぶ。<br/>
| |
| - | これらも、関数$y=f(x)$に依存するので、明示したいときは、
| |
| - | $I_{m}(\Delta,f)$,$\quad I_{M}(\Delta,f)$と書く。<br/><br/>
| |
| - |
| |
| - | '''分割の細分と慣性モーメントの評価式'''<br/>
| |
| - | '''定義；分割の細分'''<br/>
| |
| - | 分割$\Delta$の分点$\{x_0,x_1,,,,x_n\}$に新たな分点を追加して、<br/>
| |
| - | 新たな分点$\{x'_0,x'_1,,,,x'_{n'}\}$を作り、<br/>
| |
| - | これにより分割${\Delta}'=\{V'_i=[x'_{i-1},x'_i]\mid i=1,2,,,,n'\}$を作る。<br/>
| |
| - | このとき分割${\Delta}'$は、分割$\Delta$の細分といい、<br/>
| |
| - | 記号では、$\Delta \leq {\Delta}'$と記す。<br/><br/>
| |
| - |
| |
| - |
| |
| - | '''補題２'''<br/>
| |
| - | $\Delta \leq {\Delta}'$という分割に対し、<br/>
| |
| - | $I_{m}(\Delta)
| |
| - | \leq I_{m}(\Delta')
| |
| - | \leq I_{M}(\Delta')
| |
| - | \leq I_{M}(\Delta) \qquad (2)$
| |
| - | <br/>
| |
| - | が成り立つ。 <br/>
| |
| - | （証明）$\Delta$の小区間$V_i=[x_{i-1},x_i]$が分割${\Delta}'$では、<br/>
| |
| - | $\{V'_j=[x_{i-1},x'_j],V'_{j+1}=[x'_j,x_i]$の２つに分割されたとする。<br/><br/>
| |
| - | すると、区間上の関数の最大値と最小値の定義から、
| |
| - | $m(f;V_i) \leq m(f;V'_j)\qquad$ $m(f;V_i) \leq m(f;V'_{j+1})$<br/>
| |
| - | $M(f;V_i) \geq M(f;V'_j)\qquad$ $M(f;V_i) \geq M(f;V'_{j+1})$<br/>
| |
| - | これらから、命題は成立することが分かる。<br/><br/>
| |
| - |
| |
| - | '''不足近似値の上限と過剰近似値の下限'''
| |
| - | 補題２から、分割の細分を繰り返していくと、その分割に対応する、<br/>
| |
| - | 不足近似値は、広義増加(増加するか、同じ値にとどまる）し、<br/>
| |
| - | 過剰近似値は、広義減少する。<br/>
| |
| - | これらの極限が一致すれば、補題１から、<br/>
| |
| - | 分割に対応する慣性モーメント近似値が、代表点に無関係に定まることになる。<br/>
| |
| - | そこで色々な分割に対応する不足近似値のなかの最大値と過剰近似値の最小値を求めることが、重要になる。しかし一般の関数に対してはこれらは存在しないことが示せる。<br/>
| |
| - | そこで最大値に近い性質を持つ上限と最小値に近い下限という概念を利用する。
| |
| - | '''定義；上界と下界'''<br/>
| |
| - | ${\bf R}$を、全ての実数を要素とする集合とし、$A$をその部分集合とする。<br/>
| |
| - | 実数$u$が$A$の上界(upper bound)とは、任意の$a \in A$に対して、$a \leq u$がなりたつこと。<br/>
| |
| - | 実数$l$が$A$の下界(lower bound)とは、任意の$a \in A$に対して、$l \leq a$がなりたつこと。<br/>
| |
| - | $U_A$を$A$の上界をすべて集めた集合、$L_A$を$A$の上界をすべて集めた集合とする。<br/>
| |
| - | $U_A$が空集合$\emptyset$でない（すなわち、$A$の上界が少なくとも一つ存在する）とき、<br/>
| |
| - | $A$は'''上に有界'''であるといい、<br/>
| |
| - | $L_A\neq \emptyset$の時、$A$は'''下に有界'''であるという。<br/>
| |
| - | 上に有界で、下にも有界ならば、'''有界'''という。<br/>
| |
| - |
| |
| - | '''実数の連続の公理'''
| |
| - | 以下の性質は、色々な極限の存在の根拠を与えるもので、実数の持つ最も重要な性質の一つである。<br/>
| |
| - | $A \subset {\bf R}$とする。<br/>
| |
| - | もし、$U_A \neq \emptyset$ならば、$U_A$は、最小元を持つ。<br/>
| |
| - | これを$A$の'''上限(supremum)'''あるいは'''最小上界(least upper bound)'''という。<br/>
| |
| - | もし、$L_A \neq \emptyset$ならば、$L_A$は、最大元を持つ。<br/>
| |
| - | これを$A$の'''下限(infimum)'''あるいは'''最大下界(greatest lower bound)'''というという。<br/>
| |
| - |
| |
| - | 補題３<br/>
| |
| - | $u$が$A(\subset {\bf R})$ の上限となるための必要十分条件は、<br/>
| |
| - | １）$u$は$A$の上界。すなわち任意の$a\in A$にたいして$a \leq u$ <br/>
| |
| - | ２）$x<u$である任意の$x$は$A$の上界ではない。すなわち、$x<a$となる$a\in A$が存在。<br/>
| |
| - | 同様に、$l$が$A$ の下限となるための必要十分条件は、<br/>
| |
| - | １）$l$は$A$の下界。すなわち任意の$a\in A$にたいして$l\leq a$ <br/>
| |
| - | ２）$l<x$である任意の$x$は$A$の下界ではない。すなわち、$a<x$となる$a\in A$が存在。<br/>
| |
| - | $A$ の上限を$\sup A$、下限を$\inf A$と書く。<br/><br/>
| |
| - | 例；$A=(0,1)$のとき、$\sup A=1$,$\inf A=0$。<br/>
| |
| - | これらは、ともに$A$の要素でないので、<br/>
| |
| - | 上限１は$A$の最大元(最大値)ではなく、下限０は$A$の最小元(最小値)ではない。<br/>
| |
| - | $A=[0,1]$のとき、$\sup A=1$,$\inf A=0$。<br/>
| |
| - | これらは、ともに$A$の要素なので、<br/>
| |
| - | 上限は最大限であり、下限は最小限となる。<br/>
| |
| - |
| |
| - | 補題４<br/>
| |
| - | $f$を区間$V=[a,b]$上の有界実数値関数($\{f(x)\mid x\in V\}$が${\bf R}$の有界集合)とする。<br/>
| |
| - | $V=[a,b]$の分割を全て集めて作った集合を$\usepackage{mathrsfs}
| |
| - | \mathscr{D}(V)$と書く。<br/>
| |
| - | すると、<br/>
| |
| - | １）集合$\{I_m(f,\Delta) \mid \Delta \in {\ mathscr D}(V)$は上に有界、<br/>
| |
| - | 集合$\{I_M(f,\Delta) \mid \Delta \in {\ mathscr D}(V)$は下に有界<br/>
| |
| - | ２）${\ mathscr s}(f):=\sup\{I_m(f,\Delta) \mid \Delta \in {\ mathscr D}(V)$と<br/>
| |
| - | ${\ mathscr S}(f):=\inf\{I_M(f,\Delta) \mid \Delta \in {\ mathscr D}(V)$が存在する。<br/>
| |
| - |
| |
| - |
| |
| - |
| |
| - |
| |
| - |
| |
| - | '''補題２'''<br/>
| |
| - | 分割の系列,
| |
| - | ${\Delta}^{1} \leq {\Delta}^2 \leq,,,\leq {\Delta}^i \leq,,,,,$を考える。<br/>
| |
| - | すると、$ I_{m}({\Delta}^1)\leq I_{m}({\Delta}^2) \leq ,,,,,\leq I_{m}({\Delta}^i) \leq ,,,,,$(非減少数列）で、極限<br/>
| |
| - | $\lim_{i\to \infty}I_{m}({\Delta}^i)$ <br/>
| |
| - | に収束する。<br/>
| |
| - | また数列$ \{I_{m}({\Delta}^i\}_{i=1}^{\infty}$は非増加で、極限<br/>
| |
| - | $\lim_{i\to \infty}I_{M}({\Delta}^i)$ <br/>
| |
| - | に収束し、<br/>
| |
| - | $\lim_{i\to \infty}I_{m}({\Delta}^i) \leq \lim_{i\to \infty}I_{M}({\Delta}^i)$
| |
| - | <br/>
| |
| - | 証明
| |
| - | 補題１から、
| |
| - | 数列$\{I_{m}({\Delta}^i) \mid i=1.2,3,,,,,\}$は非減少数列で、上から$I_{M}({\Delta}_1)$でおさえられている。<br/>
| |
| - | また、数列$\{I_{M}({\Delta}^i) \mid i=1.2,3,,,,,\}$は非増加数列で、下から$I_{m}({\Delta}^1)$でおさえられている。<br/>
| |
| - | すると、[[wikipedia_ja:単調実数列の収束 |単調実数列の収束定理]]により、<br/>
| |
| - | これらの数列は極限を持つ。
| |
| - | さらに、$I_{m}({\Delta}^i) \leq I_{M}({\Delta}^i)\quad (i=1,2,,,)$なので、 <br/>その極限は、$\lim_{i\to \infty}I_{m}({\Delta}^i) \leq \lim_{i\to \infty}I_{M}({\Delta}^i)$ 証明終わり。<br/>
| |
| - |
| |
| - | 補題３<br/>
| |
| - | ${\Delta}^1 \leq {\Delta}^2\leq,,,\leq {\Delta}^i \leq,,,,,$とする。<br/>
| |
| - | さらに、${\Delta}^i $の各小区間${V^i}_j\quad(j=1,2,,,,)$の長さの最大値$d({\Delta}^i)$を０に近づけていくと、$\lim_{i\to \infty}I_{m}({\Delta}^i) = \lim_{i\to \infty}I_{M}({\Delta}^i)$となる。<br/>
| |
| - | 証明<br/>
| |
| - | $I_{M},I_{m}$の定義から、<br/>
| |
| - | $I_{M}(\Delta)-I_{m}(\Delta)=\sum_{i=1}^{n}\left(f(\xi_{i}^M)-f(\xi_{i}^m)\right)(x_i-x_{i-1})$<br/>
| |
| - | $f(x)=\rho x^2$なので<br/>
| |
| - | $=\sum_{i=1}^{n}(\rho (\xi_{i}^M)^2-\rho (\xi_{i}^m)^2)(x_i-x_{i-1})$<br/>
| |
| - | $\{\xi_{i}^M,\xi_{i}^m\}=\{x_{i-1},x_{i}\}$なので<br/>
| |
| - | $=\sum_{i=1}^{n}\rho |{x_{i}}^2-{x_{i-1}}^2|(x_i-x_{i-1})
| |
| - | =\rho \sum_{i=1}^{n} |x_{i}+x_{i-1}|(x_i-x_{i-1})(x_i-x_{i-1})$<br/>
| |
| - | $x_i(i=1,2,,,n)$は、剛体$V=[-a,l-a]$の点なので、$a$と $l-a$の大きいほうを$L$とおくと、<br/>
| |
| - | $\leq \rho 2L \sum_{i=1}^{n} (x_i-x_{i-1})(x_i-x_{i-1})$<br/>
| |
| - | 分割$\Delta=\{[x_{i-1},x_i] \mid i=1,2,,,n\}$の径$d(\Delta)$を、
| |
| - | $\{x_{i}-x_{i-1}\}_1^n$の最大値で定義すると、<br/>
| |
| - | $\leq 2\rho L d(\Delta) \sum_{i=1}^{n}(x_i-x_{i-1})
| |
| - | = 2\rho L d(\Delta) (x_n-x_0)= 2\rho Lld(\Delta)$<br/>
| |
| - | 故に、<br/>
| |
| - | $I_M-I_m \leq I_{M}({\Delta}^i)-I_{m}({\Delta}^i)
| |
| - | \leq 2\rho Lld({\Delta}^i) \quad (i=1,2,,,,)$<br/>
| |
| - | $\lim_{i \to \infty}d({\Delta}^i)=0$なので<br/>
| |
| - | $I_M-I_m=0$ が得られる。<br/>
| |
| - |
| |
| - | 補題４<br/>
| |
| - | 分割の系列,${\Delta}^1, {\Delta}^2,,, {\Delta}^i ,,,$が、<br/>
| |
| - | $\lim_{i\to \infty}d({\Delta}^i)=0$を満たすならば、<br/>
| |
| - | $\lim_{i\to \infty}\left(I_{M}({\Delta}^i)-I_{m}({\Delta}^i)\right)=0$ <br/>
| |
| - | 証明；<br/>
| |
| - | ${\Delta}^i=\{V^{i}_k=[x^{i}_{k-1}, x^{i}_k] \mid i=1,2,3,,,\} $と表現しておく。<br/>
| |
| - | すると$d({\Delta}^i)$の定義から、全ての$k$に対して<br/>
| |
| - | $0 \leq x^{i}_k-x^{i}_{k-1} \leq d({\Delta}^i)$ <br/>
| |
| - | $I_{M}({\Delta}^k)-I_{m}({\Delta}^k)$は、定義より、<br/>
| |
| - | $=\sum_{k} (M(f;V^{i}_k)-m(f;V^{i}_k))(x^{i}_k -x^{i}_{k-1})$<br/>
| |
| - | $f(x)=\rho x^2$なので<br/>
| |
| - | ・$0$ が $V^{i}_{k_0}$に含まれるとき$m(f;V^{i}_{k_0}))=0$<br/>
| |
| - | また、$M(f;V^{i}_k) \leq M(f;V)$ 。
| |
| - | 故に$M(f;V^{i}_{k_0})-m(f;V^{i}_{k_0})\leq M(f;V)$<br/>
| |
| - | ・$k\neq k_0$のとき、$V^{i}_k=[x^{i}_{k-1}, x^{i}_k]$上で$f(x)=\rho x^2$は単調関数なので、この区間上の最大値と最小値は、端点$x^{i}_{k-1}, x^{i}_k$上でとる。<br/>
| |
| - | $M(f;V^{i}_{k})-m(f;V^{i}_{k})=|f(x^{i}_{k-1})-f(x^{i}_{k})|
| |
| - | =\rho|(x^{i}_{k-1})^2-(x^{i}_{k})^2|$<br/>
| |
| - | $=\rho|x^{i}_{k-1}+x^{i}_{k}|(x^{i}_{k}-x^{i}_{k-1})$<br/>
| |
| - | $x^{i}_{k}\in V=[-a,l-a](i,k=1,2,3,,,)$ なので、$a,l-a$の最大値を$L$とおくと
| |
| - | <br/>
| |
| - | $\leq 2\rho L d({\Delta}^i)$<br/>
| |
| - | ・さらに、$x^{i}_k-x^{i}_{k-1} \leq d({\Delta}^i)$なので<br/>
| |
| - | $I_{M}({\Delta}^k)-I_{m}({\Delta}^k)$ <br/>
| |
| - | $=\sum_{k\neq k_0} (M(f;V^{i}_k)-m(f;V^{i}_k))(x^{i}_k -x^{i}_{k-1})
| |
| - | +(M(f;V^{i}_{k_0})-m(f;V^{i}_{k_0}))(x^{i}_{k_0} -x^{i}_{k_0-1}) $ <br/>
| |
| - | $\leq
| |
| - | 2\rho L d({\Delta}^k)\sum_{k\neq k_0}(x^{i}_k -x^{i}_{k-1})+M(f;V)d({\Delta}^i)$ <br/>
| |
| - | $\leq (2\rho L l+M(f;V))d({\Delta}^i)$<br/>
| |
| - | 故に、<br/>
| |
| - | $0 \leq M(f;V^{i}_{k})-m(f;V^{i}_{k}) \leq (2\rho L l+M(f;V))d({\Delta}^i)$<br/>
| |
| - | 補題の仮定から、$\lim_{i\to \infty}d({\Delta}^i)=0$なので、
| |
| - | $0 \leq \lim_{i\to \infty} \leq M(f;V^{i}_{k})-m(f;V^{i}_{k}) \leq (2\rho L l+M(f;V))\lim_{i\to \infty}d({\Delta}^i)=0$ <br/>
| |
| - | これで証明できた。<br/>
| |
| | | | |
| | = CAIテスト = | | = CAIテスト = |
| | | | |
| | *<span class="pops"> [[cai_ja:GENPHY00010007|CAIテストのページへ（新しいWindowが開きます）]] </span> | | *<span class="pops"> [[cai_ja:GENPHY00010007|CAIテストのページへ（新しいWindowが開きます）]] </span> |
