Непреры́вное отображе́ние — отображение из одного пространства в другое, при котором близкие точки области определения переходят в близкие точки области значений.
Теоре́мой Ха́на — Ба́наха называют несколько связанных между собой классических результатов функционального анализа, в частности
- Теорему о продолжении линейного функционала с сохранением мажоранты;
- Теорему о разделении выпуклых множеств;
- Теорему о непрерывном или положительном продолжении линейного функционала.
Евкли́дово простра́нство в изначальном смысле — это пространство, свойства которого описываются аксиомами евклидовой геометрии. В этом случае предполагается, что пространство имеет размерность, равную 3, то есть является трёхмерным.
Ги́льбертово простра́нство — обобщение евклидова пространства, допускающее бесконечную размерность и полное по метрике, порождённой скалярным произведением. Названо в честь Давида Гильберта.
Лине́йное отображе́ние — обобщение линейной числовой функции на случай более общего множества аргументов и значений. Линейные отображения, в отличие от нелинейных, достаточно хорошо исследованы, что позволяет успешно применять результаты общей теории, так как их свойства не зависят от природы величин.
Линейный непрерывный оператор
, действующий из линейного топологического пространства X в линейное топологическое пространство Y — это линейное отображение из X в Y, обладающее свойством непрерывности.
Сопряжённый оператор — обобщение понятия эрмитово-сопряжённой матрицы для бесконечномерных пространств.
Теория операторов — раздел функционального анализа, который изучает свойства непрерывных линейных отображений между нормированными пространствами. Вообще говоря, оператор — это аналог самой обычной функции или матрицы в конечномерном пространстве. Но оператор может действовать и в бесконечномерных пространствах.
Норма — функционал, заданный на векторном пространстве и обобщающий понятие длины вектора или абсолютного значения числа.
Компа́ктный опера́тор — понятие функционального анализа. Компактные операторы естественно возникают при изучении интегральных уравнений, а их свойства схожи со свойствами операторов в конечномерных пространствах. Компактные операторы также часто называют вполне непрерывными.
Операторная норма — норма определённая на ограниченных линейных операторах из одного нормированного пространства в другое. Также называется операторной, подчинённой или индуцированной нормой.
Дифференциа́льный опера́тор — оператор, определённый некоторым дифференциальным выражением и действующий в пространствах функций на дифференцируемых многообразиях или в пространствах, сопряжённых к пространствам этого типа.
Спектральная теорема — класс теорем о матрицах линейных операторов, дающих условия, при которых такие матрицы могут быть диагонализированы, то есть представлены в виде диагональной матрицы в некотором базисе. Эти теоремы позволяют свести вычисления, включающие диагонализируемые матрицы к гораздо более простым вычислениям, использующим соответствующие диагональные матрицы.
В функциональном анализе замкнутые операторы — это некоторый важный класс неограниченных операторов, гораздо более широкий, чем класс ограниченных, то есть непрерывных, операторов. Замкнутый оператор не обязан быть определён на всём пространстве. Замкнутые операторы обладают достаточным числом хороших свойств для того, чтобы можно было ввести их спектр, построить функциональное исчисление и полную спектральную теорию. Важным примером замкнутых операторов являются производная и многие дифференциальные операторы.
По́лная систе́ма коммути́рующих наблюда́емых (ПСКН) — множество перестановочных (коммутирующих) самосопряжённых операторов, описывающих квантовые наблюдаемые и определяющих обобщённый базис пространства чистых состояний квантовой системы. Это понятие впервые было предложено Дираком и является одним из основных в квантовой механике. Обобщенные собственные значения операторов ПСКН называются квантовыми числами.
Самосопряжённость — математический термин, используемый для наименования свойства элемента алгебры, набора элементов алгебры, линейных операторов, линейных отображений и т. д.,