[ 掲示板に戻る ]
過去ログ閲覧モード
★ 確率変数列の証明 / 坂
確率変数列の証明の質問です。
画像の命題2.19の
「また、Ω0＝...」
の証明がわかりません。

証明の後半の
Ω0={lim inf Xn=lin sup Xn ∈R}がなぜ、Ω0∈Fとわかるのかわかりません。

lim inf Xnとlim sup XnがF可測であることから、
{lim inf Xn∈R}∈Fと{lim sup Xn∈R}∈Fが成り立つのはわかるのですが、
これらを＝にした時も∈Fになってもいいものかと思っています。

ご教授よろしくお願いします。
No.52485 - 2018/08/01(Wed) 01:26:32
★ ルベーグ可測、可測単関数 / くろろ
ルベーグ可測、可測単関数についての質問です。
画像の定理7.12の証明をしたいのですが、証明後半の
「0≦f(x)-Sn(x)≦2^(-n)」
の部分がわかりません。


私の考えとしては、

今、f(x)<nと考えているので、Ankの定義より、k=2^(n)*n
f(x)の範囲に代入すると、n-1/(2^n)≦f(x)<n
同じくSn(x)に代入するとSn(x)=n-1/(2^n)

よって、0≦f(x)-Sn(x)≦2^(-n)になります。


しかし、別サイトで質問したところ
「(k-1)/2^n≦f(x)<k/2^nとなるところでsn(x)=(k-1)/2^nと置いている訳ですから

1/2^n=k/2^n-(k-1)/2^n
≧f(x)-sn(x)≧ (k-1)/2^n-(k-1)/2^n
となります」

と回答をいただきました。

ご教授よろしくお願いします。
No.52483 - 2018/08/01(Wed) 00:43:58
☆ Re: ルベーグ可測、可測単関数 / あ
f(x)<nからはあるk∈{1,2,...,(2^n)n}が存在してf(x)∈[(k-1)/2^n,k/2^n)としか言えないと思いますが。
No.52484 - 2018/08/01(Wed) 00:54:54
★ 値域、存在条件 / 坂下
http://aozoragakuen.sakura.ne.jp/kakomon/2006/06saitama202.htm
の埼玉大後期の問題で、（１）に関して、
画像のようにα、βの存在条件を考え、βを代入消去し、αの存在条件を考え、という感じでなんとか示したのですが、
模範解答を読むと、α、βの存在条件に関しては不要で、Ｃのｚ座標に当たる変数の存在条件を考えているようです。
自分としては、αーβ＝ｋの値の取る範囲だから、それ以外のα、β、ｚの存在条件を考えるというのは論理的に正しいように思えるのですが、なぜ、ｚの存在条件のみでＯＫなのですか？
No.52476 - 2018/07/31(Tue) 23:55:08
☆ Re: 値域、存在条件 / 坂下
回転してしまいました。
ブラウザを変えてみます。
No.52477 - 2018/08/01(Wed) 00:03:55
☆ Re: 値域、存在条件 / 坂下
ごめんなさい。
原因はよくわからないのですが、画像が９０度回転して表示されてしまいます。
解決できそうにありません。
No.52479 - 2018/08/01(Wed) 00:05:46
☆ Re: 値域、存在条件 / 坂下
スマホから投稿してみます
No.52482 - 2018/08/01(Wed) 00:22:34
☆ Re: 値域、存在条件 / 黄桃
(1)は、四面体OABCが「条件」を満たすならば |α-β|<π/2　を示せ、といっています。
別の言い方をすれば、四面体OABCを観察したら「条件」を満たしていたとすると、必ず|α-β|<π/2　であることを示せ、という意味です。

この問題の「条件」は仮定であり、これが真の場合だけを考えればいいのです。
だからα，βの存在は仮定であり、「条件」が真になる条件（α,βが存在する範囲）を求める必要はありません（もちろん、求めてもかまいません；簡単に求まるならその方が早いでしょうし、別解の解き方はそれに近いでしょう）。

