বিপরীত ম্যাট্রিক্স

রৈখিক বীজগণিতে, একটি *n*-বনাম-*n* বর্গ ম্যাট্রিক্স {\displaystyle \boldsymbol A}কে **বিপরীত** **ম্যাট্রিক্স** () বলা হয়, যদি এমন কোন *n*-বনাম-*n* বর্গ ম্যাট্রিক্স {\displaystyle \boldsymbol B}থাকে যেন,

{\displaystyle \mathbf {AB} =\mathbf {BA} =\mathbf {I} _{n}\ }হয়;

যেখানে {\displaystyle \boldsymbol I_n}একটি *n*-বনাম-*n* অভেদ ম্যাট্রিক্স এবং ব্যবহৃত গুণন প্রক্রিয়াটি সাধারণ ম্যাট্রিক্স গুণন প্রক্রিয়া। যদি ক্ষেত্রটি এমন হয়, তাহলে {\displaystyle \boldsymbol B}কে ম্যাট্রিক্স {\displaystyle \boldsymbol A}এর দ্বারা অনন্যভাবে নির্ণয় করা যায় এবং তাকে {\displaystyle \boldsymbol A}এর *বিপরীত* ম্যাট্রিক্স বলা হয়, যা {\displaystyle \boldsymbol A^{-1}}দ্বারা নির্দেশ করা হয়।

কোন বর্গ ম্যাট্রিক্স *বিপরীতযোগ্য *'না** হলে'', তাকে **একক** (''singular'') বা **বিচ্যুত** (''degenerate'') ম্যাট্রিক্স বলে। কোন বর্গ ম্যাট্রিক্স একক হবে যদি ও কেবল যদি তার নির্ণায়কের মান <math>{\displaystyle \boldsymbol 0}</math>হয়। একক ম্যাট্রিক্সসমূহকে এই হিসেবে বিরল বলা যায় যে, যথেচ্ছেভাবে একটি বর্গ ম্যাট্রিক্স নির্বাচন করলে, যার উপাদানগুলো অবিচ্ছিন্ন ও সুষমভাবে বণ্টিত, তা প্রায় কখনোই একক হয় না।

বর্গ ম্যাট্রিক্স ব্যাতিরেকে (''m''-বনাম-''n'' ম্যাট্রিক্স যার জন্য ''m'' ≠ ''n'') অন্যান্য ম্যাট্রিক্সের বিপরীত ম্যাট্রিক্স থাকে না। তা স্বত্বেও, কোন কোন ক্ষেত্রে ঐসব ম্যাট্রিক্সের বাম-বিপরীত অথবা ডান-বিপরীত ম্যাট্রিক্স থাকতে পারে। যদি <math>{\displaystyle \boldsymbol A}</math>''m''-বনাম-''n'' হয়, এবং <math>{\displaystyle \boldsymbol A}</math>এর ক্রম <math>{\displaystyle {n,}{(n \leq m)}}</math>হয়, তবে <math>{\displaystyle \boldsymbol A}</math>এর একটি বাম-বিপরীত ম্যাট্রিক্স আছে: একটি ম্যাট্রিক্স <math>{\displaystyle \boldsymbol B}</math>যেন <math>{\displaystyle \mathbf {BA} =\mathbf {I} _{n}\ }</math>হয়। যদি <math>{\displaystyle \boldsymbol A}</math>এর ক্রম <math>{\displaystyle {m,}{(m \leq n)}}</math>হয়, তবে <math>{\displaystyle \boldsymbol A}</math>এর একটি ডান-বিপরীত ম্যাট্রিক্স আছে: একটি ম্যাট্রিক্স <math>{\displaystyle \boldsymbol B}</math>যেন <math>{\displaystyle \mathbf {AB} =\mathbf {I} _{m}\ }</math>হয়।

**ম্যাট্রিক্স বিপরীতকরণ** হচ্ছে ম্যাট্রিক্স <math>{\displaystyle \boldsymbol B}</math> নির্ণয়ের প্রক্রিয়া, যা কোন প্রদত্ত বিপরীতযোগ্য ম্যাট্রিক্স <math>{\displaystyle \boldsymbol A}</math> এর জন্য, উপরিল্লিখিত সমীকরণটিকে সিদ্ধ করে।

যদিও সচরাচর বাস্তব বা জটিল সংখ্যার ক্ষেত্রেই সংজ্ঞা দেওয়া হয়, তবে সকল সংজ্ঞাই যে কোন চক্রের (''rings'') ম্যাট্রিক্সের জন্যও দেওয়া যায়। তবে, চক্রটি বিনিময়যোগ্য হলে, বর্গ ম্যাট্রিক্সের বিপরীতযোগ্য হওয়ার শর্ত হচ্ছে এর নির্নায়কটি ঐ চক্রের মধ্যে বিপরীতযোগ্য হতে হবে, যা সাধারণত অশূন্য হওয়ার শর্ত অপেক্ষা কঠিনতর শর্ত। কোন অ-বিনিময়যোগ্য চক্রের ক্ষেত্রে, গতানুগতিক নির্ণায়ক সংজ্ঞায়িত নয়। বাম-বিপরীত বা ডান-বিপরীতের অস্তিত্ব থাকার শর্তাবলি চক্রের জন্য জটিলতর কেননা, ক্রম এর ধারণা কোন চক্রের ক্ষেত্রে প্রযোজ্য নয়।

কোন <math>{\displaystyle \boldsymbol {n \times n}}</math>বিপরীত ম্যাট্রিক্সের সেট এবং ম্যাট্রিক্স গুণনের প্রক্রিয়াটি একত্রে একটি গুচ্ছ (''group'') গঠন করে, যা <math>{\displaystyle \boldsymbol n}</math>মাত্রার একটি সাধারণ রৈখিক গুচ্ছ।

== বৈশিষ্ট্যাবলি ==

=== বিপরীত ম্যাট্রিক্স উপপাদ্য ===
ধরা যাক, কোন [[ক্ষেত্র (গণিত)|ক্ষেত্র]] <math>{\displaystyle K}</math>-তে, <math>{\displaystyle \boldsymbol A}</math> একটি <math>{\displaystyle n \times n}</math> ম্যাট্রিক্স (যেমন- বাস্তব সংখ্যার ক্ষেত্র <math>{\displaystyle \boldsymbol R}</math>)। তাহলে নিচের বাক্যগুলো সমতুল্য, অর্থাৎ, কোন প্রদত্ত ম্যাট্রিক্সের ক্ষেত্রে হয় সবগুলো সত্য অথবা সবগুলোই মিথ্যা:

