Kudaybergenov k. K. Funksional analizdan misol va masalalar


Download 1.55 Mb.
Pdf ko'rish
bet12/38
Sana11.11.2020
Hajmi1.55 Mb.
#143954
1   ...   8   9   10   11   12   13   14   15   ...   38
cha funksiyalar to‘plamini E bilan belgilaylik. C [01] fazoda
chegaralangan va yopiq bo‘lgan E to‘plami kompakt emasli-
gini isbotlang.
Yechimi. C[01] to‘plamga tegishli
f
n
(x) = sin 2
n
πx (= 123, . . .)
funksiyalar ketma-ketligini olaylik. Bu ketma-ketlikning har bir hadi E
to‘plamga tegishli. Haqiqatan,
|f
n
(x)|A sin 2
n
πx| A| sin 2
n
πx| ≤ A.
Bu ketma-ketlikning ixtiyoriy f
n
va f
m
(bu yerda n < m) hadlari
orasidagi oraliqni baholaymiz:
ρ(f
n
, f
m
) = max
x∈[0,1]
|f
n
(x− f
m
(x)| ≥
¯
¯
¯
¯f
n
µ
1
2
n+1

− f
m
µ
1
2
n+1
¶¯
¯
¯
¯ =

§ 3.2. Metrik fazolarda kompakt to‘plamlar.
93
|A sin
π
2
− A sin 2
m−n−1
π| A,
ya’ni ρ(f
n
, f
m
≥ A. Bu tengsizlikdan ko‘rinadiki, qaralayotgan ketma-
ketlikning ixtiyoriy qismiy ketma-ketligi yaqinlashuvchi bo‘la olmaydi.
Shuning uchun to‘plam C[01] fazoda kompakt emas.
3.2.8. `
2
fazosida yopiq va chegaralangan, ammo kompakt
bo‘lmagan to‘plamga misol keltiring.
Yechimi. `
2
fazosiga tegishli
e
1
= (1000, . . . , 0, . . .)
e
2
= (0100, . . . , 0, . . .)
e
3
= (0010, . . . , 0, . . .)
. . . . . . . . . . . . . . . . . . . . . . . .
nuqtalardan iborat sanoqli to‘plamni olaylik. Bu to‘plam chegara-
langan va yopiq. Shu bilan birga, bu to‘plamning ixtiyoriy har xil
nuqtalari orasidagi masofa

2 ga teng. Shuning uchun {e
n
ketma-
ketlikning birorta ham qismiy ketma-ketligi fundamental bo‘la olmaydi.
Fundamental bo‘lmagan ketma-ketlik yaqinlashuvchi bo‘lmaydi. Shu-
ning uchun to‘plam kompakt emas.
3.2.9. Kompakt to‘plamlarning chekli sondagi birlashmasi
kompakt to‘plam bo‘lishini isbotlang.
Yechimi. Bizga A
1
, A
2
. . . , A
k
kompakt to‘plamlar berilgan bo‘lsin.
Hadlari =
k
S
i=1
A
i
to‘plamidan olingan ixtiyoriy {x
n
ketma-ketligini
qaraymiz.
Bu ketma-ketlik hadlari soni cheksiz bo‘lgani uchun
A
1
, A
2
. . . , A
k
to‘plamlarning kamida bittasi uning cheksiz sondagi had-
laridan iborat {x
n
p
qismiy ketma-ketligini o‘z ichiga oladi. U holda
{x
n
p
ketma-ketlik to‘plamda yaqinlashuvchi qismiy ketma-ketlikka
ega.
Bu qism ketma-ketlik {x
n
ketma-ketligi uchun ham qismiy
bo‘ladi. Bundan
k
S
i=1
A
i
to‘plamning kompaktligi kelib chiqadi.
3.2.10.
(Boltsano — Veyershtrass teoremasi).
R
n
evk-
lid fazosida ixtiyoriy chegaralangan to‘plam nisbiy kompakt
bo‘lishini isbotlang.
Yechimi. chegaralangan to‘plam bo‘lsa, u holda bu to‘plam biror
[a
1
, b
1
× [a
2
, b
2
× . . . × [a
n
, b
n
]
parallelepipedning ichida yotadi. Ixtiyoriy ε > 0 sonini olib har bir
[a
i
, b
i
] segmentni a
i
x
(1)
i
< x
(2)
i
< ... < x
(p
i
1)
i
< x
(p
i
)
i
b
i
nuqtalar

94
III. Metrik fazolar
yordamida shunday bo‘laklarga bo‘laylikki, natijada ikki qo‘shni nuq-
talar orasidagi masofa ε

n
sonidan kichik bo‘lsin. R
n
fazoda quyidagi
to‘plamni olamiz:
{x = (x
(s
1
)
1
, x
(s
2
)
2
, . . . , x
(s
n
)
n
) : s
1
= 12, . . . , p
1
. . . , s
n
= 12, . . . , p
n
}
bu yerda s
k
(= 12, . . . , n) lar bir-biriga bog‘liq emas.
Shu
to‘plamning to‘plam uchun chekli ε-to‘r bo‘lishini ko‘rsatamiz. E
to‘plamdan ixtiyoriy x
0
= (x
1
, x
2
, . . . , x
n
) nuqta olaylik. to‘plam
[a
1
, b
1
× [a
2
, b
2
× . . . × [a
n
, b
n
]
parallelepipedda joylashganligi uchun x
0
nuqta
[x
(k
1
)
1
, x
(k
1
+1)
1
× [x
(k
2
)
2
, x
(k
2
+1)
2
× . . . × [x
(k
n
)
n
, x
(k
n
+1)
n
]
parallelepipedlarning biriga tegishli bo‘ladi, bu yerda k
j
∈ {12, . . . , p
j

1}, j = 1, n. Bu parallelepipedlarning uchlari to‘plamning element-
laridan iborat bo‘ladi. Shuning uchun s
k
(= 1, n) nomerlar ichidan
s
0
k
(= 1, n) nomerlar topilib,
ρ(x, x
0
) =
v
u
u
t
n
X
k=1
(x
s
0
k
k
− x
k
)
2
<
v
u
u
t
ε
2
n
+
ε
2
n
. . . +
ε
2
n
|
{z
}
n
ε
tengsizligi o‘rinli bo‘ladi. Demak, to‘plam uchun ε-to‘r bo‘ladi.U
holda to‘liq chegaralangan. Natijada R
n
fazoning to‘laligi va Xaus-
dorf teoremasi bo‘yicha to‘plam nisbiy kompakt bo‘ladi.
3.2.11. R
n
evklid fazosida ixtiyoriy yopiq chegaralangan
to‘plam kompakt bo‘lishini isbotlang.
Yechimi. Yuqorida isbotlangan Boltsano — Veyershtrass teore-
masi bo‘yicha R
n
evklid fazosida chegaralangan to‘plam nisbiy kom-
pakt bo‘ladi. Nisbiy kompakt va yopiq bo‘lgan to‘plam ta’rif bo‘yicha
kompakt bo‘ladi.
3.2.12. K kompakt to‘plamni o‘ziga o‘tkazuvchi f K → K
akslantirish ixtiyoriy o‘zaro teng bo‘lmagan x, y ∈ K element-
lar uchun ρ((x), f (y)) < ρ(x, ytengsizlikni qanoatlantirsin. U
holda f (x) = x tenglikni qanoatlantiruvchi x ∈ K elementning
mavjudligini isbotlang.
Yechimi. (x) = ρ(x, f (x)) ko‘rinishda aniqlanuvchi K → R
funksiyani olaylik. x ∈ K element (x) = tengligini qanotlantirishi
uchun (x) = 0 tengligining bajarilishi zarur va yetarli. Aksincha faraz
qilaylik, ya’ni (x0 bo‘lsin. to‘plam kompakt bo‘lgani uchun

§ 3.2. Metrik fazolarda kompakt to‘plamlar.
95
(x) funksiyaning aniq quyi chegarasi musbat son bo‘lib, unga biror
x
0
∈ K nuqtada erishadi. Masalaning sharti bo‘yicha quyidagi muno-
sabat o‘rinli: ((x
0
)) = ρ((x
0
), f ((x
0
))) < ρ(x
0
, f (x
0
)) = (x
0
).
Bu ziddiyat bizning farazimizning noto‘g‘ri ekanligini anglatadi. U
holda (x) = tenglikni qanoatlantiruvchi x ∈ K nuqta mavjud.
3.2.13. Kompakt metrik fazoni metrik fazoga uzluksiz aks-
lantirish tekis uzluksiz bo‘lishini isbotlang.
Yechimi. metrik kompakt, metrik fazo bo‘lib, K → M
akslantirishi uzluksiz, lekin tekis uzluksiz emas deb faraz qilaylik. U
holda biror ε > 0 soni va har bir n ∈ N soni uchun da x
n
va x
0
n
nuqtalari topilib, ρ
1
(x
n
, x
0
n
<
1
n
va ρ
2
((x
n
), F (x
0
n
)) ≥ ε tengsizligi
o‘rinlidir, bunda ρ
1
– da oraliq, ρ
2
– da oraliq. ning kom-
paktligidan {x
n
ketma-ketligidan biror x ∈ K nuqtaga yaqinlashuvchi
{x
n
k
qismiy ketma-ketligini olamiz. U holda {x
0
n
k
ketma-ketligi ham
ga yaqinlashadi, lekin har bir uchun quyidagi tengsizliklarning biri
bajariladi
ρ
2
((x), F (x
n
k
)) ≥ ε, ρ
2
((x), F (x
0
n
k
)) ≥ ε,
bu esa akslantirishning nuqtada uzluksizligiga ziddir.
Mustaqil ish uchun masalalar
1. Agar to‘plam to‘liq chegaralangan bo‘lsa, u holda [E] to‘plami
ham to‘liq chegaralangan bo‘lishini isbotlang.
2.
Tekislikda koordinatalari butun sonlardan iborat nuqtalar
to‘plami qanday to‘r hosil qiladi.
3. R
n
fazoda har qanday chegaralangan to‘plam to‘liq chegaralangan
bo‘lishini isbotlang.
4. `
2
fazosidan olingan, quyida keltirilgan to‘plamning to‘liq chegara-
langanligini isbotlang.
{x = (a
1
, a
2
, . . .) : |a
1
| ≤ 1, |a
2
| ≤
1
2
, . . . |a
n
| ≤
1
2
n
, . . .}.
5. Agar metrik fazo sanoqli-kompakt bo‘lsa,u holda u to‘liq chegara-
langan bo‘lishini isbotlang.
6. [01] segmentda joylashgan barcha ratsional sonlar to‘plami to‘liq
chegaralangan bo‘lib, kompakt emasligini isbotlang.
7. Kompakt to‘plamning ixtiyoriy yopiq qism to‘plami kompakt
ekanligini isbotlang.

96
III. Metrik fazolar
8. metrik fazoda nisbiy kompakt va to‘plamlar berilgan
bo‘lsin. ρ(x, y) sonlar (bunda x ∈ A, y ∈ B ) chegaralangan sonli
to‘plam bo‘lishini isbotlang.
9. Sanoqli sondagi kompaktlarning birlashmasi kompakt bo‘ladimi?
10. Chekli sondagi nisbiy kompaktlarning birlashmasi nisbiy kom-
pakt bo‘lishini isbotlang.
11. Ixtiyoriy sondagi kompaktlarning kesishmasi kompakt bo‘lishini
isbotlang.
12. Ixtiyoriy sondagi nisbiy kompaktlarning kesishmasi nisbiy kom-
pakt bo‘lishini isbotlang.
13. Ixtiyoriy kompakt to‘liq fazo bo‘lishini isbotlang.
14. R
n
evklid fazosida ixtiyoriy yopiq chegaralangan to‘plam kom-
pakt bo‘lishini isbotlang.
16. `
2
fazodagi ixtiyoriy nisbiy kompakt to‘plam shu fazoning hech
qayerida zich emasligini isbotlang.
17. Sanoqli kompakt
{01,
1
2
,
1
4
, . . . }
to‘plami berilgan. Bu to‘plamni
(1−ε, 1+ε),
µ
− ε
2
,
1 + ε
2

,
µ
− ε
4
,
1 + ε
4

, . . . ,
µ
− ε
2
n
,
1 + ε
2
n

, . . .
va (−ε, ε) intervallar sistemasi qoplaydi (bu yerda 0 < ε < 1). Bu
sistemadan ni qoplaydigan chekli sistema ajrating.
3.3. Qisqartirib akslantirish prinsipi va uning tatbiqlari
akslantirish metrik fazoni o‘ziga o‘tkazsin: X → X. Agar
Ax
0
x
0
tengligi o‘rinli bo‘lsa, u holda x
0
nuqta akslantirishning
qo‘zg‘almas nuqtasi deb ataladi.
Ta’rif. (X, ρmetrik fazo va A X → X biror akslantirish bo‘lsin.
Agar shunday α, < α < soni mavjud bo‘lib, ixtiyoriy x, y ∈ X
nuqtalar uchun
ρ(Ax, Ay≤ αρ(x, y)
(3.7)
tengsizligini bajarilsa, u holda A akslantirishni qisqartirib akslantirish
deyiladi.

§ 3.3. Qisqartirib akslantirish prinsipi va uning tatbiqlari
97
Masalalar
3.3.1.
(Qisqartirib akslantirish prinsipi).
X to‘la met-
rik fazoning har bir A qisqartirib akslantirishi yagona
qo‘zg‘almas nuqtaga ega.
Yechimi. metrik fazodan ixtiyoriy u
0
nuqtani olib, quyidagi
u
1
Au
0
,
u
2
Au
1
A
2
u
0
,
u
3
Au
2
A
3
u
0
,
. . . . . .
u
k
Au
k−1
A
k
u
0
,
. . . . . .
ketma-ketlikni tuzamiz. U holda
ρ(u
k
, u
k+1
) = ρ(A
k
u
0
, A
k+1
u
0
≤ αρ(A
k−1
u
0
, A
k
u
0
≤ . . . ≤ α
k
ρ(u
0
, u
1
)
bo‘lgani uchun
ρ(u
n
, u
n+p
≤ ρ(u
n
, u
n+1
) + ρ(u
n+1
, u
n+2
) + . . . ρ(u
n+p−1
, u
n+p

≤ α
n
ρ(u
0
, u
1
)++α
n+1
ρ(u
0
, u
1
)+ . . .+α
n+p−1
ρ(u
0
, u
1

α
n
− α
ρ(u
0
, u
1
).
Endi lim
n→∞
α
n
= 0 ekanligidan, ixtiyoriy ε > 0 soni uchun n
0
natural son
topilib, n > n
0
tengsizligini qanoatlantiradigan barcha lar uchun
α
n
− α
ρ(u
0
, u
1
< ε
tengsizligi o‘rinli bo‘ladi. Demak, {u
n
fundamental ketma-ketlik. X
to‘la bo‘lgani uchun shunday u ∈ X nuqta mavjud bo‘lib n → ∞
da u
n
→ u, ya’ni ρ(u
n
, u→ 0 bo‘ladi. Bu nuqta akslantirish-
ning qo‘zg‘almas nuqtasi ekanligini ko‘rsatamiz. Haqiqatan, n → ∞
bo‘lganda
ρ(Au, u
n
) = ρ(Au, Au
n−1
≤ αρ(u, u
n−1
→ 0,
ya’ni Au element {x
n
ketma-ketlikning limiti. Ketma-ketlikning limiti
yagona bo‘lgani uchun Au.
Endi qo‘zg‘almas nuqtaning yagonaligini isbotlaymiz. Haqiqatan,
va lar qo‘zg‘almas nuqtalar bo‘lsa, u holda
ρ(u, v) = ρ(Au, Av≤ αρ(u, v)

98
III. Metrik fazolar
ya’ni
ρ(u, v)(1 − α≤ 0.
Bu tengsizlikdan ρ(u, v) = 0 ekanligi kelib chiqadi, ya’ni v.
3.3.2. (xsonlar o‘qida aniqlangan funksiya bo‘lib, har
bir x ∈ nuqtada hosilaga ega va |f
0
(x)| ≤ k tengsizligi o‘rinli
bo‘lsin (bunda k birdan kichik tayinlangan son). U holda
(xtenglama yagona yechimga ega ekanligini ko‘rsating.
Yechimi. Matematik analiz kursidagi Lagranj teoremasiga asosan
har bir x
1
, x
2
∈ R nuqtalar uchun
(x
1
− f (x
2
) = f
0
(c)(x
1
− x
2
)
tenglikni qanoatlantirivchi c ∈ (x
1
, x
2
) soni mavjud bo‘ladi. U holda
|f (x
1
− f (x
2
)| ≤ k|x
1
− x
2
tengsizligi o‘rinli, 0 < k < 1 bo‘lgani
uchun qisqartirib akslantirish bo‘ladi. U holda qisqartirib akslantirish
prinsipiga asosan (x) tenglama yagona yechimga ega.
3.3.3.
y(x
0
) = y
0
(3.8)
boshlang‘ich shart bilan
dy
dx
(x, y)
(3.9)
differensial
tenglama
berilgan.
Tenglamaning
o‘ng
tomonidagi
(x, y)
funksiya
tekislikdagi
(x
0
, y
0
)
nuqtani
o‘z ichiga olgan ba’zi G sohada aniqlangan, uzluksiz va
|f (x, y
1
− f (x, y
2
)| ≤ k|y
1
− y
2
|
Lipshits shartini qanoatlantirsin, (const)(3.9) tenglama
ba’zi [x
0
−c, x
0
+csegmentda (3.8) boshlang‘ich shartni qanoat-
lantiruvchi yagona y ψ(xyechimga ega ekanligini isbot-
lang.
Yechimi. (3.9) tenglamani (3.8) sharti bajarilganda quyidagi inte-
gral tenglama ko‘rinishda yozish mumkin :
ψ(x) = y
0
+
x
Z
x
0
(t, ψ(t))dt.
(3.10)
(x, y) funksiya da uzluksiz bo‘lgani uchun (x
0
, y
0
) nuqtani o‘z ichiga
olgan biror G‘ ⊂ G sohada chegaralangan bo‘ladi, ya’ni |f (x, y)| ≤ d.

§ 3.3. Qisqartirib akslantirish prinsipi va uning tatbiqlari
99
Endi sonini quyidagi shartlarni qanoatlantiradigan etib saylab
olamiz:
a) agar |x
0
− x| ≤ c, |y − y
0
| ≤ c · d bo‘lsa, u holda (x, y∈ G‘.
b) kc < 1.
[x
0
− c, x
0
c] segmentda aniqlangan va (x− y
0
| ≤ cd tengsiz-
ligini qanoatlantiruvchi {ψ} uzluksiz funksiyalar sistemasini bilan
belgilaymiz va bu sistemada metrikani
ρ(ψ
1
, ψ
2
) =
max
x
0
−c≤x≤x
o
+c

1
(x− ψ
2
(x)|
ko‘rinishda kiritamiz. metrik fazo C[x
0
− c, x
0
c] to‘la fazoning
yopiq qism fazosi bo‘lgani uchun u ham to‘la bo‘ladi.
ψ(x) = y
0
+
x
Z
x
0
(t, ϕ(t))dt
(3.11)
tengligi bilan aniqlangan ϕ → ψ akslantirishida x ∈ [x
0
− c, x
0
c]
bo‘lsin. U holda bu akslantirish ni o‘ziga qisqartirib akslantiradi.
Haqiqatan, ϕ ∈ F va x ∈ [x
0
− c, x
0
c] bo‘lsin. U holda
(x− y
0
|
x
Z
x
0
(t, ϕ(t))dt| ≤ cd
munosabati o‘rinli bo‘ladi. Demak, (3.11) akslantirish fazoni o‘ziga
akslantiradi. Shu bilan birga,

1
(x− ψ
2
(x)| ≤
x
R
x
0
|f (t, ϕ
1
(t)) − f (t, ϕ
2
(t))|dt ≥
≥ kc
max
x
0
−c≤t≤x
0
+c

1
(t− ϕ
2
(t)kcρ(ϕ
1
, ϕ
2
)
Bu yerda 0 < kc < 1 bo‘lgani uchun (3
Download 1.55 Mb.

Do'stlaringiz bilan baham:
1   ...   8   9   10   11   12   13   14   15   ...   38




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