なので、|α-β|<π/2が必要条件であることを示せばいいのです。
つまり、
「|α-β|<π/2」は「|α-β|の値域」（以下「値域」と書きます）がこうだ、
という主張ではなく、こういう不等式が成立する（「値域」は0以上π/2に含まれる）という意味です。
結果的にこの問題では同じ意味になりますが、答案としては「値域」そのものではなく「値域」の必要条件である不等式を示すだけでOKです。
No.52527 - 2018/08/02(Thu) 00:25:41
☆ Re: 値域、存在条件 / 坂下
ありがとうございます。
少し自分でも考えています。
No.52592 - 2018/08/04(Sat) 10:36:23
☆ Re: 値域、存在条件 / 坂下
回答者さんのおっしゃっていることは、わかりました。
この（１）で示すべき式はΙαーβΙはπ/２以上、π/２以下の値をとることはない。という意味の式（いわば「単なる不等式」）で、それよりも強烈な式ΙαーβΙの取りうる値の範囲は（つまり「値域」は）＜π/２というところまでは調べる必要はないということですか？
問題文（条件を満たすとき（１）の不等式の成立を示せ）から「単なる不等式」の成立の証明で十分、「値域」の証明までは不要と判断してよい理由はどこにあるのでしょうか？
No.52595 - 2018/08/04(Sat) 13:06:55
★ 高校1年夏休みの課題 / 相馬 永吉
大問7の1番と2番両方ともわかりません。
解説よろしくお願いします
No.52469 - 2018/07/31(Tue) 21:19:02
☆ Re: 高校1年夏休みの課題 / X
(1)
(x+1)/2-(4x-2)/3≦2 (A)
2x-3＜a (B)
とします。

(A)より
3(x+1)-2(4x-2)≦12
-5x≦5
-1≦x (A)'
一方(B)より
x＜(a+3)/2 (B)'
(A)'(B)'から題意を満たすためには
2＜(a+3)/2≦3
これより
4＜a+3≦6
∴1＜a≦3

(2)
問題の不等式から
-2＜2x/3＜a-1
-3＜x＜(3a-3)/2
よって条件を満たす整数xは
x=-2,-1
でなければならないので
-1＜(3a-3)/2≦0
これより
-2/3＜a-1≦0
∴1/3＜a≦1
No.52473 - 2018/07/31(Tue) 22:32:26
☆ Re: 高校1年夏休みの課題 / Z
(1)
-5x≦5
1≦x (A)'

は　-1≦x (A)'　の間違いですね。
No.52549 - 2018/08/02(Thu) 21:14:06
☆ Re: 高校1年夏休みの課題 / X
>>Zさんへ
ご指摘ありがとうございます。

>>相馬 永吉さんへ
ごめんなさい。Zさんの仰った点も含めて
No.52473を直接修正しました。
再度ご覧下さい。
No.52550 - 2018/08/02(Thu) 21:36:04
☆ Re: 高校1年夏休みの課題 / 相馬
ありがとうございました😊
すいません。次からは答えもしっかりのせときます！
No.52604 - 2018/08/04(Sat) 16:39:41
★ 高一数学 / りぬ
1の3番と2の3番がわかりません。
解説の方をよろしくお願いします
No.52468 - 2018/07/31(Tue) 21:16:42
☆ Re: 高一数学 / X
2
(3)
問題の不等式から
4x+2a＜x-3a
x＜-5a/3
よって題意を満たすためには
-5a/3≦-1
これを解いて
3/5≦a
No.52472 - 2018/07/31(Tue) 22:26:22
☆ Re: 高一数学 / X
1
(3)
5人乗りのボートがxそう必要だとすると
条件から
5x+2(20-x)≧78 (A)
20-x≧0 (B)
(A)(B)を連立不等式として解くと
38/3≦x≦20
∴38/3=12+2/3
により13そう以上必要です。
No.52474 - 2018/07/31(Tue) 22:36:39
★ 式。 / Ran
何してるのかわからない。

この問題の、条件bの概念を教えてください。


また、この問題の解き方を詳しくお願いします。
No.52466 - 2018/07/31(Tue) 20:46:32
☆ Re: 式。 / Ran
ちなみに答えです！
No.52467 - 2018/07/31(Tue) 20:48:49
☆ Re: 式。 / ヨッシー
何を以て概念を説明したことになるのか（どういう答えを求められているのか）
わかりませんが、単に 関数 f(x) の性質を表しているものと捉えます。
思いつくのは　f(x)＝ｘ　ですが、他にあるかもしれません。
とにかく、「任意のｘ，ｙについて成り立つ」＝「ｘ、ｙに何を代入しても成り立つ」という
ありがたい性質を問題を解くのに利用します。

