@mdgi منحصر به فرد بودن وارون یک ماتریس اثبات شده و به صورت قضیه وجود داره که همان قضیه یکتایی وارون یک ماتریس هست.منظور دقیق من این هست که اگر زیر مجموعه ای از ماتریس های وارون پذیر مربعی از مرتبه ۲ را در نظر بگیریم و وارون همان ماتریس های وارون پذیر را در مجموعه ای دیگر در نظر بگیریم .ایا میتوانیم رابطه موجود بین این دو مجموعه را به صورت مجموعه ای تشکیل شده از زوج مرتب ها در نظر بگیریم ؟!و ایا این رابطه موجود بین مولفه های زوج مرتب ها که مولفه اول خود ماتریس وارون پذیر و مولفه دوم وارون ماتریس هست به عنوان تابع تعریف کرد .در کل ایا این مجموعه تشکیل شده از زوج مرتب ها را میشه به صورت تابع تعریف کرد ؟!
