[LA] Singular Value Decomposition (특이값분해, SVD)

2024. 2. 15. 14:05·.../Math
728x90
728x90

Singular Value Decomposition

$$A=U\Sigma V^\top$$

Rank가 $n$인 matrix $A\in \mathbb{R}^{m\times n}\text{ where }m\ge n$ 에서

  • orthonormal vector set$\{\textbf{v}_1, \dots, \textbf{v}_n\}, \{\textbf{u}_1, \dots \textbf{u}_n\}$ 와
  • non-negative scalr set $\{\sigma_1, \dots, \sigma_n\}$에 대하여

$$A\textbf{v}_i=\sigma_i\textbf{u}_i \text{ where } i=1,2,\dots,n$$

를 만족한다고 가정하자.


Singular Values and Left/Right Singular Vectors

이때, non-negative scalar 인 $\sigma_1, \dots,\sigma_n$들을 matrix $A$의

  • singular value (특이값)이라고 한다.
$A$가 Rank Deficient인 경우,
Singular Value 중 0이 존재하므로
Positive가 아닌 Non-Negative임.

동시에, 해당 singular value들에 각각 대응하는 orthonomal vector $\textbf{v}_i$와 $\textbf{u}_i$를 각각

  • right singular vector,
  • left singular vector 라고 함.

즉, 다음이 성립함:

  • $\{\textbf{v}_1,\dots,\textbf{v}_n\}$는 행렬 $A^\top A$의 Eigenvector(고유 벡터)로 이루어진 orthonormal set임.
  • $\{\textbf{u}_1,\dots,\textbf{u}_m\}$는 행렬 $A A^\top$의 Eigenvector로 이루어진 orthonormal set이다.
  • $\{ \sigma_1, \dots, \sigma_n \}$은 행렬 $A$의 singular value (특이값)이며, $\sigma_i = \sqrt{\lambda_i}$ 임.($\lambda_i$는 $A^\top A$의 eigen value).

Singular Value Decomposition

이를 기반으로 $A$는 다음과 같이 분해됨.

$$A=U\Sigma V^\top$$


SVD의 경우, non-negative singular values는 내림차순으로 나열되는 게 일반적이며 이는 다음이 성립함을 의미함.

 

$$\sigma_1 \ge \sigma_2 \ge \dots \ge \sigma_n \ge 0$$

 

  • 행의 수가 열보다 크면서 Full Column Rank면 Singular Value는 모두 양수임 (0 초과)
  • 행의 수가 열보다 작으면서 Full Row Rank면 Singular Value는 모두 양수임 (0 초과)
  • Full Rank가 아닌 경우엔 0의 값을 가지는 Singular Value가 존재할 수 있음: SVD는 가능.

SVD는 어떠한 matrix에서도 얻을 수 있음: 가장 넓은 응용범위를 가짐.

  • singular value가 0이 아닌 갯수는 $r=\text{rank}(A)$와 일치!
  • reduced form은 0이 아닌 singular value만을 고려하는 게 이상적이나, approximation을 수행할 경우엔 $r$보다 적게 사용도 가능
  • 단, Approximation 경우엔 등식이 성립하지 못함.

Rank와 Singular Values

$A\in \mathbb{R}^{m\times n} \text{ where }m \ge n$이면서 $A$의 rank가 $n$일 때

$S=A^\top A$ 인 경우로 한정할 경우,

$S$는 symmetric matrix ($S^\top =S$)이기 때문에 항상 orthogonal diagonalization이 가능함.

2022.11.17 - [.../Math] - [LA] Diagonalization, Orthogonal Diagonalization, and Symmetric Matrix

 

[LA] Diagonalization (Eigen-Decomposition), Orthogonal Diagonalization, and Symmetric Matrix

Diagonalizable (대각화)Sqaure Matrix가 $n$개의 eigenvalue를 가지고 (multiplicity를 감안하여 중복 카운트. 0인 Eigenvalue도 카운트), 이들 각각의 eigenvalue들이 각자의 multiplicity에 해당하는 dimension을 가지는 eige

dsaint31.tistory.com

 

또한 $S=A^\top A$는 $A$의 rank가 $n$이기 때문에 $n \times n$ matrix이면서 역시 rank가 $n$임.

  • 이는 $S$가 $n$개의 0이 아닌 Eigenvalues (muliplicity 를 개별로 카운팅)를 가짐을 의미함.
  • 만약 $A$ Full Column Rank가 아니면, 0인 Eigenvalue가 존재함.

동시에 $S=A^\top A$는 $A$의 rank에 상관없이 Positive semi-definite이기 때문에

  • $S$의 모든 eigenvalue는 0 이상임: 0일수도 있다는 애기임.

위의 두 내용을 고려하면 rank 가 $n$인 $S$는 항상 0보다 큰 positive eigenvalue를 $n$개 가짐.

($A$가 rank deficient이면, $S=A^\top A$는 0을 포함한 non-negative eigenvalue를 $n$ 개 가짐.)

 

