Académique Documents
Professionnel Documents
Culture Documents
泛函分析中的反例 9787040388909
泛函分析中的反例 9787040388909
本书汇集了泛函分析中的大量反例,主要内容有度量空间、赋范线性
空间、线性算子、弱拓扑和弱 * 拓扑、向量值函数、不动点理论、Hilbert
空间、线性算子的谱。书中对 Banach 空间的同构理论、基、凸性和范数
可微性方面的反例也做了介绍。
本书可供高等学校数学类各专业的本科生、研究生以及教师参考。
图书在版编目(C I P)数据
本书如有缺页、倒页、脱页等质量问题,请到所购图书销售部门联系调换
版权所有 侵权必究
物 料 号 38890-00
1986
1990 10
2013 10
1
A. C. Thompson
, 1979 9 1980 7 ,
.
· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 1
0. .· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 1
1. R1 d {xn }, {yn } ⊂ (R1 , d), limn→∞ xn
limn→∞ yn , limn→∞ (xn + yn ) = limn→∞ xn + limn→∞ yn . · · · · · 4
2
2. R , . 4
3. d1 d2 , d d d1 , d d2 . · · · · · · · 4
4. , . · · · · · · · · · · · · · · · · · 5
5. F1 F2 , x ∈ F1 , y ∈ F2
d(x, y) > d(F1 , F2 ). · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 5
6. C[0, 1] ,
.· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 6
7. , , ; ,
.· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 6
8. , , . · · · · 7
9. E, E ,
.· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 7
10. , r1 r2 B1 B2 ,
r1 > r2 , B1 ⊂ B2 .· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 7
11. , A, {p : d(p, A) 1} = ∪q∈A B[q, 1],
B[q, 1] = {p : d(q, p) 1}. · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 7
12. , {Bn }, ∪∞
n=1 Bn = ∅. · · 8
13. , .· · 8
14. . · · · · · · · · · · · · · · · · · · · · · · · · · 9
15. . · · · · · · · · · · · · · · · · · · · · · · 9
16. .· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 10
· ii ·
· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 21
0. .· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 21
1. , . · · · · · · · · · · · 24
2. A, A + A = 2A. · · · · · · · · · · · · · · · · · · · · · 24
3. A, A + A = 2A. · · · · · · · · · · · · · · · · · 24
4. A T, T (A) . · · · · · · · · 25
5. n ! . · · · · · · · · · · · · · · · · · · · · · · · · · · 25
2
6. R , .· · · · · · · · · · · · · · · · · · · · · · 25
7. R2 , . · · · · · · · · · · · · · · · · · · · · · · 25
· iii ·
· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 43
0. .· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 43
1. .· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 45
2. . · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 46
3. , . · · · · · · 46
P∞
4. l∞ f, f (x) = n=1 βn ξn ,
x = {ξn } ∈ l∞ , {βn } . · · · · · · · · · · · · · · · · · · · · · · · · 46
5. , . · · · 47
6. 1 . · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 48
7. Hahn-Banach . · · · · · · · · · · · · · · · · · 49
8. Banach , . 50
9. Banach .· · · · · · · · · 50
10. f,
S, f (S) . · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 50
11. , . · · · · · · · · · · · · · · · · · · 51
12. .· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 51
13. (X, · X ) (Y, · Y ) f, x1 − x2 X = 1
f (x1 ) − f (x2 )Y = 1, f .· · · · · · · · · · · · · · · · · · · · · 52
14. . · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 53
15. .· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 53
16. " .· · · · · · · · · 54
17. " f, {x : f (x) = 0}
.· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 54
18. , . · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 55
19. , . · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 55
20. , T ∗ . · · · · · · · · · · · · · · · 55
21. Banach .· · · · · · · · · · · · · · · · · · · · · · · 55
·v·
∗
· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 73
0. .· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 73
∗
1. Banach {fn }, f,
f. · · · · · · · · · · · · · · · · · · · 76
2. , . · · · · · · · · 76
3. ∗ . · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 78
4. .· · · · · · · · · · · · · · · · · · · · · · · · 78
2
5. {xn } ⊂ l , {xn } . · · · · · · · · · · · · · · 78
6. . · · · · · · · · · · · · · · · · · · · · · · · · · 79
7. .· · · · · · · · · · · · · · · · · · · · · · · · · · · 79
8. .· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 80
9. Banach X Y
{Tn }, X G x, {T x} , {Tn }
T ∈ L(X, Y ). · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 81
10. . · · · · · · · · · · · · · · · · · · · · · · · · · 81
11. Banach , .· · · · · · · · · · · · · · · · · · · · · · · 82
· vi ·
· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 309
· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 325
· xviii ·
0. .
.
$ X , τ X , (i) X ∅ # τ ;
(ii) τ # τ ; (iii) τ # τ,
τ X , X τ . (X, τ )
X τ . , τ ,
.
$ τ1 τ2 X . τ1 ⊂ τ2 , τ1 τ2 , τ2
τ1 . X X ∅ , ; X
X , .
$ x X , V ⊂ X. G x ∈ G ⊂ V, V
x . $ A x . x V,
A ∈ A , x ∈ A ⊂ V, A x . X
, X .
$ A (X, τ ) . x ∈ A V, V A
x , V ∩ A = {x}, x A . x
A x , x A . x
A V, x A . x A
, # A , x A . A A
, int A Å . A A A . A
·2· [1.0]
n ! Rn . $ A ⊂ Rn , A ! :
n 12
d(x, y) = |xi − yi |2 , x = {xi }ni=1 , y = {yi }ni=1 ∈ A,
i=1
dA .
$ (X, d) , x0 ∈ X, r ,
B(x0 , r) = {x : x ∈ X, d(x0 , x) < r}
x0 r x0 r .
B[x0 , r] = {x : x ∈ X, d(x0 , x) r}
x0 r .
S(x0 , r) = {x : x ∈ X, d(x0 , r) = r}
x0 r .
$A X , d(x, A) = inf y∈A d(x, y) x A
; d(A, B) = inf x∈A d(x, y) (X, d) A B ;
y∈B
diam A = supx,y∈A d(x, y) A .
$A (X, d) . x ∈ A, rx > 0, B(x, rx ) ⊂ A,
A . τd X , τd X .
τd X d . , (X, d)
, (X, τd ). , {xn } (X, τd )
x, d(xn , x) → 0.
ε > 0, n0 , m, n > n0 d(xm , xn ) < ε, {xn } ⊂
(X, d) Cauchy . (X, d) Cauchy ,
.
$f (X, dX ) (Y, dY ) . x1 , x2 ∈ X,
dY (f (x1 ), f (x2 )) = dX (x1 , x2 ),
f . X Y, X Y ,
X Y .
$ A (X, dX ) , x, y ∈ A, dA (x, y) = dX (x, y),
(A, dA ) , (X, dX ) .
$ (X, dX ) . (Y, dY ), X Y
, Y X . ,
, .
A, A . (X, d)
, d . S ⊂ X (X, d) A ε ,
x ∈ A, y ∈ S, d(x, y) < ε. ε > 0. A ε
, A .
·4· [1.3]
2. R2 , .
$ C [0, 1] Cantor , X = C × C , X
Lebesgue .
A = {(a, b) : (a, b) ∈ C × C, b = 0},
AX . A C × {0}, .
James [143] .
3. d1 d2 , d d d1 , d d2 .
, X d1 d2 , X d3 ,
x, y ∈ X, d3 (x, y) d1 (x, y), d3 (x, y) d2 (x, y). ,
d3 = d1 + d2 . X d, x, y ∈ X,
d(x, y) d1 (x, y), d(x, y) d2 (x, y).
[1.5] ·5·
5. F1 F2 , x ∈ F1 , y ∈ F2
d(x, y) > d(F1 , F2 ).
, F1 F2 , x0 ∈ F1 , y0 ∈ F2
d(x0 , y0 ) = d(F1 , F2 ). , F1 F2 ,
, :
∞
$ l2 n=1 |ξn |2 < +∞ x = {ξn } . x = {ξn }, y =
2
{ηn } ∈ l ,
∞
12
2
d(x, y) = |ξn − ηn | ,
n=1
, F2 . x ∈ F1 , y ∈ F2 , F1 F2 , x = 0, y = xn
( n),
2
1
d(x, y) = > 1 = d(F1 , F2 ),
1+
n
x0 ∈ F1 , y0 ∈ F2 d(x0 , y0 ) = d(F1 , F2 ).
l2 Hilbert , Hilbert [137] 1912
, Hilbert , 1927 ,
[231]
Neumann . .
[212]
Löwig , Rellich [257] Riesz [262] , ,
.
, .
.
$ X ,⎧ m, n ∈ X,
⎨ 1 + 1 , m = n,
d(m, n) = m+n
⎩ 0, m = n.
, d X . X Cauchy {xn }, d ,
n0 , n > n0 xn , {xn } . ,
X .
1
$ Bn = {m : d(n, m) 1 + 2n } = {n, n + 1, · · · }. , Bn
, , Bn+1 ⊂ Bn , n = 1, 2, · · · , ∩∞
n=1 Bn = ∅.
: $ X . Bn = {x : d(xn , x)
εn } X , εn → 0, x ∈ ∩∞
n=1 Bn ( [18],
p.67). εn → 0 .
, Banach , Bn = {x : d(xn , x) εn }
, εn 0, ∩∞
n=1 Bn = ∅ ( [11], p.34).
1 1 1
−
= .
M n 2M
M , {xn } (X, d1 ) x, (X, d1 ) .
.
, .
14. .
$ X , X :
1, x = y,
d(x, y) =
0, x = y.
Cauchy {xn } ⊂ X, n xn , {xn } X
, X .
1
x ∈ X, x 2 x, X
. , X
.
15. .
|m−n|
$ X , d(m, n) = mn , (X, d) .
{n}∞
n=1 (X, d) Cauchy , , (X, d) .
X , , X
{n} . m > n,
(m − n)
f (m) = d(m, n) =
mn
m ,
1
d(m, n) (m > n). (1)
n(n + 1)
· 10 · [1.18]
0 < m < n,
(n − m)
f (m) = d(m, n) =
mn
m ,
1
d(m, n)
(n > m > 0). (2)
n(n − 1)
1 1
(1), (2) m (m = n), d(m, n) n(n+1) . r= n(n+1) ,
n r {n}, {n} .
! . !,
" .
, . 14
15 , .
20. .
$ X [0, 1] , X , X
.
ε > 0, n nε > 1, {0, n1 , · · · , n−1
n , 1} X
1
ε , X . X , xn = 3 (1 + n1 )n ∈
X, n = 1, 2, · · · , {xn } X .
Hausdorff :
( [14], pp.29—30), .
, X , X .
, , .
R2 ,
A = {(ρ, θ) : ρ = 1, θ = 0, 1, 2, · · · }. , ρ = 1, θ (ρ, θ)
A , A .
B = {(ρ, θ) : ρ = 1, θ = 1, 2, · · · }, B A , A B .
. , X .
1, x = y,
d(x, y) =
0, x = y.
, (X, d) , . ,
(X, d) .
Hermann [135] 1981 , X ,
:
a. X .
b. ε > 0, {x ∈ X : d(x) > ε} , d(x) x
X\{x} ,
d(x) = inf{d(x, y) : y ∈ X\{x}}.
26. X Y, X 2 Y 2 X Y .
X Y , X 2 Y 2 ! X Y
2
. , X
1
d((x1 , x2 ), (x3 , x4 )) = [d2 (x1 , x3 ) + d2 (x2 , x4 )] 2 .
Ulam [317] : X 2 Y 2 , X Y
?
Fournier [106]
, . :
√
$ Q , X = Q ⊂ R1 , Y = {p 2 : p ∈ Q} ⊂ R1 . , X Y
R1 , . , X Y , $ f X
Y ,
√ √ √
1 = d(0, 1) = d(f (0), f (1)) = d(p 2, q 2) = 2|p − q|.
√
2 = |p − q|−1 ∈ Q, .
X 2 Y 2 . , X 2 , Y 2 R2 ,
2 2
θ : R → R ,
√ √
θ(x, y) = ((x − y) 2/2, (x + y) 2/2).
, θ R2 R2 . " (p, q) ∈ X 2 , (p−q)/2 (p+q)/2
√ √
, θ(p, q) = ((p − q) 2/2, (p + q) 2/2) ∈ Y 2 , θ(X 2 ) ⊂ Y 2 .
√ √ √ √
, (p 2, q 2) ∈ Y 2 , (p 2, q 2) (p + q, q − p) ∈ X 2 ,
θ(X 2 ) ⊃ Y 2 . , θ(X 2 ) = Y 2 . , g θ X2 , ,
g : X 2 → Y 2 , (p, q) ∈ X 2 , g(p, q) = θ(p, q). , X 2 Y 2
.
Fournier , X Y . %
: X Y , Ulam ?
· 14 · [1.29]
34. .
R1 (0, +∞) , R1 (0, 1) ,
f (x) = x
1−x .
X Y , f X Y , f X
Y . f X,
f .
35. .
R1 (−1, 1) () R1 () , f (x) =
1+x , −1 x < 1.
x x
< x < 0; f (x) = 1−x , 0
38. .
$ X, Y , X Y f , f X
Y .
. , X = (0, 1), Y = (1, +∞), X, Y
1
. f (x) = x, x ∈ X, f X Y , f .
0. .
, (, ,
) ( )
. ,
.
$ X, Y K . T :X→Y ,
x, y ∈ X α, β ∈ K,
T (αx + βy) = αT x + βT y.
T : X → K .
ker T = T −1 {0} = {x : T x = 0}
T : X → Y T .
$ X, Y , X Y ,
X Y , .
$ X , {hα } ⊂ X X Hamel , X
{hα } . , x ∈ X, x
x= tα h α ,
α
m x 1 x 2 M x 1
(i) x ∈ E, T x T x ;
Tx
(ii) T = sup T x = sup T x = sup .
x1 x=1 x∈E x
X∈E X∈E x=0
1. , .
, . ,
. , $ X [0, 1]
.
1 1
M = x(t) : x = 0 , N = y(t) : y =0 ,
2 3
M N X . x( 13 ) = 0, y( 12 ) = 0 , z(t) =
x(t) + y(t) ∈
/ M ∪ N, M ∪ N X .
2. A, A + A = 2A.
, A α, β, (α + β)A ⊂ αA + βA.
, . , R2 ,
X = {(x, 0) : x ∈ R1 }, Y = {(0, y) : y ∈ R1 },
A = X ∪ Y, A + A = R2 , 2A = A, A + A = 2A.
3. A, A + A = 2A.
, A , A + A = 2A. A + A = 2A
A . , $
A = {(x, y) : (x, y) ∈ R2 , x2 + y 2 1}\{(x, y) : (x, y) ∈ R2 , 0 < x 1, y = 0}.
[2.8] · 25 ·
, A + A = 2A, A .
5. n .
, n ! .
. , , n ! .
6. R2 , .
$ B1 B2 (1, 0) (−1, 0) ,C
(0, −1) (0, 1) . A = B1 ∪ B2 ∪ C, A R2
, . , ,
r, A r , .
7. R2 , .
$ A (0, 0) ( ),
A R2 , , t (|t| 1) tA ⊂ A.
A , , iA A .
, C : C, ∅ 0 (
2
), R : .
: C R2 , , .
9. X, X .
$ {hα } X Hamel . , x ∈ X, x
x= tα h α .
α
17. .
, . , $ X , x, y ∈ X,
d(x, y) = |x − y|, (X, d) .
Hamel , Banach X
. , $ H X Hamel , H {hn } ⊂ H,
X0 = span{H\{hn}}, Xn = span{H\{hk : k n + 1}}, n = 1, 2, · · · .
, X = ∪∞
n=0 Xn , X X . , Xn (n
0) ( , ),
$ Xn0 , , ,
X n0 X , X B[x0 , δ] ⊂ X n0 . , X n0
X n0 = X. , Xn0 ⊂ X, Xn0 = X, Xn
, Xn0 . , X Xn0 .
´1
n , 1 | 0 x0 (t)dt|. , x0 ∈ X, ||x0 || = 1
´1
x0 (0) = 0 | 0 x0 (t)dt| < 1, .
23. c0 ∪∞
n=1 l .
n
1
$ ξk = ln(1+k) , k = 1, 2, · · · , x = {ξk } ∈ c0 . n,
∞ 1
k=1 lnn (1+k) , x ∈
/ l , x ∈
/ n
∪∞ n
n=1 l .
, ∪∞
n=1 l ⊂ c0 .
n
.
a0 + a1 t + · · · + an tn ∈ P,
n |aj |
||x||N = aj + ,
j=0 j =N + 1
j
, N . ,
||x + y||N ||x||N + ||y||N , ||αx||N = |α| ||x||N , ||x||N 0.
x N = 0 x(t) ≡ 0. , x(t) ≡ 0, x N = 0. ,
x N = 0,
n
(A) | j=0 aj | = 0,
|aj |
(B) j =N j+1 = 0.
(B) aj = 0 (j = N ), (A) aN = 0, x(t) ≡ 0. ,
· N P .
xn (t) = t , {xn } (P, ·
n
N) tN ,
1
tN − tn N = → 0 (n → ∞).
n+1
, x0 ∈ P, yn = xn − x0 , n = 1, 2, · · · . {xn }
, {xn } , {yn }
. $ M {yn } P , y ∈ M
∞
y= an y n
n=1
, , an 0. M
∞ 1
|an |2 2
y = ,
n=1
n2
P . ,
1
xn − x0 = yn = →0 (n → ∞)
n
, {xn } (P, · ) x0 .
Laugwitz [188] . Laugwitz X
( ),
{xn }, X , {xn } .
27. .
l x = supn |ξn |, x = {ξn } ∈ l, (l, · )
.
∞
f (x) = ξn .
n=1
28. .
. , E ∞
x = {ξn } ,
12
x = |ξn |2 ,
n
E ∞ l2 . E ∞ x1 = (1, 0, 0, · · · ), x2 = (1, 12 , 0,
· · · ), · · · , xn = (1, 12 , · · · , 2n−1
1
, 0, · · · ), · · · , x = (1, 12 , · · · , 2n−1
1
, 21n , · · · ) ∈ l2 ,
[2.31] · 33 ·
∞ 12
1 2
xn − x = → 0 (n → ∞),
2i
i=n
{xn } x. / E ∞ , E ∞ l2 .
x∈
. ,
X f ( 27), M = {x :
x ∈ X, f (x) = 0} X . ,
.
29. .
$ f X ( 27 ),
B = {x : x ∈ X, |f (x)| 1}.
, B X .
B . B b, r,
S(b, r) = {x : x ∈ X, x − b < r} ⊂ B.
a < 1 a ∈ X, b+ra ∈ S(b, r), |f (b+ra)|
1,
(1 + |f (b)|)
|f (a)| . (1)
r
x ∈ X, a= x
2x , x = 0, a < 1, (1)
x 1 + |f (b)|
f .
2 x r
|f (x)| 2(1+|f r(b)|)x , f < +∞, f X %
. , B .
∞
A . x = {ξk } ∈ E ∞ , x = 0, t = k=1 |ξk |,
1
0<ε< t ,
n
|ξk |
n n
ξk k=1
εξk < ∞ 1,
t
k=1 k=1 |ξk |
k=1
εx ∈ A, A .
∞
n
A= x: ξk 1 ,
n=1 k=1
A . A , .
(i)
n A . ,
2
2 2 2
ek = , · · · , , 0, 0, · · ·
= n → 0 (n → ∞),
n n n
k=1
2
= 2, ( n2 , · · · , n2 , 0, · · · ) ∈
n
n, | k=1 n | \ A. , 0 ∈
\ Å.
∞
(ii) x ∈ E A . :
B(x, r) − B(x, r) = B(0, 2r),
B(x, r) = {y : x − y < r}. $ y ∈ B(0, 2r), y < 2r. u = x + y2 , v =
x − y2 , u, v ∈ B(x, r), y = u − v,
y ∈ B(x, r) − B(x, r).
, $ y ∈ B(x, r)
− B(x,
r),
y y
x+ − x− ∈ B(x, r) − B(x, r),
2 2
2 < r, y < 2r, y ∈ B(0, 2r).
y
S1 A , x ∈ S1 .
, S2 ⊂ S1 . , Banach
C[0, 1],
A = {tn : n = 0, 1, 2, · · · },
, M . , $ xn ∈ M xn → x0 (n → ∞),
ˆ 12 ˆ 1
xn (t)dt − xn (t)dt = 1,
1
0 2
max0t1 |xn (t) − x0 (t)| → 0 (n → ∞).
ˆ 12 ˆ 1 ˆ 12 ˆ 1
xn (t)dt − xn (t)dt → x0 (t)dt − x0 (t)dt (n → ∞),
1 1
0 2 0 2
ˆ 1
2
ˆ 1
x0 (t)dt − x0 (t)dt = 1,
1
0 2
x0 ∈ M, M . , x, y ∈ M, α 0, β 0, α + β = 1,
ˆ 12 ˆ 1
[αx(t) + βy(t)]dt − [αx(t) + βy(t)]dt = 1,
1
0 2
αx + βy ∈ M, M .
, x ∈ M, x > 1. " [0, 1] xn (t) :
⎧
⎪ 1 εn
⎪
⎪ 1 + εn , 0t − ,
⎪
⎪ 2 1 + εn
⎪
⎪
⎨ 1 εn 1 εn
xn (t) = , − t + ,
⎪
⎪ 2 1 + ε 2 1 + εn
⎪
⎪
n
⎪
⎪
⎪
⎩ −(1 + εn ),
1
+
εn
t 1,
2 1 + εn
, {εn } εn → 0 (n → ∞). ,
ˆ 12 ˆ 1
xn (t)dt − xn (t)dt = 1.
1
0 2
, xn ∈ M. xn = 1 + εn εn → 0 (n → ∞), M
.
: $ M Hilbert , M
. , x0 ∈ M, x ∈ M,
x = x0 , x0 < x ( [11], pp.215—216).
[2.39] · 37 ·
∞
ξn
f (x) = (−1)n .
n=1
n!
, f c , f ∈ c∗ .
x ∈ c, x = supn |ξn | 1,
∞
1
|f (x)| ,
n=1
n!
∞
1
f . (1)
n=1
n!
[2.44] · 39 ·
, m,
x = (−1, 1, −1, 1 · · · , (−1)m , 0, 0, · · · ),
(−1)m m , x ∈ c x = 1.
m
1
|f (x)| = ,
n=1
n!
m 1
f n=1 n! . m ,
∞
1
f . (2)
n=1
n!
∞ 1
(1), (2) f = n=1 n! .
x ∈ c, x = 1 f (x) = f . , x = {ξn } ∈ c
x 1, n, |ξn | 1. limn→∞ ξn = ξ |ξ| < 1, n
|ξn | < 1,
∞ ∞
ξn 1
|f (x)| = (−1)n
< = f .
n! n!
n=1 n=1
limn→∞ ξn = ξ ξ = 1, n0 , n n0 ξn > 0,
∞ n ξn
n=n0 (−1) n! ,
∞
1
|f (x)| < = f .
n=1
n!
, limn→∞ ξn = ξ ξ = −1, |f (x)| < f .
, x ∈ c, x 1, |f (x)| < f , x ∈ c, x = 1
|f (x)| = f .
44. X x, y ∈ X, x − y 12 ( x + y ) x
x − y
y
.
Dunkl Williams [92] : X , x, y ∈ X, x =
0, y = 0,
1 x y
x− y ( x + y )
− .
(1)
4 x y
· 40 · [2.45]
,
1 x y
x− y ( x + y ) − . (2)
2 x y
, , (2) . , x =
2 2
(x1 , x2 ) ∈ R , x = |x1 | + |x2 |, (R , · ) . x =
(1, ε), y = (1, 0), ε > 0 , (1)
ε
1+ ε
ε 2 .
1+ε
, 1/4 .
(2) , X ?
0. .
, , .
$ X, Y , Tn , T ∈ L(X, Y ), Tn − T → 0 (n →
∞), {Tn } T, T. x ∈ X,
Tn x − T x → 0 (n → ∞), {Tn } T, Tn → T T =
() limn→∞ Tn . x ∈ X, f ∈ X ∗ , f (Tn x) → f (T x),
{Tn } T, Tn → T T = () limn→∞ Tn .
, ; .
$ X, Y , X Y T,
−1
T T , X Y , . T
, X Y . x ∈ X, T x = x ,
X Y .
$ X, Y, Z , T1 ∈ L(X, Y ), T2 ∈ L(Y, Z), T1
T2 T2 T1 :
(T2 T1 )x = T2 (T1 x) (x ∈ X).
, T2 T1 X Z .
:
(i) (T3 T2 )T1 = T3 (T2 T1 ); (αT2 )T1 = α(T2 T1 ); T2 (αT1 ) = α(T2 T1 ),
T1 ∈ L(X, Y ), T2 ∈ L(Y, Z), T3 ∈ L(Z, W ), W .
(ii) T3 (T1 + T2 ) = T3 T1 + T3 T2 , T1 , T2 ∈ L(X, Y ), T3 ∈ L(Y, Z); (T2 +
· 44 · [3.0]
T ∗ T .
:
(i) T T ∗ , T ∗ = T .
(ii) (αT )∗ = αT ∗ , α .
(iii) (T1 + T2 )∗ = T1∗ + T2∗ , T1 , T2 ∈ L(X, Y ).
(iv) (T1 T2 )∗ = T2∗ T1∗ , T1 ∈ L(X, Y ), T2 ∈ L(Y, Z), Z
.
(v) $ T ∈ L(X, Y ) , T ∗ , (T ∗ )−1 =
(T −1 )∗ .
(vi) T T ∗ (T ∗ )∗ , T ∗∗ , T ∗∗ = T .
X X ∗∗ , T ∗∗ T .
,
.
$ X, Y , T X Y , T
D(T ) X , T X Y .
+ f (x) x, f , x, f ≡ f (x).
$ X, Y , T X Y , D(T ∗ ) Y ∗
x∗ ∈ X ∗ ,
T x, y ∗ = x, x∗ , x ∈ D(T )
[3.1] · 45 ·
1. .
$ x = {ξk } ∈ E ∞ , E ∞ x = supk |ξk |, (E ∞ , · )
.
∞
f (x) = |ξk |k ,
k=1
∞
, f E . f , x = (ξ1 , · · · , ξn , 0,
∞
0, · · · ) ∈ E , ξk = 1, 1 k n, x = 1
n
|f (x)| = |ξk |k = n.
k=1
n , f .
f , f
. f .
· 46 · [3.4]
2. .
f , a, {x :
f (x) a} . −f , f .
( [326], p.83). ,
. , E ∞ x = supn |ξn |, {ξn } ∈ E ∞ .
f (x) = |ξn |,
n
f x = 0 .
3. , .
$ X, Y , T :X →Y , T (x + y) =
T x + T y; T , T (ax) = aT x.
, T X Y , , T ,
, ( [14], p.72). ,
, , . , $
C[0, 1] Banach , T : C[0, 1] → C[0, 1]
T x = x(t).
, T . , T .
∞
4. l∞ f, f (x) = n=1 βn ξn , x =
∞
{ξn } ∈ l , {βn } .
Banach c
f (x) = lim ξn , x = {ξn } ∈ c.
n→∞
Hahn-Banach , f l∞ , f,
|f (x)| x l∞ . f
∞
f (x) = βn ξn
n=1
, x = {ξn } ∈ l∞ , {βn } . , en = (0, · · · , 0, 1,
0, · · · ), # f , f (en ) = 0. , f (en ) = βn , βn = 0, n =
[3.5] · 47 ·
1, 2, · · · . x = {ξn } ∈ l∞ ,
∞
f (x) = βn ξn = 0.
n=1
, e = (1, 1, · · · ) ∈ l∞ , f (e) = 1.
Banach l f
∞
f (x) = αn ξn
n=1
, x = {ξn } ∈ l, {αn } ∈ l∞ ( [11], pp.111—112).
∞
Banach l f
∞
f (x) = βn ξn
n=1
, x = {ξn } ∈ l∞ , {βn } .
5. , .
x = (ξ1 , ξ2 ) x = |ξ1 | + |ξ2 | Banach
X. G X (ξ1 , 0) . G
f:
f (x) = ξ1 (x ∈ G).
x0 , xi
n
x0 = ri xi ,
i=1
xi − x0 xi − x0 (1 i n) . Kakutani [162] : Banach
X , X . Kantorovic
[51]
Bohnenblust .
Hahn-Banach , .
$ X, Y , p, q X, Y , ,
x, y ∈ X, p(x + y) p(x) + p(y), α 0 x ∈ X,
p(αx) = αp(x). M, N X, Y , f (x, y) M × N
,
f (αx + βy, z) = αf (x, z) + βf (y, z),
f (x, αy + βz) = αf (x, y) + βf (x, z),
f (x, y) p(x)q(y), X × Y F,
F (x, y) p(x)q(y),
(x, y) ∈ M × N , F (x, y) = f (x, y)?
Hayden [129] , Hilbert , F
; Banach , .
6. 1 .
$ M X , P X M , P
2
, P = P. , X Hilbert ,
1 ( [326], p.194). Banach , . , $
P Banach c c0 , e = (1, 1, · · · ) ∈ c, y = P e,
y = (η1 , η2 , · · · ) ∈ c0 , x = e − 2en , en = (0, · · · , 0, 1, 0, · · · ). P
, P 2 = P,
P x = (η1 , η2 , · · · , ηn−1 , ηn − 2, ηn+1 , · · · ).
P x |ηn − 2| → 2, P 2.
Sobczyk [298] , B Banach l∞ , B
c0 , B c0 2 .
[218]
Mcwilliams , B l∞ c , B c
3 .
[328]
William Sobczyk : $ X Banach , Y X
, T0 : Y → c0 λ , T0
T : X → c0 , T 2λ.
[3.7] · 49 ·
.
Wilansky [325] Goldberg [121] .
T Banach X X , T N =
{x : x ∈ X, T x = 0} X , T
T ( [120], pp.99—100). f
, f , .
, B X × X . $ pn → p (n → ∞),
ˆ 1
|pn (t) − p(t)|dt → 0 (n → ∞),
0
ˆ 1
|B(pn , q) − B(p, q)| |pn (t) − p(t)||q(t)|dt
0
ˆ 1
M |pn (t) − p(t)|dt → 0 (n → ∞),
0
B p . , B q .
p(t) = q(t) = 0, pn (t) = qn (t) = ntn ,
ˆ 1
n2
|B(pn , qn ) − B(p, q)| = n2 t2n dt = → ∞ (n → ∞),
0 2n + 1
B .
12. .
Mazur Ulam [217] :
f , x → f (x) − f (0) . :
?
Baker [36] , X, Y , Y , f :
X→Y
f (x) − f (y) = x − y (x, y ∈ X),
sa + tb = s a + t b .
, , $ 0 s t,
sa + tb s a + t b .
,
sa + tb = t(a + b) − (t − s)a
|t a + b − (t − s) a |
=s a +t b .
, sa + tb = s a + t b .
Y , a, b ∈ Y, a b , a = b =
1
1, a + b = a + b . $ f R Y :
xa, x 1,
f (x) =
a + (x − 1)b, x > 1.
f , . , x 1, y 1,
f (x) − f (y) = xa − ya = |x − y|.
x 1, y > 1,
f (x) − f (y) = xa − a − (y − 1)b
= (1 − x)a + (y − 1)b
= |x − y|.
x > 1, y 1 x > 1, y > 1,
f (x) − f (y) = |x − y|.
,
⎧
⎨ ax, x 1,
x → f (x) − f (0) =
⎩ a + (x − 1)b, x > 1,
.
14. .
$ X, Y , T : X → Y ,
x, y ∈ X α,
Tx − Ty = x − y , T (αx) = αT x.
[67]
Chernoff Waterhouse : T ? Marsden [214]
, Y , , T , T
. , T . Araker [29] .
2 1
R R ⎧f :
⎪
⎨ y, 0 y x x y 0,
⎪
f (x, y) = x, 0 x y y x 0,
⎪
⎪
⎩ 0, .
: (i) f . (ii) f , f (tx, ty) = tf (x, y). (ii)
x, y, u, v ∈ R1 ,
|f (x, y) − f (u, v)| (x − u)2 + (y − v)2 .
$ X = R2 X , Y = R3 Y
(x, y, z) = max{ x2 + y 2 , |z|},
Y . X Y T :
T (x, y) = (x, y, f (x, y)).
(i), (ii), (iii) , T .
15. .
x ∈ L2 [0, 1], Ax(t) = tx(t),
ˆ 1
Bx(t) = tsx(s)ds.
0
· 54 · [3.17]
x = x 1 + x 2,
Y .
∞
$ X = (l, x = n=1 |ξn |), Y = (l, x = supn |ξn |), Y
. T x = x, T X Y .
−1
, T ( 18).
23. , .
⎛ ⎞
2 1 0 0 ···
⎜ ⎟
⎜0 2 1 0 ···⎟
A=⎜
⎜0 0 2 1 ···⎟,
⎟
⎝ ⎠
..................
[3.25] · 57 ·
⎛1 ⎞
1 1 1
− − ···
⎜2 8 4 16 ⎟
⎜ ⎟
⎜ 1
1 1 ⎟
⎜0 − · · · ⎟
A−1 ⎜
=⎜ 2
4 8 ⎟
⎟
⎜ 1 1 ⎟
⎜0 0 − · · · ⎟
⎝ 2 4 ⎠
...........................
A . , x = {(−2)n }, Ax = 0, y = Ax (
y = 0) , A .
, f g R1 R1 . ,
⎧
⎨ x2
0,
, x=
z = g[f (x)] = (1 + x2 )
⎩
1, x=0
, (0, 0) , (0, 0) # .
, f c .
∞
E f ◦ T . , f ◦ T , f ◦ T
( [326], p.197). f ◦T , x = (0, 0, · · · ), xn =
( n1 , · · · , n1 , 0, 0, · · · ) ∈ E ∞ , xn − x = 1
n → 0 (n → ∞); (f ◦ T )(x) = 0,
T xn = ( n1 , n2 , · · · , n , 1, 0, · · · ),
n−1
(f ◦ T )(xn ) = f (T xn ) = 1, n = 1, 2, · · · ,
lim (f ◦ T )(xn ) = (f ◦ T )(x).
n→∞
30. .
, .
$ X = Y = l∞ , Banach l∞ lim(x) Banach
, :
(i) lim(αx + βy) = α lim(x) + β lim(y),
(ii) αn = 1, n = 1, 2, · · · , lim({αn }) = 1,
(iii) αn 0, n = 1, 2, · · · , lim({αn }) 0,
(iv) lim({αn+1 }) = lim({αn }).
, Banach (l∞ )∗ Banach ( [37], p.34).
$ lim (l∞ )∗ Banach , T1 ({αn }) = {βn }, β1 =
n n−1
lim{ k=1 αk }, βn = k=1 αk , n > 1; T2 ({αn }) = {γn }, γ1 = 0, γn =
−βn , n > 1.
m
∞ ∞
D(T1 ) = D(T2 ) = {αn } : {αn } ∈ l αk ∈l .
k=1
, T1 T2 . , n
(T1 + T2 )({αn }) = {δn }, δ1 = lim αk , δn = 0, n > 1.
k=1
· 60 · [3.33]
32. .
33. .
.
$ X Y [0, 1] .
x ∈ X = Y,
x X = max |x(t)|, x Y = max |x(t)| + max |x (t)|,
0t1 0t1 0t1
X Y . $ T x(t) = x (t), x ∈ X. , M,
x ∈ X,
Tx Y = max |x (t)| + max |x (t)| M x X.
0t1 0t1
[3.35] · 61 ·
Y .
$ X Banach , H = {hα } X Hamel .
H 1. x ∈ X, x
x= ai h i ,
i
hi ∈ H, ai , . X
x 1= |ai |,
i
Y. , Y . , $ {yn } H
,
n
sn = k −2 yk ,
k=1
x 1 = |ak |,
k
*, T −1 Y X . , x ∈ X,
Tx 1 = x 1 = |ak | ak h k ak h k = x ,
k k k
T −1 Y X ( [11], p.70), T −1 (
[11], pp.322—323).
, Y . , X Hamel H
{Hn }, Hn ⊂ Hn+1 (n = 1, 2, · · · ), Hi = Hj (i = j), H = ∪∞
n=1 Hn .
, n, span Hn :
(i) span Hn . , x0 ∈ span Hn , $
x0 = a1 h1 + a2 h2 + · · · + ak hk
, h ∈ Hn+1 , h ∈
/ span Hn . ,
{εm }, $
y m = a1 h 1 + a2 h 2 + · · · + ak h k + ε m h (m = 1, 2, · · · )
, ym ∈
/ span Hn (m = 1, 2, · · · ).
ym − x0 1 = ε m h 1 = εm → 0 (m → ∞).
span Hn .
(ii) span Hn . , z0 ∈ (span Hn ) ,
z 0 = β1 h 1 + β 2 h 2 + · · · + β i h i .
{hk }ik=1 ⊂ span Hn . , h1 , · · · , hi0 ∈
/ span Hn (i0 i),
, $ {xm } ⊂ span Hn
xm → z0 (m → ∞) (1)
i(m) (m) (m)
, Y , , xm = k=i0 +1 ξk hk (i i),
(m)
i0 i
(m)
i0
xm − z0 = |βk | + |ξk − βk | |βk | = 0
k=1 k=i0 +1 k=1
(, , k > i βk = 0). (1) %. , span Hn
.
(i), (ii), span Hn Y , Y =
∪∞
n=1 span Hn .
T D(T )
. ,
Banach , .
40. .
$ X, Y , M X , T M
−1
Y . T T , T D(T ) R(T )
, , D(T ) T M, R(T ) T .
T , :
I R(T ) = Y ( T ∈ I).
II R(T ) = Y, R(T ) = Y ( T ∈ II, ).
III R(T ) = Y.
1. T −1 .
2. T −1 .
3. T −1 .
T ∈ II T ∈ 1, T ∈ II1 . , T 9 . ,
∗ ∗
T T 9 . , (T, T ) 81 . ,
∗ ∗ ∗
T ∈ II1 , T ∈ III3 , (T, T ) ∈ (II1 , III3 ), · · · 1 (T, T ) 81
∗
, X, Y T, (T, T )
# ( [308], [117]). 16 ,
1
· 66 · [3.40]
ξ2
T ∗ (ξ1 , ξ2 , · · · ) = 0, ξ1 , ,··· .
2
y = (η1 , η2 , · · · , ηp , 0,· · · ) ∈ Y,
p
x = η1 − kηk , η2 , · · · , ηp , 0, · · · ∈ M,
k=2
T x = y, R(T ) = Y, T −1 . (II2 , III1 ) , T −1 ,
R(T ∗ ) = X ∗ , (T ∗ )−1 . , (T, T ∗ ) ∈ (I2 , III1 ).
(T, T ∗ ) ∈ (II3 , III1 ) (II1 , I1 ) X, Y M. x = (ξ1 , · · · , ξn , 0, · · · ) ∈
M,
T x = (2ξ2 , · · · , nξn , 0, · · · ).
2
[3.41] · 71 ·
T : T Y T Y .
X, Y T, (T, T) # .
2 7 , (I1 , I1 ), (I3 , I3 ), (II2 , II2 ), (II3 , II3 ), (III1 , III1 ),
(III2 , III2 ) (III3 , III3 ), , T T . ,
X, Y Banach , T ∈ L(X, Y ) , ,
Y = Y , T = T, T T . , '
X = X,
X, Y T, (T, T) # (I2 , II2 ), (I3 , II3 ), (II1 , I1 ), (I2 , II3 ), (I2 , I3 ), (II2 , I3 ),
(III2 , III3 ), (II3 , I3 ) (II2 , II3 ). .
(T, T ) ∈ (I2 , II2 ) $ X, Y Banach , T ∈ L(X,
Y ), T ∈
II2 . X = X, Y = R(T), T = T, T ∈ L(X, Y ), T ∈ I2 . , (T, T) ∈ (I2 , II2 ).
(T, T) ∈ (I3 , II3 ) $ X,
Y Banach , T ∈ L(X, Y ), T ∈ II3 .
$ X = X, Y = R(Y ), T = T, T ∈ L(X, Y ) T ∈ I3 .
(T, T ) ∈ (II1 , I1 ) Banach Y, X Y X = Y.
T x = x, x ∈ X, T ∈ L(X, Y ), T ∈ II1 , T X = Y Y
, T ∈ I1 .
(T, T) ∈ (I2 , I3 ) $ X = Y c0 , x = {ξn }
ξn . , X = Y = c0 . x = {ξn } ∈ X, y = T x,
y = {ηn }, ηk = ξk − 2ξk+1 , k = 1, 2, · · · .
R(T) = Y . , ξk+1 ηk = ξk − 2ξk+1 ,
ξ1 η1 η2 ηk
ξk+1 = k − k + k−1 + · · · + . (1)
2 2 2 2
{ηn } ∈ Y , ε > 0, n0 , n > n0 |ηn | < ε
2.
M = sup1nn0 |ηn |,
ξ1 η1 η2 ηn η
n0 +1 ηk
|ξk+1 | k + k + k−1 + · · · + k−n00 +1 + k−n + · · · +
2 2 2 2 2 0 2
|ξ1 | M n0 ε
k
+ 2n0 −1 k + .
<
2 2 2
ξ1 = 0, k , 2n0 −1 Mn2k < 2 , |ξk+1 | <
0 ε
= ε. , ε
2 + ε
2
: ξ1 = 0 ξk (k = 1, 2, · · · ) (1) , {ξn } ∈ X. ,
R(T ) ⊃ Y . ,
T , R(T ) ⊂ Y . , R(T ) = Y .
(1) , ηk = 0, k = 1, 2, · · · , Tx = 0 x = ξ1 (1, 1 , · · · , 2
1
2k , · · · ), ξ1 . , (T)−1 , T ∈ I3 .
, {ηn } ∈ Y, n0 , k > n0 , ηk = 0. (1)
∗
0. .
∗
, ,
, .
:
$ X K , $ (X, τ ) ,
: (i) (X, τ ) Hausdorff , (ii) X : (a)
(x, y) → x + y (X, τ ) × (X, τ ) → (X, τ ) , (b)
(α, x) → αx (K, τK ) × (X, τ ) → (X, τ ) , , τK K
, (X, τ ) .
, , , .
$ X , A ⊂ X. U, λ > 0,
A ⊂ λU, A .
, A , {xn } ⊂ A, λn → 0 ({λn } ),
λn xn → 0. , ,
.
$ X , {xn } ⊂ X, x ∈ X. f ∈ X ∗ , limn→∞ f (xn )
= f (x), {xn } x, x {xn } ,
xn → x (n → ∞) x = () lim xn .
n→∞
X ∗ {fn } ∗ f ∈ X ∗ , x ∈ X,
· 74 · [4.0]
*, xn ∈ l n
∞
(n)
|ξi | < +∞.
i=1
∞ (n)
n, |ξ
j=i j | → 0 (i → ∞).
(n) ∞
, xn = {ξi }i=1 (n = 1, 2, · · · ) 0,
y = (a1 , a2 , · · · ) = (0, · · · , 0, 1, 0, · · · ) ∈ l∞ ,
1 j " , j
∞
(n) (n)
ai ξi = ξj → 0 (n → ∞).
i=1
, i1 , n1
i1
(n1 ) ε0
|ξi |< .
i=1
5
(n1 ) (n1 ) (n1 )
(ξ1 , ξ2 , · · · , ξi , · · · ) ∈ l, i2 > i1
∞
(n ) ε0
|ξi 1 | < .
i=i +1
5
2
,
i2 ∞
i1 ∞
(n1 ) (n1 ) (n1 ) (n1 ) 3ε0
|ξi |= |ξi |− |ξi |− |ξi |> .
i=i1 +1 i=1 i=1 i=i2 +1
5
i2 (n2 ) (n2 ) (n2 )
i2 , n2 > n1 i=1 |ξi | < ε50 . xn2 = (ξ1 , ξ2 , · · · ) ∈ l,
i3 > i2
∞
(n2 ) ε0
|ξi |< .
i=i3 +1
5
i3
(n2 ) 3ε0
|ξi |> .
i=i2 +1
5
ik ∞
ik+1
(n ) ε0 (n ) ε0 (nk ) 3ε0
|ξi k | < , |ξi k | < , |ξi |> .
i=1
5 i=ik+1 +1
5 i=ik +1
5
· 78 · [4.5]
(n1 )
sgn ξi , i1 i i2 ,
ai = (n )
sgn ξi k , ik < i ik+1 , k = 2, 3, · · · .
(a1 , a2 , · · · , ai , · · · ) ∈ l∞ , k
∞
ik
ik+1 ∞
(nk ) (nk ) (n ) (nk )
ai ξi = ai ξi + ai ξi k + ai ξi
i=1 i=1 i=ik +1 i=ik+1 +1
ik
ik+1 ∞
(nk ) (nk ) (nk )
− |ξi |+ |ξi |− |ξi |
i=1 i=ik +1 i=ik+1 +1
ε0
> .
5
∞ (n) ∞ (nk )
i=1 ai ξi → 0 ( i=1 ai ξi → 0) .
, .
,
Hilbert .
$ X Banach , X , X Schur
. , Banach l Schur .
∗
3. .
, {fn } f, ∗
∗
f. , . , X = c0 , X = l.
fn = (0, · · · , 0, 1, 0, · · · ) ∈ l, n = 1, 2, · · · ,
, c0 , x = {ξn } ∈ c0 .
∗
fn (x) = ξn → 0 (n → ∞), {fn } 0. , {fn }
0, 2 {fn } 0.
6. .
: $ X Y , {Tn } X Y
. {Tn } , .
, . , Banach l (p 1).p
x =
(ξ1 , ξ2 , · · · , ξn , · · · ) ∈ l ,
p
Tn x = xn , n = 1, 2, · · · ,
, xn = (ξn , ξn+1 , · · · ). , Tn lp lp , Tn 1.
x ∈ lp ,
Tn x = xn → 0 (n → ∞),
{Tn } . , en = (0, · · · , 0, 1, 0, · · · ), en = 1
Tn en = (1, 0, 0, · · · ),
Tn Tn en = 1.
, Tn = 1, n = 1, 2, · · · , {Tn } .
7. .
, X Y {Tn }
T, T. , . ,
Banach l2 . x = (ξ1 , ξ2 , · · · ) ∈ l2 ,
Tn x = (0, · · · , 0, ξ1 , ξ2 , · · · ).
2 2
, Tn l l .
{Tn } .
*, l2 f :
∞
f (x) = ξj ηj ,
j=1
· 80 · [4.8]
f = (η1 , · · · , ηn , · · · ) ∈ l2 . # Tn ,
∞
∞
f (Tn x) = ξj−n ηj = ξk ηn+k .
j=n+1 k=1
Cauchy-Schwarz ,
∞
∞
2 2 2
|f (Tn x)| |ξk | |ηm | .
k=1 m=n+1
∞
m=n+1 |ηm |2 ,
∞
lim |ηm |2 = 0,
n→∞
m=n+1
lim |f (Tn x)| = 0.
n→∞
8. .
: $ {Tα } (α ∈ A ) Banach X ,
Y Tα (α ∈ A ) .
x ∈ X,
sup Tα x < +∞,
α∈A
{ Tα } (α ∈ A ) .
. , X
. :
1
X = Y = (E ∞ , x = ( k |ξk |2 ) 2 ), X Y
. X Y Tn :
Tn x = (0, · · · , 0, nξn , 0, · · · ).
, Tn (n = 1, 2, · · · ) , Tn = n.
x = {ξk } ∈ X, x n0 ,
n > n0 , Tn x = n|ξn | = 0; n n0 , Tn x = n|ξn | n0 x . ,
x ∈ X,
sup Tn x < +∞.
n
10. .
, Cauchy ,
, ; ,
. ∗ , X , X
∗ ∗ ∗ ∗
σ(X, X ) X σ(X , X) ; ,
∗ ∗ ∗
X ( X ) ( , )
∗ ∗
. , ( ) ( ) .
, , Banach L[a, b] . .
, :
$ {xn } ⊂ L[a, b], x ∈ L[a, b], {xn } x
(i) supn xn < +∞,
´
(ii) Lebesgue E ⊂ [a, b], limn→∞ E
xn (t)dt .
$ f ∈ (L[a, b])∗ = L∞ [a, b], limn→∞ f (xn ) , y ∈
· 82 · [4.12]
´b
L∞ [a, b], limn→∞ xn (t)y(t)dt . y(t) = χE (t), χE E
a
´
, limn→∞ x
E n (t)dt . { xn } . ,
x ∈ L[a, b], {xn } x.
$ X ∗ Banach X , X ∗ ∗
, ∗ .
n
f (x) = h(T x) = αi fi (x) (x ∈ X),
i=1
n
f= αi fi .
i=1
$ A X . Y V, f −1 (V ) X
, A , λ > 0 A ⊂ λf −1 (V ), f (A) ⊂ λV, .
17. .
, .
, . , . ,
2
Banach l A = {en },
en = (0, · · · , 0, 1, 0, · · · ),
√
en − em = 2 (n = m), A l2 . , {en }
0, 0 ∈
/ A, A .
∗
18. .
$ X = L[0, 1], X ∗ = L∞ [0, 1], C[0, 1] X ∗ ,
. , C[0, 1] X ∗ ∗ ( 16).
$ X . , X , .
, Hilbert .
· 86 · [4.19]
∗ ∗
20. , .
$ X = lp (1 p < +∞), {fn } ⊂ X ∗
1
fn = n p en ,
en = (0, · · · , 0, 1, 0, · · · ).
w∗
0 # A = {fn } ∗ A . ,$
(i) (i)
{xi = (ξ1 , ξ2 , · · · ) : 1 i k}
∞ (i)
X , ε > 0. i, n=1 |ξn |p < +∞,
∞
k p
(i)
|ξn | < +∞.
n=1 i=1
(i) 1
k −p
, n i=1 |ξn | < εn ( , n
k p
|ξn(i) | εp n−1 ,
i=1
∞ k (i)
n=1 ( i=1 |ξn |)p = +∞, ). n,
1
|fn (xi )| = n p |ξn(i) | < ε, i = 1, 2, · · · , k.
∗ w∗
, {fn } . 0 ∈ A .
∗
, 0 # A . , {fn } {fni },
∗
{fni } 0, # , {fni } . {fn }
, .
, . 19 20
.
∗ ∗
21. .
# Kripke [182] .
$ Γ , X = l∞ (Γ ) Γ x
, {γ ∈ Γ : x(γ) = 0} . E(x) = {αk },
E(x) x .
x = sup |x(γ)| = sup |x(αk )|,
γ∈Γ αk ∈E(x)
· X , · , X Banach .
∗
$f X , f ∈ X . Γ T f
, E(x) T f (x) = 0.
, f ∈ X ∗ , f T.
, f , {xn } ⊂ X, xn = 1, n = 1, 2, · · · ,
lim f (xn ) = f .
n→∞
T = ∪∞
n=1 E(xn ), T . E(y) T y 1,
· 88 · [4.22]
∗
25. .
, $ X Banach , X X . X
X , Banach X , X
. , X
X ∗ , ∗
. , . , Banach
∞ ∞ ∗ ∗
l (l ) ( 24). (l∞ )∗
, (l∞ )∗ , .
∗ ∗
26. .
$ X , X ∗ . X ∗ ∗ ,
∗ . , . , X = l∞ ,
X ∗ = (l∞ )∗ ∗ ( 24).
(l∞ )∗ ∗ . , ∗ ,
{fn } ⊂ (l∞ )∗ , f ∈ (l∞ )∗ {fn } {fnk } ∗ .
(l∞ )∗ ∗
( 34), (l∞ )∗
, ( [37], p.134). , l∞ .
Banach ,
,
∗ ∗
27. , .
, . Banach ,
, Banach
X (), (
). , . Lohman
Stiles [207] :
$ X Banach l∞ , X ∗ , X ∗
[4.29] ∗ · 91 ·
U ∗ = U (X ∗ ) = {f ∈ X ∗ : f 1}
∗ .
U ∗ ∗ . ,
fn (x) = ξn , x = {ξn } ∈ l∞ ,
fn l ∞ fn = 1, fn ∈ U ∗ . {fn } ∗ ,
{fn } {fni }, x ∈ l∞ :
x = (ξ1 , ξ2 , · · · , ξn , · · · ),
ξn1 = 1, ξn2 = 2, ξn3 = 1, ξn4 = 2, · · · , ξn = 0, , {fni (x)}
, {fni } ∗ .
X A, A
: ⇒ ; ⇒ .
X , . ,
, A , , .
, X, , X σ(X, X ∗ ) X∗
∗ σ(X ∗ , X) . , σ(X, X ∗ ), Eberlein-Šmulian
, , A ⊂ X , ,
. X ∗ ∗ σ(X ∗ , X), X ∗ ∗
∗ . .
, X , X ∗ . ∗
, X .
∗
29. , .
, X Banach , A X ∗ , x ∈ X,
sup |f (x)| < +∞,
f ∈A
A . , X , X ∗ ∗
, , x = {ξn } ∈ E ∞ ,
x = |ξk |,
k
X . X :
fn (x) = ξn ,
· 92 · [4.32]
30. .
$ X = lp Lp [a, b] (1 < p < +∞). X Banach ,
Kakutani X . , X
.
,
.
∗
31. .
$ X c. X , X ∗ = l ∗ .
X ∗ . , l
, l , l
%.
, X ∗ = l ∗ . , Eberlein-
Šmulian , . ,
∗
.
32. .
X E , Cauchy {xn }⊂
E, {xn } x0 ∈ E. E , Cauchy
∗
{xn } ⊂ E ( f ∈ X , |f (xn ) − f (xm )| → 0 (m, n → ∞)), {xn }
x0 ∈ E. X ∗ ∗ .
, E , E , E , E
. X ∗ E ∗ , E ∗ .
, . ,
.
Banach l B, Cauchy {xn } ⊂ B. l
, {xn } l Cauchy . ,
[4.34] ∗ · 93 ·
{f ∈ X ∗ : f 1} ∗ ∗
. , U ∗ ∗
.
Motel .
Banach
0. .
, ,
, :
$ X ,
x, xn ∈ X,n = 1, 2, · · · .
n
xk − x → 0 (n → ∞),
k=1
∞
k=1 xk x.
∞
k=1 xk ,
∞
' . , ν=1 xnν ' .
∞ ∞
k=1 xk , k=1 xk .
, Banach ;
, .
$ X , {xn } ⊂ X X , x ∈ X,
{αn },
∞
x= αn xn , (1)
n=1
(1) X .
, ; Banach .
$ {xn } X ,
∞
fn (x) = αn x= αn xn ∈ X
n=1
· 96 · [5.0]
∞
X {xn } , x ∈ X, i=1 fi (x)xi
. .
, :
1 $ {xn } X C ,
∞
n=1αn xn {αn } ∞ {λn },
∞
λn αn xn 2C sup |λn | αn xn .
n
n=1 n=1
2 $Y Banach X , Y
: Y c0 .
$ X, Y , {xn }, {yn } X, Y .
T : X → Y, n, T xn = yn , {xn } {yn } .
∞ ∞
, {xn } {yn } : i=1 αi xi i=1 αi yi
.
∞
X {xn } Bessel , n=1 αn xn
∞
n=1 |αn |2 ,
∞
|fn (x)|2 < +∞,
n=1
∞
{fn } {xn } . {xn } Hilbert , n=1 |αn |2 < +∞
∞ ∞
n=1 αn xn , {αn }, n=1 |αn |2 < +∞, (
) x ∈ X fn (x) = αn .
X {xn } . {αn },
n ∞
supn i=1 αi xi < +∞ n=1 αn xn .
X {xn } , f ∈ X ∗ ,
Pn (f ) = sup{f (x) : x ∈ span{xn+1 , xn+2 , · · · }, x 1} → 0 (n → ∞).
3 {xn } Banach X , {fn } X ∗
.
4 X {xn } Banach , X {xn }
, .
5 $ X Banach , X X ∗∗
.
, , .
, [290].
x = (1, 12 , · · · ), x ∈ c0
ek
n
1 1
x − =
0, · · · , 0, , ,···
k (n + 1) (n + 2)
k=1
1
= → 0 (n → ∞),
(n + 1)
∞ ek
k=1 k x. ,
∞ ∞
ek 1
= = +∞.
k k
k=1 k=1
2. .
E ∞
x = sup |ξn |,
n
∞ ek ∞ ek
x = {ξn } ∈ E ∞ . k=1 k2 , ek = 1. k=1 k2
. , ,
n
ek 1 1
= 1, 2 , · · · , 2 , 0, · · ·
k2 2 n
k=1
E ∞ .
, , .
, . ,
, .
3. Banach .
∞
$ n=1 an , # Riemann # , #
∞
, n=1 an .
4. Banach .
∞
X n=1 xn , f ∈
∗
X ,
∞
|f (xn )| < +∞.
n=1
∞
, n=1 xn C[0, 1] , .
, . , en = (0, · · · , 0, 1,
0, · · · ), f = {ξn } ∈ l,
∞ ∞
|f (en )| = |ξn | < +∞,
n=1 n=1
∞
n=1 en Banach c0 , c0 .
{xn }∞
n=1 E
∞
. , x = {ξi } ∈ E ∞ , $ n > r
ξn = 0.
r
α1 = ξ1 − kξk , α2 = 2ξ2 , ··· , αn = nξn , ··· ,
k=2
r
α2 α3
αk xk = (α1 , 0, · · · ) + (α2 , , 0, · · · ) + (α3 , 0, , 0, · · · )
2 3
k=1
αr
+ · · · + (αr , 0, · · · , 0, , 0, · · · )
r r
α2 αr
= αk , , · · · , , 0, · · ·
2 r
k=1
= (ξ1 , ξ2 , · · · , ξr , 0, · · · ) = x.
[5.15] Banach · 103 ·
&, x ∈ E ∞ ,
r
x= αk xk
k=1
.
, , αk x . , x =
r
k=1 βk xk ,
r
r
β2 βr
βk xk = βk , , · · · , , 0, · · · = (ξ1 , ξ2 , · · · , ξr , 0, · · · ) = x.
2 r
k=1 k=1
r
β2 βr
βk = ξ1 , = ξ2 , ··· , = ξr .
2 r
k=1
r
r
β1 = ξ1 − βk = ξ1 − kξk , β2 = 2ξ2 , ··· , βr = rξr .
k=2 k=2
, α1 = β1 , · · · , αr = βr , αk x .
∞
, {xn } E .
∞
{xn } E Schauder , αk = fk (x)
,
1, k = i,
fk (xi ) =
0, k = i.
, f1 , xn → x1 (n → ∞), f1 (xn ) =
0, f1 (x1 ) = 1, ,
lim f1 (xn ) = f1 (x1 ),
n→∞
f1 .
αn = fn (x), fn X ,
1, n = m,
fn (xm ) =
0, n = m.
∗
, {xn } ⊂ X, X {fn }, {xn } {fn }
. , X ∗ {fn }, X {xn }, {xn } {fn }
∗
. , X = c0 , X = l. f1 = e1 , fn = en −(−1)n−1 e1 , n = 2, 3, · · · .
f = {ηn } ∈ l,
α1 = η1 , α2 = η2 + η1 , α3 = η3 − η1 , ··· , αn = ηn + (−1)n η1 , · · · .
∞
f= αn fn .
n=1
.
, {xn } Banach X , {fn }
∗
X {xn } X . {en } l
. , l .
[5.18] Banach · 105 ·
2 2 12
(x, y) = ( x l2 + y R1 ) ,
(l2 ⊕ R1 , · ) Banach . xn = (en , 0) ∈ l2 ⊕ R1 , fn = (en , 1) ∈
(l2 ⊕ R1 )∗ = l2 ⊕ R1 , {xn } {fn } . x ∈ span{xn }, x
∞
x= αi xi
i=1
span{fn }∞
n=1 span{f1 , · · · , fk } ,
2 1 ∗
{fn } (l ⊕ R ) ( [205], pp.1—2).
, Banach X ,
X ∗ ( [75]).
Eberlein [94] , Banach
.
Banach [37] , Banach .
% : Banach
?
· 106 · [5.20]
n
n
α2 αn
αk xk = αk , , · · · , , 0, · · · ,
2 n
k=1 k=1
n
x = limn→∞ k=1 αk xk ,
∞
αk = 1, α2 = α3 = · · · = αn = · · · = 1,
k=1
. , {xn } c0 .
Bessaga Pelczyński [41] , Krein-Milman-Rutman
B0 . B0 X, X
M, M X .
, (X ∩ Y, · = · X + · Y ) ?
[249]
Pryce , . :
$ X = l2 , Y0 = l, X Y0 Banach . $ {xn } {yn }
X Y0 , xn = yn = en , n = 1, 2, · · · . M {xn }
X . X Y0 Banach
, Hamel & ℵ. # Zorn , Y0 X
T, n, T yn = xn . $ Y = X, x = {ξn } ∈ Y,
y = {ηn } ∈ Y0 . Y
∞
x Y = |ηn |,
n=1
(Y, · Y ) Banach . T Y0 Y ,
{yn } Y0 , {xn } Y . , {xn } (X, · X) ,
(Y, · Y ) .
u ∈ M, u λ1 x1 + · · · + λn xn ,
n 12
n
u X= |λi |2 |λi | = u Y .
i=1 i=1
, M , (Y, · Y ) Cauchy ,
(X, · X) Cauchy . z ∈ X, z
∞
z= λi xi ,
i=1
, · Y .
M Cauchy , · X
, $ y, , z y . , z ∈ X,
y z , , · X · Y ,
2
l l . , , ,
.
∞
" z ∈ X, y z . , {λi }, i=1 λi xi
· X + · Y z, {xn } X ∩ Y .
x = {ξn } ∈ X = c0 . # hi ,
n
hi (x) = en (x),
i=1
∞
x ∈ X, i=1 hi (x) = 0, ∗ (1) .
∗ ∗
, {hn } X .
∗ ∗
26. Banach , Schauder .
, Banach Schauder . , Banach
∗ ∗
Schauder . , Schauder .
[286] ∗
Singer : $ X = c0 , {en } X = l .
f1 = e1 , fn = (−1)n+1 e1 + en , n = 2, 3, · · · . (1)
∗ ∗
, {fn } X . , X , {fn }
∗ ∗∗ ∗
X Schauder . , $ {gn } ⊂ X X {en } ,
∞
h1 (f ) = g1 (f ) + (−1)j gj (f ), f ∈ X ∗, hn = g n , n = 2, 3, · · · . (2)
j=2
{hn } {fn } ⎡ , ⎤
n ∞
n
hi (f )fi = ⎣g1 (f ) + (−1)j gj (f )⎦ e1 + gj (f )[(−1)j+1 e1 + ej ]
i=1 j=2 j=2
⎡ ⎤
n ∞
= gj (f )ej + ⎣ (−1)j gj (f )⎦ e1 (f ∈ X ∗ , n = 1, 2, · · · ).
j=1 j=n+1
∞
f= j=1 gj (f )ej ,
∞
|gj (f )| < +∞, f ∈ X ∗ = l.
j=1
ε > 0 f∈ X ∗ , n0 = n0 (ε, f ), n > n0
n
n
hj (f )fj − gj (f )ej
< ε.
j=1 j=1
· 110 · [5.27]
, f ∈ X ∗ ,
∞
f= hj (f )fj .
j=1
{fn } X ∗ .
{fn } X ∗ ∗ . f ∈ X ∗ ,
∞
f= hj (f )fj .
j=1
, f ∈ X ∗ , ∗
∞
f (x) = hj (f )fj (x), x ∈ X.
j=1
, , , {αn }
∞
αj fj (x) = 0, x ∈ X. (3)
j=1
$ {bn } X = c0 . x = bn , n = 1, 2, · · · , (1)
j+1
fj (b1 ) = (−1) ,
1, j = n,
fj (bn ) = n = 2, 3, · · · ; j = 1, 2, · · · .
0, j = n,
(3), x = bn , n = 1, 2, · · · ,
∞
(−1)j+1 αj = 0, α2 = α3 = · · · = 0.
j=1
αn = 0, n = 1, 2, · · · . , {fn } X ∗ ∗ .
∗ ∗
, {fn } X Schauder . , π X
∗∗ ∗
X . # (2), h1 ∈
/ π(X). , h1 , {fn }
X ∗ ∗ Schauder .
Kalton [166] , X L(μ) ( μ) , X ∗
∗ ∗ Schauder . : X Ba-
∗ ∗ ∗
nach , X Schauder ?
∗
27. Schauder , Schauder .
, Banach Schauder Schauder . ,
∗
Schauder Schauder ( 25); ∗ Schauder
∗ ∞ ∗ ∗
Schauder . , X = l, X = l . , {en } X Schauder
∗
, X .
(i) Banach , Schauder Schauder
. (ii) , Schauder
( 14); Schauder ( 15). (iii) Banach X
[5.29] Banach · 111 ·
, fn ∈ span{fj }∞
j=1 , fn = 1,
ϕ(xn ) |ϕ(xn )(fn )| = |fn (xn )| = 1, n = 1, 2, · · · .
ϕ(xn ) = 1, n = 1, 2, · · · . {fn } span{fn } .
, :
1 Banach ?
2 Banach ?
, {xn } c0 .
Altman [30] Hilbert L2 [−π, π] {fn } {gn } :
|x|α |x|α |x|−α
f0 = 1 , f1 = 1 cos x, f2 = 1 sin x, · · · ,
(2π) 2 π2 π2
|x|α |x|−α
f2m+1 = 1 cos(m + 1)x, f2m+2 = 1 sin(m + 1)x, · · · , m = 0, 1, 2, · · · ;
x2 π2
|x|−α |x|−α |x|α
g0 = 1 , g 1 = 1 cos x, g 2 = 1 sin x, ··· ,
(2π) 2 π2 π2
|x|−α |x|α
g2m+1 = 1 cos(m + 1)x, g2m+2 = 1 sin(m + 1)x, · · · , m = 0, 1, 2, · · · ;
π2 π2
0 < α < 12 , {fn } L2 [−π, π] , Bessel ,
Hilbert .
Gelbaum [112] , {fn } L2 [−π, π] . ,
lim inf fn > 0.
n→∞
ˆ π
2 1
f2m+1 = |x|2α cos2 (2m + 1)xdx,
π −π
ˆ π
2 1
f2m+2 = |x|−2α sin2 (m + 1)xdx,
π −π
ˆ π ˆ
12 1 1 π
f2m+1 |x|2α dx +
= |x|2α cos 2(m + 1)xdx ,
2 −π π 2 −π
ˆ π ˆ
2 1 1 −2α 1 π −2α
f2m+2 = |x| dx − |x| cos 2(m + 1)xdx .
π 2 −π 2 −π
# Riemann-Lebesgue , ,
2π 2α+1 2π 1−2α
1+2α , 1−2α ,
lim inf fn > 0.
n→∞
{fn } L [−π, π] . , Gelbaum [111]
2
∞
{fn } L2 [−π, π] Bessel , y ∈ L2 [−π, π], y = n=0 y, gn fn
∞ 2
n=0 | y, gn | = +∞.
∞
∞
| y, yn | = | y, gn |2 fn 2
n=0 n=0
2
lim inf fn = 0, . , {fn } L2 [−π, π] .
n→∞
−1
p p
= 1− (n1− p − 1) → +∞ (n → ∞),
p
{en } .
0. .
, %. Banach
. Banach #,
[16], . .
Y X ,
Y Yn ε > 0, X Xn Yn Xn
T ,
T T −1 < 1 + ε.
2. , .
, X , X ∗ . X Banach
, . , $J X X ∗∗ , X
∗∗
J X J(X) , J(X) X . X
∗∗ ∗∗∗ ∗∗∗ ∗∗ ∗∗
, J(X) = X , x ∈ X x ∈ X , x ∈ X
∗∗∗ ∗∗∗ ∗∗
x (J(x)) = 0, x (x ) = 0. X , x ∈ X ∗ , J(x∗ ) = x∗∗∗
∗ ∗
3. X, f ∈ X ∗ , f X
.
, X Banach , f ∈ X ∗ , f X
, x ∈ X, x 1, f (x) = f . 1957 , James ,
X Banach , X X
, X . 1964 , James .
, James . , James
Banach . , X, f ∈ X ∗
X . # James.
ln∞ = ({ai }ni=1 : {ai }ni=1 ∞ = max |ai |), n = 1, 2, · · · .
1in
∞ ∞ 1
2
E= ⊕ln∞ = x = (x1 , x2 , · · · ) : xn ∈ ln∞ , x = xn 2∞ < +∞ .
n=1 l2 n=1
∞
, E ∗∗ = ( n=1 ⊕ln∞ )l2 , E . X = span{x = (x1 , x2 ,
···) ∈ E : n,
(n) (n)
xn = (ξ1 , · · · , ξn(n) ), |ξ1 | = · · · = |ξn(n) |},
(n) (n)
Xn = {(ξ1 , · · · , ξn(n) ) : |ξ1 | = · · · = |ξn(n) |} ⊂ X
( ).
(n)
, X E . ei = (0, · · · , 0, 1, 0, · · · , 0)
i
(n)
y1 = (1, · · · , 1, · · · , 1) ∈ Xn ⊂ X,
(n)
y2 = (–1, · · · , –1, 1, –1, · · · , –1) ∈ Xn ⊂ X,
i
(n) (n)
(n) +y2
ln∞
y1
ei = 2 ∈ X, ⊂ X, X = E.
· 126 · [6.5]
X = E. ,
= {x = (x1 , x2 , · · · ) ∈ E : xn = (ξ (n) , · · · , ξn(n) ), |ξ (n) | = · · · = |ξn(n) |},
X 1 1
$ X = span X. X . x ∈ X,
n
x= ai y i ,
i=1
ai .
yi ∈ X, $ x = n yi , yi ∈ X.
ai yi ∈ X,
i=1
# X ,
x = (x1 , x2 , · · · , xn , · · · , xm , · · · ), m > 2 ,
n
(m) (m)
, · · · , ξm ) 2n−1
xm = (ξ1 . ,
1 1 1 1 1
x0 = (1), , , , , ,··· ∈/ X.
2 3 4 5 6
E . X Banach , .
∞
f ∈ X ∗ = E ∗ = ( n=1 ⊕ln )l2 X ,
n
ln = {xi }ni=1 : {xi }ni=1 1 = |xi | .
i=1
7. , .
$ I Banach l2 c0 . c0
2
, I(l ) .
, Banach Y Banach X, Y
. , Y X Y
X .
1 1
Q(n)−1
ω (n) = · x(m) ,
n Q(n) − Q(n − 1)
m=Q(n−1)
$ x = {xi }
(n)
xi = ωi (p(Q(n − 1)) i < p(Q(n)))
∞
. " x ∈ E, x = n=1 ω (n) E ,
∞
n=1 u(ω (n) ) . ,
1 1
Q(n)−1
δ
(n)
u(ω )= · u(x(m) ) ,
n Q(n) − Q(n − 1) n
m=Q(n−1)
∞
, n=1 u(ω (n) ) . , {en } E
.
x ∈ E. , $ {γk } (1) , n = 1, 2, · · · ,
.
1
, θ ∈ (2 p −1 , 1), (1) .
∞
( i=1 ⊕Bi )p wBSP, BSP.
x = {ξi }, x ∈ J. (2) ( s → ∞)
$ n % 12
(m) (m) 2 (m) 2
(ξk2i−1 − ξk2i−1 − ξk2i + ξk2i ) + (ξk2n+1 − ξk2n+1 ) ε,
i=1
(m) (m)
|ξk2n+1 − ξk2n+1 | ε. ξk2n+1 → 0 (n → ∞), ξk2n+1 → 0 (n → ∞). ,
(m) (m) (m)
|ξk2i−1 − ξk2i−1 − ξk2i + ξk2i | ε ξi → 0 (i → ∞) ξk2i → 0 (i → ∞).
, (ξ1 , · · · , ξn , · · · ) 0, ξi →
· 136 · [6.19]
0 (i → ∞).
(2) s → ∞, x − xm ε (m n0 ), x − xm ∈ J,
xm ∈ J, x ∈ J, xm → x; J Banach .
James :
(1) J Banach ; {en } J , en = (0, · · · ,
0, 1, 0, · · · ).
(2) {en } , J .
(3) J .
(4) J ∗ , {en } J ∗ ,
.
(5) J J ∗∗ ; J .
Edgar [96] James . ,
.
18. .
[0, 1] Banach C[0, 1]
, .
, Hilbert . Ba-
nach .
19. .
X Banach lp (1 < p < +∞) 0
x = {ξn } , X . , X .
Bishop Phelps [50] 1961 , Banach .
18 19 , ,
.
Lindenstrauss [192] 1963 , X, Y Banach , X
, L(X, Y ) L(X, Y ) .
[276]
Schachermayer 1983 , L(L, C)
L(L, C) , L = L[0, 1], C = C[0, 1].
Peck , Bishop-Phelps Fréchet .
, L(L, L) L(L, L) ?
.
[6.24] · 137 ·
21. .
22. .
Banach
0. .
Banach ,
, .
$ X , xn , yn ∈ X (n = 1, 2, · · · ). xn = yn = 1
(xn +yn )
limn→∞ 2 = 1 limn→∞ xn − yn = 0, X ,
X , UR.
, X , ε > 0, δ(ε) > 0, x, y ∈
(x+y)
X, x 1, y 1, x − y ε , 2 1 − δ(ε).
$ X , x, xn ∈ X (n = 1, 2, · · · ). x = xn = 1
limn→∞ x + xn = 2 limn→∞ xn − x = 0, X ,
X , LUR.
, X , ε > 0 x ∈ X, x 1,
(x+y)
δ(ε, x) > 0, y ∈ X, y 1, x − y ε , 2 < 1 − δ(ε, x).
X , wLUR, x ∈ X, xn ∈
X (n = 1, 2, · · · ), x = xn = 1, limn→∞ x + xn = 2 , {xn } x.
, X , ε > 0, x ∈ X, x = 1, f ∈
∗ (x+y)
X , f = 1, δ(ε, x, f ) > 0, y ∈ X, y = 1, 2 > 1 − δ(ε, x, f )
, |f (x − y)| < ε.
· 140 · [7.0]
(1, 1, · · · ). f = {fi } ∈ c∗ = l,
n ∞
f (xn ) = fi → fi = f (x0 ) (n → ∞),
i=1 i=1
{xn } x0 . , xn = x0 = 1, xn → x0 .
xn − x0 = (0, · · · , 0, 1, 1, · · · ) = 1,
{xn } x0 .
Kadec [156] , X Banach , X
· 1, X , x0 {xn },
xn 1 → x0 1 , {xn } x0 .
Riesz , $ x, xn ∈ Lp [a, b] (1 < p < +∞). {xn } x,
xn p → x p , {xn } x, xn − x p → 0.
Kakutani , Banach , , Riesz
.
Browder , ,
. Browder Riesz ,
H . X H, xn →
x , xn −→ x , xn − x → 0. Browder , H
, HR : X
HR, X H . Browder , HR
.
n=1
n2
12
|f (x)| m
1
f = sup 2
.
x=0 x n=1
n
x∈E∞
m ,
∞
12
1
f 2
. (2)
n=1
n
∞ 1 12
(1),(2), f =( n=1 n2 ) .
1
x = {ξn } ∈ E ∞ , x = ( n=1 |ξn |2 ) 2 1,
m
m 1 m 12 m 1
1 2 1 2
2
|f (x)| |ξn | < f .
n=1
n2 n=1 n=1
n2
, f f .
Banach
( [326], p.110). Banach ,
.
√ √ √
2 2 2
B(xs , 2 ) xs , 2 . , {B(xs , 2 ) : s ∈ Γ}
.
√
2
l2 (Γ ) E, E B(xs , 2 ) .
√
2
B(xs , 2 ) # E , . E
2
, , E , l (Γ ) .
, l2 (Γ ) Banach .
4. .
Milman Pettis [246] : Banach .
, . , E ∞ .
12
x = |ξn |2 ,
n
x = {ξn } ∈ E ∞ , E ∞ ( 2).
∞
, E , .
Banach Clarkson [71] 1936
Radon-Nikodym . Banach
Banach , Hilbert
.
.
Banach ,
.
$ Ei xi = (xi1 , · · · , xii ) i ,
xi Ei = sup |xij |.
1ji
Ei , Ei Banach . # ,
∞
E=( i=1 ⊕Ei )p Banach . E
. $ E |||x|||, (i) |||x||| x , (ii)
|||x||| . m, M,
m x |||x||| M x (0 < m M < +∞).
, m = 1, x |||x||| M x (1 M < +∞).
i, , Ei ,
xi Ei |||xi |||Ei M xi Ei .
α α
(1 − δ(2α))2 , · · · , (1 − δ(2α))2 , 0, 0 1.
Ei
,
α α
x2 = ,··· , , 0, 0 ,
(1 − δ(2α))2 (1 − δ(2α))2
α −α
x2 = 2
,··· , , 0, 0 ,
(1 − δ(2α)) (1 − δ(2α))2
α
|||x2 − x2 |||Ei x2 − x2 Ei = ,
(1 − δ(2α))2
|||x2 + x2 |||Ei α
1−δ 1 − δ(2α).
2 (1 − δ(2α))2
,
α α
xj = ,··· , , 0, · · · , 0 ,
(1 − δ(2α))j (1 − δ(2α))j
2α
δ δ(2α), |||xj |||Ei 1 (j = 1, 2, · · · , i − 1),
(1 − δ(2α))j
|||xi−1 |||Ei 1.
, 1−δ(2α) < 1, α , i , α
(1−δ(2α))i−1
> 1,
α
|||xi−1 |||Ei xi−1 Ei = > 1.
(1 − δ(2α))i−1
|||xi−1 |||Ei 1 . E
.
# Day [78] .
Milman-Pettis .
Casazza, Bor-Luh Lin Lohman James
, .
x + (y − x) 1 + x − (y − x) 1
mx + ε + M x .
ε → 0 2 x 1 mx + M x . y ∈ Fx , y 1 > Mx − ε,
2 x 1 Mx + mx . (1) .
3K+1
(1) mx = 2 x 1 − Mx . x1 ∈ l0∞ (Γ ), x1 = 1, x1 1 > 4
(, K x x 1 K x ,
x1 ),
3K + 1 K +1
mx1 = 2 x1 −K =
1 − M x1
,
2 2
K +1 K −1
M x 1 − mx 1 K − = .
2 2
3Mx1 +x1 1
x2 ∈ Fx1 , x2 1 4 ( x2 ), x2 ∈ Fx1
Fx2 ⊂ Fx1 , Mx1 Mx2 .
3Mx1 + x1 1 Mx1 + x1 1
mx2 = 2 x2 1 − Mx2 − M x1 = ,
2 2
Mx1 − x1 1 M x 1 − mx 1 K −1
M x 2 − mx 2 M x 1 − mx 2 .
2 2 22
, {xn } ⊂ l0∞ (Γ ), n, xn+1 ∈ Fxn ,
K −1
0 M x n − mx n ,
2n
limn→∞ Mxn = limn→∞ mxn = μ. , y ∈ ∩∞ n=1 Fxn ,
mx n y 1 M xn , n = 1, 2, · · · ,
y 1 = μ.
[7.9] Banach · 149 ·
xi Ei = λ xi Ei , Minkowski ,
∞ p1 ∞ p1
x + x E = xi + xi pEi = ( xi Ei + xi Ei )p
i=1 i=1
∞ p1 ∞
p1
= xi pEi + xi pEi = x E + x E.
i=1 i=1
∞
( i=1 ⊕Ei )p , X = λ X, xi = λxi , Ei
.
$ Ei xi = (xi1 , · · · , xii ) i ,
xi Ei = sup1ji |xij |, Ei Banach . , Ei
, , Ei Banach
, E Banach . 5 ,
E .
Day [79] .
Banach .
{αk }.
u = sup |u(r)|,
r∈Γ
c0 .
, (c0 , · G) ( [296]).
, (c0 , · H. ,
G) x = e1 , xn = e1 + en .
√
xn G → x G = 3, xn −→ x (n → ∞),
{xn } x, (c0 , · G) H.
(n)
(1) , xn 1 → x 1, (2) , i, ξi → ξi .
xn − x 1 → 0, Ixn − Ix 2 → 0,
xn → x, · E LUR.
· E LUR, wLUR, HR, MLUR.
(g) (c0 , · G) MLUR, R; HR, LUR,
UR ( 14). , wUR, wLUR, URwC, URED.
, “+” ,
, “−” , .
X ∗∗ .
Sullivan [304] . : (i) X ∗
∗
, X . (ii) X , X .
, % : X ∗ ,
X ? . Thakare [309] :
l∞ : x = {ξn } ∈ l∞ ,
∞ 1
|ξn |2 2
x = sup |ξn | + ,
n
n=1
2n
· l∞ . l
∞
y = sup ξn ηn : x 1 ,
n=1
x = {ξn }, y = {ηn }, · l , (l∞ , · )
(l, · ) . , (l∞ , · ) , (l, · ) ,
. ( .
Tacon [305] , X Banach , X ∗
. Banach X, X , X ∗
· 158 · [7.25]
:
$ X = R3 , M = {m = (m1 , m2 , 0) : m1 , m2 ∈ R1 }. x = (x1 , x2 , x3 ) ∈ X,
|x3 |, |x1 + m1 |, |x2 + m2 | |x3 |,
x+m =
max{|x1 + m1 |, |x2 + m2 |}, |x1 + m1 | |x2 + m2 | > |x3 |.
1 = inf{ x + m : m ∈ M } = |x3 |. X/M
, x
10 = (0, 0, 1) + M, y10 = (0, 0, −1) + M. , x
x 10 + y10 < 2, X/M
. , , X/M
. X , a = (0, 0, −1), b = (1, 0, 1),
a = b = 1, a + b = 2.
[2]
, M Banach X , X
X/M . , M
M X .
, Bi
xi Bi = max |xij |,
1ji
X Bi Banach . , PX Bi
( 5).
.
: X, Bs , PX Bs
? H ,
.
Banach
0. .
Banach # ,
, . , ,
, .
$ X, Y Banach , X Y T,
−1
T T , X Y , . T
, Banach X Y . x ∈ X,
Tx = x , X Y , .
Banach .
Banach C[0, 1] . Hilbert
l2 .
1 $ X , M X , M ∗ X ∗ /M ⊥ ,
M ⊥ = {f ∈ X ∗ : f (x) = 0, x ∈ M }.
2 $ X Banach , M X , (X/M )∗
⊥
M .
3 $ X Banach , X l .
$ Y Banach X , X Y
, Y X . , X Y X
Z ⊂ X, Y ∩ Z = {0}, X = Y + Z, X = Y ⊕ Z.
X Hilbert , X M X .
· 166 · [8.3]
1. .
X , X .
Uryson 1923 . , Banach Mazur
C[0, 1] . ( [11], pp.224—226).
Bosznay [54] , (X, · ) , X1 , X2 X ,
X = X1 ⊕ X2 , X1 , X2 .
2. , .
$ X Banach c lp (1 p +∞), {ξn } ∈ X,
T (ξ1 , ξ2 , · · · , ξn , · · · ) = (0, ξ1 , ξ2 , · · · , ξn , · · · ),
X , 0
.
, %. ,
.
3. .
$ x = {ξn } ∈ c, limn→∞ ξn = ξ, η1 = ξ, η2 = ξ2 − ξ, · · · , ηn = ξn − ξ (n
2), · · · , y = {ηn } ∈ c0 .
y = T x,
7. X, X × R1 .
Banach : X Banach , X
1
X × R ?
Bessaga, Pelczyński Rolewicz [48] 1961
1 [268]
X, X × R . 1971 , Rolewicz
X, X × R1 . Rolewicz
:
$ Γ {tn } : {tn } ∈ Γ {an } ,
{tn an } ∈ Γ .
[8.8] Banach · 169 ·
$ 1 < 1 + r p 2, a, b ,
2 2
(a + b)2 + r(a − b)2 22− p (|a|p + |b|p ) p .
k = 2 − 2p , t ,
2
h(t) = 2k (1 + |t|p ) p − (1 + t)2 − r(1 − t)2 .
t = 0 h(t) = t2 h( 1t ), h(t) h(|t|), [0, 1]
1
h 0 . , x ∈ [0, 2 ],
g(x) = (2 − p)xk + (p − 1)xk−1 ,
g (x) 0, g [0, 12 ] . [0, 1] t,
p
t
h (t) = 2k+1 g − 2 − 2r,
1 + tp
h [0, 1] .
h (1) = 2(p − 1 − r) 0,
t ∈ [0, 1], h (t) 0, h [0, 1] . h (1) = 0,
h [0, 1] , t ∈ [0, 1], h(t) h(1) = 0. .
$ 1 < p 2 x, y ∈ lp ,
( x + y )p + | x − y |p x + y p
+ x−y p
.
1 < p 2 , l p
. , x, y ∈ lp ,
2a = x + y + x − y , 2b = x + y − x − y ,
Hanner
a + |b| x
p p p
+ y p.
[8.14] Banach · 173 ·
2k 21−k ( x 2
+ y 2 ),
lp (1 < p 2) .
14. .
$ X Banach , X Banach Y ,
X .
, Banach X , Banach
Y ⊃ X, Banach Z T ∈ L(X, Z), T ∈ L(Y, Z), T
T .
, Banach L∞ [0, 1] . , $ Banach
∞ ∞ ∞
Y ⊃ L [0, 1], e L [0, 1] , Y → L [0, 1] g :
g(x) = x e (x ∈ Y ).
· 174 · [8.15]
x, y ∈ M4,
F1(y) − F1 (x) = F1 (y − x) g(y − x) g(y + x0 ) + g(−x0 − x),
−g(−x0 − x) − F1 (x) g(y + x0 ) − F1 (y).
$ X , M X , M ∗ X ∗ /M ⊥ ,
⊥ ∗
M = {f ∈ X : f (x) = 0, x ∈ M }.
, M ⊥ X ∗ . $ f˜ X ∗ /M ⊥ , f˜
X ∗ f , f + M ⊥ . M ϕ:
ϕ(x) = f (x) (x ∈ M ).
˜ ⊥
g ∈ f , g − f ∈ M , x ∈ M, f (x) = g(x); ϕ
, f˜ . , ϕ M .
, g ∈ f˜,
|ϕ(x)| = |g(x)| g x ,
ϕ M Hahn-Banach , g ∈ X ∗ , g =
f˜ = inf g∈f˜ g .
ϕ M , x ∈ M g(x) = ϕ(x). , g ∈ f˜, g f˜ . ,
ϕ M = f˜ .
ϕ .
X ∗ /M ⊥ M ∗ T : ϕ = T (f˜), ϕ f˜ M .
∗ ⊥ ∗
T , T X /M M . T
∗ ∗ ∗ ⊥ ∗
M , M X /M . , ϕ ∈ M , Hahn-Banach
∗ ˜
, f ∈ X , f (x) = g(x) (x ∈ M ). f T ϕ,
T M ∗ . .
l2 l∞ . , 12 L[0, 1]
2 ∗
M l . # , M
∗ ⊥
(L[0, 1]) /M = L∞ [0, 1]/M ⊥ .
(l2 )∗ = l2 , l2 L∞ [0, 1] ; # 15, L∞ [0, 1] l∞
2 ∞
, , l l .
: $ X Banach , Y X . Y
X/Y Hilbert , X Hilbert ?
[100]
Enflo, Lindenstrauss Pisier , .
c0 .
$ A , x ∈ c, Ax ∈ c. $ cA l∞
, x ∈ l∞ , Ax ∈ c. , cA l∞ c
, cA = c. , A . cA = c,
cA . Wilansky , cA = c, cA c
[193]
. Lindenstrauss Wilansky , : A ,
−1 ∞
cA = A (c) ∩ l , cA = c, cA c .
X = l∞ , M = c0 , M X , M X
, X X .
M X , X = M ⊕ N, M X .
, x + y ∈ M ⊕ N → x ∈ M , M
X/N. , X X . , .
, l∞ /c0 l∞ c0 , l∞ .
21. .
X Y, Z , Y, Z , Y ∩Z =
{0}, Y + Z X .
n
$ X x = {ξn } , sn = i=1 ξi .
x = sn ∞ = sup |sn |,
n
X .
Y = {x ∈ X : n ξn = 0},
Z = {x ∈ X : n ξn = 0},
n n
Y, Z X , Y ∩Z = {0}, { (−1) (−1)
n } ∈ X, { n } ∈
/ Y +Z,
Y + Z = X. $ E ∞ X ,
∞ ∞
E ⊂ Y + Z. E X , Y + Z X ,
Y Z .
Rosenthal [269] , Γ , c0 (Γ ) l∞ (Γ ) ,
l∞ (Γ ) Z, c0 (Γ ) Z . Lindenstrauss [197]
, Γ , c0 (Γ ) l∞ (Γ ) .
Zippin [336] c0 {xn }, {xn } {xnk }
c0 .
Y, X Y .
3 Banach X Lipschitz Banach l, X
l?
4 Banach X Lipschitz Y, Y
, X Y ?
Heinrich Mankiewicz , X " , 4
.
5 $ 1 p < +∞, p = 2, lp Lp [0, 1]?
0. .
, ()
. :
1 $ x(t) D ⊂ K X , ,
∗
(i) x(t) t0 ∈ D , f ∈ X ,
lim |f [x(t)] − f [x(t0 )]| = 0;
t→t0
t∈D
, x(s) xk ∈ X (k = 1, 2, · · · ).
7 (Ω , R, μ) x(s) ,
[9.0] · 183 ·
ˆ
x(s)μ(ds) = x0 ,
Ω
x(t) c .
ε (0 < ε < 1), , [0, 1]
2
l , [0, 1] 1 − ε
.
x(t) ( ) ?
.
Lipschitz :
|ξn (t ) − ξn (t )| Mn |t − t |, t , t ∈ [0, 1],
{Mn } , x(t) .
, , $
|ξn (t ) − ξn (t )| Mn |t − t |, t , t ∈ [0, 1],
$ {Mn } , x(t) . , ξn (t) :
⎧ 1
⎪
⎪ 0, 0t ,
⎪
⎪ 2
⎨
ξ1 (t) = 1, t = 1,
⎪
⎪
⎪
⎪
⎩ , 1 t 1;
2
⎧
⎪ 1
⎪
⎪ 0, 0t ,
⎪
⎪ 4
⎨
1
ξ2 (t) = 1, t 1,
⎪
⎪ 2
⎪
⎪
⎪
⎩ , 1 t 1 ;
4 2
⎧
⎪ 1
⎪
⎪ 0, 0t ,
⎪
⎪ 8
⎨
1
ξ3 (t) = 1, t 1,
⎪
⎪ 4
⎪
⎪
⎪
⎩ , 1 t 1 ;
8 4
··· .
, ξn (t) [0, 1] , ⎧
⎨ 0, t = 0,
ξ(t) = lim ξn (t) =
n→∞ ⎩ 1, 0 < t 1,
x(t) = {ξn (t)} ∈ c. , ξn Lipschitz :
|ξn (t ) − ξn (t )| Mn |t − t |, t , t ∈ [0, 1],
Mn 2n , n = 1, 2, · · · , {Mn } .
x(t) . , [0, 1]
1 1 1
0 < · · · < < < < 1,
8 4 2
1
x(1) − x 1 + x 1 − x 1 + x 1 − x + ···
2 2 4 4 8
= 1 + 1+ 1+ ···
∨10 (x) = +∞, x(t) .
[9.4] · 187 ·
⎧1
⎨ , rn < t < rn+1 , n = 2, 4, 6, 8 ( 4 ),
ξ2 (t) = 2
⎩
0, t [0, 1] ;
⎧1
⎨ , rn < t < rn+1 , n = 10, 12, · · · , 26 ( 9 ),
ξ3 (t) = 3
⎩
0, t [0, 1] ;
···
⎧1
⎪ 2
⎪ k , rn < t < rn+1 , n = k1 , k1 + 2, · · · ( k ),
⎪
⎪
⎨
ξk (t) = 2k − 1
⎪ k1 = k(k − 1)
⎪
⎪ 3
⎪
⎩
0, t [0, 1] ;
, {ξk (t)} [0, 1] ξ(t) ≡ 0. ξ(t) ξk (t)
:
1
5 1
5 1
(ξ) = 0, (ξk ) = k 2 · 2 · = 2k (k = 1, 2, · · · ).
0 0
k
1
x(t) = {ξn (t)} ∈ c . , c0 = 0, cn = n2 , n = 1, 2, · · · ,
n |cn | < +∞, f :
∞
1
f [x(t)] = ξn (t), 0 t 1.
n=1
n2
# {ξn (t)} , f [x(t)] = ϕ(t) $,
· 188 · [9.6]
1
5 1 ∞ ∞
1 5
n
1 1
(ϕ) = 2
(ξn ) = 2
· 2n = 2 = +∞.
0 n=1
n 0 n=1
n n=1
n
, f [x(t)] = ϕ(t) , x(t)
.
t0 , {rk }, rk → t0 ,
x(rk ) − x(t0 ) = sup |ξn (rk ) − ξn (t0 )| = |ξk (rk ) − ξk (t0 )| = 1,
n
limt→t0 x(t) − x(t0 ) = 0 .
6. Helly c .
⎧
⎪ 1
⎪
⎪ 0, t = 0 t 1,
⎪
⎪ 2
⎨
1
f (t) = 1, t= ,
⎪
⎪ 4
⎪
⎪
⎪
⎩ , 0 t 1 1 t 1 .
4 4 2
[9.8] · 189 ·
x(1) (t) = (f (t), 0, 0, · · · ),
x(2) (t) = (0, f (t), 0, · · · ),
x(3) (t) = (0, 0, f (t), 0, · · · ),
···
(n) (n)
x(n) (t) = (ξ1 (t), ξ2 (t), · · · ) ∈ c,
(n)
lim ξ (t) = ξ (n) (t) ≡ 0.
k→∞ k
7. .
8. .
10. .
$ x : (−1, 1) → l2 ,
⎧e
⎨ n, t = 1,
x(t) = n n
⎩
0, ,
en l2 n 1, 0 .
⎧ 1
x(t) − x(0) ⎨ en , t = n ,
=
t ⎩
0, .
() limt→0 x(t)−x(0)
t = 0, x t = 0 , x (0) = 0.
n(x( n1 ) − x(0)) = 1, x t = 0 .
[9.11] · 191 ·
∞
2 ∞
2 sin nt 1
x(t) = < +∞
n=1 n
1+σ
2
n=1
n1+σ
2
, x(t) l . , t0 ∈ [0, 2π], t0 + Δt ∈
[0, 2π],
∞
2
2 sin n(t0 + Δt) − sin nt0
x(t0 + Δt) − x(t0 ) = 1+σ
n=1 n 2
⎛ ⎞2
Δt Δt
∞
⎜ 2 cos n t0 + 2 sin
2 ⎟
= ⎜ ⎟
⎝ 1+σ
n 2 ⎠
n=1
∞
2
2 Δt
1+σ ·
n=1 n 2 2
∞
1
= Δt → 0 (Δt → 0).
n=1
n1+σ
x(t) [0, 2π] . , (l2 )∗ =
l2 , x(t) = {xn (t)} t0 ,
{xn (t0 )}. , ,
∞
{xn (t0 )} 2 = |xn (t0 )|2 < +∞. (1)
n=1
, #
∞
∞
2 ∞ ∞
cos nt0 cos2 nt0
|xn (t0 )|2 = σ−1 = σ−1
= n1−σ cos2 nt0
n=1 n=1n 2 n=1
n n=1
∞ 2
n=1 |xn (t0 )| = +∞, (1) %. , x(t) [0, 2π]
.
· 192 · [9.13]
15. .
$ E [0, 1] (L) , [0, 1] l2 ([0, 1])
x(s) = (· · · , xξ (s), · · · ), 0 s 1, 0 ξ 1,
xξ (s) : (i) s ∈
/ E xξ (s) ≡ 0 (0 ξ 1); (ii) s ∈ E , ξ = s,
xξ (s) = 0; ξ = s, xξ (s) = 1. , x(s) xξ0 (s)
xξ0 (s) ≡ 0 (0 s 1),
ξ0 ∈
/ E , ⎧
⎨ 0, s = ξ0 , ξ0 ∈ E,
xξ0 (s) =
⎩ 1, s = ξ , ξ ∈ E,
0 0
xξ0 (s) (0 ξ0 1) [0, 1] (L) , x(s) .
,
⎛ ⎞ 12 ⎧
⎨ 0, s ∈
/ E,
x(s) = ⎝ |xξ (s)|2 ⎠ =
⎩ 1, s ∈ E,
ξ
f ∈ (E ∞ )∗ f μ . E ∞ l∞ , f
∞ ∞ ∗
l , f, f ∈ (l ) . , f (χS ) = μ(S),
ϕ(f ) = μ f = μ . (l∞ )∗ → bf a(N ) , ,
∞ ∞ ∗
bf a(N ) l , f ∈ ˆ (l ) μ ∈ bf a(N )
f (x) = xdμ (x ∈ l∞ ).
N
∗ , # Sierpinski [284] .
$ {rn } [0, 1] Rademacher , t ∈ [0, 1],
n
rn (t) = sgn sin 2 πt.
∞
$ f (t) [0, 1] l
:
r1 (t) + 1 r2 (t) + 1
f (t) = , ,··· ,
2 2
μ N 0 1 , :
∞ −n
(i) t = n=1 cn 2 [0, 1] ,
∞
1−t= (1 − cn )2−n
n=1
f (1 − t) = (1, 1, · · · ) − f (t).
´
(ii) N f dμ l∞ .
· 196 · [9.17]
, f ∗ .
···
[9.19] · 197 ·
1 1
= 0+ · 2 · b3 + (2b3 + 4b5 )
4 12
1
+···+ (2b3 + 4b5 + · · · + 2(n − 1)b2n−1 ) + · · · .
2n(n − 1)
∞ 1 1
n=k n(n−1) = k−1 ,
ˆ 1
f [x(s)]ds = b3 + b5 + · · · + b2n−1 + · · · ,
0
f ∈ c∗ = l, f [x(s)] [0, 1] (L) . ,
c∗∗ = l∞ x0 = (0, 0, 1, 0, 1, 0, 1, · · · ) ∈
/ c, x(s) [0, 1] (P )
.
x(s) (P ) 0.
´ +∞
f [x(t)]dt = f (x0 ), x0 = { n1 } ∈ c. , x(t) (P ) ,
0 ˆ +∞
1
(P ) x(t)dt = x0 = .
0 n
,
ˆ +∞ ∞
1
x(t) dt = = +∞,
0 n=1
n
x(t) [0, +∞) (L) , 6, x(t) (B)
.
F (E) ∈ c0 , ˆ
F (E) = sup sin 2 πtdm(t) m(E).
n
n E
, F c0 , m . Bochner
´
f : Ω → c0 , F (E) = E
f (t)dm(t), $ f (t) = {fn (t)}, E ∈ R, F (E)
n ˆ
(F (E))n = fn (t)dm(t),
E
[9.21] · 199 ·
ˆ
1
n
Tg = g(t) sin 2 πtdm(t) .
0
T , ˆ
1
T g = sup g(t) sin 2 πtdm(t)
n
n 0
ˆ 1
|g(t)|dm(t) = g 1 ,
0
T . f ∈ L∞ ([0, 1], c0 , m),
ˆ 1
Tg = f (t)g(t)dm(t), ∀g ∈ L[0, 1],
0
20 ˆ
F (E) = sin 2n πtdm(t) ,
E
ˆ
F (E) = T (χE ) = f (t)dm(t).
E
0. .
$ (X, d) , X K . X
, : (i) , {xn }, {yn } ⊂ X, xn → x, yn → y,
xn + yn → x + y; (ii) , {αn } ⊂ K, αn → α, {xn } ⊂
X, xn → x, αn xn → αx. (X, d) .
(X, d) , Fréchet ,
Fréchet .
, . , (X, d)
, X d τ, (X, τ ) .
$A X , U, λ > 0, A ⊂ λU,
A ; A diam A = sup{d(x, y) : x, y ∈ A} < +∞, A
.
, . ,
, .
[327].
1. .
S = {(ξ1 , ξ2 , · · · ) : ξi ∈ R1 , i = 1, 2, · · · }, S .
x = {ξi }, y = {ηi } ∈ S,
∞
1 |ξi − ηi |
d(x, y) = ·
i 1 + |ξ − η |
,
i=1
2 i i
· 202 · [10.2]
S .
, diamS 2, S . ,
A {xn } ⊂ A, λn → 0 (n → ∞), λn ,
λn xn → 0 (n → ∞). xn = na, a = (1, 1, · · · ),
x 1
n
lim d , 0 = d(a, 0) = = 0,
n→∞ n 2
, S .
$X . A ⊂ X , .
.
2. , .
, .
, , . , $ lp (0 < p < 1)
∞
|ξn |p < +∞
n=1
an # B[0, 1] .
d(0, an ) = n1−p → +∞ (n → ∞),
B[0, 1] , #, .
4. .
$ X , x − y = d(x, y) (x, y ∈ X)
:
d(x, y) = d(x − y, 0), d(αx, 0) = |α|d(x, 0). (1)
, , d(x, y)
(1). (1) , x = d(x, 0) . ,(1)
.
S , S .
, S · , d(x, y) = x − y ,
∞
1 |ξn |
x = ·
n 1 + |ξ |
,
n=1
2 n
5. Fréchet .
Dvoretzky Rogers [93] 1950 , Banach
. % : Fréchet ,
? .
$ D[0, 1] [0, 1]
, $.
x i = max |x(i) (t)|, i = 0, 1, 2, · · · ,
0t1
di x(t)
x(0) (t) = x(t), x(i) (t) = , i = 1, 2, · · · .
dti
· 204 · [10.6]
∞
1 x−y i
d(x, y) = · (x, y ∈ D[0, 1]),
i=0
2 1+ x−y
i
i
∞
∞
∞
∞
max |x(i)
n (t)| = |x(i)
n (tn )| |x(i) (i)
n (tn ) − xn (0)| + |x(i)
n (0)|
0t1
n=1 n=1 n=1 n=1
∞ ˆ tn ∞
= xn (t)dt +
(i+1)
|x(i)
n (0)|
n=1 0 n=1
∞ ˆ 1 ∞
|x(i+1)
n (t)|dt + |x(i)
n (0)|. (1)
n=1 0 n=1
∞ ∞
n=1 xn n=1 ηn xn ( ηn = 0
∞
1) D[0, 1] , n=1 ηn xn D[0, 1]
∞ (i)
i, n=1 ηn xn (t) [0, 1] ,
∞ ˆ 1 ∞
|x(i+1)
n (t)|dt < +∞, |x(i)
n (0)| < +∞.
n=1 0 n=1
, (1)
∞
∞
xn i = max |x(i)
n (t)| < +∞.
0t1
n=1 n=1
∞ (i)
, n=1 xn (t) (i = 1, 2, · · · ) C[0, 1] . D[0, 1]
∞
, n=1 xn D[0, 1] .
6. .
13 , Banach
. , , d(x+z, y +z) =
d(x, y), Fréchet ? . ,
E∞ . , E ∞
∞
d, (E , d) Fréchet , .
∞
, {en } E Hamel , en = (0, · · · , 0, 1, 0, · · · ),
En = span{e1 , · · · , en },
[10.8] · 205 ·
En (E ∞ , d) ,
∞
E∞ = En .
n=1
13 , En (E ∞ , d) ,
(E ∞ , d) , .
Pn
xk
7. xn → 0 k=1
n → 0 .
Pn
, X , {xn } ⊂ X xn → 0 (n → ∞),
xk
k=1
n → 0 (n → ∞). , ,
. , l (0 < p < 1), α > 0 0 < p + αp < 1.
p
1
xn = 0, · · · , 0, α , 0, · · · ,
n
xn ∈ lp xn → 0, d(xn , 0) = n1αp → 0 (n → ∞). ,
n
xk
k=1 1 1 1
= , ,··· , , 0, 0, · · · ,
n n n·2 α n · nα
⎛ ⎞
n
xk
⎜ k=1 ⎟ 1 1 1
d⎜
⎝ n , 0⎟
⎠ = np + np 2αp + · · · + np nαp
n
= n1−(p+αp) → +∞ (n → ∞).
np nαp
Pn
xk
X , xn ∈ X xn → 0, k=1
n →0(
[326]). , l (0 < p < 1) .
p
8. .
$X , X f,
(i) X G, G = X.
(ii) G + G + · · · + G = X ().
G = {x : x ∈ X, |f (x)| < 1}. , G .
G = X. $ G = X, x ∈ X, |f (x)| < 1. x0 ∈ X,
|f (x0 )| = ε > 0, n εn > 1. nx0 ∈ X, |f (x0 n)| < 1.
, |f (x0 n)| = nε > 1, . , x0 ∈ X |f (x0 )| > 0,
f = 0, f X %, G = X.
, n, G ,
G + G + · · · + G = nG (n ).
· 206 · [10.9]
1 1
X , x ∈ X, y = nx ∈ X, x = ny ∈ n X, X ⊂
1 1 1 1
n X, , nX ⊂ X, X = n X. , G = X, G = n X, nG = X.
.
$ X [0, 1] x(t) , x(t) [0, 1]
. X , x, y ∈ X,
ˆ 1
|x(t) − y(t)|
d(x, y) = dt,
0 1 + |x(t) − y(t)|
(R) , X . X
. $ X , # ,
(i) X G, G = X.
(ii) X = G + G + · · · + G (). , r > 0, B(0, r) ⊂ G,
1
B(0, r) 0 , r . n > r x ∈ X,
[0, 1] n ⎧ I1 , · · · , In , [0, 1] n :
⎨ x(t), t ∈ Ik ,
xk (t) =
⎩ 0, t ∈ [0, 1]\Ik ,
k = 1, 2, · · · , n. , xkˆ∈ X, ˆ
|x(t)| 1
d(xk , 0) = dt dt = < r,
Ik 1 + |x(t)| Ik n
n
, xk ∈ B(0, r) ⊂ G. x(t) = k=1 xk (t),
x ∈ G + · · · + G (n ).
x ∈ X , X = G + · · · + G (n ), %.
, X .
9. .
, . ,
.
$ X 8 , X ∗ = {0}.
´1
$ Lp [0, 1] (0 < p < 1) [0, 1] 0 |x(t)|p dt <
+∞ x(t) , x, y ∈ L [0, 1],
p
ˆ 1
d(x, y) = |x(t) − y(t)|p dt,
0
Lp [0, 1] . Day [77] , Lp [0, 1] (0 <
p < 1) .
(L) E ⊂ [0, 1] mE > 0 r (0 < r < 2),
2
h(t) ∈ L [0, 1]L [0, 1], t ∈
r
/ E h(t) = 0.
E {En } ,
mEn = 2−n mE, n = 1, 2, · · · .
[10.9] · 207 ·
∗
X = {0} ( 9), A = {0} .
R2 ,
|ξ1 − η1 | |ξ2 − η2 |
d(x, y) = + ,
1 + |ξ1 − η1 | 1 + |ξ2 − η2 |
x = (ξ1 , ξ2 ), y = (η1 , η2 ) ∈ R2 . , (R2 , d) . x =
(1, 1), y = (1, −1), d(x, 0) = d(y, 0) = 1, x, y (R2 , d) S
. z ∈ S d(x, z) = d(y, z). $ z = (ζ1 , ζ2 ) ∈ (R2 , d),
d(x, z) = d(y, z),
|1 − ζ1 | |1 − ζ2 | |1 − ζ1 | |1 + ζ2 |
+ = + ,
1 + |1 − ζ1 | 1 + |1 − ζ2 | 1 + |1 − ζ1 | 1 + |1 + ζ2 |
|1 − ζ2 | = |1 + ζ2 |. ζ2 = 0,
|ξ1 |
d(z, 0) = < 1,
(1 + |ζ1 |)
z ∈ S . , z ∈ S d(x, z) = d(y, z).
|ξ1 − η1 | + |ξ2 − η2 |
d(x, y) = ,
1 + |ξ2 − η2 |
x = (ξ1 , ξ2 ), y = (η1 , η2 ) ∈ R2 , (R2 , d) .
T x = (ξ1 + ξ2 , 0),
T (R2 , d) " ,
d(T x, 0) = |ξ1 + ξ2 |.
M, d(T x, 0) M d(x, 0),
|ξ1 | + |ξ2 |
|ξ1 + ξ2 | M .
1 + |ξ2 |
, n, xn = (0, n), d(T xn , 0) = n,
n2
nd(xn , 0) = < n,
1+n
d(T xn , 0) > nd(xn , 0).
x ∈ X,
m x 1 x 2 M x 1,
∞ ∞
1 pn (x) 1 1
d(x, 0) = ·
n 1 + p (x)
= n+1
= ,
n=1
2 n n=1
2 2
∞
1 100 100 1
d(y, 0) = n
· = < ,
n=2
2 101 202 2
1 ∞
1 1 50 67 1
d(z, 0) = · 2 + · = > .
2 1 n
2 51 102 2
1+ n=2
2
, x, y ∈ B[0, 12 ], z = x+y
2 / B[0, 12 ], B[0, 12 ] .
∈
1
, C(−∞, +∞) , 2
, d , u ∈
C(−∞, +∞),
1
,
d(u + x, u) = d(x, 0) =
2
1
d(u + y, u) = d(y, 0) < ,
2
1
d(u + z, u) = d(z, 0) > ,
2
C(−∞, +∞) u , 12 .
(n) (n)
bn = (0, · · · , 0, bkn , bkn+1 , · · · ),
1 $ X lp , X , lp
, lp , ε > 0, n0 , n n0 a =
∞
(0, · · · , 0, an , an+1 , · · · ) ∈ X, a 1 , j=n |aj | ε.
1 [302].
2 $ X lp . X lp X
Y, X lp .
2 # Pelczyński [239] , .
[10.19] · 213 ·
(0, · · · , 0, an , 0, · · · ) , an = 0. n, X
y = (−x1 , · · · , −xn−1 , −xn + an , −xn+1 , · · · ),
z = (−x1 , · · · , −xn , −xn+1 + an+1 , −xn+2 , · · · )
. y − z = (0, · · · , 0, an , −an+1 , 0, · · · ) ∈ X, X
1
, l 21− p , 1 %. , X
l . p
T
span{ei } .
n n n
T λk ek |λk |p xk p λk ek ,
k=1 p k=1 k=1 p
· 214 · [10.20]
An ⊂ An+1 , ∪∞
n=1 An = [0, 1], 0. S
, Pn (x) → x. E1 (x) = P1 (x), n 2,
n−1
En (x) = Pn (x) − Ei (x),
i=1
R(Ei ) Ei , {R(Ei )} S Schauder .
Lp [0, 1] (0 < p < 1) Schauder .
0. .
X X ( X ) f, x0 ∈ X
f (x0 ) = x0 , x0 f .
$f X X , f ,
α 0<α<1
d(f (x), f (y)) αd(x, y), ∀x, y ∈ X.
f ,
d(f (x), f (y)) < d(x, y), x, y ∈ X, x = y.
f ,
d(f (x), f (y)) d(x, y), ∀x, y ∈ X.
, ; .
.
1 (Banach) X X X
.
2 $ X , f X X , n,
f X
n
, f X .
3 (Schauder) $ U Banach X , f U U
, f .
4 (Schauder-Tihonov) $ X , U
X . $ f U U , x ∈ U, f (x) = x.
· 218 · [11.3]
2. T , T 2 .
, T , T 2 . ,
. , $ T C[0, 1] C[0, 1] : x ∈ C[0, 1],
$ T x = y. ˆ t
y(t) = x(u)du, 0 t 1.
0
3. f , f 2 .
, f , f , , f 2 , f
. Bryant [59] .
$ f : [0, 2] → [0, 2] ⎧
⎨ 0, x ∈ [0, 1],
f (x) =
⎩ 1, x ∈ (1, 2],
x ∈ [0, 2], f [f (x)] = 0, f 2 [0, 2] [0, 2] , f
.
[11.7] · 219 ·
5. , .
. , X = R1 ,
x
f (x) = 1 + x − .
1 + |x|
x = 0 , 0 < f (x) < 1, f X X ". ,
x ∈ X, f (x) > x. , f .
Lossers [210] .
7. , .
Schauder U .
[165]
Kakutani , Schauder U U
. , Hilbert l2 (Z), Z .
yn = (· · · , 0, 0, 1, 0, 0, · · · ),
1 n " . l2 (Z) x,
x = (· · · , x−1 , x0 , x1 , x2 , · · · ) = xn yn .
$ A : Ax = xn yn+1 . ,
x − Ax x = 0 y0 .
· 220 · [11.9]
x − Ax = (xn − xn−1 )yn = cy0
8. , .
$ A (0, −2), (4, −2), (4, 2), (0, 2) $ (
). $
1
B= (x, y) : 0 < x 1, y = sin .
x
X = A ∪ B, X , X , X
.
$ A0 A (0, −1) (0, 1) , Y = A0 ∪ B,
Y X ,Y .
3
14. .
4 5 . 4 ; 5
.
: , X = X0 ∪ (∪∞
n=1 Xn )
, Xn , n > 0, Xn Pn
X0 . 4 , X0 = [0, 1], Pn → 0 (n → ∞), Xn Pn
n . 5 , X0 (0, 0) (1, 0)
−1
, n 1, Xn Pn = (1, 0) (0, n ) .
. *:
Xi X\Xi Pi . (1)
T X X . .
[11.14] · 223 ·
4 5
(i) i 1, T Pi = Pi . Pi .
(ii) i 1, T Pi ∈ Xi \{Pi }.
⎧
⎨ x, x ∈ Xi ,
Rx =
⎩P , x ∈/ Xi ,
i
X Xi R. (1).
(iii) i 1, T Pi ∈
/ Xi .
⎧
⎨ x, x ∈ X0 ,
Rx =
⎩ P , x ∈ X (i 1)
i i
Tx − Ty K x − y .
, T .
T x(t) = tx(t).
{fk } ∗ , fk = 1 (k = 1, 2, · · · ).
1
k, xk ∈ X xk = 1, |fk (xk )| > 1 − k2 . x ∈ X,
1 xk xk
Tk x = 1− fk (x) + , k = 1, 2, · · · .
k fk (xk ) k
x, y ∈ X,
1 fk (x)xk 1 fk (y)xk
Tk x − Tk y = 1 − − 1−
k fk (xk ) k fk (xk )
1 xk
= 1− |fk (x) − fk (y)|
k |fk (xk )|
1 x−y k x−y
1− ,
k |fk (xk )| (1 + k)
Tk X X . {fk } ∗ , {Tk x}
. , k, xk Tk . xk = 1,
{xk } .
19. .
[260]
Rhoades 125 , 25 .
25 , . (a)⇒(b)
(a) (b), . (b) (a)
(b) (a) , .
1. .
$ X , d X , f X X .
(1) (Banach) a, 0 a < 1, x, y ∈ X,
d(f (x), f (y)) ad(x, y).
[254]
(2) (Rakotch ) a : (0, +∞) → [0, 1), x, y ∈
X, x = y,
d(f (x), f (y)) ad(x, y).
1
(19) (Zamfirescu [334] ) α, β, γ, 0 α < 1, 0 β, γ < 2,
x, y ∈ X, :
(i) d(f (x), f (y)) αd(x, y);
(ii) d(f (x), f (y)) β[d(x, f (x)) + d(y, f (y))];
(iii) d(f (x), f (y)) γ[d(x, f (y)) + d(y, f (x))].
(20) x, y ∈ X, x = y,
[d(x, f (x)) + d(y, f (y))] [d(x, f (y)) + d(y, f (x))]
d(f (x), f (y)) < max d(x, y), , .
2 2
(21) (Ciric [69] ) q, r, s, t,
sup {q(x, y) + r(x, y) + s(x, y) + 2t(x, y)} λ < 1,
x,y∈X
x, y ∈ X,
d(f (x), f (y)) q(x, y)d(x, y) + r(x, y)d(x, f (x))
+s(x, y)d(y, f (y)) + t(x, y)[d(x, f (y)) + d(y, f (x))].
(22) x, y ∈X, x = y,
[d(x, f (y)) + d(y, f (x))]
d(f (x), f (y)) < max d(x, y), d(x, f (x)), d(y, f (y)), .
2
5
(23) (0, +∞) [0, 1] αi i=1 αi (t) < 1,
x, y ∈ X, x = y,
d(f (x), f (y)) α1 (d(x, y))d(x, f (x)) + α2 (d(x, y))d(y, f (y))
+α3 (d(x, y))d(x, f (y)) + α4 (d(x, y))d(y, f (x)) + α5 (d(x, y))d(x, y).
(24) (Ciric [70] ) h, 0 h < 1, x, y ∈ X,
d(f (x), f (y)) h max{d(x, y), d(x, f (x)), d(y, f (y)), d(x, f (y)), d(y, f (x))}.
(25) x, y ∈ X, x = y,
d(f (x), f (y)) < max{d(x, y), d(x, f (x)), d(y, f (y)), d(x, f (y)), d(y, f (x))}.
2. .
(i) (1) ⇒ (2) ⇒ (3) ⇒ (10); (2) (1), (3) (1), (10) (3).
(ii) (2) ⇒ (8) ⇒ (23); (8) (2).
(iii) (4) (n) , n = 1, 2, 3.
(iv) (4) ⇒ (5) ⇒ (6) ⇒ (10), .
(v) (4) ⇒ (7) ⇒ (8) ⇒ (10); (7) (4).
(vi) (7) ⇒ (9) ⇒ (10); (10) (9).
(vii) (6) (n) , n = 7, 8, 9.
(viii) (5) ⇒ (9), .
(ix) (n) (5), n = 7, 8
(x) (11) ⇒ (12) ⇒ (13) ⇒ (17), .
(xi) (11) ⇒ (14) ⇒ (15) ⇒ (17); (14) (11).
[11.19] · 229 ·
x ∈ ( 34 , 1),
1
d(f (x), f (1)) = > d(x, 1).
4
, f (1)—(3).
(n) (4), n = 1, 2, 3. f (x) = x
3,0 x 1, f ∈ (1),
f ∈ (2), f ∈ (3). f ∈
/ (4).
(iv) (5)(4). f (x) = x3 , 0 x 1, f (5) (4).
x2
(6) (5). $ f (x) = x < +∞,
2(x+1) , 0 0 x < y,
(xy + x + y)(y − x) y(y + 2)
d(f (x), f (y)) = <
2(x + 1)(y + 1) 2(y + 1)
= max{d(x, f (x)), d(y, f (y))}.
y2
, f ∈ (6). d(f (0), f (y)) = 2(y+1) . h, 0 < h < 1,
y, y
y+2 > h, , f ∈
/ (5).
(10) (6). (i) (10)(3) f, f (x) = x
2,0 x 4, f (x) = −2x +
10, 4 < x 5. 0 < y 4,
y
d(f (0), f (y)) = = max{d(0, f (0)), d(y, f (y))},
2
f∈
/ (6).
(v) (7) (4). [255], p.122 .
(vi) (9)
(9 ) h, 0 < h < 1, x, y ∈ X,
d(f (x), f (y)) h max{d(x, f (x)), d(y, f (y)), d(x, y)}.
(9) ⇒ (9 ).
M (x, y) = max{d(x, f (x)), d(y, f (y)), d(x, y)}
$ f ∈ (9),
d(f (x), f (y)) a(x, y)d(x, f (x)) + b(x, y)d(y, f (y)) + c(x, y)d(x, y)
(a(x, y) + b(x, y) + c(x, y))M (x, y)
λM (x, y).
, f (9 ), h = λ.
(9 ) ⇒ (9). $ f ∈ (9 ). (x, y), M (x, y) = d(x, f (x)), a(x, y) =
λ, b(x, y) = c(x, y) = 0; M (x, y) = d(y, f (y)), b(x, y) = λ, a(x, y) = c(x, y) =
0; M (x, y) = d(x, y), c(x, y) = λ, a(x, y) = b(x, y) = 0, f ∈ (9).
(10) (9). (10)(9 ) . $
x2
f (x) = , 0 x < +∞,
(x + 1)
(xy + x + y)(y − x)
d(f (x), f (y)) = < y − x.
(x + 1)(y + 1)
[11.19] · 231 ·
Hilbert
0. .
$U () K , U x, y,
K x, y, (i) αx, y = α x, y; (ii) x + y, z = x, z + y, z;
(iii) x, y = y, x; (iv) x, x 0, x, x = 0 x = 0, U ( )
, , x, y x, y .
X
2 2 2
x+y + x−y =2 x + 2 y 2, (1)
x, y X , (1) .
1
, x = x, x 2 .
Hilbert , H .
U x, y , x y 0, x, y = 0,
x⊥y. $ M U , x M , xM
, x⊥M. $ N U , x ∈ M, x⊥N, M
N , M ⊥N. U M M , M ⊥.
Riesz $ M U ,
x ∈ U, :
x = x0 + y, x0 ∈ M, y ∈ M ⊥ .
x0 x M .
P x = x0 , P U , P M
, .
· 236 · [12.0]
2. , .
Banach U , U U∗
−1
T, T = T = 1.
Riesz , .
. Lorch .
$ lnp (1 < p < +∞) x = {ξ1 , · · · , ξn } .
p1
n
x p = |ξi | p
,
i=1
x y .
2 2
x + y, x + y − x − y = x, y + y, x = 2Re x, y = 0,
2 2 2
x+y = x + y .
4. , .
Banach lp (1 p +∞, p = 2), x = (1, 1, 0, · · · ) ∈ lp , y =
(1, −1, 0, · · · ) ∈ lp , ,
1
x = y = 2p , x + y = x − y = 2,
p = 2 , l p
, .
8. M1 , M2 , M1 ⊕ M2 .
9. M1 , M2 , M1 ⊥M2 , M 1 ⊕M 2 = M1 ⊕ M2 .
∞ ∞
hn ∈ U. β1 q = β1 (ϕ1 + i=2 γi ϕi ) = β1 ϕ1 + β1 i=2 γi ϕi ,
∞
∞
n
x − hn = βi ϕi − β1 γi ϕi − β1 ϕ1 − (βi − β1 γi )ϕi
i=1 i=2 i=2
∞
= (βi − β1 γi )ϕi ,
i=n+1
∞ ∞
x − hn βi ϕi + β1 γi ϕi
i=n+1 i=n+1
∞ 12 ∞ 12
= |βi |2 + |β1 γi |2 →0 (n → ∞),
i=n+1 i=n+1
U H .
M U . , $ gn ∈ M, limn→∞ gn = g0 , g0 ∈ M.
# M , ϕ1 , gn = 0 (n = 1, 2, · · · ), ϕ1 , g0 = 0. g0 ∈ U, g0
αq + g :
g0 = αq + g = αϕ1 + αp + g.
ϕ1 , g0 = 0 α = 0, g0 = g ∈ M.
H , M βϕ1 (β ), # U,
U M . q ∈ U ,
q = x0 + y (q ∈
/ M ),
⊥
x0 ∈ M, y ∈ M .
Riesz : M U ,
x ∈ U, :
x = x0 + y, x0 ∈ M, y ∈ M ⊥ .
, Riesz U , M U
( [14], p.168). U M U
, Riesz .
, {ϕn } U , M = span{ϕn } =
⊥
U ( [14], pp.173—174), M = {0}. x ∈ U \M ,
⊥
x = x0 + y (x0 ∈ M, y ∈ M ).
u ∈ U \M , x ∈ M
f (x) = x, u = 0,
U M . x ∈ M , f (u) = u, u = 0
u = 0, u = 0 . , u ∈ U, f (x) = x, u.
U f, u ∈ U
f (x) = x, u, u = f . , u ∈ U, f (x) = x, u
U f, f = u ( [14]).
, .
M
= |an + an−1 |2 + |a−M |2 + |aM |2 + (α − 1)2 + β 2
n=−(M −1)
n=0
(α − 1)2 + β 2 0.
AM → 0 (M → ∞), α = 1, β = 0. ,
M
AM = |an + an−1 |2 + |a−M |2 + |aM |2 .
n=−(M−1)
· 244 · [12.18]
θ , T R2 " .
T x, x = (x1 cos θ − x2 sin θ)x1 + (x1 sin θ + x2 cos θ)x2
= x21 cos θ + x22 cos θ,
θ = π
2, x ∈ R2 , T x, x = 0, T = 0.
T T ϕn = 0 T x = 0, T = 0, T a = a %.
21 ,
T , T .
ϕ1 , n m,
T ϕn =
0, n > m.
T ϕn 1 (n = 1, 2, · · · ).
∗
T x = x, ϕ1 (ϕ1 + · · · + ϕm ),
∗
T ϕ1 = ϕ1 + · · · + ϕm ,
√
T = T ∗ T ∗ϕ1 = ϕ1 + · · · + ϕm − m.
23. ϕ(x, y), supx1 |ϕ(x, x)| < +∞, ϕ .
, ϕ U , supx=1 |ϕ(x, x)| <
+∞, ϕ . % : , ?
, , . , U = {{xn } : xn ,
∞ 2
n=1 |nxn | < +∞},
∞
{xn }, {yn } = xn yn .
n=1
∞
ϕ({xn }, {yn}) = k(x2k y2k−1 − x2k−1 y2k ),
k=1
´1
26. L2 [0, 1] T x(t) = 0
K(t, s)x(s)ds, K(t, s) L2 =
+∞.
[0, 1] × [0, 1] K(t, s) :
⎧
⎪ 1
⎪ 2,
⎪ 0 t, s < ,
⎪
⎪ 2
⎪
⎪
⎪
⎪ 2 1 3
⎪2 ,
⎪ t, s < ,
⎪
⎨ 2 4
K(t, s) = · · · ,
⎪
⎪
⎪ 2n , 1 − 1 t, s < 1 − 1 ,
⎪
⎪
⎪ 2n−1 2n
⎪
⎪
⎪
⎪ ··· ,
⎪
⎪
⎩
0, [0, 1] × [0, 1] ,
L2 [0, 1]
ˆ 1
y(t) = T x(t) = K(t, s)x(s)ds,
0
(L) .
ˆ 1ˆ 1
1
2
2
K(t, s) L2 = |K(t, s)| dsdt
0 0
⎛ ⎞ 12 12
∞
¨ ∞
=⎝ |K(t, s)| dsdt⎠ =
2
1 = +∞,
n=1Δ ×Δ n=1
n n
1
, Δn = [1 − 2n−1 , 1 − 21n ]. ,
t ∈ Δn ,
ˆ 2 ˆ 2
1
|y(t)|2 = K(t, s)x(s)ds = K(t, s)x(s)ds
ˆ0 ˆ Δn
ˆ
2
K (t, s)ds |x(s)|2 ds = 2n |x(s)|2 ds.
Δn Δn Δn
,
ˆ 1 ∞ ˆ
∞ ˆ
ˆ
|y(t)|2 dt = |y(t)|2 dt |x(s)|2 ds 2n dt
0 n=1 Δn n=1 Δn Δn
∞ ˆ ˆ 1
= |x(s)|2 ds = |x(s)|2 ds.
n=1 Δn 0
y = T x x , T .
Carexob 1963 Lp [0, 1] Lp [0, 1]
ˆ 1
T x(t) = K(t, s)x(s)ds,
0
K(t, s) , r, K(t, s) r (L) .
L2 [0, 1] x, y
ˆ 1ˆ 1
K(s, t)x(t)y(s)dtds = Ix, y = x, y.
0 0
x, y , x, y = 0,
K(s, t) s, t ,
t = s . , K(s, t) 0,
K(s, t) = 0, , I .
(T ∗ y)(enkl ) = y(ek ) = yk
∗
0 = lim (T y)(enkl ) = yk (k 1),
l→∞
y = 0.
Tn∗ − T ∗ = Tn − T
{Tn∗} T ∗ , x, y ∈ H,
lim Tn∗ x, y = T ∗ x, y.
n→∞
· 252 · [12.32]
,
| Tn∗ x, y − T ∗ x, y| = | x, Tn y − x, T y| = | Tn y, x − T y, x|
. , {Tn } T , {Tn∗ }
T ∗ . , $ H = l2 , U H , Tk = (U ∗ )k , k =
1, 2, · · · . {Tk } . , x = (x0 , x1 , x2 , · · · ) ∈ H,
U x = (0, x0 , x1 , x2 , · · · ),
∗
U x, y = x, U y U ∗ x = (x1 , x2 , · · · ).
∞
2
Tk x = (xk , xk+1 , · · · ) 2 = |xn |2 → 0 (k → ∞),
n=k
{Tk } 0.
x ∈ H, x = 0, {Tk∗ x} . {Tk∗x} Cauchy
. ,
∗
(Tm+n − Tn∗ )x 2
= U m+n x − U n x 2
= U mx − x 2
2 2
= U mx − 2Re U m x, x + x
2
= 2( x − Re x, (U ∗ )m x).
∞
12
(U ∗ )m x = (xm , xm+1 , · · · ) = |xn |2 → 0 (m → ∞),
n=m
∗
√
Tm+n x − Tn∗ x → 2 x (m → ∞),
{Tn∗x} .
0. Sn Tn = I (n = 1, 2, · · · ), {Sn Tn } .
$ H1 , H2 , H3 Hilbert , Sn , S ∈ L(H2 , H3 ), Tn , T ∈ L(H1 , H2 ),
{Sn } S, {Tn } T, {Sn Tn } ST ( [318], p.80).
{Sn } S, {Tn } T {Sn Tn } ST.
41. Hilbert .
Schur αij 0 (i, j = 0, 1, 2, · · · ), pi > 0 (i = 0, 1, 2, · · · ), β, γ
, i αij pi βpj (j = 0, 1, 2, · · · ),
αij pj γpi (i = 0, 1, 2, · · · ),
j
2
√
l T, (αij ) T βγ.
$ (x0 , x1 , x2 , · · · ) ,
2 2
√ √ √
αij xj
α x = ( α p ) √
ij j ij j
pj
i j i j
⎛ ⎞⎛ ⎞
αij |xj |2 αij |xj |2
⎝ αij pj ⎠ ⎝ ⎠ γpi
i j j
pj i j
pj
|xj |2 |xj |2
=γ αij pi γ βpj
j
pj i j
pj
= βγ |xj |2 .
j
: l2 ⎛ ⎞
Tx = ⎝ α0j xj , α1j xj , α2j xj , · · · ⎠
j j j
T .
# Schur [278] .
1
i+j+1 (i, j = 0, 1, 2, · · · ) Hilbert . Hilbert ,
[12.44] Hilbert · 257 ·
42. S, T, ST T S.
, S, T , ST TS (
[126], p.39). S, T ⎛ ,⎞ ST
⎛ T S. , $
⎞
0 0 0 1
S=⎝ ⎠, T = ⎝ ⎠,
1 0 0 0
⎛ ⎞ ⎛ ⎞
0 0 1 0
ST = ⎝ ⎠, TS = ⎝ ⎠.
0 1 0 0
43. T T n M (n = 1, 2, · · · ), T
P 1 P.
Nagy [226] : $ T Hilbert ,
T n
M (n = 1, 2, · · · ), M , H
P, P 1, T P?
Foguel [105] Halmos [125] , Nagy .
, .
x = (ξ0 , ξ1 , ξ2 , · · · ) ∈ l,
T x = (0, ξ0 , ξ1 , ξ2 , · · · ),
en = T n e0 , en = {ξi }, i = n ξi = 1, i = n ξi = 0.
e0 , e1 , e2 , · · · l , e0 T .
∗ ∞ ∞ ∞
, T l l , l , T ∗
.
Rolewicz [267] : H Hilbert , H H
T, x ∈ H, {T x : n = 0, 1, 2, · · · } H
n
.
Rolewicz : Banach X, T ∈ L(X),
x ∈ X, {T n x : n = 0, 1, 2, · · · } X ?
0. .
$ X Banach , T ∈ L(X), λ .
(i) λI − T , λ T ,
T , ρ(T ) . λ ∈ ρ(T ) , Rλ λI − T
−1
(λI − T ) , Rλ T .
(ii) λ T , λI − T , λ T
, T , σ(T ) . σ(T ) :
(a) λ ∈ σ(T ), (λI − T )x = 0 , λT ,
T .
(b) λ ∈ σ(T ), (λI − T )x = 0 , λI − T X ,
λ # T .
(c) $ λ ∈ σ(T ), (λI − T )x = 0 , λI − T X ,
λ # T .
(d) $ λ ∈ σ(T ), {xn }, (λI − T )xn → 0 (n → ∞),
λ # T , T σa (T ).
$ T Hilbert H , T ,
S ∈ L(H), T ST = T.
, T , T . , Hilbert
.
$ T Hilbert H . {λ : T − λI
· 260 · [13.1]
} T .
$ X Banach , T ∈ L(X), T r(T ),
r(T ) = sup{|λ| : λ ∈ σ(T )}.
, T ∈ L(X),
1
r(T ) = lim Tn n .
n→∞
T ∈ L(X) n, T n = 0; T ,
1
T n n → 0 (n → ∞), T 0.
Volterra .
$ H Hilbert , T ∈ L(H). T W (T ),
W (T ) = { T x, x : x = 1}.
; .
, T ∈ L(H) :
w(T ) = sup{|λ| : λ ∈ W (T )}.
, w L(H) . , w(T ) : (i) w(T )
0, w(T ) = 0 T = 0; (ii) w(αT ) = |α| · w(T ), α () ; (iii)
w(S + T ) w(S) + w(T ).
, T . ,
T
w(T ) T .
2
w . , w(T ∗ ) = w(T ), w(T ∗ T ) = T 2
,
∗
w , U w(U T U ) = w(T ).
σ(T ) ⊂ W (T ), : r(T )
w(T ).
. [126].
2 n 2n
ϕn (s) =
⎩
0, ,
···
{ϕn (s)} L2 [0, 1] ,
⎧ , L2 [0, 1]
⎪ 1 1
⎪22
⎪ 0s< ,
⎪
⎪ 4
⎨
1 1 1
ϕ(s) = −2 ,2 s< ,
⎪
⎪ 4 2
⎪
⎪
⎪
⎩ 0, 1
s 1.
2
ϕn (s) .
K(s, t) = ϕ2 (s)ϕ1 (t) + ϕ4 (s)ϕ2 (t) + ϕ6 (s)ϕ3 (t) + · · · .
,
ˆ 1
T x(s) = K(s, t)x(t)dt
0
T x = λx (λ = 0),
∞
∞
αi ϕ2i = λαi ϕi + λh,
i=1 i=1
h = 0 αi = 0 (i = 1, 2, · · · ), x = 0, λ = 0 T .
∞
T x = 0 · x, i=1 αi ϕ2i = 0. αi = 0 (i = 1, 2, · · · ). , x
λ = 0 x, ϕi = 0 (i = 1, 2, · · · ), T
λ = 0.
, T n
K n (s, t) = ϕ2n (s)ϕ1 (t) + ϕ2·2n (s)ϕ2 (t) + ϕ3·2n (s)ϕ3 (t),
, K n (s, t) L2 = +∞.
ˆ +∞ ˆ i1 ∞
|K|2 ds = |K|2 ds M 4 |λi1 j |2 < +∞.
0 i1 −1 j=1
5. C, T, T C.
* , T {αn } , T
{βn }, αn βn = 1 (n = 1, 2, · · · ). T
δ, n |αn | δ. , T − λI
η, n, |αn − λ| η, λ ∈
/ {αn }.
, {βn } , αn βn = 1, n = 1, 2, · · · , {βn }
ST . , T T −1 , T −1 (αn ϕn ) = ϕn ,
{ϕn } Hilbert . , T −1 ϕn = ϕn
αn .
−1 −1 1
T ϕn T , βn = αn , {βn } , αn βn = 1, n =
1, 2, · · · . "$ C , C ,
{αn }, C = {αn }. $ T {αn } , # ,
λ T λ ∈ C.
(S − T )n 1 + 2πn, S − T
1 1
r(S − T ) = lim (S − T )n n = lim (1 + 2πn) n = 1.
n→∞ n→∞
6 7 # Jamison [148] .
Banach X Tn M < +∞ (n = 1, 2, · · · ), T
1 .
T n
M < +∞ r(T ) = 1.
8. —— .
L2 [0, 1]
ˆ 1
T x(t) = K(t, s)x(s)ds,
0
⎧
⎨ 1, t s,
K(t, s) =
⎩ 0, t < s.
[13.9] · 265 ·
,
ˆ t
1
T x(t) = x(s)ds, K(t, s) L2 = .
0 2
ˆ 1
K1 (t, s) = K(t, s), Kn (t, s) = K(t, v)Kn−1 (v, s)dv (n = 2, 3, · · · ),
0
ˆ 1
n
T x(t) = Kn (t, s)x(s)ds (n = 1, 2, · · · ),
0
⎧
⎨ (t − s)
n−1
, t s,
Kn (t, s) = (n − 1)!
⎩
0, t < s.
1
, Tn Kn (t, s) L2 (n−1)! . λ = 0 , −λ−1 I − λ−2 T −
−3
λ T 2 − · · · Sλ .
(T − λI)Sλ = Sλ (T − λI) = I,
Sλ = Rλ , λ = 0, λ # T .
, T x = 0 . ϕn (t) = sin nπt (n =
2
1, 2, · · · ), , L [0, 1] .
ˆ t
T (nπ cos nπt) = nπ cos nπsds = sin nπt = ϕn (t),
0
1
T L2 [0, 1] . , , cos nπt = 2− 2 ,
1
2− 2
T (cos nπt) = nπ , n = 1, 2, · · · , T −1 , λ = 0 # T .
9. —— .
Banach C[0, 1]
ˆ t
y(t) = T x(t) = x(s)ds.
0
⎧
⎨ 1, t s,
K1 (t, s) =
⎩ 0, t > s,
ˆ 1
T n x(t) = Kn (t, s)x(s)ds, n = 1, 2, · · · ,
0
⎧
⎨ (t − s)
⎪ n−1
, t s,
Kn (t, s) = (n − 1)!
⎪
⎩ 0, t > s.
1
, T = 1, T n (n−1)! . λ = 0 , −λ−1 I − λ−2 T − λ−3 T 2 − · · ·
, Rλ , λ = 0 # T .
· 266 · [13.12]
$ ⎛ ⎞ ⎛ ⎞
0 0 0 1
S=⎝ ⎠, T =⎝ ⎠,
1 0 0 0
S T ,
⎛ ⎞ ⎛ ⎞
0 0 1 0
ST = ⎝ ⎠, TS = ⎝ ⎠,
0 1 0 0
ST T S {1}.
$ H = l2 , x = (x0 , x1 , x2 , · · · ) ∈ H,
Sx = (0, x0 , x1 , x2 , · · · ),
∗
T = S , T x = (x1 , x2 , · · · ),
(ST )x = (0, x1 , x2 , · · · ), (T S)x = (x0 , x1 , x2 , · · · ) = Ix.
, ST {0, 1}, T S {1}.
S, T , ST T S ( [126],
p.39). 11 S, T .
10 . , λ = 0 , λ ∈ ρ(ST )
λ ∈ ρ(T S), ρ(ST ) ρ(T S) ( [126], p.39). 11
λ = 0 , .
2
= x + (V + V ∗ )x, x + V x 2 .
, (V + V ∗ )x, x 0, T −1 1, T 1. , T = 1.
14. .
T Banach X X ,
λ = 0, T T , *. &, T
T ( [14], pp.150—151). ,
.
x = (x1 , x2 , x3 , · · · ) ∈ l2 ,
x2 x3
T x = 0, x1 , , , · · · .
2 3
, T . λ = 0, T x = λx 0 = λx1 , xn−1
n−1
=
λxn (n = 2, 3, · · · ), x = 0, λ = 0 T . λ = 0,
η1 = 0,
T x = (η1 , η2 , · · · ),
R(T ) = l2 , λ = 0 # T ' .
, . ,
T . ,
.
, Tk 2k+1 , Tk 0,
1
r(Tk ) = lim Tkn n = 0.
n→∞
Tk − T , Tk − T = εk , Tk → T (k → ∞). '
r(T ) > 0, *
α0 = ε0 , α0 α1 α2 = ε20 ε1 , α0 α1 α2 α3 α4 α5 α6 = ε40 ε21 ε2 ,
, n = 2p − 2 (p = 1, 2, 3, · · · ),
α0 · · · αn = ε2p−1
0 · · · εp−1 .
p−1
p−1
ln εk
ln(α0 · · · αn ) = 2 p−1−k
ln εk = 2 p
,
2k+1
k=0 k=0
2p ln εk
p−1
1
ln(α0 · · · αn ) n+1 = . (1)
2p − 1 2k+1
k=0
1 ∞ ln εk
εk = 2k
, k=0 2k+1 , (1)
1
lim inf ln(α0 · · · αn ) n+1 > −∞,
n
[13.21] · 271 ·
n+1
1
7
n
lim inf αi > 0.
n
i=0
T = I − (I + V )−1 = V (I + V )−1 .
V , T .
0 ∈
/ W (T ). , x T x, x = 0 , x = 0.
−1 −1
, T x, x = 0. x, x = (I + V ) x, x. (I + V ) = 1 (
12)
2
x = (I + V )−1 x, x (I + V )−1 x 2
= x 2.
2
x = (I + V )−1 x, x = (I + V )−1 x 2.
U ∗ x = (ξ1 , ξ2 , · · · ), (U ∗ )n x = (ξn , ξn+1 , · · · ),
∞
12
∗ n 2
(U ) x = |ξk | → 0 (n → ∞).
k=n
24. .
x = (ξ0 , ξ1 , ξ2 , · · · ) ∈ l2 ,
T x = (0, ξ0 , ξ1 , ξ2 , · · · ),
2
T l R(T ) T = 1. , σ(T )
.
, , σa (T ) .
|λ| < 1, x,
T x − λx | T x − λx | = | x − λx | = |1 − |λ|| x ,
, T − λ , σa (T ) . , σ(T ) = σa (T ).
25. .
x = (ξ0 , ξ1 , ξ2 , · · · ) ∈ l2 ,
U x = (0, ξ0 , ξ1 , ξ2 , · · · ),
U . U . ,
· 274 · [13.26]
26. .
A, M ,⎛⎞
0 I
N =⎝ ⎠,
0 0
M N M = M.
,
I 0
M=
I A
Riesz
0. .
T Hilbert-Schmidt ,
∞ 12
|||T ||| = ||T ϕn ||2 < +∞.
n=1
$ X Banach , T ∈ L(X), T Riesz , :
(i) λ = 0 n, (λI − T )n x = 0 X
, n , n.
(ii) λ = 0 n, (λI − T )n X , n
, n.
(iii) T 0.
Riesz , :
1 K(X) Banach X X ,
k(T ) = inf{||T − C|| : C ∈ K(X)},
T ∈ L(X) Riesz
1
lim {k(T n)} n = 0.
n→∞
2 $ T ∈ L(X) Riesz , Y T , T | Y Riesz
.
3 T ∈ L(X) Riesz T ∗ Riesz .
$ X, Y , T X Y
. T ,
.
Kato [170] .
1. .
$ X Banach , I X X , I X
X . dim X = ∞, ,
I .
Banach X, T : c0 → X .
: T : c0 → lp (1 p < +∞) ; X
, T : c0 → X . % :
Banach X T : c0 → X ?
-? [7] .
{Tn } I, I .
y ∈ Y, T x = y x = (1, 1, · · · ), x ∈
/ c0 . , {T xk }
Y , T .
5. X Y T0 , T x = T0 x
X R(T0 ) T .
x = {ξk } ∈ c0 , T0 x = { ξkk } ∈ l2 , T0 c0 l2
, c0 l2 ( 1 ). , $ T
T x = T0 x (x ∈ c0 ) c0 R(T0 ) ⊂ l2 , 4 , T
.
6. , .
, X, Y , T ∈ L (X, Y ) , T
∗
T ( [14], pp.144—145). % :
T T ∗ , T ? , T
. , $ Y 4 , x = {ξk } ∈ c0 ,
ξk
T {ξk } = , Tn {ξk } = {ηk },
k
, 1 k n ηk = ξkk , k > n ηk = 0, n, Tn
, Tn∗ . {Tn } L (c0 , Y ) T ,
{Tn∗ } L (Y ∗
, c∗0 ) T ∗ , c∗0 , T ∗ .
4 , T .
X, Y Banach , T ∈ L (X, Y ), T
∗
T . , Y .
7. , .
, T , T 2 . . , $
T :
T x = (0, ξ1 , 0, ξ3 , 0, ξ5 , 0, · · · ),
. ,
T n x = z n (t)x(t), n = 1, 2, · · ·
, mΔ{t : z(t) = 0} > 0, n, T n . ,
n, ε > 0 Δ Δ1 , t ∈ Δ1 |z (t)| ε. n
Δ = [0, 1] :
⎧ &
⎪
⎨ 2 21 , t ∈ Δ1 = 0, 1 ,
ϕ1 (t) = 2
⎪
⎩ 0, t ∈ Δ\Δ1 ,
⎧ &
⎪ 2
⎨ 2 12 , t ∈ Δ2 = 1 , 3 ,
ϕ2 (t) = 2 4
⎪
⎩ 0, t ∈ Δ\Δ2 ,
···
⎧ $
n−1 n
⎪ n
⎨ 2 12 , t ∈ Δ = 1 − 1 1
n ,1− ,
ϕn (t) = 2 2
⎪
⎩
0, t ∈ Δ\Δn ,
···
· 282 · [14.9]
´1
10. L[0, 1] L[0, 1] T x(t) = 0
K(t,
s)x(s)ds, K(t, s) .
1 1
, K(t, s) [0, 1] × [0, 1] , 1 < p < +∞, p + q =1
,
ˆ 1 ˆ 1
p
q
|K(t, s)| ds
q
dt < +∞,
0 0
∞
K(t, s) = 2−n [ϕ2n−1 (t)ϕ2n−1 (s) − ϕ2n (t)ϕ2n (s)],
n=1
3
t ∈ [0, 1], s ∈ [0, 1], , |K(t, s)| 2 2 ,
K(t, s) [0, 1] × [0, 1] . , T ϕ2n−1 = 2−n ϕ2n−1 , T ϕ2n =
−2−n ϕ2n . ,
ψn (t) = 2n [ϕ2n−1 (t) − ϕ2n (t)],
T ψn = ϕ2n−1 + ϕ2n ,
ˆ 1
||ψn ||1 = 2n |ϕ2n−1 (t) − ϕ2n (t)|dt = 1.
0
n = m ,
ˆ 1
||T ψm − T ψn ||1 = |[ϕ2m−1 + ϕ2m ] − [ϕ2n−1 + ϕ2n ]|dt
0
ˆ 1
2
3
= 22 | sin 2mπt − sin 2nπt|dt
0
ˆ 1
2
5
=2 2 | sin(m − n)πt|| cos(m + n)πt|dt
0
ˆ 1
2
5
22 sin2 (m − n)πt cos2 (m + n)πtdt
0
1
= 2− 2 .
, T {ψn (t)} {T ψn }, T .
∞ ∞ ∞
11. (αij ) i=1 j=1 |αij |2 = +∞, y = T x : ηi j=1 αij
2 2
ξj (x = {ξn } ∈ l , y = {ηn } ∈ l ) .
, x = {ξn } ∈ l2 , ηn = ξn
√
n
, , y = {ηn } ∈ l2 ,
2 2
y = Tx T l l . T . ,
2
l A, M , x = {ξn } ∈ A,
∞ 12
||x|| = |ξn |2 M.
n=1
limn→∞ √1 = 0, ε > 0, n0 , n > n0 √1 < ε
n n M,
∞ 1 ∞ 12
ξn 2 2 ε
√ < |ξn |
2
ε.
n M n=n +1
n=n +1
0 0
14. .
$ X, Y , K(X, Y ) X
Y . $ T ∈ K(X, Y ), T T −1 , T
∗ ∗ ∗
X R(T ) . T ∈ K(X, Y ), T ∈ K(Y , X ),
∗
||T || = ||T ||. T , :
I R(T ) = Y ( T ∈ I).
II R(T ) = Y , R(T ) = Y ( T ∈ H, ).
III R(T ) = Y .
−1
1. T .
−1
2. T .
−1
3. T .
T ∈ II T ∈ 1, T ∈ II1 . T 9 . , T ∗
9 . , (T, T ∗ ) 81 . 6 (T, T ∗ ) 81
. X Y T , (T, T ∗ )
# ( [311]), ,
X, Y T , (T, T ∗ ) #.
(T, T ∗ ) ∈ (II2 , II2 ) $ X = Y = l2 , (αij )
⎛ ⎞
1 0
⎜ ⎟
⎜ 2−1 ⎟
⎜ ⎟
⎜ −2 ⎟
⎜ 2 ⎟
⎜ ⎟
⎜ .. ⎟,
⎜ . ⎟
⎜ ⎟
⎜ 1−k ⎟
⎜ 2 ⎟
⎝ ⎠
..
0 .
[14.14] Riesz · 287 ·
6
∞ ∞
i=1 j=1 |αij |2 < +∞. T :
∞
y = T x : ηi = αij ξj (i = 1, 2, · · · ),
j=1
x = {ξn }, y = {ηn }, T X Y . T = T ∗.
# R(T ), Y
−1
, R(T ) Y , R(T ) = Y . y = (1, 2 , · · · , 21−k , · · · )
∈ Y \R(T ), R(T ) = Y , T ∈ II. X = Y , T ,
−1
T ( [14], p.142). , T ∈ II2 . T = T ∗ , (T, T ∗ ) ∈ (II2 , II2 ).
(T, T ∗ ) ∈ (II3 , III2 ) $ X = Y = l2 , x = {ξn } ∈ X, T (ξ1 , ξ2 , · · · ) =
−1 −2
(2 ξ2 , 2 ξ3 , · · · ), T X Y R(T ) = Y, R(T ) = Y .
α,
T (α, 0, 0, · · · ) = 0,
T −1 . , T ∈ II3 .
T (ξ1 , ξ2 , · · · ) = (0, 2−1 ξ1 , 2−1 ξ2 , · · · ),
∗
ξ3 ξ4
T0 (ξ1 , ξ2 , · · · ) = , ,··· ,
ξ2 ,
2 3
T0 X l2 . Y = R(T0 ) ⊂ l2 , T T0 , , T X
−1
Y . , T , T ∈ I3 .
ξ2
T ∗ x = 0, ξ1 , , · · · ,
2
R(T ∗ ) = X ∗ , T ∗ Y ∗ R(T ∗ ) , (T ∗ )−1 ,
, T ∗ ∈ III2 .
(T, T ∗ ) ∈ (II2 , III2 ) $ X = l, Y = l2 , I X Y .
2
||x||2 ||x||1 , I . x = {ξn } ∈ l ,
ξ2 ξ3
Kx = ξ1 , , , · · · ,
2 3
2 2
K l l , T = KI X Y . ,
−1
R(T ) = Y T , T ∈ II2 .
ξ2
T ∗ (ξ1 , ξ2 , · · · ) = ξ1 , , · · · ,
2
Y∗ = l2 , X ∗ = l∞ , R(T ∗ ) = Y ∗ , R(T ∗ ) = X ∗ , (T ∗ )−1 ,
T ∗ ∈ III2 .
(T, T ∗ ) ∈ (III2 , III3 ) $ X = l, Y = l2 , x = {ξk } ∈ X,
ξ1 ξ2
T x = 0, , , · · · ,
2 3
T X Y . , T ∈ III2 . T , T ∗
, R(T ∗ ) . X ∗ = l∞ , R(T ∗ ) = X ∗ , T ∗ ∈ III. ,
[14.15] Riesz · 289 ·
S + T Riesz .
$ X Banach , S, T ∈ L(X). S, T Riesz , ST =
T S, ST, S + T Riesz ( [88], pp.68—69).
S T .
||T n || = sup{αm αm+1 · · · αm+n−1 }.
m
, {αm }
7
k−1
k−r−1
α1 α2 · · · α2k −1 e−r2 ,
r=1
k−1 2
7 r
21−k −
(α1 α2 · · · α2k −1 ) e 2r+1 .
r=1
∞ 1
σ= r
r=1 2r+1 , e−2σ limn→∞ ||T n || n . , T .
k, Tk :
0, m = 2k (2l + 1),
T k em =
αm em+1 , m = 2k (2l + 1).
, Tk , Riesz ,
−k
e em+1 , m = 2k (2l + 1),
(T − Tk )em =
0, m = 2k (2l + 1).
, ||T − Tk || = e−k , {Tk } L(X) T .
T Riesz . , , T r(T ) = limn→∞
1
||T ||
n n > 0, λ ∈ σ(T ), λ T ( [88], pp.74—75).
$ x ∈ X T x = λx , $ x {em } Fourier $
∞
x= cm e m ,
m=1
[14.19] Riesz · 291 ·
∞ ∞
Tx = m=1 cm αm em+1 , λx = m=1 λcm em . λc1 = 0, cm αm =
λcm+1 , m = 1, 2, · · · , cm = 0, m = 1, 2, · · · . x = 0 , T
Riesz .
West [319] 1966 , Riesz {Tn } T Tn (n =
1, 2, · · · ) , T Riesz .
T = A1 + B1 , A1 B1 , A1 B1 = B1 A1 ,
T B1 = B1 T . , r x ∈ Er ,
T (B1 x) = B1 (T x) = B1 (r−1 x) = r−1 B1 x,
B1 x ∈ Er . , Er B1 . Er 1 ,
σ(B1 |Er ) . , B1 |Er ,
σ(B1 |Er ) ⊂ σ(B1 ) = {0}.
B1 |Er . (1) , B1 er = 0 (r = 1, 2, · · · ), B1 = 0,
T = A1 , .
West [319] : H Hilbert , T ∈ L(H) Riesz , T
A B : T = A + B. ,
A B . , West Hilbert Banach
? .
0. .
, ,
:
$ H Hilbert , T H H , T T ∗ ,
T ∗ T = T T ∗, T ; T T ∗ T , T T ∗T = T ∗ T T,
T ; T , T ;
∗ ∗ ∗
x ∈ H, T x T x , T ; T T T T ,
T ∗ T T T ∗ = T T ∗T ∗ T, T .
, :
⇒ ⇒ ⇒ ⇒ ⇒ .
. Hilbert ,
.
, [126].
1. .
, , . , $
I Hilbert H H , T = 2iI ,
∗
T = −2iI,
T T ∗ = T ∗ T = 4I.
T ∗ = T, T .
· 296 · [15.3]
2. .
, Hilbert H H . ,
U , U U . ,
∞
U =E
∞
x, y = ξn η̄n ,
n=1
3. .
, T , T T
. , . ,
2
Hilbert L [0, 1] 0 1 x (t) (
2
) # L [0, 1] x(t)
T x(t) = ix (t).
T , ,
ˆ 1
T x, y − x, T y = i [x (t)y(t) + x(t)y (t) ]dt = i[x(t)y(t) ]|10 = 0.
0
, T . , {xn (t)} # D(T ) ,
xn (t) → x(t), ixn (t) → ih(t),
ˆ ˆ t
t
ixn (t) = i xn (ξ)dξ → i h(ξ)dξ (= 0, t = 0 1),
0 ´t 0
x(t) = 0 h(ξ)dξ. L2 [0, 1]
, x(t) . x(t)
# D(T ),
T x(t) = ih(t).
ˆ 1
i x (t)[ y(t) + iy ∗∗ (t) ]dt = 0.
0
5. .
x = (ξ1 , ξ2 , · · · ) ∈ l2 ,
ξ2 ξn
Tx = ,··· , ,··· ,
ξ1 ,
2 n
T l2 l2 . y = {ηn } ∈ l2 ,
T x, y = x, T y,
T , . T R(T ) (
32).
6. , .
$ ⎛ ⎞ ⎛ ⎞
13 12 16 0
S=⎝ ⎠, T =⎝ ⎠,
12 13 0 49
2
x = (x1 , x2 ), y = (y1 , y2 ) ∈ R ,
Sx, y = (13x1 + 12x2 , 12x1 + 13x2 ), (y1 , y2 )
= 13x1 y1 + 12x1 y2 + 12x2 y1 + 13x2 y2 ,
x, Sy = (x1 , x2 ), (13y1 + 12y2 , 12y1 + 13y2 )
= 13x1 y1 + 12x1 y2 + 12x2 y1 + 13x2 y2 ,
2 2
S R R . , T R2 R2 .
,
(ST )x, y = x, (ST )y,
ST .
, S, T Hilbert H H , ST
S, T . , S, T .
7. .
$ S, T 6 ,
(S − T )x, x = (12x2 − 3x1 , 12x1 − 36x2 ), (x1 , x2 )
= −3(x21 − 8x1 x2 + 12x22 ).
x = (0, 1), (S − T )x, x = −36 < 0; x = (4, 1), (S − T )x, x =
12 > 0. , S T .
8. S, T, S T, S 2 T 2 .
$ ⎛ ⎞ ⎛ ⎞
1 1 1 0
S = 3⎝ ⎠, T = 4⎝ ⎠,
1 1 0 3
[15.10] · 299 ·
, S 2 T 2 .
, 0 S T S T , S 2 T 2 ( [91], p.925).
9. .
R2 ⎛ ⎞
1 0
⎝
⎠ , a = 0
a 0
T : y = T x, y1 = x1 , y2 = ax1 , x = (x1 , x2 ), y = (y1 , y2 ) ∈ R2 .
z = T y = T 2 x, z1 = y1 = x1 , z2 = ay1 = ax1 ,
T 2 = T, T . x = (x1 , x2 ) ∈ R2 , y = (y1 , y2 ) ∈ R2 ,
T x, y = x1 y1 + ax1 y2 , x, T y = x1 y1 + ax2 y1 .
T x, y = x, T y, T .
, .
.
∞ ∞
10. λn (n = 1, 2, · · · ) n=1 |λn |2 < +∞, n=1 |λn |ρ =
+∞ (ρ < 2) .
$ {ϕn } Hilbert H , T H H
∞ 2
, |||T ||| = n=1 T ϕn T . #,
[277]
Schur $ T Hilbert H # |||T |||
, {λn } T , |λ1 | |λ2 | · · · ,
∞
|λi |2 |||T |||2 < +∞.
i=1
· 300 · [15.13]
∞ ∞
, Schur i=1 |λi |2 < +∞ i=1 |λi |2−ε <
+∞ (ε > 0), . , $ {ϕn } Hilbert H
,
T ϕn = λn ϕn , n = 1, 2, · · · ,
− 12
λn = (n + 1) (ln(n + 1))−1 ,
∞ ∞ ∞
1
|||T |||2 = T ϕn 2 = |λn |2 = < +∞,
n=1 n=1 n=2
n(ln n)2
λ1 , λ2 , · · · T ,
∞
|λn |ρ = +∞ (ρ < 2).
n=1
T . , x ∈ H,
∞
∞
x= x, ϕn ϕn , T x = x, ϕn T ϕn ,
n=1 n=1
8 9
∞
∞
∞
T x, x = λn x, ϕn ϕn , x, ϕn ϕn = λn | x, ϕn |2 0,
n=1 n=1 n=1
T .
11. .
x ∈ L2 [0, 1], T x(t) = tx(t), T L2 [0, 1] L2 [0, 1]
. T x, y = x, T y, T .
Rλ (T )x(t) = (t − λ)−1 x(t),
σ(T ) = [0, 1]. λ ∈ [0, 1], (t−λ)x(t) = 0 t = λ , x(t) = 0,
x = 0. , λ T . λ ∈ [0, 1] , T .
∞
12
(Tn − T )x = |ξn |2 + |ξk − ξk−1 |2 → 0 (n → ∞),
k=n+1
18. T, T n = T .
, T , n, T n = T n
.
. , $
⎛ ⎞ ⎛ ⎞
0 0 0 1 0 0
⎜ ⎟ ⎜ ⎟
⎜ ⎟ ⎜ ⎟
T = ⎜0 0 0⎟, T∗ = ⎜0 0 1⎟,
⎝ ⎠ ⎝ ⎠
0 1 0 0 0 0
∗ ∗
T T, T . T = T n.
TT = n
, $ 1 k n ,
T k
= T k
,
2
T x n
= T n x, T n x = T ∗ T n x, T n−1 x T ∗ T n x T n−1 x
T n+1x T n−1 x T n+1 T n−1 x 2,
2
T n T n+1 T n−1 . # $, 1 k n T k = T k
,
2n
T T n+1
T n−1
, T n+1
T n+1
. , T n+1
T n+1
,
T n+1 = T n+1
.
23. .
T , T ∗ T = T T ∗, T T ∗ T = T ∗ T T, T T ∗ T ,
T . , . , x = (ξ1 , ξ2 , · · · ) ∈
l2 ,
T x = (0, ξ1 , ξ2 , · · · ),
T , ( 12). T , T ∗ T = I,
T T ∗ T , T . ,
T ∗ x = (ξ2 , ξ3 , · · · ), T T ∗ x = (0, ξ2 , ξ3 , · · · ),
T ∗ T x = x, T T ∗ = T ∗ T, T .
[15.25] · 305 ·
24. .
, ( [126], p.80). , Hilbert
, . , Hilbert
. , $ T l2 ,
2
x = (ξ0 , ξ1 , ξ2 , · · · ) ∈ l ,
T (ξ0 , ξ1 , ξ2 , · · · ) = (0, ξ0 , ξ1 , · · · ),
∞
$ K i=−∞ |ξi |2 < ∞ (· · · , ξ−2 , ξ−1 , (ξ0 ), ξ1 , ξ2 , · · · )
Hilbert , W K :
W (· · · , ξ−2 , ξ−1 , (ξ0 ), ξ1 , ξ2 , · · · ) = (· · · , ξ−3 , ξ−2 , (ξ−1 ), ξ0 , ξ1 , · · · ).
, W ,
W ∗ (· · · , ξ−2 , ξ−1 , (ξ0 ), ξ1 , ξ2 , · · · ) = (· · · , ξ−1 , ξ0 , (ξ1 ), ξ2 , ξ3 , · · · ).
W W ∗ x = (· · · , ξ−2 , ξ−1 , (ξ0 ), ξ1 , ξ2 , · · · ) = x,
T T ∗ = T ∗ T, T , .
Lubin [213] R S, R + S RS
, .
25. .
, . , Hilbert
, ( [126], p.83). , Hilbert
. # Stampfli [300] .
$ A Hilbert H , $ Hilbert K B
A , x0 , x1 , · · · , xn ∈ H,
n
(B ∗ )j xj 0.
j=0
B ,
8 n 9 :
n
n
n
∗ j ∗ i
0 (B ) xj , (B ) xi = (B ∗ )j xj , (B ∗ )i xi
j=0 i=0 j=0 i=0
n
n
n
n
= B i (B ∗ )j xj , xi = (B ∗ )j B i xj , xi ( B )
j=0 i=0 j=0 i=0
n n
n n
= B i xj , B j xi = i
A xj , Aj xi .
j=0 i=0 j=0 i=0
· 306 · [15.26]
xj ξj , ξj xj xj ,
n
n
Ai xj , Aj xi ξj ξ¯i 0,
j=0 i=0
, ( Ai xj , Aj xi ) . Hilbert
. ,
, .
$ S (α0 , α1 , α2 , · · · ) , (ϕ0 , ϕ1 , ϕ2 , · · · ) l2
. , S ∗ S SS ∗ , S ∗ S
2 2 2 ∗ 2 2 2
(|α0 | , |α1 | , |α2 | , · · · ), SS (0, |α0 | , |α1 | , |α2 | , · · · ). , S
∗ ∗
( SS S S) {|αn |} . S
(α, β, 1, 1, · · · ) , 0 < α < β < 1. # , S .
, i, j 0, 1, 2, ( S i ϕj , S j ϕi )
⎛ ⎞
1 α αβ
⎜ ⎟
⎜ ⎟
⎜ α β2 β ⎟ ,
⎝ ⎠
αβ β 1
2 2 2
−α (1 − β ) < 0, , S
.
SA = U S, A = S −1 U S, A U . A U ,
U , A .
(A∗ Af )n = Sn2 fn , (AA∗ f )n = Sn−1
2
fn .
.
265–270.
[47] ——, On extreme points in separable conjugate spaces. Israel J. Math. 4 (1966),
262–264.
[48] ——, Rolewicz, S., On diametral approximative dimension and linear homogeneity
of F -spaces. Bull Acad. Sci. Pol. 9 (1961), 677–683.
[49] Bianchini, R.M.T., Su un problema di S. Reich riguardante la teoria dei punti fissi.
Roll Un Math Ital, 5 (1972), 103–108.
[50] Bishop, E., Phelps, R. K., A proof that every Banach space is subreflexive. Bull
Amer Math. Soc. 67 (1961), 97–98.
[51] Bohnenblust, F., Convex regions and projections in Minkowski spaces. Ann Math.
39 (1938), 301–308.
[52] ——, Sobczyk, A., Extensions of functionals on complex linear spaces. Bull Amer
Math. Soc. 44 (1938), 91–93.
[53] Bonsall, F. F., Lectures on some fixed point theorems of functional analysis. Tatn
Institute of fundamental Research. Bcmbay India, 1962.
[54] Bosznay, P., A counterexample to a general stability result in universal spaces.
Ann Univ Sci. Budepest Eöt vös sect Math. 22/23 (1979/80), 221–223.
[55] Bourgain, J., l∞ /c0 has no equivalent strictly convex nome. Proc Amer Math. Soc.
78 (1980), 225–226.
[56] Boyce, W. M., Commuting function with no common fixed point. Trans Amer
Math. Soc. 137 (1969), 77–92.
[57] Browder, F. E., Nonexpansive nonlinear operators in a banach space. Proc Nat.
Acad. Sci (U.S.A.), 54 (1965), 1041–1044.
[58] ——, Fixed point theorems for noncompact mappings in Hilbert space. Proc. Nat.
Acad. Sci. (U.S.A.), 53 (1965), 1272–1276.
[59] Bryant, V. W., A remark on a fixed-point theorem for iterated mappings. Amer
Math Monthly. 75 (1968), 399–400.
[60] Bynum, W. L., Drew, J. H., A Weak parallelogram law for lp. Amer Math Monthly,
79 (1972), 1012–1015.
[61] Byrnes, J. S., A complete set which is not a basis. Amer Math Monthly, 79 (1972),
510–512.
[62] Cain, B. E., Limits of operators on H. Amer Math Monthly, 78 (1971), 920.
[63] Campbell, S. L., Linear operators for which T ∗ T and T T ∗ commute (II). Pacific
J. Math. 53 (1974), 355–361.
[64] Cater, F. S., Complementary subsets of the irrationals. Amer Math Monthly, 88
(1981), 447–448.
[65] Chantaria, Z. A., On bases in spaces C[0, 1] and L[0, 1]. Bull Acad Sci. Pol. 19
(1971), 1013–1021.
[66] Chatterjea, S. K., Fixed-point theorem. C. R. Acad Bulgare Sci, 25 (1972), 727–
· 312 ·
730.
[67] Chernoff, P. R., Waterhouse, W. C., Operators on a Hilbert space. Amer Math
Monthly, 75 (1968), 87.
[68] Chow, T. R., The spectral radius of a direct integral of operators. Proc Amer Math
Soc. 26 (1970), 593–597.
[69] Ciric, L. B., Generalized contractions and fixed-point theorems. Publ Inst Math
(N.S.), 12 (1971), 19–26.
[70] ——, A generalization of Banach’s contraction principle. Proc Amer Math Soc. 45
(1974), 267–273.
[71] Clarkson, J. A., Uniformly conver spaces. Trans Amer Math Soc. 40 (1936), 396–
414.
[72] Cohen, P. J., A counterexample to the closed graph theorem for bilinear maps. J
Functional Analysis, 16 (1974), 235–240.
[73] Crabb, M. J., The power inequality on normed spaces. Proc Edinburgh Math Soc.
17 (1970), 237–240.
[74] ——, Some results on the numerical range of an operator. J London Math Soc. 2
(1970), 714–745.
[75] Davis, W. J., Dean, D. W., Bor-Luh-Lin, Bibasic sequences and norming basic
sequences. Tran Amer Math Soc. 176 (1973), 89–102.
[76] Davis, W. J., Singer, I., Boundedly complete M -bases and complemented sub-
spaces in Banach spaces. Tran Amer Math Soc. 175 (1973), 187–193.
[77] Day, M. M., The spaces Lp with 0 < p < 1. Bull Amer Math Soc. 46 (1940),
816–823.
[78] ——, Reflexive Banach spaces not isomorphic to uniformly convex spaces. Bull
Amer Math Soc. 47 (1941), 313–317.
[79] ——, Strict convexity and smoothness. Trans Amer Math Soc. 78 (1955), 516–528.
[80] ——, James, R. C., Swaminathan, S., Normed linear spaces that are uniformly
convex in every direction. Canad J Math. 23 (1971), 1051–1059.
[81] Dean, D. W., Schauder decompositions in (m). Proc Amer Math Soc, 18 (1967),
619–623.
[82] DeMarr, R., Common fixed points for commuting contraction mappings, Pacific J
Math. 13 (1963), 1139–1141.
[83] Diestel, J., Geometry of Banach spaces. Selected Papers. Lect Notes in Math. Vol
485, Springer 1975.
[84] ——, Uhl, J. J., The Radon-Nikodym theorem for Banach space valued measures.
Rocky Mountain J. 6 (1976), 1–46.
[85] ——, Theory of vector measure. Amer Math Soc Math Surveys, 1977.
[86] Diminnie, C. R., Albert, W., Problem 6021. Amer Math Monthly, 82 (1975), 307.
[87] Dixmier, J., Sur un théoréme de Banach. Duke Math J. 15 (1948), 1057–1071.
· 313 ·
[88] Dowson, H. R., Spectral theory of linear operators. London New York, 1978.
[89] Drewnowski, L., The weak basis theorem fails in nonlocally convex F -spaces.
Canad J Math. 29 (1977), 1069–1071.
[90] Dunford, N., Uniformity in linear spaces. Trans Amer Math Soc. 44 (1938), 305–
356.
[91] ——, Schwartz, J., Linear operators (I). New York: Interscience 1958.
[92] Dunkl, C. F., Williams, K. S., A simple norm inequality. Amer Math Monthly. 71
(1964), 53–54.
[93] Dvoretzky, A., Rogers, C. A., Absolute and unconditional convergence in normed
linear spaces. Proc Nat Acad Sci (U.S.A.), 36 (1950), 192–197.
[94] Eberlein, W. F., Weak compactness in Banach spaces. Proc Nat Acad Sci (U.S.A.),
33 (1947), 51–53.
[95] Edelstein, M., On fixed and periodic points under contractive mappings. J London
Math Soc. 37 (1962), 74–79.
[96] Edgar, G. A., A long James space, in measure theory. Oberwolafach, 1979, edited
by D. Kolzow, Lecture Notes in Mathematics 794, Springer-Verlag, 1980.
[97] Ekeland, I., Lebourg, G., Approximate Subgradients. Generic Fréchet differentia-
bility, in Banach spaces. C. R. Acad Sci. 281 (1975), 219–222.
[98] Emeric, D., On some norm-normal operators in finitedimensional normed. J Lon-
don Math Soc. 8 (1974), 664–666.
[99] Enflo, P., A counter-example to the approximation problem in Banach spaces.
Acta Math. 130 (1973), 309–317.
[100] ——, Lindenstrauss, J., Pisier, G., On the “three space problem”. Math Scand, 36
(1975), 199–210.
[101] Fan, K., Irving, G., Some geometric properties of the spheres in a normed linear
space. Duke Math J. 25 (1958), 353–368.
[102] Figiel, T., A example of infinite dimensional reflexive Banach space non-isomorphic
to its Cartesian square. Studia Math. 42 (1972), 295–306.
[103] ——, Johnson, W. B., The approximation property does not imply the bounded
approximation property. Proc Amer Math Soc. 41 (1973), 197–200.
[104] ——, A uniformly convex Banach space which contains no lp . Composito Math.
29 (1974), 179–190.
[105] Foguel, S. R., A counterexample to a problem of Sz-Naegy Proc Amer Math Soc.
15 (1964), 788–790.
[106] Fournier, G., On a problem of S. Ulam. Proc Amer Math Soc. 29 (1971), 622.
[107] Fox, H. S., Maps of a non-compact metric space. Amer Math Monthly. 72 (1965),
1142–1143.
[108] Franchetti, C., Admissible sets in Banach spaces. Rev Roumanie Math. Pures at
Appl, 18 (1973), 25–31.
· 314 ·
[109] Gelfand, I. M., Abstrakte Funtionen und Lineare Operatoren. Matem sb, 4
(1938), 235–286.
[110] Garling, D. J. H., Symmetric bases of locally convex spaces. Studia Math, 30
(1968), 163–181.
[111] Geibaum, B. R., Expansions in Banach spaces. Duke Math J. 17 (1950), 187–196.
[112] ——, A nonabsolute basis for Hilbert space. Proc Amer Math Soc. 2 (1951), 720–
721.
[113] ——, Notes on Banach spaces and basis. An Acad Brasil ci, 30 (1958), 29–36.
[114] Giles, J. R., Gregory, D. A., Sime, B., Characterization of normed linear spaces
with Mazur’s intersection property. Bull Australian Math Soc. 18 (1978), 105–123.
[115] Gillespie, T. A., West, T. T., A characterization and two examples of Riesz oper-
ators. Glasgow Math J. 9 (1968), 106–110.
[116] Goebel, K., An elementary proof of the fixed point theorem of Browder and Kirk.
Michigan Math J. 16 (1969), 381–383.
[117] Goldberg, S., Linear operators and their conjugates. Pacific J Math. 9 (1959),
69–79.
[118] ——, A simple proof of a theorem concerning reflexivity. Amer Math Monthly, 67
(1960), 1004.
[119] ——, Closed linear operators and associated continuous operators. Pacific J Math.
12 (1962), 183–186.
[120] ——, Unbounded linear operators. McGraw-Hil, 1966.
[121] ——, Linear functionals in normed spaces. Amer Math Monthly. 84 (1977), 829–
830.
[122] ——, Throp, E. O., On some open questions concerning stricty singular operators.
Proc Amer Math Soc. 14 (1963), 334–336.
[123] Grothendieck, A., Sur les applications faiblement compactes d’espaces du type
C(K). Canad J Math. 5 (1953), 129–173.
[124] Hahn, H., Über lineare Gleichungssysteme in linearen Räumen. Jouranl Reine
Angew Math. 157 (1927), 214–229.
[125] Halmos, P. R., On Foguel’s answer to Nagy’s question. Proc Amer Math Soc. 15
(1964), 791–793.
[126] ——, A Hilbert space problem book. Van Nostrand, 1967.
[127] Hanner, O., On the uniform convexity of Lp and lp . Ark Mat, 3 (1956), 239–244.
[128] Hardy, G. E., Rogers, T. D., A generalization of a fixed point theorem of Reich.
Cand Math Bull, 16 (1973), 201–206.
[129] Hayden, T. L., The extension of bilinear functionals. Pacific J Math. 22 (1967),
99–108.
[130] ——, A conjecture on the extension of bilinear functionals. Amer Math Monthly,
74 (1967), 1108–1109.
· 315 ·
[131] Heinrich, S., Mankiewicz, P., Applications of ultrapowers to the uniform and Lip-
schitz classification of Banach spaces. Studia Math. 73 (1982), 49–75.
[132] Hennefeld, J., On nonequivalent normalized unconditional bases for Banach spaces.
Proc Amer Math Soc. 41 (1973), 156–158.
[133] Herbert, A. G., Extensions of linear transformations, Amer Math Monthly, 71
(1964), 525–529.
[134] Herman, R., Whitley, R., An example concerning reflexivity. Studia Math. 28
(1967), 289–294.
[135] Hermann, H., On uniform continuity and compactness in metric spaces. Amer
Math Monthly, 88 (1981), 204–205.
[136] Hewitt, E., Rings of real-valued continuous functions (I). Trans Amer Math Soc.
64 (1948), 45–99.
[137] Hilbert, D., Grundzüge liner allgemeinen Theorie der linearen Integralgleichungen.
Repr, 1912.
[138] Hille, E., Tamarkin, J. D., On the theory of linear integral equations II. Ann of
Math, 35 (1934), 445–455.
[139] Huff, R., Banach spaces which are nearly uniformly convex. Rocky Mountain J
Math. 10 (1980), 743–749.
[140] Huneke, J. P., On common fixed points of commuting continuous functions on an
interval. Trans Amer Math Soc. 137 (1969), 371–381.
[141] James, D., Topological isomorphism and conjugate spaces. Amer Math Monthly.
74 (1967), 1109–1111.
[142] James, L., Nowhere continuous, quasi-continuous functions. Amer Math Monthly.
84 (1977), 830.
[143] James, P. H., Subsets of the Cantor set. Amer Math Monthly. 89 (1982), 279.
[144] James, R. C., A non-reflexive Banach space isometric with its second conjugate
space. Proc Nat Acad Sci (U.S.A.), 37 (1951), 174–177.
[145] ——, Separable conjugate spaces. Pacific J Math. 10 (1960), 563–571.
[146] ——, Characterizations of reflexivity. Studia Math. 23 (1964), 205–216.
[147] ——, coreflexive and somewhat reflexive Banach spaces. Proc Amer Math Soc. 36
(1972), 421–427.
[148] Jamisom, B., Eigenvalues of modulus 1. Proc Amer Math Soc. 16 (1965), 375–377.
[149] Jerison, M., The space of bounded maps into a Banach space. Ann of Math. 52
(1950), 309–327.
[150] John, K., Zizler, V., Smoothness and its equivalents in weakly compactly generated
Banach space. J Functional Analysis, 15 (1974), 1–11.
[151] Johnson, G. G., Hilbert space problem four. Amer Math Monthly, 78 (1971), 525–
527.
[152] Johnson, W. B., Lindenstrauss, J., Some remarks on weakly compactly generated
· 316 ·
[175] Klee, V. L., Some topological properties of convex sets. Trans Amer Math Soc. 78
(1955), 30–45.
[176] ——, Some new results on smoothness and rotundity in normed linear spaces.
Math Ann, 39 (1959), 51–63.
[177] Klein, E. M., Generalized bases in cross spaces. Amer Math Monthly. 80 (1973),
325–326.
[178] Komatuzaki, H., Sur les projections dans certaines espaces dutype (B). Proc Imp
Acad Tokyo, 16 (1940), 274–279.
[179] ——, Sur les projections dans certaines espaces du type (B). Proc Imp Acad Tokyo,
17 (1941), 238–240.
[180] Kren, M. G., Milman, D. P., Rutman, M. A., Ob obnom svostve bazisa
V Prostranstve Banaha. Zap Hark, Matem obx, 16 (1940), 106–108.
[181] Krein, M., Milman, D., On extreme points of regular convex sets. Sudia Math, 9
(1940), 133–138.
[182] Kripke, B., One more reason why sequences are not enough. Amer Math Monthly.
74 (1967), 563–565.
[183] Kruse, A. H., Badly incomplete normed spaces. Math Z, 83 (1964), 314–320.
[184] Kwapien, S., Pelczyński, A., The main triangle projection in matrix spaces and its
application. Studia Math. 34 (1970), 43–68.
[185] Lacey, H. E., Separable quotients of Banach spaces. An Acad Brasil ci, 44 (1972),
185–189.
[186] Lagnese, J., Linear dependence in Lp . Amer Math Monthly. 84 (1977), 66–67.
[187] Larsen, R., Functional analysis. New York, 1973.
[188] Laugwitz, D., On assigning an arbitrary limit to a linearly independent sequence
of vectors. Amer Math Monthly. 71 (1964), 290–291.
[189] Leland, K. O., Meyers, L. F., A peculiar non-isometry of the plane. Amer Math
Monthly. 71 (1964), 799.
[190] Levine, N., A note on the Lipschitz condition in metric spaces. Proc Amer Math
Soc. 13 (1962), 314–315.
[191] Lindenstrauss, J., On a problem of Nachbin conorning extension of opertors Israel
J Math. 1 (1963), 75–84.
[192] ——, On operators which attain their norm B(X, Y ). Israel J Math. 1 (1963),
139–148.
[193] ——, A remark concerning projections in summability domain. Amer Math
Monthly. 70 (1963), 977–978.
[194] ——, On a certain subspace of l1 . Bull Acad Sci. Pol 12 (1964), 539–542.
[195] ——, On projections with norm 1—an example. Proc Amer Math Soc. 15 (1964),
403–406.
[196] ——, On complemented subspaces of m. Israel J Math. 5 (1967), 153–156.
· 318 ·
[218] Mcwilliams, R. D., On projections of separable subspaces of (m) onto c. Proc Amer
Math Soc. 10 (1959), 872–876.
[219] ——, Iterated w∗ -sequential closure of a Banach space in its second conjugate.
Proc Amer Math Soc. 16 (1965), 1195–1199.
[220] Menger, K., Untersuchungen über allgemeino Metrik von. Math Ann. 100 (1928),
75–163.
[221] Minkowski, H. Gesammete Abhandlungen. Vol I, II. Leipziy, 1911.
[222] Murray, F. J., On complementary manifolds and projections in spaces Lp and lp .
Trans Amer Math Soc. 41 (1937), 138–152.
[223] Nachbin, L., A theorem of the Hahn-Banach type for linear transformations. Trans
Amer Math Soc. 68 (1950), 28–46.
[224] ——, Some problems in extending and lifting linear transformations. Proc Internat
Sympos. Linear spaces. Jerusalem, 1961, 340–350.
[225] Nadler, B. Jr., Sequences of contractions and fixed points. Pacific J Math. 27
(1968), 579–585.
[226] Nagy, B. sz., Completely continuous with uniformly bounded iterates. Magyar Tud
Akad Mat Kutató Int Közl, 4 (1959), 89–93.
[227] Naimpally, S. A., Function spaces of invertible spaces. Amer Math Monthly. 73
(1966), 513–515.
[228] Namioka, I., Phelps, R. R., Banach spaces which are Asplund spaces. Duke Math
J. 42 (1975), 737–750.
[229] Nathanson, M. B., Round metric spaces. Amer Math Monthly. 82 (1975), 738–741.
[230] Neculce, N., The weakening of Cauchy’s convergence criterion. Amer Math
Monthly. 68 (1961), 880–885.
[231] von, Neumann, J., Mathematische Begründung der Quantenmechanik. Nachr Ges.
Wiss, Göttingen. Math-Phys, kl. (1927), 1–57.
[232] ——, Zur Algebra der Functionalope rationen und Theorie der normalen Opera-
toren. Math Ann. 102 (1930), 370–427.
[233] ——, Charakterisierung des spektrums eines integral operators. Actualites Sci et
Ind 229, Paris, 1935.
[234] Niechajewicz, R., Sets of limit points of compact sequences in metric spaces. Bull
Acad Sci Pol, 25 (1977), 251–253.
[235] Nishiura, T., Waterman, D., Reflexivity and Summability Studia Math, 23 (1963),
53–57.
[236] Olagunju, A., A note on closed operators. Proc Cambridge Philos Soc. 57 (1961),
426.
[237] Partington, J. R., On the Banach-Saks property. Math Proc Cambridge Philos
Soc. 82 (1977), 369–374.
[238] Peck, N. T., Support points in locally convex spaces. Duke Math J. 38 (1971),
· 320 ·
271–278.
[239] Pelczynski, A., Projections in certain Banach spaces. Studia Math. 19 (1960), 209–
228.
[240] ——, On the impossibility of embedding of the space L in certain Banach spaces.
Coll Math. 8 (1961), 199–203.
[241] ——, On strictly singular and strictly cosingular opertors. Bull Acad Sci Pol. 13
(1965).
[242] ——, Some open questions in functional analysis. A lecture gives to Louisiana
State University, 1966.
[243] ——, Singer, I., On non-equivalent bases and conditional bases in Banach spaces.
Studia Math. 25 (1964), 5–25.
[244] ——, Sudakov, V. N., Remark on non-complemented subspaces of the space m (s).
Collog Math. 9 (1962), 85–88.
[245] Pethe, P. V., Thakare, N. K., Asplund spaces and property (I). Preprint (1978).
[246] Pettis, B. J., A proof that every uniformly convex space is reflexive. Duke Math
J. 5 (1939), 249–253.
[247] Phelps, R. R., Weak support points of convex sets in E ∗ . Israel J Math. 2 (1964),
177–182.
[248] Phillips, R. S., On linear transformations. Trans Amer Math Soc. 48 (1940), 516–
541.
[249] Pryce, J. D., Banach spaces with common basis. Amer Math Monthly. 71 (1964),
569.
[250] Pujara, L. R., A uniformly convex Banach spaces with a Schauder basis which is
subsymmetric but not symmetric. Proc Amer Math Soc. 54 (1976), 207–210.
[251] Putnam, C. R., On normal operators in Hilbert space. Amer J Math. 73 (1951),
357–362.
[252] Radjavi, H., Rosenthal, P., Invariant subspaces, Berlin-Heidelberg, New York
Springer, 1974.
[253] Rainwater, J., Local uniform convexity of Day’s norm on c0 (Γ ). Proc Amer Math
Soc. 22 (1969), 335–339.
[254] Rakotch, E., A note on contractive mappings. Proc Amer Math Soc. 13 (1962),
459–465.
[255] Reich, S., Some remarks concerning contraction mappings. Cand Math Bull. 14
(1971), 121–124.
[256] ——, Kannan’s fixed point theorem. Bull Un Mat Ital, 4 (1971), 1–11.
[257] Rellich, F., Spektral theorie in nichtseparablen Raüman. Math Annalen, 110
(1934), 342–356.
[258] Restrepo, G., Differentiable norms. Boletin Soc Matematica Mexicona, 10 (1965),
47–55.
· 321 ·
[259] Retherford, J. R., Some remarks on Schauder bases of subspaces. Rev Roum Math.
Pures et Appl, 11 (1960), 787–792.
[260] Rhoades, B. E., A comparison of various definitions of contractive mappings. Trans
Amer Math Soc. 226 (1977). 257–290.
[261] Rickart, C. E., General theory of Banach algebras. Van Nostrand, 1960.
[262] Riesz, F., Zur Theorie des Hilbertschen Raumes. Acta Sci Math. 7 (1934), 34–38.
[263] Robert, W. C., Weak∗ -dense subspace of L∞ (R). Math Ann. 197 (1972), 180–181.
[264] Roberts, J. W., A compact convex set with no extreme points. Studia Math, 60
(1977), 255–266.
[265] Robertson, A., Robertson, W., On the closed graph theorem. Proc Glasgw Math
Assoc, 3 (1956), 9–12.
[266] Rolewicz, S., On a certain class of linear matric space. Bull Acad Sci Pol, 5 (1957),
471–473.
[267] ——, On orbits of elements. Studia Math. 32 (1969), 17–22.
[268] ——, An example of a normed space non-isomorphic to its product by the real
line. Studia Math, 40 (1971), 71–75.
[269] Rosenthal, H. P., On quasi-complemented subspaces of Banach spaces. Proc Nat
Acad Sci (U.S.A.), 59 (1968), 361–364.
[270] ——, On quasi-complemented subspaces of Banach spaces with a appendix on
compactness of opertors form Lp (μ) to Lq (ν). J Functional Analysis. 4 (1969),
174–214.
[271] Rothmann, D. D., A nearly discrete metric Amer Math Monthly. 84 (1974), 1018–
1019.
[272] Ryff, J. V., A comparison of weak and strong continuity. Studia Math. 22 (1962),
85–89.
[273] Sakai, S., Review of reflexivity and summability. Math Reviews. 27 (1964), 27.
[274] Samn, S., Existence of a seminormal basis in C[0, 1]. Proc Amer Math Soc. 35
(1972), 183–186.
[275] Sanders, B. L., On the existence of Schauder decompositions in Banach spaces.
Proc Amer Math Soc. 16 (1965), 987–990.
[276] Schachermayer, W., Norm attaining operators on some classical Banach spaces.
Pacif J Math. 105 (1983), 427–438.
[277] Schur, I., Über die charakteristische Wurzeln einer liearen substitution mit einer
Anwendung auf die Theore der Integraleichungen. Math Ann. 66 (1909), 488–510.
[278] ——, Über potenzreihen, die im Innevn des Einheitskreises beschränkt sind. J
reine angew Math. 147 (1917), 205–232.
[279] ——, Über lineare Transformationen in der Theorie der unendlichen Reihen. J
reine angew Math, 151 (1921), 79–111.
[280] Sehgal, V. M., On fixed and periodic points for a class of mappings. J London
· 322 ·
[302] Stiles, W. J., On properties of subspace of lp , 0 < p < 1. Trans Amer Math Soc.
149 (1970), 405–415.
[303] Stone, M. H., Applications of the theory of Boolean ring to general topology. Trans
Amer Math Soc. 41 (1937), 375–481.
[304] Sullivan, F., Geometrical properties determined by the higher duals of a Banach
space. Illinois J Math. 21 (1977), 315–331.
[305] Tacon, D. G., The conjugute of a smooth Banach space. Bull Australian Math
Soc. 2 (1970), 415–425.
[306] Tapia, R., Problem 5826. Amer Math Monthly, 78 (1971), 1143–1144.
[307] Taylor, A. E., The extension of linear functionals. Duke Math J, 5 (1939), 538–547.
[308] ——, Halberg, C. J. A., General theorems about a linear operator and its conju-
gate. J Reine Angew Math, 198 (1957), 93–111.
[309] Thakare, N. K., Geometry of Banach space: Rough and very smooth norms, As-
plund space and related topics. Modern Analysis and Its Applications. Prentice-
Hall of India. New Delhi (1986), 89–114.
[310] Thorp, B. L. D., Converse of Weierstrass’ M -test? Amer Math Monthly. 74 (1967),
600–601.
[311] Thorp, E. O., The relation between a compact linear operator and its conjugate.
Amer Math Monthly. 66 (1959), 764–769.
[312] ——, Projections onto the subspace of compact operators. Pacific J Math, 10
(1960), 693–696.
[313] Tokarev, E. V., A certain question of Lindenstrauss and Phelps. Funkcional Anal
Appl, 7 (1973), 96.
[314] Trojanski, S. L., An example of a smooth space whose dual has no strictly convex
norm. Studia Math. 35 (1970), 305–309.
[315] ——, On locally uniformly convex and differentiable norms in certain nonseparable
Banach spaces. Studia Math. 37 (1971), 173–180.
[316] Tsirelson B. S., Not every Banach space contains lp or c0 . Functional Anal Appl,
8 (1974), 138–141.
[317] Ulam, S. A collection of mathematical problems. New York. 1960.
[318] Weidmann, J., Linear operators in Hilbert spaces.
[319] West, T. T., Riesz operators in Banach spaces. Proc London Math Soc. 16 (1966),
131–140.
[320] Whitfield, J. H. M., A non-reflexive smooth space with a smooth dual. Canad
Math Bull. 17 (1974), 579–580.
[321] Whitly, R., Projectng m onto c0 . Amer Math Monthly. 73 (1960), 285–286.
[322] Whitley, R. J., Strictly singular operators and their conjugates. Trans Amer Math
Soc, 13 (1964), 252–261.
[323] Wiegmann, N. A., Normal products of matrices. Duke Math J. 15 (1948), 633–638.
· 324 ·
[324] Wilansky, A., Problem 5108. Amer Math Monthly. 70 (1963), 572.
[325] ——, Problem 6078. Amer Math Monthly. 83 (1976), 205.
[326] ——, Functional analysis. Blaisdell. 1964.
[327] ——, Modern methods in topological vector space. McGraw-Hill International
Book Company, 1978.
[328] William, A. V., Short proof of Sobczyk’s theorem. Proc Amer Math Soc, 28 (1971),
627–628.
[329] Williams, J. D., Crimmins, T., Problem 5451. Amer Math Monthly, 74 (1967), 89.
[330] William, J. D., Singer, I., Boundedly complete M -base and complemented sub-
spaces in Banach spaces. Trans Amer Math Soc, 175 (1973), 187–194.
[331] William J. D., William, J. B., A renorming of nonreflexive Banach space. Proc
Amer Math Soc, 37 (1973), 486–488.
[332] Wojtaszczyk, P., On separable Banach spaces containing all separable reflexive
Banach spaces. Studia Math, 37 (1970), 197–202.
[333] Zaanen, A. C., Linear analysis. North-Holland Publishing Amsterdom, 1953.
[334] Zamfirescu, T., Fix point theorems in metric spaces. Arch Math. 23 (1972), 292–
298.
[335] Zhang Wenyao, Yu Xintai, On R., On R. Huff conjecture. %!. 35
(1984), 950.
[336] Zippin, M., On a certain basis in c0 . Israel J Math. 4 (1966), 199–204.
[337] Zizler, V., On some rotundity and smoothness properties of Banach spaces. Dis-
sertationes Math, no 87. Warsaw Ent Mat Polsk Akad Nauk, 1971.
[338] Zwier, P. J., Ruckle, W. H., The cancellation law for convex sets. Amer Math
Monthly. 80 (1977), 561.
Bessel , 5.0
Radon-Nikodym , 9.20
Bochner , 9.0
Riemann , 9.0
Bochner , 9.0
Riemann , 9.0
C , 7.0
, 14.0 , 7.24
, 3.0 , 11.0
, 6.0 , 5.49
, 3.0 , 1.0
, 1.0 , 12.19
, 1.0 , 2.0
, 5.46 , 1.0
, 3.5
, 15.0 G
, 6.0 , 7.0
, 5.0 , 3.0
, 1.0
H
, 3.0
, 2.0
, 1.0
, 1.0 J
, 1.0 , 5.0
, 1.0 , 4.0
, 2.0 ∗
, 4.0
, 5.11 , 5.0
, 1.0 , 5.0
, 10.0 , 12.39
, 10.0 , 1.12
, 1.0 , 14.0
, 5.46 , 13.0
, 12.0 , 12.0
, 12.39 , 4.0
, 12.39 , 7.0
, 1.0
E
, 1.0
, 2.0
, 1.0
#, 15.10
, 5.0
F , 5.45
, 2.0 , 2.0
, 2.0 , 2.0
· 327 ·
K P
, 1.0 , 1.0
, 1.0 , 13.0
, 1.0 , 13.0
, 3.25 , 13.0
, 8.0
, 1.0 Q
, 3.0 , 3.3
S W
, 3.2 , 1.0
, 3.6 , 1.0
' , 13.0 , 12.0
, 5.0 , 12.0
, 5.0 , 8.1
, 1.0 , 1.0
, 13.0 , 15.2
, 13.0 , 3.0
, 3.5 , 5.0
, 15.0 , 5.0
, 5.0 , 3.0
, 3.0
, 3.0 X
, 3.0 , 2.0
, 3.0 , 5.0
, 4.0 , 3.2
, 4.0 , 2.0
, 4.0 , 2.32
, 4.0 , 2.0
, 4.0 , 2.0
, 2.0
T , 3.0
, 13.0 , 2.0
, 13.0
· 329 ·
, 13.0 Z
, 13.0 , 2.0
, 12.0 , 5.34
H, 7.0 , 5.34
, 4.0 , 15.0
, 1.0 , 3.5
, 4.0 , 13.0
, 12.44 , 13.0
, 4.21
Y , 10.21
, 11.0
, 4.21
, 15.0
, 7.0
, 14.0
, 12.0
, 7.0
, 12.0
, 1.0
, 12.0
, 8.23
, 12.0
, 7.0
, 1.0
, 5.11
, 7.0
, 9.0
, 12.0
, 1.0
, 1.0
, 1.17
, 12.0
, 5.0
, 2.0
, 2.0
, 12.0
, 6.0
, 1.0
, 3.0
, 5.0
, 5.10
, 5.0
, 12.0
, 2.37
, 12.0
, 5.0
, 3.0
, 13.0