* <math>{\displaystyle \boldsymbol A}</math> বিপরীতযোগ্য, অর্থাৎ <math>{\displaystyle \boldsymbol A}</math> এর একটি বিপরীত ম্যাট্রিক্স আছে, একক নয়, বা অবিচ্যুত (''non-degenerate'')।
* <math>{\displaystyle \boldsymbol A}</math> ম্যাট্রিক্সটি <math>{\displaystyle n \times n}</math> [[অভেদ ম্যাট্রিক্স]] <math>{\displaystyle \boldsymbol {I_n}}</math> এর [[সারি সমতুল্যতা|সারি-সমতুল্য]] (''row-equivalent'')।
* <math>{\displaystyle \boldsymbol A}</math> ম্যাট্রিক্সটি <math>{\displaystyle n \times n}</math> [[অভেদ ম্যাট্রিক্স]] <math>{\displaystyle \boldsymbol {I_n}}</math> এর [[সারি সমতুল্যতা|কলাম-সমতুল্য]]।
* <math>{\displaystyle \boldsymbol A}</math> এর <math>{\displaystyle n}</math>-সংখ্যক [[কীলক উপাদান (ম্যাট্রিক্স)|কীলক-অবস্থান]] (''[[কীলক উপাদান (ম্যাট্রিক্স)|pivot position]]'') আছে।
* <math>{\displaystyle \det \boldsymbol A \neq 0}</math>। সাধারণভাবে, কোন [[বিনিময়যোগ্য চক্র (বিমূর্ত বীজগণিত)|বিনিময়যোগ্য চক্রে]] একটি বর্গ ম্যাট্রিক্স অ-বিপরীতযোগ্য হবে যদি ও কেবল যদি, তার [[নির্ণায়ক]] ঐ চক্রে একটি [[একক (চক্র তত্ত্ব)|একক]] হয়।
* <math>{\displaystyle \boldsymbol A}</math> এর পূর্ণ [[ক্রম (rank)|ক্রম (''rank'')]] থাকে; অর্থাৎ, ক্রম <math>{\displaystyle \boldsymbol {A} = n}</math>।
* সমীকরণ <math>{\displaystyle \boldsymbol {A}x = 0}</math> এর কেবল নগণ্য সমাধান <math>{\displaystyle x=0}</math> বিদ্যমান।
* <math>{\displaystyle \boldsymbol A}</math> এর [[কার্নেল (রৈখিক বীজগণিত)|কার্নেল]] (সমাধান জোট) নগণ্য, অর্থাৎ, এর উপাদান হিসেবে কেবলমাত্র শূন্য ভেক্টর থাকে, <math>{\ker(\boldsymbol A) = \{\boldsymbol 0\}}</math>।  ''[[কার্নেল (রৈখিক বীজগণিত)|Null]]'' <math>{\displaystyle {\boldsymbol A} = \{\boldsymbol 0\}}</math>।
* <math>{\displaystyle K^n}</math> এর অন্তর্ভুক্ত প্রত্যেক <math>{\displaystyle \boldsymbol b}</math> এর জন্য, <math>{\displaystyle \boldsymbol {A}x = \boldsymbol b}</math> এর ঠিক একটি সমাধান আছে।
* <math>{\displaystyle \boldsymbol A}</math> এর কলামগুলো [[রৈখিক স্বাধীনতা (ভেক্টর)|রৈখিকভাবে স্বাধীন]]।
* <math>{\displaystyle \boldsymbol A}</math> এর কলামগুলোর [[ব্যাপ্তি (রৈখিক বীজগণিত)|ব্যাপ্তি]] <math>{\displaystyle K^n}</math>।  Col <math>{\displaystyle \boldsymbol A}</math>= <math>{\displaystyle K^n}</math>।
* <math>{\displaystyle \boldsymbol A}</math> এর কলামগুলো <math>{\displaystyle K^n}</math> এর [[ভিত্তি (রৈখিক বীজগণিত)|ভিত্তি]] গঠন করে।
* <math>{\displaystyle \boldsymbol {x\rightarrow Ax}}</math>এর রৈখিক রূপান্তর <math>{\displaystyle {K^n \rightarrow K^n}}</math> এর মধ্যে [[এক-এক ফাংশন|এক-এক]] ও [[সার্বিক ফাংশন|সার্বিক]] প্রকৃতির (''bijective'' i.e. ''one-to-one'' and ''onto function'')।
* এমন একটি <math>{\displaystyle n \times n}</math> ম্যাট্রিক্স <math>{\displaystyle \boldsymbol B}</math> আছে যেন <math>{\displaystyle \mathbf {AB} = \mathbf {I} _{n}\ = \mathbf {BA} }</math>।
*[[বিম্ব ম্যাট্রিক্স]] <math>{\displaystyle \boldsymbol A^T}</math> বিপরীতযোগ্য (এজন্য <math>{\displaystyle \boldsymbol A}</math> এর সারিসমূহ রৈখিকভাবে স্বাধীন, ব্যপ্তি <math>{\displaystyle K^n}</math>, এবং <math>{\displaystyle K^n}</math> এর ভিত্তি গঠন করে)।
* শূন্য (0) সংখ্যাটি <math>{\displaystyle \boldsymbol A}</math> এর কোন [[আইগেনমান|আইগেন-মান]] নয়।
* ম্যাট্রিক্স <math>{\displaystyle \boldsymbol A}</math>-কে [[উপাদান ম্যাট্রিক্স|উপাদান ম্যাট্রিক্সের]] সসীম গুণফল আকারে প্রকাশ করা যায়।

ম্যাট্রিক্স <math>{\displaystyle \boldsymbol A}</math> এর একটি বাম-বিপরীত (অর্থাৎ, এমন একটি ম্যাট্রিক্স <math>{\displaystyle \boldsymbol B}</math> আছে যেন <math>{\displaystyle \mathbf {BA} =\mathbf {I}}</math> হয়) অথবা ডান-বিপরীত (অর্থাৎ, এমন একটি ম্যাট্রিক্স <math>{\displaystyle \boldsymbol C}</math> আছে যেন <math>{\displaystyle \mathbf {AC} =\mathbf {I}}</math> হয়) ম্যাট্রিক্স বিদ্যমান, উভয়ই বিদ্যমান থাকলে <math>{\displaystyle \boldsymbol {B = C = A^{-1}}}</math>।

=== অন্যান্য বৈশিষ্ট্যাবলি ===
এছাড়াও, কোন বিপরীত ম্যাট্রিক্স <math>{\displaystyle \boldsymbol A}</math> এর জন্য নিম্নোক্ত বৈশিষ্ট্য গুলো সত্য:

* <math>{\displaystyle (\boldsymbol A^{-1})^{-1}} = \boldsymbol A</math>;
* <math>{\displaystyle (\boldsymbol {kA})^{-1} = {\boldsymbol k^{-1} \boldsymbol A^{-1}}}</math>, অশূন্য স্কেলার <math>{\displaystyle \boldsymbol k}</math> এর জন্য;
* <math>{\displaystyle (\boldsymbol {kA})^{+} = \boldsymbol x^{+}\boldsymbol A^{-1}}</math>, যেখানে <sup>+</sup> দ্বারা [[মুর-পেনরোজ বিপরীত ম্যাট্রিক্স]] বোঝানো হয়, এবং <math>{\displaystyle \boldsymbol x}</math> একটি ভেক্টর।
* <math>{\displaystyle (\boldsymbol A^{T})^{-1} = (\boldsymbol A^{-1})^{T}}</math>;
* যে কোন <math>{\displaystyle n \times n}</math> বিপরীত ম্যাট্রিক্স <math>{\displaystyle \boldsymbol A}</math> এবং <math>{\displaystyle \boldsymbol B}</math> এর জন্য, <math>{\displaystyle (\boldsymbol {AB})^{-1} = {\boldsymbol B^{-1} \boldsymbol A^{-1}}}</math> । আরও সাধারণভাবে, যদি <math>{\displaystyle \boldsymbol A_1, \boldsymbol A_2, \boldsymbol A_3,......,\boldsymbol A_k}</math>   <math>{\displaystyle n \times n}</math> বিপরীত ম্যাট্রিক্স হয়, তাহলে <math>{\displaystyle (\boldsymbol A_1\boldsymbol A_2......\boldsymbol A_{k-1}\boldsymbol A_k) 
= \boldsymbol A_{k-1}^{-1}\boldsymbol A_k^{-1}......\boldsymbol A_2^{-1}\boldsymbol A_1^{-1} }</math>;
* <math>{\displaystyle \det \boldsymbol A^{-1} = (\det \boldsymbol A)^{-1}}</math>।

কোন ম্যাট্রিক্স <math>{\displaystyle \boldsymbol U}</math> এর বিপরীত ম্যাট্রিক্স <math>{\displaystyle \boldsymbol V}</math> এর সারিগুলোর সাথে <math>{\displaystyle \boldsymbol U}</math> এর কলামসমূহ [[অর্থোনরমালিটি|অর্থোনরমাল]] (পরস্পর লম্ব একক ভেক্টর)। এটা দেখার জন্য, ধরা যাক, <math>{\displaystyle \boldsymbol {UV} = \boldsymbol {VU} = \boldsymbol I}</math>, যেখানে <math>{\displaystyle \boldsymbol V}</math> এর সারিগুলোকে <math>{\displaystyle v_{i}^{T}}</math> হিসেবে লেখা হয় এবং <math>{\displaystyle \boldsymbol U}</math> এর কলামগুলোকে <math>{\displaystyle u_{j}}</math> (যখন <math>{\displaystyle 1\leq i,j\leq n}</math>) হিসেবে লেখা হয়। তাহলে পরিষ্কারভাবেই, এমন যে কোন দুটি উপাদানের [[ডট গুণফল|ইউক্লিডীয় স্কেলার গুণফল]] <math>{\displaystyle v_{i}^{T}u_{j}=\delta _{i,j}}</math>। কোন কোন ক্ষেত্রে যেখানে <math>{\displaystyle \boldsymbol U}</math> এর কলামের সাথে [[অভিলম্ব]] (অর্থোগোনাল) ভেক্টরের সেট (অর্থোনরমাল ভেক্টর না-ও হতে পারে) জানা থাকে, সেক্ষেত্রে এই ধর্ম কাজে লাগিয়ে কোন বর্গ ম্যাট্রিক্সের বিপরীত ম্যাট্রিক্স গঠন করা যায়, এবং এই প্রাথমিক সেটে পুনরাবৃত্তিমূলক [[গ্রাম-স্মিট প্রক্রিয়া]] (''[[গ্রাম-স্মিট প্রক্রিয়া|Gram-Schmidt process]]'') প্রয়োগ করে বিপরীত ম্যাট্রিক্স <math>{\displaystyle \boldsymbol V}</math> এর সারিসমূহ নির্ণয় করা যায়।

