Собственные векторы и собственные значения — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(основные теоремы и определения)
м (rollbackEdits.php mass rollback)
 
(не показано 35 промежуточных версий 7 участников)
Строка 1: Строка 1:
== основные теоремы и определения ==
+
== Основные теоремы и определения ==
  
 +
===Определения===
 
{{Определение
 
{{Определение
 
|id=def1.  
 
|id=def1.  
 
|neat =  
 
|neat =  
 
|definition=
 
|definition=
пусть <tex>A:X \to X</tex>  - линейный оператор (ЛО)<br>
+
Пусть <tex>\mathcal{A}\colon X \to X</tex>  - линейный оператор (ЛО)<br>
  <tex>x\ne 0_X</tex> называется '''собственным вектором'''<tex>A</tex>, если <tex>x \in L</tex>, где <tex>L</tex> - [[Инвариантные подпространства | инвариантное подпространство]] <tex>A</tex>, b <tex>dimL = 1</tex>  
+
  <tex>x\ne 0_x</tex> называется '''собственным вектором''' <tex>\mathcal{A}</tex>, если <tex>x \in L</tex>, где <tex>L</tex> {{---}} [[Инвариантные подпространства | инвариантное подпространство]] <tex>\mathcal{A}</tex> и <tex>\dim L = 1</tex>  
 
}}
 
}}
  
Строка 13: Строка 14:
 
|neat =  
 
|neat =  
 
|definition=
 
|definition=
пусть <tex>A:X \to X</tex> <br> <tex>x\ne 0_X</tex> называется '''собственным вектором'''<tex>A</tex>, если существует <tex>\lambda \in F : Ax = \lambda x</tex>
+
Пусть <tex>\mathcal{A}\colon X \to X</tex> <br> <tex>x\ne 0_X</tex> называется '''собственным вектором''' <tex>\mathcal{A}</tex>, если существует <tex>\lambda \in F \colon \mathcal{A}x = \lambda x</tex>
 
}}
 
}}
  
Строка 21: Строка 22:
 
|about=
 
|about=
 
|statement=
 
|statement=
предыдущие 2 определения эквивалентны
+
Предыдущие 2 определения эквивалентны.
 
|proof=
 
|proof=
<tex> (1) \Rightarrow (2) : x \in L, dim(L)=1 \Rightarrow Ax \in L (x \ne 0_x \Rightarrow basis L = \{x\}), then  Ax =\lambda x</tex> <br>
+
<math> (1) \Rightarrow (2) \colon x \in L, \dim L=1 \Rightarrow \mathcal{A}x \in L \ (</math>т. к. <math>x \ne 0_X \Rightarrow</math> базис <math>L = \{x\}) \Rightarrow \mathcal{A}x=\lambda x</math> (единственным образом) <br>
<tex> (1) \Leftarrow (2) \exists \lambda: Ax=\lambda x \Rightarrow x \in</tex> одном.(одномерному) п.п.
+
<tex> (1) \Leftarrow (2) \colon \exists \lambda: \mathcal{A}x = \lambda x \Rightarrow x \in</tex> одномерному подпространству <tex>L</tex>, где <tex>L =</tex> линейная оболочка <tex>\{x\}, \mathcal{A}x = \lambda x \in L</tex>
<tex>L =\{x\}, Ax = \lambda x \in L</tex>
 
 
}}
 
}}
  
Строка 32: Строка 32:
 
|neat =  
 
|neat =  
 
|definition=
 
|definition=
<tex>\lambda</tex> в равенстве <tex>Ax = \lambda x</tex> называется '''собственным числом(собственным значением)''' ЛО <tex>A</tex>
+
<tex>\lambda</tex> в равенстве <tex>\mathcal{A}x = \lambda x</tex> называется '''собственным числом (собственным значением)''' ЛО <tex>\mathcal{A}</tex>
 
}}
 
}}
  
Строка 39: Строка 39:
 
|neat =  
 
|neat =  
 
|definition=
 
|definition=
'''спектром''' <tex>\sigma</tex> ЛО называется множество всех его '''собственных значений''' <br>
+
'''Спектром''' <tex>\sigma</tex> ЛО называется множество всех его '''собственных значений''' <br>
<tex>\sigma (A) = \sigma _A = \{ \lambda _i \}</tex>
+
<tex>\sigma (\mathcal{A}) = \sigma _\mathcal{A} = \{ \lambda _i \}</tex>
 
}}
 
}}
  
 
  // здесь мог быть пример, но думаю всем и так понятно
 
  // здесь мог быть пример, но думаю всем и так понятно
  
 +
