1.Нер-во Гёльдера и Минковского для сумм и интегралов.

Нер-во Минковского для суммы:

1 1 1
∞ p  ∞ p  ∞ p
 ∑ | x k + y k | p  ≤  ∑ | x k | p  +  ∑ | y k | p  , p ≥ 1 , справедливо, если
 k =1   k =1   k =1 
ряды справа сх-ся.
 2. Метрич. пр-ва и нормир-е пр-ва. Опр. Пр. Бесконечномер.
пр-ва.
Мн-во Х н-ся метрич. пр-вом (МП), если ∀ x, y опред-но
число ρ ( x , y ) ∈ R , называемое метрикой, расстоянием такое,
что 1. ρ( x. y ) ≥ 0, ρ( x, y ) = 0 ⇔ x = y 2. ρ( x, y ) = ρ( y , x ) 3.
ρ( x, y ) ≤ ρ( x, z ) + ρ( y, z ) . Пр-во Х не обязано быть линейным.
Пусть Х – линейное пр-во (м. склад-ть числа или умнож-ть на
число)
Лин. пр-во н-ся нормированным (НП), если ∀x ∈ X опред-но
вещ-е число, наз-е нормой || x || так, что выполнены аксиомы: 1.
|| x ||≥ 0, || x ||= 0 ⇔ x = Θ 2. || λx ||=| λ | ⋅ || x || 3. || x + y ||≤|| x || + || y || .
Примеры нормированных пространств:
1
n  n p
1. E p
x = ( x1 ,..., x n ), E = R, C || x || p =  ∑| xk | p  , p ≥1
 k =1 
n || x || = max || x ||
2. E ∞ ∞
1≤k ≤n
k

3. l p -пр-во с элементами x ={x } k

∞
k =1 = ( x1 ,..., x k ,...) таких,
1
∞
∞ p
что ряд ∑ | x k | < ∞ с нормой || x ||lp =  ∑| xk | p  . Д-во:
p

k =1  k =1 
det ∞
y = { y k }∞k =1 , x + y ={x k + y k }∞k =1 . λx = {λx k }k =1 . 1я и 2я аксиомы
очевидны, 3я следует из нер-ва Минковского для суммы:
1 1 1
∞ p  ∞ p  ∞ p
 ∑ | x k + y k | p  ≤  ∑ | x k | p  +  ∑ | y k | p  , p ≥ 1 , справедливо, если
 k =1   k =1   k =1 
ряды справа сх-ся. ЧТД
∞
4. m – пр-во ограниченных числовых послед-тей x = {xk }k =1
таких, что сущ-т M : | x |≤ M , ∀k , || x ||m = sup | xk | . Д-во:
x k x
k ≥1
∞
Покажем, что m-ЛП. x + y = {xk + y } λx = {λx k }∞
k k =1 k =1 .
| xk + y k |≤| xk | + | y k |≤ M x + M y = M x+ y . Если x, y ∈ m , то
x + y ∈ m , λx ∈ m , т.е. m – ЛП. 1я и 2я аксиомы очевидны
| xk + y k |≤| xk | + | y k |≤ sup | xk | + sup | y k |=|| x ||m + || y || m , ∀k Значит
k ≥1 k ≥1
это спр-во и для sup, т.е. || x + y || m ≤|| x || m + || y || m ЧТД
Замечание: l p , m - бесконечномерные координатные пр-ва.
Пр-во н-ся бесконечномерным, если в нем ∀ n ∃N -
линейно-независимых элементов.
 5. C[ a ,b ] - пр. непрерывных на [a, b] ф-ций с нормой
|| x || = max | x (t ) | Д-во: C
C
a≤t ≤b [ a ,b ] -НП? 1я и 2я акс-ы очевидны.
Проверим нер-во треугольника
| x (t ) + y (t ) |≤| x (t ) | + | y (t ) |≤ max | x(t ) | + max | y (t ) |=
k ≥1 k ≥1
=|| x || C + || y || C , ∀t ∈[a, b] => нер-во спр-во для максимума
max | x(t ) + y (t ) |=|| x + y ||C ≤|| x ||C + || y ||C . ЧТД
a ≤ t ≤b

6. CL P[ a ,b ] - пр-во непрерывных на [a,b] ф-ций с нормой

1
b p
|| x ||CLp =  ∫ | x (t ) | p dt  , p ≥ 1 Д-во: Нер-во треуг-ка есть в
a 
точности нер-во Минковского для интегралов:
1 1 1
b p b p b p
 ∫ | x(t ) + y (t ) | p dt  ≤  ∫ | x(t ) | p dt  +  ∫ | y (t ) | p dt  , p ≥ 1 спр-ва в
     
a  a  a 
случае сх-ти интегралов справа.
k
7. C[ a ,b ] - пр-во к-раз непрер-но диф-х на [a,b] ф-ций с
нормой || x ||C k =|| x ||C + || x ||C +...+ || x ||C или
(k )

|| x ||C k = max(|| x || C , || x ||C ,..., || x ( k ) ||C ) . Эти нормы эквив-ны. !!!

Последние 3 пр-ва явл-ся бесконечномерными функцион-ми пр-
вами.

3. Сх-ть в нормир. пр-вах. Св-ва сх. посл-тей. Сх-ть в

конкретн-х пр-вах.
Сходимость НП.
 Пусть Х-НП. Посл-ть {xn }n=1 н-ся сход-ся к x0 ∈ X ( xn  n→ x0 ) ,
∞
→∞

если || xn − x0 ||  n → 0, т.е.

→∞
∀ε > 0, ∃N = N (ε ) > 0 : ∀n ≥ N :|| xn − x0 ||< ε .
Утверждение. Если x0 = nlim
→∞
xn , то 1) Предел единственен 2)
Всякая подпосл-ть посл-ти x n сх-ся к x0 3) норма || xn ||→|| x0 ||
(из обратного нер-ва треуг-ка).
Утв.1. Из сх-ти в пр-ве l p вытекает покоордин-я сх-ть.
Обратное неверно. Д-во: Пусть || xn − x0 ||lp  n → 0, это значит
→∞

∀ε > 0, ∃N = N (ε ) > 0 : n ≥ N :|| xn − x0 ||lp < ε , xn = {xkn }∞

k =1 ,
∞
∑ | xkn − xk0 | p < ε p ⇒ ∀k , | xkn − xk0 | p < ε p ⇒ ∀k , | xkn − xk0 |< ε
k =1
⇒ ∀ k , xkn  → xk0 . Обратное неверно. Возьмем
n→ ∞

xn = ( 1n , 1n ,...,1n ,0,...)
   . Покоординатно стрем-ся к 0. Пусть р=1
n
∞
1
/ 0 , || x ||l1 = ∑ | xk |= n ⋅
xn → =1→
n
/ 0
k =1 n
Утв.2. Сх-ть в пр-ве m эквив-на покоордин-й сх-ти равномерной,
относит-но номера координаты. Д-во: || xn − x0 ||  n→∞ → 0 ⇔
∀ε > 0, ∃N = N (ε ) > 0 : ∀n ≥ N :|| xn − x0 || m < ε . xn = {xkn }
sup | xkn − xk0 |< ε , n ≥ N
(!) ⇒ ∀k , | xk − xk |< ε , n ≥ N (*) ⇒ xk  n→∞ → xk
n 0 n 0
k

равном-но по k. Из (*) => (!) ЧТД.

Утв.3. Сх-ть в пр-ве C
[ a ,b ] эквив-на равном. сх-ти. Д-во:
|| xn − x0 ||С  n→ 0, т.е.
→∞
∀ε > 0, ∃N = N (ε ) > 0 : ∀n ≥ N : max || xn (t ) − x0 (t ) ||< ε . (1)
a ≤t ≤ b

∀t ∈[a, b], | xn (t ) − x0 (t ) |< ε , n ≥ N (2) ⇒ xn (t ) →

 → x0 (t ) (3).
n→ ∞
Обратное: Из (3) => (2) и значит (1). ЧТД.
4.Ф.п. Полные пр-ва. Неполные.
Х-НП. ПОсл-ть {xn } ⊂ X н-ся фундам-й (фп), если
∀ε > 0, ∃N = N (ε ) > 0 : ∀n, m ≥ N :|| xn − xm ||< ε . Всякая ф.п.
ограничена. Всякая сх-ся посл-ть явл-ся ф.п.
НП н-ся полным, если в нем любая ф.п. посл-ть сх-ся. Полное
НП н-ся банаховым.
 Правило. Д-во полноты состоит из 3х этапов: 1) берется произв-
я ф.п. {xn } ⊂ X и строится элемент x0 – подозрит-й на
предельный. 2) Провер-ся, что x0 ∈ X 3) Показывается, что
|| xn − x0 ||  n→ 0,
→∞