কোন ম্যাট্রিক্স যা তার নিজেরই বিপরীত ম্যাট্রিক্স যেন <math>{\displaystyle \boldsymbol {A = A^{-1}}}</math> এবং <math>{\displaystyle \boldsymbol A^{2} = \boldsymbol I}</math>, তাকে [[বিজড়িত ম্যাট্রিক্স]] (''[[বিজড়িত ম্যাট্রিক্স|involutory matrix]]'') বলা হয়।

=== অ্যাডজুগেট এর সাথে সম্পর্ক ===
কোন ম্যাট্রিক্স <math>{\displaystyle \boldsymbol A}</math> এর [[অ্যাডজুগেট ম্যাট্রিক্স|অ্যাডজুগেট]] ব্যবহার করে ঐ ম্যাট্রিক্স এর বিপরীত ম্যাট্রিক্স নিম্নরূপে নির্ণয় করা যায়:

যদি <math>{\displaystyle \boldsymbol A}</math> একটি <math>{\displaystyle n \times n}</math> বিপরীতযোগ্য ম্যাট্রিক্স হয়, তাহলে

<math>{\displaystyle \boldsymbol A^{-1}={\frac {1}{\det(\boldsymbol A)}}\operatorname {adj} (\boldsymbol A)}</math>।

=== অভেদ ম্যাট্রিক্স এর সাথে সম্পর্ক ===
ম্যাট্রিক্স গুণনের সংযোজনশীলতা থেকে পাওয়া যায় যে, যদি

<math>{\displaystyle \mathbf {AB} =\mathbf {I} \ }</math>,

হয়, তাহলে ''সসীম বর্গ'' ম্যাট্রিক্স <math>{\displaystyle \boldsymbol A}</math> এবং <math>{\displaystyle \boldsymbol B}</math> এর জন্য,

<math>{\displaystyle \mathbf {BA} =\mathbf {I} \ }</math>।

=== ঘনত্ব ===
বাস্তব সংখ্যাক্ষেত্রে, <math>{\displaystyle \boldsymbol R^{n \times n} }</math> এর উপসেট হিসেবে বিবেচনা করা যায়, এমন কোন একক <math>{\displaystyle n \times n}</math> ম্যাট্রিক্সের সেট একটি [[ফাঁকা সেট]] হবে, অর্থাৎ, এর [[অঁরি ল্যাবেগ|ল্যাবেগ]] [[ফাঁকা সেট|পরিমাপ শূন্য]]। এটা সত্য এজন্য যে, একক ম্যাট্রিক্সসমূহ [[নির্ণায়ক]] ফাংশনের মূল। এটি একটি অবিচ্ছিন্ন ফাংশন, কেননা এটি ম্যাট্রিক্সের ভুক্তি/ উপাদানে একটি বহুপদী। অতএব, [[পরিমাপ (গণিত)|পরিমাপ তত্ত্বের]] ভাষায় [[প্রায় সমস্ত|প্রায় সকল]] <math>{\displaystyle n \times n}</math> ম্যাট্রিক্সই বিপরীতযোগ্য।

এছাড়াও, সকল <math>{\displaystyle n \times n}</math> ম্যাট্রিক্সের [[টপোলজিক্যাল স্থান|টপোলজিক্যাল স্থানে]], <math>{\displaystyle n \times n}</math> বিপরীত ম্যাট্রিক্সসমূহ একটি [[ঘন সেট|ঘন]] [[উন্মুক্ত সেট]]। অনুরূপভাবে, কোন <math>{\displaystyle n \times n}</math> ম্যাট্রিক্সের স্থানে, একক ম্যাট্রিক্সের সেট [[আবদ্ধ সেট|আবদ্ধ]] এবং কোথাও-ই ঘন নয়।

অবশ্য প্রায়োগিক ক্ষেত্রে অ-বিপরীতযোগ্য ম্যাট্রিক্স পাওয়া যেতে পারে। [[সাংখ্যিক বিশ্লেষণ|সাংখ্যিক বিশ্লেষণে]], যে সকল বিপরীতযোগ্য কিন্তু অ-বিপরীতযোগ্য ম্যাট্রিক্সের নিকটবর্তী, সেগুলোও সমস্যা উদ্রেককারী হতে পারে; এ ধরনের ম্যাট্রিক্সকে [[শর্ত সংখ্যা|মন্দ-শর্তাধীন]] বলা হয়ে থাকে।

== উদাহরণ ==
নিচের ২x২ ম্যাট্রিক্সটি বিবেচনা করা যাক:

<math>{\displaystyle \mathbf {A} ={\begin{pmatrix}-1&{\tfrac {3}{2}}\\1&-1\end{pmatrix}}}</math>

ম্যাট্রিক্স <math>{\displaystyle \boldsymbol A}</math> বিপরীতযোগ্য। এটা দেখার জন্য নির্ণায়কটির মান, <math>{\displaystyle \det \mathbf {A} =-1/2}</math> বের করা যায়, যা অশূন্য।

অ-বিপরীতযোগ্য, বা একক ম্যাট্রিক্সের উদাহরণ হিসেবে ধরা যাক,

<math>{\displaystyle \mathbf {B} ={\begin{pmatrix}-1&{\tfrac {3}{2}}\\{\tfrac {2}{3}}&-1\end{pmatrix}}}</math>

ম্যাট্রিক্স <math>{\displaystyle \boldsymbol B}</math> এর নির্নায়ক শূন্য, যা কোন ম্যাট্রিক্সের অ-বিপরীতযোগ্য হওয়ার জন্য আবশ্যক ও পর্যাপ্ত শর্ত।

== ম্যাট্রিক্স বিপরীতকরণ পদ্ধতিসমূহ ==

=== গাউসীয় অপনয়ন ===
[[গাউসীয় অপনয়ন|গাউস-জর্ডান অপনয়ন]] একটি [[অ্যালগরিদম]], যা ব্যবহার করে কোন ম্যাট্রিক্স বিপরীতযোগ্য কি-না তা বের করা যায় এবং বিপরীত ম্যাট্রিক্স নির্ণয় করা যায়। বিকল্প একটি পন্থা হচ্ছে [[নিম্ন-ঊর্ধ্ব বিশ্লেষণ]] (''[[নিম্ন-ঊর্ধ্ব বিশ্লেষণ|LU decomposition]]''), যার মাধ্যমে ঊর্ধ্ব ও নিম্ন ত্রিভুজাকার ম্যাট্রিক্স তৈরি হয়, যেগুলোর বিপরীতকরণ সহজতর।

=== নিউটনের পদ্ধতি ===
[[গৌণিক বিপরীতক|গৌণিক বিপরীতক অ্যালগরিদমে]] ব্যবহৃত [[নিউটনের পদ্ধতি|নিউটনের পদ্ধতির]] একটি সাধারণ রূপ ব্যবহার করা সুবিধাজনক হতে পারে, যদি উপযুক্ত সূচনা মান বাছাই করা যায়:

<math>{\displaystyle X_{k+1}=2X_{k}-X_{k}AX_{k}}</math>।

সূচনা মান বাছাইয়ের কয়েকটি উপায় পাওয়া যায় [[ভিক্টর পান]] এবং [[জন রিফ]] এর কৃত কাজে। এমন একটি পন্থার সংক্ষিপ্তসার [[বাইট (সাময়িকী)|বাইট সাময়িকীতে]] প্রকাশিত হয়েছে।

