기본 콘텐츠로 건너뛰기

[matplotlib] 등고선(Contour)

[Linear Algebra] 스펙트럴 분해(Spectral decomposition)

스펙트럴 분해(Spectral decomposition)

행렬 A의 고유값 집합을 A의스펙트럼(spectrum)이라고 합니다. 대칭행렬의 스펙트럼은 다음과 같은 특징이 있습니다.

대칭행렬의 스펙트럼

n×n 차원의 대칭행렬 A에서

  • A는 n개의 서로다른 고유값을 가집니다.
  • 각 고유값 λ과 그것의 배수는 같은 효과를 나타냅니다.
    • 즉, 고유값의 배수를 적용할 경우 고유벡터의 길이만 변할 뿐 방향은 바뀌지 않습니다.
  • 다른 고유값들에 대응하는 고유벡터들은 직교관계에 있습니다.
  • A는 직교적으로 대각화가 가능합니다.

고유값 분해 방법으로 대칭행렬 A는 고유값을 대각 원소로 하는 대각행렬(D)과 고유벡터들로 구성된 고유 행렬(U)을 사용하여 식 1과 같이 분해할 수 있습니다. 이와 같이 대칭행렬의 고유값분해를 스펙트럴분해(spectral decomposition)라고 합니다.

A=UDU1=UDUT(식 1)U:고유벡터D:고유값을 대각요소로하는 대각행렬

예 1)

대칭행렬 A에 대해 식 1을 확인해 봅니다.

A=np.array([[7, 2],[2,4]])
print(A)
[[7 2]
 [2 4]]
eig_val=solve(det(cheM), l)
eig_val
d, U=la.eig(A) 
D=np.diag(d)
print(D)
[[8. 0.]
 [0. 3.]]
print(U.round(3))
[[ 0.894 -0.447]
 [ 0.447  0.894]]

다음 결과와 같이 행렬 A의 고유행렬에 대한 정규직교적 특징을 만족합니다.

np.allclose(U.T, la.inv(U))
True

결과적으로 위 식과 같이 행렬 A의 고유 분해가 이루어집니다.

np.allclose(A, U@D@la.inv(U))
True

예 2)

다음 행렬 A의스펙트럴 분해를 결정합니다.

A=[621261115]

대칭행렬 A는 다음 결과와 같이 가역적입니다.

A=np.array([[6, -2, -1],[-2, 6, -1],[-1, -1, 5]])
la.det(A).round(3)
144.0

A는 가역적 대칭행렬로서 고유값의 수와 A의 열차원이 같으므로 고유벡터들은 정규직교관계를 보입니다.

d,U=la.eig(A)
D=np.diag(d)
print(D)
[[3. 0. 0.]
 [0. 8. 0.]
 [0. 0. 6.]]
np.allclose(U.T, la.inv(U))
True

그러므로 다음과 같이 스팩트럴 분해가 성립합니다.

np.allclose(A, U@D@la.inv(U))
True

행렬 A의 스펙트럼 분해는 다음의 고유벡터와 UT = U-1를 적용하여 식 2와 같이 나타낼 수 있습니다.

print(U.round(2))
[[ 0.58  0.71 -0.41]
 [ 0.58 -0.71 -0.41]
 [ 0.58  0.    0.82]]

(식 2)[621261115]=[0.580.710.410.580.710.410.580.0.82][3.0.0.0.8.0.0.0.6.][0.580.580.580710.710.00.410.410.82]

댓글

이 블로그의 인기 게시물

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

유사변환(Similarity transformation) n×n 차원의 정방 행렬 A, B 그리고 가역 행렬 P 사이에 식 1의 관계가 성립하면 행렬 A와 B는 유사행렬(similarity matrix)이 되며 행렬 A를 가역행렬 P와 B로 분해하는 것을 유사 변환(similarity transformation) 이라고 합니다. (1)A=PBP1P1AP=B 식 2는 식 1의 양변에 B의 고유값을 고려한 것입니다. (식 2)BλI=P1APλP1P=P1(APλP)=P1(AλI)P 식 2의 행렬식은 식 3과 같이 정리됩니다. det(BλI)=det(P1(APλP))=det(P1)det((AλI))det(P)=det(P1)det(P)det((AλI))=det(AλI)det(P1)det(P)=det(P1P)=det(I) 유사행렬의 특성 유사행렬인 두 정방행렬 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 sin2(x)+cos2(x) simplify(a) 1 simplify(b) x3+x2x1x2+2x+1 simplify(b) x - 1 c=gamma(x)/gamma(x-2) c Γ(x)Γ(x2) simplify(c) (x2)(x1) 위의 예들 중 객체 c의 감마함수(gamma(x))는 확률분포 등 여러 부분에서 사용되는 표현식으로 다음과 같이 정의 됩니다. 감마함수는 음이 아닌 정수를 제외한 모든 수에서 정의됩니다. 식 1과 같이 자연수에서 감마함수는 factorial(!), 부동소수(양의 실수)인 경우 적분을 적용하여 계산합니다. (식 1)Γ(n)={(n1)!n:자연수0xn1exdxn:부동소수 x=symbols('x') gamma(x).subs(x,4) 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 예 x2=1의 해를 결정합니다. solve() 함수에 적용하기 위해서는 다음과 같이 식의 한쪽이 0이 되는 형태인 동차식으로 구성되어야 합니다. x21=0 import numpy as np from sympy import * x = symbols('x') solve(x**2-1, x) [-1, 1] 위 식은 계산 과정은 다음과 같습니다. x21=0(x+1)(x1)=0x=1or1x4=1의 해를 결정합니다. solve() 함수의 인수 set=True를 지정하였으므로 결과는 집합(set)형으로 반환됩니다. eq=x**4-1 solve(eq, set=True) ([x], {(-1,), (-I,), (1,), (I,)}) 위의 경우 I는 복소수입니다.즉 위 결과의 과정은 다음과 같습니다. x41=(x2+1)(x+1)(x1)=0x=±1,±1=±i,±1 실수...