কসি–শোয়ার্জের অসমতা

টেমপ্লেট:কাজ চলছে/২০২৫ কসি–শোয়ার্জের অসমতা (যাকে কসি-বুনিয়াকোভস্কি-শোয়ার্জ অসমতাও বলা হয়) হল ভেক্টর নর্মের গুণফলের পরিপ্রেক্ষিতে একটি অভ্যন্তরীণ গুণফলের স্থানে(ইনার প্রোডাক্ট স্পেস) দুটি ভেক্টরের মধ্যে অভ্যন্তরীণ গুণফলের উপর একটি ঊর্ধ্বসীমা। এটি গণিতে সবচেয়ে গুরুত্বপূর্ণ এবং বহুল ব্যবহৃত অসমতার মধ্যে একটি হিসাবে বিবেচিত হয়।

ভেক্টরের অভ্যন্তরীণ গুণফলকে সসীম যোগফল (সসীম-মাত্রিক ভেক্টর স্পেসের মাধ্যমে), অসীম সিরিজ ( সিকোয়েন্স স্পেসের ভেক্টরগুলির মাধ্যমে) এবং ইন্টিগ্রাল ( হিলবার্ট স্পেসের ভেক্টরগুলির মাধ্যমে) হিসেবে বর্ণনা করা যেতে পারে। যোগের অসমতা অগাস্টিন লুইস কসি দ্বারা প্রকাশিত হয়েছিল ১৮২১ সালে। ইন্টিগ্রালের জন্য সংশ্লিষ্ট অসমতা প্রকাশ করেছিলেন ভিক্টর বুনিয়াকোভ্স্কি (১৮৫৯) এবং হারম্যান শোয়ার্জ (১৮৮৮)। শোয়ার্জ ইন্টিগ্রাল সংস্করণের আধুনিক প্রমাণ দিয়েছেন।

অসমতার বিবৃতি

কসি-শোয়ার্জ অসমতা বলে যে $𝐮$ এবং $𝐯$ সমস্ত ভেক্টরের জন্য একটি অভ্যন্তরীণ প্রোডাক্ট স্পেসে টেমপ্লেট:NumBlk

কোথায় $⟨\cdot ,\cdot ⟩$ হল ইনার প্রোডাক্ট । অভ্যন্তরীণ গুণফলের উদাহরণগুলির মধ্যে রয়েছে বাস্তব এবং জটিল ডট গুণফল ; অভ্যন্তরীণ গুণফলের উদাহরণগুলি দেখুন। প্রতিটি অভ্যন্তরীণ গুণফল থেকে একটি ইউক্লিডীয় ${\ell }_2$ নর্ম পাওয়া যায়, যাকে টেমপ্লেট:Em বা টেমপ্লেট:Em টেমপ্লেট:Em বলা হয়, যেখানে একটি ভেক্টর $𝐮$- এর নর্ম চিহ্নিত এবং সংজ্ঞায়িত করা হয়, $$\Vert 𝐮\Vert :=\sqrt{⟨𝐮,𝐮⟩},$$ যেখানে $⟨𝐮,𝐮⟩$ সর্বদা একটি অ-ঋণাত্মক বাস্তব সংখ্যা (অভ্যন্তরীণ গুণফলটি জটিল-সংখ্যা হলেও)। উপরোক্ত অসমতার উভয় পক্ষের বর্গমূল গ্রহণ করে, কসি-শোয়ার্জ অসমতাকে নর্মের পরিপ্রেক্ষিতে আরও পরিচিত আকারে লেখা যেতে পারে:

এছাড়াও, উভয় পক্ষই সমান হবে, শুধুমাত্র যদি $𝐮$ এবং $𝐯$ রৈখিকভাবে নির্ভরশীল(লিনিয়ারলি ডিপেনডেন্ট) হয়।

বিশেষ ক্ষেত্রে

সেদ্রাকিয়ানের লেমা – ধনাত্মক বাস্তব সংখ্যা