===Свойства===
 
{{Теорема
 
{{Теорема
 
|id=th1.  
 
|id=th1.  
Строка 50: Строка 51:
 
|about=
 
|about=
 
|statement=
 
|statement=
'''собственные векторы''', отвечающие различным '''собственным значениям''' образуют ЛНЗ набор
+
'''Собственные векторы''', отвечающие различным '''собственным значениям''' образуют ЛНЗ набор
 
|proof=
 
|proof=
1)база: рассмотрим <tex>\lambda \leftrightarrow x1 \ne 0_x \{x1\} - ЛНЗ</tex>  
+
1) База: рассмотрим <tex>\lambda \leftrightarrow x_1 \ne 0_x\ \{x_1\}</tex> - ЛНЗ набор.<br>
2) <tex>\{x1,x2, ... , x_{m-1}\} \leftrightarrow \{\lambda _1, ... \lambda _ m-1 \}</tex> - ЛНЗ. Рассмотрим <tex>\{x1, ..., x_m \} </tex>- доказать что ЛНЗ.
+
2) <tex>\{x_1,x_2, ... , x_{m-1}\} \leftrightarrow \{\lambda _1, ... \lambda _ {m-1} \}</tex> - ЛНЗ.  
 +
Рассмотрим <tex>\{x_1, ..., x_m \} </tex>- докажем, что тоже ЛНЗ.
  
<tex>\sum\limits_{k=1}^m \alpha^i x_i = 0 </tex>
+
<tex>\sum\limits_{i=1}^m \alpha^i x_i = 0 </tex>
  
<tex>A( \sum\limits_{k=1}^m \alpha_i x_i) = \sum\limits_{k=1}^m \alpha_i Ax_i = \sum\limits_{k=1}^m \alpha_i \lambda_i x_i = 0_x</tex>  (1)
+
<tex>\mathcal{A}( \sum\limits_{i=1}^m \alpha_i x_i) = \sum\limits_{i=1}^m \alpha_i Ax_i = \sum\limits_{i=1}^m \alpha_i \lambda_i x_i = 0_x</tex>  (1)
  
<tex>\lambda_m( \sum\limits_{k=1}^m \alpha_i x_i) = \sum\limits_{k=1}^m \alpha_i \lambda_m x_i = 0_x</tex>  (2)
+
<tex>\lambda_m( \sum\limits_{i=1}^m \alpha_i x_i) = \sum\limits_{i=1}^m \alpha_i \lambda_m x_i = 0_x</tex>  (2)
  
(1) - (2) : <tex>\alpha_1(\lambda_1 - \lambda_m)x_1 + ... + \alpha_m-1(\lambda_m-1 - \lambda_m)x_m-1 + 0_x = 0_x</tex>
+
(1) - (2) : <tex>\alpha_1(\lambda_1 - \lambda_m)x_1 + ... + \alpha_{m-1}(\lambda_{m-1} - \lambda_m)x_{m-1} + 0_x = 0_x</tex>
  
по предположению индукции <tex>\{x1,x2, ... , x_{m-1}\}</tex> - ЛНЗ  <tex>\Rightarrow \alpha_1 (\lambda_1-\lambda_m)=0  ...  \alpha_{m-1} (\lambda_{m-1} - \lambda_{m}) =0 </tex>, при этом все <tex>(\lambda_{i-1}-\lambda_m) \ne 0</tex>
+
По предположению индукции <tex>\{x_1,x_2, ... , x_{m-1}\}</tex> - ЛНЗ  <tex>\Rightarrow \alpha_1 (\lambda_1-\lambda_m)=0  ...  \alpha_{m-1} (\lambda_{m-1} - \lambda_{m}) =0 </tex>, при этом все <tex>(\lambda_{i-1}-\lambda_m) \ne 0</tex>
  
<tex>\Rightarrow </tex> все <tex>\alpha_i = 0</tex>
+
<tex>\Rightarrow </tex> все <tex>\alpha_i = 0</tex> <tex>\Rightarrow \sum\limits_{i=1}^m \alpha_i x_i = 0_x</tex>
  