Теорема. Пр-во C[ a ,b ] полно. Д-во: 1. {x } = {x (t )} - произв.

n n

ф.п. ∀ε > 0, ∃N = N (ε ) > 0 : ∀n, m ≥ N :|| xn − xm ||C < ε .

max | xn (t ) − xm (t ) |< ε ⇒ ∀t ∈[ a, b], | xn (t ) − xm (t ) |< ε , n, m ≥ N ,
t
т.е. выполнен Кр. Коши равном. сх-ти посл-ти xn (t ) , т.е.

∃ x0 (t ) : xn (t ) →→ x0 (t ) ,n → ∞ . 2. x 0 (t ) - непрер. ф-я, как

равномер. предел посл-ти непрер. ф-ций x0 ∈ C[ a ,b ] . 3. Т.к. сх-

ть в C[ a ,b ] эквив-на равном-й сх-ти, то || x − x || n 0 C  n→ 0, ЧТД.
→∞

Теорема. Пр-во l 2 полно. Д-во: 1

∞
∞ 2
x = {xk }, ∑| xk | < ∞, || x ||l2 =  ∑| xk |2  . Пусть {x } - произв. ф.п. в
2 k

k =1  k =1 

l2 . x n
= {xkn } ⇔ ∀ε > 0, ∃N = N (ε ) > 0, ∀n, m ≥ N
∞
|| x n − x m ||l22 = ∑ | xkn − xkm |2 < ε 2 (1) ⇒ ∀k :| xkn − xkm |< ε , n, m ≥ N . Для
k =1

кажд. координаты выполняется Кр.Коши ⇒ ∀k∃xk = nlim

0
xkn .
→∞

Построим x = ( x1 ,..., xk ,...) . Покажем, что

0 0 0
x0 ∈ l2
(1) M
⇒ ∀M > 0, ∑ | xkn − xkm |2 < ε 2 (2) при
k =1
M
m → ∞, ∑ | xkn − xkm |2 < ε 2 , ∀M > 0, n ≥ N (3). Имеем
k =1
1 1 1
 m 0 2 2  m 0  2 НМ  m 2
 ∑ | xk |  =  ∑ | x k − xkn + xkn | 2  ≤  ∑ | xk0 − xkn | 2  +
 k =1   k =1   k =1 
1 ∞
m 2
+  ∑ | x kn |2  ≤ ε + || x n ||l22 < ∞, ∀n , т.е. ∑| xk0 |2 < ∞, x 0 ∈ l 2 . Из (3)
 k =1  k =1
 ∞
=> в силу произвольности М ∑ | xkn − xk0 |2 < ε 2 , n ≥ N , т.е.
k =1

|| x − x ||l2  n
n 0
 → 0 . ЧТД.
→∞

Теорема. Пр-во l1 полно. Д-во:

∞ ∞
x = {xk }, ∑ | xk | < ∞, || x ||l1 = ∑ | x k | Пусть {x k } - произв. ф.п. в
k =1 k =1
l1
. x = {xk } ⇔ ∀ε > 0, ∃N = N (ε ) > 0, ∀n, m ≥ N
n n

∞
|| x n − x m ||l1 = ∑ | xkn − xkm | < ε (1) ⇒ ∀k :| xkn − xkm |< ε , n, m ≥ N . Для
k =1

кажд. координаты выполняется Кр.Коши ⇒ ∀k∃xk = nlim

0 n
xk .
→∞

Построим x = ( x1 ,..., xk ,...) . Покажем, что

0 0 0
x 0 ∈ l1
(1) M
⇒ ∀M > 0, ∑ | x kn − x km |< ε (2) при
k =1
M
m → ∞, ∑ | x kn − x km |< ε , ∀M > 0, n ≥ N (3). Имеем,
k =1
m m m m
∑ | xk0 | = ∑ | xk0 − xkn + xkn | ≤ ∑ | xk0 − xkn | + ∑ | xkn | ≤
k =1 k =1 k =1 k =1
∞
≤ ε + || x n || l1 < ∞, ∀n т.е. ∑| xk0 |< ∞, x 0 ∈l1 . Из (3) => в силу
k =1
∞
произвольности М ∑| xkn − xk0 |< ε , n ≥ N , т.е. || x n − x 0 ||l 1
→ 0 .
n→ ∞
k =1
ЧТД,
Теорема. Пр-во m полно. Д-во: Пусть { x n } - произв. ф.п.
x n = {x n } - подпосл-ть x = {xk }, | xk |≤ M , ∀k . || x || m = sup | xk | ,
k k ≥1

x = {x } - ф.п.
n n
k
⇔ ∀ε > 0, ∃N = N (ε ) > 0, ∀n, m ≥ N , || x n − x m ||< ε ⇔
⇔ sup | xkn − xkm |< ε ⇒ ∀k , | xkn − xkm |< ε n, m ≥ N (4) ⇒ по Кр. Коши
k ≥1

сход. числ. посл. для кажд. координаты ∃xk = nlim

0
xkn . Рассм.
→∞
?
x 0 = ( x10 ,..., xk0 ,...) , x 0 ∈m Перейдем в (4) к пределу m→ ∞.
| xkn − xk0 |< ε , ∀k , n ≥ N (5) | xk |≤| xk − xk | + | xk |< ε + M k 0 = M k 0 , а
0 0 n n

из (5) => sup | xk − xk |< ε ⇒|| x − x ||< ε , n ≥ N . ЧТД,

n 0 n 0

k
1
b p
CL P[ a ,b ] || x ||= 
:
 ∫ | x (t , s ) | p
dt  , p ≥ 1 . Оно неполно.

a 
Теорема. CL 2[ a ,b] не полно. Д-во: [a,b]->[-1,1] и рассм. посл-
 − 1,− 1 ≤ t ≤ − 1n
 1 1 Покажем, что
ть x (t ) = n ,− t ≤ t ≤
n  n n
 1, 1 ≤ t ≤ 1
n
{xn (t )} - ф.п. в CL 2[ a ,b] . Заметим, что x (t ) − x n m (t ) = 0 для

некот. t ∈ [− 1,− m1 ) ∪ ( m1 ,1] . Пусть m<n => m1 > 1n ⇒

1
1 m

∫ | xn (t ) − xm (t ) | dt ≤
2
|| xn − xm || 2 = ∫ | xn (t ) − xm (t ) |2 dt =
−1 −1
m
1 1
m m
2 8
≤ ∫ (| xn (t ) | + | xm (t ) |) dt ≤ 4 ∫ dt = 4 ⋅ m ≤ N < ε ⇒
2

−1 −1

N = [ ε8 ] + 1, m > N , n > N
m m

- послед. фундам. сх-ся к ф-ции

 − 1,− 1 ≤ t < 0 1
 1 n

ϕ (t ) =  0, t = 0 . Имеем ∫ | xn (t ) − ϕ (t ) | dt ≤ ∫ | xn (t ) − ϕ (t ) | dt =
2 2

 1,0 < t ≤ 1 −1 − 1
n

 1
n
2
= ∫ (| xn (t ) | + | ϕ (t ) |) 2 dt = 4 ⋅   → 0 сх-ся в интегральном
n→ ∞
− 1 n
n
смысле. Покажем, что {xn } несходится ни к какой ф-ции в

CL 2[ −1,1] . ПП Сущ-т непрерыв. ψ(t ) , что

1

∫ | xn (t ) − ψ (t ) | dt n→ 0 , тогда имеем

2
→∞
−1
1 1
1 2  1 2
 ∫ | ϕ (t ) −ψ (t ) | 2 dt  =  ∫ | ϕ (t ) − xn (t ) + x n (t ) −ψ (t ) | 2 dt  ≤
   
 −1   −1 
1 1
1 2  1 2
≤  ∫ | ϕ (t ) − xn (t ) |2 dt  +  ∫ | x n (t ) −ψ (t ) | 2 dt  . Т.к. n отсутствует
 −1   −1 
→0 , n →∞
1
=> ∫ | ϕ (t ) −ψ (t ) |
2
dt = 0 , ϕ(t ) -разрывн. ψ(t ) -непрер.
−1
0 1
0 1
⇒ ∫−1 + ∫0 = 0 ⇒ ∫ | ϕ (t ) − ψ (t ) | dt + ∫ | ϕ (t ) − ψ (t ) | dt = 0 ⇒
−1 0

ϕ (t ) = ψ (t ), t ∈ [−1,0) ∪ (0,1] . ψ (+0) = tlim

→+0
ϕ(t ) = 1 ,
ψ ( −0) = lim ϕ (t ) = −1 ⇒ ψ(+0) ≠ψ(−0) - противоречие того,
t →−0

что ψ(t ) явл-ся непрер-й ⇒ {xn (t )} не сх-ся в CL 2 . ЧТД.

