Atkinsons teoremi - Atkinsons theorem - Wikipedia

İçinde operatör teorisi, Atkinson teoremi (adına Frederick Valentine Atkinson ) bir karakterizasyon verir Fredholm operatörleri.

Teoremi

İzin Vermek H olmak Hilbert uzayı ve L(H) sınırlı operatörler kümesi H. Aşağıdaki, a'nın klasik tanımıdır Fredholm operatörü: operatör T ∈ L(H) bir Fredholm operatörü olduğu söylenirse çekirdek Ker (T) sonlu boyutludur, Ker (T *) sonlu boyutludur (nerede T * gösterir bitişik nın-nin T), ve Aralık Koştu(T) kapalı.

Atkinson teoremi devletler:

Bir T ∈ L(H) bir Fredholm operatörüdür ancak ve ancak T tersine çevrilebilir modülo kompakt pertürbasyondur, yani TS = ben + C₁ ve ST = ben + C₂ bazı sınırlı operatörler için S ve kompakt operatörler C₁ ve C₂.

Başka bir deyişle, bir operatör T ∈ L(H), klasik anlamda Fredholm'dur, ancak ve ancak Calkin cebiri ters çevrilebilir.

İspat taslağı

Bir ispatın ana hatları aşağıdaki gibidir. ⇒ sonucu için, ifade H ortogonal doğrudan toplam olarak

${ displaystyle H = operatöradı {Ker} (T) ^ { perp} oplus operatöradı {Ker} (T).}$

Kısıtlama T : Ker (T)^⊥ → Ran (T) bir bijeksiyondur ve bu nedenle açık haritalama teoremi. Ran'da bu tersi 0 uzatın (T)^⊥ = Ker (T *) bir operatöre S hepsinde tanımlanmış H. Sonra ben − TS ... sonlu sıralı Ker üzerine projeksiyon (T *), ve ben − ST Ker üzerine izdüşümdür (T). Bu teoremin yalnızca bir parçası olduğunu kanıtlıyor.

Sohbet için, farz edin ki şimdi ST = ben + C₂ bazı kompakt operatörler için C₂. Eğer x ∈ Ker (T), sonra STx = x + C₂x = 0. Yani Ker (T) bir eigenspace içinde bulunur C₂, sonlu boyutlu olan (bkz. kompakt operatörlerin spektral teorisi ). Bu nedenle Ker (T) ayrıca sonlu boyutludur. Aynı argüman Ker'in (T *) ayrıca sonlu boyutludur.

Ran olduğunu kanıtlamak için (T) kapalıysa, yaklaşım özelliği: İzin Vermek F olmak sonlu sıra operatörü öyle ki ||F − C₂|| < r. Sonra her biri için x Ker'de (F),

||S||·||Tx|| ≥ ||STx|| = ||x + C₂x|| = ||x + Fx +C₂x − Fx|| ≥ || x || - ||C₂ − F|| · || x || ≥ (1 - r)||x||.

Böylece T Ker üzerinde aşağıda sınırlandırılmıştır (F), bunun anlamı T(Ker (F)) kapalı. Diğer taraftan, T(Ker (F)^⊥) sonlu boyutludur, çünkü Ker (F)^⊥ = Koştu (F *) sonlu boyutludur. Bu nedenle Ran (T) = T(Ker (F)) + T(Ker (F)^⊥) kapalıdır ve bu teoremi kanıtlar.

Atkinson Teoreminin daha eksiksiz bir incelemesi, Arveson tarafından yapılan referanstır: B, bir Banach uzayı ise, bir operatörün Fredholm olduğunu, ancak tersine çevrilebilir modülo bir sonlu aşamalı operatör olduğunu (ve ikincisinin, ters çevrilebilir modulo kompakt Enflo'nun sonlu sıralı operatörlerin norm sınırları olmayan kompakt operatörlere sahip ayrılabilir, dönüşlü Banach uzayı örneği açısından önemli olan operatör). Banach uzayları için, bir Fredholm operatörü, sonlu boyutlu çekirdeğe ve sonlu eş boyut aralığına (bitişik çekirdeğinin sonlu boyutlu olmasına eşdeğer) sahiptir. Ran hipotezinin (T), aynı zamanda sınırlı bir operatörün aralığı olan bir sonlu eş boyutlu uzay her zaman kapalı olduğu için, kapalı olduğu için fazlalıktır (aşağıdaki Arveson referansına bakın); bu, açık haritalama teoreminin bir sonucudur (ve boşluk sınırlı bir operatörün aralığı değilse, örneğin sürekli olmayan doğrusal bir fonksiyonun çekirdeği) doğru değildir.

Referanslar

• Atkinson, F.V. (1951). "Normlu uzaylarda doğrusal denklemlerin normal çözülebilirliği". Mat. Sb. 28 (70): 3–14. Zbl  0042.12001.
• Arveson, William B., A Short Course on Spectral Theory, Springer Graduate Texts in Mathematics, cilt 209, 2002, ISBN  0387953000