সেদ্রাকিয়ানের অসমতা, যা বার্গস্ট্রোমের অসমতা, এঙ্গেলের রূপ, টিটুর লেমা (অথবা T2 লেমা) নামেও পরিচিত, বলে যে $u_1,u_2,\dots ,u_n$ বাস্তব সংখ্যার জন্য এবং $v_1,v_2,\dots ,v_n$ ধনাত্মক বাস্তব সংখ্যার জন্য: $$\frac{{(u_1+u_2+\cdots +u_n)}^2}{v_1+v_2+\cdots +v_n}\le \frac{u_1^2}{v_1}+\frac{u_2^2}{v_2}+\cdots +\frac{u_n^2}{v_n},$$অথবা, সমষ্টি চিহ্ন ব্যবহার করে বলা যেতে পারে, $$(\sum _{i=1}^n{u}_i{)}^2/\sum _{i=1}^n{v}_i\le \sum _{i=1}^n\frac{u_i^2}{v_i}.$$

এটি কসি-শোয়ার্জ অসমতার সরাসরি পরিণতি, যা ডট গুণফল ${ℝ}^n$-এর উপর ব্যবহার করে এবং ${u_i}^{\prime }=\frac{u_i}{\sqrt{v_i\phantom{t}}}$ ও ${v_i}^{\prime }=\sqrt{v_i\phantom{t}}$, এই প্রতিস্থাপন ব্যবহার করে পাওয়া যায়। এই ফর্মটি বিশেষভাবে সহায়ক যখন অসমতা ভগ্নাংশের সাথে জড়িত, যেখানে ভগ্নাংশের লব একটি পূর্ণবর্গ ।

টেমপ্লেট:Math - সমতল

ইউক্লিডীয় সমতলের একক বৃত্তে কসি-শোয়ার্জ অসমতা

বাস্তব ভেক্টর স্পেস ${ℝ}^2$ দ্বিমাত্রিক সমতল নির্দেশ করে। এটি একটি দ্বিমাত্রিক ইউক্লিডীয় স্থানও(স্পেস) যেখানে অভ্যন্তরীণ গুণফল হল ডট গুণফল(ডট প্রোডাক্ট) । যদি $𝐮=(u_1,u_2)$ এবং $𝐯=(v_1,v_2)$ তাহলে কৌচি-শোয়ার্জ বৈষম্য হয়ে ওঠে: $$⟨𝐮,𝐯{⟩}^2=(\Vert 𝐮\Vert \Vert 𝐯\Vert \cos \theta {)}^2\le \Vert 𝐮{\Vert }^2\Vert 𝐯{\Vert }^2,$$কোথায় $\theta$ হল $𝐮$ এবং $𝐯$ এর মধ্যে কোণ

উপরের ফর্মটি সম্ভবত অসমতা বোঝার সবচেয়ে সহজ উপায়, কারণ কোসাইনের বর্গ সর্বাধিক ১ হতে পারে, যা তখন ঘটে যখন ভেক্টরগুলি একই বা বিপরীত দিকে থাকে। এটি $u_1$, $u_2$, $v_1$, এবং $v_2$ ভেক্টর স্থানাঙ্কের পরিপ্রেক্ষিতে পুনরায় বর্ণনা করা যেতে পারে যেমন $${(u_1{v}_1+u_2{v}_2)}^2\le (u_1^2+u_2^2)(v_1^2+v_2^2),$$যেখানে সমতা বজায় থাকে যদি এবং শুধুমাত্র যদি $(u_1,u_2)$ ভেক্টরের একই বা বিপরীত দিকে $(v_1,v_2)$ভেক্টর থাকে, অথবা যদি তাদের মধ্যে একটি শূন্য ভেক্টর হয়।

টেমপ্লেট:Math : n মাত্রিক ইউক্লিডিয়ান স্পেস

