প্রথমত, আমরা সম্ভাব্যতা পরিমাপ করে, শুধু প্রয়োজন হবে না -finiteness। তাই দিন এম = ( Ω , এফ ) একটি পরিমাপযোগ্য স্থান হতে হবে এবং দিন μ এবং ν হতে σ উপর -finite ব্যবস্থা এম ।σএম =(Ω, এফ)μνσএম
রাডন-Nikodym উপপাদ্য বলে যে, যদি সকলের জন্য একটি ∈ এফ , দ্বারা প্রকাশ μ » ν , তারপর সেখানে একটি অ-নেতিবাচক Borel ফাংশন বিদ্যমান চ যেমন যে
ν ( একটি ) = ∫ একজন চμ ( ক ) = ০⟹ν( ক ) = ০A ∈ Fμ » νf
সবার জন্য একটি ∈ এফ ।
ν(A)=∫Afdμ
A∈F
আমি এটি সম্পর্কে ভাবতে পছন্দ করি। প্রথমত, কোনো দুই ব্যবস্থা জন্য , আসুন সংজ্ঞায়িত μ ~ ν করার গড় μ ( একটি ) = 0Mμ∼ν । এটিকে একটি বৈধ সমানতা সম্পর্ক এবং আমরা বলে যে μ এবং ν হয়সমতুল্যএই ক্ষেত্রে। এটি কেন পদক্ষেপগুলির জন্য বোধগম্য সমতুল্য? ব্যবস্থাগুলি কেবলমাত্র ফাংশন তবে তাদের ডোমেনগুলি ভিজ্যুয়ালাইজ করার পক্ষে কৌশলযুক্ত। দুটি সাধারণ ফাংশন এফ , জি : আর → আর এর এই সম্পত্তি যেমন, চ ( এক্স ) = 0 থাকলে কী হবেμ(A)=0⟺ν(A)=0μνf,g:R→R ? ঠিক আছে,
h ( x ) = { f ( x ) / g ( x ) g ( x ) ≠ 0 π e o.w. সংজ্ঞা দিন
এবং মনে রাখবেন সমর্থনে কোথাও ছ আমরা আছে ছ জ = চ , এবং সমর্থনে বাইরে ছ ছ জ = 0 ⋅ পাইয়ের মান ই = 0 = চ (যেহেতু চf(x)=0⟺g(x)=0
h(x)={f(x)/g(x)πeg(x)≠0o.w.
ggh=fg gh=0⋅πe=0=ffএবং
ভাগ সমর্থন করে) তাই
জ আমাদের rescale দেয়
ছ মধ্যে
চ । @Whuber পয়েন্ট আউট হিসাবে, এখানে কী ধারণা নয় যে
0 / 0 একরকম "নিরাপদ" না বা উপেক্ষা করা হয়, বরং যখন
ছ = 0 তারপর এটা কোন ব্যাপার না কি
জ তাই আমরা শুধু ইচ্ছামত সংজ্ঞায়িত করতে পারেন (মত এখানে
π ই হওয়ার বিশেষ কোনও তাত্পর্য নেই) এবং জিনিসগুলি এখনও কাজ করে। এছাড়াও এই ক্ষেত্রে আমরা অনুরূপ ফাংশন নির্ধারণ করতে পারবেন
জ ' দিয়ে
গ্রাম / চ যাতে
চ জ ' = ছ ।
ghgf0/0g=0hπeh′g/ffh′=g
g(x)=0⟹f(x)=0hh′0gfgh=f0
μνfμ∼νμ≫ν
0/00Aμ(A)=010/00/00μ সুতরাং আমরা কেবল আমাদের আরএনডিকে কোনও কিছুই প্রভাবিত না করেই দুর্দান্ত কিছু হতে সংজ্ঞায়িত করতে পারি।
k⋅μ=νk>0
ν(A)=∫Adν=∫Akdμ
f(x)=k=dνdμ
0f(x)=φ(x)+1Q(x)1X
P(X∈A)=∫A(φ+1Q)dλ
=∫Aφdλ+λ(Q)=∫Aφdλ
XXQ0λ
X∼Pois(η)Y∼Bin(n,p)PXPYccc(A)=0⟺A=∅
dPYdPX=dPY/dcdPX/dc=fYfX
সুতরাং আমরা গণনা করতে পারি
PY(A)=∫AdPY
=∫AdPYdPXdPX=∫AdPYdPXdPXdcdc
=∑y∈AdPYdPX(y)dPXdc(y)=∑y∈AfY(y)fX(y)fX(y)=∑y∈AfY(y).
P(X=n)>0nY
P≪QμdPdQ=dP/dμdQ/dμ:=p/q