운영자 고유값의 최대 절대값
수학 에서 사각 행렬 또는 경계 선형 연산자 의 스펙트럼 반경 은 고유값 의 최대 절대값(즉 , 스펙트럼 내 원소의 절대값 중 우월 함)이다. ρ(·)로 표기하기도 한다.
행렬 λ 1 , ..., λ 을n 행렬 A ∈ C 의n ×n (실제 또는 복합 ) 고유값이 되게 하라. 스펙트럼 반경 radius(A ) 은 다음과 같이 정의된다.
ρ ( A ) = 맥스. { λ 1 , … , λ n } . \displaystyle \rho (A)=\max \left\{\lambda _{1},\dotsc , \lambda _{n} \right\}. } 스펙트럼 반경은 매트릭스의 모든 규범에 대한 일종의 최소치다. Indeed, on the one hand, ρ ( A ) ⩽ ‖ A ‖ {\displaystyle \rho (A)\leqslant \ A\ } for every natural matrix norm ‖ ⋅ ‖ {\displaystyle \ \cdot \ } ; and on the other hand, Gelfand's formula states that ρ ( A ) = lim k → ∞ ‖ A k ‖ 1 / k {\displaystyle \rho (A)=\lim _{k\to \infty }\ A^{k}\ ^{1/k}} . Both these result s는 다음과 같다.
However, the spectral radius does not necessarily satisfy ‖ A v ‖ ⩽ ρ ( A ) ‖ v ‖ {\displaystyle \ A\mathbf {v} \ \leqslant \rho (A)\ \mathbf {v} \ } for arbitrary vectors v ∈ C n {\displaystyle \mathbf {v} \in \mathbb {C} ^{n}} . To see why, let r > 1 {\displaystyle r>1} be arbitrary and consider the matrix
C r = ( 0 r - 1 r 0 ) {\ displaystyle C_{r}={\begin{pmatrix}0&r^{-1}\r&0\end{pmatrix }}}}. The characteristic polynomial of C r {\displaystyle C_{r}} is λ 2 − 1 {\displaystyle \lambda ^{2}-1} , so its eigenvalues are { − 1 , 1 } {\displaystyle \{-1,1\}} and thus ρ ( C r ) = 1 {\displaystyle \rho (C_{r})=1} . However, C r e 1 = r e 2 {\displaystyle C_{r}\mathbf {e} _{1}=r\mat hbf {e} _{2 }}. 그 결과 any p {\ displaystyle \ell ^{p}} 표준에 대해,
‖ C r e 1 ‖ = r > 1 = ρ ( C r ) ‖ e 1 ‖ . {\displaystyle \C_{r}\mathbf {e} _{1}\=1=\rho(C_{r})\mathbf {e} _{1}\} Gelfand 공식의 예로서, C r k = I = I {\ displaystyle C_{r}^{k}\^{1/k}\ to \ potty } 으로 fty C r k = {\displaystyle C_{r}^{ r }={k}} 에 주목한다. k {\displaystyle k} 이 (가) 짝수일 경우 I}, k {\displaystyle k} 이(가) 홀수일 경우 C r = C r {\ displaysty C_{r}^{k}=C_{r}}}}.
A special case in which ‖ A v ‖ ⩽ ρ ( A ) ‖ v ‖ {\displaystyle \ A\mathbf {v} \ \leqslant \rho (A)\ \mathbf {v} \ } for all v ∈ C n {\displaystyle \mathbf {v} \in \mathbb {C} ^{n}} is when A {\displaystyle A} is a Hermitian matrix and ‖ ⋅ ‖ {\displaystyle \ \cdot \ } is the Euclidean norm . 이는 모든 에르미트 행렬이 단일 행렬 에 의해 대각선화 할 수 있고, 단일 행렬은 벡터 길이를 보존하기 때문이다.
‖ A v ‖ = ‖ U ∗ D U v ‖ = ‖ D U v ‖ ⩽ ρ ( A ) ‖ U v ‖ = ρ ( A ) ‖ v ‖ . \displaystyle \ A\mathbf {v} \\U^{*}DU\mathbf {v} \\leqslant \rho(A)\ U\mathbf {v} \\mathbf {v} \\mathbf {v} \rho} \\mathb {v} \v} \v} \v} \v} \v} \} \} \v} \} \} \}}}}}}} 경계 선형 연산자 Banach 공간의 경계 선형 연산자 A의 경우 고유값은 연산자 의 스펙트럼으로 대체 되며, A - i I {\displaystyle A-\lambda I} 에 대한 값 { {\displaystyle \lambda } 이(가) 비주사적이지 않으며 , 우리는 다음과 같이 스펙트럼을 나타낸다.
σ ( A ) = { λ ∈ C : A − λ I 비굴하지 않다 } {\displaystyle \sigma(A)=\좌측\{\lambda \in \mathb {C} :A-\lambda I\;{\text{beverjective}\right\}}}}}
스펙트럼 반경은 스펙트럼 내 원소 규모의 우월성으로 정의된다.
ρ ( A ) = up λ ∈ σ ( A ) λ \displaystyle \rho (A)=\sup _{\lambda \in \sigma (A)} \lambda }
연산자 규범을 ‖ { ‖ { {\displaystyle \cdot \ \cdot \ } 으로 표시하면 스펙트럼 반경 공식이나 Gelfand의 공식은 다음과 같다.
ρ ( A ) = 임이 있는 k → ∞ ‖ A k ‖ 1 k . \displaystyle \rho (A)=\lim _{k\to \inflt }\A^{k}\{\frac {1}{k}}. } (복합 힐버트 공간에 있는) 경계 연산자는 스펙트럼 반경이 수치 반지름 과 일치하면 스펙트럼 분석 연산자라고 불린다. 그러한 연산자의 예로는 정상 연산자가 있다.
그래프 유한 그래프 의 스펙트럼 반경은 인접 행렬 의 스펙트럼 반경으로 정의된다.
이 정의는 정점의 경계가 있는 무한 그래프의 경우로 확장된다(즉, 그래프의 모든 꼭지점의 정도 가 C보다 작을 정도로 일부 실제 숫자 C가 존재한다). 이 경우 그래프 G 에 대해 다음을 정의한다.
ℓ 2 ( G ) = { f : V ( G ) → R : ∑ v ∈ V ( G ) ‖ f ( v ) 2 ‖ < ∞ } . \displaystyle \#{2}(G)=\left\{f:V(G)\to \mathbf {R}\\\\\\\\\\\\\\\\\sum \nollimits \\\\\\\\in{v(G)\fteight\. } G :의 인접 연산자가 되도록 한다.
{ γ : ℓ 2 ( G ) → ℓ 2 ( G ) ( γ f ) ( v ) = ∑ ( u , v ) ∈ E ( G ) f ( u ) {\displaystyle {\begin}\gamma :\ell ^{2}(G)\\(\gamma f)\\(v)=\sum _{(u,v)\in E(G)f(u)\case{}}}}}}}} G 의 스펙트럼 반경은 경계 선형 연산자 γ 의 스펙트럼 반경으로 정의된다.
상한 행렬의 스펙트럼 반경에 대한 상한 다음 명제는 행렬의 스펙트럼 반경에 대한 단순하지만 유용한 상한을 보여준다.
제안. 스펙트럼 반경 ρ (A ) 과 일관된 행렬 규범 ⋅을 가진 A ∈ C 를n ×n 두십시오. 그러면 각 정수 k ⩾ 1 {\displaystyle k\geqslant 1} 에 대해:
ρ ( A ) ≤ ‖ A k ‖ 1 k . \displaystyle \rho (A)\leq \A^{k}\^{\frac {1}{k}}. } 증명
(v , λ ) 행렬 A 에 대한 고유 벡터- 고유값 쌍이 되도록 한다. 행렬 표준의 하위 곱셈 특성에 의해 다음과 같은 결과를 얻을 수 있다.
λ k ‖ v ‖ = ‖ λ k v ‖ = ‖ A k v ‖ ≤ ‖ A k ‖ ⋅ ‖ v ‖ \displaystyle \lambda ^{k}\mathbf {v} \ =\\lambda ^{k}\mathbf {v} \leq \ A^{k}\cdot \mathbf {v} \mathbf {v} \ \}}}}}}}} 그리고 v ≠ 0 이후 로 우리는
λ k ≤ ‖ A k ‖ \displaystyle \lambda ^{k}\leq \ A^{k}\ } 따라서
ρ ( A ) ≤ ‖ A k ‖ 1 k . \displaystyle \rho (A)\leq \A^{k}\^{\frac {1}{k}}. } 그래프의 스펙트럼 반경에 대한 상한 정점 수 n 과 가장자리 수 m 측면에서 그래프의 스펙트럼 반경에 대한 상한이 많다. 예를 들어, 다음과 같다.
( k − 2 ) ( k − 3 ) 2 ≤ m − n ≤ k ( k − 3 ) 2 {\displaystyle {\frac {(k-2)(k-3)}{2}}:\leq m-n\leq {\frac {k(k-3)}{2}}:} 여기서 3 ≤ k ≤ n {\displaystyle 3\leq k\leq n} 은(는) 정수임[1]
ρ ( G ) ≤ 2 m − n − k + 5 2 + 2 m − 2 n + 9 4 {\displaystyle \rho (G)\leq {\sqrt {2m-n-k+{\frac {5}{5}}{2}}+{\sqrt{2m-2n+{\frac}{4}}}}}}}}}}}
동력 시퀀스 정리 스펙트럼 반경은 매트릭스 동력 시퀀스의 수렴 작용과 밀접하게 관련된다. 즉, 다음 정리는 다음을 유지한다.
정리. A ∈ C 를n ×n 스펙트럼 반경 ρ (A )으로 한다. 그렇다면 ρ (A ) < 1 은 만일 그렇다면 그리고 단지 임이 있는 k → ∞ A k = 0. {\displaystyle \lim _{k\to \infit }A^{k}=0. } 반면 ρ (A ) > 1 이면 lim k → ∞ k A k = = ∞ \displaystyle \lim _{k\to \fty }\A^{k}\ =\fty }}. C 의n ×n 행렬 규범의 어떠한 선택에도 이 성명은 유효하다. 정리증거 문제의 한도가 0이라고 가정하면 ((A ) < 1. let (v , λ ) 은 A의 고유 벡터 고유값 쌍이 되도록 한다. Avk = vv 이므로k :
0 = ( 임이 있는 k → ∞ A k ) v = 임이 있는 k → ∞ ( A k v ) = 임이 있는 k → ∞ λ k v = v 임이 있는 k → ∞ λ k {\displaystyle {\begin}0&=\왼쪽(\lim _{k\to \infit }{k}\오른쪽)\mathbf {v}\v}\no=\lim \inft \{k}\infty(A^{k}\mathbf {v}\v} \right) \\&=\lim _{k\to \infit }\body ^{k}\mathbf {v}\\v}\lim_{k\to \infit }\lineed}}}}}}} 그리고, 가설 v ≠ 0 에 의해서, 우리는 반드시
임이 있는 k → ∞ λ k = 0 {\displaystyle \lim _{k\to \inflt }\bodda ^{k}=0} 즉, < < 1. 이것은 어떤 고유값 λ에 대해서도 사실이어야 하므로 ρ(A ) < 1을 결론지을 수 있다.
이제 A 의 반지름이 1 보다 작다고 가정하자. 요르단 정상 형태 정리로부터 우리는 모든 A c n ×n C에 대해 다음 과 같은 V, J c n ×n C와 V 비송음, J 블록 대각선이 존재한다는 것을 알고 있다.
A = V J V − 1 {\displaystyle A=VJV^{-1} 와 함께
J = [ J m 1 ( λ 1 ) 0 0 ⋯ 0 0 J m 2 ( λ 2 ) 0 ⋯ 0 ⋮ ⋯ ⋱ ⋯ ⋮ 0 ⋯ 0 J m s − 1 ( λ s − 1 ) 0 0 ⋯ ⋯ 0 J m s ( λ s ) ] {\displaystyle J={\begin{bmatrix}J_{m_{1}:{1}(\lambda _{1}��&#cdots &0\\0���������& J_{m_{2}}(\lambda _{2})&0&\cdots &0\\\vdots &\cdots &\ddots &\cdots &\vdots \\0&\cdots &0&J_{m_{s-1}}(\lambda _{s-1})&0\\0&\cdots &\cdots &0&J_{m_{s}}(\lambda _{s})\end{bmatrix}}} 어디에
J m i ( λ i ) = [ λ i 1 0 ⋯ 0 0 λ i 1 ⋯ 0 ⋮ ⋮ ⋱ ⋱ ⋮ 0 0 ⋯ λ i 1 0 0 ⋯ 0 λ i ] ∈ C m i × m i , 1 ≤ i ≤ s . {\displaystyle J_{m_{나는}}(\lambda_{나는})={\begin{bmatrix}\lambda _{나는}&, 1&, 0&, \cdots &, 0\\0&, \lambda _{나는}&, 1&, \cdots, 0\\\vdots, \vdots & &, \ddots &, \ddots &, \vdots \\0&, 0&, \cdots & &, \lambda _{나는}&, 1\\0&, 0&, \cdots &, 0&, \lambda _{나는}\end{bmatrix}}\in\mathbf{C}^{m_{나는}\times m_{나는}}i\leq s,1\leq.} 는 것을 쉽게 알 수 있다.
A k = V J k V − 1 {\displaystyle A^{k}=VJ^{k}V^{-1} 그리고 , J는 블록 대각선이기 때문에,
J k = [ J m 1 k ( λ 1 ) 0 0 ⋯ 0 0 J m 2 k ( λ 2 ) 0 ⋯ 0 ⋮ ⋯ ⋱ ⋯ ⋮ 0 ⋯ 0 J m s − 1 k ( λ s − 1 ) 0 0 ⋯ ⋯ 0 J m s k ( λ s ) ] {\displaystyle J^{k}={\begin{bmatrix}J_{m_{1}^{k}(\lambda _{1}�&\cdots &0\0\0������������&# J_{m_{2}}^{k}(\lambda _{2})&0&\cdots &0\\\vdots &\cdots &\ddots &\cdots &\vdots \\0&\cdots &0&J_{m_{s-1}}^{k}(\lambda _{s-1})&0\\0&\cdots &\cdots &0&J_{m_{s}}^{k}(\lambda _{s})\end{bmatrix}}} 이제 , m i × m i {\ displaystyle m_{i}\times m_{i}}} Jordan 블록의 k-power에 대한 표준 결과에 따르면 k ≥ m i - 1 {\displaystyle k\geq m_{i}- 1}:
J m i k ( λ i ) = [ λ i k ( k 1 ) λ i k − 1 ( k 2 ) λ i k − 2 ⋯ ( k m i − 1 ) λ i k − m i + 1 0 λ i k ( k 1 ) λ i k − 1 ⋯ ( k m i − 2 ) λ i k − m i + 2 ⋮ ⋮ ⋱ ⋱ ⋮ 0 0 ⋯ λ i k ( k 1 ) λ i k − 1 0 0 ⋯ 0 λ i k ] {\displaystyle J_{m_{나는}}^ᆪ(\lambda_{나는})={\begin{bmatrix}\lambda _{나는}^{k}&,{k1\choose}\lambda _{나는}^{k-1}&,{k2\choose}\lambda _{나는}^{k-2}&, \cdots &,{k\choose m_{나는}-1}\lambda _{나는}^{k-m_{나는}+1}\\0&, \lambda _{나는}^{k}&,{k1\choose}\lambda _{나는}^{k-1}&, \cdots &,{k\choose m_{나는}-2}\lambda _{나는}^{k-m_{나는}+2}\\\vdots &, \vdots &a.Mp, \ddots, \ddots &, \vdots \\0&, 0&, \cdots & &을 말한다. \lambda _{i}^{k}&{k \1}\{i}^{k-1}\\0�&\cdots &0�&#da _{i}^{k}\end{bmatrix}}}}}}}}을(를) 선택하십시오. 따라서 ρ ( A ) < 1 {\displaystyle \rho (A)<1} 의 경우 모든 i λ i < 1 {\displaystyle \lambda _{i}{1 } . 따라서 우리가 가진 모든 것은 다음과 같다.
임이 있는 k → ∞ J m i k = 0 {\displaystyle \lim_{k\to \infit }J_{m_{i}^{k}=0} 그 말은
임이 있는 k → ∞ J k = 0. {\displaystyle \lim _{k\to \inflt }J^{k}=0. } 그러므로
임이 있는 k → ∞ A k = 임이 있는 k → ∞ V J k V − 1 = V ( 임이 있는 k → ∞ J k ) V − 1 = 0 {\displaystyle \lim _{k\to \ft }A^{k}=\lim _{k^{k^{1}=V\left(\lim _{k\to \inft }J^{k}\right) V^{-1}=0} 반대편에서는 ρ (A ) > 1 {\displaystyle \rho (A)>1 }이( 가)면 , 적어도 J 에는 k가 증가함에 따라 경계가 유지되지 않는 요소가 하나 있으므로, 성명의 두 번째 부분을 증명한다.
겔판드의 공식 정리 다음 정리는 스펙트럼 반경을 매트릭스 규범의 한계로 제시한다.
정리(Gelfand's Formula; 1941). 어떤 매트릭스 규범 ⋅에 대하여, 우리는 다음과 같다. ρ ( A ) = lim k → ∞ ‖ k 1 k . {\displaystyle \rho (A)=\lim _{k\to \inflty }\{k}\ ^{\fract{1}{ k}}}}}. [2] 증명 어떤 ε > 0 에 대해 먼저 다음 두 개의 행렬을 구성한다.
A ± = 1 ρ ( A ) ± ε A . {\displaystyle A_{\pm }={\frac {1}{\rho(A)\pm \varepsilon }A. } 다음:
ρ ( A ± ) = ρ ( A ) ρ ( A ) ± ε , ρ ( A + ) < 1 < ρ ( A − ) . {\displaystyle \rho \left(A_{\pm }}\rho(A)}{\rho(A)}{\rho(A)\pm\varepsilon }}}}},\qquad \rho(A_{+})<1<\rho(A_{-}). } 먼저 이전의 정리 를+ A:에 적용한다.
임이 있는 k → ∞ A + k = 0. {\displaystyle \lim _{k\to \inflt }A_{+}^{k}=0. } 즉, 시퀀스 한계 정의에 의해 모든 + k ≥ N에+ 대해 N ∈ N 이 존재한다는 것을 의미한다.
‖ A + k ‖ < 1 {\displaystyle {\begin{aigned}\왼쪽\A_{+}^{k}\오른쪽\<1\end{aigned}}}}} 그렇게
‖ A k ‖ 1 k < ρ ( A ) + ε . {\displaystyle {\begin}\왼쪽\A^{k}\right\^\\\frac {1}{1}{k}}<\rho(A)+\varepsilon .\ended}}}}} 이전 정리를 A 에− 적용하는 것은 implies A - k ‖ {\displaystyle \ A_{-}^{k}\}}이( 가) 경계가 없으며 모든 k ≥ N에− 대해 N exists − N 이 존재함을 의미한다.
‖ A − k ‖ > 1 {\displaystyle {\begin{aigned}\왼쪽\A_{-}^{k}\오른쪽\>1\end{aigned}}}} 그렇게
‖ A k ‖ 1 k > ρ ( A ) − ε . {\displaystyle {\begin}\왼쪽\A^{k}\오른쪽\^{\frac {1}{k}}}\rho(A)-\varepsilon .\ended}}}} N = max{N + , N} 을− (를) 사용하면 다음과 같은 결과를 얻을 수 있다.
∀ ε > 0 ∃ N ∈ N ∀ k ≥ N ρ ( A ) − ε < ‖ A k ‖ 1 k < ρ ( A ) + ε \displaystyle \for \varepsilon >0\quad \exists N\mathbf {N} \quad \rho (A)-\varepsilon <\좌측\A^{k}\frac {1}{1}{k}}+vpsilon} 정의상으로는
임이 있는 k → ∞ ‖ A k ‖ 1 k = ρ ( A ) . {\displaystyle \lim_{k\to \flt }\왼쪽\A^{k}\오른쪽\{\frac {1}{k}}=\rho (A) }
헬프랜드 산호관 Gelfand의 공식은 미세하게 많은 행렬이 있는 제품의 스펙트럼 반경에 대한 경계로 직결된다. 즉, 그것들이 모두 우리가 얻는 통근이라고 가정한다.
ρ ( A 1 ⋯ A n ) ≤ ρ ( A 1 ) ⋯ ρ ( A n ) . {\displaystyle \rho(A_{1}\cdots A_{n})\leq \rho(A_{1})\cdots \rho(A_{n}). } 실제로 규범이 일치 하는 경우, 증거는 논문보다 더 많은 것을 보여준다. 사실, 이전 보조정리기를 사용하여 왼쪽 하한을 스펙트럼 반경 자체로 대체하고 보다 정확하게 다음과 같이 쓸 수 있다.
∀ ε > 0 , ∃ N ∈ N , ∀ k ≥ N ρ ( A ) ≤ ‖ A k ‖ 1 k < ρ ( A ) + ε {\displaystyle \for \varepsilon >0,\exists N\mathbf {N},\fall k\geq N\quad \rho (A)\leq \A^{1}\frac{1}{1}{k}}}}}}\rho+\varepsilon }}}}}}}} 정의상으로는
임이 있는 k → ∞ ‖ A k ‖ 1 k = ρ ( A ) + , {\displaystyle \lim_{k\to \flt }\왼쪽\A^{k}\오른쪽\{\frac {1}{k}}=\rho(A)^{+}} 여기서 +는 한계에 대해 위에서 접근하는 것을 의미한다.
예 행렬 고려
A = [ 9 − 1 2 − 2 8 4 1 1 8 ] {\displaystyle A={\begin{bmatrix}9&-1&2\\2&8&4\\1&8\end{bmatrix}}} 이들의 고유값은 5 , 10, 10 이며, 정의상 ρ (A ) = 10 이다. In the following table, the values of ‖ A k ‖ 1 k {\displaystyle \ A^{k}\ ^{\frac {1}{k}}} for the four most used norms are listed versus several increasing values of k (note that, due to the particular form of this matrix, ‖ . ‖ 1 = ‖ . ‖ ∞ {\displaystyle \ .\ _{1}=\ .\ _{\infty }} ):
k ‖ . ‖ 1 = ‖ . ‖ ∞ {\displaystyle \ .\ _{1}=\\ _{\fty}}} ‖ . ‖ F {\displaystyle \ .\ _{F}} ‖ . ‖ 2 {\displaystyle \ .\ _{2}}: 1 14 15.362291496 10.681145748 2 12.649110641 12.328294348 10.595665162 3 11.934831919 11.532450664 10.500980846 4 11.501633169 11.151002986 10.418165779 5 11.216043151 10.921242235 10.351918183 ⋮ \displaystyle \vdots } ⋮ \displaystyle \vdots } ⋮ \displaystyle \vdots } ⋮ \displaystyle \vdots } 10 10.604944422 10.455910430 10.183690042 11 10.548677680 10.413702213 10.166990229 12 10.501921835 10.378620930 10.153031596 ⋮ \displaystyle \vdots } ⋮ \displaystyle \vdots } ⋮ \displaystyle \vdots } ⋮ \displaystyle \vdots } 20 10.298254399 10.225504447 10.091577411 30 10.197860892 10.149776921 10.060958900 40 10.148031640 10.112123681 10.045684426 50 10.118251035 10.089598820 10.036530875 ⋮ \displaystyle \vdots } ⋮ \displaystyle \vdots } ⋮ \displaystyle \vdots } ⋮ \displaystyle \vdots } 100 10.058951752 10.044699508 10.018248786 200 10.029432562 10.022324834 10.009120234 300 10.019612095 10.014877690 10.006079232 400 10.014705469 10.011156194 10.004559078 ⋮ \displaystyle \vdots } ⋮ \displaystyle \vdots } ⋮ \displaystyle \vdots } ⋮ \displaystyle \vdots } 1000 10.005879594 10.004460985 10.001823382 2000 10.002939365 10.002230244 10.000911649 3000 10.001959481 10.001486774 10.000607757 ⋮ \displaystyle \vdots } ⋮ \displaystyle \vdots } ⋮ \displaystyle \vdots } ⋮ \displaystyle \vdots } 10000 10.000587804 10.000446009 10.000182323 20000 10.000293898 10.000223002 10.000091161 30000 10.000195931 10.000148667 10.000060774 ⋮ \displaystyle \vdots } ⋮ \displaystyle \vdots } ⋮ \displaystyle \vdots } ⋮ \displaystyle \vdots } 100000 10.000058779 10.000044600 10.000018232
참고 및 참조 참고 문헌 목록 Dunford, Nelson; Schwartz, Jacob (1963), Linear operators II. Spectral Theory: Self Adjoint Operators in Hilbert Space , Interscience Publishers, Inc. Lax, Peter D. (2002), Functional Analysis , Wiley-Interscience, ISBN 0-471-55604-1
참고 항목
공간
정리 연산자 알헤브라스 문제 열기 적용들 고급 주제
기본개념 주요 결과 특수 요소/운영자 스펙트럼 스펙트럼 분해 스펙트럼 정리 특수 알헤브라스 유한 차원 일반화 잡다한 예 적용들