Теорема. Пр-во CL 1[ a,b ] неполно. Д-во: [a,b]->[-1,1] и рассм.
 − 1,− 1 ≤ t ≤ − 1n

посл-ть x (t ) = n ,− t ≤ t ≤
1 1 Покажем,
n  n n
 1, 1 ≤ t ≤ 1
n
что {xn (t )} - ф.п. в CL 1[ a,b] ., т.е.
∀ε > 0, ∃N = N (ε ) > 0 : ∀n, m ≥ N :|| x n − x m || CL1 < ε
 1
Пусть m<n => 1
m > ⇒ 1
n
|| xn − xm || CL 1 = ∫ | xn (t ) − x m (t ) |dt =
−1
1
m
= ∫ | xn (t ) − xm (t ) | dt ≤
−1
m
1 1
m m
2 4
≤ ∫ (| xn (t ) | + | xm (t ) |)dt ≤ ∫ 2dt = 2 ⋅ m ≤ N < ε ⇒
−1 −1
m m

4 
N =   +1, m > N , n > m > N - послед. фундам. сх-ся к ф-ции
ε 

 − 1,− 1 ≤ t < 0

ϕ (t ) =  0, t = 0 . Имеем
 1,0 < t ≤ 1

1 1
1 n n

∫ | xn (t ) − ϕ (t ) | dt ≤ ∫ | xn (t ) − ϕ (t ) | dt = ∫ (| xn (t ) | + | ϕ (t ) |)dt =
−1 −1 −1
n n
2 4
= 2⋅ = → 0 ⇒ сх-ся в интегральном смысле.,
n n n→ ∞
ϕ ∉ CL1 .
Покажем, что {xn } несходится ни к какой ф-ции в CL1 . ПП
1
Сущ-т непрерыв. ψ(t ) , что ∫ | xn (t ) − ψ (t ) | dt  → 0 , тогда имеем
n→ ∞
−1
1 1

∫ | ϕ(t ) −ψ (t ) | dt = ∫ | ϕ(t ) − xn (t ) + xn (t ) −ψ (t ) | dt ≤ .
−1 −1
1 1
≤ ∫ | ϕ (t ) − xn (t ) | dt + ∫ | xn (t ) −ψ (t ) | dt → 0 Т.к. n отсутствует =>
−1 −1
1

∫ | ϕ(t ) −ψ (t ) | dt = 0 , ϕ(t ) -разрывн. ψ(t ) -непрер.

−1
0 1
0 1
⇒ ∫−1 + ∫0 = 0 ⇒ ∫ | ϕ (t ) − ψ (t ) | dt + ∫ | ϕ (t ) − ψ (t ) | dt = 0 ⇒
−1 0
ϕ (t ) = ψ (t ), t ∈ [−1,0) ∪ (0,1] . ψ (+0) = tlim
→+0
ϕ(t ) = 1 ,
ψ (−0) = lim ϕ (t ) = −1 ⇒ ψ(+0) ≠ψ(−0) - противоречие того,
t →−0

что ψ(t ) явл-ся непрер-й ⇒ {xn (t )} не сх-ся в CL1 . ЧТД,

5. Мера открыт. мн-ва. Измер-е мн-ва, ф-ции. Интеграл

Лебега. Пр-ва Лебега.
1
b p
Пр-во СL P[ a ,b ] с нормой || x ||= 
∫ | x ( t ) | p
dt  не полно.

a 
Пр-вом Лебега LP[ a ,b ] н-ся пополнение пр-ва СL P[ a ,b ] ,
т.е. LP[ a ,b ] = CL P[ a ,b ] . Т.к. к непрер. ф-циям добавл-ся эл-ты
новой природы, кот. н-ся суммируемые (интегрир. по Лебегу) с
р-й степенью ф-ции.
Мера Лебега на вещественной прямой. Пусть G ⊂ ( a, b) -
∞
открыто. G =  (αn , βn ) конеч. или счетное число попарно-
n =1
непересекающихся интервалов.
 Мерой открыт. мн-ва назыв. сумма длин интер-в, составляющ.
это мн-во. Т.е. µG = ∑ ( β k − α k ) сх-ся и т.к. посл-ть частич.
n
/ , µO
суммы возраст. и ≤ (b − a ) (Мера-длина). Если E = O / = 0 . Е-
произ. мн-во => ∃G - открыт: G ⊃ E
Внешней мерой н-ся µ E = Ginf µG . Внутренней мерой н-ся
*
⊃E

(1) µ* E = b − a − µ (CE ) CE = ( a, b) / E . В (1) заменим Е на СЕ,

*

получ. µ* (СE ) = b − a − µ E (2) Мн-во Е н-ся измеримым, если

*

внут. и внеш. меры совпадают: µЕ = µ Е = µ* Е

*

Утв. Если мн-во Е измеримо, то измер. и его доп-е. Д-во: Пусть

µЕ = µ * Е = µ* Е => (1) µE = b − a − µ* (CE ) , Из (2)
µE = b − a − µ* (CE ) => µ * Е = µ* Е . СЕ-измер. ЧТД.
Утв. Замкнутое мн-во измер-о по Лебегу (как доп-е к закрыт. мн-
ву, оно измер-о)
Св-ва мер Лебега: 1. µE ≥ 0, µE = b − a − µ(CE ) 2.
0 ≤ µ* E ≤ µ * E 3. E1 ⊂ E2 ⇒ µE1 ≤ µE 2 4. ∪ ,∩ конечн. или
счетного числа измер. мн-в измеримо 5.
µ ( E1 ∪ E2 ) = µE1 + µE2 − µ ( E1 ∩ E2 ) Замечание. Из (2) => если
µ* Е = 0 , то Е измер. 0 ≤ µ* E ≤ µ * E = 0, µ* E = µ * E = 0
Конечное или счетное мн-во на прямой имеет меру 0.
Утв. Мн-во Кантора имеет меру 0.
Мн-во Кантора строится след образом: отр-к [0,1] делится на 3
равные части. 1) Средний замкнутый интервал длиной 1/3
выбрасывается. 2) С кажд. из оставшихся 2х отрезков поступают
аналогично, т.е. делится на 3 части и середина убирается. 2
интервала длиной 1 2 . 3) аналогично, 22 интервала длин 1 .
3 33
Все, что осталось после ∞ процесса н-ся мн-вом Кантора.
Посчитаем суммы длин выброшенных интервалов:
k
1 2 22 2k 1 ∞  2 1 1
+ + + ... + k +1 + ... = ∑   = ⋅ 2 = 1
3 32 33 3 3 k=0 3  3 1 − 3
СЕ - дополнение µCE = 1 . СЕ- открытое => измеримо => мера
его = сумме => Е измеримо, µE + µCE = 1, µE = 0
Можно показ., что мн-во Кантора имеет мощность континиума ,
т.е. мужду точками Катнторового мн-ва и точками отрезка [0,1]
можно установить взаимно-однозначное соответствие.
 Измеримые ф-ции. G – открытое => G =  (αn , βn ) . Мерой
(длиной) открытого мн-ва назыв. µG = ∑( βn −n );
µE = b − a − µ* (CE ) µ E = inf µG . Ф-ция X : E → R н-ся
*
G⊃E
измеримой, если измеримо мн-во E ( x > c ) , где E ( x > c) назыв.
мн-во точек = {t ∈ E : x (t ) > c}
Лемма. Ф-ция Х измерима т.и.т.т.,к. измеримо одно из 3х мн-в
E ( x ≥ c), E ( x < c), E ( x ≤ c ) Д-во: Пусть измеримо E ( x > c ) .
∞
Покажем, что E ( x ≥ c ) = E ( x > c − 1n ) (*) => измер, как
n =1
перес-е измер. Пусть
t ∈ E ( x ≥ c) ⇔ x(t ) ≥ c ⇒ x(t ) > c − 1n , ∀n ⇒ t ∈ E ( x > c − 1n ).
n
Обратно: пусть
t ∈ E ( x > c − 1n ) ⇒ x(t ) > c − 1n , ∀n ⇒ n → ∞ ⇒ x(t ) ≥ c ⇒ .
n
⇒ t ∈ E ( x ≥ c) ⇒ (*) Обратно: Пусть измеримо E ( x ≥ c ) , покажем,
что измеримо E ( x > c) .
E ( x > c) =  E ( x ≥ c + 1n ) ⇒ t ∈ E ( x ≥ c + 1n ) ⇒ (1) измер. как объед.
n
измер. мн-в. Остальное аналогично. ЧТД.
Св-ва измер-х мн-в: Пусть Е-измеримо 1. Если x(t) измер., то
 c
 E ( x > ) ,k > 0
k

 O/ , k = 1, c ≥ 0
kx(t), x(t)+l измеримо. E ( k x> c ) =  Кажд. из мн-в
 E , k = 0 , c < 0
 c
 E (c < ) ,k < 0
 k
