যাক একটি সম্ভাব্যতা স্থান হতে। সংজ্ঞা দুই র্যান্ডম ভেরিয়েবল দ্বারা স্বাধীন যদি তাদের -algebras এবং স্বাধীন, অর্থাৎ আমাদের ।(Ω,F,P)X,Y:Ω→RσSX:=σ(X)SY:=σ(Y)∀A∈SX,B∈SYP(A∩B)=P(A)P(B)
আসুন এবং (gra ম্যাথবিবি যথেষ্ট হয়েছে তা নির্দেশ করার জন্য @ গ্রান্ড_চ্যাটকে ধন্যবাদ) take তারপরে আমাদের
এবং
ga(x)=I(x≤a)G={ga:a∈Q}Q
E(ga(X)gb(Y))=E(I(X≤a)I(Y≤b))=E(I(X≤a,Y≤b))=P(X≤a∩Y≤b)
E(ga(X))E(gb(Y))=P(X≤a)P(Y≤b).
যদি আমরা ধরে নিই যে
তবে আমরা তে আবেদন করতে পারি উপপাদ্যটি দেখানোর জন্য যে
অর্থাৎ ।∀a,b∈Q
P(X≤a∩Y≤b)=P(X≤a)P(Y≤b)
π−λP(A∩B)=P(A)P(B)∀A∈SX,B∈SY
X⊥Y
সুতরাং আমি যদি কোনও ভুল না করি তবে আমরা কমপক্ষে এই জাতীয় ফাংশনগুলির একটি গণনাযোগ্য সংগ্রহ পেয়েছি এবং এটি সাধারণ সম্ভাবনার জায়গার উপরে নির্ধারিত যেকোন জোড়া এলোমেলো ভেরিয়েবলের ক্ষেত্রে প্রযোজ্য।