ইউক্লিডীয় স্পেসে ${ℝ}^n$ ও এই স্পেসের আদর্শ অভ্যন্তরীণ গুণফল, যা ডট গুণফল, দিয়ে কসি-শোয়ার্জ অসমতা প্রকাশ করলে: $$(\sum _{i=1}^n{u}_i{v}_i{)}^2\le (\sum _{i=1}^n{u}_i^2\left)\right(\sum _{i=1}^n{v}_i^2).$$

এই ক্ষেত্রে শুধুমাত্র প্রাথমিক বীজগণিত ব্যবহার করে কৌচি-শোয়ার্জ অসমতা প্রমাণ করা যেতে পারে, ডান এবং বাম দিকের পার্থক্য হল পর্যবেক্ষণ করলে$$\frac{1}{2}\sum _{i=1}^n\sum _{j=1}^n(u_i{v}_j-u_j{v}_i{)}^2\ge 0$$

অথবা নিম্নলিখিত $x$ এর দ্বিঘাত বহুপদী বিবেচনা করলে$$(u_{1}x+v_1{)}^2+\cdots +(u_{n}x+v_n{)}^2=\left(\sum _i{u}_i^2\right)x^2+2\left(\sum _i{u}_i{v}_i\right)x+\sum _i{v}_i^2.$$

যেহেতু পরের বহুপদীটি অঋণাত্মক, তাই এর সর্বাধিক একটি বাস্তব মূল আছে, তাই এর বিভেদক শূন্যের চেয়ে কম বা সমান। অর্থাৎ, $$(\sum _i{u}_i{v}_i{)}^2-(\sum _i{u}_i^2\left)\right(\sum _i{v}_i^2)\le 0.$$

টেমপ্লেট:Math : n মাত্রিক জটিল স্পেস

যদি $𝐮,𝐯\in {ℂ}^n$ এবং $𝐮=(u_1,\dots ,u_n)$ ও $𝐯=(v_1,\dots ,v_n)$ (যেখানে $u_1,\dots ,u_n\in ℂ$ এবং $v_1,\dots ,v_n\in ℂ$ ) এবং যদি অভ্যন্তরীণ গুণফল ভেক্টর স্পেস ${ℂ}^n$-এর ক্যানোনিকাল জটিল অভ্যন্তরীণ গুণ (দ্বারা সংজ্ঞায়িত $⟨𝐮,𝐯⟩:=u_1\overline{v_1}+\cdots +u_n\overline{v_n},$ যেখানে জটিল সংযোজনের জন্য বার নোটেশন ব্যবহার করা হয়), তাহলে অসমতাটি আরও স্পষ্টভাবে নিম্নরূপে পুনঃনির্ধারণ করা যেতে পারে: $$|⟨𝐮,𝐯⟩{|}^2=|\sum _{k=1}^n{u}_k{\overline{v}}_k{|}^2\le ⟨𝐮,𝐮⟩⟨𝐯,𝐯⟩=\left(\sum _{k=1}^n{u}_k{\overline{u}}_k\right)\left(\sum _{k=1}^n{v}_k{\overline{v}}_k\right)=\sum _{j=1}^n|u_j{|}^2\sum _{k=1}^n|v_k{|}^2.$$

অর্থাৎ, $$|u_1{\overline{v}}_1+\cdots +u_n{\overline{v}}_n{|}^2\le (|u_1|{}^2+\cdots +|u_n|{}^2\left)\right(|v_1|{}^2+\cdots +|v_n|{}^2).$$

টেমপ্লেট:Math

বর্গাকার-সমন্বিত জটিল-মূল্যযুক্ত ফাংশনের অভ্যন্তরীণ গুণফল জনেসেরয, নিম্নলিখিত অসমতাটি ধারণ করে। $${|\underset{{ℝ}^n}{\int }f(x)\overline{g(x)}dx|}^2\le \underset{{ℝ}^n}{\int }|f(x){|}^{2}dx\underset{{ℝ}^n}{\int }|g(x){|}^{2}dx.$$

হোল্ডার বৈষম্য হলো এর একটি সাধারণীকরণ।

ব্যবহার

বিশ্লেষণ