(1)
(b) の式に、ｘ＝ｙ＝１ を代入して、
　f(1)＝f(1)2
よって、
　f(1)＝０，１
f(1)＞０　より　f(1)＝１
(b) の式に、ｘ＝ｙ＝−１ を代入して
　f(1)＝f(-1)2＝１
f(-1)＞０　より　f(-1)＝1

(2)
(b) の式に、ｙ＝−１ を代入して、
　f(-x)＝f(x)・f(-1)＝f(x)

(3)
(b)の式に、ｘ＝ａ、ｙ＝1/a (a≠0) を代入すると
　f(1)＝f(a)・f(1/a)＝１
f(a)＞０ より、
　f(1/a)＝1/f(a)
なので、
　f(a)＞1 ならば f(1/a)＝1/f(a)＜1
となります。

結局、添付された解答と同じになります。
No.52488 - 2018/08/01(Wed) 10:04:40
☆ Re: 式。 / Ran
返信ありがとうございます！

またよろしくお願いします。
No.52511 - 2018/08/01(Wed) 21:23:38
★ これおかしいきがする！ / Ran
ここの途中式変じゃありません？？？
No.52458 - 2018/07/31(Tue) 18:55:09
☆ Re: これおかしいきがする！ / Ran
これです。
No.52459 - 2018/07/31(Tue) 18:56:36
☆ Re: これおかしいきがする！ / らすかる
変じゃないですよ。
(a^2+b^2)/2-((a+b)/2)^2
=(a^2+b^2)/2-(a+b)^2/4
={2(a^2+b^2)-(a+b)^2}/4
=(2a^2+2b^2-a^2-b^2-2ab)/4
=(a^2+b^2-2ab)/4
=(a-b)^2/4
≧0　（等号はa=bのとき）
なので
(a^2+b^2)/2≧((a+b)/2)^2　（等号はa=bのとき）
です。
No.52460 - 2018/07/31(Tue) 19:04:21
☆ Re: これおかしいきがする！ / Ran
赤線の上の部分の、途中式お願いします。
No.52464 - 2018/07/31(Tue) 20:25:17
☆ Re: これおかしいきがする！ / Ran
なぜ、


1/2・a^2+b^2+1/2・c^2+d^2/2


が出てきたのか教えていただきたいです
No.52465 - 2018/07/31(Tue) 20:35:38
☆ Re: これおかしいきがする！ / らすかる
(1/2)(a^2+b^2)/2+(1/2)(c^2+d^2)/2 は
「出てきた」のではなく
(a^2+b^2+c^2+d^2)/4 にしたいので
「そのような形に持っていった」のです。

上に書いたように
(a^2+b^2)/2≧((a+b)/2)^2
同様に
(c^2+d^2)/2≧((c+d)/2)^2
ですから
(1/2){((a+b)/2)^2+((c+d)/2)^2}
=(1/2)((a+b)/2)^2+(1/2)((c+d)/2)^2
≦(1/2)(a^2+b^2)/2+(1/2)(c^2+d^2)/2
が成り立ちますね。
No.52470 - 2018/07/31(Tue) 21:29:49
☆ Re: これおかしいきがする！ / Ran
なるほど！

わざとですね！

ありがとうございます！
理解できました！
No.52471 - 2018/07/31(Tue) 22:07:00
★ 確率論、分布関数について / くろろ
確率論、分布関数についての質問です。
R^1上の関数Fを分布関数とする時、
分布関数は
(1)単調性
(2)右連続性
(3)lim[x→∞]F(x)=1 , lim[x→-∞]F(x)=0

が成立するのですが、(2)の証明がわからないので質問させていただきます。


画像がその証明なのですが、最後の一文の意味がわかりません。(蛍光ペンで塗っているところです)


証明の中の(P11)とは
PをΩ上の確率としたとき、
減少事象列Λn , n=1,2,...に対してP(Λn)は減少しながら、P(∩[n=1→∞]Λn)に収束する。
というものです。


簡単に言うと
lim[N→∞]P(ΛN)＝P(∩[n=1→∞]Λn)と捉えていいと思います。

ご教授よろしくお願いいたします。
No.52456 - 2018/07/31(Tue) 18:35:13
☆ Re: 確率論、分布関数について / あ
ε>0を勝手に選び固定します。
このときF(x_n)→F(c)より整数NがあってF(x_N)-F(c)<εが成り立ちます。
よってx_N>x≧cなる全てのxに対してF(x)-F(c)≦F(x_N)-F(c)<εが成り立ちます。
よってF(x)→F(c)です。
No.52461 - 2018/07/31(Tue) 19:11:00
☆ Re: 確率論、分布関数について / あ
3行目で単調性を使いました。
No.52462 - 2018/07/31(Tue) 19:11:34
☆ Re: 確率論、分布関数について / くろろ
わかりやすい解説ありがとうございました!!
No.52481 - 2018/08/01(Wed) 00:12:47
★ 式と証明です！ / Ran
a b c を、|a|<1 |b|<1 |c|<1 をみたす実数とするとき、

abc +2 > a + b + c を証明せよ。

という問題です。


解答では、まず、 ab +1 > a + bを証明し、
そのあと、|a| <1 |bc| <1 ab+ 1>a+bを利用して証明する。

とあります。
しかし、解答がちきんとかかれておらず、全然わかりません。

解き方や、途中部分を宜しくお願いします。
No.52453 - 2018/07/31(Tue) 18:11:15
☆ Re: 式と証明です！ / あ
まず|x|<1,|y|<1を満たす実数x,yについてxy+1>x+yが成り立つことを証明します.
(証明始め)
|x|<1なので-1<x<1,特にx<1⇔x-1<0.
同様にy-1<0.
したがって(x-1)(y-1)>0.
左辺を展開して結果が従う.
(証明終わり)

さて,今|a|<1,|b|<1なので上の補題よりab+1>a+b…?@.
また|ab|<1,|c|<1なので再び補題よりabc+1>ab+c…?A.
?@と?Aを辺々足して結果が従う.
No.52454 - 2018/07/31(Tue) 18:20:28
☆ Re: 式と証明です！ / Ran
りかいできました！
ありがとうございます！
No.52457 - 2018/07/31(Tue) 18:52:34
★ 内積の微分 / orz
ベクトルの内積の微分を”微分の定義に従って”導出していただきたいです。
式変形の度に何を行なったのかなるべく詳細に記述していただけると非常に助かります。
よろしくお願いいたします。

(U, V)’ =...
No.52447 - 2018/07/31(Tue) 10:38:47
☆ Re: 内積の微分 / GandB
　こんなところでチマチマ質問するより、ベクトル解析の参考書をじっくり読み込んだ方がかえって手っ取り早いと思うが。
> ベクトルの内積の微分を”微分の定義に従って”導出していただきたいです
　'微分' という言葉がちょっと微妙だが、ここでは a↑、b↑を変数 t のベクトル値関数と見なすとき、その導関数を求めることと解釈する。
　　a↑(t) = ( a1(t), a2(t), a3(t) ).
　　b↑(t) = ( b1(t), b2(t), b3(t) ).
　　a↑(t) ・b↑(t) = a1(t)b1(t) + a2(t)b2(t) + a3(t)b3(t).

　右辺は普通の関数だから、導関数を求めるには、まあ普通に（笑）微分すればよい。以下では t を省略。

　　d(a↑･b↑)/dt = (a1b1)' + (a2b2)' + (a3b3)'
　　　　　　　　　= a1'b1 + a1b1' + a2'b2 + a2b2' + a3'b3 + a3b3'
　　　　　　　　　= a1'b1 + a2'b2 + a3'b3 + a1b1'+ a2b2' + a3b3'
　　　　　　　　　= (a1', a2', a3')・(b1, b2, b3) + (a1, a2, a3)・(b1', b2', b3')
　　　　　　　　　= (a↑)'b↑+ a↑(b↑)'.

