কীভাবে প্রমাণ করতে হয় যে


9

আমি বৈষম্য প্রতিষ্ঠার চেষ্টা করে যাচ্ছি

|Ti|=|XiX¯|Sn1n

যেখানে হ'ল নমুনা গড় এবং নমুনা স্ট্যান্ডার্ড বিচ্যুতি, সেটি হ'ল ।X¯SS=i=1n(XiX¯)2n1

এটি দেখতে সহজ এবং তাই তবে এটি আমি যা খুঁজছিলাম তার খুব কাছাকাছি নয় বা এটি একটি দরকারী সীমাবদ্ধও নয়। আমি কাউচি-শোয়ার্জ এবং ত্রিভুজ বৈষম্য নিয়ে পরীক্ষা-নিরীক্ষা করেছি কিন্তু কোথাও গিয়েছি না। একটি সূক্ষ্ম পদক্ষেপ থাকতে হবে যা আমি কোথাও মিস করছি। আমি কিছু সাহায্য প্রশংসা করব, আপনাকে ধন্যবাদ।i=1nTi2=n1|Ti|<n1

উত্তর:


10

এটি স্যামুয়েলসনের অসমতা এবং এটির জন্য চিহ্ন প্রয়োজন। আপনি যদি উইকিপিডিয়া সংস্করণটি গ্রহণ করেন এবং এর সংজ্ঞার জন্য এটি পুনরায় কাজ করেন তবে আপনি দেখতে পাবেন যে এটিn1S,

|XiX¯|Sn1n

এটি বইতে একটি কঠোর বৈষম্য হিসাবে দেওয়া হয়েছে তবে আমি এটি স্থির করেছি, ধন্যবাদ।
জনক

5

রুটিন প্রক্রিয়াগুলির মাধ্যমে সমস্যাটি সহজ করার পরে, এটি একটি দ্বৈত মিনিমাইজেশন প্রোগ্রামে রূপান্তর করে সমাধান করা যেতে পারে যার প্রাথমিক প্রমাণ সহ সুপরিচিত উত্তর রয়েছে। সম্ভবত এই দ্বৈতকরণটি প্রশ্নটিতে উল্লিখিত "সূক্ষ্ম পদক্ষেপ"। সর্বাধিক করে খাঁটি যান্ত্রিক পদ্ধতিতেও এই বৈষম্য প্রতিষ্ঠা করা যায় লাগরেঞ্জ মাল্টিপ্লায়ার্সের মাধ্যমে|Ti|

প্রথমত, আমি কমপক্ষে স্কোয়ারের জ্যামিতির উপর ভিত্তি করে আরও মার্জিত সমাধান অফার করি। এটির কোনও প্রাথমিক সরলকরণ প্রয়োজন নেই এবং প্রায় তাত্ক্ষণিকভাবে, ফলাফলটিতে সরাসরি স্বীকৃতি সরবরাহ করে। প্রশ্নে প্রস্তাবিত হিসাবে, সমস্যা কচী-শোয়ার্জ বৈষম্য হ্রাস করে।


জ্যামিতিক সমাধান

বিবেচনা করুন একটি হিসাবে স্বাভাবিক ডট পণ্যের সাথে ইউক্লিডিয় স্থান -dimensional ভেক্টর। যাক হতে ভিত্তিতে ভেক্টর এবং । লিখন এবং এর লম্ব অনুমান জন্য এবং এর লম্ব সম্পূরক মধ্যে । (পরিসংখ্যানগত পরিভাষায়, তারা উপায়গুলির সম্মানের সাথে অবশিষ্টাংশ)) তারপরে এবংx=(X1,X2,,Xn)ny=(0,0,,0,1,0,,0)ith1=(1,1,,1)x^y^xy1XiX¯=x^yS=||x^||/n1 ,

|Ti|=n1|x^y|||x^||=n1|x^y^|||x^||

এর উপাদান মধ্যে দিক। কৌচি-শোয়ার্জের দ্বারা, সমান্তরাল হলে এটি সর্বাধিক বাড়ানো হয় , যার জন্য QED।y^x^x^y^=(1,1,,1,n1,1,1,,1)/n

Ti=±n1y^y^||y^||=±n1||y^||=±n1n,

ঘটনাচক্রে, এই সমস্ত ক্ষেত্রেই যেখানে টি বৈশিষ্ট্য সরবরাহ করে সর্বাধিক: এগুলি সমস্ত ফর্ম|Ti|

x=σy^+μ1=σ(1,1,,1,n1,1,1,,1)+μ(1,1,,1)

সমস্ত আসল ।μ,σ

