Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Â.È. Áîãà÷åâ
ÔÓÍÊÖÈÎÍÀËÜÍÛÉ ÀÍÀËÈÇ
Ó÷åáíîå ïîñîáèå
Ìîñêâà
Èçäàòåëüñòâî ÏÑÒÃÓ
2011
ÓÄÊ 517.98(075.8)
ÁÁÊ 22.16ÿ73
Á73
Áîãà÷åâ Â. È.
Á73 Ôóíêöèîíàëüíûé àíàëèç: ó÷åáíîå ïîñîáèå / Â. È. Áîãà-
÷åâ. Ì.: Èçä-âî ÏÑÒÃÓ, 2011. 396 ñ.
ISBN 978-5-7429-0669-8
Êíèãà ÿâëÿåòñÿ ó÷åáíûì ïîñîáèåì ïî êóðñó ôóíêöèîíàëüíîãî àíà-
ëèçà äëÿ ñòóäåíòîâ, îáó÷àþùèõñÿ ïî ñïåöèàëüíîñòÿì ¾Ìàòåìàòèêà¿
(010100), ¾Ìàòåìàòè÷åñêîå îáåñïå÷åíèå è àäìèíèñòðèðîâàíèå èíôîðìà-
öèîííûõ ñèñòåì¿ (010500), ¾Ïðèêëàäíàÿ ìàòåìàòèêà è èíôîðìàòèêà¿
(010400), ¾Ôóíäàìåíòàëüíàÿ èíôîðìàòèêà è èíôîðìàöèîííûå òåõíîëî-
ãèè¿ (010300), ¾Ïðèêëàäíàÿ ìàòåìàòèêà¿ (657100), ¾Ìåõàíèêà¿ (010800),
à òàêæå áëèçêèì ê íèì ïî îáùåìàòåìàòè÷åñêîé ïðîãðàììå èíæåíåðíî-
ôèçè÷åñêèì ñïåöèàëüíîñòÿì. Ïðåäñòàâëåíû âñå îñíîâíûå ðàçäåëû êóð-
ñà, â òîì ÷èñëå èíòåãðàë Ëåáåãà, áàíàõîâû è ãèëüáåðòîâû ïðîñòðàíñòâà,
ëèíåéíûå ôóíêöèîíàëû è îïåðàòîðû, îáîáùåííûå ôóíêöèè è ýëåìåí-
òû íåëèíåéíîãî àíàëèçà. Ïîäðîáíîå èçëîæåíèå ñîïðîâîæäàåòñÿ áîëüøèì
÷èñëîì ïðèìåðîâ. Äàíû çàäà÷è äëÿ ñàìîñòîÿòåëüíîé ðàáîòû. Ïîñîáèå
ïðåäíàçíà÷åíî êàê ñòóäåíòàì, òàê è ïðåïîäàâàòåëÿì óíèâåðñèòåòîâ.
ÓÄÊ 517.98(075.8)
ÁÁÊ 22.16ÿ73
ISBN 978-5-7429-0669-8 c Áîãà÷åâ Â. È., 2011
c Îôîðìëåíèå. Èçäàòåëüñòâî Ïðàâîñëàâíîãî
Ñâÿòî-Òèõîíîâñêîãî ãóìàíèòàðíîãî
óíèâåðñèòåòà, 2011
Îãëàâëåíèå
Ïðåäèñëîâèå . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
Ãëàâà 1. Ìåðà è èíòåãðàë Ëåáåãà . . . . . . . . . . . . . . . . . . . . . . . 11
1.1. Àëãåáðû è σ -àëãåáðû ìíîæåñòâ . . . . . . . . . . . . . . . . . . . . . . 11
1.2. Àääèòèâíîñòü è ñ÷åòíàÿ àääèòèâíîñòü . . . . . . . . . . . . . . . 22
1.3. Âíåøíÿÿ ìåðà è ëåáåãîâñêîå ïðîäîëæåíèå ìåð . . . . . . .30
1.4. Ìåðû Ëåáåãà è ËåáåãàÑòèëòüåñà . . . . . . . . . . . . . . . . . . . . 40
1.5. Èçìåðèìûå ôóíêöèè . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
1.6. Ñõîäèìîñòü ïî÷òè âñþäó è ïî ìåðå . . . . . . . . . . . . . . . . . . .56
1.7. Èíòåãðàë Ëåáåãà . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
1.8. Ïðåäåëüíûé ïåðåõîä ïîä çíàêîì èíòåãðàëà . . . . . . . . . . 69
1.9. Êëàññû L1 è Lp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
1.10. Ðàçëîæåíèå ìåð è òåîðåìà ÐàäîíàÍèêîäèìà . . . . . . . . 85
1.11. Ïðîèçâåäåíèå ìåð è òåîðåìà Ôóáèíè . . . . . . . . . . . . . . . . . 91
1.12. Ôóíêöèè îãðàíè÷åííîé âàðèàöèè . . . . . . . . . . . . . . . . . . . . 99
1.13. Àáñîëþòíî íåïðåðûâíûå ôóíêöèè . . . . . . . . . . . . . . . . . . 105
1.14. Ôîðìóëà ÍüþòîíàËåéáíèöà . . . . . . . . . . . . . . . . . . . . . . . . 109
1.15. Ôîðìóëû çàìåíû ïåðåìåííûõ . . . . . . . . . . . . . . . . . . . . . . . 111
1.16. Çàäà÷è . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
Ãëàâà 2. Ìåòðè÷åñêèå ïðîñòðàíñòâà . . . . . . . . . . . . . . . . . . 125
2.1. Îñíîâíûå ïîíÿòèÿ è ïðèìåðû . . . . . . . . . . . . . . . . . . . . . . . 125
2.2. Ïîëíûå ïðîñòðàíñòâà è ïîïîëíåíèÿ . . . . . . . . . . . . . . . . . 134
2.3. Òåîðåìà î âëîæåííûõ øàðàõ . . . . . . . . . . . . . . . . . . . . . . . . 138
2.4. Íåïðåðûâíûå îòîáðàæåíèÿ . . . . . . . . . . . . . . . . . . . . . . . . . . 140
4 Îãëàâëåíèå
Ïðåäèñëîâèå
Äîêàçàòåëüñòâî.
T(i)
∞
Ïðåäïîëîæèì, ÷òî µ ñ÷åòíî-àääèòèâíà,
An ∈ A, An+1 ⊂ An , n=1 An = ∅. Òîãäà Bn := An \An+1 ∈ A.
Ìíîæåñòâà
P∞ Bn äèçúþíêòíû. Ïîýòîìó ñõîäèòñÿ
P∞ ðÿä èç µ(Bn ). Òî-
ãäà
S∞ n=N µ(Bn ) → 0 ïðè N → ∞ , íî n=N µ(B n ) = µ(AN ), èáî
n=N Bn = AN . Èòàê, ïðèõîäèì ê óñëîâèþ (ii).
1.2. Àääèòèâíîñòü è ñ÷åòíàÿ àääèòèâíîñòü 25
S∞
àääèòèâíîñòè íà A0 . Ïóñòü A, An ∈ A, A = n=1 An , ïðè÷åì
An ∩ Ak = ∅ ïðè n 6= k . Òîãäà
r
[ rn
[
A= Bj , An = Bn,i , ãäå Bj , Bn,i ∈ A0 .
j=1 i=1
[∞ [n ∞
[
B4 Ak ⊂ B 4 Ak ∪ Ak
k=1 k=1 k=n+1
ïîëó÷àåì
∞
[ n
[ ∞
[
∗ ∗ ∗
µ B4 Ak 6µ B4 Ak +µ Ak
k=1 k=1 k=n+1
∞
ε X
6 + µ∗ (Ak ) < ε.
2
k=n+1
S∞
Èòàê, k=1 Ak ∈ Aµ . Òåì ñàìûì Aµ σ -àëãåáðà, ïîýòîìó ìû èìå-
åì σ(A) ⊂ Aµ . Èç àääèòèâíîñòè è ñ÷åòíîé ñóáàääèòèâíîñòè µ∗
íà Aµ ñëåäóåò ñ÷åòíàÿ àääèòèâíîñòü (ïðåäëîæåíèå 1.2.7).
1.3.10. Ïðåäëîæåíèå. Ìåðà µ∗ ÿâëÿåòñÿ åäèíñòâåííûì
íåîòðèöàòåëüíûì ñ÷åòíî-àääèòèâíûì ïðîäîëæåíèåì ìåðû µ íà
σ -àëãåáðó σ(A), ïîðîæäåííóþ A, à òàêæå åäèíñòâåííûì òàêèì
ïðîäîëæåíèåì ìåðû µ íà Aµ .
Äîêàçàòåëüñòâî. Ïóñòü ν êàêîå-òî íåîòðèöàòåëüíîå ñ÷åò-
íî-àääèòèâíîå ïðîäîëæåíèå µ íà σ(A), A ∈ σ(A) è ε > 0. Ïî-
ñêîëüêó A ∈ Aµ , òî íàéäåòñÿ B ∈ A ñ µ∗ (A 4 B) < ε. Ýòî çíà÷èò,
÷òî ñóùåñòâóþòSòàêèå ìíîæåñòâà Cn ∈ A, ÷òî A 4 B ñîäåðæèòñÿ
â îáúåäèíåíèè ∞
P∞
n=1 Cn è n=1 µ(Cn ) < ε. Òîãäà
X∞ X∞
|ν(A) − ν(B)| 6 ν(A 4 B) 6 ν(Cn ) = µ(Cn ) < ε.
n=1 n=1
Òàê êàê ν(B) = µ(B) = µ∗ (B),
òî îêîí÷àòåëüíî ïîëó÷àåì
|ν(A) − µ (A)| = |ν(A) − ν(B) + µ∗ (B) − µ∗ (A)|
∗
S∞
Äëÿ âñåõ m, n ∈ IN èìååì Xnm ⊂ Xn+1 m , ïðè÷åì
n=1 Xn = X ,
m
Ïîñêîëüêó
∞
[ X∞
µ Ej 6 2−j = 2−k+1 → 0 ïðè k → ∞,
j=k j=k
T∞ S∞
òî ìíîæåñòâî Z = k=1 j=k Ej èìååò µ-ìåðó íóëü. Åñëè x âõîäèò
â X\Z , òî ïîñëåäîâàòåëüíîñòü {fnk (x)} èìååò êîíå÷íûé ïðåäåë.
60 Ãëàâà 1. Ìåðà è èíòåãðàë Ëåáåãà
j > k . Ýòî ïî îïðåäåëåíèþ îçíà÷àåò, ÷òî |fnj+1 (x) − fnj (x)| < 2−j
ïðè âñåõ j > k . Çíà÷èò, ñõîäèòñÿ ðÿä èç fnj+1 (x) − fnj (x), ÷òî äà-
åò ñõîäèìîñòü fnk (x) − fn1 (x). Èòàê, {fnk } ñõîäèòñÿ ïî÷òè âñþäó
ê íåêîòîðîé ôóíêöèè f . Òîãäà {fnk } ñõîäèòñÿ ê f ïî ìåðå, ÷òî äàåò
óòâåðæäåíèå (ii) ââèäó ôóíäàìåíòàëüíîñòè {fn } ïî ìåðå è âêëþ-
÷åíèÿ ìíîæåñòâà {x : |f (x) − fn (x)| > c} â îáúåäèíåíèå ìíîæåñòâ
{x : |f (x) − fnk (x)| > c} è {x : |fnk (x) − fn (x)| > c}.
Óòâåðæäåíèå (i) âûòåêàåò èç òîãî, ÷òî ñõîäèìîñòü ïî ìåðå âëå-
÷åò ôóíäàìåíòàëüíîñòü ïî ìåðå, ïðè÷åì ïðåäåë ñõîäÿùåéñÿ ïî÷òè
âñþäó ïîäïîñëåäîâàòåëüíîñòè ñîâïàäàåò ïî÷òè âñþäó ñ ïðåäåëîì
{fn } ïî ìåðå ââèäó åäèíñòâåííîñòè ïðåäåëà ïî ìåðå ñ òî÷íîñòüþ
äî ýêâèâàëåíòíîñòè.
Èç òåîðåìû Ðèññà ëåãêî ïîëó÷èòü òàêîé ôàêò.
1.6.6. Ñëåäñòâèå. Åñëè ìåðà µ êîíå÷íà, òî ïîñëåäîâàòåëü-
íîñòü µ-èçìåðèìûõ ôóíêöèé ñõîäèòñÿ ïî ìåðå µ â òî÷íîñòè òî-
ãäà, êîãäà âñÿêàÿ åå ïîäïîñëåäîâàòåëüíîñòü èìååò äàëüíåéøóþ
ïîäïîñëåäîâàòåëüíîñòü, ñõîäÿùóþñÿ µ-ï.â.
1.6.7. Ñëåäñòâèå. Ïóñòü µ êîíå÷íàÿ ìåðà, è ïóñòü äâå ïî-
ñëåäîâàòåëüíîñòè µ-èçìåðèìûõ ôóíêöèé fn è gn ñõîäÿòñÿ ïî ìå-
ðå µ ê ôóíêöèÿì f è g ñîîòâåòñòâåííî. Ïðåäïîëîæèì, ÷òî Ψ
íåïðåðûâíàÿ ôóíêöèÿ íà íåêîòîðîì ìíîæåñòâå Y ⊂ IR2 , ïðè÷åì
f (x), g(x) ∈ Y è fn (x), gn (x) ∈ Y äëÿ âñåõ x è âñåõ n. Òîãäà
Äîêàçàòåëüñòâî. Ìíîæåñòâî A =
(x, y) : 0 6 y 6 f (x)
èçìåðèìî îòíîñèòåëüíî µ⊗λ ââèäó ïðåäëîæåíèÿ 1.11.8. Ïðè ýòîì
At = {x : t 6 f (x)}, Ax = [0, f (x)] è λ(Ax ) = f (x).
Ïåðâîå ðàâåíñòâî îçíà÷àåò, ÷òî èíòåãðàë åñòü ¾ìåðà ìíîæåñòâà
ïîä ãðàôèêîì¿. Åñëè µ îáû÷íàÿ ìåðà Ëåáåãà íà X = IRn , òî
è íà ïðîèçâåäåíèè IRn×IR1 áåðåòñÿ îáû÷íàÿ ìåðà Ëåáåãà (êîíå÷íî,
â îáùåì ñëó÷àå ýòî íå òàê). Îòìåòèì
åùå,
÷òî
µ⊗λ (x, y) : 0 6 y 6 f (x) = µ⊗λ (x, y) : 0 6 y < f (x)
è µ t : f (x) > t = µ t : f (x) > t äëÿ µ-ï.â. t.
ϕ(x) = x−1 cos2 (2x2 )−1 . Òàê êàê ψ(x) = 2ϕ(x) − x−1 , òî ïîëó÷àåì
Z b Z b+hn Z b
1 1
fn (x) dx = f (y) dy − f (x) dx =
a hn a+hn hn a
Z b+hn Z a+hn
1 1
= f (x) dx − f (x) dx 6 f (b) − f (a),
hn b hn a
èáî f = f (b) íà [b, b + hn ] è f > f (a) íà [a, a + hn ]. Îñòàåòñÿ âîñ-
ïîëüçîâàòüñÿ òåîðåìîé Ôàòó.
Ôóíêöèÿ Êàíòîðà C0 (ñì. ïðèìåð 1.5.14) ïîêàçûâàåò, ÷òî
â (1.12.3) ìîæåò íå áûòü ðàâåíñòâà äàæå äëÿ íåïðåðûâíûõ ôóíê-
öèé. Â ñàìîì äåëå, C00 (x) = 0 ïî÷òè âñþäó, íî C0 (x) 6= const. Â ñëå-
äóþùåì ïàðàãðàôå ìû ðàññìîòðèì ïîäêëàññ êëàññà ôóíêöèé îãðà-
íè÷åííîé âàðèàöèè, ïðèâîäÿùèé ê ðàâåíñòâó â (1.12.3).
 çàêëþ÷åíèå îòìåòèì, ÷òî îïèñàííàÿ â êîíöå 1.7 êîíñòðóê-
öèÿ èíòåãðàëà ËåáåãàÑòèëòüåñà ïî âîçðàñòàþùèì ôóíêöèÿì ðàñ-
ïðîñòðàíÿåòñÿ íà ôóíêöèè îãðàíè÷åííîé âàðèàöèè. Ïóñòü íà ïðÿ-
ìîé äàíà íåïðåðûâíàÿ ñëåâà ôóíêöèÿ F îãðàíè÷åííîé âàðèàöèè.
Ñîãëàñíî ïðåäëîæåíèþ 1.12.4 åå ìîæíî ïðåäñòàâèòü â âèäå ðàçíî-
ñòè îãðàíè÷åííûõ íåïðåðûâíûõ ñëåâà âîçðàñòàþùèõ ôóíêöèé F1
è F2 . Ýòè ôóíêöèè ÿâëÿþòñÿ ôóíêöèÿìè ðàñïðåäåëåíèÿ îãðàíè-
÷åííûõ íåîòðèöàòåëüíûõ áîðåëåâñêèõ ìåð µ1 è µ2 . Ñëåäîâàòåëüíî,
F åñòü ôóíêöèÿ ðàñïðåäåëåíèÿ îãðàíè÷åííîé áîðåëåâñêîé ìåðû
µ := µ1 − µ2 . Èíòåãðàë ËåáåãàÑòèëòüåñà ïî F îïðåäåëèì êàê èí-
òåãðàë ïî ìåðå µ, ò. å. äëÿ îãðàíè÷åííîé áîðåëåâñêîé ôóíêöèè f
ïîëîæèì
Z Z Z Z
f (t) dF (t) := f (t) µ(dt) = f (t) µ1 (dt) − f (t) µ2 (dt).
1.13. Àáñîëþòíî íåïðåðûâíûå ôóíêöèè 105
Òîãäà
k
X k
X
|V (bi ) − V (ai )| = V (f, [ai , bi ]) <
i=1 i=1
k mi −1
X X ε
< |f (tij+1 ) − f (tij )| + < ε,
2
i=1 j=1
Òîãäà ïðè ïî÷òè âñåõ x ýòî ðàâåíñòâî âåðíî ñðàçó äëÿ âñåõ ðà-
öèîíàëüíûõ ÷èñåë r. Ïðè òàêèõ x îíî îñòàåòñÿ â ñèëå äëÿ âñÿêî-
ãî ÷èñëà r ∈ IR1 : âîçüìåì ðàöèîíàëüíûå rk → r è çàìåòèì, ÷òî
|f (y) − rk | − |f (y) − rm | 6 |rk − rm |. Íàêîíåö, áåðåì r = f (x).
Åñëè ôóíêöèÿ f àáñîëþòíî íåïðåðûâíà, òî, îáúåäèíÿÿ äîêà-
çàííóþ òåîðåìó ñ òåîðåìîé 1.13.7, ìû âèäèì, ÷òî èíòåãðèðóåìàÿ
ôóíêöèÿ g , íåîïðåäåëåííûé èíòåãðàë êîòîðîé åñòü f − f (a), ïî-
÷òè âñþäó ðàâíà f 0 . Çíà÷èò, ìû ïîëó÷àåì ñëåäóþùóþ ôîðìóëó
ÍüþòîíàËåéáíèöà äëÿ àáñîëþòíî íåïðåðûâíûõ ôóíêöèé.
1.14.3. Ñëåäñòâèå. Ïóñòü ôóíêöèÿ f àáñîëþòíî íåïðåðûâíà
íà [a, b]. Òîãäà åå ïðîèçâîäíàÿ ñóùåñòâóåò ïî÷òè âñþäó, èíòåãðè-
ðóåìà è óäîâëåòâîðÿåò ðàâåíñòâó
Z x
f (x) = f (a) + f 0 (t) dt, x ∈ [a, b]. (1.14.1)
a
Èç ôîðìóëû ÍüþòîíàËåéáíèöà âûòåêàåò ñëåäóþùàÿ ôîðìóëà
èíòåãðèðîâàíèÿ ïî ÷àñòÿì.
1.14.4. Ñëåäñòâèå. Ïóñòü f è g àáñîëþòíî íåïðåðûâíûå
ôóíêöèè íà îòðåçêå [a, b]. Òîãäà
Z b Z b
0
f (x)g(x) dx = f (b)g(b) − f (a)g(a) − f (x)g 0 (x) dx. (1.14.2)
a a
âà æå è ôóíêöèÿ f ∗ g , ïðè÷åì
∂xi1 . . . ∂xim (f ∗ g) = (∂xi1 . . . ∂xim f ) ∗ g äëÿ âñåõ m 6 k
è ýòè ïðîèçâîäíûå ðàâíîìåðíî íåïðåðûâíû.
Äîêàçàòåëüñòâî. Ðàâåíñòâî ∂xi (f ∗g) = ∂xi f ∗g ñëåäóåò èç òå-
îðåìû î äèôôåðåíöèðîâàíèè èíòåãðàëà Ëåáåãà ïî ïàðàìåòðó (ñì.
ñëåäñòâèå 1.8.7). Ïî èíäóêöèè íàøå óòâåðæäåíèå ðàñïðîñòðàíÿåò-
ñÿ íà ïðîèçâîäíûå âûñøèõ ïîðÿäêîâ, à èõ ðàâíîìåðíàÿ íåïðåðûâ-
íîñòü ñëåäóåò èç äîêàçàííîé âûøå òåîðåìû.
Ñ ïîìîùüþ ñâåðòêè ñòðîÿò ãëàäêèå ïðèáëèæåíèÿ ôóíêöèé (ñì.
ïðåäëîæåíèå 3.6.4).
1.16. Çàäà÷è
(i) Äîêàçàòü, ÷òî äëÿ âñÿêîé σ -àëãåáðû A â X è âñÿêîãî
1.16.1.
∗
1.16.6. Ïîêàçàòü, ÷òî áîðåëåâñêàÿ σ -àëãåáðà B(IR1 ) íàèìåíüøèé
êëàññ ìíîæåñòâ, ñîäåðæàùèé âñå çàìêíóòûå ìíîæåñòâà è äîïóñêàþùèé
ñ÷åòíûå ïåðåñå÷åíèÿ è ñ÷åòíûå îáúåäèíåíèÿ.
Óêàçàíèå: ïðîâåðèòü, ÷òî óêàçàííûé êëàññ ÿâëÿåòñÿ ìîíîòîííûì
è ñîäåðæèò àëãåáðó êîíå÷íûõ îáúåäèíåíèé ëó÷åé è ïðîìåæóòêîâ; äðó-
ãîé ñïîñîá: ïðîâåðèòü, ÷òî ñîâîêóïíîñòü âñåõ ìíîæåñòâ, âõîäÿùèõ â óïî-
ìÿíóòûé êëàññ âìåñòå ñ äîïîëíåíèåì, ÿâëÿåòñÿ σ -àëãåáðîé è ñîäåðæèò
çàìêíóòûå ìíîæåñòâà.
1.16.7. Ïîêàçàòü, ÷òî íà ïðÿìîé ñóùåñòâóåò òàêîå áîðåëåâñêîå ìíî-
∗
íîñòè òîãäà, êîãäà äëÿ êàæäîãî ε > 0 ñóùåñòâóþò òàêèå îòêðûòûå ìíî-
æåñòâà U è V , ÷òî E ⊂ U , U \E ⊂ V è λ(V ) < ε.
Ïóñòü A ⊂ IR1 ìíîæåñòâî ïîëîæèòåëüíîé ìåðû Ëåáåãà.
1.16.12.
1.16.15.
Ïóñòü µ îãðàíè÷åííàÿ íåîòðèöàòåëüíàÿ áîðåëåâñêàÿ ìåðà
íà IR . Äîêàçàòü, ÷òî äëÿ âñÿêîãî µ-èçìåðèìîãî ìíîæåñòâà E è âñÿêîãî
n
ðûâû ïåðâîãî ðîäà èëè åñëè ìíîæåñòâî åå òî÷åê ðàçðûâà èìååò ìåðó
íóëü, òî îíà ÿâëÿåòñÿ áîðåëåâñêîé.
1.16.27. Äîêàçàòü, ÷òî äëÿ èíäèêàòîðíûõ ôóíêöèé ìíîæåñòâ â ïðî-
Ìåòðè÷åñêèå ïðîñòðàíñòâà
X∞ 1/2
d(x, y) = (xn − yn )2 .
n=1
Âåëè÷èíà d(x, y) çäåñü êîíå÷íà, èáî (xn − yn )2 6 2x2n + 2yn2 .
(v) Ìíîæåñòâî IR∞ âñåõ áåñêîíå÷íûõ âåùåñòâåííûõ ïîñëåäîâà-
òåëüíîñòåé x = (xn ) ìîæíî íàäåëèòü ìåòðèêîé
∞
X
d(x, y) = 2−n min(|xn − yn |, 1). (2.1.2)
n=1
(vi) Åñëè äàíî ñ÷åòíîå ñåìåéñòâî Q íåïóñòûõ ìåòðè÷åñêèõ ïðî-
ñòðàíñòâ (Xn , dn ), òî ïðîèçâåäåíèå ∞ n=1 Xn ñîñòîèò èç âñåâîçìîæ-
íûõ ïîñëåäîâàòåëüíîñòåé x = (xn ), ãäå xn ∈ Xn , è íàäåëÿåòñÿ ìåò-
ðèêîé
X∞
d(x, y) = 2−n min(dn (xn , yn ), 1). (2.1.3)
n=1
2.1. Îñíîâíûå ïîíÿòèÿ è ïðèìåðû 127
P∞
i = 1, . . . , p, ïîëó÷èì
P∞ n=m xn < 4ε äëÿ âñÿêîãî x = (xn ) ∈ K .
2 2
2.8.6.Ïóñòü A è B íåïóñòûå êîìïàêòû â ìåòðè÷åñêîì ïðîñòðàí-
ñòâå (X, d). Äîêàçàòü, ÷òî íàéäóòñÿ òàêèå òî÷êè a ∈ A è b ∈ B , ÷òî
d(a, b) = inf{d(x, y) : x ∈ A, b ∈ B}.
2.8.7. Ïîñòðîèòü ïðèìåð, ïîêàçûâàþùèé, ÷òî â òåîðåìå î âëîæåí-
íûõ øàðàõ íåëüçÿ îòêàçàòüñÿ îò ñòðåìëåíèÿ ê íóëþ èõ ðàäèóñîâ.
Óêàçàíèå: ïðèäóìàòü òàêóþ ïîëíóþ ìåòðèêó íà IN, ÷òîáû ìíîæå-
ñòâà {n, n + 1, . . .} îêàçàëèñü øàðàìè.
2.8.8. Ïîêàçàòü, ÷òî âî âñÿêîì íåïîëíîì ìåòðè÷åñêîì ïðîñòðàíñòâå
åñòü ïîñëåäîâàòåëüíîñòü âëîæåííûõ çàìêíóòûõ øàðîâ ñ óáûâàþùèìè
ê íóëþ ðàäèóñàìè è ïóñòûì ïåðåñå÷åíèåì.
Óêàçàíèå: âëîæèòü ýòî ïðîñòðàíñòâî â åãî ïîïîëíåíèå è óñòðîèòü
øàðû, ñòÿãèâàþùèåñÿ ê òî÷êå ïîïîëíåíèÿ, íå âõîäÿùåé â èñõîäíîå ïðî-
ñòðàíñòâî.
Äîêàçàòü, ÷òî ìåòðè÷åñêîå ïðîñòðàíñòâî ñåïàðàáåëüíî â òî÷-
2.8.9.
íîñòè òîãäà, êîãäà îíî îáëàäàåò ñâîéñòâîì Ëèíäåëeôà.
Ïóñòü ìíîæåñòâî U îòêðûòî â ìåòðè÷åñêîì ïðîñòðàíñòâå,
2.8.10.
2.8.17.
Êîìïàêòíî ëè ìíîæåñòâî
n ∞
X o
x = (xn ) ∈ l2 : (n−1 x4n + x2n ) 6 1
n=1
â ïðîñòðàíñòâå l ? 2
2.8.18.
Ïóñòü (X, dX ) è (Y, dY ) ìåòðè÷åñêèå ïðîñòðàíñòâà, A ⊂ X ,
B ⊂ Y íåïóñòûå âïîëíå îãðàíè÷åííûå ìíîæåñòâà. Äîêàçàòü, ÷òî ïðî-
èçâåäåíèå A × B âïîëíå îãðàíè÷åíî â ïðîñòðàíñòâå X × Y ñ ìåòðèêîé
d (x1 , y1 ), (x2 , y2 ) := dX (x1 , x2 ) + dY (y1 , y2 ).
2.8.19. Ñóùåñòâóåò ëè íåïîëíîå ìåòðè÷åñêîå ïðîñòðàíñòâî, âñÿêîå
ñæèìàþùåå îòîáðàæåíèå êîòîðîãî èìååò íåïîäâèæíóþ òî÷êó?
2.8.20. Ïóñòü (K, d) êîìïàêòíîå ìåòðè÷åñêîå ïðîñòðàíñòâî è îòîá-
ðàæåíèå f : K → K òàêîâî, ÷òî d f (x), f (y) < d(x, y) ïðè x 6= y . Äîêà-
çàòü, ÷òî f èìååò íåïîäâèæíóþ òî÷êó.
2.8.21. Ïîêàçàòü, ÷òî ìåòðè÷åñêîå ïðîñòðàíñòâî êîìïàêòíî â òî÷-
íîñòè òîãäà, êîãäà âñÿêàÿ íåïðåðûâíàÿ âåùåñòâåííàÿ ôóíêöèÿ íà íåì
îãðàíè÷åíà.
2.8.22.
Ïóñòü (X, dX ) íåïóñòîå êîìïàêòíîå ìåòðè÷åñêîå ïðîñòðàí-
ñòâî, (Y, dY ) íåïóñòîå ìåòðè÷åñêîå ïðîñòðàíñòâî. Ìíîæåñòâî C(X, Y )
âñåõ íåïðåðûâíûõ îòîáðàæåíèé èç X â Y íàäåëèì ìåòðèêîé
d(f, g) := sup dY f (x), g(x) .
x∈X
Ïðîâåðèòü, ÷òî g|A = f |A , supy∈X |g(y)| = supx∈A |f (x)|, ïðè÷åì äëÿ âñåõ
x, y ∈ X âûïîëíåíî íåðàâåíñòâî |g(x) − g(y)| 6 d(x, y).
2.8.30. Äîêàçàòü, ÷òî ìíîæåñòâî èíòåãðèðóåìûõ ïî Ðèìàíó ôóíê-
öèé íà [0, 1] ñ÷åòíîå îáúåäèíåíèå íèãäå íå ïëîòíûõ ìíîæåñòâ â L1 [0, 1].
2.8.31. Ðàññìîòðèì ñëåäóþùóþ ìåòðèçàöèþ ñõîäèìîñòè ïî ìåðå.
Ïóñòü µ êîíå÷íàÿ íåîòðèöàòåëüíàÿ ìåðà íà ïðîñòðàíñòâå X . Äëÿ
f, g ∈ L0 (µ) ïîëîæèì
Z
d(f, g) := min(|f − g|, 1) dµ.
X
Äîêàçàòü, ÷òî d ìåòðèêà, îòíîñèòåëüíî êîòîðîé L0 (µ) ïîëíî, ïðè÷åì
ïîñëåäîâàòåëüíîñòü ñõîäèòñÿ ïî ýòîé ìåòðèêå â òî÷íîñòè òîãäà, êîãäà
îíà ñõîäèòñÿ ïî ìåðå.
Ãëàâà 3
ò. å. x ∈ M ⊥.
Çíà÷èò, M ⊥ çàìêíóòî. Àíàëîãè÷íî ïðîâåðÿåòñÿ ëè-
íåéíîñòü M . ßñíî òàêæå, ÷òî M ∩ M ⊥ = 0, èáî m ⊥ x ïðè âñåõ
⊥
m+k m+k
X 2 X
xn en = |xn |2 ,
n=m n=m
÷òî äàåò ôóíäàìåíòàëüíîñòü ïîñëåäîâàòåëüíîñòè ÷àñòè÷íûõ ñóìì.
Äëÿ ñóììû x ýòîãî ðÿäà èìååì Jx = (xn )∞
n=1 .
Îòìåòèì, ÷òî J ñîõðàíÿåò è ñêàëÿðíîå ïðîèçâåäåíèå.
Íåñåïàðàáåëüíûå ãèëüáåðòîâû ïðîñòðàíñòâà òàêæå èìåþò îð-
òîíîðìèðîâàííûå áàçèñû. Â ñëåäóþùåì ïàðàãðàôå ïðèâåäåí òàêæå
ïðèìåð íåñåïàðàáåëüíîãî ãèëüáåðòîâà ïðîñòðàíñòâà.
3.4.12. Òåîðåìà. Âñÿêîå íåíóëåâîå ãèëüáåðòîâî ïðîñòðàí-
ñòâî îáëàäàåò îðòîíîðìèðîâàííûì áàçèñîì.
Äîêàçàòåëüñòâî. Ïóñòü B ìíîæåñòâî âñåõ îðòîíîðìèðî-
âàííûõ ñèñòåì â ãèëüáåðòîâîì ïðîñòðàíñòâå X , ÷àñòè÷íî óïîðÿ-
äî÷åííîå ïî âêëþ÷åíèþ. Âñÿêàÿ öåïü B0 ⊂ B èìååò ìàæîðàíòó,
â êà÷åñòâå êîòîðîé ìîæíî âçÿòü îáúåäèíåíèå V âñåõ âåêòîðîâ, âõî-
äÿùèõ â ñåìåéñòâà èç B0 . Âñÿêèå äâà ðàçëè÷íûõ âåêòîðà x è y
èç V îðòîãîíàëüíû, èáî x ∈ V1 ∈ B0 , y ∈ V2 ∈ B0 , ïðè÷åì ëè-
áî V1 ⊂ V2 , ëèáî V2 ⊂ V1 èç-çà ëèíåéíîé óïîðÿäî÷åííîñòè B0 .
Ïî ëåììå Öîðíà â B åñòü ìàêñèìàëüíûé ýëåìåíò, ò. å. îðòîíîð-
ìèðîâàííîå ñåìåéñòâî {eα }, êîòîðîå íå ÿâëÿåòñÿ ÷àñòüþ íèêàêîé
áîëüøåé îðòîíîðìèðîâàííîé ñèñòåìû. Ýòî îçíà÷àåò, ÷òî íåò íåíó-
ëåâûõ âåêòîðîâ, îðòîãîíàëüíûõ âñåì eα . Èç ïîëíîòû X è òåîðå-
ìû 3.4.5 ñëåäóåò, ÷òî ëèíåéíàÿ îáîëî÷êà {eα } ïëîòíà â X . Çíà÷èò,
äëÿ âñÿêîãî x ∈ X åñòü íåêîòîðûé ñ÷åòíûé íàáîð {eαn }, çàìûêà-
íèå ëèíåéíîé îáîëî÷êè P êîòîðîãî ñîäåðæèò x. Èç òåîðåìû 3.4.10
î÷åâèäíî, ÷òî òîãäà x = ∞ n=1 (x, eαn )eαn .
3.5. Ïðèìåðû áàçèñîâ 183
= f (y)∂xi ϕj (x − y)ψ(x) dx dy =
IRZn IRZn
íîñòè òîãäà, êîãäà åñòü òàêîé ýëåìåíò y ∈ c0 , ÷òî |xn | 6 |yn | ïðè âñåõ
n ∈ IN è x ∈ K .
3.8.37. Ïóñòü A çàìêíóòîå âûïóêëîå ìíîæåñòâî â ãèëüáåðòîâîì
ïðîñòðàíñòâå H è x ∈ H . Äîêàçàòü, ÷òî òî÷êà p ∈ A ÿâëÿåòñÿ áëèæàéøåé
ê x òî÷êîé â A â òî÷íîñòè òîãäà, êîãäà (a − p, x − p) 6 0 ïðè âñåõ a ∈ A.
3.8.38. Ïóñòü H ñåïàðàáåëüíîå ãèëüáåðòîâî ïðîñòðàíñòâî ñ îð-
òîíîðìèðîâàííûì áàçèñîì {en } è K ⊂ H êîìïàêò. Äîêàçàòü, ÷òî K
ñîäåðæèòñÿ â êîìïàêòíîì ýëëèïñîèäå âèäà
X∞
Q := x ∈ H : αn |(x, en )|2 6 1 , ãäå αn > 0, αn → +∞.
n=1
3.8.39. Ïóñòü 0 < α 6 1 è H ïðîñòðàíñòâî Ã åëüäåðà òàêèõ ôóíê-
α
χ(t) = 0 ïðè t 6∈ [0, 1). Ôóíêöèè Õààðà íà [0, 1] çàäàäèì òåïåðü ôîðìóëîé
χn,k (t) = χ(2n t − k), n = 0, 1, . . . , 0 6 k < 2n . Äîêàçàòü, ÷òî {1, 2k/2 χn,k }
ÿâëÿåòñÿ îðòîíîðìèðîâàííûì áàçèñîì â L2 [0, 1].
3.8.44. Ïóñòü A âñþäó ïëîòíîå ìíîæåñòâî â íîðìèðîâàííîì ïðî-
ñòðàíñòâå
PX . Äîêàçàòü,
P∞ ÷òî äëÿ êàæäîãî x ∈ X íàéäóòñÿ òàêèå ai ∈ A,
∞
÷òî x = i=1 ai è i=1 kai k < ∞, ïðè÷åì ïîñëåäíþþ ñóììó ìîæíî ñäå-
ëàòü ñêîëü óãîäíî áëèçêîé ê kxk.
Óêàçàíèå: ïðè ε > 0 ìîæíî âçÿòü a1 ∈ A ñ kx − a1 k < ε/2 è çàòåì
áðàòü ai ∈ A òàê, ÷òî kx − a1 − · · · − ai k < ε2−i .
3.8.45. ïðîñòðàíñòâå l1 ðàññìîòðèì ìíîæåñòâà
E1 := {(xn ) : x2n = 0 ∀ n ∈ IN},
E2 := {(xn ) : x2n−1 = nx2n ∀ n ∈ IN}.
Äîêàçàòü, ÷òî E1 è E2 çàìêíóòûå ëèíåéíûå ïîäïðîñòðàíñòâà, íî èõ
ïðÿìàÿ àëãåáðàè÷åñêàÿ ñóììà íå çàìêíóòà.
3.8.46. Ïóñòü µ è ν íåîòðèöàòåëüíûå ìåðû íà ïðîñòðàíñòâàõ X
è Y , F ∈ L2 (µ ⊗ ν), {ϕn } è {ψk } òàêèå îðòîíîðìèðîâàííûå ñèñòåìû
â L2 (µ) è L2 (ν) ñîîòâåòñòâåííî, ÷òî F âõîäèò â çàìêíóòóþ ëèíåéíóþ
îáîëî÷êó ôóíêöèé ϕn (x)ψk (y) â ïðîñòðàíñòâå L2 (µ ⊗ ν). Äîêàçàòü, ÷òî
ïðè ν -ï.â. y ôóíêöèÿ x 7→ F (x, y) âõîäèò â çàìêíóòóþ ëèíåéíóþ îáîëî÷êó
ïîñëåäîâàòåëüíîñòè ôóíêöèé ϕn â L2 (µ).
3.8.47. Ïóñòü K êîìïàêò äèàìåòðà ìåíåå 2 â åäèíè÷íîì øàðå U
áåñêîíå÷íîìåðíîãî ãèëüáåðòîâà ïðîñòðàíñòâà è n ∈ IN. Äîêàçàòü, ÷òî
íàéäóòñÿ òàêèå òî÷êè u1 , . . . , un ∈ U , ÷òî ìíîæåñòâà K + u1 , . . . , K + un
äèçúþíêòíû è ëåæàò â U .
3.8.48.Ïóñòü C k [0, 1] ìíîæåñòâî âñåõ ôóíêöèé, èìåþùèõ k íåïðå-
Ëèíåéíûå îïåðàòîðû
l(x) = l0 (x0 ) + tc. Íàì íàäî òàê âûáðàòü c, ÷òîáû èìåòü îöåíêó
l 6 p. Èòàê, òðåáóåòñÿ âûïîëíåíèå íåðàâåíñòâà
l0 (x0 ) + tc 6 p(x0 + tz). (4.3.1)
Ïðè t > 0 ýòî íåðàâåíñòâî ðàâíîñèëüíî íåðàâåíñòâó
l0 (t−1 x0 ) + c 6 p(t−1 x0 + z),
÷òî ìîæíî çàïèñàòü â âèäå
c 6 p(t−1 x0 + z) − l0 (t−1 x0 ).
Àíàëîãè÷íî ïðè t < 0 íåðàâåíñòâî (4.3.1) ðàâíîñèëüíî îöåíêå
c > −p(−t−1 x0 − z) − l0 (t−1 x0 ).
Ïîêàæåì, ÷òî ñóùåñòâóåò ÷èñëî c, óäîâëåòâîðÿþùåå îáîèì ýòèì
íåðàâåíñòâàì ïðè âñåõ x0 è t. Äëÿ ýòîãî íóæíî, ÷òîáû âûïîëíÿëîñü
íåðàâåíñòâî
c0 := sup −p(−y − z) − l0 (y) 6 c00 := inf p(y + z) − l0 (y) . (4.3.2)
y∈X0 y∈X0
áîðàì a1 < . . . < an , îòêóäà kµk > Vab (F0 ). C äðóãîé ñòîðîíû,
ïðè ôèêñèðîâàííîì ε > 0 è âñÿêîãî íàáîðà äèçúþíêòíûõ áîðåëåâ-
ñêèõ ìíîæåñòâ A1 , . . . , An ìîæíî íàéòè äèçúþíêòíûå ïðîìåæóòêè
[ai , bi ), . . . , [ak , bk ), ÷òî
|µ(A1 )| + · · · + |µ(An )| 6 µ [a1 , b1 ) + · · · + µ [ak , bk ) + ε,
îòêóäà kµk 6 Vab (F0 ) + ε. Ââèäó ïðîèçâîëüíîñòè ε ïîëó÷àåì òðåáó-
åìîå.
Òåîðåìà Ðèññà îñòàåòñÿ â ñèëå äëÿ âñÿêîãî êîìïàêòà âìåñòî îò-
ðåçêà (ñì. [7]), íî â îáùåì ñëó÷àå íå îáîéòèñü êóñòàðíûìè ïîñòðî-
åíèÿìè òèïà ïðèâåäåííûõ âûøå (äëÿ êîìïàêòà íà ïðÿìîé ãîäèòñÿ
äàííîå äîêàçàòåëüñòâî). Âîçíèêàåò âîïðîñ: íåëüçÿ ëè ïîëó÷èòü èñ-
êîìóþ ìåðó µ ñðàçó êàê äåéñòâèå ïðîäîëæåíèÿ l íà èíäèêàòîðû?
Îêàçûâàåòñÿ, îòâåò îòðèöàòåëüíûé: ïîëó÷åííàÿ ôóíêöèÿ ìíîæå-
ñòâà ìîæåò áûòü íå ñ÷åòíî-àääèòèâíîé.
4.5.5. Ïðèìåð.  ïðîñòðàíñòâå B[0, 1] âñåõ îãðàíè÷åííûõ
ôóíêöèé íà [0, 1] ñ íîðìîé kϕk = supt |ϕ(t)| ðàññìîòðèì ëèíåéíîå
ïîäïðîñòðàíñòâî E âñåõ ôóíêöèé, îòëè÷íûõ îò íóëÿ ëèøü â êîíå÷-
íîì ÷èñëå òî÷åê. Çàòåì âîçüìåì ìíîæåñòâî Q âñåõ ðàöèîíàëüíûõ
÷èñåë â [0, 1] è ðàññìîòðèì ëèíåéíîå ïðîñòðàíñòâî L, ïîðîæäåííîå
E è èíäèêàòîðîì Q (çàìåòèì, ÷òî IQ 6∈ E ). Íà E îïðåäåëåí íóëåâîé
ôóíêöèîíàë. Ïðîäîëæèì åãî íà L, ïîëîæèâ l(IQ ) = 1 è äîîïðåäå-
ëèâ ïî ëèíåéíîñòè. Çàìåòèì, ÷òî |l(ϕ)| 6 kϕk äëÿ âñåõ ϕ ∈ L.
Äåéñòâèòåëüíî, ϕ(t) = αIQ (t) + h(t) è l(ϕ) = α, ãäå α ∈ IR1 è h ∈ E .
Ôóíêöèÿ h îòëè÷íà îò íóëÿ â êîíå÷íîì ÷èñëå òî÷åê è ïîòîìó ðàâíà
íóëþ â íåêîòîðîé ðàöèîíàëüíîé òî÷êå t, îòêóäà ϕ(t) = α. Ïðîäîë-
æèì l äî íåïðåðûâíîãî ôóíêöèîíàëà íà B[0, 1]. Òîãäà ôóíêöèÿ
ìíîæåñòâà A 7→ l(IA ) íå ìîæåò áûòü ñ÷åòíî-àääèòèâíà íà êëàññå
áîðåëåâñêèõ ìíîæåñòâ, èáî â ïðîòèâíîì ñëó÷àå îíà áûëà áû ðàâíà
íóëþ íà Q, îáðàùàÿñü â íóëü íà òî÷êàõ.
Ðàññìîòðèì ôóíêöèîíàëû íà èçâåñòíûõ íàì ïðîñòðàíñòâàõ ïî-
ñëåäîâàòåëüíîñòåé.
4.5. Ñîïðÿæåííûå ïðîñòðàíñòâà 235
P∞
Ââèäó îöåíêè kxn k < εn−1 è ïîëíîòû X ðÿä (1 − ε) n=1 xn ñõî-
äèòñÿ ê íåêîòîðîìó x ∈ X . Ïðè ýòîì
Ax = y è kxk < (1 − ε)(1 + ε + · · · + εn−1 + · · · ) = 1,
ò. å. x ∈ UX . Èòàê, UY ⊂ A(UX ).
Ñëåäóþùàÿ òåîðåìà îá îòêðûòîì îòîáðàæåíèè ïîëó÷åíà Áàíà-
õîì è Øàóäåðîì.
4.6.2. Òåîðåìà. Ïóñòü X è Y áàíàõîâû ïðîñòðàíñòâà,
A ∈ L(X, Y ), A(X) = Y . Òîãäà äëÿ âñÿêîãî îòêðûòîãî â X ìíî-
æåñòâà V ìíîæåñòâî A(V ) îòêðûòî â ïðîñòðàíñòâå Y .
Äîêàçàòåëüñòâî. Ïóñòü UX îòêðûòûé åäèíè÷íûé øàð â X .
Ïîñêîëüêó Y = ∞ n=1 A(nUX ), òî ïî òåîðåìå Áýðà íàéäåòñÿ òà-
S
êîå k , ÷òî ìíîæåñòâî A(kUX ) ïëîòíî â íåêîòîðîì îòêðûòîì øà-
ðå UY (a, r) ðàäèóñà r > 0 ñ öåíòðîì â òî÷êå a ∈ Y . Òàê êàê
A(kUX ) = −A(kUX ), òî A(kUX ) ïëîòíî è â øàðå UY (−a, r). Çíà-
÷èò, A(kUX ) ïëîòíî â øàðå UY (0, r).  ñàìîì äåëå, åñëè kykY 6 r
è un , vn ∈ UX òàêîâû, ÷òî A(kun ) → a + y è A(kvn ) → −a + y , òî
wn := (un + vn )/2 ∈ UX è A(kwn ) → y . Çàìåíèâ A íà r−1 kA, ìîæíî
ñ÷èòàòü, ÷òî A(UX ) ïëîòíî â îòêðûòîì åäèíè÷íîì øàðå UY â Y .
Ïî äîêàçàííîé âûøå ëåììå UY ⊂ A(U X ). Çíà÷èò, äëÿ âñåõ x ∈ X ,
r > 0 èìååì UY (Ax, r) ⊂ A UX (x, r) , ãäå UX (x, r) øàð â X .
Ïðåäïîëîæèì òåïåðü, ÷òî V íåïóñòîå îòêðûòîå ìíîæåñòâî
â X . Ïóñòü y ∈ A(V ), ò. å. y = Ax, x ∈ V . Íàéäåì òàêîå ε > 0,
÷òî UX (x, ε) ⊂ V . Òîãäà UY (y, ε) ⊂ A UX (x, ε) ⊂ A(V ) â ñèëó
s > t äðóãàÿ òî÷êà, ãäå íåò ñõîäèìîñòè, òî β(t) 6 α(s), èáî èìå-
åòñÿ òî÷êà rk ∈ (t, s), ÷òî äàåò β(t) 6 β(rk ) = α(rk ) 6 α(s). Òàêèì
îáðàçîì, ðàçíûì òî÷êàì, ãäå íåò ñõîäèìîñòè, ñîïîñòàâëåíû äèçú-
þíêòíûå èíòåðâàëû. Òåì ñàìûì òàêèõ òî÷åê ëèøü êîíå÷íîå èëè
ñ÷åòíîå ìíîæåñòâî. Åùå ðàç ïåðåéäÿ ê ïîäïîñëåäîâàòåëüíîñòè, ïî-
ëó÷àåì ñõîäèìîñòü è íà ýòîì ñ÷åòíîì ìíîæåñòâå.
Íàêîíåö, îïåðàòîð V : L1 [0, 1] → C[0, 1] íå ÿâëÿåòñÿ êîìïàêò-
íûì, èáî äëÿ fn = nI[0,1/n] èç {V fn } íåëüçÿ âûáðàòü ðàâíîìåðíî
ñõîäÿùóþñÿ ïîñëåäîâàòåëüíîñòü: V fn (t) = nt ïðè t 6 n−1 .
 ñëó÷àå ãèëüáåðòîâà ïðîñòðàíñòâà X èìååòñÿ ñëåäóþùåå ïî-
ëåçíîå ðàâíîñèëüíîå îïèñàíèå êîìïàêòíûõ îïåðàòîðîâ. Îíî âåðíî
è äëÿ ëþáûõ ðåôëåêñèâíûõ ïðîñòðàíñòâ.
4.9.5. Ïðåäëîæåíèå. Ïóñòü X ãèëüáåðòîâî ïðîñòðàíñòâî
è Y áàíàõîâî ïðîñòðàíñòâî. Îïåðàòîð K : X → Y êîìïàêòåí
â òî÷íîñòè òîãäà, êîãäà lim kKxn k = 0 äëÿ âñÿêîé ïîñëåäîâà-
n→∞
òåëüíîñòè {xn }, ñëàáî ñõîäÿùåéñÿ ê íóëþ â X .
Äîêàçàòåëüñòâî. Ïóñòü K êîìïàêòåí è xn → 0. Ïðåäïîëî-
æèì, ÷òî kKxn k íå ñòðåìÿòñÿ ê íóëþ. Ïåðåéäÿ ê ïîäïîñëåäîâà-
òåëüíîñòè, ìîæíî ñ÷èòàòü, ÷òî kKxn k > c > 0. Òàê êàê ïîñëåäî-
âàòåëüíîñòü {xn } îãðàíè÷åíà èç-çà ñëàáîé ñõîäèìîñòè, òî {Kxn }
ñîäåðæèòñÿ â êîìïàêòå. Åùå ðàç âûáðàâ ïîäïîñëåäîâàòåëüíîñòü,
ìîæíî ñ÷èòàòü, ÷òî âåêòîðû Kxn ñõîäÿòñÿ ïî íîðìå ê íåêîòîðî-
ìó y . Òîãäà kyk > c. Ýòî âåäåò ê ïðîòèâîðå÷èþ, èáî äëÿ êàæäîãî
f ∈ Y ∗ ìû èìååì f (y) = lim f (Kxn ) = 0, òàê êàê f ◦K íåïðå-
n→∞
ðûâíûé ôóíêöèîíàë è xn → 0 ñëàáî. Îáðàòíî, ïóñòü K ïåðåâî-
äèò ñëàáî ñõîäÿùèåñÿ ê íóëþ ïîñëåäîâàòåëüíîñòè â ñõîäÿùèåñÿ ïî
íîðìå. Ïîêàæåì, ÷òî îáðàç øàðà âïîëíå îãðàíè÷åí. Ïóñòü {xn }
îãðàíè÷åííàÿ ïîñëåäîâàòåëüíîñòü â X . ×òîáû óâèäåòü, ÷òî {Kxn }
ñîäåðæèò ñõîäÿùóþñÿ ïîäïîñëåäîâàòåëüíîñòü, âûáåðåì â {xn } ïîä-
ïîñëåäîâàòåëüíîñòü {xni }, ñëàáî ñõîäÿùóþñÿ ê íåêîòîðîìó x. Òîãäà
âåêòîðû xni −x ñëàáî ñõîäÿòñÿ ê íóëþ. Çíà÷èò, ïîñëåäîâàòåëüíîñòü
{Kxni − Kx} ñõîäèòñÿ ïî íîðìå, ÷òî äàåò ñõîäèìîñòü {Kxni }.
258 Ãëàâà 4. Ëèíåéíûå îïåðàòîðû
4.10.3. Íàéòè
Z 1 íîðìû ñëåäóþùèõ ëèíåéíûõ ôóíêöèîíàëîâ:
(i) l(f ) = (3t − 1)f (t) dt íà C[0, 1];
0 Z 1
(ii) l(f ) = f (0) + (3t − 1)f (t) dt íà C[0, 1];
Z 1 0
ìêíóòûì ãðàôèêîì.
4.10.9. Ïóñòü X íîðìèðîâàííîå ïðîñòðàíñòâî è f ∈ X , kf k = 1.
∗
∗
4.10.21.Ïîñòðîèòü ïðèìåð äâóõ òàêèõ íîðì íà áåñêîíå÷íîìåðíîì
ëèíåéíîì ïðîñòðàíñòâå X , ÷òî X ïîëíî îòíîñèòåëüíî êàæäîé èç íèõ, íî
íåïîëíî îòíîñèòåëüíî ñóììû ýòèõ íîðì.
Óêàçàíèå: ðàññìîòðåòü ñóììó íîðì èç ïðåäûäóùåé çàäà÷è.
∗
4.10.22. Âûâåñòè èç ïðèìåðà 4.1.7, ÷òî áåñêîíå÷íîìåðíîå ëèíåéíîå
ïðîñòðàíñòâî
P X ñ áàçèñîì Ãàìåëÿ {vγ }γ∈Γ íå ìîæåò áûòü ïîëíûì ñ íîð-
ìîé kxk = |lγ (x)|, ãäå x = lγ (x)vγ .
P
262 Ãëàâà 4. Ëèíåéíûå îïåðàòîðû
ïðîñòðàíñòâà.
Óêàçàíèå: åñëè ñ÷åòíîå ìíîæåñòâî {xn } ïëîòíî â X , òî ëèøü ñ÷åò-
íàÿ ÷àñòü Γ0 áàçèñà ó÷àñòâóåò â ðàçëîæåíèÿõ âåêòîðîâ xn ; çàìåòèòü, ÷òî
lγ (xn ) = 0 äëÿ âñåõ n ïðè γ 6∈ Γ0 .
4.10.25. Ïóñòü X áàíàõîâî ïðîñòðàíñòâî è l ðàçðûâíûé ëè-
∗
ôîðìóëîé
Z 1
x(s)
Ax(t) = 1/2
ds.
0 (t + s)
4.10.30. Ïóñòü 0 < α < 1 è ϕ ∈ C([0, 1] ). Äîêàçàòü êîìïàêòíîñòü
∗ 2
Òàê êàê A + D = A(I + A−1 D), ãäå kA−1 Dk 6 kA−1 k kDk < 1,
òî ñóùåñòâóåò îïåðàòîð (A + D)−1 = (I + A−1 D)−1 A−1 , ïðè÷åì
ìû ïîëó÷àåì òàêæå è íóæíóþ îöåíêó, ïðèìåíèâ äîêàçàííîå âûøå
ê îïåðàòîðó B = −A−1 D.
Èç òåîðåìû íåïîñðåäñòâåííî âûòåêàåò, ÷òî ðåçîëüâåíòíîå ìíî-
æåñòâî îòêðûòî. Ýòî óòâåðæäåíèå ìîæíî óòî÷íèòü.
5.1.5. Ïðåäëîæåíèå. (i) Äëÿ âñÿêîãî îïåðàòîðà A ∈ L(X)
ïðè |λ| > kAk èìååì λ ∈ %(A), ïðè÷åì
∞
X Ak
Rλ (A) = − , ãäå A0 = I ,
λ1+k
k=0
ãäå ðÿä ñõîäèòñÿ ïî îïåðàòîðíîé íîðìå.
(ii) Äëÿ âñÿêîé òî÷êè λ0 ∈ %(A) ïðè |λ − λ0 | < kRλ0 (A)k−1
èìååì λ ∈ %(A), ïðè÷åì
∞
X
Rλ (A) = (λ − λ0 )k Rλ0 (A)k+1 ,
k=0
ãäå ðÿä ñõîäèòñÿ ïî îïåðàòîðíîé íîðìå.
Äîêàçàòåëüñòâî. (i) Ìû èìååì ðàâåíñòâî A − λI = −λI + A,
ãäå kAk < |λ| =1/k(λI)−1 k. Ñõîäèìîñòü ðÿäà èç −λ−1−k Ak ïî îïå-
ðàòîðíîé íîðìå î÷åâèäíà èç îöåíêè kλ−k Ak k 6 |λ|−k kAkk . Ïðÿìàÿ
ïðîâåðêà (ïðîâåäèòå åå!) ïîêàçûâàåò, ÷òî äëÿ åãî ñóììû Sλ ñïðà-
âåäëèâû ðàâåíñòâà Sλ (A − λI) = (A − λI)Sλ = I .
(ii) Ñõîäèìîñòü ðÿäà ïî íîðìå îáîñíîâûâàåòñÿ àíàëîãè÷íî. Äëÿ
åãî ñóììû Sλ èìååì
X∞
(λ − λ0 )k Rλ0 (A)k+1 A − λ0 I − (λ − λ0 )I =
Sλ (A − λI) =
k=0
∞
X
(λ − λ0 )k Rλ0 (A)k − (λ − λ0 )k+1 Rλ0 (A)k+1 = I.
=
k=0
Àíàëîãè÷íî (A − λI)Sλ = I .
5.1.6. Ïðèìåð. Ïóñòü X áàíàõîâî ïðîñòðàíñòâî, äàíû îïå-
ðàòîðû A, An ∈ L(X), n ∈ IN, kAn − Ak → 0 ïðè n → ∞, ïðè÷åì
îïåðàòîðû An îáðàòèìû è supn kA−1
n k 6 M < ∞. Òîãäà îïåðàòîð A
îáðàòèì è kA−1 k 6 M .
5.1. Ñïåêòð îïåðàòîðà 267
Pn
Äîêàçàòåëüñòâî. Ïóñòü P (t) = k=0 ck t
k. Òîãäà
n
X n
X
∗ k
P (A) P (A) = ck A ck Ak = Q(A),
k=0 k=0
÷èñëî n1 , ÷òî äëÿ âñåõ n > n1 ìû èìååì kf (A) − fn (A)k < ε/2.
Çàìåòèì, ÷òî îïåðàòîð
fn (A) − µI = f (A) − λI + fn (A) − f (A) − µI + λI
îáðàòèì ïðè |µ − λ| < ε/2, èáî kfn (A) − f (A) − µI + λIk < r.
Ýòî îçíà÷àåò, ÷òî â êðóãå ðàäèóñà ε/2 ñ öåíòðîì â λ íåò òî÷åê èç
σ fn (A) ïðè n > n1 . Ïîýòîìó λ 6∈ f σ(A) , òàê êàê åñëè λ = f(t),
√
Âçÿâ ôóíêöèþ √ f (t) = t íà [0, +∞) äëÿ îïåðàòîðà A > 0,
ïîëó÷àåì îïåðàòîð A, íàçûâàåìûé êâàäðàòíûì êîðíåì èç îïåðà-
òîðà A.
√
5.8.5. Ñëåäñòâèå. Åñëè √A > √ 0, òî îïåðàòîð A ñàìîñîïðÿ-
æåí, íåîòðèöàòåëåí è A = A A.
√
Îòìåòèì, ÷òî îïåðàòîð A åäèíñòâåííûé íåîòðèöàòåëüíûé
îïåðàòîð, êâàäðàò êîòîðîãî ðàâåí A (çàäà÷à 5.11.22).
5.8.6. Ñëåäñòâèå. Äëÿ ïðîèçâîëüíîãî îãðàíè÷åííîãî îïåðàòî-
ðà A â ãèëüáåðòîâîì ïðîñòðàíñòâå H îïåðàòîð
|A| := (A∗ A)1/2
îïðåäåëåí è íåîòðèöàòåëåí. Îïåðàòîð |A| íàçûâàþò àáñîëþòíûì
çíà÷åíèåì îïåðàòîðà A.
Äîêàçàòåëüñòâî. Èìååì (A∗ Ax, x) = (Ax, Ax) > 0.
5.8.7. Ïðèìåð. Ïóñòü Aϕ îïåðàòîð óìíîæåíèÿ â ïðîñòðàí-
ñòâå L2 (µ) íà îãðàíè÷åííóþ µ-èçìåðèìóþ ôóíêöèþ ϕ, ðàññìîò-
ðåííûé â ïðèìåðå 5.2.2. Îïåðàòîð Aϕ ìîæíî ïîäñòàâëÿòü â ëþ-
áûå îãðàíè÷åííûå áîðåëåâñêèå ôóíêöèè f íà êîìïëåêñíîé ïëîñêî-
ñòè (íåîáÿçàòåëüíî íåïðåðûâíûå), îïðåäåëèâ f (Aϕ ) êàê îïåðàòîð
óìíîæåíèÿ Af ◦ϕ íà îãðàíè÷åííóþ µ-èçìåðèìóþ ôóíêöèþ f ◦ ϕ.
ßñíî, ÷òî äëÿ ìíîãî÷ëåíà f ýòî äàåò îïåðàòîð f (Aϕ ). Áîëåå òîãî,
èç òåîðåìû 5.8.2 íåòðóäíî óñìîòðåòü, ÷òî â ñëó÷àå âåùåñòâåííîé
ôóíêöèè ϕ ïîñòðîåííûé òàì îïåðàòîð f (Aϕ ) è åñòü îïåðàòîð óìíî-
æåíèÿ íà f ◦ϕ. Íèæå, êîãäà ìû óñòàíîâèì óíèòàðíóþ ýêâèâàëåíò-
íîñòü âñÿêîãî ñàìîñîïðÿæåííîãî îïåðàòîðà íåêîòîðîìó îïåðàòîðó
óìíîæåíèÿ Aϕ , ýòî ïîçâîëèò ëåãêî îïðåäåëÿòü áîðåëåâñêèå ôóíê-
öèè îò ñàìîñîïðÿæåííûõ îïåðàòîðîâ.
5.9. Îïèñàíèå ñàìîñîïðÿæåííûõ îïåðàòîðîâ
Îñíîâíîé ðåçóëüòàò ýòîãî ïàðàãðàôà ïîêàçûâàåò, ÷òî ñ òî÷íî-
ñòüþ äî èçîìîðôèçìà ñàìîñîïðÿæåííûå îïåðàòîðû ýòî îïåðà-
òîðû óìíîæåíèÿ íà âåùåñòâåííûå ôóíêöèè. Ýòî óòâåðæäåíèå ÿâ-
ëÿåòñÿ êîíòèíóàëüíûì àíàëîãîì èçâåñòíîãî èç ëèíåéíîé àëãåáðû
ôàêòà î ïðèâåäåíèè ñèììåòðè÷íîé ìàòðèöû ê äèàãîíàëüíîìó âèäó.
Íåòðèâèàëüíîñòü îáîáùåíèÿ ñîñòîèò, â ÷àñòíîñòè, â òîì, ÷òî â áåñ-
êîíå÷íîìåðíîì ñëó÷àå ñàìîñîïðÿæåííûé îïåðàòîð ìîæåò íå èìåòü
ñîáñòâåííûõ âåêòîðîâ. Ïðèâåäåíèå îïåðàòîðà ê âèäó óìíîæåíèÿ íà
ôóíêöèþ íàçûâàþò ôóíêöèîíàëüíîé ìîäåëüþ îïåðàòîðà. Â êîíöå
294 Ãëàâà 5. Îñíîâû ñïåêòðàëüíîé òåîðèè
ñàìîñîïðÿæåí â L2 (µ).
Äîêàçàòåëüñòâî. Ñíà÷àëà îòìåòèì, ÷òî D(Af ) ëèíåéíîå
ïîäïðîñòðàíñòâî, ïëîòíîå â L2 (µ), òàê êàê äëÿ âñÿêîé ôóíêöèè
x ∈ L2 (µ) ôóíêöèè IΩn x, ãäå Ωn = {ω : |f (ω)| 6 n}, ñõîäÿòñÿ ê x
â L2 (µ). Äåéñòâèòåëüíî, âîçðàñòàþùèå èçìåðèìûå ìíîæåñòâà Ωn
ïîêðûâàþò Ω ñ òî÷íîñòüþ äî ìíîæåñòâà ìåðû íóëü (èìåííî çäåñü
âàæíî, ÷òî ôóíêöèÿ f êîíå÷íà ïî÷òè âñþäó); ÿñíî òàêæå, ÷òî
IΩn x ∈ D(Af ). Èç âåùåñòâåííîñòè f ñëåäóåò ñèììåòðè÷íîñòü Af
íà óêàçàííîé îáëàñòè.
Åñëè y ∈ D(Af ), òî î÷åâèäíûì îáðàçîì y ∈ D(A∗f ) è ôóíêöèÿ
f · y = Af y ñëóæèò â êà÷åñòâå A∗f y .
Íàîáîðîò, åñëè y ∈ D(A∗f ) è z = A∗f y , òî, ñîãëàñíî îïðåäåëå-
íèþ A∗f , ìû èìååì
Z Z
f (ω)x(ω)y(ω) µ(dω) = x(ω)z(ω) µ(dω)
Ω Ω
äëÿ âñåõ x ∈ D(Af ). Èç ýòîãî ñëåäóåò, ÷òî z(ω) = f (ω)y(ω) ïî÷òè
âñþäó, èáî â êà÷åñòâå x ìîæíî ïîäñòàâëÿòü èíäèêàòîðû ëþáûõ èç-
ìåðèìûõ ìíîæåñòâ êîíå÷íîé ìåðû, ëåæàùèõ â ìíîæåñòâàõ Ωn (åñ-
ëè èíòåãðàë îò èíòåãðèðóåìîé ôóíêöèè ïî âñåì ìíîæåñòâàì èç Ωn
êîíå÷íîé ìåðû ðàâåí íóëþ, òî òàêàÿ ôóíêöèÿ ðàâíà íóëþ ïî÷òè
âñþäó íà Ωn ). Èòàê, y ∈ D(Af ) è A∗f y = Af y .
5.10. Íåîãðàíè÷åííûå îïåðàòîðû 307
Ax = (r1 x1 , r2 x2 , . . . , rn xn , . . .),
ãäå {rn } íåêîòîðàÿ íóìåðàöèÿ ðàöèîíàëüíûõ ÷èñåë èç [0, 1]. Äîêàçàòü,
÷òî A èìååò öèêëè÷åñêèé âåêòîð è ñïåêòð [0, 1], îäíàêî íå ÿâëÿåòñÿ óíè-
òàðíî ýêâèâàëåíòíûì îïåðàòîðó óìíîæåíèÿ íà àðãóìåíò â L2 [0, 1].
5.11.8.Ïóñòü H ãèëüáåðòîâî ïðîñòðàíñòâî, u, v ∈ H è îïåðàòîð
äóþùåé ôîðìóëîé: (i) Ax(t) = tx(t) − x(1); (ii) Ax(t) = tx(1 − t).
5.11.12.
Âû÷èñëèòü ñïåêòð ñëåäóþùèõ îïåðàòîðîâ â L2 [0, 1]:
Z 1 Z 1
(i) Ax(t) = t sx(s) ds, (ii) Ax(t) = sin π(t − s) x(s) ds,
Z0 1 0
ïðè÷åì |Kn (t, s)| 6 C n |t − s|n−1 /(n − 1)!, åñëè |K(t, s)| 6 C , îòêóäà
kW n k1/n → 0 è ïîòîìó σ(W ) = {0}; ñì. [22].
5.11.37. Äîêàçàòü, ÷òî ôîðìóëà
∗
1 t
Z
Ax(t) = x(s) ds
t 0
çàäàåò îãðàíè÷åííûé îïåðàòîð â L2 [0, 1] è íàéòè åãî íîðìó.
Óêàçàíèå: çàìåòèòü, ÷òî ôóíêöèè t ïðè α > −1/2 ÿâëÿþòñÿ ñîá-
α
Îáîáùåííûå ôóíêöèè
è ïðåîáðàçîâàíèå Ôóðüå
â ñìûñëå ñõîäèìîñòè â L2 .
 îäíîìåðíîì ñëó÷àå
Z R
1
f (x) = lim √
b e−ixy f (y) dy â L2 (IR1 ).
R→+∞ 2π −R
Âîçíèêàåò âîïðîñ î ñõîäèìîñòè ïî÷òè âñþäó. Ðàçóìååòñÿ, ñõîäè-
ìîñòü â L2 ïî òåîðåìå 1.6.5 äàåò ïîñëåäîâàòåëüíîñòü Rj → ∞, äëÿ
êîòîðîé {gRj } ñõîäèòñÿ ïî÷òè âñþäó. Ïðè n = 1 èçâåñòíî, ÷òî ñõî-
äèìîñòü gR ïðè R → ∞ èìååò ìåñòî ïî÷òè âñþäó, íî âîïðîñ îá
ýòîì îñòàâàëñÿ îòêðûòûì áîëåå ïîëóâåêà è áûë ðàçðåøåí ëèøü
â 1966 ã. øâåäñêèì ìàòåìàòèêîì Ë. Êàðëåñîíîì, ïðè÷åì äîêàçà-
òåëüñòâî ýòîãî ôàêòà âåñüìà òðóäíî. Ïðè n > 1 âîïðîñ âñå åùå
îòêðûò (åñëè øàðû çàìåíèòü íà êóáû [−R, R]n , òî è çäåñü îòâåò
ïîëîæèòåëüíûé).
Ñ ïîìîùüþ ïðåîáðàçîâàíèÿ Ôóðüå â L2 ìîæíî ñëåäóþùèì îá-
ðàçîì îïèñàòü ôóíêöèè èç êëàññà Ñîáîëåâà W 2,k (IRn ).
6.5.4. Òåîðåìà. Ïðîñòðàíñòâî W 2,k (IRn ) ñîñòîèò èç âñåõ òà-
êèõ f ∈ L2 (IRn ), ÷òî ôóíêöèÿ y 7→ |y|k fb(y) âõîäèò â L2 (IRn ).
340 Ãëàâà 6. Îáîáùåííûå ôóíêöèè è ïðåîáðàçîâàíèå Ôóðüå
èç C0∞ (IRn ). Îáðàòíî, ïóñòü ôóíêöèè gi1 ,...,im (y) = im yi1 · · · yim fb(y)
ïðè m 6 k ëåæàò â L2 (IRn ). Òîãäà hi1 ,...,im := F−1 gi1 ,...,im ∈ L2 (IRn )
åñòü ∂xi1 · · · ∂xim f â ñìûñëå îáîáùåííûõ ôóíêöèé, èáî ââèäó óíè-
òàðíîñòè F èìååì (f, ∂xi1 · · · ∂xim ϕ)L2 = (Ff, F∂xi1 · · · ∂xim ϕ)L2 , ÷òî
b L2 = (−1)m (hi1 ,...,im , ϕ)L2 .
ðàâíî (−1)m (gi1 ,...,im , ϕ)
Âû÷èñëèì ñïåêòð ïðåîáðàçîâàíèÿ Ôóðüå êàê îïåðàòîðà â L2 .
Îòâåò ìîæåò ïîêàçàòüñÿ íåîæèäàííûì.
6.5.5. Òåîðåìà. Ñïåêòð ïðåîáðàçîâàíèÿ Ôóðüå F â L2 (IR1 )
ñîñòîèò èç ÷åòûðåõ òî÷åê {1, −1, i, −i}, èìåþùèõ áåñêîíå÷íûå
êðàòíîñòè. Ïðè ýòîì F èìååò ñîáñòâåííûé îðòîíîðìèðîâàííûé
áàçèñ ek , k = 0, 1, . . ., äëÿ êîòîðîãî Fek = (−i)k ek .
Ïåðâîíà÷àëüíàÿ íåîæèäàííîñòü îòâåòà îáóñëîâëåíà òåì, ÷òî
äîâîëüíî ñëîæíî çàäàííûé ñèíãóëÿðíûé èíòåãðàëüíûé îïåðàòîð
îêàçûâàåòñÿ â íåêîòîðîì áàçèñå äèàãîíàëüíûì. Îäíàêî ïðè áî-
ëåå âíèìàòåëüíîì àíàëèçå ðåçóëüòàò óæå íå êàæåòñÿ íåîæèäàí-
íûì: âåäü îïåðàòîð F2 åñòü îïåðàòîð îáðàùåíèÿ àðãóìåíòà, ò. å.
F2 f (x) = f (−x). Çíà÷èò, F4 = I , îòêóäà ïî òåîðåìå 5.1.8 ïîëó÷à-
åì σ(F)4 = {1}. Ýòî äàåò âêëþ÷åíèå σ(F) ⊂ {1, −1, i, −i}, íî åùå
íå äàåò ðàâåíñòâà. ×òîáû ïîëó÷èòü ïîëíîå óòâåðæäåíèå òåîðåìû,
íàäî äîãàäàòüñÿ èñïîëüçîâàòü ôóíêöèè
d k
Gk (t) := t − G0 (t), G0 (t) = exp(−t2 /2).
dt
Äîãàäêà áàçèðóåòñÿ íà çíàíèè òîãî, ÷òî FG0 = G0 è F îïðåäå-
ëåííûì îáðàçîì ïåðåñòàâëÿåò äèôôåðåíöèðîâàíèå è óìíîæåíèå íà
àðãóìåíò. Ïðèìåíèâ ïðåîáðàçîâàíèå Ôóðüå, íàõîäèì
d k d k
FGk (s) = i − is FG0 (s) = (−i)k s − G0 (s) = (−i)k Gk (s).
ds ds
Òåïåðü ïîêàæåì, ÷òî ôóíêöèè Gk ñ òî÷íîñòüþ äî íîðìèðóþùèõ
ìíîæèòåëåé ïðåäñòàâëÿþò ñîáîé ðåçóëüòàò îðòîãîíàëèçàöèè ôóíê-
öèé xk G0 (x) â L2 (IR1 ) è ïîòîìó, ñîãëàñíî äîêàçàííîìó â êîíöå
ïðåäûäóùåãî ïàðàãðàôà, îáðàçóþò (ïîñëå óìíîæåíèÿ íà ïîñòîÿí-
íûå) îðòîíîðìèðîâàííûé áàçèñ. Âîñïîëüçóåìñÿ èíäóêöèåé ïî k .
Ïðè k = 0 óòâåðæäåíèå âåðíî. Ïóñòü îíî âåðíî äëÿ íåêîòîðîãî
íàòóðàëüíîãî k > 0. Ëåãêî óáåäèòüñÿ, ÷òî ôóíêöèè Gk èìåþò âèä
6.5. Ïðåîáðàçîâàíèå Ôóðüå â L2 341
äèòñÿ â D0 (IR1 ).
6.8.7.
(i) Íàéòè ïåðâûå è âòîðûå ïðîèçâîäíûå â D0 (IR P ) ôóíêöèé
1
sin |x| è | sin x|. (ii) Äîêàçàòü ðàâåíñòâî | sin x| + | sin x| = 2 k∈Z δkπ .
00
350 Ãëàâà 6. Îáîáùåííûå ôóíêöèè è ïðåîáðàçîâàíèå Ôóðüå
6.8.8.Ðåøèòü â êëàññå D0 (IR1 ) ñëåäóþùèå óðàâíåíèÿ:
(i) xF = 0, (ii) xn F = 0, (iii) x(x + 1)F = 0, (iv) (sin x)F = 0,
(v) x2 F = δ , (vi) xF 0 = δ , (vii) xF 0 = 1, (viii) F 00 = δ , (ix) F 00 − F = δ .
6.8.9. Ïóñòü f íåïðåðûâíî äèôôåðåíöèðóåìàÿ ôóíêöèÿ íà ïðÿ-
6 sup |l(y)|,
y∈E
−1 0
f 0 (x) = − FY0 x, f (x)
FX x, f (x)
â îêðåñòíîñòè a.  ÷àñòíîñòè,
f 0 (a) = −[FY0 (a, b)]−1 FX0 (a, b).
Èç äîêàçàòåëüñòâà ÿñíî, ÷òî ïîëó÷åííîå ïðåäñòàâëåíèå îõâàòû-
âàåò âñå ðåøåíèÿ (x, y) èç äîñòàòî÷íî ìàëîé îêðåñòíîñòè (a, b). Íî
ýòî óòâåðæäåíèå íå ñëåäóåò ïîíèìàòü â òîì ñìûñëå, ÷òî â äîñòàòî÷-
íî ìàëîé îêðåñòíîñòè a íåò äðóãèõ äèôôåðåíöèðóåìûõ îòîáðàæå-
íèé f ñ F x, f (x) = 0: ðå÷ü èäåò ëèøü î òàêèõ f , ÷òî y = f (x) ïîïà-
êèõ ê (x0 , z0 ) òî÷åê (x, z) èìååì kfX 0 (x, z)k < 1, ïîýòîìó îòîáðà-
Λ(u,
b v) = [Λ(u)](v).
îïåðàòîð èçìåðèìîå, 49
Âîëüòåððà, 255 ïî Áîðåëþ, 49
ØòóðìàËèóâèëëÿ, 311 ëèïøèöåâî, 142
âïîëíå îãðàíè÷åííûé, 252 îãðàíè÷åííîå, 126
äèàãîíàëüíûé, 213 íåïðåðûâíîå, 140
åäèíè÷íûé, 210 ðàâíîìåðíî íåïðåðûâíîå, 141
êîìïàêòíûé, 252 ñæèìàþùåå, 144
ëèíåéíûé, 210 ñòðîãî äèôôåðåíöèðóåìîå, 356
íåîòðèöàòåëüíûé, 275 Ïàðñåâàëÿ ðàâåíñòâî, 177, 336
îáðàòèìûé, 264 ÏåàíîÆîðäàíà
îáðàòíûé, 239 èçìåðèìîñòü, 14, 45
îãðàíè÷åííûé, 210 ìåðà, 14
îðòîãîíàëüíîãî Ïëàíøåðåëÿ òåîðåìà, 339
ïðîåêòèðîâàíèÿ, 180 ïëîòíîñòü ÐàäîíàÍèêîäèìà, 88
ñàìîñîïðÿæåííûé, 250 ïîëíàÿ σ -àëãåáðà, 38
ñîïðÿæåííûé, 248 ïîëíàÿ âàðèàöèÿ ìåðû, 87
â ãèëüáåðòîâîì ïîëíàÿ ìåðà, 38
ïðîñòðàíñòâå, 249 ïîëíàÿ ñèñòåìà, 176
óíèòàðíûé, 286 ïîëíîå ìåòðè÷åñêîå
îïåðàòîðà ïðîñòðàíñòâî, 134, 142
ãðàôèê, 240 ïîëóàääèòèâíîñòü, 24
êâàäðàòè÷íàÿ ôîðìà, 271 ïîëóàëãåáðà ìíîæåñòâ, 20
íîðìà, 210 ïîëóêîëüöî ìíîæåñòâ, 20
îáðàç, 209 ïîëóïðîñòðàíñòâî, 226
ñîáñòâåííîå ÷èñëî, 264 ïîïîëíåíèå σ -àëãåáðû, 38
ñîáñòâåííûé âåêòîð, 264 ïîïîëíåíèå åâêëèäîâà
ñïåêòð, 263, ïðîñòðàíñòâà, 171, 231
ÿäðî, 209 ïîïîëíåíèå ìåðû, 38
îðòîãîíàëèçàöèÿ ïîïîëíåíèå ìåòðè÷åñêîãî
ÃðàììàØìèäòà, 181 ïðîñòðàíñòâà, 136
îðòîãîíàëüíîå äîïîëíåíèå, 178 ïîïîëíåíèå íîðìèðîâàííîãî
îðòîãîíàëüíîñòü âåêòîðîâ, 165 ïðîñòðàíñòâà, 171
îðòîãîíàëüíûé ïðîåêòîð, 180 ïîðîæäåííàÿ σ -àëãåáðà, 17
îðòîíîðìèðîâàííàÿ ñèñòåìà, 176 ïîðîæäåííàÿ àëãåáðà, 17
çàìêíóòàÿ, 181 ïîðÿäîê ëèíåéíûé, 162
ïîëíàÿ, 176 ïîðÿäîê ÷àñòè÷íûé, 161
òîòàëüíàÿ, 181 ïîñëåäîâàòåëüíîñòü
îðòîíîðìèðîâàííûé áàçèñ, 176 ñõîäÿùàÿñÿ, 128
îòêðûòîå ìíîæåñòâî, 129 ïî ìåðå, 57
îòêðûòûé øàð, 127 ïî÷òè âñþäó, 56
îòíîøåíèå ýêâèâàëåíòíîñòè, 44 ôóíäàìåíòàëüíàÿ, 128
îòîáðàæåíèå ïî ìåðå, 57
k-ëèíåéíîå, 367 â L1 , 79
áîðåëåâñêîå, 49 â ñðåäíåì, 79
äèôôåðåíöèðóåìîå, 352 ïîëóíîðìà, 173, 220
ïî Àäàìàðó, 353 ïî÷òè âñþäó, 56
ïî Ãàòî, 351 ïðåäåë ïîñëåäîâàòåëüíîñòè, 128
ïî Ôðåøå, 352 ïðåäåëüíàÿ òî÷êà, 128
394 Ïðåäìåòíûé óêàçàòåëü
ÔÓÍÊÖÈÎÍÀËÜÍÛÉ ÀÍÀËÈÇ
Âåðñòêà Â. È. Áîãà÷åâ