　「微分の定義に従って導出」というのもよくわからんが、要するに
　　(a1b1)' = a1'b1 + a1b1'
を極限を使ってきちんと証明しろということであれば微積の参考書を見ればよい。
No.52449 - 2018/07/31(Tue) 13:05:40
★ (No Subject) / 整数の性質
次の条件を満たす整数の個数を求めよ。
(1)5個の数字1,2,3,4,5から異なる3個を並べてできる3桁の3の倍数
(2)10!の正の約数
No.52440 - 2018/07/31(Tue) 02:15:46
☆ Re: / らすかる
(1)
3桁の数が3の倍数になるのは
・3桁とも3で割った余りが同じ
・3桁とも3で割った余りが異なる
の二つの場合だけです。
1,2,3,4,5を3で割った余りは1,2,0,1,2であり
同じ余りの数が3個はありませんので、
後者の条件しかあり得ません。
このとき、3で割った余りがすべて異なるためには
3と、1か4のどちらかと、2か5のどちらか
の組合せしかありません。
この選び方が2^2通り、並べ方が3!通りですから、
条件を満たす整数の個数は2^2×3!=24個となります。

(2)
10!=2×3×2^2×5×(2×3)×7×2^3×3^2×(2×5)
=2^8×3^4×5^2×7
なので、正の約数の個数は
(8+1)×(4+1)×(2+1)×(1+1)=270個です。
No.52443 - 2018/07/31(Tue) 03:20:42
★ 確率論、ボレル関数 / tyu
画像の定理5の証明がわからず質問させていただいてます。
証明を読んでも、何をしているのかがわかりません...

n次元ボレル関数はR^n上のBn可測な関数と定義されています。
Bnはn次元ボレル集合体です。

証明の概要だけでも教えていただきたいです。

はっきりとしていない質問で申し訳ありません。

よろしくお願いいたします。
No.52436 - 2018/07/31(Tue) 01:42:35
☆ Re: 確率論、ボレル関数 / あ
いくつか質問です。

Ωはただの集合ですか？

Xは実数値関数ですか？

σ(X1,...,Xn)可測の定義はどうなっていますか？

(3-8)のステートメントを正確に述べてください。
No.52441 - 2018/07/31(Tue) 02:42:37
☆ Re: 確率論、ボレル関数 / tyu
至らない点が多くあり申し訳ございません。

Ωは空でない集合です。
Xは実数値関数です。

σ(X1,...,Xn)可測、(3-8)は画像にまとめました。
上から
σ(X1,...,Xn)について
可測について
(3-8)について　となっております。

よろしくお願いいたします。
No.52448 - 2018/07/31(Tue) 12:00:24
☆ Re: 確率論、ボレル関数 / あ
証明の概要はテキストに書いてあるので、初めから追って行ってどこが分からないのか教えてもらった王が回答しやすいかと思います。
流石に証明全文を注釈入れながら打ち込むのは面倒ですので。
No.52451 - 2018/07/31(Tue) 17:52:33
★ (No Subject) / しょ
大学の入試問題です。
y=x^4-12x^2+16x上の異なる2点で接する直線の方程式を求めよ。

この問題がわかりません。
教えてください
No.52426 - 2018/07/31(Tue) 00:07:15
☆ Re: / らすかる
y=x^4-12x^2+16xと直線y=f(x)が2点で接するためには
(x^4-12x^2+16x)-f(x)=0が2つの二重(実数)解を持たなければならない。
二つの二重解を持てば、必ず異なる2解を持つ二次式の平方に因数分解できる。
x^4-12x^2+16xの2次以上の項を平方完成すると
x^4-12x^2+16x=(x^2-6)^2+16x-36となるので
(x^4-12x^2+16x)-f(x)が二次式の平方に因数分解できるのは
f(x)=16x-36のときで、(x^4-12x^2+16x)-f(x)=(x^2-6)^2となる。
またx^2-6=0は異なる2解±√6を持つので条件を満たす。
従って求める直線の方程式はy=16x-36。
No.52434 - 2018/07/31(Tue) 01:22:34
★ (No Subject) / 積分
∫dx/(sin^2(x)-4cos^2(x))の不定積分を教えてください。
No.52424 - 2018/07/30(Mon) 23:17:48
☆ Re: / らすかる
t=tanxとおくと答えが出ますが、答えから逆に考えると
∫dx/{(sinx)^2-4(cosx)^2}
=(1/4)∫(cosx+2sinx)/(sinx-2cosx)-(cosx-2sinx)/(sinx+2cosx) dx
=(1/4){log|sinx-2cosx|-log|sinx+2cosx|}+C
=log|(sinx-2cosx)/(sinx+2cosx)|/4+C
のようにストレートで行けることがわかります。
No.52425 - 2018/07/30(Mon) 23:49:00
★ 可測関数　、確率変数 / らむ
可測関数、確率変数の証明の質問です。
画像の⇔を証明したいです。
参考書には線以降が記載されてたのですが、なぜ直ちにわかるかわかりません。

