चलो (Ω,F,P)संभावना स्थान हो। परिभाषा के अनुसार दो यादृच्छिक चरX,Y:Ω→R स्वतंत्र हैं अगर उनके σ-algebras SX:=σ(X) तथा SY:=σ(Y) स्वतंत्र हैं, अर्थात ∀A∈SX,B∈SY हमारे पास है P(A∩B)=P(A)P(B)।
चलो ga(x)=I(x≤a) और ले लो G={ga:a∈Q} (इस ओर इशारा करने के लिए @grand_chat को धन्यवाद Qsuffices)। तो हमारे पास हैं
इ(जीए( एक्स))जीख( य) ) = ई( मैं( एक्स)≤ एक ) मैं( य≤ बी ) ) = ई( मैं( एक्स)≤ एक , Y≤ बी ) )= पी( एक्स)≤ एक ∩ Y≤ बी )
तथा
इ(जीए( एक्स)) ) ई(जीख( य) ) = पी( एक्स)≤ एक ) पी( य≤ बी ) ।
अगर हम ऐसा मान लें ∀ ए , बी ∈ क्यू
पी( एक्स)≤ एक ∩ Y≤ ख ) = पी( एक्स)≤ एक ) पी( य≤ बी )
तो हम अपील कर सकते हैं
π- λयह दिखाने के लिए
प्रमेयपी( ए ∩ बी ) = पी( ए ) पी( बी )∀ एक ∈एसएक्स, बी ∈एसY
अर्थात
एक्स⊥ Y।
इसलिए जब तक मैंने कोई गलती नहीं की है, तब तक हमें कम से कम ऐसे कार्यों का एक संग्रहणीय संग्रह मिल गया है और यह किसी भी सामान्य संभावना स्थान पर परिभाषित यादृच्छिक चर के किसी भी जोड़े पर लागू होता है।