<tex>\Rightarrow \alpha_m x_m = 0_x </tex>, где <tex>x_m \ne 0</tex> те набор ЛНЗ
+
<tex>\Rightarrow \alpha_m x_m = 0_x </tex>, где <tex>x_m \ne 0_x</tex> <tex>\Rightarrow \alpha_m=0</tex>, т.е. набор ЛНЗ.
 
}}
 
}}
  
Строка 76: Строка 78:
 
|about=
 
|about=
 
|statement=
 
|statement=
множество всех собственных векторов, отвечающих одному и тому же собственному значению оператора <tex>A</tex>, образует подпространство пространства <tex>X</tex>.
+
Множество всех собственных векторов, отвечающих одному и тому же собственному значению оператора <tex>\mathcal{A}</tex>, образует подпространство пространства <tex>X</tex>.
|proof= не было у Ани в конспекте. наверное не нужно =)
+
|proof=
 +
1) Если <tex>x</tex> {{---}} св, то и <tex> \alpha x</tex> {{---}} тоже св.
 +
 
 +
2) Если <tex>x,y</tex> {{---}} св, то и <tex>x+y</tex> {{---}} тоже св.
 +
 
 +
Из 1 и 2 <tex>\Rightarrow</tex> что лемма доказана (по определению подпространства)
 +
 
 
}}
 
}}
  
Строка 85: Строка 93:
 
|neat =  
 
|neat =  
 
|definition=
 
|definition=
пусть <tex>L = \{</tex> все СВ <tex> x_i \leftrightarrow \lambda_i \}</tex> называют собственным подпространством <tex>\leftrightarrow</tex> СЗ <tex>\lambda_i</tex>
+
<tex>L = </tex> линейная оболочка <tex>\{</tex> все СВ <tex> x_i \leftrightarrow \lambda_i \}</tex> называют собственным подпространством <tex>X \leftrightarrow</tex> СЗ <tex>\lambda_i</tex>
 
}}
 
}}
  
Строка 94: Строка 102:
 
|about=
 
|about=
 
|statement=
 
|statement=
пусть L - лин оболочка<tex>\{ </tex> всех <tex>x_i \leftrightarrow \lambda_i\}</tex>
+
Пусть L - линейная оболочка<tex>\{ </tex> всех <tex>x_i \leftrightarrow \lambda_i\}</tex>
пусть <tex>X_{\lambda i}</tex> - собственное подпространство X <tex>\leftrightarrow \lambda_i</tex>
+
Пусть <tex>X_{\lambda i}</tex> - собственное подпространство X <tex>\leftrightarrow \lambda_i</tex>
тогда <tex>L = X_{\lambda i}</tex>
+
Тогда <tex>L = X_{\lambda i}</tex>
 
|proof=
 
|proof=
сначала <tex>\subseteq</tex>  потом <tex>\supseteq</tex>  <tex>\Rightarrow</tex> доказательство
+
Сначала <tex>\subseteq</tex>  потом <tex>\supseteq</tex>  <tex>\Rightarrow</tex> доказательство (так в конспекте);
 +
Вообще не понятно, зачем эта лемма, ибо она по определению.
 
}}
 
}}
  
Строка 107: Строка 116:
 
|about= (следствие из теоремы)
 
|about= (следствие из теоремы)
 
|statement=
 
|statement=
у ЛО не может быть больше <tex>n</tex> СЗ, где <tex>n = dimX</tex>
+
У ЛО не может быть больше <tex>n</tex> СЗ, где <tex>n = dimX</tex>
|proof= не было у Ани в конспекте. наверное не нужно =)
+
|proof=  
 +
(идет как упражнение)
 +
По теореме выше, набор собственных векторов - ЛНЗ набор. <tex>\Rightarrow</tex> их не больше чем размерность пространства, а <tex>dim X = n </tex>.
 
}}
 
}}
  
== поиск СЗ и СВ ==
+
== Поиск СЗ и СВ ==
  
 
<tex>x \ne 0_x</tex> и
 
<tex>x \ne 0_x</tex> и
<tex>Ax = \lambda  x \Leftrightarrow Ax - \lambda I x = 0 \Leftrightarrow (A - \lambda I)X = 0 </tex>
+
<tex>\mathcal{A}x = \lambda  x \Leftrightarrow \mathcal{A}x - \lambda \mathcal{I} x = 0 \Leftrightarrow (\mathcal{A} - \lambda \mathcal{I})X = 0 </tex>
  
 
<math dpi = "145">{C}= \begin{pmatrix}  
 
