Спектр оператора: различия между версиями

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
[отпатрулированная версия][отпатрулированная версия]
Содержимое удалено Содержимое добавлено
Addbot (обсуждение | вклад)
м Интервики (всего 15) перенесены на Викиданные, d:q1365748
 
(не показано 14 промежуточных версий 13 участников)
Строка 4: Строка 4:
== Конечномерный случай ==
== Конечномерный случай ==
Пусть ''A'' — оператор, действующий в конечномерном [[линейное пространство|линейном пространстве]] ''E''.
Пусть ''A'' — оператор, действующий в конечномерном [[линейное пространство|линейном пространстве]] ''E''.
Спектром оператора (обычно обозначается <math>\sigma(A)</math>) называется [[множество]] всех его [[Собственные векторы, значения и пространства|собственных значений]].
Спектром оператора (обычно обозначается <math>\sigma(A)</math>) называется множество его [[Собственные векторы, значения и пространства|собственных значений]].


Квадратную [[матрица (математика)|матрицу]] порядка <math>n</math> можно рассматривать как линейный оператор в [[размерность пространства|n-мерном]] пространстве, что позволяет перенести на матрицы «операторные» термины. В таком случае говорят о ''спектре матрицы''.
Квадратную [[матрица (математика)|матрицу]] порядка <math>n</math> можно рассматривать как линейный оператор в [[размерность пространства|''n''-мерном]] пространстве, что позволяет перенести на матрицы «операторные» термины.
В этом случае говорят о ''спектре матрицы''.


== Общее определение ==
== Общее определение ==
Пусть ''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>. Спектр [[Ограниченный линейный оператор|линейного ограниченного оператора]] непуст.
Пусть ''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>. При этом выполняется равенство
Строка 21: Строка 22:
В комплексном случае резольвента является [[голоморфная функция|голоморфной]] операторнозначной функцией на резольвентном множестве. В частности, при <math>\lambda>r(A)</math> она может быть разложена в [[ряд Лорана]] с центром в точке <math>z=0</math>.
В комплексном случае резольвента является [[голоморфная функция|голоморфной]] операторнозначной функцией на резольвентном множестве. В частности, при <math>\lambda>r(A)</math> она может быть разложена в [[ряд Лорана]] с центром в точке <math>z=0</math>.


Разность двух максимальных по абсолютной величине значений из спектра называется спектральной щелью ({{lang-en|spectral gap}}).
=== Примечания ===
<references />


== В квантовой механике ==
=== В квантовой механике ===
Спектр [[самосопряжённый оператор|самосопряжённых операторов]] играет важную роль в [[квантовая механика|квантовой механике]], определяя множество возможных значений [[квантовая наблюдаемая|наблюдаемой]] при [[измерение (квантовая механика)|измерении]]. В частности, спектр [[гамильтониан (квантовая механика)|гамильтониана]] определяет допустимые [[уровни энергии]] [[квантовая система|квантовой системы]].
Спектр [[самосопряжённый оператор|самосопряжённых операторов]] играет важную роль в [[квантовая механика|квантовой механике]], определяя множество возможных значений [[квантовая наблюдаемая|наблюдаемой]] при [[измерение (квантовая механика)|измерении]]. В частности, спектр [[гамильтониан (квантовая механика)|гамильтониана]] определяет допустимые [[уровни энергии]] [[квантовая система|квантовой системы]].


=== Непрерывный спектр ===
=== Непрерывный спектр в квантовой механике===
Непрерывный спектр — это спектр значений физической величины, в котором в отличие от дискретного спектра значение этой величины определено для каждого собственного состояния системы, причем бесконечно малое изменение состояния системы приводит к бесконечно малому изменению физической величины. В качестве физической величины могут выступать: координата, импульс, энергия, орбитальный момент движения и т. д. Так как произвольная [[волновая функция]] '''Ψ''' может быть разложена в ряд по собственным функциям величины с дискретным спектром, то она может быть также разложена и в интеграл по полной системе собственных функций величины с непрерывным спектром.
Непрерывный спектр — это спектр значений физической величины, в котором в отличие от дискретного спектра значение этой величины определено для каждого собственного состояния системы, причем бесконечно малое изменение состояния системы приводит к бесконечно малому изменению физической величины. В качестве физической величины могут выступать: координата, импульс, энергия, орбитальный момент движения и т. д. Так как произвольная [[волновая функция]]
<math> \Psi </math> может быть разложена в ряд по собственным функциям величины с дискретным спектром, то она может быть также разложена и в интеграл по полной системе собственных функций величины с непрерывным спектром.