よろしくお願いします。
No.52423 - 2018/07/30(Mon) 23:12:33
☆ Re: 可測関数　、確率変数 / あ
全てのaに対して、{ω|X(ω)≦a}が可測であること(Xが確率変数であること)と{ω|X(ω)<a}が可測であることが同値、なんですか？

それとも{ω|X(ω)≦a}が全てのaに対して成り立つことと、{ω|X(ω)<a}が全てのaに対して成り立つことが同値なんですか？

後者なら本当に自明だと思いますが。
No.52427 - 2018/07/31(Tue) 00:09:54
☆ Re: 可測関数　、確率変数 / あ
「可測であること」が抜けてますね
No.52428 - 2018/07/31(Tue) 00:10:45
☆ Re: 可測関数　、確率変数 / らむ
ご回答ありがとうございまます。
私のミスでした。申し訳ございません。
証明は⇒のみでした。

質問に戻るのですが、
なぜ　∪[n=1→∞]X^(-1)(-∞、a-1/n]∈F　といえるのかわかりません。

自分の予想では条件から、X^(-1)(-∞、a-1/n]∈Fがいえて、σ加法族の性質より∪[n=1→∞]X^(-1)(-∞、a-1/n]∈Fがいえると思っています...
No.52431 - 2018/07/31(Tue) 00:59:46
☆ Re: 可測関数　、確率変数 / あ
ということは、もう一度確認しますが

「{ω|X(ω)≦a}∈Fが全てのaに対して成り立つ」と「{ω|X(ω)<a}∈Fが全てのaに対して成り立つ」が同値

ではなく

全てのaに対して、「{ω|X(ω)≦a}∈F」と「{ω|X(ω)<a}∈F」同値

ということを証明したいのですね？
No.52432 - 2018/07/31(Tue) 01:09:32
☆ Re: 可測関数　、確率変数 / らむ
間違いありません。
No.52433 - 2018/07/31(Tue) 01:17:36
☆ Re: 可測関数　、確率変数 / あ
差し支えなければ、使っている参考書のそのページの画像をそのまま見せてもらえませんか
No.52435 - 2018/07/31(Tue) 01:26:33
☆ Re: 可測関数　、確率変数 / tyu
1枚目、2枚目と続いています。
私が初めに記載していたのは２枚目の上になります。

よろしくお願いします。
No.52437 - 2018/07/31(Tue) 01:57:51
☆ Re: 可測関数　、確率変数 / あ
やはりでしたか。

というと、私が先に提示した

「{ω|X(ω)≦a}∈Fが全てのaに対して成り立つ」と「{ω|X(ω)<a}∈Fが全てのaに対して成り立つ」が同値

と

全てのaに対して、「{ω|X(ω)≦a}∈F」と「{ω|X(ω)<a}∈F」が同値

の違いを把握することが重要かと思われます。



証明については、全てのaに対してX^-1((-∞,a])が可測ですから、特にaをa-1/nとしても可測です。
したがってσ加法族の性質から従うことになります。

{ω|X(ω)≦a}∈Fと{ω|X(ω)<a}∈Fの2つのaは同じものと捉えては危険ということです。
No.52439 - 2018/07/31(Tue) 02:05:08
☆ Re: 可測関数　、確率変数 / らむ
ご回答ありがとうございます。
同様にすれば←も示せるのでしょうか。

全てのaに対してX^-1((-∞,a))が可測ですから、aをa+1/nとしても可測なので…

という感じで。