যেকোনো অভ্যন্তরীণ গুণফল স্থানে, ত্রিভুজ বৈষম্য হল কচি-শোয়ার্জ বৈষম্যের ফলাফল, যেমনটি এখন দেখানো হয়েছে: $$\begin{array}{cccc}\Vert 𝐮+𝐯{\Vert }^2& =⟨𝐮+𝐯,𝐮+𝐯⟩& & \\ & =\Vert 𝐮{\Vert }^2+⟨𝐮,𝐯⟩+⟨𝐯,𝐮⟩+\Vert 𝐯{\Vert }^2& & \text{ where }⟨𝐯,𝐮⟩=\overline{⟨𝐮,𝐯⟩}\\ & =\Vert 𝐮{\Vert }^2+2\mathrm{Re}⟨𝐮,𝐯⟩+\Vert 𝐯{\Vert }^2& & \\ & \le \Vert 𝐮{\Vert }^2+2|⟨𝐮,𝐯⟩|+\Vert 𝐯{\Vert }^2& & \\ & \le \Vert 𝐮{\Vert }^2+2\Vert 𝐮\Vert \Vert 𝐯\Vert +\Vert 𝐯{\Vert }^2& & \text{ using CS}\\ & =(\Vert 𝐮\Vert +\Vert 𝐯\Vert {)}^2.& & \end{array}$$

ত্রিভুজ অসমতার বর্গমূল নিলে পাওয়া যায়: $$\Vert 𝐮+𝐯\Vert \le \Vert 𝐮\Vert +\Vert 𝐯\Vert .$$

অভ্যন্তরীণ গুণফল দ্বারা সৃষ্ট টপোলজির সাপেক্ষে অভ্যন্তরীণ গুণফল একটি অবিচ্ছিন্ন ফাংশন তা প্রমাণ করার জন্য কচি-শোয়ার্জ অসমতা ব্যবহার করা হয়।

জ্যামিতি

কসি-শোয়ার্জ অসমতা "দুটি ভেক্টরের মধ্যবর্তী কোণ" ধারণাটিকে যেকোনো বাস্তব অভ্যন্তরীণ-প্রোডাক্ট স্পেস পর্যন্ত প্রসারিত করার অনুমতি দেয়: $$\cos {\theta }_{𝐮𝐯}=\frac{⟨𝐮,𝐯⟩}{\Vert 𝐮\Vert \Vert 𝐯\Vert }.$$

কসি-শোয়ার্জ অসমতা প্রমাণ করে যে এই সংজ্ঞাটি যুক্তিসঙ্গত, এখানে দেখানো হয় যে ডান দিকটি টেমপ্লেট:Math ব্যবধানে অবস্থিত এবং এই ধারণাটিকে ন্যায্যতা দেয় যে (প্রকৃত) হিলবার্ট স্পেসগুলি কেবল ইউক্লিডীয় স্পেসের সাধারণীকরণ। জটিল অভ্যন্তরীণ-প্রোডাক্ট স্পেসে পরম মান বা ডান দিকের বাস্তব অংশ গ্রহণ করে, একটি কোণ সংজ্ঞায়িত করতেও ব্যবহার করা যেতে পারে, যেমনটি কোয়ান্টাম ফিডেলিটি থেকে একটি মেট্রিক বের করার সময় করা হয়।

সম্ভাব্যতা তত্ত্ব

ধরা হল, $X$ এবং $Y$ এলোমেলো ভেরিয়েবল। সুতরাং সহভ্যারিয়েন্স অসমতা থেকে পাওয়া যায়: $$\mathrm{Var}(X)\ge \frac{\mathrm{Cov}(X,Y{)}^2}{\mathrm{Var}(Y)}.$$

দৈব চলকের সেটে তাদের প্রোডাক্টের প্রত্যাশা ব্যবহার করে অভ্যন্তরীণ গুণফল সংজ্ঞায়িত করার পর, $$⟨X,Y⟩:=\mathrm{E}(XY),$$কসি-শোয়ার্জ বৈষম্য হয়ে ওঠে $$|\mathrm{E}(XY){|}^2\le \mathrm{E}(X^2)\mathrm{E}(Y^2).$$

কচি-শোয়ার্জ অসমতা ব্যবহার করে সহ-প্রকরণ বৈষম্য প্রমাণ করতে, ধরুন $\mu =\mathrm{E}(X)$ এবং $\nu =\mathrm{E}(Y),$ তারপর $$\begin{array}{cc}|\mathrm{Cov}(X,Y){|}^2& =|\mathrm{E}((X-\mu )(Y-\nu )){|}^2\\ & =|⟨X-\mu ,Y-\nu ⟩{|}^2\\ & \le ⟨X-\mu ,X-\mu ⟩⟨Y-\nu ,Y-\nu ⟩\\ & =\mathrm{E}((X-\mu {)}^2)\mathrm{E}((Y-\nu {)}^2)\\ & =\mathrm{Var}(X)\mathrm{Var}(Y),\end{array}$$যেখানে $\mathrm{Var}$ ভেদাঙ্ক(ভ্যারিয়েন্স) নির্দেশ করে এবং $\mathrm{Cov}$ সহ-ভেদাঙ্ক বোঝায়।

সাধারণীকরণ

কসি-শোয়ার্জ বৈষম্যের বিভিন্ন সাধারণীকরণ বিদ্যমান। হোল্ডারের বৈষম্য এটির সাধারণীকরণ করে $L^p$ নর্মে। আরও সাধারণভাবে, এটিকে ব্যানাচ স্পেসে একটি রৈখিক অপারেটরের নর্ম-এর সংজ্ঞার একটি বিশেষ ক্ষেত্রে হিসাবে ব্যাখ্যা করা যেতে পারে (যেমন, যখন স্থানটি একটি হিলবার্ট স্পেস হয়)। আরও সাধারণীকরণ করা যায় অপারেটর তত্ত্বের প্রেক্ষাপটে, যেমন অপারেটর-উত্তল ফাংশন এবং অপারেটর বীজগণিতের জন্য, যেখানে ডোমেন এবং/অথবা রেঞ্জ একটি C*-বীজগণিত বা W*-বীজগণিত দ্বারা প্রতিস্থাপিত হয়।

একটি ধনাত্মক রৈখিক অপেক্ষক সংজ্ঞায়িত করতে একটি অভ্যন্তরীণ গুণফল ব্যবহার করা যেতে পারে। উদাহরণস্বরূপ, একটি হিলবার্ট স্থান দেওয়া হয়েছে $L^2(m),m$ একটি সীমাবদ্ধ পরিমাপ(ফাইনাইট মেজার) হওয়ায়, আদর্শ অভ্যন্তরীণ প্রোডাক্ট প্রকাশ করা হয় একটি ইতিবাচক অপেক্ষক $\phi$ দ্বারা $\phi (g)=⟨g,1⟩.$ বিপরীতভাবে, প্রতিটি ধনাত্মক রৈখিক অপেক্ষক $\phi$ এর উপর $L^2(m)$ একটি অভ্যন্তরীণ প্রোডাক্ট সংজ্ঞায়িত করতে ব্যবহার করা যেতে পারে $⟨f,g{⟩}_{\phi }:=\phi \left(g^{*}f\right),$ যখন $g^{*}$ হল এর বিন্দুভিত্তিক জটিল সংযোজক $g.$এর। এই ভাষায়, কসি-শোয়ার্জ বৈষম্য হয়ে যায় $$|\phi (g^{*}f){|}^2\le \phi \left(f^{*}f\right)\phi \left(g^{*}g\right),$$

যা C*-বীজগণিতের ধনাত্মক ফাংশনাল পর্যন্ত প্রসারিত হয়:

পরবর্তী দুটি উপপাদ্য অপারেটর বীজগণিতের আরও উদাহরণ।