즉, 항상 $S=A^\top A$는 항상 Eigen Decomposition이 가능하며  $n$개의 non-negative 인 Eigenvalues를 항상 구할 수 있음.

 

결론적으로, 구해지는

  • $S$의 Eigenvalue $\lambda_i(A^\top A)$ (이는 $S=A^\top A$에서 구해진 $i$번째 Eigenvalue를 의미함)와
  • $A$에 구해진 Singular Value $\sigma_i(A)$들이

다음의 순서로 Sorting시킬 경우 ($A$가 full-rank 인 경우임) 

$$ \sigma_1(A) \ge \sigma_2(A) \ge \dots \ge \sigma_n(A) > 0$$

$$ \lambda_1(A^\top A) \ge \lambda_1(A^\top A) \ge \dots \ge \lambda_n(A^\top A) > 0$$

다음의 관계를 가짐.

$$\sigma_i(A)=\sqrt{\lambda_i(A^\top A)}$$

  • Singular Value는 위의 식에서 제곱근이므로 항상 positive ($A$가 full-rank)여야 함 ($A$가 rank deficient이면, non-negative만 보장).
  • 앞서 말했지만, $S$의 rank가 $n$이고 symmetric하고, positive semi-definite이므로 $S$의 eigenvalues는 positive임.
  • 때문에 $A$의singular value도 역시 positive임.

같이보면 좋은 자료들

2022.11.17 - [.../Linear Algebra] - [LA] Diagonalization (Eigen-Decomposition), Orthogonal Diagonalization, and Symmetric Matrix

 

[LA] Diagonalization (Eigen-Decomposition), Orthogonal Diagonalization, and Symmetric Matrix

Diagonalizable (대각화)Sqaure Matrix가 $n$개의 eigenvalue를 가지고 (multiplicity를 감안하여 중복 카운트. 0인 Eigenvalue도 카운트), 이들 각각의 eigenvalue들이 각자의 multiplicity에 해당하는 dimension을 가지는 eige

dsaint31.tistory.com


2025.01.21 - [.../Linear Algebra] - [Summary] Linear Algebra (작성중)

 

[Summary] Linear Algebra (작성중)

ML 을 위해 Linear Algebra 공부시 참고할만한 책더보기전체적으로 공부를 한다면 다음을 권함.Linear Algebra and Its Application, 5th ed 이상, David C. Lay5th ed. 는 웹에서 쉽게 pdf도 구할 수 있음.개인적으로 Str

dsaint31.tistory.com


 

'... > Math' 카테고리의 다른 글

[LA] Linear Independence (Linearly Indendent)  (0) 2024.02.16
[LA] Linearly Independent and Affine Independent: Summary  (1) 2024.02.16
[math] Factorial(계승), Permutation (순열) & Combination (조합)  (1) 2024.02.04
[Math] Cartesian Product (or Descartes Product, Product Set)  (0) 2024.02.04
[Math] Normal Distribution (정규분포)  (2) 2023.10.25
'.../Math' 카테고리의 다른 글
  • [LA] Linear Independence (Linearly Indendent)
  • [LA] Linearly Independent and Affine Independent: Summary
  • [math] Factorial(계승), Permutation (순열) & Combination (조합)
  • [Math] Cartesian Product (or Descartes Product, Product Set)
dsaint31x
dsaint31x
    반응형
    250x250
  • dsaint31x
    Dsaint31's blog
    dsaint31x
  • 전체
    오늘
    어제
    • 분류 전체보기 (739)
      • Private Life (13)
      • Programming (56)
        • DIP (104)
        • ML (26)
      • Computer (119)
        • CE (53)
        • ETC (33)
        • CUDA (3)
        • Blog, Markdown, Latex (4)
        • Linux (9)
      • ... (350)
        • Signals and Systems (103)
        • Math (171)
        • Linear Algebra (33)
        • Physics (42)
        • 인성세미나 (1)
      • 정리필요. (54)
        • 의료기기의 이해 (6)
        • PET, MRI and so on. (1)
        • PET Study 2009 (1)
        • 방사선 장해방호 (4)
        • 방사선 생물학 (3)
        • 방사선 계측 (9)
        • 기타 방사능관련 (3)
        • 고시 (9)
        • 정리 (18)
      • RI (0)
      • 원자력,방사능 관련법 (2)
  • 블로그 메뉴

    • Math
    • Programming
    • SS
    • DIP
  • 링크

    • Convex Optimization For All
  • 공지사항

    • Test
    • PET Study 2009
    • 기타 방사능관련.
  • 인기 글

  • 태그

    Probability
    Programming
    linear algebra
    SS
    random
    math
    검사
    signals_and_systems
    numpy
    opencv
    signal_and_system
    Optimization
    Python
    Vector
    인허가제도
    SIGNAL
    function
    Convolution
    fourier transform
    Term
  • 최근 댓글

  • 최근 글

  • hELLO· Designed By정상우.v4.10.3
dsaint31x
[LA] Singular Value Decomposition (특이값분해, SVD)
상단으로

티스토리툴바