8- §. Normalangan fazolarda chiziqli funksionallar


Download 138.25 Kb.
Pdf ko'rish
Sana26.10.2020
Hajmi138.25 Kb.
#136947
Bog'liq
8- ma'ruza. Funk.analiz


8- § . Normalangan fazolarda chiziqli funksionallar

Biz bu paragrafda chiziqli funksionalning normasini saqlagan holda uni

butun L fazogacha davom ettirish mumkinligi haqidagi Xan-Banax teoremasini

isbotlaymiz, hamda funksional fazolarda chiziqli uzluksiz funksionallarning

umumiy ko‘rinishidan foydalanib, asosiy funksional fazolarga qo‘shma fazolarni

izomorfizm aniqligida topamiz.

8.1. Chiziqli funksionallar

Agar operatorning qiymatlari sonlardan iborat bo‘lsa, bunday operator

funksional deyiladi (24.1-ta’rifga qarang). Agar X chiziqli fazoda aniqlangan

f funksional uchun quyidagi shartlar bajarilsa

1) f (x

1

+ x



2

) = f (x


1

) + f (x


2

), ∀x


1

, x


2

∈ X ; additivlik,

2) f (λx) = λf (x),

∀x ∈ X, ∀λ ∈ C , (yoki R), bir jinslilik

f ga chiziqli funksional (24.2, 24.3-ta’riflarga qarang) deyiladi.

8.1-ta’rif. Agar ixtiyoriy ε > 0 uchun shunday δ = δ(ε) > 0 mavjud

bo‘lib, kx − x

0

k < δ tengsizlikni qanoatlantiruvchi barcha x ∈ D(f ) lar



uchun |f (x) − f (x

0

)| < ε tengsizlik bajarilsa, f funksional x = x



0

nuqtada


uzluksiz deyiladi. Agar f funksional ixtiyoriy x ∈ D(f ) nuqtada uzluksiz

bo‘lsa, f uzluksiz funksional deyiladi.

8.1-ta’rifga teng kuchli bo‘lgan quyidagi ta’rifni keltiramiz.

8.2-ta’rif. Agar x

0

nuqtaga yaqinlashuvchi ixtiyoriy x



n

ketma-ketlik uchun

lim

n→∞


|f (x

n

) − f (x



0

)| = 0 bo‘lsa, u holda f funksional x

0

nuqtada uzluksiz



deyiladi.

C − kompleks sonlar to‘plami ( R − haqiqiy sonlar to‘plami) Banax fazosi

bo‘lganligi uchun 29-§ da chiziqli operatorlar uchun o‘rnatilgan teorema va

tasdiqlar chiziqli funksionallar uchun ham o‘rinli bo‘ladi.

8.1-teorema. X chiziqli normalangan fazoda aniqlangan chiziqli funksional

biror x


0

∈ X nuqtada uzluksiz bo‘lsa, u holda bu chiziqli funksional butun X

1


fazoda uzluksiz.

8.2-teorema. X chiziqli normalangan fazoda aniqlangan chiziqli f funksional

uzluksiz bo‘lishi uchun uning chegaralangan bo‘lishi zarur va yetarli.

Xuddi chiziqli operatorlardagidek |f (x)| ≤ M kxk tengsizlikni qanoatlantiruvchi

M sonlarning aniq quyi chegarasi f funksionalning normasi deyiladi va kf k

bilan belgilanadi. Shunday qilib,

|f (x)| ≤ kf k · kxk .

Bundan tashqari, chiziqli chegaralangan funksionalning normasi kf k uchun

quyidagi tenglik o‘rinli:

kf k = sup

kxk=1

|f (x)| = sup



x6=0

|f (x)|


kxk

.

(8.1)



8.3-teorema (Xan-Banax). E kompleks chiziqli normalangan fazo, E

0



E ning qism fazosi va f

0

− E



0

da aniqlangan chiziqli uzluksiz funksional

bo‘lsin. U holda f

0

ni normasini saqlagan holda E da aniqlangan f chiziqli



funksionalgacha davom ettirish mumkin, ya’ni

f (x) = f

0

(x), x ∈ E



0

va kf k


E

= kf


0

k

E



0

shartlarni qanoatlantiruvchi f : E → C chiziqli funksional mavjud.

Isbot. Aytaylik, kf

0

k



E

0

= K bo‘lsin. Norma aksiomalaridan bevosita kelib



chiqadiki, barcha x ∈ E larda p(x) = K kxk tenglik bilan aniqlanuvchi