এটি এই সত্যটিকে আরও বিস্তৃত করে $\phi \left(a^{*}a\right)\cdot 1\ge \phi (a{)}^{*}\phi (a)=|\phi (a){|}^2,$ যখন $\phi$ একটি রৈখিক অপেক্ষক। এই ঘটনাটি যখন $a$ স্ব-সংযুক্ত, অর্থাৎ, $a=a^{*},$ তখন ক্যাডিসনের বৈষম্য নামে পরিচিত।

আরেকটি সাধারণীকরণ হল কসি-শোয়ার্জ অসমতার উভয় পক্ষের মধ্যে প্রবর্তনের মাধ্যমে প্রাপ্ত একটি পরিমার্জন:

এই উপপাদ্যটি হোল্ডারের অসমতা থেকে অনুমান করা যেতে পারে। ম্যাট্রিক্সের অপারেটর এবং টেনসর প্রোডাক্টের নন-কমিউটেটিভ সংস্করণও রয়েছে।

কসি-শোয়ার্জ অসমতা এবং ক্যান্টোরোভিচ বৈষম্যের বেশ কয়েকটি ম্যাট্রিক্স সংস্করণ রৈখিক রিগ্রেশন মডেলগুলিতে প্রয়োগ করা হয়েছে।

প্রমাণ

নিচে দেওয়া প্রমাণ ছাড়াও কচি-শোয়ার্জ অসমতার আরও অনেক প্রমাণ রয়েছে। অন্যান্য উৎসের সাথে পরামর্শ করার সময়, প্রায়শই বিভ্রান্তির দুটি উৎস থাকে। প্রথমত, কিছু লেখক প্রথম যুক্তির পরিবর্তে দ্বিতীয় যুক্তিতে টেমপ্লেট:Math-কে রৈখিক হিসেবে সংজ্ঞায়িত করেছেন। দ্বিতীয়ত, কিছু প্রমাণ কেবল তখনই বৈধ যখন ক্ষেত্রটি $ℝ$ এবং $ℂ.$নয়।

এই অংশটি নিম্নলিখিত উপপাদ্যের দুটি প্রমাণ দেয়:

নিচে দেওয়া দুটি প্রমাণেই, প্রাথমিক ক্ষেত্রের প্রমাণ যেখানে কমপক্ষে একটি ভেক্টর শূন্য (অথবা সমতুল্য, যেখানে $\Vert 𝐮\Vert \Vert 𝐯\Vert =0$ ) একই রকম। পুনরাবৃত্তি কমাতে এটি নীচে কেবল একবার উপস্থাপন করা হয়েছে। এতে উপরে প্রদত্ত সমতা চরিত্রায়নের প্রমাণের সহজ অংশটিও অন্তর্ভুক্ত রয়েছে; অর্থাৎ, এটি প্রমাণ করে যে যদি $𝐮$ এবং $𝐯$ তাহলে রৈখিকভাবে নির্ভরশীল হয় তবে,$|⟨𝐮,𝐯⟩|=\Vert 𝐮\Vert \Vert 𝐯\Vert .$

টেমপ্লেট:Collapse top By definition, $𝐮$ and $𝐯$ are linearly dependent if and only if one is a scalar multiple of the other. If $𝐮=c𝐯$ where $c$ is some scalar then $$|⟨𝐮,𝐯⟩|=|⟨c𝐯,𝐯⟩|=|c⟨𝐯,𝐯⟩|=|c|\Vert 𝐯\Vert \Vert 𝐯\Vert =\Vert c𝐯\Vert \Vert 𝐯\Vert =\Vert 𝐮\Vert \Vert 𝐯\Vert$$

which shows that equality holds in the টেমপ্লেট:EquationNote. The case where $𝐯=c𝐮$ for some scalar $c$ follows from the previous case: $$|⟨𝐮,𝐯⟩|=|⟨𝐯,𝐮⟩|=\Vert 𝐯\Vert \Vert 𝐮\Vert .$$