নিউটনের পদ্ধতি বিশেষভাবে কার্যকরী যখন কোন সম্পর্কযুক্ত ম্যাট্রিক্স গোষ্ঠী পর্যাপ্তভাবে, ওপরের [[হোমোটপি]]'র (সমস্থানিক অবিচ্ছিন্ন ফাংশন) জন্য উল্লিখিত অনুক্রমের ন্যায় আচরণ করে: কখনো কখনো নতুন বিপরীত ম্যাট্রিক্স পরিমার্জনের জন্য ভালো সূচনা বিন্দু হতে পারে, পূর্ববর্তী ম্যাট্রিক্সের ইতোমধ্যে নির্ণীত বিপরীত ম্যাট্রিক্সটি, যা বর্তমান ম্যাট্রিক্সের সাথে অনেকটা সাদৃশ্যপূর্ণ, যেমন- [[ম্যাট্রিক্সের বর্গমূল|ডেনম্যান-বিভার্স পুনরাবৃত্তি পদ্ধতিতে]], ম্যাট্রিক্সের বর্গমূল নির্ণয়ে ব্যবহৃত বিপরীত ম্যাট্রিক্সের অনুক্রম-জোড়; এতে প্রতিটি নতুন ম্যাট্রিক্সে এক দফার বেশি পুনরাবৃত্তি করা লাগতে পারে, যদি সেগুলো একটা ম্যাট্রিক্সই যথেষ্ট হবার মত যথেষ্ট সাদৃশ্যপূর্ণ না হয়। গাউস-জর্ডান অ্যালগরিদম, যেখানে [[আসন্ন-মান ত্রুটি|কম্পিউটারের ত্রুটিপূর্ণ গণনা-পদ্ধতির]] কারণে ক্ষুদ্র ত্রুটির উদ্রেক ঘটে, তা পরিমার্জনের জন্যও নিউটনের পদ্ধতি কার্যকরী।

=== কেইলি-হ্যামিলটন পদ্ধতি ===
[[কেইলি-হ্যামিলটন উপপাদ্য]], <math>{\displaystyle \boldsymbol A}</math> এর বিপরীত ম্যাট্রিক্সকে <math>{\displaystyle \det \mathbf {A}}</math>, <math>{\displaystyle \boldsymbol A}</math> এর পদাঙ্ক (''traces''; মুখ্যকর্ণের উপাদানগুলোর সমষ্টি) ও শক্তির মাধ্যমে প্রকাশ করে।

: <math>\mathbf{A}^{-1} = \frac{1}{\det(\mathbf{A})} \sum_{s=0}^{n-1} \mathbf{A}^s \sum_{k_1,k_2,\ldots,k_{n-1}} \prod_{l=1}^{n-1} \frac{(-1)^{k_l + 1}}{l^{k_l}k_l!} \operatorname{tr}(\mathbf{A}^l)^{k_l},</math>

যেখানে <math>{\displaystyle n}</math> হচ্ছে <math>{\displaystyle \boldsymbol A}</math> এর মাত্রা, <math>{\displaystyle tr(\mathbf A)}</math> হচ্ছে ম্যাট্রিক্স <math>{\displaystyle \boldsymbol A}</math> এর [[ম্যাট্রিক্সের পদাঙ্ক|পদাঙ্ক]] যা মুখ্যকর্ণের উপাদানগুলোর সমষ্টি। এর সমষ্টি নেওয়া হয় <math>{\displaystyle s}</math> এবং সকল <math>{\displaystyle k_l \geq 0 }</math> এর সেটজুড়ে, যা রৈখিক [[ডায়োফ্যান্টাইন সমীকরণ]] মেনে চলে।

<math>s + \sum_{l=1}^{n-1} lk_l = n - 1</math>।

এই সূত্রটি <math>t_l = - (l - 1)! \operatorname{tr}(A^l)</math> আর্গুমেন্ট বিশিষ্ট, সম্পূর্ণ [[বেল বহুপদী]] দ্বারাও লেখা যায়:

: <math> 
\mathbf{A}^{-1} = \frac{1}{\det(\mathbf{A})} \sum_{s=1}^n \mathbf{A}^{s-1} \frac{(-1)^{n - 1}}{(n - s)!} B_{n-s}(t_1, t_2, \ldots, t_{n-s})
</math>।

=== আইগেন-বিশ্লেষণ ===
যদি কোন ম্যাট্রিক্স  আইগেন-বিশ্লেষণযোগ্য হয়, এবং যদি এর কোন আইগেন-মান শূন্য না হয়, তাহলে  একটি বিপরীতযোগ্য ম্যাট্রিক্স ও এর বিপরীত ম্যাট্রিক্সটি হচ্ছে-

<math>\mathbf{A}^{-1} = \mathbf{Q}\mathbf{\Lambda}^{-1}\mathbf{Q}^{-1},</math>

যেখানে <math>{\displaystyle \mathbf Q}</math> হচ্ছে <math>{\displaystyle (N \times N)}</math> বর্গ ম্যাট্রিক্স যার <math>{\displaystyle i}</math>-তম কলাম হচ্ছে <math>{\displaystyle \mathbf A}</math> এর আইগেন-ভেক্টর <math>{\displaystyle q_i}</math>, এবং <math>{\displaystyle \mathbf \Lambda}</math> হচ্ছে একটি [[কর্ণ ম্যাট্রিক্স]] যার কর্ণ উপাদানগুলি হচ্ছে এর সংশ্লিষ্ট আইগেন-মানসমূহ, অর্থাৎ, <math>\Lambda_{ii} = \lambda_i</math> । এছাড়াও, যেহেতু <math>{\displaystyle \mathbf \Lambda}</math> একটি কর্ণ ম্যাট্রিক্স, এর বিপরীত ম্যাট্রিক্স নির্ণয় করা বেশ সহজ:

<math>\left[\Lambda^{-1}\right]_{ii} = \frac{1}{\lambda_i}</math>।

=== চোলেস্কি বিশ্লেষণ ===
যদি ম্যট্রিক্স <math>{\displaystyle \mathbf A}</math> [[ম্যাট্রিক্সের নির্দিষ্টতা|ধনাত্মক নির্দিষ্ট]] হয়, তাহলে এর বিপরীত ম্যাট্রিক্স পাওয়া যায় নিম্নরূপে:

: <math>\mathbf{A}^{-1} = (\mathbf{L}^{*})^{-1} \mathbf{L}^{-1} , </math>

যেখানে <math>{\displaystyle \mathbf L}</math> হচ্ছে <math>{\displaystyle \mathbf A}</math> এর নিম্ন-ত্রিভুজাকার [[চোলেস্কি বিশ্লেষণ]], এবং <math>{\displaystyle \mathbf L^*}</math> দ্বারা <math>{\displaystyle \mathbf L}</math> এর অনুবন্ধী বিম্ব (''conjugate transpose'') ম্যাট্রিক্স নির্দেশ করে।

=== বিশ্লেষণাত্মক সমাধান ===
সহগুণক (''cofactor'') ম্যাট্রিক্সের বিম্ব, যা অ্যাডজুগেট ম্যাট্রিক্স নামে পরিচিত, সেটিও ''ক্ষুদ্র'' কোন ম্যাট্রিক্সের বিপরীত ম্যাট্রিক্স নির্ণয়ের কার্যকর উপায় হতে পারে, কিন্তু বৃহৎ কোন ম্যাট্রিক্সের ক্ষেত্রে এই পুনরাবৃত্তিমূলক (''recursive'') পদ্ধতিটি তেমন কার্যকর নয়। বিপরীত ম্যাট্রিক্স নির্ণয়ের জন্য আমাদেরকে সহগুণকের ম্যাট্রিক্স নির্ণয় করতে হয়:

: <math>\mathbf{A}^{-1}={1 \over \begin{vmatrix}\mathbf{A}\end{vmatrix}}\mathbf{C}^{\mathrm{T}}={1 \over \begin{vmatrix}\mathbf{A}\end{vmatrix}}
\begin{pmatrix}
\mathbf{C}_{11} & \mathbf{C}_{21} & \cdots & \mathbf{C}_{n1} \\
\mathbf{C}_{12} & \mathbf{C}_{22} & \cdots & \mathbf{C}_{n2} \\
\vdots & \vdots & \ddots & \vdots \\
\mathbf{C}_{1n} & \mathbf{C}_{2n} & \cdots & \mathbf{C}_{nn} \\
\end{pmatrix}</math>।
: যেন
:: <math>\left(\mathbf{A}^{-1}\right)_{ij}={1 \over \begin{vmatrix}\mathbf{A}\end{vmatrix}}\left(\mathbf{C}^{\mathrm{T}}\right)_{ij}={1 \over \begin{vmatrix}\mathbf{A}\end{vmatrix}}\left(\mathbf{C}_{ji}\right)</math>।
:: যেখানে <math>{\displaystyle |\mathbf A| }</math> হচ্ছে <math>{\displaystyle \mathbf A}</math> এর [[নির্ণায়ক]], <math>{\displaystyle \mathbf C}</math> হচ্ছে [[অণুরাশি (রৈখিক বীজগণিত)|সহগুণক ম্যাট্রিক্স]], এবং <math>{\displaystyle \mathbf C^T}</math> দ্বারা [[বিম্ব (রৈখিক বীজগণিত)|ম্যাট্রিক্সের বিম্ব]] নির্দেশ করা হয়।