এই বিশ্লেষণটি সেই ক্ষেত্রে সহজেই সাধারণীকরণ করে যেখানে কোনও রেজিস্ট্রার দ্বারা প্রতিস্থাপন করা হয়। স্পষ্টরূপে সর্বোচ্চ এর অবশিষ্ট দৈর্ঘ্য সমানুপাতিক ,।{1}Tiy||y^||


সরলীকরণ

যেহেতু স্থান এবং স্কেলের পরিবর্তনের অধীনে , তাই আমরা যোগফল শূন্য এবং তাদের স্কোয়ারগুলি সমষ্টিগত কোনও ক্ষতি ছাড়াই ধরে নিতে পারি । এটি সনাক্ত করেসাথে, যেহেতু (গড় বর্গ) । এটি সর্বাধিকীকরণ করা সর্বাধিকের সমপরিমাণ । বিনিময়যোগ্য হওয়ায় গ্রহণ করে কোনও সাধারণতা ।TiXin1|Ti||Xi|S1|Ti|2=Ti2=Xi2i=1Xi


দ্বৈত গঠনের মাধ্যমে সমাধান

একটি দ্বৈত সমস্যা মান ঠিক হয় এবং অবশিষ্ট কি মান জিজ্ঞাসা প্রয়োজন হয় কমান বর্গের সমষ্টি দেওয়া যে । কারণ দেওয়া হয়, এই কমানোর এর সমস্যা দেওয়া যে ।X12Xj,j1j=1nXj2j=1nXj=0X1j=2nXj2j=2nXj=X1

সমাধানটি বিভিন্ন উপায়ে সহজেই পাওয়া যায়। সর্বাধিক প্রাথমিক একটি লিখতে হয়

Xj=X1n1+εj, j=2,3,,n

যার জন্য । উদ্দেশ্য ফাংশনটি প্রসারিত করা এবং এটিকে সহজ করার জন্য এই সমষ্টি থেকে শূন্যের পরিচয় ব্যবহার করে producesj=2nεj=0

j=2nXj2=j=2n(X1n1+εj)2=(X1n1)22X1n1εj+εj2=Constant+εj2,

তাত্ক্ষণিকভাবে অনন্য সমাধানটি দেখানো হচ্ছে সকল । এই সমাধানের জন্য,εj=0j

(n1)S2=X12+(n1)(X1n1)2=(1+1n1)X12=nn1X12

এবং

|Ti|=|X1|S=|X1|n(n1)2X12=n1n,

Qed


যন্ত্রপাতি মাধ্যমে সমাধান

সরলিকৃত প্রোগ্রামে ফিরে আসুন যার মাধ্যমে আমরা শুরু করেছি:

Maximize X12

বিষযে

i=1nXi=0 and i=1nXi2(n1)=0.

ল্যাংরেঞ্জ মাল্টিপ্লায়ার্সের পদ্ধতি (যা প্রায় নিখুঁত যান্ত্রিক এবং সোজা) এই তিনটি ফাংশনের গ্রেডিয়েন্টগুলির একটি ননত্রিক রৈখিক সংমিশ্রণকে শূন্যের সাথে সমান করে:

(0,0,,0)=λ1D(X12)+λ2D(i=1nXi)+λ3D(i=1nXi2(n1)).

উপাদান দ্বারা উপাদান, এই সমীকরণ হয়n

0=2λ1X1+λ2+2λ3X10=λ2+2λ3X20=0=λ2+2λ3Xn.

গত এতদুভয় থেকে পরোক্ষভাবে বা । (আমরা পরবর্তী বাতিল করে দিতে পারি কারণ এরপরে প্রথম সমীকরণটি বোঝায় , লিনিয়ার সংমিশ্রণকে তুচ্ছ করে The) সমষ্টি থেকে শূন্যের সীমাবদ্ধতা । বর্গের সীমাবদ্ধতা দুটি সমাধান সরবরাহ করেn1X2=X3==Xn=λ2/(2λ3)λ2=λ3=0λ1=0X1=(n1)X2

X1=±n1n; X2=X3==Xn=1n.

তারা উভয় ফলন

|Ti|=|X1||±n1n|=n1n.

আপনার সংযোজনের জন্য ধন্যবাদ, জ্যামিতি খুব শক্তিশালী এবং তিনটি সমাধানই এটি আমার কাছে সবচেয়ে স্বজ্ঞাত।
JohnK

0

বর্ণিত বৈষম্য সত্য। এটি স্বজ্ঞাতভাবে স্পষ্ট যে আমরা বৈষম্যের জন্য সবচেয়ে কঠিন কেসটি পেয়েছি (যেটি প্রদত্ত বাম দিকের দিকটি সর্বাধিক করে তোলা ) একটি মান বাছাই করে, অন্যান্য সকলকে সমান রাখার সময় যত বড় সম্ভব বলুন । আসুন এই জাতীয় কনফিগারেশন সহ একটি উদাহরণটি দেখুন:S2x1

