기본 콘텐츠로 건너뛰기

벡터와 행렬에 관련된 그림들

R: 역행렬을 사용하여 선형시스템의 해 결정

내용

역행렬을 사용하여 선형시스템의 해 결정

항등행렬

항등행렬 : eye(n)
> eye(3)
     [,1] [,2] [,3]
[1,]    1    0    0
[2,]    0    1    0
[3,]    0    0    1

역행렬

역행렬: 다음의 관계를 만족하는 행렬 B를 역행렬(inverse matrix)라고 합니다. $$A \cdot B = I \rightarrow B=A^{-1}$$ 이러한 역행렬을 가지는 행렬을 가역행렬(reversible matrix)라고 합니다.
> set.seed(2)
> a<-sample(1:10, 4);a
[1] 5 6 9 1
> A<-matrix(a, 2,2);A
     [,1] [,2]
[1,]    5    9
[2,]    6    1
> A_inv<-solve(A); A_inv
            [,1]       [,2]
[1,] -0.02040816  0.1836735
[2,]  0.12244898 -0.1020408
> A%*%A_inv
     [,1]          [,2]
[1,]    1 -1.110223e-16
[2,]    0  1.000000e+00
> round(A%*%A_inv)
     [,1] [,2]
[1,]    1    0
[2,]    0    1
위 행렬 A의 행렬식은 0이 아닙니다.
> det(A)
[1] -49

행렬식

행렬은 그 행렬로 부터 계산할 수 있는 행렬식(determinant)이 0인 경우 역행렬이 존재하지 않는 특성을 가지고 있습니다. 즉, 행렬식은 어떤 행렬에 대해 특이 행렬 여부를 결정할 수 있는 근거가 됩니다.
행렬식 ≠ 0 → 가역행렬
그러나 위 명제의 역은 성립하지 않습니다.
R함수 det()를 사용하여 계산합니다.

연립방정식에 적용

역행렬을 사용하여 연립방정식의 해를 결정할 수 있습니다. $$ \begin{matrix} \begin{matrix} x + y + 2z& =9 \\2x + 4y- 3z& = 1\\ 3x + 6y- 5z& = 0 \end{matrix} \rightarrow & \begin{bmatrix}1&1&2\\2&4&-3\\3&6&-5\end{bmatrix} \begin{bmatrix}x\\y\\z\end{bmatrix} = \begin{bmatrix}9\\1\\0\end{bmatrix} \end{matrix}$$ 위 식의 계수행렬을 A, 변수행렬을 x, 상수행렬은 c 라고 하면 다음과 같이 나타낼 수 있습니다.
Ax=c
A가 가역행렬이라면 변수행렬은 다음과 같이 계산될 수 있습니다. $$\begin{align}&Ax=c\\&A^{-1}Ax=A^{-1}c\\&x=A^{-1}c\end{align}$$
> a1<-c(1,1,2)
> a2<-c(2,4,-3)
> a3<-c(3, 6, -5)
> A<-rbind(a1, a2, a3);A
   [,1] [,2] [,3]
a1    1    1    2
a2    2    4   -3
a3    3    6   -5
> det(A)
[1] -1
행렬식이 0이 아니므로 가역행렬이므로 역행렬을 계산합니다.
> constant<-matrix(c(9, 1, 0), nrow=3); constant
     [,1]
[1,]    9
[2,]    1
[3,]    0
> A_inv<-solve(A); A_inv
     a1  a2 a3
[1,]  2 -17 11
[2,] -1  11 -7
[3,]  0   3 -2
위 역행렬과 상수행렬의 행렬곱에 의해 해를 결정합니다.
> A_inv%*%constant
     [,1]
[1,]    1
[2,]    2
[3,]    3
위 과정은 solve(개수행렬, 상수벡터)함수로 대체할 수 있습니다.
> solve(A, constant)
     [,1]
[1,]    1
[2,]    2
[3,]    3

댓글

이 블로그의 인기 게시물

[Linear Algebra] 유사변환(Similarity transformation)

