Processing math: 0%
Now you are in the subtree of Lecture Notes public knowledge tree. 

Qapalı operatorlar

\newcommand{\frH}{H}

Tutaq ki, \frH Hilbert fəzasında T xətti operatoru verilmişdir.

Onda \Gamma(T) := \{ (x, Tx) \mid x \in \mathsf{D}(T) \} \subset \frH \times \frH çoxluğuna T operatorunun qrafiki deyilir.
Çalışma. Verilmiş S \subset \frH \times \frH xətti altfəzasının hər hansı xətti operatorun qrafiki olması üçün zəruri və kafi şərt (0, y) \in S olmasından y = 0 çıxmasıdır.
Əgər TT_1 operatorları üçün \Gamma(T_1) \supset \Gamma(T), başqa sözlə desək \mathsf{D}(T_1) \supset \mathsf{D}(T)T_1 x = T x, x \in \mathsf{D}(T) olarsa, onda T_1 operatoru T operatorunun genişlənməsi, T operatoru isə T_1 operatorunun daralması adlanır və T_1 \supset T və ya T \subset T_1 kimi işarə olunur.
Əgər T xətti operatorunun \Gamma(T) qrafiki \frH \times \frH fəzasında qapalı çoxluq olarsa, yəni
\mathsf{D}(T) \ni x_n \to x, \quad T x_n \to y
olmasından
x \in \mathsf{D}(T), \quad Tx = y
olması alınarsa, onda bu operator qapalı operator adlanır.
Çalışma. Bütün fəzada təyin olunmuş hər bir kəsilməz xətti operator qapalıdır.

Əgər \overline{\Gamma(T)} xətti altfəzası müəyyən \overline{T} xətti operatorunun qrafiki olarsa, yəni \overline{\Gamma(T)} = \Gamma(\overline{T}), onda T operatoru qapanabilən operator, \overline{T} operatoru isə T operatorunun qapanması adlanır.
Nümunə. L_2(0,1) fəzasında təyin oblastı \mathsf{D}(T) = C[0,1] olan T \colon x(t) \mapsto tx(1) xətti operatoru qapanabilən operator deyil. Çünki, məsələn, x_n(t) = t^n \to 0tx_n(1) = t olduğu üçün (0,t) \in \overline{\Gamma(T)}.
Çalışma. T operatorunun \overline{T} qapanması onun qapalı genişlənmələrinin ən kiçiyidir, yəni T operatorunun ixtiyari S qapalı genişlənməsi üçün \overline{T} \subset S.

\mathsf{D}(T) xətti fəzasında
\|x\|_T := \left( \|x\|^2 + \|Tx\|^2 \right)^{1/2}
ifadəsi ilə təyin olunan norma qrafik norması adlanır.

Teorem. T operatorunun qapalı operator olması üçün zəruri və kafi şərt \mathsf{D}(T) çoxluğunun qrafik normasına nəzərən tam olmasıdır.
İsbatı. Əvvəlcə fərz edək ki, T qapalıdır. Əgər x_n ardıcıllığı qrafik normasına nəzərən fundamentaldırsa, onda x_nTx_n ardıcıllıqları \frH Hilbert fəzasında fundamental ardıcıllıqlardır. Ona görə də, elə x, y \in \frH elementləri var ki, x_n \to x, Tx_n \to y. T qapalı olduğu üçün x \in \mathsf{D}(T), Tx = y. Bu halda,
\| x_n-x \|_T^2 = \| x_n-x \|^2 + \| Tx_n - y \|^2 \to 0, \quad n \to \infty.
Beləliklə, \mathsf{D}(T) tamdır.

İndi isə fərz edək ki, \mathsf{D}(T) tamdır. Əgər \mathsf{D}(T) \ni x_n \to x, T x_n \to y olarsa, onda x_nTx_n ardıcıllıqları \frH Hilbert fəzasında fundamental ardıcıllıqlar olar və ona görə də x_n ardıcıllığı qrafik normasına nəzərən fundamentaldır. \mathsf{D}(T) tam olduğu üçün elə x_0 \in \mathsf{D}(T) var ki, \| x_n-x_0 \|_T \to 0, yəni x_n \to x_0, Tx_n \to Tx_0. Onda x = x_0 \in \mathsf{D}(T), Tx = Tx_0 = y.
\square