измеримо. E ( x + l > c ) = E ( x > c − l ) - измер. 2. Сумма 2х измер-х
мн-в измер. 3. Произвед-е 2х измер-х мн-в измер. 4. Если
x(t ) ≠ 0 измер., то 1
x(t ) 5. Если x(t), y(t) измер. и y (t ) ≠ 0 , то
x (t )
y (t ) измер.
Теорема. Непрер-ая на замкнут. огранич. мн-ве ф-ция измер-а
на нем. Д-во: Пусть x(t) непрер. не Е-замкнут. огран. мн-ве.
Покажем, что мн-во E ( x ≥ c ), ∀c ∈R измеримо. Покажем, что
E ( x ≥ c ) замкнутое (т.е. содерж. все свои пред-е т-и). Пусть t 0 -
произв. пред-я т. мн-ва E ( x ≥ c ) . Т.е.
∃t n ∈ E ( x ≥ c), t n → t 0 , n → ∞ . Это значит, что x(t n ) ≥ c .
Перходим к пределу n → ∞ , получим x (t 0 ) ≥ c ⇒ t 0 ∈ E ( x ≥ c) ⇒
мн-во замкнуто => измер. ЧТД.
Измеримы м.б. и разрыв. ф-ции.
Интеграл Лебега. Пусть Е-измер. огран. мн-во на (a,b). x(t)
измер. огр. ф-ция. Т.е. ∃m, M : m ≤ x(t ) ≤ M . Разобьем отрезок
[m,M] на n частей m = x0 < x1 < ... < xn = M . Обознач. через
ei = E ( xi −1 ≤ x ≤ xi ) . Кажд. ei измеримо (как пересеч. 2х измер.).
Составим верх. и нижн. суммы Лебега:
n n +1
s = ∑ xi −1 µ ⋅ ei , S = ∑ xi +1 µ ⋅ ei . Если сущ-т предел s и S при
i =1 i =1
λ k = max | xi +1 − xi |→ 0 , не завис-й от способа разбиения Pk
i
отрезка [m,M], то этот предел н-ся интегралом Лебега (2)
∫x(t )dt
E
Теорема. Всякая огран. измер. ф-ция интегрир-ма по Лебегу
(суммируема). Справ-вы все обычные св-ва интеграла.
Дополнит-е св-ва: 1. Если x(t) интегр. по Риману, то она инт-ма
и по Лебегу и интегралы совпадают:
n
( L) ∫E x (t ) dt = ( R ) ∫E x (t ) dt 2. Если E =  Ei и мн-во не
i =1

пересек. Ei ∩ E j = O
/ , i ≠ j и измеримы наи кажд. Ei , то x(t)

суммируема на Е, то ( L) ∫E x (t ) dt = ∑( L) ∫Ei x (t ) dt 3. Если

i

µE = 0 ⇒ ( L) ∫E x(t )dt = 0 . Говорят, что какое-то св-во выполнено

почти всюду (п.в.), если оно выполнено всюду, кроме м.б. точек
мн-ва меры Лебега. Ф-ия х н-ся эквивалентной ф-ции у ( x ~ y ) ,
если x (t ) = y (t ) 4. Если x ~ y и y(t) интегр. по Лебегу, то и x(t)
п.в .

инт. по Лебегу и ( L) ∫E x (t ) dt = ( L ) ∫E y (t ) dt
Критерий интегрируемости по Риману. Огранич-я ф-ция
интегр-ма по Риману т.и.т.т.,к. мн-во точек её разрывов имеет
меру 0 (без док-ва)

Пр-во Лебега. LP[ a ,b ] = CL P[ a ,b ]

 Пр-во Лебега L1[ a ,b ] наз. пр-во элементы кот. служат классы
b
эквив-х мужду собой суммируемых ф-ций || x || L1 = ( L) ∫| x (t ) | dt .
a
Эквив-е мужду собой ф-ции не различ-ся. Если x ~ y , то x(t)=y(t),
t ∉ E , µE = 0, || x − y || L1 = ∫ | x (t ) − y (t ) | dt = 0, µE = 0 ⇒ x = y .
E

CL 1[ a ,b ] = CL 1[ a ,b ] , т.е. ф-ция x(t ) ∈ L1[ a,b] , если сущ-т

послед. непрер. ф-ций {xn(t)} фундам. в среднем, т.е.
b

∫ | xn (t ) − xm (t ) | dt n,m→∞ → 0 , и такая, что

a
b
( L) ∫ | xn (t ) − x(t ) | dt n→ 0 . Добавляемые ф-ции явл-ся измер. и
→∞
a
суммир-ми. Эквив-е ф-ции не различ-ся. Фактически элем-ми пр-
ва L1[ a ,b ] явл-ся классы эквив-х ф-ций. Каждый класс
однозначно опред-ся любым своим представителем.
Пр-во Лебега L2[ a,b ] = CL 2[ a ,b ] , x(t ) ∈ L1[ a,b] , если сущ-т
ф.п. непрер. ф-ций {xn(t)} в среднем квадратном,т.е.
b
( R) ∫ | xn (t ) − xm (t ) |2 dt n → 0 и такая,что
, m→ ∞
a
b
( L) ∫ | xn (t ) − x(t ) |2 dt n
a
→ 0 Элементами пр-ва
→∞ L2[ a ,b] явл-ся
классы эквив-х ф-ций, суммир-х с квадратом, т.е.
b
( L) ∫ | x (t ) |2 dt < ∞ .
a
1
 b
p
|| x || Lp =  ( L) ∫ | x (t ) | p dt  , p ≥ 1

 a 
 6. Огран-е, открыт-е, замкн. мн-ва. Эквив. нормы.
Открытое и замкнутое мн-во.
Пусть Х-НП.Открытым шаром н-ся мн-во
B ( x0 , r ) = {x ∈ X :|| x − x0 ||< r} . Замкнутым шаром н-ся мн-во
B[ x0 , r ] = {x ∈ X :|| x − x0 ||≤ r} . Сферой н-ся мн-во
S ( x0 , r ) = {x ∈ X :|| x − x0 ||= r} . Окрестностью в т. x0 ∈ X н-ся
любой открытый шар с центром в т. x0 Or ( x0 ) = B ( x0 , r ) . Мн-во
M ⊂ X н-ся огранич-м, если сущ-т шар конеч. радиуса, целиком
сод-й мн-во М: ∃R > 0 : M ⊂ B (0, R ) . Мн-во М н-ся открытым
,если любая т. входит в него вместе с некоторой окрестностью,
т.е. ∀x ∈ X , ∃R > 0, B ( x, R ) ⊂ M
Утв. Объединение любого числа и пересеч-е конеч. чила
открыт. мн-в есть мн-во открытое.
Т. x0 н-ся пред-й т-й мн-ва М, если ∃xn ∈ M , xn ≠ x0 : xn n → x0 .
→∞
Мн-во М н-ся замкнутым, если оно содержит все свои пред-е
точки. М’ – мн-во всех пред. точек мн-ва М. Замыкание мн-ва М
М = M ∪ M ′.
Утв. Объедин-е конечн. числа и пересеч-е любого числа замкн-х
мн-в явл-ся замкнут-м мн-вом.
O,/ X (пустое мн-во, само пр-во) открытые и замкныт-е по
опред-ю.
Утв. Сфера S(a,r) – явл-ся замкн. мн-вом. Д-во: Пусть x0 –
произв. пред-я т. мн-ва S(a,r). ∃xn ∈ M , xn ≠ x0 , || xn − x0 || n
→ 0 ,
→∞
|| xn − a ||= r ,
|| x0 − a ||≤|| x0 − a − xn + xn ||≤|| x0 − xn || + || xn − a ||< r + ε ,
|| x0 − a ||< r + ε , r =|| xn − a ||≤|| xn − x0 || + || x0 − a ||< ε + || x0 − a || ,
|| x0 − a ||> r − ε , ε → 0 , || x0 − a ||= r , x0 ∈ S ( a, r ) . ЧТД,
Эквивалентные нормы. Пусть Х-ЛП и в нем задана
|| x ||1 , || x || 2 , Эти нормы эквив-ны, если
∃m, M : ∀x ∈ X : m || x ||1 ≤|| x || 2 ≤ M || x ||1 .
Теорема. Если посл-ть {xn } сх-ся по одной из эквив-х норм, то
она сх-ся и по др., причем к тому же эл-ту.
m || xn − x0 ||1 ≤|| xn − x0 ||2 ≤ M || xn − x0 ||1
Теорема. Если банахово пр-во по одной из эквив. норм, то оно
банахово и по др.
Теорема. В конечномерном пр-ве все нормы эквивалентны.

Пополнение нормир-х пр-в.