さらに、なぜ、aをa-1/nにしても可測なのかご教授してほしいです。
No.52450 - 2018/07/31(Tue) 16:51:58
☆ Re: 可測関数　、確率変数 / あ
反対は(-∞,a]=∩(-∞,a+1/n)によります。


その感じだと、論理的な部分が理解できていないのだと思います(測度論とか関係なしの数学の根本の部分です)。

もう少し丁寧に書くことにしましょう。
今示したいのは任意のaに対してX^-1(-∞,a)が可測であることです。
したがってaを1つ任意に「固定して」X^-1(-∞,a)が可測であることを示しましょう。
これを示すにはX^-1(-∞,a-1/n]が任意のnに対して可測であることを示せば十分です。
ところが仮定より任意のbに対してX^-1(-∞,b]は可測なのでした。
特にb=a-1/nとしても可測ですよね？


私の書き込みNo.52439の前半部分を特によく読まれてください。
No.52452 - 2018/07/31(Tue) 18:01:55
☆ Re: 可測関数　、確率変数 / らむ
ご回答ありがとうございます。
非常によく理解できました。
質問が多くなってしまいましたが、毎回回答していただきありがとうございました。
No.52455 - 2018/07/31(Tue) 18:33:40
★ 解いてください / 整数の性質
300!を計算したときの末尾に連続して並ぶ0の個数を求めよ。(わかりやすく答案を作っていただけると幸いです。)
No.52421 - 2018/07/30(Mon) 22:01:33
☆ Re: 解いてください / らすかる
# わかりやすいかどうかは保証できません。

1〜300の中に5の倍数は[300÷5]=60個
5^2の倍数は[60÷5]=12個
5^3の倍数は[12÷5]=2個
なので300!を素因数分解したときの5の指数は60+12+2=74
2の指数はもっと大きいので300!は10でちょうど74回割り切れる。
よって0の個数は74個。
No.52422 - 2018/07/30(Mon) 22:34:56
★ 定積分の定義 / GandB
　何年か前、今の高校では定積分を教えるとき、不定積分で定義することから始めるという話を聞いてびっくりしたことがある。よく確認したところ数?Vでは区分求積法も出てくる。ただ、印象としては「この方法でも定積分が定義できます」よというようなとってつけたような感じがどうにも否めなかった。

　で、質問なのですが・・・・・
　定積分を不定積分で定義することを、高校生に教えるメリットは何なのかということです。この教え方になってすでに20年くらいは経過しているらしく、変更する予定も当面はないと文部科学省あたりが判断しているのであれば、何かメリットがあるはず。

　もはや遠い昔のことになった高校時代、曲面で囲まれた図形の面積を求めるときは、図形を微小矩形に分割し、それを足し合わせればよいということを知ったときは、目の覚めるような感動を覚えたものだけど。
　定積分を最初から不定積分で定義したら、この感動は味わえないのではないか。
No.52415 - 2018/07/30(Mon) 19:33:24
☆ Re: 定積分の定義 / 匿名希望
定積分を原始関数の差として定義するカリキュラムは『数学教育現代化』の中で出現したものでありましょう。今から45年ほど前の出来事と思われます。
『数学教育現代化』は中学・高校の数学を可能な限り論理的に構成しようとするもので、激しい批判を受けるに至った無謀とも思えるチャレンジでありましたが、あえてそれをやろうとする心意気に感銘を受ける高校生もいたのではないかと思います。
No.52429 - 2018/07/31(Tue) 00:13:19
☆ Re: 定積分の定義 / GandB
　丁寧な回答ありがとうございます。
　『数学教育現代化』ですか。その件についてはまったく無知なのですけど、大昔拾い読みした「新修解析学」（梶原壌二）にそんなことが書いてあったような気がします。
No.52444 - 2018/07/31(Tue) 03:50:11
☆ Re: 定積分の定義 / IT
下記（東邦大学教養紀要 「積分概念の導入に関する教科書調査について 高等学校学習指導要領の変遷もふまえて　金子真隆氏）に詳しい説明があります。
　
https://mylibrary.toho-u.ac.jp/webopac/bdyview.do?bodyid=TD28056319&elmid=Body@&fname=28056319.pdf
No.52463 - 2018/07/31(Tue) 19:39:01
☆ Re: 定積分の定義 / 匿名希望
IT様。
興味深い論文をご紹介いただきありがとうございます。
微分積分学の基本定理を積分の定義とするカリキュラムの出現と『数学教育現代化』との関連は極めて薄いとのこと。これと言った根拠もなく、全く個人的な感想・想像を投稿してしまったことを深く反省しておりますが、この論文の著者もまた調査の前にはそのような想定も持っていたと知って、こころなぐさめられる想いであります。
No.52475 - 2018/07/31(Tue) 23:20:34
★ x^x の微分の結果がわからない / rinrin
x^x の微分の結果がx^x(lnx +1)になる理由がわからないです。
x^x をyと置いて画像のように式変形しているのが理解できなく・・・。
特に波線で下線を引いた部分が必要なのが理解できないです。
d(ln y)/dx だけで、ln x^x を微分できるのではと思っています。
No.52405 - 2018/07/30(Mon) 16:33:06
☆ Re: x^x の微分の結果がわからない / らすかる
d(ln y)/dx・dy/dx は
d(ln y)/dy・dy/dx の間違いだと思います。
No.52406 - 2018/07/30(Mon) 16:38:47
★ (ln 2x)’ が1/xになる理由がわからない / rinrin
(ln 2x)’ が1/xになる理由がわからないです。