<math dpi = "145">{C}= \begin{pmatrix}  
({\alpha}_{11}- \lambda) \xi^1 & {\alpha}_{11} \xi^2 & \cdots & {\alpha}_{1n} \xi^n \\
+
({\alpha}_{1}^{1}- \lambda) \xi^1 & {\alpha}_{2}^{1} \xi^2 & \cdots & {\alpha}_{n}^{1} \xi^n \\
{\alpha}_{21} \xi^1 & ({\alpha}_{22}- \lambda) \xi^2 & \cdots & {\alpha}_{2n} \xi^n \\
+
{\alpha}_{1}^{2} \xi^1 & ({\alpha}_{2}^{2}- \lambda) \xi^2 & \cdots & {\alpha}_{n}^{2} \xi^n \\
 
\vdots & \vdots & \ddots & \vdots \\
 
\vdots & \vdots & \ddots & \vdots \\
{\alpha}_{n1} \xi^1 & {\alpha}_{n2} \xi^2 & \cdots & ({\alpha}_{nn}- \lambda) \xi^n \\
+
{\alpha}_{1}^{n} \xi^1 & {\alpha}_{2}^{n} \xi^2 & \cdots & ({\alpha}_{n}^{n}- \lambda) \xi^n \\
 
\end{pmatrix}</math>
 
\end{pmatrix}</math>
  
если <tex>det(A- \lambda E) \ne 0 \Rightarrow exists! </tex> тривиальное решение  <tex>(0,0 ... ,0)^T</tex>
+
Если <tex>det(A- \lambda E) \ne 0 \Rightarrow \exists </tex> тривиальное решение  <tex>(0,0 ... ,0)^T</tex>
  
если <tex>det(A- \lambda E) = 0 \Rightarrow exists </tex> нетривиальное решение \Rightarrow exists СВ <tex>x</tex>
+
Если <tex>det(A- \lambda E) = 0 \Rightarrow \exists </tex> нетривиальное решение <tex>\Rightarrow \exists</tex> СВ <tex>x</tex>
  
<tex>\chi_A (\lambda) = 0 </tex> - характеристический полином
+
<tex>\mathcal{X}_A (\lambda) = 0 </tex> - характеристический полином
  
 
<tex>det(A- \lambda E) = 0</tex> - уравнение на СЗ, а
 
<tex>det(A- \lambda E) = 0</tex> - уравнение на СЗ, а
 
<tex>det(A- \lambda E)X = 0</tex> - уравнение на СВ
 
<tex>det(A- \lambda E)X = 0</tex> - уравнение на СВ
  
из уравнения на СЗ находим <tex>\{\lambda_i \}</tex> - корпни характеристического полинома, они же - характеристические числа
+
Из уравнения на СЗ находим <tex>\{\lambda_i \}</tex> - корни характеристического полинома, они же - характеристические числа.
  
затем подставляем каждую <tex>\lambda_i</tex> в уравнение на СВ по очереди на находим СВ <tex>x_i \leftrightarrow \lambda_i</tex>
+
Затем подставляем каждую <tex>\lambda_i</tex> в уравнение на СВ по очереди на находим СВ <tex>x_i \leftrightarrow \lambda_i</tex>.
  