akslantirish qavariq funksional bo‘ladi. Bundan tashqari ixtiyoriy x ∈ E

0

uchun


| f

0

(x) | ≤ kf



0

k

E



0

· kxk = K · kxk = p(x)

tengsizlik o‘rinli. Shunday ekan, f

0

25.3-teorema shartlarini qanoatlantiradi.



U holda E da aniqlangan shunday f chiziqli funksional mavjudki, quyidagilar

bajariladi:

f (x) = f

0

(x), ∀x ∈ E



0

,

|f (x) | ≤ p(x) = kf



0

k · kxk , ∀x ∈ E.

2


Bu yerdan f ning chegaralanganligi va k f k ≤ k f

0

k tengsizlik kelib chiqadi.



Ikkinchi tomondan,

k f k


E

=

sup



x∈E, x6=θ

|f (x)|


k x k

sup



x∈E

0

, x6=θ



|f (x)|

k x k


= k f

0

k



E

0

.



Demak, k f k

E

= k f



0

k

E



0

.



8.1-natija. X

chiziqli normalangan fazo va x

0

6= θ undagi ixtiyoriy



belgilangan element bo‘lsin. U holda butun X da aniqlangan shunday f chiziqli

funksional mavjudki,

k f k = 1, f (x

0

) = kx



0

k

(8.2)



tengliklar o‘rinli bo‘ladi.

Isbot. f funksionalni bir o‘lchamli X

0

= {αx


0

} qism fazoda quyidagicha

aniqlaymiz: f

0

(αx



0

) = α kx


0

k . Ko‘rinib turibdiki,

f (x

0

) = kx



0

k , |f


0

(x)| = | α | k x

0

k = k x k , x = α x



0

Bu yerdan kf

0

k

E



0

= 1. f


0

funksionalni butun X gacha chiziqli davom

ettiramiz. Hosil bo‘lgan funksional (8.2) shartlarni qanoatlantiruvchi funksional

bo‘ladi.


8.2. Qo‘shma fazolar

Chiziqli funksionallarning umumiy ko‘rinishidan foydalanib, qo‘shma fazoni

ayrim hollarda izomorfizm aniqligida topish mumkin.

8.3-ta’rif. X normalangan fazoda aniqlangan, chiziqli uzluksiz funksional-

lar fazosi X ga qo‘shma fazo deyiladi va X

bilan belgilanadi, ya’ni X



=

L(X, C).



Bundan keyingi 31-§ da ya’ni chiziqli uzluksiz operatorlar fazosi mavzusida

biz Y to‘la fazo bo‘lgan holda L(X, Y ) fazoning Banax fazosi bo‘lishini

isbotlaymiz. Shunga ko‘ra (31.1-natijaga qarang) X chiziqli normalangan

fazoga qo‘shma bo‘lgan X

= L(X, C) fazo Banax fazosi boladi. Chunki,



kompleks sonlar to‘plami C = Y to‘la normalangan fazo. Qo‘shma fazolarni

3


o‘rganishni eng sodda holdan, yani X fazo n o‘lchamli (haqiqiy yoki compleks)

chiziqli fazo bo‘lgan holdan boshlaymiz.

Endi f funksional uchun olingan natijalarni jamlab, quyidagi F.Riss teoremasini

keltiramiz.

8.4-teorema. C[a, b] fazoda berilgan ixtiyoriy f chiziqli uzluksiz funksional

uchun shu f funksional bo‘yicha aniqlanuvchi shunday u ∈ V

0

[a, b] o‘zgarishi



chegaralangan funksiya mavjudki, barcha x ∈ C[a, b] larda (8.17) va (8.19)

tengliklar o‘rinli.

Ko‘rsatish mumkinki [1], har bir o‘zgarishi chegaralangan u ∈ V

0

[a, b]



funksiya (8.17) tenglik yordamida yagona f ∈ C

[a, b] funksionalni aniqlaydi.



Shuning uchun, C

[a, b] dagi chiziqli funksionallar bilan V



0

[a, b] o‘zgarishi

chegaralangan funksiyalar fazosining elementlari o‘rtasida o‘zaro bir qiymatli

moslik mavjud. Bundan tashqari k f k = k u k bo‘lgani uchun, bu moslik

izomorfdir, ya’ni C

[a, b] = V



0

[a, b] .


4

Download 138.25 Kb.

Do'stlaringiz bilan baham:




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling