Самосопряжённый оператор
Самосопряжённый опера́тор (эрмитов оператор), линейный оператор , определённый на линейном всюду плотном множестве гильбертова пространства и совпадающий со своим сопряжённым оператором , т. е. такой, что и
для любых . Всякий самосопряжённый оператор замкнут и не допускает расширения с сохранением равенства (*) на более широкое, чем , линейное многообразие, в силу чего самосопряжённый оператор называется также гипермаксимальным. Поэтому если – ограниченный самосопряжённый оператор, то он определен на всем пространстве .
Каждый самосопряжённый оператор однозначно определяет разложение единицы , ; имеет место интегральное представление
где интеграл понимается как сильный предел интегральных сумм для каждого , и
Спектр самосопряжённого оператора не пуст и лежит на действительной оси. Квадратичная форма , порождённая самосопряжённым оператором , действительна, что позволяет ввести понятие положительного оператора.
С помощью самосопряжённых операторов описываются многие краевые задачи математической физики.