если совпадают их области определения и на всех элементах этой области
Говорят, что оператор В является расширением оператора А, и пишут В, если
входит в
для
Символ
содержит и возможность равенства
. Если при
для
линеал
строго больше
то пишут
Отметим еще, что
имеет смысл, если
если
Поскольку мы не предполагаем оператор везде заданным и ограниченным по норме, то не можем утверждать его непрерывность. Однако, анализируя основные свойства, доказанные нами для ограниченных операторов, можем убедиться в том, что многие из них являются следствием не непрерывности этих операторов, а более слабого их свойства — так называемой замкнутости. К определению и анализу этого весьма важного свойства линейных операторов мы и перейдем,
Определение. Оператор А называется замкнутым при соблюдении следующего условия: если
и последовательности
имеют пределы:
то
.
Если оператор не замкнут, то возникает вопрос о том, имеет ли он замкнутые расширения. Если имеются две последовательности элементов
из
, имеющие одинаковый предел и такие, что
имеют различные пределы, то оператор А не до пускает, очевидно, замкнутых расширений. Если же при одинаковых пределах для
мы не имеем ни в каких случаях различных пределов для
то оператор A допускает замкнутые расширения и среди них есть минимальное замкнутое расширение, которое обозначают обычно через A. Опишем построение А. Если
то включаем
в область определения оператора А и полагаем
. В силу указанного выше условия, А определяется единственным образом. Легко доказать, пользуясь неравенством треугольника, что А — замкнутый оператор. Указанная операция расширения А называется замыканием А. Если В любое замкнутое расширение А, то нетрудно видеть, что
.
Теорема
. Если А — замкнутый оператор, то
, где В — ограниченный на
оператор, также замкнутый оператор;
если он существует, - замкнутый оператор, и множество решений уравнения
есть подпространство.
Доказательство всех утверждений непосредственно следует из определения замкнутости оператора.
Теорема 2. Если А допускает замыкание и имеет на
ограниченный обратный
то А имеет обратный
он определен на подпространстве
и является ограниченным