유사변환(Similarity transformation) n×n 차원의 정방 행렬 A, B 그리고 가역 행렬 P 사이에 식 1의 관계가 성립하면 행렬 A와 B는 유사행렬(similarity matrix)이 되며 행렬 A를 가역행렬 P와 B로 분해하는 것을 유사 변환(similarity transformation) 이라고 합니다. $$\tag{1} A = PBP^{-1} \Leftrightarrow P^{-1}AP = B $$ 식 2는 식 1의 양변에 B의 고유값을 고려한 것입니다. \begin{align}\tag{식 2} B - \lambda I &= P^{-1}AP – \lambda P^{-1}P\\ &= P^{-1}(AP – \lambda P)\\ &= P^{-1}(A - \lambda I)P \end{align} 식 2의 행렬식은 식 3과 같이 정리됩니다. \begin{align} &\begin{aligned}\textsf{det}(B - \lambda I ) & = \textsf{det}(P^{-1}(AP – \lambda P))\\ &= \textsf{det}(P^{-1}) \textsf{det}((A – \lambda I)) \textsf{det}(P)\\ &= \textsf{det}(P^{-1}) \textsf{det}(P) \textsf{det}((A – \lambda I))\\ &= \textsf{det}(A – \lambda I)\end{aligned}\\ &\begin{aligned}\because \; \textsf{det}(P^{-1}) \textsf{det}(P) &= \textsf{det}(P^{-1}P)\\ &= \textsf{det}(I)\end{aligned}\end{align} 유사행렬의 특성 유사행렬인 두 정방행렬 A와 B는 'A ~ B' 와 같...

[sympy] Sympy객체의 표현을 위한 함수들

Sympy객체의 표현을 위한 함수들 General simplify(x): 식 x(sympy 객체)를 간단히 정리 합니다. import numpy as np from sympy import * x=symbols("x") a=sin(x)**2+cos(x)**2 a $\sin^{2}{\left(x \right)} + \cos^{2}{\left(x \right)}$ simplify(a) 1 simplify(b) $\frac{x^{3} + x^{2} - x - 1}{x^{2} + 2 x + 1}$ simplify(b) x - 1 c=gamma(x)/gamma(x-2) c $\frac{\Gamma\left(x\right)}{\Gamma\left(x - 2\right)}$ simplify(c) $\displaystyle \left(x - 2\right) \left(x - 1\right)$ 위의 예들 중 객체 c의 감마함수(gamma(x))는 확률분포 등 여러 부분에서 사용되는 표현식으로 다음과 같이 정의 됩니다. 감마함수는 음이 아닌 정수를 제외한 모든 수에서 정의됩니다. 식 1과 같이 자연수에서 감마함수는 factorial(!), 부동소수(양의 실수)인 경우 적분을 적용하여 계산합니다. $$\tag{식 1}\Gamma(n) =\begin{cases}(n-1)!& n:\text{자연수}\\\int^\infty_0x^{n-1}e^{-x}\,dx& n:\text{부동소수}\end{cases}$$ x=symbols('x') gamma(x).subs(x,4) $\displaystyle 6$ factorial 계산은 math.factorial() 함수를 사용할 수 있습니다. import math math.factorial(3) 6 a=gamma(x).subs(x,4.5) a.evalf(3) 11.6 simpilfy() 함수의 알고리즘은 식에서 공통사항을 찾아 정리하...

sympy.solvers로 방정식해 구하기

sympy.solvers로 방정식해 구하기 대수 방정식을 해를 계산하기 위해 다음 함수를 사용합니다. sympy.solvers.solve(f, *symbols, **flags) f=0, 즉 동차방정식에 대해 지정한 변수의 해를 계산 f : 식 또는 함수 symbols: 식의 해를 계산하기 위한 변수, 변수가 하나인 경우는 생략가능(자동으로 인식) flags: 계산 또는 결과의 방식을 지정하기 위한 인수들 dict=True: {x:3, y:1}같이 사전형식, 기본값 = False set=True :{(x,3),(y,1)}같이 집합형식, 기본값 = False ratioal=True : 실수를 유리수로 반환, 기본값 = False positive=True: 해들 중에 양수만을 반환, 기본값 = False 예 $x^2=1$의 해를 결정합니다. solve() 함수에 적용하기 위해서는 다음과 같이 식의 한쪽이 0이 되는 형태인 동차식으로 구성되어야 합니다. $$x^2-1=0$$ import numpy as np from sympy import * x = symbols('x') solve(x**2-1, x) [-1, 1] 위 식은 계산 과정은 다음과 같습니다. $$\begin{aligned}x^2-1=0 \rightarrow (x+1)(x-1)=0 \\ x=1 \; \text{or}\; -1\end{aligned}$$ 예 $x^4=1$의 해를 결정합니다. solve() 함수의 인수 set=True를 지정하였으므로 결과는 집합(set)형으로 반환됩니다. eq=x**4-1 solve(eq, set=True) ([x], {(-1,), (-I,), (1,), (I,)}) 위의 경우 I는 복소수입니다.즉 위 결과의 과정은 다음과 같습니다. $$x^4-1=(x^2+1)(x+1)(x-1)=0 \rightarrow x=\pm \sqrt{-1}, \; \pm 1=\pm i,\; \pm1$$ 실수...