Пр-во X ~ н-ся пополнением НП Х, если 1. ~ ~
X ⊂ X 2. X -
~
полное пр-во. 3. X = X , X = X ∪ X ′, X ′ -пред. т-и Х.
Теорема. Всякое НП имеет пополнение.
 7.Принцип сжимающ-ся отобр-й. Применение. Ур-е
Фредгольма. Ур-е Вольтерры.
Пусть f : X → X . Отобр-е f н-ся сжимающим, если ∃0 < q < 1 ,
что || f ( x ) − f ( y ) ||≤ q || x − y ||, ∀x, y ∈ X .
Т. x* н-ся неподвижной точкой отобр-я f, если f(x*)=x*
Теорема (принцип сжим-х отображ-й). Пусть выполн. усл-я: 1)
Пусть Х-БП и Q ⊆ X замкнут. мн-во 2) f : Q → Q 3) f – сжимающ.
|| f ( x ) − f ( y ) ||≤ q || x − y ||, 0 < q < 1 . Тогда ∃.! неподв. т.
x * ∈ Q, f ( x * ) = x * , причем кот. м.б. получена методом посл-х
приближ-й, т.е. x = nlim xn , xn = f ( xn−1 ), n = 1,2,...∀x0 ∈ Q . При
*
→∞
qn
этом справ-ва оценка || x* − xn ||≤ || x1 − x0 || (1). Д-во: 1)
1−q
Покажем, что посл. {xn}-ф.п. Заметим, что т.к. f : Q → Q , то
xn ∈Q, ∀n . Оценим соседние члены
|| xn+1 − xn ||=|| f ( xn ) − f ( xn−1 ) ||≤ q || xn − xn −1 ||≤ ... ≤ q || x1 − x0 ||
|| x n − x m ||≤|| x n − x n −1 || + || x n −1 − x n −2 || +...+ || x m +1 − x m ||≤
≤ (q n −1 + q n −2 + ... + q m ) || x1 − x 0 ||≤
q m (1 + q + ... + q n−1−m ) || x1 − x 0 ||⇒|| x n − x m ||≤
∞
qm
≤ q m ∑ q k || x1 − x 0 ||= || x1 − x 0 || (2)
k =0 1− q
q < 1, q m m→ 0, n > m, || xn − xm || n
→∞
→ 0 . Т.к. Х – полно,то
, m→ ∞

x * = lim xn , x * ∈ X , xn ∈ Q , х* - пред. т.Q, т.к. Q – замкнуто, то

n→∞
x ∈Q . 2) х* - неподвиж. т. отобр-я f || f ( x * ) − x * ||≤
*

≤|| f ( x * ) − x n || + || x n − x * ||=|| f ( x * ) − f ( x n −1 ) || + || x n − x * ||≤

≤ q || x * − x n −1 || + || x n − x * ||  → 0 , т.е. ⇒ x * = f ( x * ) - неподвиж. т. 3)
n→ ∞
Покажем единственность неподвиж. т. ПП Сущ. 2 непод. т-и х* и
х** f ( x * ) = x * , f ( x ** ) = x **
|| x * − x ** ||=|| f ( x * ) − f ( x ** ) ||≤ q || x * − x ** || ,
0 ≤ (1 − q ) || x * − x ** ||≤ 1 ⇒|| x * − x ** ||= 0 ⇒ они совпадают. 4) Оценка
qm
скорости сх-ти (1) || x * − xm ||≤ || x1 − x0 || ЧТД,
1−q
Решение нелинейных скалярных уравнений.
1. Х = R, Q = [ a, b]
Теорема. f : [a, b] →[ a, b] и удовл. (3)
| f ( x) − f ( y ) |≤ L | x − y |, L < 1 тогда ур-е x ≡ f (x ) имеет ед-е
реш-е ∃.! x * , это реш-е м.б. получено мет. посл. прибл-й,
начинас с ∀x0 ∈[ a, b] .
Замечание. Усл-е (3) вып-ся, если f непр.-диф-мо и
| f ′( x) |≤ L, ∀x ∈[a, b] Это следует из ф-лы Лагранжа конеч.
приращений: | f ( x ) − f ( y ) |= f ′(ξ )( x − y ), ξ ∈ ( x, y )
| f ′( x) |≤ L < 1 ,f-сжим.
2. X = R, Q = [ a, b], F ( x) = 0 (4).
Теорема. Пусть отобр-е F- непр.-диф-со, причем
0 < k1 ≤ F ′( x) ≤ k 2 , F ( a) ≤ 0, F (b) ≥ 0 , тогда ур-е (4) имеет ед-е
реш-е. Это решение м.б. получено методом посл-х приближ-й. Д-
во: Введем отобр-е f ( x ) = x − λF ( x ) и покажем, что ∃λ , что f
уд-т принципу сжим-ся отобр-й.
0 < 1 − λk2 ≤ f ′( x) = 1 − λF ′( x) ≤ 1 − λk1
0 < λ < 1 , f ↑⇒ f (a ) ≤ f ( x) ≤ f (b) ,
k2
f (a ) = a − λF ( a) ≥ a, f (b) = b − λF ( x) ≤ b, a ≤ f ( x) ≤ b ⇒
⇒ f : [ a, b] →[ a, b] . Покажем, что ∃λ , такое, что f сжим-е.
Оценим | f ′( x ) |< 1, | 1 − λF ( x) |< 1,−1 < 1 − λF ′( x ) < 1,

− 1 < 1 − λ k 2 < 1 − λ F ′( x) < 1 − λ k1 < 1, λ > 0, λ < 2 Нашлось такое

k2
λ , что f(x)=x имеет ед-е реш-е x*. x * − λF ( x* ) = x* , λF ( x* ) − 0,
F ( x * ) = 0 . ЧТД,
Применение принципа сжим. отобр-й к решению линейных
алг-х систем.
Рассм. сист. (1) x = Ax + b; x, b ∈ R ; A = ( aij ) i , j =1 ; X = Q = R .
n n n

Введем отображ-е f ( x) = Ax + b Проверим усл-е сжатия: 1)

X = R∞n ,|| x ||∞ = max | xk | .
1≤ x ≤ n
|| f ( x) − f ( y ) || ∞ =|| Ax + b − Ay − b || ∞ =|| A( x − y ) || ∞ =
 n
= max | [ A( x − y )] k |= max | ∑ a kj ( x j − y j ) |≤
k k j =1
n
≤ max ∑ | a kj || x j − y j |≤ max ∑ | a kj | ⋅ || x − y ||∞ ; ⇒ q = max
k
∑| a kj |
k k j
j j =1
n
(2). 2) X = R1n , || x ||1 = ∑| xk | , || f ( x ) − f ( y ) ||1 =|| A( x − y ) ||1 =
k =1
n n
= ∑ ∑a kj ( x j − y j ) ≤ ∑∑| a kj || x j − y j |=
k =1 j =1 k j

= ∑∑ | a kj || x j − y j |≤ max ∑ | a kj | ∑ | x j − y j | =
j
j k k j

= max ∑ | a kj | || x − y ||1 , q = max ∑ | a kj | (3). 3)

j j
k k
1
 n 2
X = R ,|| x ||2 =  ∑ | xk |2  . || f ( x) − f ( y ) || 2 =|| A( x − y ) || 2 =
n
2
 k =1 
1 1
 2
2   
2 2
 ≤  
n
= ∑∑a kj ( x j − y j ) ∑ ∑| a kj || x j − y j |=  ≤
  
 k j =1  
  k  j  
1 1
 2  2
2
Нер-во Коши-Буняковского: ∑| x j y j | ≤  ∑| x j |2   ∑| y j | 
⋅ 
j  j   j 
1
  1
2 
1 
2 2

  2  
2
2   
≤ ∑ ∑ kj
| a |  ∑ j
  | x − y j | 
   =
k  j     

 
j
 
1 1
 2  2
 ∑∑
= | a kj | 2 
 || x − y || 2 , q = 
 ∑∑| a kj | 2  (4).
 k j   k j 
Теорема. Если константа q<1, где q вычисляется по одной из ф-
л (2),(3),(4), то система (1) имеет единств-е реш-е х*, кот.
x * = lim xl , xl = Axl −1 + b, l = 1,2... начиная с любого вектора
l →∞

x0 ∈ R n , то можно решать методом посл-х приближений.

Решение интегральных уравнений Фредгольма.
Интегр-м ур-м Фредгольма 2го рода н-ся ур-е вида
b
x(t ) = λ∫ K (t , s ) x( s )ds + f (t ) (1), здесь λ ∈ C , ядро K(t,s) и f(t) –
a
заданные ф-ции, t , s ∈[a, b] , x(t) – неизвестная ф-ция.
1. Пусть X = Q = C[ a ,b ] , f (t ) ∈C[ a ,b ] и ядро K(t,s) – непрер. ф-
ция по совокупн-ти переменных
 b
