기본 콘텐츠로 건너뛰기

pandas_ta를 적용한 통계적 인덱스 지표

[Linear Algebra]행렬 연산(matrix operation)

행렬 연산

행렬의 기본연산은 같은 차원들 사이에서 이루어 집니다. 다음은 같은 차원의 두개 또는 세개 행렬들 사이에서 성립되는 관계를 나타낸 것입니다.

  • A, B, C: 행렬, I: 항등행렬 I, r, s: 스칼라
  • A + B = B + A
  • (A + B) + C = A + (B + C)
  • A + 0 = A
  • r(A + B) = rA + rB
  • (r + s)A = rA + sA
  • r(sA) = (rs)A
  • A(BC) = (AB)C
  • A(B + C) = AB + AC
  • (B + C)A = BA + CA
  • r(AB) = (rA)B = A(rC)
  • IA = AI = A
import numpy as np
import scipy.linalg as LA
 from sympy import *

예 1)

행렬 A,B,C에서의 연산

$$A=\begin{bmatrix}4& 0& 5\\-1& 3& 2\end{bmatrix}\quad B=\begin{bmatrix} 1& 1& 1\\3& 5& 7\end{bmatrix} \quad C=\begin{bmatrix}2& -3\\ 0& 1 \end{bmatrix}$$

A=np.mat("4,0,5;-1,3,2")
B=np.mat("1,1,1; 3,5,7")
C=np.mat("2,-3; 0,1")
print(A+B)
[[5 1 6]
 [2 8 9]]
try:
    A+C
except:
    print("행렬의 사칙연산은 동일한 차원에서 실행됩니다.")
행렬의 사칙연산은 동일한 차원에서 실행됩니다.
print(2*B)
[[ 2  2  2]
 [ 6 10 14]]
print(A-2*B)
[[  2  -2   3]
 [ -7  -7 -12]]

행렬곱(matrix product): 행렬들 사이의 각 벡터의 내적을 계산합니다. 연산은 식 1과 같이 이루어집니다.

$$\tag{식 1}\begin{bmatrix}\color{red}a&\color{red}b &\color{red}c\\\color{blue}d & \color{blue}e& \color{blue}f\end{bmatrix} \begin {bmatrix} \color{red}a& \color{blue}d\\ \color{red}b& \color{blue}e\\ \color{red}c&\color{blue}f \end{bmatrix} =\begin{bmatrix}\color{red}a\color{red}a+\color{red}b\color{red}b+\color{red}c\color{red}c& \color{red}a\color{blue}d+\color{red}b\color{blue}e+\color{red}c\color{blue}f \\ \color{blue}d\color{red}a+ \color{blue}e\color{red}b+\color{blue}f\color{red}c & \color{blue}d\color{blue}d+\color{blue}e\color{blue}e+\color{blue}f\color{blue}f\end{bmatrix}$$

  • 식 2와 같이 앞 행렬의 행과 뒤 행렬의 열 사이에서 연산이 이루어지므로 앞행렬의 열수과 뒤 행렬의 행 수가 일치해야 합니다.
  • 행렬곱의 결과의 차원은 앞행렬의 행수와 뒤 행렬의 열수가 됩니다.
    • ⇒ m$\times$n · n$\times$p = m$\times$p

예 2)

행렬 A, B의 행렬곱

$$A=\begin{bmatrix}2& 3\\ 1& -5 \end{bmatrix} \quad B=\begin{bmatrix} 4& 3& 6\\1& -2& 3\end{bmatrix}$$

A=np.mat("2,3; 1, -5")
B=np.mat("4,3,6; 1, -2, 3")
A.shape, B.shape
((2, 2), (2, 3))
AB=A.dot(B)
print(AB)
[[11  0 21]
 [-1 13 -9]]

행렬곱은 위 코드와 같이 np.dot(a, b) 함수 또는 메소드 a.dot(b)를 적용할 수 있습니다. 또한 연산자인 @을 사용할 수 있습니다.

print(A@B)
[[11  0 21]
 [-1 13 -9]]

행렬곱에서는 교환법칙이 성립되지 않습니다.

예 2)

행렬 A, B의 행렬곱의 교환법칙여부를 확인합니다.

$$A=\begin{bmatrix}5& 1\\ 3& -2 \end{bmatrix} \quad B=\begin{bmatrix} 2& 0\\ 4& 3\end{bmatrix}$$

A=np.mat("5,1; 3,-2")
B=np.mat("2,0; 4, 3")
AB=A@B
print(AB)
[[14  3]
 [-2 -6]]
BA=B@A
print(BA)
[[10  2]
 [29 -2]]