n=4,x1=x2=x3=0,x4=4,x¯=1,S2=4,
এখন উপর নির্ভর করে , যখন প্রদত্ত উপরের সীমাটি সমান যা ঠিক যথেষ্ট. এই ধারণাটি প্রমাণ হিসাবে শেষ করা যেতে পারে।|xix¯|S={12 or 32i412=1.5

সম্পাদনা

উপরের ইঙ্গিত অনুসারে আমরা এখন দাবিটি প্রমাণ করব। প্রথমত, এই সমস্যায় প্রদত্ত কোনও ভেক্টর এর জন্য, আমরা উপরের অসমতার কোনও দিক পরিবর্তন না করেই এটিকে with দিয়ে প্রতিস্থাপন করতে পারি । সুতরাং, নীচে আমরা ধরে নিই যে । আমরা আবারও রিবেলিং করে ধরে নিতে পারি যে বৃহত্তম। তারপরে, প্রথম এবং তারপরে choosing চয়ন করে আমরা দাবি করা বৈষম্যের মধ্যে সমতা আছে তা সাধারণ বীজগণিত দ্বারা পরীক্ষা করতে পারি। সুতরাং, এটি তীক্ষ্ণ।x=(x1,x2,,xn)xx¯x¯=0x1x1>0x2=x3==xn=x1n1

তারপর, (উত্তল) অঞ্চল সংজ্ঞায়িত দ্বারা একটি প্রদত্ত ইতিবাচক ধ্রুবক জন্য । দ্রষ্টব্য যে উৎপত্তিস্থলকে কেন্দ্র করে একটি গোলক সহ একটি হাইপারপ্লেনের ছেদ, সুতরাং -স্পেসের একটি গোলক । আমাদের সমস্যাটি এখন হিসাবে তৈরি করা যেতে পারে একটিR

R={xR:x¯=0,(xix¯)2/(n1)S2}
S2R(n1)
maxxRmaxi|xi|
xএটি সর্বাধিক করা বৈষম্যের জন্য সবচেয়ে কঠিন ক্ষেত্রে হবে। এটি উত্তল সেটগুলির উপর উত্তল ক্রিয়াকলাপ সর্বাধিক সন্ধান করার একটি সমস্যা, যা সাধারণভাবে কঠিন সমস্যা (সর্বনিম্ন সহজ!)) তবে, এক্ষেত্রে উত্তল অঞ্চলটি মূলকে কেন্দ্র করে একটি গোলক এবং আমরা যে ফাংশনটি সর্বোচ্চ করতে চাই তা স্থানাঙ্কগুলির পরম মান। এটি সুস্পষ্ট যে যে সর্বাধিক সীমানা গোলক পাওয়া যায় ও গ্রহণ করেসর্বাধিক, আমাদের প্রথম পরীক্ষার মামলাটি বাধ্য করা হয়।R|x1|

@ জনকে আপনি এখনই নিজের মন্তব্যগুলি মুছতে পারেন, পোস্টটি সংশোধন করা হয়েছে
kjetil b halvorsen

যদিও এই উত্তরটি দেখায় যে বৈষম্য (এটি সত্য, ধরে নিলাম যা ধরে নেওয়া হয়) আঁটসাঁট , তবে কীভাবে এই একক গণনাটি "প্রমাণের জন্য সমাপ্ত" হতে পারে তা স্পষ্ট নয়। কীভাবে এটি সম্পন্ন হবে তার কোনও ইঙ্গিত আপনি দিতে পারেন?
whuber

উইল, তবে কাল, এখন আমাকে কালকের ক্লাস তৈরি করতে হবে।
কেজেটিল বি হলওয়ার্সেন

আপনাকে ধন্যবাদ - আমি আপনার সমস্যার যত্নশীল গঠনের প্রশংসা করি। তবে আপনার "প্রমাণ" বিবৃতিতে এসে গেছে বলে মনে হচ্ছে "এটি সুস্পষ্ট is" আপনি কাজটি শেষ করতে সর্বদা লাগরেঞ্জ মাল্টিপ্লায়ার প্রয়োগ করতে পারেন, তবে এমন একটি পদ্ধতী দেখে ভাল লাগবে যে (ক) আসলে একটি প্রমাণ এবং (খ) অন্তর্দৃষ্টি দেয়।
হোবার

2
@ হুবার আপনার যদি সময় থাকে তবে আমি যদি আপনার ল্যাঞ্জরেঞ্জ মাল্টিপ্লায়ার সমাধান পোস্ট করতে পারি তবে আমি এটির প্রশংসা করব। আমি মনে করি সামগ্রিকভাবে বৈষম্য যতটা বিখ্যাত হওয়া উচিত তা নয়।
JohnK
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.