In particular, if at least one of $𝐮$ and $𝐯$ is the zero vector then $𝐮$ and $𝐯$ are necessarily linearly dependent (for example, if $𝐮=\mathrm{𝟎}$ then $𝐮=c𝐯$ where $c=0$), so the above computation shows that the Cauchy–Schwarz inequality holds in this case. টেমপ্লেট:Collapse bottom

ফলস্বরূপ, কসি-শোয়ার্জ অসমতা কেবলমাত্র অ-শূন্য ভেক্টরগুলির জন্য প্রমাণ করতে হবে এবং সমতা চরিত্রায়নের কেবল ট্রিভিয়াল নয় এমন দিকটিও দেখাতে হবে।

পাইথাগোরিয়ান উপপাদ্যের মাধ্যমে প্রমাণ

বিশেষ ক্ষেত্রে $𝐯=\mathrm{𝟎}$ উপরে প্রমাণিত হয়েছে তাই এখন থেকে ধরে নেওয়া হচ্ছে যে $𝐯\ne \mathrm{𝟎}.$ ধরি,$$𝐳:=𝐮-\frac{⟨𝐮,𝐯⟩}{⟨𝐯,𝐯⟩}𝐯.$$

এটির প্রথম যুক্তিতে অভ্যন্তরীণ গুণফলের রৈখিকতা থেকে এটি অনুসরণ করা যায় যে: $$⟨𝐳,𝐯⟩=⟨𝐮-\frac{⟨𝐮,𝐯⟩}{⟨𝐯,𝐯⟩}𝐯,𝐯⟩=⟨𝐮,𝐯⟩-\frac{⟨𝐮,𝐯⟩}{⟨𝐯,𝐯⟩}⟨𝐯,𝐯⟩=0.$$

অতএব, $𝐳$ ভেক্টরের একটি লম্বক ভেক্টর $𝐯$ (প্রকৃতপক্ষে, $𝐳$ হল $𝐮$-এর প্রক্ষেপণ $𝐯.$এর অরথোগোনালে থাকা সমতলের দিকে) আমরা এইভাবে পিথাগোরিয়ান উপপাদ্য প্রয়োগ করতে পারি $$𝐮=\frac{⟨𝐮,𝐯⟩}{⟨𝐯,𝐯⟩}𝐯+𝐳$$যা থেকে পাওয়া যায়$$\Vert 𝐮{\Vert }^2={\left|\frac{⟨𝐮,𝐯⟩}{⟨𝐯,𝐯⟩}\right|}^2\Vert 𝐯{\Vert }^2+\Vert 𝐳{\Vert }^2=\frac{|⟨𝐮,𝐯⟩{|}^2}{(\Vert 𝐯{\Vert }^2{)}^2}\Vert 𝐯{\Vert }^2+\Vert 𝐳{\Vert }^2=\frac{|⟨𝐮,𝐯⟩{|}^2}{\Vert 𝐯{\Vert }^2}+\Vert 𝐳{\Vert }^2\ge \frac{|⟨𝐮,𝐯⟩{|}^2}{\Vert 𝐯{\Vert }^2}.$$

কসি-শোয়ার্জ অসমরতার সাথে $\Vert 𝐯{\Vert }^2$ গুণ করলে এবং তারপর বর্গমূল নেওয়া হলে। তাছাড়া, যদি সম্পর্কটি $\ge$ উপরের অভিব্যক্তিতে আসলে একটি সমতা, তাহলে $\Vert 𝐳{\Vert }^2=0$ এবং তাই $𝐳=\mathrm{𝟎};$ $𝐳$ এর সংজ্ঞা তারপর $𝐮$ এবং $𝐯.$এর মধ্যে রৈখিক নির্ভরতার সম্পর্ক স্থাপন করে যা এই বিভাগের শুরুতে বিপরীতটি প্রমাণিত হয়েছিল, তাই প্রমাণটি সম্পূর্ণ। $◼$

একটি দ্বিঘাত বিশ্লেষণের মাধ্যমে প্রমাণ