F ( x ) = λ ∫ K (t , s ) x ( s )ds + f (t ), F : C[ a ,b ] → C[ a ,b ] 1е усл-е
a
выполн-ся. Замкнутость эквив-на полноте пр-ва. Проверим усл-е
сжатия. || F ( x) − F ( y ) ||C = max
t
| ( Fx )(t ) − ( Fy )(t ) |=
b
= max | λ ∫ K (t , s )[ x( s ) − y ( s )]ds |≤
t
a
b
≤ max | λ | ∫ | K (t , s ) | max | x( s ) − y ( s ) | ds =
t S
a
b b
= max | λ | ∫ | K (t , s ) | ds⋅ || x − y ||C ,.q = max | λ | ∫ | K (t , s ) | ds < 1 -(2).
t a ≤t ≤b
a a
Т.о. ур-е Фредгольма при малых λ однозначно разрешимо.
1
b 2
2. Пусть X = L2[ a ,b ] , || x || L2 =  ∫| x (t ) | 2 dt  . Пусть
 
a 
bb
f (t ) ∈L[ a ,b ] , K (t , s ) ∈L2[ a ,b ]*[ a ,b ] и B 2 = ∫∫ | K (t , s ) |2 dtds < ∞ .
aa
F : L2[ a ,b ] → L2[ a ,b ] ??? . Если x (t ) ∈L2[ a ,b ] , то
b
y (t ) = ∫ K (t , s ) x( s ) ds ∈ L2[ a ,b ] . Можно показать, что y(t)
a
измерима (как интеграл от измер-й). Надо показать, что она
интегрир-ма с квадратом.
1
1
b 2 b b 2
2
 ∫| y (t ) | 2 dt  =  ∫ ∫ K (t , s ) x ( s ) ds dt  ≤
  a a 
a   
1
bb  b  2
≤  ∫  ∫ | K (t , s ) | 2 ds  ∫ | x( s ) | 2 ds  dt  = B || x || L2 < ∞ Получим усл-е
 
aa  a  
b
сжатия. || F ( x) − F ( y ) || L2 =| λ | ∫| F ( x)( t ) − F ( y )( t ) | dt =
2 2

a
b b 2

=| λ | ∫ ∫ K (t , s )[ x( s ) − y ( s )] ds dt ≤
a a
 b b b
≤| λ | ∫ ∫ | K (t , s) | 2 ds ∫ | x( s) − y ( s) | 2 ds dt = B 2 || x − y || 2L2
a a
a   
|| x − y||
bb
q =| λ | ∫∫ | K (t , s ) |2 dtds < 1 -(3)
aa
Теорема. Если q<1, где q – вычисл-ся по одной из ф-л (2) или
(3), то ур-е (1) имеет единств-е реш-е. Это реш-е м.б. получено
мет. посл. приближений.
b
xn+1 (t ) = λ∫ K (t , s ) xn ( s )ds + f (t ), n = 0,1,... . Начиная с
a
∀x0 (t ) ∈C[ a ,b ] усл-е (2), либо с ∀x0 (t ) ∈L2[ a ,b ] усл-е (3).
Решение интегральных уравнений Вольтера.
b
x(t ) = λ∫ K (t , s ) x( s ) ds + f (t ) (1). Ур-е вольтера – частный
a
случай ур-я Фредгольма. Покажем, что ур-е Вольтера разрешимо
при любых знач-х λ . K(t,s), f(t) – непрер., t , s ∈[a, b] .
− k |λ|( t −a )
∃k > 0 :| K (t , s ) |≤ k || x ||* = max e | x(t ) | . Очевидно, что
t
e −k |λ|(t −a ) || x ||C ≤|| x ||* ≤|| x ||C ⇒ нормы эквив-ны. Обозначим
*
C[ a ,b ] пр-во непрер. ф-ций с нормой || x || *. Рассм.
b
F ( x )( t ) = λ∫ K (t , s ) x( s ) ds + f (t ) Можно показать, что
a
F :C *
[ a ,b ] → C[*a ,b ] . Проверим усл-е сжатия: || F ( x ) − F ( y ) || =
b
−k |λ|( t −a )
= max e ⋅ | λ | ∫ K (t , s )[ x( s ) − y ( s )]ds ≤
t
a
b
≤ max e −k |λ|( t −a ) | λ | ∫ | K (t , s) | ⋅ e k |λ|( S −a ) e −k |λ|( S −a ) | x( s ) − y ( s ) | ds
t
a
t
≤ max e −k |λ|( t −a ) | λ | ∫ ke −k |λ|( S −a ) ds || x − y ||* =
t
a
−k |λ|( t −a ) 1
= max e k |λ| e k |λ|( S −a ) | ta ⋅ || x − y || * =
t k |λ|
= max e − k |λ |(t −a ) (e k |λ|(t −a ) − 1) || x − y ||* =
t

= max(1 − e − k |λ |(t − a ) ) || x − y ||* = (1 − e − k |λ |(b − a ) ) || x − y ||*

t
q = 1 − e −k |λ|( b −a ) <1 Поскольку нер-во вып-ся вседа, то ур-е
Вольтера всегда разрешимл и его м. решать методом посл.
приближений.

8. ГП. Пр. Н-во К-Б-Ш. Непрер-ть скал. произвед-я.

Т.Пифагора. Ортогональность.
Пусть Н-ЛП. Н н-ся предгильбертовым или пр-вом со скал-м
произвед-м, если ∀x, y ∈H определено число (x,y)
называемое скал-м произв-м так, что выполнены аксиомы: 1.
( x, y ) ≥ 0 ( x, y ) = 0 ⇔ x = 0 2. ( x, y ) =( y , x ) 3. (αx, y ) = α( x, y )
4. ( x + y , z ) = ( x, z ) + ( y , z ) . Замечание. Из (2) => что
( x,αy ) =α( x, y )
Скалярное произвед-е порождает норму по ф-ле || x || = ( x, x )
Первые аксиомы очевидны, нер-во треуг-ка следует из Нер-ва
Шварца: | ( x, y ) |≤|| x || ⋅ || y || Д-во:
∀λ ∈C , ( x + λy , x + λy ) ≥ 0, ( x, x ) + λ( y , y ) + λ2 ( x, y ) +
( x, y ) ( y , x)
+ | λ | 2 ( y , y ) ≥ 0. Пусть y ≠ 0 и λ = − 2
=− ,
|| y || || y || 2
| ( x, y ) | 2 | ( x, y ) | 2 | ( x, y ) | 2
|| x || 2 − − + || y || 2 ≥ 0 ,
|| y || 2 || y ||2 || y || 4
|| x || 2 || y || 2 − | ( x, y ) |2 ≥ 0 ⇒ Нер-во Шварца. Проверим нер-во
треуг-ка:
|| x + y || 2 = ( x + y, x + y ) = ( x, x) + ( x, y ) + ( y , x) + ( y, y ) ≤ НШ ≤
≤|| x || 2 +2 || x || ⋅ || y || + || y || 2 = = (|| x || + || y ||) 2 ⇒|| x + y ||≤|| x || + || y ||
Предгильбертово пр-во полное, относительно нормы,
порожденной скал. произвед-м н-ся гильбертовым.
Утверждение. Скал-е произвед-е есть непрер-я ф-ция своих
аргументов. Д-во:
f ( x, y ) = ( x, y ), x n → x 0 , y n → y 0 , | f ( x n , y n ) − f ( x 0 , y 0 ) |=
=| ( x n , y n ) − ( x 0 , y 0 ) + ( x 0 , y n ) − ( x 0 , y n ) |≤
≤| ( x n − x 0 , y n ) | + | x 0 , y n − y 0 |≤ НШ ≤
≤|| x n − x 0 || ⋅ || y n || + || x 0 || ⋅ || y n − y 0 ||→ 0, n → ∞ ЧТД,
Примеры Гильбертовых пр-в.

R (C ), x = ( x ,..., x ), y = ( y ,..., y ), ( x, y ) = ∑ x
n
n n
1. 2 2 1 n 1 n k yk
k =1
1 1
 n 2  n
n
2
Нер-во Шварца запис. в виде: ∑ xk y k ≤  ∑| xk |2   ∑| yk |2  -
k =1  k =1   k =1 
Нер-во Коши-Буняковского
n n

l 2 , x = {xk }, y = { yk } : ∑| xk | < ∞; ( x, y) = ∑ xk yk . Сх-ть ряда

2
2.
k =1 k =1
1
следует из оценки. | xk ⋅ y k |≤ (| xk |2 + | y k |2 )
2
b
3. L2[ a ,b ] , ( x, y ) = ∫ x(t ) y (t )dt . Опред-е корректно в силу
a
1 1
b
b
2  b 2
нер-ва Шварца, К-Б. ∫ x(t ) y (t )dt ≤  ∫| x(t ) | 2 dt   ∫ | y (t ) | 2 dt 
   