==== ২ × ২ ম্যাট্রিক্স বিপরীতকরণ ====
উপরিল্লিখিত ''সহগুণক সমীকরণ'' থেকে ২×২ ম্যাট্রিক্সের জন্য নিম্নোক্ত ফলাফল পাওয়া যায়। এসব ম্যাট্রিক্সের বিপরীতকরণ নিম্নরূপে করা যায়:

: <math>\mathbf{A}^{-1} = \begin{bmatrix}
a & b \\ c & d \\ 
\end{bmatrix}^{-1} =
\frac{1}{\det \mathbf{A}} \begin{bmatrix}
\,\,\,d & \!\!-b \\ -c & \,a \\ 
\end{bmatrix} =
\frac{1}{ad - bc} \begin{bmatrix}
\,\,\,d & \!\!-b \\ -c & \,a \\ 
\end{bmatrix}</math>।

এটা সম্ভব হয় একারণে যে, <math>{\displaystyle \frac {1}{ad - bc}}</math> হচ্ছে প্রদত্ত ম্যাট্রিক্সের নির্ণায়কের বিপরীত রাশি, এবং এই একই কৌশল অন্যান্য ক্রমের ম্যাট্রিক্সের ক্ষেত্রেও ব্যবহার করা যায়।

কেইলি-হ্যামিলটন পদ্ধতি থেকে পাওয়া যায়:

: <math> \mathbf{A}^{-1}=\frac{1}{\det \mathbf{A}} \left[ \left( \operatorname{tr}\mathbf{A} \right) \mathbf{I} - \mathbf{A} \right] </math>।

==== ৩ × ৩ ম্যাট্রিক্স বিপরীতকরণ ====
গণনার দিক থেকে কার্যকর ৩×৩ ম্যাট্রিক্স বিপরীতকরণের একটি উপায় হচ্ছে-

: <math>\mathbf{A}^{-1} = \begin{bmatrix}
a & b & c\\ d & e & f \\ g & h & i\\
\end{bmatrix}^{-1} =
\frac{1}{\det(\mathbf{A})} \begin{bmatrix}
\, A & \, B & \,C \\ \, D & \, E & \, F \\ \, G & \, H & \, I\\
\end{bmatrix}^\mathrm{T} =
\frac{1}{\det(\mathbf{A})} \begin{bmatrix}
\, A & \, D & \,G \\ \, B & \, E & \,H \\ \, C & \,F & \, I\\
\end{bmatrix}</math>

(যেখানে স্কেলার <math>{\displaystyle A}</math> এর সাথে, ম্যাট্রিক্স <math>{\displaystyle \mathbf A}</math> এর সংমিশ্রণ অনুচিত)।

যদি নির্ণায়ক অশূন্য হয়, তাহলে ম্যাট্রিক্সটি বিপরীতযোগ্য হয়, যেখানে উপরিল্লিখিত ম্যাট্রিক্সের ডান পাশের মধ্যবর্তী ম্যাট্রিক্সটির উপাদানগুলির মান হবে,

: <math>\begin{alignat}{6}
 A &={}&  (ei - fh), &\quad& D &={}& -(bi - ch), &\quad& G &={}&  (bf - ce), \\
 B &={}& -(di - fg), &\quad& E &={}&  (ai - cg), &\quad& H &={}& -(af - cd), \\
 C &={}&  (dh - eg), &\quad& F &={}& -(ah - bg), &\quad& I &={}&  (ae - bd) \\
\end{alignat}</math>

[[সারুসের নিয়ম]] প্রয়োগ করে নিম্নোক্তভাবে <math>{\displaystyle \mathbf A}</math> এর নির্ণায়ক বের করা যায়:

: <math>\det(\mathbf{A}) = aA+bB+cC</math>।

কেইলি-হ্যামিলটন বিশ্লেষণ থেকে পাওয়া যায়:

<math>{\displaystyle \mathbf {A}^{-1}=\frac{1}{\det (\mathbf{A})} \left[ \frac{1}{2}\left( (\operatorname{tr}\mathbf{A})^{2}-\operatorname{tr}\mathbf{A}^{2}\right) \mathbf{I} -\mathbf{A}\operatorname{tr}\mathbf{A}+\mathbf{A}^{2}\right] 
}</math>।



সাধারণ ৩×৩ বিপরীত ম্যাট্রিক্সকে [[ক্রস গুণফল]] এবং [[ত্রিমাত্রিক গুণফল]] দ্বারা অর্থপূর্ণভাবে প্রকাশ করা যায়। যদি কোন ম্যাট্রিক্স <math>{\displaystyle \mathbf {A = [x_0,\; x_1,\; x_2]}}</math> (কলাম ভেক্টর <math>{\displaystyle \mathbf {x_0,\;x_1,\;x_2}}</math> দ্বারা গঠিত) বিপরীতযোগ্য হয়, তাহলে এর বিপরীত ম্যট্রিক্সটি হবে:

: <math>\mathbf{A}^{-1}=\frac{1}{\det(\mathbf A)}\begin{bmatrix}
{(\mathbf{x_1}\times\mathbf{x_2})}^\mathrm{T} \\
{(\mathbf{x_2}\times\mathbf{x_0})}^\mathrm{T} \\
{(\mathbf{x_0}\times\mathbf{x_1})}^\mathrm{T} \\
\end{bmatrix}</math>।

লক্ষ্য রাখতে হবে যে, <math>{\displaystyle \mathbf {\det (A)}}</math> হচ্ছে <math>{\displaystyle \mathbf x_0}</math>, <math>{\displaystyle \mathbf x_1}</math>, এবং <math>{\displaystyle \mathbf x_2}</math> এর ত্রিমাত্রিক গুণফলের সমান- যা এর সারি বা কলাম দ্বারা গঠিত [[প্যারালেলেপাইপেড]] (''[[প্যারালেলেপাইপেড|parallelepiped]]'') এর আয়তন এর সমান:

: <math>\det(\mathbf{A})=\mathbf{x}_0\cdot(\mathbf{x}_1\times\mathbf{x}_2)</math>।

সূত্রটির যথার্থতা যাচাই করা যায় ক্রস ও ত্রিমাত্রিক গুণফলের বৈশিষ্ট্যাবলি থেকে এবং গুচ্ছের (''group'') জন্য সেগুলো ব্যবহার করলে, বাম ও ডান বিপরীতদ্বয় সর্বদা সমাপতিত হয়। সজ্ঞামূলকভাবে, ক্রস গুণফল হবার কারণে <math>{\displaystyle \mathbf A^{-1}}</math> এর প্রতিটি সারিই <math>{\displaystyle \mathbf A}</math> এর বাকি দুই কলামের সাথে লম্বভাবে থাকে (ফলস্বরূপ, <math>\mathbf{I}=\mathbf{A}^{-1}\mathbf{A}</math> এর কর্ণ-বহির্ভূত পদগুলো শূন্য হয়)।

<math>\det(\mathbf{A})=\mathbf{x}_0\cdot(\mathbf{x}_1\times\mathbf{x}_2)</math> দ্বারা ভাগ করলে,

<math>\mathbf{I}=\mathbf{A}^{-1}\mathbf{A}</math> এর কর্ণস্থ পদগুলোর মান হয় ১।

উদাহরণস্বরূপ, প্রথম কর্ণ হচ্ছে:

<math>1 = \frac{1}{\mathbf{x_0}\cdot(\mathbf{x}_1\times\mathbf{x}_2)} \mathbf{x_0}\cdot(\mathbf{x}_1\times\mathbf{x}_2)</math>।

==== ৪ × ৪ ম্যাট্রিক্স বিপরীতকরণ ====
মাত্রা বাড়তে থাকলে, <math>{\displaystyle \mathbf A}</math> এর বিপরীত ম্যাট্রিক্সের রাশিগুলো জটিল হতে থাকে।  হলে, কেইলি-হ্যামিলটন পদ্ধতি থেকে এমন একটি রাশি পাওয়া যায় যা ব্যবহারযোগ্য:

: <math> \mathbf{A}^{-1}=\frac{1}{\det (\mathbf{A})}\left[ \frac{1}{6}\left( (\operatorname{tr}\mathbf{A})^{3}-3\operatorname{tr}\mathbf{A}\operatorname{tr}\mathbf{A}^{2}+2\operatorname{tr}\mathbf{A}^{3}\right) \mathbf{I} -\frac{1}{2}\mathbf{A}\left( (\operatorname{tr}\mathbf{A})^{2}-\operatorname{tr}\mathbf{A}^{2}\right) +\mathbf{A}^{2}\operatorname{tr}\mathbf{A}-\mathbf{A}^{3}\right] </math>।