এক জোড়া ভেক্টর বিবেচনা করুন $𝐮,𝐯$ . একটি ফাংশনটি সংজ্ঞায়িত করুন $p:ℝ\to ℝ$, যখন $p(t)=⟨t\alpha 𝐮+𝐯,t\alpha 𝐮+𝐯⟩$দ্বারা সংজ্ঞায়িত, যখন $\alpha$ একটি জটিল সংখ্যা যা এবং এবং $\alpha ⟨𝐮,𝐯⟩=|⟨𝐮,𝐯⟩|$ .এমন একটি $\alpha$ যদি থেকে বিদ্যমান থাকে তবে, $⟨𝐮,𝐯⟩=0$ তারপর $\alpha$-কে ১ হিসেবে ধরা যেতে পারে।

যেহেতু অভ্যন্তরীণ গুণফলটি ধনাত্মক-নির্দিষ্ট, $p(t)$ শুধুমাত্র অ-ঋণাত্মক বাস্তব মান গ্রহণ করে। অন্যদিকে, $p(t)$ অভ্যন্তরীণ গুণফলের দ্বি-রৈখিকতা ব্যবহার করে প্রসারিত করা যেতে পারে: $$\begin{array}{cc}p(t)& =⟨t\alpha 𝐮,t\alpha 𝐮⟩+⟨t\alpha 𝐮,𝐯⟩+⟨𝐯,t\alpha 𝐮⟩+⟨𝐯,𝐯⟩\\ & =t\alpha t\bar{\alpha }⟨𝐮,𝐮⟩+t\alpha ⟨𝐮,𝐯⟩+t\bar{\alpha }⟨𝐯,𝐮⟩+⟨𝐯,𝐯⟩\\ & =\Vert 𝐮{\Vert }^2{t}^2+2|⟨𝐮,𝐯⟩|t+\Vert 𝐯{\Vert }^2\end{array}$$সুতরাং, $p$ বহুপদী যার ডিগ্রি $2$ (যদি না $𝐮=0,$ যা এমন একটি কেস যা আগে পরীক্ষা করা হয়েছিল)। $p$-এর চিহ্নের কোনো পরিবর্তন হয় না, এই বহুপদীটির নির্ণায়ক অবশ্যই অ-ধনাত্মক হতে হবে: $$\mathrm{\Delta }=4(|⟨𝐮,𝐯⟩{|}^2-\Vert 𝐮{\Vert }^2\Vert 𝐯{\Vert }^2)\le 0.$$উপসংহারটি নিম্নরূপ।

সমতার ক্ষেত্রে, লক্ষ্য করুন যে $\mathrm{\Delta }=0$ যদি এবং তা শুধুমাত্র ঘটে যদি $p(t)=(t\Vert 𝐮\Vert +\Vert 𝐯\Vert {)}^2.$ যদি $t_0=-\Vert 𝐯\Vert /\Vert 𝐮\Vert ,$ তারপর $p(t_0)=⟨t_0\alpha 𝐮+𝐯,t_0\alpha 𝐮+𝐯⟩=0,$ এবং তাই $𝐯=-t_0\alpha 𝐮.$

আরও দেখুন

• বেসেলের অসমতা
• হোল্ডারের অসমতা
• জেনসেনের অসমতা
• ক্যান্টোরোভিচ অসমতা
• কুনিতা-ওয়াতানাবে অসমতা
• মিনকোস্কি অসমতা
• প্যালি-জিগমুন্ড অসমতা

তথ্যসূত্র

• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation
• টেমপ্লেট:Halmos A Hilbert Space Problem Book 1982
• টেমপ্লেট:Citation.
• টেমপ্লেট:Citation
• টেমপ্লেট:Citation.
• টেমপ্লেট:Citation
• টেমপ্লেট:Springer
• টেমপ্লেট:Citation

বহিরাগত সূত্র

• Earliest Uses: The entry on the Cauchy–Schwarz inequality has some historical information.
• Example of application of Cauchy–Schwarz inequality to determine Linearly Independent Vectors Tutorial and Interactive program.