a a  a 
Ортогональность.
Пусть Н-ГП. х н-ся ортогонально y x ⊥ y если ( x, y ) = 0 .
∞
Бесконечная система {ek }k =1 н-ся лин. независимой, если
линейно-независима любая её конечная подсистема.
Бесконечная сист. {ek } н-ся ортогональной, если
(ek , e j ) = 0, k ≠ j и ортонормированной, если

 1, k = j
( ek , e j ) = δ k j = 
 0, k ≠ j
 Утверждение. Ортогональная система линейно независима. Д-
во: С1e1 + ...С n en = 0 умножим скалярно на ek
С k (ek , ek ) = 0 ⇒ C k = 0, ∀k ЧТД,
Теорема Пифагора. Если x ⊥ y , то || x + y || 2 =|| x || 2 + || y || 2 . Д-
во: || x + y || 2 = ( x + y , x + y ) = ( x, x ) + ( y , y ) + ( x, y ) + ( y , x) =
= ( x, x ) + ( y , y ) + 0 =|| x || 2 + || y || 2 ЧТД.

∞
Обобщенная теорема Пифагора. Если {ek }k =1 - ортогональн.
n n
система, то || ∑ ek || = ∑|| ek || Д-во: самостоятельно.
2 2

k =1 k =1
Р-во параллелограмма.
|| x + y || 2 + || x − y || 2 = 2(|| x || 2 + || y || 2 ).( РП ) Д-во: самост-но ЧТД.
ρ
Замечание. Пусть L2[ a ,b ] - пр-во измеримых суммируемых с
b
квадратом с весом ρ = ρ(t ) ф-ций, т.е. ∫ ρ(t ) x (t ) dt < ∞ .
2

a
b
Введем скал-е произвед-е: ( x, y ) = ∫ ρ(t ) x (t ) y (t ) dt , вещ-е.
a
Если применять независ. системе процесс ортогонализации
Шмита, то м. получить многие известные ортонормированные
системы.
Теорема (процесс ортогонализации Шмитта). По люб. незав.
системе {xk } м. построить ортогональную систему {ek } и
ортонормир-ю систему { f k } с помощью ф-л:
n −1
( xn , ek ) e
e1 = x1 ;...; en = xn − ∑ ek , fk = k (без д-ва)
k =1 (ek , ek ) || ek ||
Расстояние от точки до мн-ва. ρ ( x, M ) = inf || x − u || U ∈M
Если ∃u * ∈ M : ρ( x, M ) =|| x − u * ||, то u * н-ся элементом
наилучшего приближения элемента х элементами мн-ва M. В
НП такой эл-т м.б. неединственным. В ГП эт-т наил. приближ-я
опред-ся однозначно.
 9. Расст-е от т. до мн-ва. Т. о расстоянии. Проекция.
Разложение ГП в прямую сумму.
Лемма. М – замкн. мн-во. Если x ∈ M , то ρ( x, M ) = 0 . Если
x ∉ M , то ρ( x, M ) > 0 Д-во: x ∈ M u = x
|| x − u ||= 0 ⇒ ρ( x, M ) = 0. Пусть x ∉ M ПП ρ( x, M ) = 0 . По
1
опр-ю инфинума ∃{u n } ⊂ M : 0 ≤|| x − u n ||< . Устремим n → ∞ .
n
Получим, что x = nlim
→∞
u n ⇒ х – пред-я точка М, а т.к. М – замкнуто,
то x ∈ M - это противоречие.
Теорема. Пусть М – замкнутое выпуклое мн-во в ГП Н и т.
x ∉ M . Тогда ∃.!u * ∈ M : ρ( x, M ) =|| x − u * || . Д-во: Обозначим
ρ( x, M ) = d > 0 . По опр-ю инфинума
1
∃{u n } ⊂ M : d ≤|| x − u n ||< d + (1). Покажем, что посл-ть u n
n
фундам-на. Запишем р-во параллелограмма со сторонами x − u n
и x − u m : || 2 x − u n − u m || + || u n − u m || = 2(|| x − u n || + || x − u m || )
2 2 2 2

un + um 2
|| u n − u m ||2 = 2 || x − u n ||2 +2 || x − u m ||2 −4 || x − ||
2
1 1
|| u n − u m || 2 ≤ (1) ≤ 2( d + ) 2 + 2(d + ) 2 − 4d 2 =
n m
4d 2 4d 2 8d 4 8dN + 4
= + 2 + + 2 ≤ + 2 = 2
< ε N 2ε − 8dN − 4 > 0
n n m m N N N
Такое N сущ-т => u n - фундаментальна. Значит, т.к. ГП – полное,
то ∃ u : u n  n→ u * ∈ M т.к. М – замкнуто. Покажем, что этот эл-т
*
→∞

единственный. ПП ∃u * , u ** :|| x − u * ||= d , || x − u ** ||= d . Запишем р-

во параллелограмма со стор. x − u * , x − u ** :
|| 2 x − u * − u ** || 2 + || u * − u ** || 2 = 2(|| x − u * || 2 + || x − u ** ||2 )
u * + u ** 2
|| u * − u ** || 2 = 2 || x − u * || 2 +2 || x − u ** || 2 −4 || x − || ≤
2
≤ 4d 2 − 4d 2 = 0 ⇒ || u − u ||= 0 ⇒ u = u Такой эл-т единственный.
* ** * **

ЧТД.
 Замечание. Если мн-во М – незамкнутое, то такой эл-т может не
существовать. Если М – невыпукло, то такой эл-т м.б. неединств.
Пусть L ⊂ H -ГП и x ∉ L . Ортогональной проекцией х на L н-
ся элемент - x1 ∈ L такой, что ( x − x1 ) ⊥ L
Расстояние от точки до подпр-ва. Пусть M = L ⊂ H , т.к.
подпр-во L – замкн. выпуклое мн-во, то
∃.!u * ∈ L : ρ( x, L) =|| x − u * ||, x ∈ L
Теорема. Пусть ρ ( x, L) =|| x − u ||, u = PL x - проекция
* *

ортогональная х на подпр-во L. Д-во: Покажем, что

( x − u * , h) = 0, ∀h ∈ L . И это будет означать, что ( x − u * ) ⊥ L .
Пусть λ ∈C ; u * , h ∈ L; u * + h ∈ L; u * − λh ∈ L, ∀λ . Тогда
|| x − (u * − λh) || 2 ≥|| x − u * || возв-м в квадрат
( x − u * + λh, x − u * + λh) ≥ ( x − u * , x − u * ) .
|| x − u * || 2 +λ ( x − u * , h) + λ( h, x − u * )+ | λ |2 || h || 2 ≥|| x − u * || 2 .
( x − u * h) (hx − u * )
λ=− = −
|| h || 2 || h || 2
| ( x − u * , h ) | 2 | ( x − u * , h) | 2 | ( x − u * , h ) | 2
− − + ≥ 0,
|| h || 2 || h || 2 || h || 2
| ( x − u * , h) | 2
2
= 0, ( x − u * , h) = 0, ∀h ∈ L . Мы проверим, что
|| h ||
u * = PL x . ЧТД,
Утверждение. Пусть L натанут L = J (e1 ,..., en ), (ei , e j ) = δij
n
Тогда PL x = ∑( x, ek )ek (2). Д-во: x ∉ L, ρ( x, L) =|| x − u * || . Т.к.
k =1
n
u * ∈ L , то u = ∑α k ek , u = PL x, ( x − u ) ⊥ L. Значит
* * *

k =1
n
( x − u * , e j ) = 0, ∀j = 1, n; ( x, e j ) = (u * , e j ) = (∑ α k e k , e j ) = α j ;
k =1

n
α j = ( x, e j ); u * = ∑ ( x, e j )e j ЧТД.
j =1
Разложение ГП в прямую сумму 2х подпр-в.
Пусть L ⊂ H . Определим мн-во L⊥ = {u ∈ H : ( x, u ) = 0, ∀x ∈ L}
Утверждение. L⊥ - явл-ся подпр-вом, т.е. L⊥ - линейное
многообразие (ЛМ) и замкнуто. Д-во: Покажем, что L⊥ - ЛМ.
 ???
