条件付確率密度関数

確率変数XとYが,
単位円内 x^2+y^2<1
で一様分布をなすとき、
条件付確率密度関数f(x|y)を求めよ。

という問題をできるだけ細かく回答してほしいのですが、
できれば加えて、自分でやった場合に、
f(x,y)=x^2+y^2
として、確率密度関数であるための条件、
∫(∫f(x,y)dx)dy=1
に代入したのですが、成り立ちません。これは、なぜでしょうか？
よろしくお願いします．

No.1 回答者： Zincer 回答日時： 2001/08/09 13:58

ど素人の疑問点を１つ

「一様分布」と言うことは、その範囲内では一定と言うことではないのでしょうか？
＞f(x,y)=x^2+y^2
＞として、．．．
これって明らかにｘとｙに依存していませんか？

No.2 回答者： siegmund 回答日時： 2001/08/09 14:30

ヒントだけ．

確率密度に誤解がないでしょうか？

f(x|y) は確率変数 Y が y という値をとったという条件の下で，
確率変数 X が x という値をとる確率密度，という意味ですね．

> f(x,y)=x^2+y^2
とすると(f(x|y) のつもり？)，y = 0，つまり Y が 0 という値を取ったときに，
X が 0 という値を取る確率密度が 0，
X が 1 という値を取る確率密度が 1，
になってしまいます．
単位円内の一様分布というのですから，どこかおかしいですね．

あ，Zincer さんも同じ意味のこと書かれていますね．

No.3 回答者： noname#2380 回答日時： 2001/08/15 01:19

初めまして、blue_monkeyと言います。

以下の手順に沿ってコメントさせていただきます。
【1　条件付き確率】
【２　1変数の一様分布】（No1,No2のアドバイスを参照して下さい。）
【３　変形問題１】
【４　変形問題２】
【１】、【２】の内容は、ご存じかもしれませんので、読み捨てていただければ
幸いです。
単位円内の一様分布に対する問題に対する直接コメントではありませんが、【３】、【４】を導出の手がかりにしていただければ幸いです。
*************************************
*************************************
【1　条件付き確率】
確率事象ＡとBを考える。このとき、事象Bが起きたとき、事象Aの起きる条件付
き確率P(A|B)は、
P(A|B)=P(A∩B）/P(B)
で与えられます。
*************************************
*************************************
【２　1変数の一様分布】
確率変数xが-a～a（aは正の実数）で一様分布であるとき、確率密度関数p(x)は

∫p(x) dx=1

一様分布なので、p(x)は確率変数xによらず一定の確率となります。この一定値をNと置くと、

N*2*a=1

p(x)=N=1/(2*a)

となります。
*****************************************
*****************************************
【３　変形問題１】

【１】及び【２】の結果を基に、変形問題1を考えます。
-a≦x≦a
-b≦y≦b
の長方形領域で一様分布するとき、ｙ=y1(-b≦y1≦b)の時の条件付き確率
p（x|y)の導出を考えます。

p(y=y1)=(2*a)/(2*a*2*b)=1/(2*b)

p(x∩y)=1/(2*a*2*b)

よって　、条件付き確率p(x|y=y1)は、

p(x|y)=[1/(2*b)]/[1/(2*a*2*b)]=1/(2*a)
*****************************************
*****************************************
【４　変形問題２】
(-a,0)、(a,0)、(0,b)
の3点を頂点とする三角形領域で一様分布するとき、ｙ=y1(0≦y1≦b)の時の
条件付き確率p（x|y)の導出を考えます。
p(y=y1)=[(b-y1)/b*2*a]/(a*b)

p(x∩y)=1/(a*b)

よって　、条件付き確率p(x|y=y1)は、

p(x|y=y1)=b/[(b-y1)*2*a]

注：y=y1のときx=-a*(b-y1)/b～a*(b-y1)/b


以上

誤記、誤計算、間違いがあったらゴメンナサイ。