$ m\times n $ 행렬 $ A $와 $ n \times m $행렬 $ B $에 대하여 $ BA=I_{n} $을 만족하면 , $ B $를 $ A $의 좌역행렬(left inverse)라고 하고, $ AC=I_{m} $을 만족하는 $ n\times m $행렬 $ C $를 $ A $의 우역행렬(right inverse)라고 한다. 만약 $ n\times n $행렬 $ A $가 좌역행렬 $ B $와 우역행렬 $ C $를 가지면 $ B=BI_{n}=B(AC)=(BA)C=I_{n}C=C $이므로 $ B=C$이다. $ n\times n $행렬 $ A $에 대하여 $ AB=I_{n}=BA $를 만족하는 행렬 $ B $가 존재하면 $ A $는 가역(invertible)이라 하고, $ B $를 $ A $의 역행렬(..