== См. также ==
== См. также ==
Строка 38: Строка 39:
* {{книга
* {{книга
|редактор = Виноградов И. М.
|редактор = Виноградов И. М.
|заглавие = Математическая эниклопедия
|заглавие = Математическая энциклопедия
|место = М.
|место = М.
|издательство = «Советская энциклопедия»
|издательство = Советская энциклопедия
|год = 1984
|год = 1984
|страниц = 1248
|страниц = 1248
|том = 5 Слу - Я
|том = 5 Слу Я
}}
}}


[[Категория:Функциональный анализ]]
[[Категория:Теория операторов]]
[[Категория:Матрицы]]
[[Категория:Матрицы]]
[[Категория:Квантовая механика]]
[[Категория:Квантовая механика]]
[[Категория:Спектр по типу]]
[[Категория:Спектр по типу]]
[[Категория:Спектральная теория]]

Текущая версия от 16:11, 2 января 2023

Спектр оператора — множество чисел, характеризующее линейный оператор. Применяется в линейной алгебре, функциональном анализе и квантовой механике.

Конечномерный случай

[править | править код]

Пусть A — оператор, действующий в конечномерном линейном пространстве E. Спектром оператора (обычно обозначается ) называется множество его собственных значений.

Квадратную матрицу порядка можно рассматривать как линейный оператор в n-мерном пространстве, что позволяет перенести на матрицы «операторные» термины. В этом случае говорят о спектре матрицы.

Общее определение

[править | править код]

Пусть A — оператор, действующий в банаховом пространстве E над . Число λ называется регулярным для оператора A, если оператор , называемый резольвентой оператора A, определён на всём E и непрерывен. Множество регулярных значений оператора A называется резольвентным множеством этого оператора, а дополнение резольвентного множества — спектром этого оператора . Спектр ограниченного оператора представляет собой компакт в или является пустым. Спектр линейного ограниченного оператора непуст.

Внутри спектра оператора можно выделять части, не одинаковые по своим свойствам. Одной из основных классификаций спектра является следующая:

  1. дискретным (точечным) спектром называется множество таких , при которых оператор не инъективен. Дискретный спектр является множеством всех собственных значений оператора A; в конечномерном случае присутствует только точечный спектр;
  2. непрерывным спектром называется множество значений , при которых резольвента определена на всюду плотном множестве в E, но не является непрерывной (то есть оператор инъективен, но не сюръективен, а его образ всюду плотен);
  3. остаточным спектром называется множество точек спектра, не входящих ни в дискретную, ни в непрерывную части (то есть оператор инъективен, не сюръективен, причем его образ не является всюду плотным).

Максимум модулей точек спектра оператора A называется спектральным радиусом этого оператора и обозначается через . При этом выполняется равенство .

В комплексном случае резольвента является голоморфной операторнозначной функцией на резольвентном множестве. В частности, при она может быть разложена в ряд Лорана с центром в точке .

Разность двух максимальных по абсолютной величине значений из спектра называется спектральной щелью (англ. spectral gap).

В квантовой механике

[править | править код]

Спектр самосопряжённых операторов играет важную роль в квантовой механике, определяя множество возможных значений наблюдаемой при измерении. В частности, спектр гамильтониана определяет допустимые уровни энергии квантовой системы.

Непрерывный спектр в квантовой механике

[править | править код]

Непрерывный спектр — это спектр значений физической величины, в котором в отличие от дискретного спектра значение этой величины определено для каждого собственного состояния системы, причем бесконечно малое изменение состояния системы приводит к бесконечно малому изменению физической величины. В качестве физической величины могут выступать: координата, импульс, энергия, орбитальный момент движения и т. д. Так как произвольная волновая функция может быть разложена в ряд по собственным функциям величины с дискретным спектром, то она может быть также разложена и в интеграл по полной системе собственных функций величины с непрерывным спектром.

Литература

[править | править код]
  • Математическая энциклопедия. — М.: Советская энциклопедия, 1984. — Т. 5 Слу — Я. — 1248 с.