так найдутся все СВ.
+
Так найдутся все СВ.
  
 
{{Теорема
 
{{Теорема
Строка 143: Строка 154:
 
|about=
 
|about=
 
|statement=
 
|statement=
пусть <tex> A : X \to X, X</tex> над С, тогда у <tex>A</tex> есть хотя бы одно СЗ и один СВ.
+
Пусть <tex> \mathcal{A} : X \to X, X</tex> над С, тогда у <tex>\mathcal{A}</tex> есть хотя бы одно СЗ и один СВ.
|proof=доказательство у Ани какой-то мутный и с картинкой. думаю, лучше приложить фотку или найти человека с доказательством.
+
|proof=
[[Файл:File20130611.jpg |400px|thumb|left|доказательство]]  
+
[http://ru.wikipedia.org/wiki/%D0%9E%D1%81%D0%BD%D0%BE%D0%B2%D0%BD%D0%B0%D1%8F_%D1%82%D0%B5%D0%BE%D1%80%D0%B5%D0%BC%D0%B0_%D0%B0%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D1%8B Основная теорема алгебры] гласит, что у <tex>\forall</tex> полинома комплексной переменной всегда есть корень.
 
}}
 
}}
 +
 +
[[Категория: Алгебра и геометрия 1 курс]]

Текущая версия на 19:27, 4 сентября 2022

Основные теоремы и определения

Определения

Определение:
Пусть [math]\mathcal{A}\colon X \to X[/math] - линейный оператор (ЛО)
[math]x\ne 0_x[/math] называется собственным вектором [math]\mathcal{A}[/math], если [math]x \in L[/math], где [math]L[/math] инвариантное подпространство [math]\mathcal{A}[/math] и [math]\dim L = 1[/math]


Определение:
Пусть [math]\mathcal{A}\colon X \to X[/math]
[math]x\ne 0_X[/math] называется собственным вектором [math]\mathcal{A}[/math], если существует [math]\lambda \in F \colon \mathcal{A}x = \lambda x[/math]


Лемма:
Предыдущие 2 определения эквивалентны.
Доказательство:
[math]\triangleright[/math]

[math] (1) \Rightarrow (2) \colon x \in L, \dim L=1 \Rightarrow \mathcal{A}x \in L \ ([/math]т. к. [math]x \ne 0_X \Rightarrow[/math] базис [math]L = \{x\}) \Rightarrow \mathcal{A}x=\lambda x[/math] (единственным образом)

[math] (1) \Leftarrow (2) \colon \exists \lambda: \mathcal{A}x = \lambda x \Rightarrow x \in[/math] одномерному подпространству [math]L[/math], где [math]L =[/math] линейная оболочка [math]\{x\}, \mathcal{A}x = \lambda x \in L[/math]
[math]\triangleleft[/math]


Определение:
[math]\lambda[/math] в равенстве [math]\mathcal{A}x = \lambda x[/math] называется собственным числом (собственным значением) ЛО [math]\mathcal{A}[/math]


Определение:
Спектром [math]\sigma[/math] ЛО называется множество всех его собственных значений
[math]\sigma (\mathcal{A}) = \sigma _\mathcal{A} = \{ \lambda _i \}[/math]


// здесь мог быть пример, но думаю всем и так понятно

Свойства

Теорема:
Собственные векторы, отвечающие различным собственным значениям образуют ЛНЗ набор
Доказательство:
[math]\triangleright[/math]

1) База: рассмотрим [math]\lambda \leftrightarrow x_1 \ne 0_x\ \{x_1\}[/math] - ЛНЗ набор.
2) [math]\{x_1,x_2, ... , x_{m-1}\} \leftrightarrow \{\lambda _1, ... \lambda _ {m-1} \}[/math] - ЛНЗ. Рассмотрим [math]\{x_1, ..., x_m \} [/math]- докажем, что тоже ЛНЗ.

[math]\sum\limits_{i=1}^m \alpha^i x_i = 0 [/math]

[math]\mathcal{A}( \sum\limits_{i=1}^m \alpha_i x_i) = \sum\limits_{i=1}^m \alpha_i Ax_i = \sum\limits_{i=1}^m \alpha_i \lambda_i x_i = 0_x[/math] (1)

[math]\lambda_m( \sum\limits_{i=1}^m \alpha_i x_i) = \sum\limits_{i=1}^m \alpha_i \lambda_m x_i = 0_x[/math] (2)

(1) - (2) : [math]\alpha_1(\lambda_1 - \lambda_m)x_1 + ... + \alpha_{m-1}(\lambda_{m-1} - \lambda_m)x_{m-1} + 0_x = 0_x[/math]

По предположению индукции [math]\{x_1,x_2, ... , x_{m-1}\}[/math] - ЛНЗ [math]\Rightarrow \alpha_1 (\lambda_1-\lambda_m)=0 ... \alpha_{m-1} (\lambda_{m-1} - \lambda_{m}) =0 [/math], при этом все [math](\lambda_{i-1}-\lambda_m) \ne 0[/math]

[math]\Rightarrow [/math] все [math]\alpha_i = 0[/math] [math]\Rightarrow \sum\limits_{i=1}^m \alpha_i x_i = 0_x[/math]