(ln 2x)’ = (2x)d/dx + ln 2x dy/dx
= 2+1/x になると思いました。
No.52403 - 2018/07/30(Mon) 16:11:53
☆ Re: (ln 2x)’ が1/xになる理由がわからない / らすかる
(f・g)'=f'・g+f・g' は積の微分公式なので
(ln2x)'の微分には使えません。
合成関数の微分公式
(f(g(x)))'=f'(g(x))・g'(x)により
(ln(2x))'=1/(2x)・2=1/xとなります。
No.52407 - 2018/07/30(Mon) 16:40:38
☆ Re: (ln 2x)’ が1/xになる理由がわからない / GandB
> (ln 2x)’ = (2x)d/dx + ln 2x dy/dx
> = 2+1/x になると思いました。

wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww

　ネタだとは思うが、笑わせてもらったのでそのお礼として回答する（笑）。

　　ln2x とは log(2x) のことであるから
　　
　　t = 2x

と置くと y = log(t) なので

　　(log(2x))' = (log(t))' = (dy/dt)(dt/dx) = (1/t)2 = (1/2x)2 = 1/x.
No.52408 - 2018/07/30(Mon) 16:41:16
☆ Re: (ln 2x)’ が1/xになる理由がわからない / 関数電卓
蛇足ながら
(ln(2x))’＝(ln(2)＋ln(x))’＝1/x
　　　　　　　↑定数
>> rinrin さん
垂れ流しのような、質問のしっぱなしはいただけません。
回答者の回答で分からなければ再質問してください。
自分で立てたスレッドは、責任を持って自分で閉じましょう。
No.52419 - 2018/07/30(Mon) 20:52:33
☆ Re: (ln 2x)’ が1/xになる理由がわからない / あ
今までの様子を見ていると結局自分で何も考えてないんだよね
(あるいは実力が使っている参考書のレベルにすら到達できていないか)
学問に対する態度としてあまりにも失礼
最低1時間ぐらい考えてそれで分からなければ質問しろっての
No.52420 - 2018/07/30(Mon) 21:16:42
★ この問題の赤い波線で引かれている部分の式の変形がわからない / rinrin
この問題の赤い波線で引かれている部分の式の変形がわからないです。
どうしてこのように変形できるのでしょうか？
No.52402 - 2018/07/30(Mon) 16:06:59
☆ Re: この問題の赤い波線で引かれている部分の式の変形がわからない / らすかる
○=ln△のときe^○=△ですね。
ですから
○=ln(a^x)のときe^○=a^x、すなわちe^(ln(a^x))=a^xとなります。
理解しにくい場合は、
a^x=e^(ln(a^x))の両辺のlnをとってみれば
一致することがわかると思います。
No.52409 - 2018/07/30(Mon) 16:45:50
全22786件 [ ページ : << 1 ... 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 ... 1140 >> ]