Спектр оператора: различия между версиями
[отпатрулированная версия] | [отпатрулированная версия] |
м →Литература: орфография |
Tosha (обсуждение | вклад) |
||
(не показано 6 промежуточных версий 6 участников) | |||
Строка 6: | Строка 6: | ||
Спектром оператора (обычно обозначается <math>\sigma(A)</math>) называется множество его [[Собственные векторы, значения и пространства|собственных значений]]. |
Спектром оператора (обычно обозначается <math>\sigma(A)</math>) называется множество его [[Собственные векторы, значения и пространства|собственных значений]]. |
||
Квадратную [[матрица (математика)|матрицу]] порядка <math>n</math> можно рассматривать как линейный оператор в [[размерность пространства|n-мерном]] пространстве, что позволяет перенести на матрицы «операторные» термины. |
Квадратную [[матрица (математика)|матрицу]] порядка <math>n</math> можно рассматривать как линейный оператор в [[размерность пространства|''n''-мерном]] пространстве, что позволяет перенести на матрицы «операторные» термины. |
||
В этом случае говорят о ''спектре матрицы''. |
|||
== Общее определение == |
== Общее определение == |
||
Пусть ''A'' |
Пусть ''A'' — оператор, действующий в [[банахово пространство|банаховом пространстве]] ''E'' над <math>\mathbb C</math>. Число λ называется ''регулярным'' для оператора ''A'', если оператор <math>R(\lambda)=(A - \lambda I)^{-1}</math>, называемый [[Резольвента линейного оператора|резольвентой]] оператора ''A'', определён на всём ''E'' и [[непрерывный оператор|непрерывен]]. Множество регулярных значений оператора ''A'' называется '''резольвентным множеством''' этого оператора, а [[дополнение (теория множеств)|дополнение]] резольвентного множества — '''спектром''' этого оператора <math>\sigma(A)</math>. Спектр ограниченного оператора представляет собой [[Компактное пространство|компакт]] в <math>\mathbb C</math> или является пустым. Спектр [[Ограниченный линейный оператор|линейного ограниченного оператора]] непуст. |
||
Внутри спектра оператора можно выделять части, не одинаковые по своим свойствам. Одной из основных '''классификаций спектра''' является следующая: |
Внутри спектра оператора можно выделять части, не одинаковые по своим свойствам. Одной из основных '''классификаций спектра''' является следующая: |
||
# ''дискретным (точечным) спектром'' <math>\sigma_p(A)</math> называется множество таких <math>\lambda</math>, при которых оператор <math>A - \lambda I</math> не [[Инъекция (математика)|инъективен]]. Дискретный спектр является множеством всех собственных значений оператора ''A''; в конечномерном случае присутствует только точечный спектр; |
# ''дискретным (точечным) спектром'' <math>\sigma_p(A)</math> называется множество таких <math>\lambda</math>, при которых оператор <math>A - \lambda I</math> не [[Инъекция (математика)|инъективен]]. Дискретный спектр является множеством всех собственных значений оператора ''A''; в конечномерном случае присутствует только точечный спектр; |
||
# ''непрерывным спектром'' <math>\sigma_c(A)</math> называется множество значений <math>\lambda</math>, при которых резольвента <math>(A - \lambda I)^{-1}</math> определена на [[всюду плотное множество|всюду плотном множестве]] в ''E'', но не является непрерывной (то есть оператор <math>A - \lambda I</math> инъективен, но не [[Сюръекция|сюръективен]], а его образ всюду плотен); |
# ''непрерывным спектром'' <math>\sigma_c(A)</math> называется множество значений <math>\lambda</math>, при которых резольвента <math>(A - \lambda I)^{-1}</math> определена на [[всюду плотное множество|всюду плотном множестве]] в ''E'', но не является непрерывной (то есть оператор <math>A - \lambda I</math> инъективен, но не [[Сюръекция|сюръективен]], а его образ всюду плотен); |
||
# ''остаточным спектром'' <math>\sigma_r(A)</math> называется множество точек спектра, не входящих ни в дискретную, ни в непрерывную части (то есть оператор <math>A - \lambda I</math> инъективен, не сюръективен, |
# ''остаточным спектром'' <math>\sigma_r(A)</math> называется множество точек спектра, не входящих ни в дискретную, ни в непрерывную части (то есть оператор <math>A - \lambda I</math> инъективен, не сюръективен, причем его образ не является всюду плотным). |
||
Максимум [[абсолютная величина|модулей]] точек спектра оператора ''A'' называется ''спектральным радиусом'' этого оператора и обозначается через <math>r(A)</math>. При этом выполняется равенство |
Максимум [[абсолютная величина|модулей]] точек спектра оператора ''A'' называется ''спектральным радиусом'' этого оператора и обозначается через <math>r(A)</math>. При этом выполняется равенство |
||
Строка 20: | Строка 21: | ||
В комплексном случае резольвента является [[голоморфная функция|голоморфной]] операторнозначной функцией на резольвентном множестве. В частности, при <math>\lambda>r(A)</math> она может быть разложена в [[ряд Лорана]] с центром в точке <math>z=0</math>. |
В комплексном случае резольвента является [[голоморфная функция|голоморфной]] операторнозначной функцией на резольвентном множестве. В частности, при <math>\lambda>r(A)</math> она может быть разложена в [[ряд Лорана]] с центром в точке <math>z=0</math>. |
||
Разность двух максимальных по абсолютной величине значений из спектра называется спектральной щелью ({{lang-en|spectral gap}}). |
|||
=== В квантовой механике === |
=== В квантовой механике === |
||
Спектр [[самосопряжённый оператор|самосопряжённых операторов]] играет важную роль в [[квантовая механика|квантовой механике]], определяя множество возможных значений [[квантовая наблюдаемая|наблюдаемой]] при [[измерение (квантовая механика)|измерении]]. В частности, спектр [[гамильтониан (квантовая механика)|гамильтониана]] определяет допустимые [[уровни энергии]] [[квантовая система|квантовой системы]]. |
Спектр [[самосопряжённый оператор|самосопряжённых операторов]] играет важную роль в [[квантовая механика|квантовой механике]], определяя множество возможных значений [[квантовая наблюдаемая|наблюдаемой]] при [[измерение (квантовая механика)|измерении]]. В частности, спектр [[гамильтониан (квантовая механика)|гамильтониана]] определяет допустимые [[уровни энергии]] [[квантовая система|квантовой системы]]. |
||
=== Непрерывный спектр === |
=== Непрерывный спектр в квантовой механике=== |
||
Непрерывный спектр |
Непрерывный спектр — это спектр значений физической величины, в котором в отличие от дискретного спектра значение этой величины определено для каждого собственного состояния системы, причем бесконечно малое изменение состояния системы приводит к бесконечно малому изменению физической величины. В качестве физической величины могут выступать: координата, импульс, энергия, орбитальный момент движения и т. д. Так как произвольная [[волновая функция]] |
||
<math> \Psi </math> может быть разложена в ряд по собственным функциям величины с дискретным спектром, то она может быть также разложена и в интеграл по полной системе собственных функций величины с непрерывным спектром. |
|||
== См. также == |
== См. также == |
||
Строка 37: | Строка 41: | ||
|заглавие = Математическая энциклопедия |
|заглавие = Математическая энциклопедия |
||
|место = М. |
|место = М. |
||
|издательство = |
|издательство = Советская энциклопедия |
||
|год = 1984 |
|год = 1984 |
||
|страниц = 1248 |
|страниц = 1248 |
||
|том = 5 Слу |
|том = 5 Слу — Я |
||
}} |
}} |
||
Текущая версия от 16:11, 2 января 2023
Спектр оператора — множество чисел, характеризующее линейный оператор. Применяется в линейной алгебре, функциональном анализе и квантовой механике.
Конечномерный случай
[править | править код]Пусть A — оператор, действующий в конечномерном линейном пространстве E. Спектром оператора (обычно обозначается ) называется множество его собственных значений.
Квадратную матрицу порядка можно рассматривать как линейный оператор в n-мерном пространстве, что позволяет перенести на матрицы «операторные» термины. В этом случае говорят о спектре матрицы.
Общее определение
[править | править код]Пусть A — оператор, действующий в банаховом пространстве E над . Число λ называется регулярным для оператора A, если оператор , называемый резольвентой оператора A, определён на всём E и непрерывен. Множество регулярных значений оператора A называется резольвентным множеством этого оператора, а дополнение резольвентного множества — спектром этого оператора . Спектр ограниченного оператора представляет собой компакт в или является пустым. Спектр линейного ограниченного оператора непуст.
Внутри спектра оператора можно выделять части, не одинаковые по своим свойствам. Одной из основных классификаций спектра является следующая:
- дискретным (точечным) спектром называется множество таких , при которых оператор не инъективен. Дискретный спектр является множеством всех собственных значений оператора A; в конечномерном случае присутствует только точечный спектр;
- непрерывным спектром называется множество значений , при которых резольвента определена на всюду плотном множестве в E, но не является непрерывной (то есть оператор инъективен, но не сюръективен, а его образ всюду плотен);
- остаточным спектром называется множество точек спектра, не входящих ни в дискретную, ни в непрерывную части (то есть оператор инъективен, не сюръективен, причем его образ не является всюду плотным).
Максимум модулей точек спектра оператора A называется спектральным радиусом этого оператора и обозначается через . При этом выполняется равенство .
В комплексном случае резольвента является голоморфной операторнозначной функцией на резольвентном множестве. В частности, при она может быть разложена в ряд Лорана с центром в точке .
Разность двух максимальных по абсолютной величине значений из спектра называется спектральной щелью (англ. spectral gap).
В квантовой механике
[править | править код]Спектр самосопряжённых операторов играет важную роль в квантовой механике, определяя множество возможных значений наблюдаемой при измерении. В частности, спектр гамильтониана определяет допустимые уровни энергии квантовой системы.
Непрерывный спектр в квантовой механике
[править | править код]Непрерывный спектр — это спектр значений физической величины, в котором в отличие от дискретного спектра значение этой величины определено для каждого собственного состояния системы, причем бесконечно малое изменение состояния системы приводит к бесконечно малому изменению физической величины. В качестве физической величины могут выступать: координата, импульс, энергия, орбитальный момент движения и т. д. Так как произвольная волновая функция может быть разложена в ряд по собственным функциям величины с дискретным спектром, то она может быть также разложена и в интеграл по полной системе собственных функций величины с непрерывным спектром.
См. также
[править | править код]Литература
[править | править код]- Математическая энциклопедия. — М.: Советская энциклопедия, 1984. — Т. 5 Слу — Я. — 1248 с.