u1 , u 2 ∈ L⊥ ,αu1 + βu 2 ∈ L⊥ , (αu1 + βu 2 , x) = 0, ∀x ∈ L. Покажем, что
L⊥ - замкн. Пусть u 0 -пред-я точка L⊥ . Это значит,
∃u n ∈ L⊥ , u n → u 0 . Т.к.
u n ∈ L⊥ ⇒ (u n , x) = 0, ∀x ∈ L ⇒ n → ∞ ⇒ (u 0 , x) = 0, ∀x ∈ L ⇒ ⇒ u 0 ∈ L⊥
. ЧТД.
Теорема. Справедливо разложение
H = L ⊕ L⊥ , L ⊂ H , L⊥ = {x ∈ H : x ⊥ L} ⇔
∀x ∈ H .∃.! y ∈ L, z ∈ L⊥ : x = y + z (*). Д-во: 1) x ∈ L , подожим, что
y = x, z = 0 ⇒ (*) 2) x ∉ L, ∃.!u * = PL x, y = u * положим, что
z = x − y , z = x − PL x ⊥ L, x = y + x. Покажем единственность. ПП.
⊥
Сущ. 2 представления. x = y1 + z1 , x = y2 + z 2 , yi ∈ L, zi ∈ L .

Вычтем 1е из 2го y1 − y 2 = z1 −⊥ z 2 . Т.к.

∈L ∈L
⊥
L ∩ L = {0}(д − ть) ⇒ y1 − y 2 = z1 − z 2 = 0 ⇒ y1 = y 2 , z1 = z 2 ЧТД.

10. Ряды в НП. Сх-ся ряды. Миним-е св-во коэф-в. НБ. Т. сх-
ти р.Ф. РП. Критерий пол-ты.
∞
Пусть Х – НП, xk ∈ X . Запись ∑xk (1) н-ся рядом.
k =1
Ряд (1) н-ся сходящимся, если сх-ся посл-ть его частичных
n m
сумм. S n = ∑ xk Т.к. S m − S n =
m >n
∑ xk , то справедлива
k =1 k =n +1
Теорема (критерий Коши). Пусть Х – БП, ряд (1) сх-ся т.и т.т.,к.
m
∀ε > 0∃N = N (ε ) > 0; ∀n, m ≥ N : ∑xk < ε (2). Д-во: {S n } -
k =n +1
сх-ся => {S n } - ф.п. => (2) . (1) –сх-ся => (2). Обратно: выполнено
(2)=> {S n } -ф.п., а т.к. Х – БП, то => {S n } -сх-ся => (1) сх-ся ЧТД
∞
Ряд (1) н-ся абс. сх-ся, если сх-ся числовой ряд ∑|| xk ||< ∞
k =1
Теорема Вейштрасса. Пусть Х – БП. Если ряд сх-ся абсолютно,
то он явл-ся сх-ся. Д-во: следует из того, что
m m
|| ∑ xk ||≤ ∑|| xk ||< ε , ∀n, m ≥ N ЧТД.
k =n +1 k =n +1
Пусть {ek } - ортонормир-я система в Х и x ∈ X , X − ГП .
Рядом Фурье элемента х по системе {ek } н-ся ряд
∞
x~ ∑( x, ek )ek (3). Коэффиц-т ck = ( x, ek ) н-ся коэф. Фурье.
k =1
( x , ek )
Если {ek } - ортогональна, но не ортонормир-я, то сk = .
( ek , e k )
В (3) нельзя ставить «=».Если t=0, то нет «=». Т.к. он (ряд) сх-ся
поточечно, но не равномерно. Это связано с тем, что С[ a ,b ] - БП,
но не ГП. В ГП м. поставить «=», если на систему {ek } наложить
усл-я.
Система {ek } н-ся полной, если несущ-т ненулевого эл-та,
ортогонально всем ek т.к. если (ek , h) = 0, ∀k ⇒ h = 0 или
L = J (e1 , e2 ,...) ⇒ L⊥ = {0} ⇒ {ek } - полная система.
n
Т.к. отрезок р.Фурье ∑( x, ek )ek явл-ся ортог-й проекцией на
k =1
n
Ln : ∑( x, ek )ek = PL2 x, L2 = J (e1 ,..., en ) то отр-к р.Фурье
k =1
n n
обладает св-вом: x − ∑ek ck = uinf
∈Ln
|| x − u ||= inf || x − ∑αk ek ||
α
k =1 k =1

св-во минимальности коэф-в Фурье.

n
Посчитаем расстояние d n = ρ ( x,α n ) =|| x − ∑ ck ek || .
k =1
n n
d n2 = ( x − ∑(ck ek ), x − ∑(cm ek )) =
k =1 m =1
n n n n
= ( x, x ) − ∑ c k (e k , x ) − ∑ c m (e m , x ) + ∑∑ c k c m (e k , e m ) =
k =1 m =1 k =1 m =1
 n n n n
=|| x || 2 − ∑ | c k | 2 − ∑ | c m | 2 + ∑ | c k | 2 d n2 =|| x ||2 − ∑ | ck |2 (4). Т.к.
k =1 m =1 k =1 k =1
n
d n ≥ 0 , то спр-во нер-во: ∑| ck |2 ≤|| x ||2 (5). Т.к. ряд с неотрицат.
k =1
членами сх-ся т.и т.т.,к. посл-ть его частичн-х сумм ограничена.
Поэтому из (5)=> что ряд, составленный из квадратов модулей
коэф-в Фурье сх-ся и спр-во нер-во Бесселя.
∞
∑| ck |2 ≤|| x ||2 ( НБ )
k =1
Следствие. Коэффиц. сk → 0, k → ∞ (как общий член сх-ся
∞
ряда). x ~ ∑ c k ek ; c k = ( x , ek )
k =1
Теорема (о сх-ти р.Фурье). Пусть {ek } - полная ортонормир-я
система, тогда р.Фурье для х по {ek } сх-ся, причем к элементу х,
∞
т.е. x = ∑ck ek , ∀x ∈ H (6). Д-во: Восп-ся кр.Коши, покажем, что
k =1
m m
( S n − S m ) → 0,|| S n − S m ||2 = ( S n − S m , S n − S m ) = ( ∑ ck ek , ∑ cl el ) =
k =n +1 l =n +1
m
= ∑∑ ck cl (ek , el ) = ∑ | ck |2 n → 0 как остаток сх-ся ряда.
,m →∞
k l k = n +1
∞
Ряд Ф. сх-ся, т.е. ∃y ∈H y = ∑ck ek ,
k =1
n
( x − y , e n ) = ( x, e n ) − ( y , e n ) = ( x, e n ) − ( ∑ c k e k , e n ) = ( x, e n ) −
k =1
M M
− ( lim
M →∞
∑c k ek , en ) = ( x, en ) − Mlim
→∞
∑ ck (ek , en ) = cn − cn = 0, ∀n .
k =1 k =1

Получаем, что ( x − y, en ) = 0, ∀n ⇒ x − y = 0,
x = y ⇒ Ряд Ф.,
построенный по х сх-ся к х. ЧТД.
Рав-во Парсеваля. Пусть {ek } - полная система, тогда н-во
∞
Бесселя превращ-ся в рав-во Парсеваля ∑| ck |2 =|| x ||2 ( РП ) Д-
k =1

во: Т.к. S n → x ⇒|| S n || →|| x || ;|| S n || = ( S n , S n ) =

2 2 2

n n n n
= (∑ ck ek , ∑ cm em ) = ∑ | ck |2 ⇒ ∑ | ck |2 n→ || x ||2 ЧТД.
→∞
k =1 m=1 k =1 k =1
 Критерий полноты системы {ek } . если (ek , h) = 0, ∀k ⇒ h = 0
⊥
или L = J (e1 ,...), L = {0} ⇒ {ek } − полн . Если {ek } -полная => РП.
Если {ek } -полная => р.Фурье сх-ся.
Теорема. L⊥ = {0} ⇔ когда L = H (если h плотно в Н). Д-во: 1).
Пусть L⊥ = {0}. ПП, что L⊥ ≠ H . Это значит, что ∃.x0 ∈ H , x0 ∉ L .
Разложим в прям. сумму H = L ⊕ L⊥. Это значит сущ-т единств-е
разлож-е эл-та
x0 : x0 = y0 + z 0 , z0 ⊥ L ⇒ z 0 ⊥ L ⊂ L ⇒ ( z0 , y ) = 0, ∀y ∈ L. Возьмем в
∈L ⊥L
кач-ве y = z 0 ⇒ z0 = 0, x0 = y0 ∈ L - противоречие. 2). Док-ть: если
L = H ⇒ L⊥ = {0}, z 0 ∈ L⊥ . Т.к. L = H , ∀y ∈ H , ∃. y n ∈ L, y = nlim
→∞
yn .
( z 0 , y n ) = 0 ⇒ n → ∞ ⇒ ( z0 , y ) = 0, ∀y ∈ H . Положим y = z0 ⇒ z0 = 0 .
Получим, что L⊥ = {0} ⇔ L = H ЧТД.
Система {ek } н-ся полной, …..
!!! если (ek , h) = 0, ∀k ⇒ h = 0
⊥
если L = J (e1 ,...), L = {0} ⇒ {ek } − полн .
если {ek } -полная => РП
если {ek } -полная => р.Фурье сх-ся.
если L⊥ = {0} ⇔ L = H