[math]\Rightarrow \alpha_m x_m = 0_x [/math], где [math]x_m \ne 0_x[/math] [math]\Rightarrow \alpha_m=0[/math], т.е. набор ЛНЗ.
[math]\triangleleft[/math]


Лемма:
Множество всех собственных векторов, отвечающих одному и тому же собственному значению оператора [math]\mathcal{A}[/math], образует подпространство пространства [math]X[/math].
Доказательство:
[math]\triangleright[/math]

1) Если [math]x[/math] — св, то и [math] \alpha x[/math] — тоже св.

2) Если [math]x,y[/math] — св, то и [math]x+y[/math] — тоже св.

Из 1 и 2 [math]\Rightarrow[/math] что лемма доказана (по определению подпространства)
[math]\triangleleft[/math]


Определение:
[math]L = [/math] линейная оболочка [math]\{[/math] все СВ [math] x_i \leftrightarrow \lambda_i \}[/math] называют собственным подпространством [math]X \leftrightarrow[/math] СЗ [math]\lambda_i[/math]


Лемма:
Пусть L - линейная оболочка[math]\{ [/math] всех [math]x_i \leftrightarrow \lambda_i\}[/math]

Пусть [math]X_{\lambda i}[/math] - собственное подпространство X [math]\leftrightarrow \lambda_i[/math]

Тогда [math]L = X_{\lambda i}[/math]
Доказательство:
[math]\triangleright[/math]

Сначала [math]\subseteq[/math] потом [math]\supseteq[/math] [math]\Rightarrow[/math] доказательство (так в конспекте);

Вообще не понятно, зачем эта лемма, ибо она по определению.
[math]\triangleleft[/math]


Лемма ((следствие из теоремы)):
У ЛО не может быть больше [math]n[/math] СЗ, где [math]n = dimX[/math]
Доказательство:
[math]\triangleright[/math]

(идет как упражнение)

По теореме выше, набор собственных векторов - ЛНЗ набор. [math]\Rightarrow[/math] их не больше чем размерность пространства, а [math]dim X = n [/math].
[math]\triangleleft[/math]

Поиск СЗ и СВ

[math]x \ne 0_x[/math] и [math]\mathcal{A}x = \lambda x \Leftrightarrow \mathcal{A}x - \lambda \mathcal{I} x = 0 \Leftrightarrow (\mathcal{A} - \lambda \mathcal{I})X = 0 [/math]

[math]{C}= \begin{pmatrix} ({\alpha}_{1}^{1}- \lambda) \xi^1 & {\alpha}_{2}^{1} \xi^2 & \cdots & {\alpha}_{n}^{1} \xi^n \\ {\alpha}_{1}^{2} \xi^1 & ({\alpha}_{2}^{2}- \lambda) \xi^2 & \cdots & {\alpha}_{n}^{2} \xi^n \\ \vdots & \vdots & \ddots & \vdots \\ {\alpha}_{1}^{n} \xi^1 & {\alpha}_{2}^{n} \xi^2 & \cdots & ({\alpha}_{n}^{n}- \lambda) \xi^n \\ \end{pmatrix}[/math]

Если [math]det(A- \lambda E) \ne 0 \Rightarrow \exists [/math] тривиальное решение [math](0,0 ... ,0)^T[/math]

Если [math]det(A- \lambda E) = 0 \Rightarrow \exists [/math] нетривиальное решение [math]\Rightarrow \exists[/math] СВ [math]x[/math]

[math]\mathcal{X}_A (\lambda) = 0 [/math] - характеристический полином

[math]det(A- \lambda E) = 0[/math] - уравнение на СЗ, а [math]det(A- \lambda E)X = 0[/math] - уравнение на СВ

Из уравнения на СЗ находим [math]\{\lambda_i \}[/math] - корни характеристического полинома, они же - характеристические числа.

Затем подставляем каждую [math]\lambda_i[/math] в уравнение на СВ по очереди на находим СВ [math]x_i \leftrightarrow \lambda_i[/math].

Так найдутся все СВ.

Теорема:
Пусть [math] \mathcal{A} : X \to X, X[/math] над С, тогда у [math]\mathcal{A}[/math] есть хотя бы одно СЗ и один СВ.
Доказательство:
[math]\triangleright[/math]
Основная теорема алгебры гласит, что у [math]\forall[/math] полинома комплексной переменной всегда есть корень.
[math]\triangleleft[/math]