আমরা এটির জন্য বিভিন্ন পন্থা নিতে পারি, যার মধ্যে কিছু কিছু লোকের কাছে স্বজ্ঞাত এবং অন্যের কাছে স্বজ্ঞানের চেয়ে কম মনে হয়। এ জাতীয় ভিন্নতা সামঞ্জস্য করার জন্য, এই উত্তরটি গাণিতিক চিন্তার প্রধান বিভাগগুলি বিশ্লেষণ (অসীম এবং অনন্ত), জ্যামিতি / টোপোলজি (স্থানিক সম্পর্ক) এবং বীজগণিতকে (প্রতীকী ম্যানিপুলেশনের আনুষ্ঠানিক নিদর্শন) কভার করে এমন বেশ কয়েকটি পদ্ধতির জরিপ করে - সম্ভাবনা নিজেই। এটি একটি পর্যবেক্ষণে এসে পৌঁছায় যা চারটি পন্থাকেই এক করে দেয়, প্রদর্শিত হয় যে এখানে একটি আসল প্রশ্নের উত্তর দেওয়া উচিত এবং সমস্যাটি ঠিক কী তা দেখায়। প্রতিটি পদ্ধতি তার নিজস্ব উপায়ে স্বাধীন ইউনিফর্ম ভেরিয়েবলের যোগফলগুলির সম্ভাব্যতা বন্টন ফাংশনের আকারগুলির প্রকৃতির গভীরতর অন্তর্দৃষ্টি সরবরাহ করে।
পটভূমি
ইউনিফর্ম বন্টন[0,1] বিভিন্ন মৌলিক বিবরণ রয়েছে। যখন এর যেমন বিতরণ হয়,X
একটি পরিমাপযোগ্য সেট A এ থাকা সুযোগটি কেবল A ∩ [ 0 , 1 ] এর পরিমাপ (দৈর্ঘ্য) , লিখিত | এ ∩ [ 0 , 1 ] | ।XAA∩[0,1]|A∩[0,1]|
এটি থেকে এটি তাত্ক্ষণিকভাবে ক্রম বিতরণ ফাংশন (সিডিএফ) হয়
FX(x)=Pr(X≤x)=|(−∞,x]∩[0,1]|=|[0,min(x,1)]|=⎧⎩⎨⎪⎪0x1x<00≤x≤1x>1.
সম্ভাব্যতা ঘনত্ব ফাংশন (পিডিএফ), যা সিডিএফ এর ডেরাইভেটিভ, জন্য এবং অন্যথায়। (এটি এবং ))0 ≤ x ≤ 1 চ এক্স ( এক্স ) = 0 0 1fX(x)=10≤x≤1fX(x)=001
চরিত্রগত কার্যাদি (বিশ্লেষণ) থেকে অনুভূতি
চরিত্রগত ফাংশন কোনো এলোপাতাড়ি ভেরিয়েবলের (সিএফ) প্রত্যাশা হয় (যেখানে কাল্পনিক একক, )। অভিন্ন বিতরণের পিডিএফ ব্যবহার করে আমরা গণনা করতে পারিএক্সপ্রেস ( আই টি এক্স ) আমি আই = 2 - 1Xexp(itX)ii2=−1
ϕX(t)=∫∞−∞exp(itx)fX(x)dx=∫10exp(itx)dx=exp(itx)it∣∣∣x=1x=0=exp(it)−1it.
সিএফ হ'ল পিডিএফটির ফুরিয়ার রূপান্তর, । ফুরিয়ার রূপান্তর সম্পর্কে সর্বাধিক প্রাথমিক উপপাদ্যগুলি হ'ল:ϕ(t)=f^(t)
স্বাধীন ভেরিয়েবলের যোগফলের সিএফ তাদের সিএফগুলির পণ্য theX+Y
যখন মূল পিডিএফ অবিচ্ছিন্ন থাকে এবং সীমাবদ্ধ থাকে, তখন ফিউরিয়ার ট্রান্সফর্মের ঘনিষ্ঠভাবে সম্পর্কিত সংস্করণ দ্বারা সিএফ থেকে পুনরুদ্ধার করা যেতে পারে ,এক্স ফ ϕfXfϕ
f(x)=ϕˇ(x)=12π∫∞−∞exp(−ixt)ϕ(t)dt.
যখন হয়, এর ডেরাইভেটিভটি অবিচ্ছেদ্য চিহ্নের আওতায় গণনা করা যায়:f
f′(x)=ddx12π∫∞−∞exp(−ixt)ϕ(t)dt=−i2π∫∞−∞texp(−ixt)ϕ(t)dt.
এটি ভাল সংজ্ঞায়িত করার জন্য, সর্বশেষ অবিচ্ছেদ্য অবশ্যই একেবারে রূপান্তর করতে হবে; এটাই,
∫∞−∞|texp(−ixt)ϕ(t)|dt=∫∞−∞|t||ϕ(t)|dt
সীমাবদ্ধ মানতে রূপান্তর করতে হবে। বিপরীতভাবে, যখন এটি রূপান্তরিত হয়, ডাইরিভেটিভ এই বিপরীত সূত্রগুলির গুণাবলী দ্বারা সর্বত্র বিদ্যমান।
এখন এটা স্পষ্ট ঠিক কিভাবে differentiable একটি সমষ্টি জন্য পিডিএফ অভিন্ন ভেরিয়েবল হল: প্রথম বুলেট থেকে IID ভেরিয়েবল সমষ্টি সিএফ তাদের এক উত্থাপিত সিএফ হয় শক্তি, এখানে সমান । । অংকটি সীমাবদ্ধ (এটি সাইন ওয়েভ নিয়ে গঠিত) এবং ডিনোমিনেটর । আমরা by দ্বারা এই জাতীয় সংখ্যাকে বহুগুণ করতে পারি এবং এবং শর্তসাপেক্ষে রূপান্তরিত হওয়ার পরে এটি একেবারে রূপান্তরিত হবে । সুতরাং, তৃতীয় বুলেটের বারবার প্রয়োগ দেখায় যে ইউনিফর্ম ভেরিয়েটের যোগফলের জন্য পিডিএফ অবিচ্ছিন্নভাবেnnth(exp(it)−1)n/(it)nO(tn)tss<n−1s=n−1nn−2সময়গুলি পার্থক্যযোগ্য এবং বেশিরভাগ জায়গায় এটি গুন পৃথক হতে পারে ।n−1
নীল শেডযুক্ত বক্ররেখা আইড ইউনিফর্মের পরিবর্তনের যোগফলের সিএফের আসল অংশের নিখুঁত মানটির লগ-লগ প্লট । ড্যাশযুক্ত লাল রেখাটি একটি অসম্পূর্ণ; এর ope , পিডিএফ গুণ পার্থক্যযুক্ত দেখায় । রেফারেন্সের জন্য, ধূসর বক্ররেখা অনুরূপ আকারের গাউসিয়ান ফাংশন (একটি সাধারণ পিডিএফ) এর জন্য সিএফের আসল অংশ প্লট করে।n=10−1010−2=8
সম্ভাবনা থেকে অন্তর্দৃষ্টি
যাক এবং স্বাধীন র্যান্ডম ভেরিয়েবল যেখানে হতে একটি অভিন্ন হয়েছে বন্টন। একটি সংকীর্ণ বিরতি বিবেচনা করুন । যে সুযোগটি এই ব্যবধানের সময়ের কাছাকাছি পর্যায়ে রয়েছে সেই সুযোগটি ঠিক সঠিক মাপের সাথে আমরা দিই জায়গা এই ব্যবধান দেওয়া যে ঘনিষ্ঠ যথেষ্ট:YXX[0,1](t,t+dt]X+Y∈(t,t+dt]YXX+YY
fX+Y(t)dt=Pr(X+Y∈(t,t+dt])=Pr(X+Y∈(t,t+dt]|Y∈(t−1,t+dt])Pr(Y∈(t−1,t+dt])=Pr(X∈(t−Y,t−Y+dt]|Y∈(t−1,t+dt])(FY(t+dt)−FY(t−1))=1dt(FY(t+dt)−FY(t−1)).
এর পিডিএফ এর এক্সপ্রেশন থেকে চূড়ান্ত সাম্যতা আসে । উভয় পক্ষকে দ্বারা এবং সীমাটি দেওয়াXdtdt→0
fX+Y(t)=FY(t)−FY(t−1).
অন্য কথায়, একটি অভিন্ন যোগ পরিবর্তনশীল থেকে কোন পরিবর্তনশীল পরিবর্তন পিডিএফ একটি differenced সিডিএফ মধ্যে । কারণ পিডিএফ সিডিএফ ডেরিভেটিভ, এই যে বোঝা প্রতিটি সময় আমরা একটি স্বাধীন অভিন্ন পরিবর্তনশীল যোগ , ফলে পিডিএফ এক সময় আরো আগের চেয়ে differentiable হয়।[0,1]XYfYFY(t)−FY(t−1)Y
ইউনিফর্ম ভেরিয়েবল দিয়ে শুরু করে এই অন্তর্দৃষ্টিটি প্রয়োগ করি । মূল পিডিএফ বা এ পার্থক্যযোগ্য নয় : এটি সেখানে বিচ্ছিন্ন। পিডিএফ এ differentiable নয় , , বা , কিন্তু এটা সেই বিন্দুতে একটানা হতে হবে কারণ এটি PDF এর ইন্টেগ্রাল এর পার্থক্য নেই । অন্য স্বাধীন অভিন্ন পরিবর্তনশীল যোগ : এর পিডিএফ হয় এ differentiable , , , এবং এটা অগত্যা নেই --but দ্বিতীয়Y01Y+X012YX2Y+X+X2 0123এই পয়েন্টগুলিতে ডেরিভেটিভস। ইত্যাদি।
জ্যামিতি থেকে অন্তর্দৃষ্টি
এ সিডিএফ একটি সমষ্টি এর IID অভিন্ন variates ইউনিট hypercube ভলিউম সমান অর্ধ স্থান মধ্যে মিথ্যা । অবস্থা variates এখানে প্রদর্শিত হয়, সঙ্গে এ সেট , , এবং তারপর ।tn[0,1]nx1+x2+⋯+xn≤tn=3t1/23/25/2
হিসাবে থেকে অগ্রগতি মাধ্যমে , hyperplane ক্রস ছেদচিহ্ন এ , । প্রতিটি সময়ে ক্রস বিভাগের আকার পরিবর্তিত হয়: চিত্রটিতে এটি প্রথমে একটি ত্রিভুজ (একটি সিম্প্লেক্স), তারপরে একটি ষড়ভুজ, তারপরে আবার একটি ত্রিভুজ। পিডিএফ এই মানগুলিতে তীক্ষ্ণ নমন করে না কেন ?t0nHn(t):x1+x2+⋯+xn=tt=0t=1,…,t=n2t
এটি বুঝতে, প্রথমে ছোট মানগুলি বিবেচনা করুন । এখানে হাইপারপ্লেন একটি -সিম্প্লেক্স কেটে দেয় । সকল সিমপ্লেক্স এর মাত্রা হয় সরাসরি সমানুপাতিক করতে , কোথা তার "এলাকা" সমানুপাতিক হয় । এর জন্য কিছু স্বরলিপি পরে কাজে আসবে। যাক হতে "ইউনিট পদক্ষেপ ফাংশন,"tHn(t)n−1n−1ttn−1θ
θ(x)={01x<0x≥0.
যদি এটি হাইপারকিউবের অন্য কোণগুলির উপস্থিতি না হয় তবে এই স্কেলিং অনির্দিষ্টকালের জন্য অবিরত থাকবে। সিমপ্লেক্সের ক্ষেত্রফলের একটি প্লট নীচের শক্ত নীল বক্ররেখার মতো দেখতে লাগবে: এটি নেতিবাচক মানগুলিতে শূন্য এবং সমানইতিবাচক একটিতে, স্বাচ্ছন্দ্যে লিখিত। এটির উত্সটিতে অর্ডার এর একটি "কিঙ্ক" রয়েছে , এই অর্থে যে অর্ডার মাধ্যমে সমস্ত ডেরাইভেটিভ বিদ্যমান এবং ক্রমাগত রয়েছে তবে অর্ডার এর বাম এবং ডান ডেরিভেটিভ উপস্থিত রয়েছে তবে উত্সটিতে একমত নয় ।n−1tn−1/(n−1)!θ(t)tn−1/(n−1)!n−2n−3n−2
(এই চিত্রটিতে প্রদর্শিত অন্যান্য বক্ররেখাগুলি (লাল), (সোনার), এবং (কালো)। ক্ষেত্রে তাদের ভূমিকা আরও নীচে আলোচনা করা হয়েছে।)−3θ(t−1)(t−1)2/2!3θ(t−2)(t−2)2/2!−θ(t−3)(t−3)2/2!n=3
অতিক্রম করলে কী হয় তা বুঝতে , আসুন বিশদভাবে পরীক্ষা করে দেখি , যেখানে সমস্ত জ্যামিতি একটি বিমানে ঘটে। চতুর্ভুজগুলির রৈখিক সংমিশ্রণ হিসাবে আমরা ইউনিটটি "কিউব" (এখন কেবলমাত্র একটি বর্গক্ষেত্র) দেখতে পাচ্ছি, এখানে দেখানো হয়েছে:t1n=2
প্রথম চতুর্ভুজটি ধূসরতে নীচের বাম প্যানেলে উপস্থিত হয়। পাঁচটির প্যানেলে প্রদর্শিত তির্যক রেখা নির্ধারণ করে এর মান হয় । সিডিএফ ডানদিকে দেখানো হলুদ অঞ্চল সমান। এই হলুদ অঞ্চলটি সমন্বিত:t1.5
নীচের বাম প্যানেলে ত্রিভুজাকার ধূসর অঞ্চল,
উপরের বাম প্যানেলে ত্রিভুজাকার সবুজ অঞ্চলটি বিয়োগ করুন,
নিম্ন মধ্য প্যানেলে ত্রিভুজাকার লাল অঞ্চলটি বিয়োগ করুন,
প্লাস উচ্চ মধ্যম প্যানেলে কোন নীল এলাকা (কিন্তু সেখানে নেই কোন এলাকা, কিংবা যতক্ষণ না থাকবে ছাড়িয়ে গেছে )।t2
এই প্রত্যেকেরই একটি ত্রিভুজের ক্ষেত্র। প্রথম এক দাঁড়িপাল্লা মত , পরবর্তী দুই জন্য শূন্য এবং অন্যথায় মত স্কেল , এবং শেষ জন্য শূন্য এবং অন্যথায় মতো স্কেলগুলি । এই জ্যামিতিক বিশ্লেষণটি প্রতিষ্ঠিত করেছে যে সিডিএফটি সমানুপাতিক = ; ; সমানভাবে, পিডিএফ তিনটি ফাংশনের যোগফলের সমানুপাতিক , , এবং2n=4tn=t2t<1(t−1)n=(t−1)2t<2(t−2)nθ(t)t2−θ(t−1)(t−1)2−θ(t−1)(t−1)2+θ(t−2)(t−2)2θ(t)t2−2θ(t−1)(t−1)2+θ(t−2)(t−2)2θ(t)t−2θ(t−1)(t−1)θ(t−2)(t−2)( এগুলির প্রত্যেকটি যখন রৈখিকভাবে স্কেলিং করে )। এই চিত্রের বাম প্যানেলটি তাদের গ্রাফগুলি দেখায়: স্পষ্টতই, তারা মূল গ্রাফের সমস্ত সংস্করণ ta থিতা , তবে (ক) , , এবং ইউনিট দ্বারা ডানদিকে স্থানান্তরিত হয়েছে এবং (খ) দ্বারা উদ্ধার হয়েছে , , এবং যথাক্রমে।n=2θ(t)t0121−21
ডান প্যানেলটি এই গ্রাফগুলির সংমিশ্রণটি দেখায় (শক্ত কালো বক্ররেখা, ইউনিটের ক্ষেত্রফল হিসাবে সাধারণত: এটি মূল প্রশ্নের মধ্যে নিখুঁতভাবে কৌনিক দেখাচ্ছে পিডিএফ)।
এখন আমরা আইডি ইউনিফর্ম ভেরিয়েবলের যোগফলের পিডিএফে "কিঙ্কস" এর প্রকৃতিটি বুঝতে পারি। তারা সব ঠিক "গিরা" যে ঘটে মত ফাংশনে , সম্ভবত rescaled এবং পূর্ণসংখ্যার স্থানান্তরিত যেখানে hyperplane সংশ্লিষ্ট অতিক্রম করে। জন্য , এই দিক একটি দৃশ্যমান পরিবর্তন: ডান ব্যুৎপন্ন এ হয় যখন তার বাম ব্যুৎপন্ন হয় । জন্য এটি একটি অবিচ্ছিন্ন0θ(t)tn−11,2,…,nHn(t)n=2θ(t)t001n=3দিক পরিবর্তন, কিন্তু দ্বিতীয় ডেরাইভেটিভে হঠাৎ (বিচ্ছিন্ন) পরিবর্তন। সাধারণ , অর্ডার মাধ্যমে অবিচ্ছিন্ন ডেরাইভেটিভস থাকবে তবে ডেরিভেটিভের মধ্যে একটি বিচ্ছিন্নতা থাকবে ।nn−2n−1st
বীজগণিত ম্যানিপুলেশন থেকে অনুভূতি
সিএফ গণনা করার সংহতকরণ, সম্ভাব্য বিশ্লেষণে শর্তসাপেক্ষ সম্ভাবনার রূপ, এবং চতুর্ভুজগুলির একরৈখিক রৈখিক সংশ্লেষ হিসাবে হাইপারকিউবের সংশ্লেষণ সমস্তই মূল ইউনিফর্ম বিতরণে ফিরে আসার এবং সহজ জিনিসগুলির রৈখিক সংমিশ্রণ হিসাবে পুনরায় প্রকাশ করার পরামর্শ দেয় । প্রকৃতপক্ষে, এর পিডিএফ লেখা যেতে পারে
fX(x)=θ(x)−θ(x−1).
আমাদের শিফট অপারেটর পরিচয় করিয়ে দিন : এটা কোন ফাংশন উপর কাজ করে অধিকার তার গ্রাফ এক ইউনিট নাড়াচাড়া দ্বারা:Δf
(Δf)(x)=f(x−1).
সাধারণভাবে, তারপরে, ইউনিফর্ম ভেরিয়েবল আমরা লিখতে পারিX
fX=(1−Δ)θ.
একটি সমষ্টি এর পিডিএফ IID ইউনিফর্ম সংবর্তন হয় নিজেই সঙ্গে বার। এই র্যান্ডম ভেরিয়েবল একটি সমষ্টি সংজ্ঞা থেকে অনুসরণ করে: সংবর্তন দুই ফাংশন এবং ফাংশনnfXnfg
(f⋆g)(x)=∫∞−∞f(x−y)g(y)dy.
Verify দিয়ে কনভোলশন কমিট তা যাচাই করা সহজ । কেবল থেকে সংহতকরণের পরিবর্তনশীলটি পরিবর্তন করুন :Δyy+1
(f⋆(Δg))=∫∞−∞f(x−y)(Δg)(y)dy=∫∞−∞f(x−y)g(y−1)dy=∫∞−∞f((x−1)−y)g(y)dy=(Δ(f⋆g))(x).
আইড ইউনিফর্মগুলির যোগফলের পিডিএফের জন্য, আমরা এখন বীজগণিতভাবে লিখতে এগিয়ে যেতে পারিn
f=f⋆nX=((1−Δ)θ)⋆n=(1−Δ)nθ⋆n
(যেখানে "শক্তি" বারবার সমঝোতা বোঝায়, পয়েন্টওয়াইজ গুণফল নয়!)। এখন হ'ল একটি সরাসরি, প্রাথমিক ইন্টিগ্রেশনθ ⋆ n⋆nθ⋆n
θ⋆n(x)=θ(x)xn−1n−1!.
বাকীটি বীজগণিত, কারণ দ্বিপদী উপপাদ্য প্রযোজ্য (যেমন এটি বাস্তবের তুলনায় যে কোনও পরিবর্তনশীল বীজগণিতের ক্ষেত্রে রয়েছে):
f=(1−Δ)nθ⋆n=∑i=0n(−1)i(ni)Δiθ⋆n.
কারণ নিছক তার যুক্তি দ্বারা বদল , এই চিত্র প্রদর্শনীতেও পিডিএফ এর স্থানান্তরিত সংস্করণ একটি রৈখিক সংমিশ্রন হিসেবে , ঠিক আমরা জ্যামিতিক অনুমিত হিসাবে:Δiifθ(x)xn−1
f(x)=1(n−1)!∑i=0n(−1)i(ni)(x−i)n−1θ(x−i).
(জন কুক তার ব্লগ পোস্টে এই সূত্রটি উদ্ধৃত করে for ।(x−i)n−1+(x−i)n−1θ(x−i)
তদনুসারে, everywhere সর্বত্র একটি মসৃণ ফাংশন, পিডিএফের যে কোনও একক আচরণ কেবলমাত্র সেই জায়গাগুলিতেই ঘটবে যেখানে একক (স্পষ্টত মাত্র ) এবং সেই জায়গাগুলিতে দ্বারা ডানদিকে স্থানান্তরিত । সেই একক আচরণের প্রকৃতি - মসৃণতার ডিগ্রি - সুতরাং সমস্ত অবস্থানের ক্ষেত্রে একই হবে ।xn−1θ(x)01,2,…,nn+1
এটি উদাহরণস্বরূপ , যা (বাম প্যানেলে) যোগফলের পৃথক পদগুলি এবং (ডান প্যানেলে) আংশিক অঙ্কগুলি দেখায়, যোগফলটি নিজেই শেষ হয় (শক্ত কালো বাঁকানো):n=8
মন্তব্য বন্ধ
এটি লক্ষণীয় যে এই শেষ পদ্ধতির অবশেষে আইড ইউনিফর্ম ভেরিয়েবলের যোগফলের পিডিএফ কম্পিউটিংয়ের জন্য একটি কমপ্যাক্ট, ব্যবহারিক অভিব্যক্তি পাওয়া গেছে । (সিডিএফের জন্য একটি সূত্র একইভাবে প্রাপ্ত))n
কেন্দ্রীয় সীমাবদ্ধ উপপাদ্যটি এখানে খুব কমই বলেছে। সর্বোপরি, আইআইডি দ্বিপদী ভেরিয়েবলগুলির একটি যোগফল একটি সাধারণ বিতরণে রূপান্তরিত করে তবে এই যোগফলটি সর্বদা বিযুক্ত হয়: এটির কোনও পিডিএফ কখনও হয় না! সিএলটি থেকে আগত "কিঙ্কস" বা পিডিএফের স্বতন্ত্রতার অন্যান্য পদক্ষেপের সম্পর্কে আমাদের কোনও অন্তর্নিহনের আশা করা উচিত নয়।