np.array_equal(AB, BA)
False

전치행렬의 특성은 식 2와 같습니다.

\begin{align}(A^T)^T=A\\ \tag{식 2}(A+B)^T=A^T+B^T\\(rA)^T=rA^T\\(AB)^T=B^TA^T\end{align}

예 2의 두 행렬 A, B에 대해 식 2를 확인해 봅니다.

A=np.mat("5,1; 3,-2")
B=np.mat("2,0; 4, 3")
ATT=A.T.T
np.array_equal(A, ATT)
True
np.array_equal((A+B).T, A.T+B.T)
True
np.array_equal((A@B).T, B.T@A.T)
True
np.array_equal((3*A).T, 3*(A.T))
True

댓글

이 블로그의 인기 게시물

[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' 와 같...

유리함수 그래프와 점근선 그리기

내용 유리함수(Rational Function) 점근선(asymptote) 유리함수 그래프와 점근선 그리기 유리함수(Rational Function) 유리함수는 분수형태의 함수를 의미합니다. 예를들어 다음 함수는 분수형태의 유리함수입니다. $$f(x)=\frac{x^{2} - 1}{x^{2} + x - 6}$$ 분수의 경우 분모가 0인 경우 정의할 수 없습니다. 이와 마찬가지로 유리함수 f(x)의 정의역은 분모가 0이 아닌 부분이어야 합니다. 그러므로 위함수의 정의역은 분모가 0인 부분을 제외한 부분들로 구성됩니다. sympt=solve(denom(f), a); asympt [-3, 2] $$-\infty \lt x \lt -3, \quad -3 \lt x \lt 2, \quad 2 \lt x \lt \infty$$ 이 정의역을 고려해 그래프를 작성을 위한 사용자 정의함수는 다음과 같습니다. def validX(x, f, symbol): ① a=[] b=[] for i in x: try: b.append(float(f.subs(symbol, i))) a.append(i) except: pass return(a, b) #x는 임의로 지정한 정의역으로 불연속선점을 기준으로 구분된 몇개의 구간으로 전달할 수 있습니다. #그러므로 인수 x는 2차원이어야 합니다. def RationalPlot(x, f, sym, dp=100): fig, ax=plt.subplots(dpi=dp) # ② for k in x: #③ x4, y4=validX(k, f, sym) ax.plot(x4, y4) ax.spines['left'].set_position(('data', 0)) ax.spines['right...

부분분수의 미분

내용 방법 1 방법 2 방법 3 부분분수의 미분 분수의 미분은 일정한 공식 을 적용하여 계산할 수 있습니다. 그러나 분수 자체가 단순한 표현으로 이루어지지 않았다면 미분 과정이나 결과는 매우 복잡할 수 있습니다. 만약 복잡한 분수 함수를 간단한 분수들로 분해할 수 있다면 계산이 보다 간편해질 것입니다. 이와 같이 분해된 간단한 분수들을 부분분수 라고 합니다. 예를 들어 다음 두 분수의 합을 계산해 봅니다. $$\begin{align} \frac{1}{x+1}+\frac{2}{x-1}&=\frac{x-1+2(x+1)}{(x+1)(x-1)}\\ &=\frac{3x+1}{x^2-1} \end{align}$$ 위 과정은 3개 이상의 여러 분수에서도 이루어질 수 있습니다. 또한 역으로 진행될 수 있습니다. 즉, 분수를 부분 분수로 분할할 수 있습니다. 그러나 이러한 과정은 대수분수 (분자의 가장 큰 차수가 분모의 최고의 차수보다 작은 분수)에서만 이루어질 수 있습니다. 예를 들어 $\displaystyle \frac {x^2+2}{x^2-1}$의 경우는 분자와 분모의 차수는 2차로 같습니다. 이러한 경우 다음과 같이 분리할 수 있습니다. $$\frac{x^2+2}{x^2-1}=1+\frac{3}{x^2-1}$$ 위의 식 중 $\displaystyle \frac{3}{x^2-1}$은 분자의 차수가 분모의 차수 보다 낮은 대수 분수이므로 부분 분수로 분리할 수 있습니다. 이와같이 부분 분수로 분해하는 방법은 다음과 같이 몇 가지로 구분할 수 있습니다. 방법 1 위 예의 결과 $\displaystyle \frac{3x+1}{x^2-1}$의 경우를 역으로 생각해 봅니다. 분모의 인수분해가 가능하면 그 분모의 인수에 의해 다음과 같이 분해할 수 있습니다. $$\begin{align} \frac{3x+1}{x^2-1}&=\frac{3x+1}{(x+1)(x-1)}\\ &=\frac{A}{x+1...