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