=== জোটবদ্ধ বিপরীতকরণ ===
নিম্নোক্ত  বিশ্লেষণাত্মক বিপরীতকরণ সূত্র ব্যবহার করে ''জোটবদ্ধভাবেও'' (''blockwise'') বিপরীত ম্যাট্রিক্স নির্ণয় করা যায়:<math display="block">{\displaystyle {\begin{bmatrix}\mathbf {A} &\mathbf {B} \\\mathbf {C} &\mathbf {D} \end{bmatrix}}^{-1}={\begin{bmatrix}\mathbf {A} ^{-1}+\mathbf {A} ^{-1}\mathbf {B} (\mathbf {D} -\mathbf {CA} ^{-1}\mathbf {B} )^{-1}\mathbf {CA} ^{-1}&-\mathbf {A} ^{-1}\mathbf {B} (\mathbf {D} -\mathbf {CA} ^{-1}\mathbf {B} )^{-1}\\-(\mathbf {D} -\mathbf {CA} ^{-1}\mathbf {B} )^{-1}\mathbf {CA} ^{-1}&(\mathbf {D} -\mathbf {CA} ^{-1}\mathbf {B} )^{-1}\end{bmatrix}},}
\;.\;.\;.\;.\;. (\mathbf 1)</math>যেখানে <math>{\displaystyle \mathbf {A,\;B,\;C}}</math>, এবং <math>{\displaystyle \mathbf D}</math> হচ্ছে যেকোন আকারের [[জোট ম্যাট্রিক্স|ম্যাট্রিক্স উপজোট]] (<math>{\displaystyle \mathbf A}</math> অবশ্যই বর্গ ম্যাট্রিক্স হতে হবে যেন তার বিপরীতকরণ সম্ভব হয়। এছাড়াও, <math>{\displaystyle \mathbf A}</math> এবং <math>{\displaystyle \mathbf {D - CA^{-1}B}}</math> একক ম্যাটিক্স নয়)। এই কৌশলটি বিশেষত সুবিধাজনক যদি <math>{\displaystyle \mathbf A}</math> একটি কর্ণ ম্যাট্রিক্স এবং <math>{\displaystyle \mathbf {D - CA^{-1}B}}</math> (<math>{\displaystyle \mathbf A}</math> এর [[শুর পরিপূরক]]) একটি ক্ষুদ্রাকার ম্যাট্রিক্স হয়, কেননা এই দুটি ম্যাট্রিক্সেরই কেবল বিপরীত নির্ণয় করতে হয়।

এই পদ্ধতিটি বেশ কয়েকবার পুনরুদ্ভাবিত হয় এবং হান্স বোল্টজ (১৯২৩), যিনি ভূগাণিতিক ম্যাট্রিক্সের বিপরীতকরণে এটা ব্যবহার করেন আর [[তাদেউশ বানাশেভিচ]] (১৯৩৭), যিনি এর সাধারণ রূপ দান ও যথার্থতা প্রমাণ করেন; তাদের জন্যই পদ্ধতিটি প্রতিষ্ঠিত হয়।

[[শূন্যতার উপপাদ্য (গণিত)|শূন্যতার উপপাদ্য]] অনুসারে, <math>{\displaystyle \mathbf A}</math> এর শূন্যতা এর বিপরীত ম্যাট্রিক্সের ডান দিকের নিম্নভাগের উপজোটের শূন্যতার সমান হয়, এবং <math>{\displaystyle \mathbf B}</math>এর শূন্যতা এর বিপরীত ম্যাট্রিক্সের ডান দিকের ঊর্ধ্বভাগের শূন্যতার সমান হয়।

যে বিপরীতকরণ প্রক্রিয়ায় ওপরের সমীকরণ (**1**) পাওয়া যায়, সেখানে ম্যাট্রিক্স জোট অপারেশন প্রথমে <math>{\displaystyle \mathbf C}</math> ও <math>{\displaystyle \mathbf D}</math> এর ওপর প্রয়োগ করা হয়। তার পরিবর্তে যদি <math>{\displaystyle \mathbf A}</math> ও <math>{\displaystyle \mathbf B}</math> এর ওপর প্রথমে প্রযুক্ত হয়, যেখানে <math>{\displaystyle \mathbf A}</math> এবং <math>{\displaystyle \mathbf {A - BD^{-1}C}}</math> একক-নয়, তাহলে পাওয়া যায়,

<math display="block">{\displaystyle {\begin{bmatrix}\mathbf {A} &\mathbf {B} \\\mathbf {C} &\mathbf {D} \end{bmatrix}}^{-1}={\begin{bmatrix}(\mathbf {A} -\mathbf {BD} ^{-1}\mathbf {C} )^{-1}&-(\mathbf {A} -\mathbf {BD} ^{-1}\mathbf {C} )^{-1}\mathbf {BD} ^{-1}\\-\mathbf {D} ^{-1}\mathbf {C} (\mathbf {A} -\mathbf {BD} ^{-1}\mathbf {C} )^{-1}&\quad \mathbf {D} ^{-1}+\mathbf {D} ^{-1}\mathbf {C} (\mathbf {A} -\mathbf {BD} ^{-1}\mathbf {C} )^{-1}\mathbf {BD} ^{-1}\end{bmatrix}}}\;.\;.\;.\;.\;. (\mathbf 2)</math>সমীকরণ (**1**) ও (**2**) কে সমীকৃত করে পাওয়া যায়,<math display="block">{\displaystyle (\mathbf {A} -\mathbf {BD} ^{-1}\mathbf {C} )^{-1}=\mathbf {A} ^{-1}+\mathbf {A} ^{-1}\mathbf {B} (\mathbf {D} -\mathbf {CA} ^{-1}\mathbf {B} )^{-1}\mathbf {CA} ^{-1}\,}\;.\;.\;.\;.\;. (\mathbf 3)</math><math display="block">{\displaystyle (\mathbf {A} -\mathbf {BD} ^{-1}\mathbf {C} )^{-1}\mathbf {BD} ^{-1}=\mathbf {A} ^{-1}\mathbf {B} (\mathbf {D} -\mathbf {CA} ^{-1}\mathbf {B} )^{-1}\,}</math><math display="block">{\displaystyle \mathbf {D} ^{-1}\mathbf {C} (\mathbf {A} -\mathbf {BD} ^{-1}\mathbf {C} )^{-1}=(\mathbf {D} -\mathbf {CA} ^{-1}\mathbf {B} )^{-1}\mathbf {CA} ^{-1}\,}</math><math display="block">{\displaystyle \mathbf {D} ^{-1}+\mathbf {D} ^{-1}\mathbf {C} (\mathbf {A} -\mathbf {BD} ^{-1}\mathbf {C} )^{-1}\mathbf {BD} ^{-1}=(\mathbf {D} -\mathbf {CA} ^{-1}\mathbf {B} )^{-1}\,}</math>যেখানে সমীকরণ (**3*') হচ্ছে [[উডবারি ম্যাট্রিক্স অভেদ]], যা [[উডবারি ম্যাট্রিক্স অভেদ|দ্বিপদী বিপরীত উপপাদ্যের]] সমতুল্য।

যেহেতু কোন <math>{\displaystyle n \times n}</math> ম্যাট্রিক্সের জোটবদ্ধ বিপরীতকরণ প্রক্রিয়ায় দুটি অর্ধ-আকৃতির ম্যাট্রিক্সের বিপরীতকরণ ও তাদের মধ্যে ৬টি গুণন প্রক্রিয়া সম্পন্ন করতে হয়, সেহেতু এটা দেখানো যায় যে, জোটবদ্ধ বিপরীতকরণে যে [[বিভাজন ও বিজয় অ্যালগরিদম]] (*divide-and-conquer algorithm*) ব্যবহৃত হয়, তার সময়-সংক্রান্ত জটিলতা, অভ্যন্তরীণভাবে ব্যবহৃত [[ম্যাট্রিক্স গুনন|ম্যাট্রিক্স গুণন অ্যালগরিদমের]] মতোই। অপারেশনের জটিলতা <math>{\displaystyle O \;(n^{2.3727})}</math> বিশিষ্ট ম্যাট্রিক্স গুণন অ্যালগরিদমের অস্তিত্ব পাওয়া যায়, যেখানে সর্বনিম্ন প্রমাণিত সীমা হচ্ছে <math>{\displaystyle \Omega \; (n^2 \log n)}</math>।

এই সূত্রটি উল্লখেযোগ্যভাবে সরল হয়ে যায় যখন ঊর্ধ্ব-ডান জোট ম্যাট্রিক্স <math>{\displaystyle \mathbf B}</math> একটি শূন্য ম্যাট্রিক্স হয়। এই সূত্রটি কার্যকর যখন <math>{\displaystyle \mathbf A}</math> এবং <math>{\displaystyle \mathbf D}</math> এর বিপরীতকরণ সূত্রদ্বয় তুলনামূলভাবে সরল (অথবা [[মুর-পেনরোজ বিপরীত ম্যাট্রিক্স|ছদ্ম-বিপরীত]] যেখানে সকল জোট বর্গ ম্যাট্রিক্স নয়)। এই বিশেষ ক্ষেত্রে, জোট ম্যাট্রিক্স বিপরীতকরণের উপরিল্লিখিত সম্পূর্ণ সাধারণ সূত্রটি দাঁড়ায়,

<math>{\displaystyle {\begin{bmatrix}\mathbf {A} &\mathbf {0} \\\mathbf {C} &\mathbf {D} \end{bmatrix}}^{-1}={\begin{bmatrix}\mathbf {A} ^{-1}&\mathbf {0} \\-\mathbf {D} ^{-1}\mathbf {CA} ^{-1}&\mathbf {D} ^{-1}\end{bmatrix}}}</math>।

=== নিউম্যান ধারার মাধ্যমে ===
যদি ম্যাট্রিক্স <math>{\displaystyle \mathbf A}</math> এর এমন কোন বৈশিষ্ট্য থাকে যে,

: <math>\lim_{n \to \infty} (\mathbf I - \mathbf A)^n = 0</math>,

তাহলে <math>{\displaystyle \mathbf A}</math> ম্যাট্রিক্সটি একক-নয় (*non-singular*) এবং এর বিপরীত ম্যাট্রিক্সটিকে [[নিউম্যান ধারা]] দ্বারা প্রকাশ করা যায়:

: <math>\mathbf A^{-1} = \sum_{n = 0}^\infty (\mathbf I - \mathbf A)^n</math>।

সমষ্টির পদসংখ্যা কমিয়ে আনলে একটি "কাছাকাছি" বিপরীত ম্যাট্রিক্স পাওয়া যায়, যা একটি [[প্রাক-শর্তারোপক]] (*pre-conditioner*) হিসেবে উপযোগী। নিউম্যান ধারাকে একটি [[জ্যামিতিক ধারা]] হিসেবে লিখলে কোন হ্রাসকৃত ধারা নিয়ে এক্সপোনেনসিয়ালভাবে অগ্রসর হওয়া যায়। যেমন- এটি

: <math>\sum_{n=0}^{2^L-1} (\mathbf I -\mathbf A)^n=\prod_{l=0}^{L-1}(\mathbf I + (\mathbf I -\mathbf A)^{2^l})</math>- কে সিদ্ধ করে।

অতএব, সমষ্টির <math>2^L</math> সংখ্যক পদ নির্ণয়ে কেবলমাত্র <math>2L-2</math> সংখ্যক ম্যাট্রিক্স গুণন করা দরকার হয়।

আরও সাধারণভাবে, যদি <math>{\displaystyle \mathbf A}</math> কোন বিপরীতযোগ্য ম্যাট্রিক্স <math>{\displaystyle \mathbf X}</math> এর "নিকটবর্তী" হয়, এই অর্থে যে,

: <math>\lim_{n \to \infty} (\mathbf I - \mathbf X^{-1} \mathbf A)^n = 0 \mathrm{~~or~~} \lim_{n \to \infty} (\mathbf I - \mathbf A \mathbf X^{-1})^n = 0</math>

সেক্ষেত্রে <math>{\displaystyle \mathbf A}</math> একক-নয় এবং এর বিপরীত হচ্ছে

: <math>\mathbf A^{-1} = \sum_{n = 0}^\infty \left(\mathbf X^{-1} (\mathbf X - \mathbf A)\right)^n \mathbf X^{-1}~</math>।

যদি এমন হয় যে, <math>{\displaystyle \mathbf {A-X}}</math> এর [[ক্রম (রৈখিক বীজগণিত)|ক্রম]] (*rank*) ১ হয়, তাহলে এর সরলীকৃত রূপ দাঁড়ায়,

: <math>\mathbf A^{-1} = \mathbf X^{-1} - \frac{\mathbf X^{-1} (\mathbf A - \mathbf X) \mathbf X^{-1}}{1+\operatorname{tr}(\mathbf X^{-1} (\mathbf A - \mathbf X))}~</math>।

=== *p*-adic অনুমান ===
যদি <math>{\displaystyle \mathbf A}</math> এমন একটি ম্যাট্রিক্স হয় যার সহগসমূহ [[পূর্ণ সংখ্যা|পূর্ণ]] বা [[মূলদ সংখ্যা|মূলদ]] সংখ্যা, এবং কোন [[ইচ্ছামাফিক-নির্ভুলতা বিশিষ্ট গণনা|ইচ্ছামাফিক-নির্ভুলতা]] বিশিষ্ট গণনা-পদ্ধতিতে এর সমাধান খোঁজা হয়, তাহলে কোন [[P-adic সংখ্যা|*p*-adic]] অনুমান পদ্ধতি তার নির্ভুল (*exact*) সমাধানের দিকে অভিসারী হয়, যেখানে প্রমিত [[ম্যাট্রিক্স গুনন|ম্যাট্রিক্স গুণন]] ব্যবহৃত হয়েছে বলে ধরে নেওয়া হয়। এই পদ্ধতিটি *p*-adic অনুমানের ডিক্সন পদ্ধতির মাধ্যমে <math>{\displaystyle n}</math>-সংখ্যক রৈখিক ব্যবস্থা সমাধানের ওপর নির্ভরশীল এবং ইচ্ছামাফিক-নির্ভুলতা বিশিষ্ট ম্যাট্রিক্স অপারেশনের জন্য বিশেষায়িত সফটওয়্যার, যেমন- আইএমএল এ সহজলভ্য।

== বিপরীত ম্যাট্রিক্সের অন্তরক ==
ধরা যাক, কোন বিপরীতযোগ্য ম্যাট্রিক্স <math>{\displaystyle \mathbf A}</math> একটি পরামিতিক রাশি <math>{\displaystyle t}</math> এর ওপর নির্ভরশীল। তাহলে <math>{\displaystyle t}</math> এর সাপেক্ষে <math>{\displaystyle \mathbf A}</math> এর বিপরীত ম্যাট্রিক্সের অন্তরক হবে

: <math> \frac{\mathrm{d}\mathbf{A}^{-1}}{\mathrm{d}t} = - \mathbf{A}^{-1} \frac{\mathrm{d}\mathbf{A}}{\mathrm{d}t} \mathbf{A}^{-1} </math>।

<math>{\displaystyle \mathbf A}</math> এর বিপরীত ম্যট্রিক্সের অন্তরকের জন্য ওপরের রাশি প্রতিপাদন করতে হলে, বিপরীত ম্যাট্রিক্সের সংজ্ঞা <math>\mathbf{A}^{-1}\mathbf{A}=\mathbf{I}</math> এর ব্যবকলন করা যায় এবং তারপর <math>{\displaystyle \mathbf A}</math> এর বিপরীত ম্যাট্রিক্সের জন্য সমাধান করা হয়:

: <math>\frac{\mathrm{d}\mathbf{A}^{-1}\mathbf{A}}{\mathrm{d}t}
=\frac{\mathrm{d}\mathbf{A}^{-1}}{\mathrm{d}t}\mathbf{A}
+\mathbf{A}^{-1}\frac{\mathrm{d}\mathbf{A}}{\mathrm{d}t}
=\frac{\mathrm{d}\mathbf{I}}{\mathrm{d}t}
=\mathbf{0}</math>।

উভয় পক্ষ হতে <math>\mathbf{A}^{-1}\frac{\mathrm{d}\mathbf{A}}{\mathrm{d}t}</math> বিয়োগ করে এবং ডানপাশে <math>\mathbf{A}^{-1}</math> দ্বারা গুণ করলে বিপরীত ম্যাট্রিক্সটির অন্তরকের যথার্থ রাশিটি পাওয়া যায়:

: <math> \frac{\mathrm{d}\mathbf{A}^{-1}}{\mathrm{d}t} = - \mathbf{A}^{-1} \frac{\mathrm{d}\mathbf{A}}{\mathrm{d}t} \mathbf{A}^{-1} </math>।

অনুরূপভাবে, যদি <math>\epsilon</math> একটি ক্ষুদ্র সংখ্যা হয় তাহলে,

: <math>\left(\mathbf{A} + \epsilon\mathbf{X}\right)^{-1}
= \mathbf{A}^{-1}
- \epsilon \mathbf{A}^{-1} \mathbf{X} \mathbf{A}^{-1} + \mathcal{O}(\epsilon^2)\,</math>।

আরও সাধারণভাবে, যদি

: <math> 
\frac { \mathrm{d}f(\mathbf{A})}{ \mathrm{d}t}=\sum_i g_i (\mathbf{A}) \frac{\mathrm{d}\mathbf{A}}{\mathrm{d}t}h_i (\mathbf{A}),
</math>

তাহলে,

: <math> f (\mathbf{A}+\epsilon\mathbf{X})= f (\mathbf{A})+\epsilon\sum_i g_i (\mathbf{A})
\mathbf{X}
h_i (\mathbf{A})+ \mathcal{O}(\epsilon^2)
</math>।
: <math>n</math> কোন ধনাত্মক সংখ্যা হলে,
: <math>
\begin{align}
\frac{ \mathrm{d}\mathbf{A}^{n}}{ \mathrm{d}t}&=\sum_{i=1}^n \mathbf{A}^{i-1}\frac{ \mathrm{d}\mathbf{A}}{ \mathrm{d}t}\mathbf{A}^{n-i},\\
\frac{ \mathrm{d}\mathbf{A}^{-n}}{ \mathrm{d}t}&=-\sum_{i=1}^n \mathbf{A}^{-i}\frac{ \mathrm{d}\mathbf{A}}{ \mathrm{d}t}\mathbf{A}^{-(n+1-i)}.
\end{align}
</math>

অতএব,

: <math> 
\begin{align}
(\mathbf{A}+\epsilon \mathbf{X})^{n}&=\mathbf{A}^{n}+\epsilon \sum_{i=1}^n \mathbf{A}^{i-1}\mathbf{X}\mathbf{A}^{n-i}+ \mathcal{O}(\epsilon^2),\\
(\mathbf{A}+\epsilon \mathbf{X})^{-n}&=\mathbf{A}^{-n}-\epsilon \sum_{i=1}^n \mathbf{A}^{-i}\mathbf{X}\mathbf{A}^{-(n+1-i)}+ \mathcal{O}(\epsilon^2)
\end{align}
</math>

== সাধারণীকৃত বিপরীত ম্যাট্রিক্স ==
[[সাধারণীকৃত বিপরীত ম্যাট্রিক্স|সাধারণীকৃত বিপরীত ম্যাট্রিক্সসমূহ]] (যেমন- [[মুর-পেনরোজ বিপরীত ম্যাট্রিক্স]]), যাদেরকে যেকোন <math>{\displaystyle m \times n}</math> ম্যাট্রিক্সের জন্য সংজ্ঞায়িত করা যায়, তাদের মধ্যে বিপরীত ম্যাট্রিক্সের কিছু কিছু বৈশিষ্ট্য দেখা যায়।

== প্রয়োগ ==
অধিকাংশ বাস্তব প্রয়োগের ক্ষেত্রেই, কোন [[রৈখিক সমীকরণ জোট|রৈখিক সমীকরণ জোটের]] সমাধানের জন্য ম্যাট্রিক্সের বিপরীতকরণ জরুরি *নয়* ; তবে কোন অনন্য সমাধানের ক্ষেত্রে, সংশ্লিষ্ট ম্যাট্রিক্সটি বিপরীতযোগ্য হওয়া আবশ্যক।

বিশ্লেষণ পদ্ধতি যেমন- [[নিম্ন-ঊর্ধ্ব বিশ্লেষণ (রৈখিক বীজগণিত)|LU বিশ্লেষণ]], বিপরীতকরণের তুলনায় দ্রুততর, এবং বিশেষ শ্রেণিভুক্ত রৈখিক ব্যবস্থাসমূহের জন্য বেশ কিছু দ্রুতগতির অ্যালগরিদম তৈরি হয়েছে।

=== রিগ্রেশন/ লঘিষ্ঠ বর্গ ===
অজানা রাশির ভেক্টর নির্ণয়ে যদিও প্রত্যক্ষভাবে কোন বিপরীত ম্যাট্রিক্সের প্রয়োজন হয় না, তবে তাদের নির্ভুলতা যাচাইয়ের সবচেয়ে সহজ উপায় এটাই, যা কোন বিপরীত ম্যাট্রিক্সের কর্ণ থেকে পাওয়া যায় (অজানা রাশির পশ্চাদ্বর্তী-সহভেদাংক (*posterior-covariance'') ম্যাট্রিক্স)। যাই হোক, অনেক ক্ষেত্রেই কোন বিপরীত ম্যাট্রিক্সের শুধুমাত্র কর্ণ উপাদানগুলো নির্ণয়ের জন্য দ্রুততর অ্যালগিরদম জানা রয়েছে।

### প্রকৃত-সময় প্রতিরূপ গঠনে বিপরীত ম্যাট্রিক্স
ম্যাট্রিক্স বিপরীকরণ কম্পিউটার গ্রাফিক্সে, বিশেষ করে ত্রিমাত্রিক গ্রাফিক্স ও ত্রিমাত্রিক প্রতিরূপে (সিমুলেশনে) উল্লেখযোগ্য ভূমিকা পালন করে। এর উদাহরণের মধ্যে রয়েছে স্ক্রিন-টু-ওয়ার্ল্ড রশ্মি প্রক্ষেপণ, ওয়ার্ল্ড-টু-সাবস্পেস-টু-ওয়ার্ল্ড বস্তু রূপান্তর, এবং ভৌত প্রতিরূপসমূহ।

### MIMO তারহীন যোগাযোগে বিপরীত ম্যাট্রিক্স
তারহীন যোগাযোগব্যবস্থায় মাইমো (MIMO: Multiple-Input, Multiple-Output) প্রযুক্তিতে বিপরীত ম্যাট্রিক্স একটি গুরুত্বপূর্ণ ভূমিকা পালন করে। একটি MIMO ব্যবস্থায় N-সংখ্যক প্রেরক ও M-সংখ্যক গ্রাহক অ্যান্টেনা থাকে। একই কম্পাঙ্ক বর্ণালিতে বিদ্যমান অনন্য সংকেতসমূহকে N-প্রেরক অ্যান্টেনার মাধ্যমে পাঠানো হয় এবং M-গ্রাহক অ্যান্টেনার মাধ্যমে গৃহীত হয়। প্রতিটি গ্রাহক অ্যান্টেনায় পৌঁছানো সংকেত হবে, N-সংখ্যক প্রেরিত সংকেতের একটি রৈখিক বিন্যাস, যা একটি {\displaystyle N \times M} প্রেরণ-ম্যাট্রিক্স {\displaystyle \mathbf H} গঠন করে। গ্রাহক যেন প্রেরিত তথ্যের মর্মোদ্ধার করতে পারে সেজন্য, {\displaystyle \mathbf H} ম্যাট্রিক্সটি বিপরিতযোগ্য হওয়া বাঞ্ছনীয়।

## আরও দেখুন

* দ্বিপদী বিপরীত উপপাদ্য
* নিম্ন-ঊর্ধ্ব বিশ্লেষণ
* ম্যাট্রিক্স বিশ্লেষণ
* ম্যাট্রিক্সের বর্গমূল
* ছদ্ম-বিপরীত
* একক-মান বিশ্লেষণ
* উডবারি ম্যাট্রিক্স অভেদ

## তথ্যসূত্র


## আরো পড়ুন

* 
* https://en.wikipedia.org/wiki/Introduction_to_Algorithm
* Matrix Mathematics: Theory, Facts, and Formulas at Google books
* The Matrix Cookbook

## বহিঃসংযোগ

* Lecture on Inverse Matrices by Khan Academy
* Linear Algebra Lecture on Inverse Matrices by MIT
* LAPACK a collection of FORTRAN subroutines for solving dense linear algebra problems
* ALGLIB includes a partial port of the LAPACK to C++, C#, Delphi, etc.
* Online Inverse Matrix Calculator using AJAX
* Symbolic Inverse of Matrix Calculator with steps shown
* Moore-Penrose Pseudo-Inverse Matrix
* Inverse of a Matrix Notes
* Calculator for Singular or Non-Square Matrix Inverse
* Inverse calculator online
* https://planetmath.org/?op=getobj&from=objects&id=6362