Академический Документы
Профессиональный Документы
Культура Документы
Львовский С.М. - Лекции по математическому анализу - 2008
Львовский С.М. - Лекции по математическому анализу - 2008
. .
2008
517
22.161
89
89
. .
. | .: , 2008. |
296
.
ISBN 978-5-94057-438-5
, 2006/07 .
, , , .
( ) .
22.161
15.10.2008 . 60 90 1/16. .
. . . 18.5. 1000 .
119002, , ., 11. . (499) 241{74{83.
\.
"
121099, , ., . 6.
ISBN 978-5-94057-438-5
. ., 2008
, 2006/07 ( | 1999/2000)
. ,
.
, , | , , - (. . ?) , . , 2006
,
- ,
: ,
( ), Rn . , , (
) .
, ,
. . ; , , , (: ) ,
, .
: - , , ; , ,
. .
. , |
. (W. Rudin) Real and Complex Analysis.
. . , . . . . ,
; . . , . . , . . , . . , . . , . . , . . . . . .
, .
, , ; .
. , :
"- ( . .);
( ) -
(, );
;
- (, , . . . );
|.
,
;
, (
) .
, .
, lvovskigmail.
om.
.
1. . . . . . . . . . . . . . . .
2. . . . . . . . . . . . . . . . . .
3. . . . . . . . . . . . . . . . . . . . .
4. . . . . . . . . . . . . . . . . . . . . . . . .
5. ; . . . . . . . . . . . . . . . . . . .
6. p- . . . . . . . . . . . . . . . . . . . . . .
7. . . . . . . . . . . . . . . . . . . . .
8. . . . . . . . . . . . . . . . . . . . . . . . . .
9. ; .
10. . . . . . . . . . . . . . . . . . . . . . . . . . . .
11. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
12. . . . . . . . . . . . . . . . . . .
13. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
7
12
15
22
28
33
38
45
51
55
61
67
80
87
101
184
14. R . . . . . . . . . . . . . . . . . . . . . . . . 101
15. . . . . . . . . . . . . . . . . . . . . . . . . . 107
16. ; Rn . . . . . . . . . . . . . 116
17. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
18. . . . . . . . . . . . . . . . . . . . . . . . 133
19. . . . . . . . . . . . . . . . . . 136
20. . . . . . . . . . . . . . . . . . . . 141
21. | . 147
22. . . . . . . . . . . . . . . . . 154
23. . . . . . . . . . . . . . . . . . . . . . . . . . . 159
24. . . . . . . . . . . . . . . . . . . . . . . . . . . . 165
. . . . . . . . . . . . . . . . . . . . . 174
25. . . . . . . . . . 184
26. , 192
27. . . . . . . . . . . . . . . 204
28. . . . . . . . . . . . .
29. . . . . . . . . . . . . .
30. . . . . . . . . . .
31. . . . . .
32. . . . . . . . . .
33. . . . . . . . . . . . . . . . . .
34. L1 L2 . . . . . . . . . . . . . . . .
35. Rn :
36. : . .
37. , . . .
38. . . . . . . . . . . . . . . .
39. . . . . . . . . . . . . . .
. . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. 210
. 215
. 222
. 228
. 237
. 242
. 248
. 256
. 261
. 267
. 272
. 278
. 287
1.
( , ), , .
, .
, , ( ) R ( ,
, ).
.
1.1.
X , ,
, :
(1) X ;
(2) ;
(3) .
, R.
, x U
() " > 0, y,
|y x| < ", U .
1.2 ( R).
U R
, ,
.
, 1|3 .
X ,
.
1.3. X | Y
X | . Y ,
U Y , U | -
X . Y , X .
, Y ,
, . , R.
.
1.4 ( ). X | . . , ,
.
.
2 ,
,
.
,
- ,
.
1.5. Z R | ( Z
). R
Z .
.
1.6. X , (
), :
(1) (x; y) > 0 x y, (x; y) = 0 ,
x = y;
(2) (x; y) = (y; x);
(3) (x; z ) 6 (x; y) + (y; z ).
(x; y) x y, .
| R, (x; y) = |x y|. | ( ), | . 3
1.
; .
X | ,
Y X ,
.
. Rn | n () (x1 ; : : :; xn );
n-
( n- , ).
n = 2 , n = 3 | () .
Rn ( ) .
Lp -: p > 1; x =(x1 ; : : :; xn )
y =(y1 ; : : :; yn ), p (x; y)=(|x1 y1 |p +: : :+|xn yn |p )1=p .
L-: x = (x1 ; : : : ; xn ) y = (y1 ; : : : ; yn ),
(x; y) = max(|x1 y1 |; |x2 y2 |; : : :; |xn yn |).
L1 - L - . Lp - p > 1 -
; . 1.67.
.
1.7. X | ; x X " > 0
B" (x) = {y X : (x; y) < "}:
B" (x) x ".
1.8. X | . U X , x U x, U (. . " > 0, B" (x) U ).
, ; ,
,
( ). , , ,
R , .
10
X . .
1.9.
.
Lp- (1 6 p 6 ) Rn
, x; y Rn
Rn Lp -, p < , , L -.
,
. .
1.10. X , : V1 X V2 X , V1 V2
( , ) .
X , , :
U X ,
(, )
, X .
1.
11
, .
1.11 ( ). T |
(
, ).
. , U T
, , . .
T " > 0
U (; ") T , , :
, ". ,
U (; ") T ;
|
, .
, .
1.12. X | . F X , X \ F
X .
1.1.
1.13.
:
(1)
| . -
(2) ;
(3) .
1.14. X | M
X | . M
, M .
M M . (2)
.
:
M M M
x, M , , , x M ; x
, M .
12
1.15.
M X
.
M
|
xX
U x
, -
U M 6=
()
; ,
. x M
, F M F x.
| , , U = X \ F , : U X , U M = ,
U 6 x, , : U x,
U M 6= . ().
.
1.16. X | x X .
x , x.
1.17. X | ;
- .
. x
Ux , Ux
. ,
, ,
.
2.
,
.
2.1. f : X Y |
. f x X ,
V f (x)
U x, f (U ) V .
f ,
x X .
2.2. X Y | .
f : X Y ,
2.
.
13
f 1 (V ) X
: V Y ,
f x, 2.1 Ux X , Ux x
f (Ux) V | , Ux f 1 (V ). ,
f 1(V ) x Ux
.
: ;
, f x X , , V f (x) , U = f 1 (V ) ,
x, f (U ) V .
| .
2.3. X Y | ; f : X Y , ,
f 1 .
, , .
,
,
.
X Y , f : X Y , f , ,
, -
.
.
2.4. X Y | ,
a X , f | X Y X \ {a} Y . ,
b Y f x, a,
f~: X Y ,
f~(z ) = fb;(z ); zz 6== aa;
a. : b = xlim
f (x).
a
.
x f 1 (V ).
, b = xlim
f (x),
a
V a, f (V \ {a}) U .
U b
14
. ,
N = N {} N , U N ,
, N N, .
an X , X | | , f : N X , f (n) = an .
N N \ {}, 2.4
, {an } a,
U a N > 0, n > N
an U |
.
, , . ( : X
X | , | x X X ).
, .
2.5. X ( ),
x; y X U x V y,
U V = .
, : U x V y Bd=2 (x) Bd=2 (y), d | x y (,
, ).
,
, .
(, ).
2.6. X | . x X , {x} .
, ,
. ,
, .
2.7. X Y | ;
,
aX
| -
3.
.
lim f (x) ( ).
xa
15
f : X \ { a} Y
. , , f (x) x, a, b1 b2 . Y ,
V1 b1 V2 b2 . , X U1 U2 , a,
f (U1 \ {a}) V1 f (U2 \ {a}) V2 . a ,
U1 U2
a 6= a. f (a) V1 V2 , , V1 V2
.
( !) ,
, ( , :
, , ). ,
, . .
2.8. X |
X
X | . M
,
. N | M . , M N , , N M .
M N : x M . n N B1=n (x)
M ; ( ) xn . (xn ; x) < 1=n,
lim x = x, x N .
n n
xn , xn M n.
N M : x N , x = nlim
, U x ( !) n, xn U ; , U M 6= ,
x M .
3.
,
, Q.
, . , -, ,
16
-
( an = (1)n ?),
, ,
.
3.1. {an } , " > 0
N , |am an | < ", m; n > N .
( " | : ,
!)
3.2. {an }
{bn } , lim (an bn ) = 0.
n
.
, 1.
3.3. . R.
nlim
an = a Q, {an}
, a. a,
Q R; , Q
R .
, . , ,
.
.
3.4.
aQ
, .
{ an }
1 (a a
( a b b
, a
).
a),
b,
a)
3.
3.5.
17
(, {an } ,
M , |an | 6 M n.)
. {an } ,
N , |am an | < 1, m; n > N . ,
, N , aN 1
aN + 1;
, .
, . , {an} {bn} | , {an bn } {an bn } . , |(am bm ) (an bn )| 6 |am an | + |bm bn |,
3.5 . {an } {bn } , M ,
|an | 6 M |bn | 6 M n; , N ,
|am an | < "=2M |bm bn | < "=2M m; n > N ,
|am bm an bn | = |am (bm bn ) + (am an )bn | 6
"
2M
"
+ M 2M
= ":
, (. , ) , {an} {bn}, ,
{an + bn} (. {an bn }, {an bn}).
, ,
{an} {bn }
.
: {an } {an}, . . an an 0,
(an + bn ) (an + bn ) = an an
. - 3.5:
an an 0 |bn | 6 M n, |an bn an bn | 6 M |an an |,
.
, R ; ,
(, , , ).
,
, .
18
3.6.
{an } |
-
, .
>0 N N
<0 N N
an >
an 6
n>N
n>N
, -
. {an } ,
" > 0, n N
|an | > ". {an } ,
N N, m; n > N |am an | < "=2. , , n > N , |an | > ", ,
m > N am > "=2, am < "=2. m; m > N
|am am | < "=2, , m > N .
= "=2,
= "=2.
{an } | , . 3.6 ,
> 0, |an | >
n > N
N N. bn = 1=an n > N bn = 0 n < N . an |
|am an |
|bm bn | = |am
,
am an 6
2
m; n > N , , {bn} .
nlim
an bn = 1, , {bn },
, {an}. .
- , , .
, ,
. , {an } | , , 3.6
> 0, an >
n, ,
< 0, an 6
n,
. , , {an }, , |
. (- 3.6),
,
| .
, :
(1) R , , , ;
(2) R , ;
3.
19
(3) .
, >
, , , (
). - , R .
,
( |a| = max(a; a)) .
.
,
R
; , , (
.), ,
, .
, , .
| .
, .
3.7. R
{an }nN , lim an = .
n
-
.
an =
{an}. , nlim
( R!).
.
, = 1=" r = 1=n. , {am }, , 3.5; , am < M M Q m.
n | , n > M + 1. n am > 1
20
m, n , {n am }, .
, ,
, r > 0 N N, |an | 6 r n > N .
, , {an} 3.1, N N, |am an | 6 r
m; n > N . , m; n > N |am aN | 6 r, ,
, an r 6 am 6 an + r. , an r 6 6 an + r, . . |an | 6 r.
n > N , .
, 3.1 (
" ).
3.9 ( ).
, .
.
, 3.4. .
{n } | . 3.7, n N
rn Q, |n rn | < 1=n. , {rn } :
|rm rn | 6 |m n | +
+ n1 ;
( , n-
, 1=n), ,
{n}.
| ,
3.
21
. . .
3.10. X R
R, : x 6
x X ( X ). X
sup X .
, ( ) , . , , M ( ).
, , :
3.11 ( ).
X R .
-
. x1 ,
X (
3.8). {xn },
X , . x1 , , xn+1 xn : xn + 1=2n
X , xn+1 = xn + 1=2n, xn+1 = xn . ,
n N xn + 1=2n1
X .
, 0 6 xn+1 xn 6 1=2n, m > n
22
X , , 3.10 ; sup X = +.
, X R
,
6 x
x X . 3.11 , () .
X inf X . ,
, , .
,
.
(1) .
(2) :
[a1 ; b1 [a2 ; b2 : : : [an ; bn : : :
|
, .
(. |
; , , .)
R,
4.
, ,
.
4.1. X , : S {U}, ,
X = U , {U1 ; : : :; Un },
X = U1 : : : Un ( : ).
Y X
, , X .
4.2. M R
. , i Z
S
M Ui = (i 1; i + 1) M . , M = Ui iZ
M
.
4.
23
4.3. (0;S1) R ,
: (0; 1) = (1=n; 1 1=n),
n>2
.
.
4.4. [a; b R .
S |.
. [a; b =
U | .
X = {x (a; b: [a; x
U }:
, X 6= : , a U0 , [a; a + ") U0
" > 0, , , [a; a + "=2
.
, = sup X ; , X . ,
U . | X ,
U X ; X [a;
U1 : : : Un
- 1 ; : : : ; n ; [a; U1 : : : Un U ,
X.
, , = b. , U ; < b,
( "; + ") U " > 0. , ,
, U U , [a; , , , , + "=2 X , ,
= sup X .
= b, [a; b U , .
, . | .
4.5. X | Y X | . Y -
.
. , Y | ,
S
U X , Y U .
X \ Y , X . X X . -
24
X \ Y , ;
U1 ; : : : ; Un Y , .
.
4.6. X |
X | . K X .
. 1.15 ,
z = K V x,
V K = . X
x K
Ux x Vx z ,
S
Ux ; Ux Vx = . , , K =
xK
K K Ux1 : : : Uxn
{x1 ; : : :; xn }; V = Vx1 : : : Vxn z
K , .
R.
4.7.
XR
, .
. 4.4 4.5, | 4.6 4.2.
.
4.8. f : X Y |
,
f (X ) Y
. -
.
f (X ) U , U Y . X = f 1 (U ), f 1 (U ) X f . X , X = f 1 (U1 ) : : : f 1 (Un )
- 1 ; : : : ; n . f (X ) U1 : : : Un , .
4.6,
4.9. f : X Y | .
,
,
-
4.8 .
4.
4.10.
25
f: X R
X
f
.
|
.
. 4.8 4.7, f (X ) R
( ,
) ( , f (X ) ).
,
4.11. [a; b R
.
, . , ( ) X Y
(x; y), x X , y Y .
4.12. X Y | .
X Y
,
U V X Y , U X V Y | .
, ,
X Y ( | ).
.
, Rn
n R .
4.13.
.
Y
X Y
|
.
. , X Y U V , U | X , V | Y . , x X
{x} Y X Y Y ( (x; y ) y Y ); , X Y {x} Y
26
Y . X Y U V , , , Y , x X
1 ; : : :; n , {x} Y U1 V1 : : : Un Vn . x;
Ux Ui ,
Ux Y U1 V1 : : : Un Vn . X = S Ux ,
xX
X x1 ; : : : ; xm , X = Ux1 : : : Uxm .
, X Y = (Ux1 Y ) : : : (Uxm Y ); X Y
, . , X Y
.
. |
4.14.
{(x1 ; : : : ; xn ) Rn :
a1 6 x1 6 b1 ; : : :; an 6 xn 6 bn }
(, ai < bi i).
4.15.
Rn
.
4.7.
4.16.
X Rn
, .
( , X Rn ,
| , X
.)
. .
4.17. {xn }nN | X a X . a
{xn }, U a
n N, xn U . ,
X , , {xn }, a.
, .
4.
27
,
4.18.
.
,
.
.
4.19. (X ; )
, .
. .
X . a X
{xn }, a X
Ua a, xn Ua n. X X = Ua1 : : : Uam
- a1 ; : : : ; am X , xn X
n, .
,
.
4.20 ( ).
-
">0
.
xX
X
B" (x)
. , . n N xn X ,
B1=n (xn ) . {xn }
. ,
ym X , y X ,
"m , ,
m N B"m (ym )
. .
, y U , U | - ,
. U , " > 0, B" (y) U .
m > N (ym ; y) < "=2 |"m | < "=2,
, m > N B"m (ym )
B" (y ). B" (y ) U ,
"m .
. ,
{U } |
28
X ; .
" > 0, x X B" (x)
U .S ,
B" (x) = X ; .
xX
x1 X ; B" (x1 ) = X ,
( ) ;
, x2 X \ B" (x1 ); B" (x1 ) B" (x2 ) 6= X ,
x3 X \ (B" (x1 ) B" (x2 )), . .
- ,
X B" (x); {xn }nN, , (xm ; xn ) > " m 6= n. , , :
(yn ; yn+k ) > " k > 0 lim yn = y, ,
k , , (yn ; y) > " n, .
.
5. ;
( , ).
- 5.1. X , :
(1) X ;
(2) X ;
(3) X M
X , .
.
, .
Y X
, .
5. ;
29
.
5.2. M R | . : a; b M a < b, [a; b M .
, a < z < b z = M ,
M = (M (; z )) (M (z ; ));
M
.
:
5.3. [a; b R .
. ; [a; b - (
) M [a; b; , , M a ( M
). , M = [a; b | .
, X = {x (a; b: [a; x M }. M a, [a; a + ") " > 0, X 6= . = sup X ;
, X . , , ( X )
xn . [a; xn M n, xn X , = nlim
S
[a; ) [a; xn M . , M , M ,
n
M .
, [a; M X . , = b. ,
< b, , M , " > 0,
[ "; + " M . , [a; + " = [a; [ "; + " M
+ " X , , = sup X . , = b
M = [a; b | .
, .
5.4. f : X Y |
, X . f (X ) Y .
. , , f (X ) . U1; U2 Y , f (X ) U1 U2 ,
30
U1 U2 f (X ) = , f (X ) U1 f (X ) U2 .
, X f 1 (U1 ) f 1(U2 ) |
.
X
x; y X
I X
x y
X
. X = U1 U2 ,
U1 U2 .
x U1 y U2, I X | , 5.5.
.
.
I = (I U1 ) (I U2), I ( x, y). , I | .
5.4 5.5, ,
R (, (a; b, (; a), . ., R)
.
, .
X , x; y X
[a; b R f : [a; b R, f (a) = x
f (b) = y.
5.4 5.5 , . , Rn ,
Rn ,
Rn . , ( R2 ).
R
.
5.6.
5.7.
M R
[a; b
(a; b
, -
{}.
a; b R
. , ; ,
R .
5. ;
31
, M . a = inf M ,
b = sup M . , (a; b) M . , a <
< b, (
) u v,
a < u <
< v < b u; v M ; 5.2 ,
[u; v M , ,
M .
, (a; b) M , , a b, M ,
, M a b |
(a; b), [a; b), (a; b [a; b.
, M / , -
.
, Rn n > 1 .
.
5.8. f | [a; b
. f ([a; b)
R.
,
f (a) f (b)
-
| 3.1.
5.9. (X; ) | . xn X ,
" > 0 N N, m; n > N
(xm ; xn ) < ".
, 3, , , .
5.10. ,
.
,
. , (0; 1) ( , R)
32
: xn = 1=n (
R (0; 1)), (0; 1) .
, R, , ; , Rn (
Lp -).
5.11. X | .
Y X ( )
, .
. Y {yn } | Y , y X
X , y Y Y .
, Y {yn} y X , {yn} ,
, Y , , Y . y Y .
5.12. X | . (X; i), X |
, i : X X | , , i(X ) X X .
(X; i), X , i .
,
. :
5.13. (X; ) ; (X 1 ; i1 ) (X 2 ; i2 ) | (X; ), ' : X 1 X 2 ,
' i1 = i2 .
,
X X (
, ). , R Q.
5.13 ,
. , X
, {xn } {yn } , nlim
(xn ; yn ) = 0 (,
, , 3).
6. p-
5.14.
lim (xn ; yn ).
n
33
{ xn }
{yn } |
-
,
. ,
(xn ; yn ) . a, b,
d
(a; d) 6 (a; b) + (b;
) + (
; d) ( ),
m; n ,
.
5.14, X , {xn } {yn },
lim (xn ; yn); ,
.
i : X X ,
3, x X {xn }, xn = x n N. ,
3.7, , X X , , 3.7, , X (rn = nlim
(n ; rn ) = 0,
: nlim
lim = , ).
n n
5.13 (: X 1 = lim i1 (xn ), '() = lim i2 (xn )).
5.15. .
. X | ; X . X X , X , X , X .
, X = X .
6.
p-
. , -
34
R
.
6.1.
, ,
.
, , . ,
, , Q ( , R): ,
(. 5.7).
.
p.
p- p- ( p 1). .
6.2. p- {a0 ; a1 ; : : :}, ai | p- .
p- Zp .
,
, : a0 , | a1 , | a2 , . .
p-, p- ,
. N Zp . , 39 Z5
: : : : 000124.
p- , .
6.3. (. , )
p- (a0 ; a1 ; : : :) (b0 ; b1 ; : : :) p-
, (. ,
) p- ,
(b0 a0 , b1 a1 , . .).
, , p- -
6. p-
35
; ,
.
, , p- (, , . . . ), .
, m | a Zp , (a)m Z , p-
am1 : : : a1 a0 (. . m ).
p- , m
(a b)m (ab)m , m (a)m (b)m (a)m (b)m . , ,
(a + b)
= a
+ b
, m m (
). ,
p- , ,
p- .
Zp , p- , (. . )
Zp ; , 1 Z5 : : : 4444.
, p
, p- p
, (. . ) .
Zp .
6.4. a Zp , p-
n
, n | n,
|a|p = p
n
a p . a = 0, |a|p = 0.
6.5. p- a; b Zp
|a b|p .
Zp , p- , . , (1) (2) 1.6 ; |x z |p = |(x y) +
+ (y z )|p , |a + b|p 6 |a|p + |b|p .
:
6.6.
a; b Zp
|a + b|p 6 max(|a|p ; |b|p ):
(6.1)
36
. a s , b |
t , a + b min(s; t) ,
|a + b|p 6 p min(s;t) .
(6.1) .
, p-
( ), p . ,
lim pn = 0.
n
, , Zp pn , n | ,
pn . , a pn
, , n
, a, . . pn :
b Zp , b a pn . ,
, , Zp .
6.7.
Zp
.
. Zp | , ,
. {xn } |
Zp . xn
p , - p- ( a0 ) ; y0 ,
, , a0 . ,
,
( a1 ); y1 - , , y0 ,
, a1 .
, y0 ; y1 ; : : : p-
a = : : :a2 a1 a0 . |yn a|p 6 pn1,
lim y = a.
n n
Zp ,
( 5.15). Zp , .
6.8.
{ xn }
lim (x xn ) = 0.
n n+1
Zp
6. p-
37
: nlim
xn = x,
xn+1 = x, nlim
(xn+1 xn ) = 0.
nlim
, Zp
5.15, , {xn }, ,
. , (6.1), , ,
.
,
m; n .
6.8, ,
.
6.9.
Zp .
Z Zp
. x Zp ; xn ,
p- n (, , n
, ) x. x xn
pn , |x xn |p 6 pn , nlim
xn = x.
, Zp Z p- .
, , Zp . , ,
, a 6= b | Zp , U; V Zp ,
U a, V b U V = Zp . , n
p- a , b, U
a pn , V | pn p- ,
U.
, Zp ( ; ,
p). Zp
(. . 1 m=n,
1 m=pk , k N:
(. ), n Zp , p,
n1 Zp , nn1 = 1.
38
m; n Zp n 6= 0; m=n m =n
p
mn = nm);
,
, Qp . , , p-
. Qp Q p- (:
a Q |a|p = pn , a
pn (s=t), s t p; a b
|a b|p ).
7.
,
p- .
, [0; 1 R
(1=3; 2=3); [0; 1=3 [2=3; 1.
1=3
;
1=32 , . C [0; 1 ,
; .
0
1=9
2=9
1=3
2=3
7=9
8=9
. 1.
C ?
, C , 0;a1 a2 a3 : : :,
aj 0 2. ( , C .) , x C ( 0222 : : : 1000 : : :
1). , C ( ) ; , . , C
: ; C , < ,
= 0;a1 ; : : : ; ak 0 : : : = 0;a1 ; : : : ; ak 2 : : : k, , 0;a1 ; : : :; ak 11
C .
7.
39
,
.
, (
) .
{Xi }iI | , I (, ). , {xi }iI ,
x X I . (, , I = {1; 2},
(x1 ; x2 ), x1 X1 x2 X2 ,
.)
Q
Xi .
iI
X = Xi ,
iI
X
?
i
Q
Xi (
i I
I ) pr : Q Xi X , iI
{xi }iI x X .
, .
, : , , , (
) ,
. , ,
( ,
, ).
, pr : X X ,
U X pr 1 (U )
X ; ,
,
. ,
:
- 7.1. {Xi }iI | . {1; : : :
40
: : :; n } I U1 ; : : : ; Un , Uj Xj |
,
pr11 (U1 ) : : : prn1 (Un )
iI
Xi :
(7.1)
(7.1)
Q
Xi ; .
i I
, (7.1)
, , (7.1) (7.1). I , 7.1 , , ,
4.12. (7.1)
: {xi }iI
, .
, ( ) :
Q 7.2. Xi ,
Xi .
iI
Q
. X =
Xi , x = {xi }iI y =
iI
= {yi }iI | X . x 6= y
I . X , U; V X , U x V y .
pr 1 (U ) pr 1 (V ) X ,
x y .
.
4.13.
7.3 ( ).
Q
Xi .
iI
Xi
,
, . ,
,
.
7.
41
, . , , S ,
;
X
, . .
{a1 ; a2 ; : : :; an ; : : :}, aj S .
X ,
, ( ,
, X ).
(7.2)
Ua1 ;:::;an = {(x1 ; x2 ; : : :): xi = ai 1 6 i 6 n}
( n a1 ; : : : ; an S ). Zp {0; 1; : : :; p 1},
{0; 1; : : :; p 1} Zp . , Zp
p- . Zp ,
| .
, X {0; 2} ( )
f : X C X , a1 ; a2 ; : : : 0;a1 a2 : : :; , , -, f , ,
-, f f 1 . Z2 . Zp .
.
, . , , , X1 ; X2 ; : : : ; Xn ; : : : ( n N); , Xk , k- .
, k-
42
- (k + 1)- .
k > 2 k-
(k 1)- ( ) | . . 2.
:::
:::
:::
1
2
3
. 2.
X ,
, . X , ( ) X , Zp . , , (-)
. , fi : Xi Xi1
i > 1 ,
. , ,
X = (x1 ; x2 ; : : : ; xn ; : : :)
j =1
(- X Xj fj .) X
Q
Xj , Xj j =1
. (7.2) Y ,
:
, ,
.
Q
, Ai , Ai |
i=1
, ,
ard(A1 ) ,
|
ard(A2 ) , . . (
ard(A) A).
7.
7.4.
43
( ) , ,
.
( , , , .)
. , Y
X .
k > 1 k 1 {0; 1}:
Rk = h0; 10; 110; : : :; 1| :{z: : 1}0; 1| :{z: : 1}i
k 2
k 1
{0; 1}
44
,
, 1 .
, ,
k2 , ;
1 , Rk2 , a2
, , a2 , ;
1 , .
, |
g().
, f g |
. , Y X .
7.5. i N Ai , ;
Q Ai
Ai
. Y =
iN
. ,
7.6.
Zp .
| .
K,
| .
f: X
. , K | " > 0, K
6 " ( ). , K
"=2,
.
, {"n}.
K 6 "1 ( ); , 6 "2 ( );
6 "3 , . .
8.
45
.
. , v,
V1 ; : : : ; Vk , k
v1 ; : : : ; vk v vk , . . ( -
, ,
7.4.)
X | . ,
K , , , .
, K1 K2 : : :;
Ki , K \ Ki
K , , K ,
K \ Ki . ,
T
Ki , Ki i=1
, . f (x)
.
f , y K - , -
. .; ,
, m , ,
6 "m .
7.7.
-
.
,
.
8.
, f : (a; b) R x (a; b)
lim f (x + hh) f (x)
h0
46
( ). f x f (x), , x, .
,
f x
,
R(x) = f (x + h) f (x)
h
, lim (R(h)=|h|) = 0. h0
, f : (a; b) R
x, x.
f (x + h) = f (x) + h + o(h)
h 0.
, o(h).
,
.
f (x) = 0
, f (x) =
6= 0, x
. , R(x) =
= f (x + h) f (x)
h; " > 0, |h| < "
|R(h)| 6 |
| |h|=2. , |h| < "
f (x + h) f (h) ,
h, , ,
> 0
f (x + h) > f (x), 0 < h < " f (x + h) < f (x), " < h < 0.
, x .
.
( , )
, , , ; .
.
8.2. (1)
(a; b).
f ( ) = 0
f : (a; b) R
,
8.
47
f : (a; b) R g : (a; b) R
f + g
; R
f (
) + g(
)
(3)
f : (a; b) R g : (a; b) R
fg
f (
)g(
) + f (
)g(
)
(4)
f : (a; b) R g : (a; b) R
f=g
g(
) 6= 0
(f (
)g(
) f (
)g (
))=(g(
)2 )
8.3.
g : (a; b) (
; d) R f : (
; d) R
g
p (a; b) f
g(p) (
; d)
f g : (a; b) R
(f g)(x) = f (g(x))
p
f (g(p)) g(p)
(2)
| , -
.
| , -
.
,
,
| , -
.
,
.
, -
( 8.3
o(|h|)).
.
8.4. (a; b) | r > 0 | . , r
C , r (a; b) r - (
C 0 ). C r r > 0, , C (
).
, r- f x f (r)(x).
| | .
(a; b) R2 .
: t 7 ('(t); (t)); '
' (t) (t) ( , (' (t); (t)) ), ( (a; b))
. ,
.
8.5 ( ). : t 7 ('(t); (t)) |
2
[a; b R , '
48
(a; b), t (a; b) (t) = (' (t); (t)) 6= (0; 0). (a) = A, (b) = B ,
A 6= B t (a; b) (t) -
AB
(. . 3.)
.
t [a; b, (t) AB (
t, a b, , - t (a; b)). , t | .
(t)
h|v| sin
h|v|
os
. 3.
, t
( v = (' (t); (t))) AB
. (t + h) = (t) + hv + o(h). ( d AB )
| -
. .
8.
49
f : [a; b R |
(a; b). f (a) = f (b),
(a; b), f ( ) = 0.
8.7 ( ).
/ ( ,
. . . ) .
| . .
f : R R | ( ,
, ,
). f |
f (x) = a0 + a1 x + a2 x2 + : : : + an xn + : : :
(8.1)
, :
f (x) = nlim
(a0 + a1 x + a2 x2 + : : : + an xn ):
, (
!),
. a0 :
x = 0 (8.1), a0 = f (0). a1 ,
(8.1):
(8.2)
( ,
.) x = 0 (8.2), , a1 = f (0). : (8.1) n , ,
50
8.8.
f : (A; B ) R
a; x (A; B )
.
R
a (A; B )
.
(n) (a)
(x
a) +
n!
(n+1) ()
+ f(n + 1)!
(x a)n+1 ; (8.3)
| ,
8.9.
n+1
f : (A; B ) R
a x
C n+1
,
::: + f
(n) (a)
n!
xa
(8.4)
o(|x a|n ) , , ,
(n)
R(x) f (x) f (a) + f (a)(x a) + : : : + f n!(a) (x a)n ,
lim R(x)=|x a|n = 0:
xa
8.8. (n + 1)-
, n, f (x) R(x) , f (a) = f (a) = : : :
: : : = f (n) (a) = 0; , f (x) = f (n+1)( )=(x a)n+1
(a; x). , , x > a ( x < a ), 8.5 ( ) b = x,
'(x) = (x a)n+1 , (x) = f (x). , (a)
1 (a; x) ( )=' ( ) = '((bb))
, . .
'(a)
f (1 )
= (x f (ax))n+1 :
(n + 1)(1 a)n
1
(n + 1)( a)n
n(n + 1)( a)
9. ;
51
= n .
(8.3)
. n = 0 .
(8.4)
. , f C r ; ( )
. , 18.3
.
9. ;
{fn}nN | (, ) - X . ,
x X nlim
fn (x).
f (x), f : X R; , - y
{fn } 1
f :
fn (x)
f (x) = nlim
x X .
(9.1)
, , (9.1) : 1=n
1 x
" > 0 x X n N, n > N . 4. y = fn(x)
|fn (x) f (x)| < ". N
( ") x:
X = [0; 1 fn . 4, f (x)
x 6= 0 x = 0 , , " = 0;1 N , x [0; 1.
, N x .
9.1. X | , Y | . ,
52
fn : X Y ( : X ) f : X Y ,
" > 0 N N, n > N
(fn (x); f (x)) < ".
, , {fn} f ,
fn(x) = f (x).
: x X nlim
, , .
, . :
9.2.
f: X Y
f: X Y
| ,
,
Y
fn : X Y
{fn }nN
| -
|
, -
.
-, , nlim
fn (x) = f (x)
x X | .
f , , , " > 0,
x X . , (f (x); f (y)) < " y, x ( U x). f (x) f (y), f (x) f (y) .
-, n N,
n > N z X (f (z ); fn (z )) < "=3. ,
- n > N . fn
U x, (fn (x); fn (y)) < "=3
y U . , y U (f (x); f (y)) < ".
:
(f (x); f (y)) 6 (f (x); fn (x)) + (fn (x); fn (y)) + (f (y); fn (y)) <
< 3" + 3" + 3" = "
.
9. ;
53
54
n > N , .
, " n N (9.3) |f (x)| 6 |fn(x)| + " x X . |f (x)| 6 kfnk + "
x, f . .
,
X | ,
, X | . , ,
X | .
X .
9.5.
C (X )
, C (X ) B (X ) B (X ) ,
. , , X ,
C (X ) X .
9.6.
C (X )
B (X )
.
. 9.2,
,
, , .
: .
9.7. f : X Y | . ,
" > 0 > 0, (f (x); f (y)) < ", (x; y) < .
,
; , , (: X = Y =
= (0; +) f (x) = 1=x). :
9.8.
.
f: X Y
X Y
| .
| ,
10.
55
B (x) f 1(B"=2 (a)) ( 4.20). , , (f (x); f (y)) < ", x y f 1 (B"=2 (a)), | .
10.
.
( -),
. .
10.1. [a; b R | . f : [a; b C
-, a = a0 <
< a1 < : : : < an = b, i f f (x), xlim
f (x).
(ai ; ai+1 ) xlim
a +0
a 0
i
i+1
(ai ai1 ) i ;
i | f (ai1 ; ai ).
56
f [a; b
b
f (x) dx.
a
10.4.
(1) [a; b f
.
(2) f; g | [a; b ; C |
Z b
Z b
f (x) dx +
Z b
g(x) dx:
(3) f | [a; b,
Z b
6 (b a)kf k
f
(
x
)
dx
a
(, kf k = sup
x[a;b
|f (x)|).
. (1) (2) .
(3) , , f a1 ; : Z: :; an
i| (ai1 ; ai ), |
i | 6 kf k
b
i, a f (x) dx 6 P(ai ai1 )|
i | 6 P(ai ai1 )kf k.
.
, - .
10.7.
.
,
[a; b,
10.
57
10.8.
- -
- .
.
10.9.
f: Y C
,
| -
| .
| , -
, ,
f: Y C
Y
10.10.
f: Y
| -
, , -
,
Y C
. ( , C ): y Y y = lim yn , yj Y ,
f(y) = lim f (yn ).
, y = lim yn ,
yj Y , {f (yn)} . , " > 0 > 0, (f (u); f (v)) < ",
(u; v) < . {yn} ,
N N, (ym; yn ) < , m; n > N ; ,
(f (ym ); f (yn)) < ", m; n > N ,
{f (yn )} .
, , lim yn = lim yn , lim f (yn ) = lim f (yn ):
, lim yn = lim yn , lim (yn ; yn ) = 0,
f ,
lim (f (yn ); f (yn )) = 0. f f(y) =
= lim f (yn ), y = lim yn yj Y , .
58
, f Y . ,
. , " > 0.
f Y , > 0, u; v Y (u; v) < , (f (u); f (v)) < "=3. ,
(x; y) < =2, (f(x); f(y)) < ". , x; y Y , x = lim xn , y = lim yn , xj , yj Y . , , (x; y) = lim (xn ; yn ) (f(x); f(y)) = lim (f (xn ); f (yn )), n N, (f (xn ); f(x)) < "=3, (f (yn ); f(y)) < "=3
|(xn ; yn ) (x; y )| < =2; ,
(xn ; yn) < , (f (xn ); f (yn )) < "=3. ,
(f(x); f(y)) 6
" " "
6 (f (xn ); f(x)) + (f (yn ); f(y )) + (f (xn ); f (yn )) < + + = ":
3
3
3
I : PC ([a; b) C ,
. 10.4(3) , kf gk < "=(b a), |I (f ) I (g)| < ", I PC ([a; b). 10.9 QC ([a; b) .
.
10.9 ,
Z b
Z b
g(x) dx = nlim
gn (x) dx, {gn} | a
a
, g.
10.4
.
10.11.
(1)
f; g
[a; b
Z b
Z b
f (x) dx +
Z b
; C
| -
g(x) dx:
(2) f | [a; b,
Z b
6 (b a)kf k:
f
(
x
)
dx
a
(3) f; g |
Z b
Z
f (x) > g(x) x [a; b, a f (x) dx > ab g(x) dx.
10.
59
(4) f | [a; b,
Z b
Z b
f (x) dx 6 |f (x)| dx:
a
a
10.12.
[a; b,Z
Z b
b
f (x) dx = nlim
fn (x) dx.
a
a
fn
.
QC ([a; b).
, 10.12 ; gn = nfn [0; 1, fn |
. 4.
.
10.13 ( |). f : [a; b R |
. F : (a; b) R
F (x) =
f (x) dx:
F (x) = f (x)
x (a; b); h > 0 M (h) (. m(h)) (. ) f [x; x + h; h < 0, M (h)
x (a; b)
Z x
60
m(h)
[x h; x. f x
( ), lim M (h) = lim m(h) = f (x).
h0
h0
x+h
f (x) dx,
x
, F (x + h) F (x) =
10.11(3) , h 6= 0
Z
h , .
|.
10.14.
f : [a; b R
| , -
F : [a; b R
x (a; b)
.
Z b
(10.1)
x
F~ (x) = a f (t) dt. Z b
F~ a f (x) dx = F~ (b) F~ (a). (10.1)
, F~ (x) F (x) x, ,
, :
Z
10.15.
(a; b)
[a; b.
f (x) = 0
x (a; b)
f : [a; b R
.
-
. ,
|
.
, , ; ( ) , ( ) |
( 8.3).
11.
61
10.16.
Z b
f g
[a; b.
x=b Z b
(x)g(x) dx = f (x)g(x) f (x)g (x) dx:
a
x=a
10.17.
'
['(a); '(b).
(10.2)
C1
[a; b
C1
C1
Z '(b)
'(a)
f (x) dx =
Z b
(10.3)
10.18. .
( ), .
11.
C (X ) X . 9,
sup-, .
11.1.
f1 + f2 + : : : + fn + : : : ;
(11.1)
fj C (X ). n N sn = f1 + : : : + fn ;
n- .
sn .
(11.1) , nlim
.
f1 + f2 + : : : + fn + : : :
i=1
fi .
11.2. n0 N; f1 + f2 + : : :
, fn0 + fn0 +1 + : : : ,
.
X , , | , 11.1; sup- | , ,
62
. fn .
.
11.3. f1 + : : : + fn + : : : , " > 0 N N,
kfn + : : : + fn+m k < " n > N m > 0.
11.4. f1 + f2 + : : : , kf1 k + kf2 k + : : : .
11.5.
, .
. " > 0
N N, kfn k + : : : + kfn+mk < " n > N
m > 0. ,
kfn + : : : + fn+m k < ", 11.3.
, . ,
, , .
, . |
.
11.6. f1 + f2 + : : : + fn + : : : | . f'(1) + f'(2) + : : : + f'(n) + : : :, ' : N N |
; N.
, | ,
,
,
. ,
f1 + f3 + f5 + f2 + f7 + f9 + f11 + f4 + f13 + f15 + f17 + f6 + : : :
( , , , , . . . ) | f1 + f2 + f3 + : : :
11.7. f1 + : : : + fn + : : : | ,
' | N. f'(1) + f'(2) + : : :
: : : + f'(n) + : : : , .
11.
63
,
.
11.8.
a1 + : : : + an + : : :
| -
, ,
N,
aS = P ai
i S
,
.
. ,
, a1 + : : : + an = a{1;2;:::;n} ,
. S N
{1; 2; : : :; n}, aS 6 a1 + : : : + an ,
{aS }S N {a1 + : : : + an }nN
.
kfn k ,
P ,
kf'(n)k; ,
:
.
11.9.
C (X )
f1 + f2 + : : : + fn + : : :
f C (X )
.
,
N,
SN
: " > 0
X
fi
< ":
f
iT
T S
,
S N | , " > 0.
N S | , n > N {1; : : :; n} S ,
kf (f1 + : : : + fn )k < " f | .
, f C (X ). " > 0 N N, kf (f1 + : : : + fN )k < "=2
( kf1 k + kf2k + : : : + kfnk + : : :) kfnk + : : : + kfn+m k < "=2 n > N m > 0;
P , U N \ {1; : : :; N } | ,
kfj k < "=2. , "
j U
64
S = {1; : : :; N }. , T {1; : : :; N } | ,
X
X
f
f
f
6 kf (f1 + : : : + fN )k +
<
i
j
i T
j T \{1;:::;n}
X
"
k fj k <
< 2" +
2
j T \{1;:::;n}
+ 2" = ":
11.9 P
f fi ,
, 11.7.
.
11.10.
1 1 + 1
2
1
4
+:::
(11.2)
, 1 + 1 + : : : + 1n > nn = n. , , 2
, ,
.
:
,
11,
1
| 10, 2
,
1
21, | 20,
4
,
31, 1 , . . ,
6
11.
65
, .
( , , , ,
; . | - 12.4.)
.
11.11. {fmn }m;nN | -
C (X )
, . -
,
m;nN
fmn
,
11.7
(m; n)). P
fmi (
,
vm
6 ,
hm )
mN
fim (
iN
f=
m;nN
vm )
fmn
iN
. ,
hm
, , ( )
P.
P
kfij k. m kfmi k6
. =
kfim k 6
i;j
( i
P
P
P
); khmk 6 kfmi k, khm k 6 , hm ( ,
m
i
P
.
, vm )
P
P
, hm = f ( vm ). " > 0 N N,
,
SP {1;
: : :; N } {1; : : P
:; N } |
fij
<"=2 kfij k <
N N,
f
(i;j)S
(i;j)S
X
X
kf (h1 + : : : + hn )k 6
f
f
f
+
(h1 + : : : + hn )
:
ij
ij
i;j 6n
i;j 6n
(11.3)
66
"=2 n.
, , j
m
n
X
X
X
hj
6
f
f
=
kfjk k:
jk
jk
,
k=1
k=n+1
k=n+1
n
n
X
X
X
(h1 + : : : + hn )
f
f
f
6
h
+
:
:
:
+
h
ij
1
1k
nk
n
6
i;j 6n
k=1
k=1
X
(kf1k k + : : : + kfnk k):
6
k=n+1
kfpq k, p 6 n, q > n. n
"=2, "=2. ,
11.3 ". .
P 11.12. 11.11
P ,
P
fmn
hm
vm
-
. kfgk 6
6 kf k kg k ( 9.3(4)).
, , . , a0 + a1 x + a2 x2 + : : : b0 + b1 x +
+ b2 x2 + : : : (
),
(11.4)
(11.4) ,
11.13. f1 + f2 + : : : + fn + : : : g1 + g2 + : : :
: : : + gn + : : : | . h1 + h1 + : : :
: : : + hn + : : :, hn = f0 gn + f1 gn1 + : : : + fn g0 .
11.14. f1 + f2 + : : : + fn + : : : g1 + g2 + : : :
: : : + gn + : : : | ,
h1 + h1 + : : :
: : : + hn + : : : | . P hi
P
,
gj
fi
12.
67
P
P
fi gi
P
, kfi gj k kfi k kgj k,
P
P
, ,
k fi k
kgj k ; ,
.
i=1
j =1
fi gj .
, 11.11,
n
X
X
X
fi gj =
fi
gj ;
i;j =1
i=1
j =1
P
fi gj
P
P
fi gj . , , , ,
, i + j = 2, ,
i + j = 3, P
. .,
P
h
,
f
g
i
i
j
P
hk . .
11.15. ,
11.14 P
P
. , , fi gi |
1 1 + 1 1 + : : : (n + 1)- -
2
1 n
n1
+:::+
n 1
n ,
1
p
= 2=(n + 1). ,
, p
(n + 1)=2
(n + 1)=2
.
12.
,
.
12.1. U R ( U C) |
. f : U C ( ),
68
:
a0 + a1 (x
) + a2 (x
)2 + : : : + an (x
)n + : : :;
(12.1)
f (x) {x : |x
| 6 r}
r > 0 (, r, , ,
U ).
12.2. ,
(12.1) : , P n
(n) (
)
n!
(x )n :
(12.2)
;
, , (12.2)
0.
12.3. f (x) = 1=x
,
6= 0
1
C \ {0}.
= 1 12 (x ) + 13 (x )2 14 (x )3 + : : :
, , {x : |x
| < |
|}.
,
, .
- - .
,
, ( )
.
(12.1).
- 12.4. {xn }nN | . ( +) lim xn = inf
sup xm ; n
{ xn }
m>n
, lim xn = +.
12.
69
: lim sup xn . ;
, .
(, {xn }nN lim xn = sup inf xm .
n m>n
: lim inf xn .)
12.4 : . . 1.24.
12.5
|. ). (12.1)
(.p
R = 1 lim n |an | ( ,
R = +, +, R = 0).
r<R
,
|x | > R
(12.1)
)
sup-
{x : |x | 6 r}.
R, , ,
|. {x : |x
| < R} (12.1) ( ).
. R < +,
p
. r < R. lim n |an | < 1=r. , > r, n, , , , |an | < 1=n . {x : |x
| 6 r} kan(x
)n k 6 |an |rn , n,
n
n
12.6.
(12.1) -
C; r > 0
|an | 6 Crn
n>N
|an | = O(rn )
r > 0)
70
12.7. , , (12.1) , . ,
P
(1)i xi =i x = 1 x = 1.
i=1
,
,
. ,
12.8.
.
, , , .
.
12.9.
a0 + a1 (x
) + a2 (x
)2 + : : : + an (x
)n + : : :
R>0
U
= {x : |x
| < R}
P
= ak (x
)k
U
|
f
f (x) =
.
k=0
(12.3)
,
, ,
= 0, . , p, |p| < R,
P
bl (x p)l r > 0,
l=0
f (x) Dr = {x : |x p| 6 r}.
r < R |p|
(. 11.11)
a0 +
+ a1 p + a1(x p)+
+ a2 p2 +2a2p(x p)+ a2 (x p)2 +
....................................................
+ an pn + nanpn1 (x p)+ n(n2 1) an pn2 (x p)2 + : : : + an (x p)n + : : :
(12.4)
( am xm x p + (x p) ). ,
, sup- Dr .
, Dr kb(x p)n k = |b|rn , sup-
12.
71
|a0 | +
+ |a1 | |p| + a1r +
+ |a2 | |p|2 +2|a2| |p|r + |a2 |r2 +
..................................................
+ |an | |p|n + n|an| |p|n1 r + n(n2 1) |an | |p|n2 r2 + : : : + |an |rn + : : : =
= |a0 | + |a1 |(|p| + r)+ |a2 |(|p| + r)2 + : : : + |an |(|p| + r)n + : : :
P
P
an xn |an |xn
|, |p| + r < R r,
12.4 . 11.11
, , (
sup- Dr ). ,
P
,
am xm , f (x). ,
m=0
bm(x p)m ,
,
m=0
bj | . ,
sup- f (x), .
12.10.
,
P
bm (x p)m , R |p|. (: f (x) = 1=(1 + x),
= 0,
p = 1=2). , , (12.3)
(12.3), .
, f
.
12.9 ,
, . ,
12.11. U C | p U .
f : U C p,
f (p)
lim f (xx)
:
p
xp
72
, f
p. f p U ,
1 U .
, , n N
f (z ) = z n , f (z ) = nz n1, .
12.12. U | R
C,
U f : U C | . U , U R, U , U C;
f : U C . ,
U f (12.1), f ,
(12.1).
(12.1),
.
f (12.1).
12.9 ( ,
,
= 0). (12.4) ,
P
f (x) =
bm (x p)m b0 = P ai pi = f (p) (
m=0
i=0
iai pi1 .
, bi (x p)i1 ) b1 =
i=1
i=1
Dr ( , ) g(x).
x 6= p g(x) = (f (x) f (p))=(x p), ,
f (p)
= xlim
lim f (xx)
g(x) = g(p) = b1 :
p
p
, f ( ,
-) p,
xp
f (p) =
i=1
iai pi1 :
(12.5)
12.
73
12.13. | ,
f
f .
12.14.
U f: U C
,
|
C,
| ,
f (x) = a0 + a1 (x
) + a2 (x
)2 + : : : + an (x
)n + : : :
nN
an = f (n) (
)=n!
(12.6)
. , -
.
. 12.12 (12.6)
. x =
| a0 , x =
| a1 , . .
12.15.
- -
1=x
f (x) = e0; ; xx 6> 00;;
2
R,
. , f P
:
12.14 ai xi , f ,
,
.
, : , U C, . ,
.
|, .
74
|
12.17.
.
. , , f; g : U C |
,
U
P
ak (x
)k P bk (x
)k , f + g fg k=0
k=0
,
.
11.11, | 11.14.
, ,
f g R1 R2 , f + g fg , min(R1 ; R2 ).
:
12.18. f : U C |
U C, f (U ) V , V C |
; g : V C | . g f : U C . , U ( U , V )
R,
C.
.
, . p U ,
f (x) = a0 + a1 (x p) + a2 (x p)2 + : : :
(12.7)
p.
(12.8)
g(y) = b0 + b1 (y a0 ) + b2 (y a0 )2 + : : :
f (p) = a0 . (12.8) y () (12.7) ( f (x)).
y a0 ,
( ) ( (x p))
,
x p
0 +
1 (x p) +
2 (x p)2 +
3 (x p)3 + : : : ;
(12.9)
2
0 = b0,
1 = b1 a1 ,
2 = b1 a2 + b2 a1 ,
3 = b1 a3 + 2b2 a1 a2 + b3a31 , . . .
g f ,
p .
12.
75
, R | (12.8).
12.17 ,
n N
(12.10)
, ,
, g(f (x)) x, p,
, (, , hij = 0 j < i, ), (12.9). , 11.11
, , (12.10)
p.
, f~(z ) =
P
P
= |ai |z i g~(y) = |bi |(y |a0 |)i ; i=0
i=0
,
,
(12.7) (12.8) ( ), f~ g~
0 |a0 |.
R (12.8) ( |
g~). , r > 0, |f~(z ) |a0 || < R, |z | 6 r. ,
(12.10) {x : |x p| 6 r}.
, kbi hij (x p)j k = |bi | |hij |rj ;
hij = Pij (a0 ; a1 ; a2 ; : : :) Pij , |hij | 6 Pij (|a0 |; |a1 |; |a2 |; : : :) = h~ ij . -
76
~ 11 r + |b|1 h~ 12 r2 + |b|1 h~ 13 r3 + |b|1 h~ 14 r4 + : : :
|b|0 + |b|1 h
+ |b|2 h~ 21 r + |b|2 h~ 22 r2 + |b|2 h~ 24 r4 + |b|2 h~ 24 r4 + : : :
+ |b|3 h~ 31 r + |b|3 h~ 32 r2 + |b|3 h~ 33 r3 + |b|3 h~ 34 r4 + : : :
:
i |bi |(f~(r))i ,
P
bi (f~(r))i = f~(~g(r)). ,
11.11, .
, , ,
. , , |
, | : f (x) = x3
R, g(x) = 3 x
. , , .
12.19. U R (. U C) | , f : U R (. f : U C) |
, p U , f (p) 6= 0 1
(W ) W W f (p), f : f
1
1
: W f (W ) .
, f
, ,
y = x2 .
11
1
1 1=21
1 =2 2 ( ) 2 +
( ) + 2 22!
2
11
1 :::
n+1
1=2n (
2
+2 2
n!
x= a+ a
x a
:::
x a
a
:::
1 .
q ( q N) y = xq .
y = x1=q ;
y = xp=q ,
q p.
12.
77
11
1 :::
n
2 2
2
(n + 1)!
Rn+1 (x) =
( a x).
1=2n1 (x a)n+1
, , Rn+1 (x)
,
|Rn+1 (x)| 6
|x a| n+1
p |x a| n+1 p
| |
6 max(x; a)
:
| |
min(x; a)
Rn+1 (x) = 0.
|x a| < a=3 |x a|= min(x; a) < 1=2, nlim
, a y = x , .
(
:
x a a.)
. x 7 kx + b, k 6= 0, , , , , , , p = 0,
f (p) = 0, f (p) = 1. f
f (x) = x P ai xi ( , ),
i=2
g(y) = bi yi .
i=1
bi , x = g(y) f (g(y)) = y.
12.21. b1 = 1; ,
{ai } P2 ; P3 ; : : :
bn = Pn (a2 ; a3 ; : : :; an )
-
n>2
P
x ai xi
i=2
i
x = bi y , ; i=1
P
y
1 yi .
i
P
:
1 = b1 ;
2 = b2 a2 b21 ;
3 = b3 (2a2 b1 b2 + a3 b31 );
78
; , n-
Qn | (
P
ai xi ).
1 = 1
n = 0 n > 1,
, b2
b1 = 1 a2 , b3 a2 , a3 , b1 b2 . .
, bi yi .
i=1
, |
P
|bi |yi . , 12.21 |bi | 6 ~bi =
i=1
= Pi (|a2 |; |a3 |; : : : ; |an |). , , 12.6,
|an | 6 Crn n > 2 C
r, , , Pi (|a2 |; |a3 |; : : : ; |an |) 6 ~bi = Pi (Cr2 ; Cr3 ; : : : ; Crn ). ,
P
z + ~bi z i . 12.21, | i=2
Cr2 x2
x + P Cri xi ,
i=2
f~(x) = x + 1 rx . -
g~(z ) =
(1 + rz ) +
(1 + rz )2 + 4z (Cr2 r)
2(Cr2 r)
g~ ( 12.20!).
P
, bi yi .
i=1
, W 0 g, f (g(y)) = y. U = f 1 (W );
U , f : U W g : W U
. .
. : f ,
f .
12.22. U R ( U C) |
f : U C | . f -
12.
79
f (x) = 0
U , .
12.23.
ai (x p)i
W
f
ai = 0
| -
i=0
| -
. f p
, f (x) = (x p)r g(x), r > 0,
12.24.
f g
U
W U
| -
,
f g
f =g
.
12.24 ; .
, | :
.
, ,
- , .
,
12.24 (.,
, , , , 12.16).
80
13.
, , , . , .
13.1. z C
2 3
n
exp(z ) = 1 + z + z2! + z3! + : : : + zn! + : : :
(13.1)
, , (13.1) ,
.
13.2. (13.1) sup-
( ) {z C : |z | 6 R},
R > 0.
. | (
p
n 1=n! = 0; , ,
lim
12.5) ,
n
n! = +. , ,
nlim
R > 0 , n > m = [R + 1,
, C ( R) (13.1) .
, | ,
C. ( ) .
13.3. (1) z 7 exp(z ) .
(2) exp(0) = 1; x R, exp(x) R.
(3) exp(z) = exp(z ) ( ).
:
13.4.
13.
81
(z + w)n =n!; ,
exp(z + w). R > max(|z |; |w|),
R exp(z ) exp(w) , , 11.14,
exp(z ) exp(w), .
13.5. (1) x R, exp(x) > 0.
(2) xlim
lim exp(x) = 0.
+ exp(x) = +, x
12.12 , ; ,
, (13.1)
, .
R
C,
13.6. exp,
R, ; x R exp(x).
( exp, C
.)
13.7.
x 7 exp(x)
xR
.
. 13.5(2)
.
13.8. x | .
y, exp(y) = x. : y = ln x.
13.7 .
13.9.
x 7 ln x
1=x.
-
82
. exp , ,
ln 12.19.
x, , x = exp(y) x1 = exp(y1 ):
lim
x1 x
ln x1 ln x
x1 x
1
y1 y
= ylim
= exp1 (y) = exp(
= 1:
y) x
y exp(y ) exp(y )
( )
.
x
ln x = 1 dtt .
:
13.11. x (1; 1) Z
13.10.
sup- ).
ln(1 + x) = x x2 + x3
[a; b (1; 1)
: : : + (1)n+1
xn
n +:::
(13.2)
(
1
1+x
= 1 x + x2 : : : + (1)n xn + : : :
10.12
t, |t| < 1, (13.2).
[r; r (1; 1) kxn =nk = rn =n 6 rn , (13.2) .
(13.2) x = 1.
,
ln 2 = 1 12 + 31 14 + : : :
.
13.12. ,
, . exp: C C \ {0} C \ {0}, , C \ {0}, .
13.
83
.
13.13. a > 0 |
, z | .
az = exp(z ln a). x R x > 0, loga x = ln x= ln a. ,
, e = exp(1).
. ,
ln e = 1, loge x = ln x exp(x) = ex.
.
13.14. x R
sin x
os x = Re(exp(ix)); sin x = Im(exp(ix)); tg x =
os
x:
:
13.15.
sin 0 = 0;
os 0 = 1;
(13.3)
(13.4)
sin(x) = sin x;
os(x) =
os x;
2
2
sin x +
os x = 1;
(13.5)
sin(x + y) = sin x
os y +
os x sin y;
(13.6)
os(x + y) =
os x
os y sin x sin y:
(13.7)
. (13.3) , exp(0) = 1.
(13.4), , , 13.3(3),
x R exp(ix) = exp(ix); ,
, - x R, |exp(ix)|2 = exp(ix) exp(ix) = 1,
(13.5). , (13.6) (13.7) , exp(i(x + y)) =
= exp(ix) exp(iy).
(13.3)|(13.7)
(, ),
, .
:
13.16. sin
os ; x R
sin (x) =
os x,
os (x) = sin x. -
84
2n1
2n2
sup-
(13.8)
(13.9)
.
. 13.6 , t 7 exp(it)
x R i exp(ix); ,
.
z = ix, ,
exp(ix) = 1 + ix x2!
11.11 ,
C (x) = 1 x2!
x3
3!
+ x4! + : : : ;
2n2
2n1
.
.
13.17.
os x = 0 , =2. sin(=2) = 1,
[0; =2 , .
. (13.3),
os 0 = 1. ,
os 2 < 0. , (13.8)
os 2 = 1 22! + 24!
26
6!
+ : : : = 13
26
28
6!
8!
210
212
10!
12!
26
28
6!
8!
10
+ 210!
214
216
14!
16!
::: :
+:::
(13.10)
13.
85
( , 2);
.
. , sin(=2) = 1
os(=2) = 0. 13.10.
13.19. exp 2i.
. , exp(2i) = 1.
, t 7 exp(it) , . -:
13.20. ' : t 7 exp(it) [0; 2 ) {z C : |z | = 1}.
. x + iy
(x; y) R2 , ' t 7 (
os t; sin t).
[0; =2 , t [0; =2 Re(exp(it))
[0; 1 ; x + iy , y x ,
86
(x (t))2 + (y (t))2 dt =
Z dp
( (10.3)).
, x + iy C (x; y) R2 ,
t 7 (
os t; sin t).
t ((
os t) ; (sin t) ) = ( sin t;
os t);
p
sin2 t +
os2 t = 1, t t. , 2 2; 13.20
, 1 2, ,
13.17, .
, , , . ,
eix =
os x + i sin x eix =
os x i sin x,
x R,
(13.11)
os x = (eix + eix )=2;
ix
ix
(13.12)
sin x = (e e )=2i:
x C,
x C
. 11.11
,
(13.8) (13.9).
87
1.
, , . , : -
.
1.1. , n > 0 x > 1 (1 + x)n > 1 + nx.
1.2. ) , lim q n = q > 1 lim q n = 0
n
n
1 < q < 1.
z n z C?
) nlim
1.3.
) , 1 + n1
1 n+1
, 1 + n
n
| .
) , nlim
1 + n1
e).
1.4. :
2
1 n
1
+
) nlim
n ;
) nlim
1 + n12
1 n
) nlim
1 n
1.5.
1.6.
1.7.
1.8.
n
n
(
, nlim
(na )=(ln n) = + a > 0.
, nlim
an =n! = 0 a > 1.
n!=nn
nlim
:
1.9. (n + 1)2006 =(n2006 + 1);
1.10. n n;
88
2n + 3n + 4n
1.11. n
n
n .
5 +6
1.13.
1.14.
sin n?
nlim
xn+1 = xn x2n .
{ xn }
x1 = 1=2,
) , nlim
xn , .
n xn
) , nlim
, .
2.
1.15. X | , f; g : X R |
. , fg : X R .
1.17. T | , 1. , :
) S : T R, .
) B : T R2 , .
) O : T R2 , .
1.18. Rn Rn ,
. U Rn , , -, U Rn Rn , -, , U , U {x Rn : kxk > R} R > 0.
, Rn Rn+1 .
89
, (), .
) , X Y , . ( , ,
, , ,
, .)
) , Rn |R :{z: : R} (
n ).
1.20. X | , R | X , X=R |
: X X=R | ( ). U X=R , 1 (U ) X .
) ,
X=R . (X=R ,
X=R | .)
) , |
X=R, .
M (R2 )3 | ,
( , , ).
M , . , M
T .
) : , . ,
.
) R2 (x; y) (y; x). , R2
{(u; v ) R2 : v > 0}.
) R2 \ {(0; 0)} :
R : (x1 ; y1 ) (x2 ; y2 ) > 0 : x2 = x1 ; y2 = y1 ;
S : (x1 ; y1 ) (x2 ; y2 ) > 0 : x2 = x1 ; y2 = 1 y1 :
1.21. )
90
, ()
X R .
1.23. A; B R | , , a A b B a 6 b. , x R, a 6 x 6 b a A
b B.
a R
{xn }, U a n, , xn U (-
,
).
1.24. ) ,
( ).
) ,
,
.
1.25.
. ,
? ( .)
1.26. , F R
,
F .
1.27.
R, m + n 2, m n .
1.28. N,
,
?
91
f1 f2 : : : fn : : : gn : : : g2 g1;
h, fk h gk k?
() :
A B ,
, A
B ?
4. ;
1.30.
[0; 1.
, [0; 1)
1.31. ) , .
) , .
1.32. X R2 | y = sin(1=x)
x > 0 , (0; 1) (0; 1). ,
X , .
1.33. , R
.
1.34. f (z ) = an z n + : : : + z0 | . , z 7 |f (z )| C . ( deg f > 0, ,
, .)
1.35. f |
. , (x; y) 7 |f (x; y)|
R2 ?
1.36. ,
, . (
.)
92
1.37. ) , .
) ,
( {(x; y) R2 : 0 6 x 6 1; 0 6 x 6 1}).
( , n- n > 2 |
, m- n-
m 6= n | .)
) , .
1.38. n , :
n , , ( ). , m
n m 6= n.
1.39. X R2 | . , {Pn }, Pi X , ,
P1 P2 : : :Pn : : : (. .
).
1.40. , , .
1.41*. ,
.
5.
1.42. X | ; B r1 (a1 )
B r2 (a2 ) : : : B rn (an ) : : : , lim rn = 0 (n
), .
1.43.
.
1.44. , ; , .
) R (a; b) = |ar
tg a ar
tg b|.
) (=2; =2) (a; b) = |tg a tg b|.
93
) l | ; a =
= {an} b = {bn }, (a; b) = sup |an bn |.
)
| ( ); S1 = [a1 ; b1 S2 = [a2 ; b2
(S1 ; S2 ) = |a1 a2 | + |b1 b2|.
)
| (
); S1 ; S2
(S1 ; S2 ) = l(S1 S2 )
l(S1 S2 ), l (
). , .
1.45. , Z X , X | , :
(1) Z .
(2) U X V U , V Z = .
(, ,
.)
1.46. , (0; 1), 142857, . (
.)
1.47. , ( ).
1.48. R?
1.49. {fn } | [a; b, , x [a; b
f (x) = nlim
fn (x).
) , f [a; b.
) , f
[a; b.
) , f , ,
.
) , f , ,
?
94
6. p-
1.50. , p- Zp
:
lim (a + bn) = nlim
an + nlim
bn ; nlim
(an bn ) = nlim
an nlim
bn :
n n
1.51. u Zp p. ,
v Zp , uv = 1 ( p-
).
1.52. p > 2 u Zp p. , u
Zp (. . x Zp , x2 = u)
, u p
(. . m N, m2 u p).
1.53. , Z2 .
1.54. Zp R . Zp R, ?
1.55. Zp , , (. . , ,
)?
1.56. X | .
) , X X X .
) , X
X .
1.57. X | Rn ,
f : [0; 1 X ( ).
1.58. ,
Rn
?
1.59. f [0; 1, , a [0; 1
f (x) = a ?
1.60. , ( , R) .
95
1.61*. ,
.
7.
) , x1 + : n: : + xn > n x1 : : : xn . (. ,
ln | .)
r
1.62.
) ,
x21 + : : : + x2n x1 + : : : + xn
>
.
n
n
, x = (x1 ; : : : ; xn ) Rn p > 1,
kxkp = (|x1 |p + : : : + |xn |p )1=p :
1.65. , x Rn 1 6 p < q , kxkp > kxkq .
1.66. x = (x1 ; : : : ; xn ) Rn , y = (y1 ; : : :; yn ) Rn , p > 1
1
1
p + q = 1. , |x1 y1 + : : : + xn yn | 6 kxkp ky kq . (.
, t 7 tp | .)
1.67. x; y Rn p > 1. , kx + y kp 6 kxp k + ky kp .
1.68. f [a; b,
f (x). , a (a; b) xlim
a+0
( lim f (a + hh) f (a) ).
1.69.
) f
(
e1=x
h+0
x > 0;
0
x 6 0:
, f R.
f (x) =
96
) , R C - f , (; 0
[1; +).
g | C k+1 . , ( x 0)
1.70. f
lim
x
1.73.
lim
sin(sh x) sh(sin x)
x7
sin(tg x) tg(sin x)
8.
{an} {bn } | ,
an = O(bn ), C > 0, |an | 6 C |bn | P
n (, , n). an
, aj |
P
P
1.74. an bn |
,
an = O(bn ). , P bn , P an .
1.75. {an } |
P
. ,
a
n
P
, 2n a2n .
1.76. f : [1; +) (0; +) |
P . ,
f (n)
nZN
M
, lim 1
M
f (x) dx.
97
1.77.
, p; q R
1.78.
,
lim 1 + 21 + : : : + n1
n
p
q.
n=2 n (ln n)
ln n
( ).
P
an |
P .
) P a2n ?
) a3n ?
1.80. X | , {an } |
, fn C (X )
, kf1 + : : : + fn k 6 M P
M ,
n. , an fn .
1.81. {an } | .
P
,
(an =ns ) s = s0 R,
n=1
s ,
(s0 ; +). ( , , s an
.)
1.82. , s > 1,
1.79.
(s) = nlim
1 s
p
:::
1
1 s
p
pn n- .
) slim
1+0(s 1) (s).
) p1 + p1 + : : :?
1 2
1.83.
1
lim
+ 1 + : : : + 21n
n n + 1 n + 2
98
Z =2
n
1.84. ) n
0 sin x dx
n N. ( : n | ,
| .)
) () :
2
1.85.
(2 4 6 : : : 2n)
:
= nlim
(1 3 5 : : : (2n 1))2 (2n + 1)
f : [a; b C | . ,
lim
t+
Z b
f (x) sin(tx) dx = 0:
9. ;
f g | . , f g x a,
lim
f (x)=g(x) = 1, f g, f = O(g) g = O(f ). (
xa
, x . .)
f g, f g (
f g). , g ,
f .
1.86. : ) f (x) = 1
os x
x 0; ) f (x) = sin(=6x) 1=2 x 1.
1.87. f (x) =
Z x
= 0 3 sin t dt x 0.
( | )
:
1.88. an = (n + 1) n ( > 0).
1.89. an = 3 n5 3n + 2006.
1.90. an | n-
tg x = x.
1.91. an | x7 + nx 1 = 0.
1.92. a1 = 1, an+1 = sin an .
1.93. an =
1
2n
0 (1 x ) dx.
, g f ,
| f g.
99
1.94. :
) 1.86; ) 1.87; ) 1.88; ) 1.90.
1.95. `1
an }nN, P an .
= {P
kk = |an |.
, `1 | (; ) = k k.
1.96. `2
P
2 ,
|
{
a
}
,
a
|
=
n
N
n
n
pP
|an |2 .
k k =
, `2 | (; ) = k k.
1.97. ) , [a; b) [0; 1
M
n
) , , [0; 1,
.
1.98. {fn }nN | C 1 -
[a; b ( , fn [a; b). , {fn}
{fn } [a; b. , lim fn = f ,
n
f
=
f
.
lim
n
n
C 1 ([a; b) C 1 - [a; b (. 1.98). f C 1 ([a; b)
kf k = sup |f (x)| + sup |f (x)|
1.99.
x[a;b
x[a;b
100
an = 4 1 + 4 2 + : : : + 4 n:
{an} n .
1.105. f : R R2 ?
1.106. n > 1 Xn ,
n > 2 fn : Xn Xn1 . , {xn } (n
), xn Xn fn(xn ) = xn1
n > 1.
1.107.
xn =
v
u
u
t
1 + 2 1 + 3 1 + 4 1 + : : : 1 + n:
, nlim
xn , .
14. R
. , |
, Rn ( n-
), , ( ) ,
. , (,
n > 3 ); , , (
) , . .
14.1. X |
2X B 2X ,
.
-
:
(1) B , X B ;
(2) A; B B , A B , A B A \ B B .
E 2X -,
:
(3)
T
S A1 ; A2 ; : : : ; An ; : : : E , An An E .
n
-
( ).
-.
14.2.
X | .
-,
(, , ). X ,
-.
[0; , . ,
102
+ = , a < a + = a R. , a = , a > 0, 0 = 0.
[0; , ,
. a1 ; a2 ; : : : ; an ; : : : | [0; +,
P
P
ai : ai ai ,
i=1
, ai = . ai
i=1
ai . i=1
S
Ai = (Ai ).
E ,
i=1
i=1
(2) A E (A) < .
- E ,
| ; (A) A E .
(1) .
. -, A 6= (A) < , , (1) A1 = A
j > 1, , () = 0; (1) Ai , n, ,
: (A1 : : : An ) = (A) = (A1 ) + : : : + (An )
( ). , ,
(A) 6 (B ) A B , (A B ) 6 (A) + (B ) (
(A B ) = (A (B \ A))). .
, .
14.4. A1 A2 : : : An : : : |
S
(Ai ).
,
Ai = ilim
i=1
. ( )
i=1
14. R
14.5.
(A1 ) <
103
A2 : : : An : : :
Ai = ilim
(Ai )
i=1
A1 \ A2 A1 \ A3 : : :
1
T
| -
.
T
A1 \ Ai , 14.4 i=1
.
. X |
. X ,
A X , (A) A ( A
, (A) = ). , . : (X; E ; ) |
E E , , E , E .
,
. , R, . , - [0; +
( ) R,
- ( ).
, U R
( U ). ,
U x y, (a; b) U ,
x y, , |
, R, .
U R (U )
( ).
14.6. E R
U E
,
( , )
. , (E ) 6 (F ), E F .
104
(1)
U1 ; U2 ; : : :
(U ) 6 P (Ui )
Ui
14.7.
U = S Ui
|
(2)
,
(U ) = P (Ui )
(2) ; (1).
U = F Vj | U , Uij =
j
= Ui Vj . Uij Ui j j 6= j , (2) , , U |
; , Uij , , U , Ui . ,
T U
Ui ; : : : ; Uik ,
X
(T ) 6 (Ui ) + : : : + (Uik ) 6 (Ui ):
, (T ) T
(U ).
14.8.
-
E1 ; E2 ; : : : R
(S Ei ) 6 P (Ei )
[
Ei
[
6
Ui
(Ui ) 6
" .
14.9.
(Ei ) +
X "
X
6
(Ei ) + ":
i
2
AB
.
K1; : : : ; Kn R
(K1 + : : : + Kn ) = (K1 ) + : : : + (Kn )
, n = 2.
, U1 ; U2 R,
Ui Ki U1 U2 = . , x R A R d(x; A) = inf |x y| ( ). y A
, U1 = {x : d(x; K1 ) < d(x; K2 )}
14.10.
,
.
| .
14. R
105
.1
, V
K1 K2 V1 V2 , V1 V2
Vi Ki ( Vi = V Ui ).
.
14.11. E R
( ),
" > 0
K E , (E ) 6 (K ) + ".
(
.)
, R
. ,
.
,
.
14.12.
E1 ; E2 ; : : :
:
E = F Ei
i P
(1) (E ) = (Ei );
(2)
E
; -
.
, .
. 14.8 (1) P
, (Ei ) 6 (E ).
" > 0 Ki Ei ,
(Ei ) 6 (Ki ) + "=2i . Ei ,
Ki . 14.10 ,
1 , R
, K1 K2 | .
- , , .
106
n
X
i=1
(Ei ) + 2" 6
n
X
i=1
E .
14.13. E1 E2 | ,
E1 \ E2 , E1 E2 E1 E2 | -
. E1 E2 = E1 \ (E1 \ E2 ) E1 E2 =
= E1 (E2 \ E1 ) 14.12 ,
. , i = 1; 2 " > 0 Ki
Ui , Ki Ei Ui , (Ki ) + "=2 > (Ei ) > (Ui ) "=2.
Ui Ki ,
, , 14.12
, (Ui \ Ki ) = (Ui ) (Ki ); , (Ui \ Ki ) 6
6 (Ui ) (Ki ) 6 " i = 1; 2.
, E1 \ E2 (
" > 0) U K ,
U E1 \ E2 K (U \ K ) 6 2": ,
(E1 \ E2 ) (K ) 6 ((E1 \ E2 ) \ K ) 6 (U \ K ) 6 2":
U = U1 \ K2 K = K1 \ U2 ;
U \ K (U1 \ K1 ) (U2 \ K2 );
14.8 (U \ K ) 6 " + " =2", .
R.
14.14. E R
,
14.11.
E R | ,
(E ).
14.13 , .
14.15. (R; L; ), L
R,
15.
107
. ,
.
, L - L. 14.13 , L
; 14.12 ,
{Ei } | S
, Ei .
{Ei } , ,
,
.
, , , R -
(,
F
[n; n + 1)) R = Si .
i=1
P
14.12 , (E ) = (E Sj ) j
E . {Ei } |
S
E = Ei ,
(E ) =
(E Sj ) =
XX
(Ei Sj ) =
XX
(Ei Sj ) =
(Ei )
( ,
). .
14.16.
.
, -
.
15.
, .
15.1. X | Y | . f : X Y ,
U Y f 1 (U )
108
( :
).
Y = R C, X Y
.
, f : X Y , g : Y Y |
,
g f ; , , , : f1 : X Y1
f2 : X Y2 , (f1 ; f2 ): X Y1 Y2
. ,
15.2.
C
| .
C, f
f g
+ g, fg, |f | f
f : X Y | , , , ( ,
R).
, E
X ( E E ) , ,
, E .
,
[0; . [0; ( | [0; )
(a; ), [0; . , f : X [0;
, f 1 () f X \ f 1().
15.3.
|
,
xX
R, C
{fn } | [0; +.
= nlim
fn (x) ( ,
). f .
f (x) =
-
15.
109
f 1(B" (a)).
f 1 (B" (a)) =
[
\
[0; (
).
. ,
,
| [0; (
).
:
f; g : X [0; , f 6 g , f (x) 6 g(x)
x X .
(X; E ; ).
' : X [0;
, X
X = E1 : : : En , f Ei .
' : X [0;
n
P
'(xi )(Ei ) [0; , xi Ei .
15.4.
i=1
: X ' d.
Z
X f d f , ,
Z
, - X f (x) d(x).
, ( ). ,
.
Z
, ' d
X , '
. ,
' |
,
Z
Z
Z
d
( ' + , (' + ) d = ' d +
F
'
X = Ei , |
F
F X = Fj , ' + X = (Ei Fj )).Z ,
, ' |
Z
> 0,
' d =
' d.
Z
110
15.5. f : X [0;
Z
f d =
sup
'6 f
'
' d [0; :
E X | , X , , E ; f | ,
f |E E
Z
E f d; ,
Z
Z
E f d = X E f d, E | E .
.
15.6.
f; gZ: X [0; + .
Z
(1) f 6 g, X f d 6 X g d.
Z
Z
(2) > 0 | , X (f ) d = X f d.
Z
Z
(3) Y X , Y f d 6 X f d.
.
15.7.
f
(X; E ; )
|
Z
.
E 7
f d
PZ
f d,
, E f d =
Ei
F
E = Ei , Ei . , ' 6 f |
Z
. ' =
n
P
j =1
i Fi , i > 0 Fi |
.
Z
' d =
n
X
i=1
i (Fi ) =
n X
X
i=1 j
i (Fi Ej ) =
PZ
6
f d.
E
j
n
XX
j i=1
XZ
j
Ej
i (Fi Ej ) =
' d 6
XZ
Ej
' 6 f , ,
f d:
f d 6
15.
111
: n
n Z
X
i=1 En
f d =
E :::En f d 6
1
n .
f d;
15.8. , 15.7, .
15.9. , , x X , (
, ),
x, , .
15.7 (, ,
) ,
,
.
.
15.10 ( ). {fn } | X [0; +, fn 6 fn+1 n,
f (x) = lim fn (x) x X ( Z n
Z
).
f
d
=
lim
f d.
X
n X n
. X0 X | , fn (x) f (x) , ,
X X \ X0 , X
X \ X0 , fn f . .
15.3 f ,
X , f , |
. , ( 15.7), : f
.
f < . fn 6 f n, Z
Z
X fn d 6 X f d; n , ,
Z
f
d
6
lim
f d.
n
X
n
112
n
S
, Xi Xi+1 i Xi = X ,
i=1
15.7 ( 14.4)
, Z Z
n , , nlim
fn d >
X f d.
X
, .
f , ,Z , , (X ) > 0 X f d = ( X ).
C > 0 Xn = fn1 (C ; +).
X
Xn ,
Z | -
Z
f
d
f
d
>
> C (Xn ). (Xn ) (X ) > 0 (
n
n
X
Xn
Z
fn d > C (X ), C 14.4), nlim
X
, , .
.
15.11. Z
Z
f gZ
| -
(f + g) d = X f d + X g d.
X
. .
15.12.
6 '2 6 : : : 6 'n 6 : : : ,
'
'1 6
-
. n N
0 = an0 < an1 < : : : < an;kn 1 < an;kn = n [0; n,
1=2n1;
fn , fn (x) = anj
x f 1([anj ; an;j+1 )) f (x) = n x f 1 ([n; ); ,
0 6 f (x) fn (x) 6 1=2n1 x f 1 ([0; n)). , a10 = 0,
a11 = 1; n ,
n + 1 : , [0; n,
, [n; n + 1 2n . , x {fn (x)}
f (x).
15.
113
{'n } { n } | , f g .
{'n + n } | ,
Z
Z
f + g. nlim
'
=
f,
n
lim
n
n=
Z
g nlim
'n +
= nlim
('n + n ) = (f + g).
.
15.13.
f1 > f2 > : : :
-
,
ZZ
= nlim
fn d.
X
f1 d <
f d =
. Z f1 , fi f1 fi |
X f1 d < , 15.11 ,
Z
Z
Z
fi ) =
(
f
f
f .
1
1
X
X
X i
{f1 fi }.
.
Z15.14. f : X C ,
|f | d < .
X
15.6 ,
,
.
15.15. f : X R | . f+ (x) = max(f (x); 0) f(x) = min(f (x); 0).
, f+ f , , f ,
f = f+ f f+ f ,
f . ,
.
15.16. f |
X , f = f1 f2 , f1 f2 |
.
f X
Z
f d =
f1 d
f2 d:
114
f | X C, X
f d =
Re(f ) d + i
Im(f ) d:
. : f = f1 f2 = g1 g2 | f
,
Zf1 + g2 Z= g1 + Zf2 , Z
, 15.11, f1 + g2 = g1 + f2 ,
Z
Z
Z
Z
f1 g1 = f2 g2 , .
15.17.
; C. :
f g
(0) f
;
Z + g
Z
(1) X f d = X f d;
Z
Z
Z
(2) X (f + g) d = X f d + X g d;
Z
Z
(3) X f d 6 X |f | d;
Z
f+
Z
f 6
f+ + f;
(4) (3).
.
(-) ,
10, ,
:
15.18. f : [a; b C |
10.5, [a; b Z b
Z
f
(
x
)
dx
=
[a;b f d.
a
. (4) 15.17 ,
{fn}
15.
115
).
, f -, .
; .
, ,
( ). ,
.
15.19 ( ).
{fn } | -
Z
lim
f d,
n X n
(X; ),
.
f d 6 nlim
fn d;
f d 6 lim X fn d
X
n N 'n (x) = inf fm (x).
m>n
, 'n | , '1 6 '2 6 : : : 'n (x)
f (x) x,
fnZ(x) f (x). , Z
f = nlim
'n . 'n (x) 6 f (x)
Z
Z
x, nlim
'n 6 nlim
fn,
,
.
Z
Z
Z
'n 6 fn
lim fn ,
Z
Z
, f = lim 'n
nZ
o
fn , , .
, .
116
15.20. {fn } |
(X ; ),
f
'
|fn (x)| 6 '(x)
n
x nlim
fn d = X f d
X
, |f (x)| 6 '(x), f |fn (x) f (x)| 6 2'(x). -
Z
Z
, ,
f (x) = 0.
15.21.
{fn } |
, .
Z
'
fn 6 '
f d = 0.
lim
n X n
. {' fn }:
' d =
, lim fn d 6 0. , .
, ,
fn (x) . |fn | 6 ' ,
(fn )+ 6 ' (fn ) 6 ', , fn (x) 0, , {(fn)+ }Z {(fn ) } Z . (fn )+ d = 0 nlim
(fn ) d = 0,
, nlim
Z
lim
f d = 0.
n X n
fn , fn
|fn | ',
fn .
Z
16. ; Rn
|
:
. Rn
n.
,
- .
16. ; Rn
16.1.
|
.
117
B 2X
| -
2X ,
B : C1 C2 : : :
(. C1 C2 : : :) | (. )
S
B ,
Ci (. T Ci ) i=1
i=1
B . E -.
. , E 2X . , , , E \. A B , A \ C E C E . , , C X ,
A \ C E , E ; , , , -, A \ C E , C B , -,
C1 C2 : : : (. C1 C2 : : :) | (. ) , A \ Ci E
i, A \ S Ci E (. A \ T Ci E ).
i
i
, B | ,
E .
, B E , ,
{A X : A \ B E} E :
, E | . ,
; E
,
E
i=1
Ai = A1 (A1 A2 ) (A1 A2 A3 ) : : :
(X; E ; ) -, X .
16.2.
-, , ,
, , . , -
(X; E ; ), .
,
-.
118
(X; E ; ) (Y; F ; ) | - .
X Y - E F ,
U V , U X V Y .
M X Y | , ,
xX yY,
Mx = {y Y : (x; y) M }; My = {x X : (x; y) M }:
16.3.
M X Y
:
(1)
Mx Y My X
xX yY;
x 7 (Mx ) y 7 (My )
(2)
;
Z
(3) X (Mx) d(x) = Y (My ) d (y).
E F.
X Y
S M
(1)|(3). ,
X Y ,
S E F .
16.4.
B |
X Y
, -
U V
U X V Y
2X Y .
.
. X Y B , , B \.
16. ; Rn
119
14.4, . (3).
S
. M1 M2 : : : M = Mi , 'i (x) = ((Mi )x ),
i
'(x) = (Mx ), i (y) = ((Mi )y ), (y) = (My ); '1 6 '2 6 : : :
'(x) = nlim
'n (x) ( ),
= nlim
n (y ) d (y ) =
(My ) d (y):
(16.1)
Mi
( 15.13 ) , M (
15.13 ,
).
F
M
F - : X = Xi ,
Y = Yj | X Y
, M (Xi Yj ) , M 15.7
.
- 16.5. M X Y ,
E F ,
Z
(Mx ) d(x) =
(My ) d (y):
X
Y
: E F [0; , (X Y;
E F ; ) .
(M ) =
.
. n
F
| . M = Mi ,
n
P
i=1
(Mx ) = ((Mi )x ) x X .
i=1
, .
120
,
, , . .
16.6.
- . -
(X Y ) Z = X (Y Z )
E (F G ), ( ) |
(E F ) G
( )
X Y -
: (, S X , T Y ,
S T X Y ,
X T ). ,
, .
16.7. , (X; E ; ) ( ), ( , ,
).
, R .
16.8.
(X; E ; ) |
U E
. -
E E
.
. , . E
. E
V X , :
U E
V \U U \V
,
.
, E,
V X , , -; (V ) = (U ), , |
.
16.8
.
16. ; Rn
121
:
16.9. (X; E ; ) | ; ; ) . f : X [0; +
(X; E
( ) ,
f1
Z
f
d
= X f 1 d
X
. , , f | -
. , ,
, f |
, ( ) . f | - ,
fn , fi -, f = nlim
( 15.12); fi
Ni , -
fi1 ; S
1
fi Xi ,
i
, - ,
( -) f 1 ,
f .
.
.
16.10 ( ). (X; E ; ) (Y; F ; ) | - f : X Y [0; Z
f (x; yZ) d (y) . x 7
Y
y Y , y 7
f (x; y) d(x)
X
X Y
f d( ) =
Z Z
xX
, 16.3 , ,
122
f | , . , , f |
, . . . ,
15.12 , ( )- .
f .
16.9 , , f S X Y ,
, f 1, .
SX = {x X : (Sx ) 6= 0}, SY = {y Y : (Sy ) 6= 0};
16.3 ,
(SX ) = (SY ) = 0;
( )(S ) = 0,
Z
Z
1
x = SX Y f (x; y) d (y) = Y f (x; y) d (y) ( )
SY , .
.
.
16.11. (X; ) (Y; ) | - f : X Y C (Z
) . x 7
f (x; y) dZ (y) Y
y Y , y 7
f (x; y) d(x)
X
X Y
f d( ) =
Z Z
16.12.
xX
Z Z
(16.3)
-
|
Z
16. ; Rn
123
( ), , (3)
15.17, . f 16.10 f
, f |
.
Rn .
16.13. Rn ()
n R.
, 16.6; ,
Rm Rn | Rm+n . , Rn ,
Rn .
;
Rn n .
16.14.
E Rn
,
B Rn
E B
(E B ) = 0
. , ; .
n = 1.
, , E R . 14.11 ,
Kn E , Kj Kj+1 j (E \ Kj ) 6 1=j .
B = S Kj , E , (E \ B ) = 0.
n. Ln (. B on ) - (. ) Rn . Ln Ln1 L1 ,
E Rn F Ln1 L1 ,
n (E F ) = 0. , :
F Ln1 L1
n (F B ) = 0
B Bon
, F Rn , , -; , ,
124
Ln1 Ln , , F1 F2 , F1 Rn1 , F2
R. B1 Rn1 B2 R, n1 (F1 B1 ) = 0, 1 (F2 B2 ) = 0.
, B1 B2
n ((F1 F2 ) (B1 B2 )) = 0.
, Rn .
16.15.
.
E Rn
">0
U E
(E \ K ) < "
K E
1. K Rn
,
(K ) =
inf
U E
(U ):
14.13.
- C Rn .
1 , C ( ,
C ) .
3. C .
. C , 2 , C
, |
(. 14.13).
4. C .
. C , , C
17.
125
-. , ,
F
. E = Ei C , Ei . i
" > 0 Ui Ei ,
(Ui \ Ei ) < "=2i , Ki Ui | , (Ei \ Ki ) < "=2i+1. , , -,
[
Ui \ E
P-:
(Ei ) < "=2,
i>N
E\
N
[
i=1
Ki
(Ui \ Ei ) 6
Ei
N
X
i=1
i=1
"=2i = ";
(Ei \ Ki ) +
, U =
i>N
N ,
Ui K = S Ki .
i=1
5. C .
3 ,
. , E E C , E | ,
" U E ,
E , K | .
6.
E Rn (E ) < ,
E
Ei ; 4.
.
.
17.
,
.
126
V | R. V V R, v 7 kvk :
(1) kvk > 0 v V , kvk = 0 ,
v = 0;
(2) kvk = || kvk R v V ;
(3) kv + wk 6 kvk + kwk v; w V .
, , .
( C.)
Rn Lp - Rn ( | ). |
sup-.
( v w kv wk),
.
( ) ,
( ) .
17.1.
17.2. V W |
R; , V k k1 , W |
k k2 . A : V W C > 0, kAv k2 6 C kv k1 v V .
( !)
. (e1 ; : : :; em ) V
(f1 ; : : : ; fn) W ; V W
Rm Rn ,
Rm Rn .
v = x1 e1 + : : : + xm em V ,
X
kv k1 6
|xi | kei k 6 C max(|xi |);
C = m max(kei k1 ); , k k1 V .
S = {x1 e1 + : : : + xm em : max(|xi |) = 1}
; k k1 > 0. v = x1 e1 + : : :
: : : + xm em 6= 0, v= max(|xi |) S ,
kv k1 = max(|xi |)kv= max(|xi |)k1 > max(|xi |);
17.
127
max(|xi |) 6 1 kvk1 :
(aij ) |
= x1 e1 + : : : + xm em,
(17.1)
v=
X
X
kAv k2 =
aij xj fi
6 |aij | |xj | kfj k2 6
(17.1).
kvk v , .
17.3.
.
. : 17.2 kAv Awk2 6 C kv wk1 .
17.2 V = W ,
A ; k k1
.
k k2 .
17.4 , ,
, f (v) = o(kvk)
, .
17.5.
.
17.3|17.5 .
.
17.6. E F | R U E | . f : U F p U ,
A : E F ,
kf (p + h) (f (p) + A(h))k = o(khk)
h 0
128
( k k E F | 17.4).
A : E F
f p ( , , ).
: Df (p), f (p), Tp f , f;
.
E = F = R, A : R R |
a, , | ,
f (a).
, o(khk),
h 0, , , lim (f (p) + A(h)) = f (p), h0
, lim f (p + h) = f (p), p
h0
.
.
17.7. A : E F | ,
pE
17.8. ,
f : U F
pU
17.6, -
,
A; B : E
f p, ,
f (p + h) = f (p) + A(h) + '(h) f (p + h) = f (p) +
+ B (h) + (h), , A(h) B (h) = (h) '(h).
o(khk) h 0; v,
A(v) B (v) = w 6= 0, kA(tv) B (tv)k = |t| kwk,
o(ktvk). , A = B .
|
.
.
17.9. E , F G |
U E V F | , f : U V
g : V G | . , p U , -
,
p
f (p)
gf: U G
D(g f )(p) = Dg(f (p)) Df (p)
,
17.
129
. - E , F G; k k | .
Df (p) = A, Dg(f (p)) = B ;
f~(h) = f (p + h) f (p) Ah;
g~(k) = g(f (p) + k) g(f (p)) Bk:
, " > 0
'; : [0; " R, :
lim '(t) = tlim
(t) = 0; kf~(h)k 6 '(khk)khk; kg~(k)k 6 (kkk)kkk
t0
0
kBk k 6 C2 kk k
h E , k F , , , , khk
kf (p + h) f (p)k 6 ". h
R(h)
, .
(u1 ; : : : ; um) (v1 ; : : : ; vn ) | Rm Rn :
ui ( vi ) i- , | .
Rm Rn .
U Rm | , f : U
Rn
(x1 ; : : :; xm ) 7 (f1 (x1 ; : : : ; xm ); : : : ; fn (x1 ; : : :; xm )):
130
f p =(p1 ; : : :; pm ) U Df (p)= A : Rm
Rn , f (p + h) = f (p) + A(h) + o(khk). ,
f (p + tuj ) = f (p) + A(tuj ) + o(ktuj k) = f (p) + tA(uj ) + o(t);
A(uj ) = tlim
t1 (f (p + tuj ) f (p)):
0
A (aij ), . . A(uj ) =
i- , ,
aij vi , ,
fi (p1 ; : : : ; pj 1 ; pj + t; pj +1 ; : : : ; pn ) fi (p1 ; : : : ; pn )
aij = tlim
:
t
0
, aij | y 7 fi (p1 ; : : : ; pj1 ; y;
pj+1 ; : : : ; pn ) pj .
.
17.10. U Rm | f : U
R | . p = (p1 ; : : : ; pm ) U ,
lim
t0
f (p1 ; : : : ; pj 1 ; pj + t; pj +1 ; : : : ; pn ) f (p1 ; : : : ; pn )
t
( ) i- f
f
p
(p) ( Di f (p);
xi
).
, .
17.11. U Rm | ,
n
f = (f1 ; : : : ; fn ) | U R . f m Rn
p U , Df (p): R
(fi =xj )(p).
, 17.9
17.12. U Rm V Rn | ,
f : U V | , U , g : V R |
, V . f (x1 ; : : :; xm ) =
= (u1 (x1 ; : : :; xm ); : : : ; un(x1 ; : : : ; xm )),
n
g X g uj
=
:
xi
u x
j =1 j i
17.
131
, g |
R, Rk k,
.
, , , C r . .
E F | , U E | , f : U F | , U , Df : U Hom(E; F ),
p 7 Df (p) (, Hom(E; F ) |
E F , . . ).
, Df .
17.13. E F | , U E |
, f : U F | ,
U . , f 1
C , Df : E Hom(E; F ) ; ,
f C r , r > 2 | , Df : E Hom(E; F ) C r1 ; , ,
f C , f C r
r N. , C r ( r) .
17.14.
= (f1 ; : : :; fn ) |
fi =xj
C1
U Rm
U Rn
| ,
f=
-
,
, , .
. :
Hom(Rm ; Rn ) (m n)- p 7 Df (p)
p ((fi =xj )(p)), , fi =xj .
: fi =xj , p U . f p.
A : Rm Rn | aij = (fi =xj )(p).
17.11, f p, , A. , .
. , ,
132
m
X
fi (p + h) fi (p)
(fi =xj )(p)hj = o(khk)
j =1
i ( ,
h = (h1 ; : : : ; hm )). , , .
17.15.
U Rm
f: U R
U
p
f=xj
U
p+h
h Rm
1 ; : : : ; m
| ,
|
f (p + h) f (p) =
m
X
j =1
. p = (p1 ; : : :; pm ), h = (h1 ; : : : ; hm ),
f (p + h) f (p) :
f (p + h) f (p) =
= (f (p1 + h1 ; p2 + h2 ; : : : ; pm + hm ) f (p1 ; p2 + h2 ; : : : ; pm + hm )) +
+ (f (p1 ; p2 + h2 ; : : : ; pm + hm ) f (p1 ; p2 ; p3 + h3 : : : ; pm + hm )) + : : :
: : : + (f (p1 ; : : : ; pm1 ; pm + hm ) f (p1 ; : : :; pm1 ; pm )):
, j -
(f=xj )(p1 + h1 ; : : : ; pj1 + hj1 ; j ; pj+1 ; : : :; pn ) hj ;
j pj pj + hj .
j = (p1 + h1 ; : : :; pj1 + hj1 ; j ; pj+1 ; : : : ; pn );
.
fi . U | , p. h , p + h ,
, fi , ,
m
X
fi (p + h) fi (p)
(fi =xj )(p)hj 6
j =1
X
m
|(fi =xj )(j ) (fi =xj )(p)| |hj |:
6
j =1
(17.2)
18.
M (") =
133
sup
kq pk6"
6j 6m
(17.2) ,
m
X
fi (p + h) fi (p)
(fi =xj )(p)hj 6 nM (") khk
j =1
(17.3)
.
f : U R | C 2 , U Rn | . Df p U
Rn R, , (e1 ; : : :; en ) | Rn , Df (p), , ei
(f=xi )(p). Rn R n- , , Df |
U n- ,
p 7
f
f
(
p
)
;
:
:
:
;
(p) :
x1
x1
f | C 2 , Df . p U | n-
, (bij ),
f
bij = xj xi (p). ( 17.14
C 2 , U .)
: (bij ) !
18.1. f : U R | C 2 , U
Rn | .
i; j [1; n U f f
x x = x x .
j
,
xi xj , , U R2 f : U R | ( x y). f x (. y) fx (. fy ) |
.
134
, .
, (fx )y = (fy )x , , U , . ,
- U ,
, , (fx )y (fy )x
, (fx )y (fy )x .
= [a; a + h [b; b + h | , U . ,
(fx)y (fy )x f (a + h; b + h) f (a + h; b) f (a; b + h) + f (a; b).
(fx )y :
Z
(fx )y dx dy =
aZ+h Z
b+h
(fx )y dy
dx =
aZ+h
a
a
b
aZ+h
aZ+h
=
fx(x; b + h) dx fx(x; b) dx =
a
a
= (f (a + h; b + h) f (a; b + h)) (f (a + h; b) f (a; b)) =
= f (a + h; a + h) f (a + h; a) f (a; a + h) + f (a; b):
=m
18.
135
18.2 ( ). f |
U Rn . a U
X D f (a)
f (a + h) =
h + R(a; h);
Cr
h0
aV
( : R(a; h) = o(khkr ), o
a.)
: U R
! (") = sup k (x1 ) (x2 )k:
h0
lim '(a; h) = 0. ,
V U , '(a; h)
||6r
kx1 x2 k6"
! (") = 0.
, "lim
0
18.3. f : (p; q ) R |
a (p; q)
r k
X
d f
r
k
f (a + h)
k (a)h 6 !f (r) (|h|)|h| :
dx
k=0
Cr
.
r dk f
P
k
k (a)t .
k=0 dx
ds f=dts (a) = 0 0 6 s 6 r; f (r)(t) = f (r)(a + t) f (r) (a),
.
f1(t) = f (a + t)
.
18.4.
dl f (t) X l!
=
! h D f (a + th):
dtl
||
=l
( )
136
17.12
n
X f
d
hi xi (a + th):
f
(
a
+
th
)
=
dt
(18.1)
i=1
a + th f ). hi x
i
(hi ,
18.1),
r- , r- n .
,
.
!Df (");
!(") = Nl! |max
|=r
n1
N = r +n
| r.
1
18.3 t 7 f (a + th) [0; 1, ,
18.4,
X D f (a)
f (a + h)
h 6 !(|h|)khkr ;
!
||6r
19.
,
.
.
19.
137
19.1. V1 E1 V2 E2 | . f : E1
E2 C r , f f 1 C r .
f | , ( , , m = n).
19.2. E F | U E | f : U F | r
C . , p U ,
Df (p): E F
.
f (U1) F
U1 U
f |U : U1 f (U1 )
Cr
,
dim E = dim F . E F
f
(x1 ; : : :; xn ) 7 ('1 (x1 ; : : : ; xn ); : : : ; 'n (x1 ; : : : ; xn ));
Df (p) ,
'
1 (p) : : : '1 (p)
x
x
n
1
: : : : : : : : : : : : : : : : : : : : :
'n
'n
(
p
)
:
:
:
(
p
)
x1
xn
. ,
, .
n = dim E = dim F E F | , L-
( ).
A : E F , E F | ,
kAv k
kAk = sup
v6=0 kv k
= sup
kv k
=1
kAv k:
138
Hom(E; F )). A : E F |
, , , v; w E
kA1 k1 kv wk 6 kAv Awk 6 kAk kv wk:
(19.1)
.
aU
V a
:
x V x + h V kf (x + h) f (x) f (x) hk 6 "khk
f = (f1 ; : : : ; fn ), fi : U R;
fi 18.2 r = 1.
19.3.
">0
, -
.
19.4.
E F
,
f (a)
| ,
f: U F
p; q V p 6= q
V a
f (p) 6= f (q)
aU
U E
C1
. -
, -
f C 1 f (a) , V1 a M > 0,
: b V1 f (b)
k(f (b))1 k 6 M . 19.3
" = 1=2M , , a V V1 : x V , x + h V
.
. () , , , | .
19.5.
E F
f: U F
,
f (a)
f (U ) F
U E
C1
| ,
aU
19.
139
. a U . , W f (a), :
y W x U , f (x) = y. x .
, x, a, f (x) f (a) + f (a)(x a). ( , f ),
f (x) = y : f (a) , ( )
x = x1 = a + (f (a))1 (y f (a)). x1
f (x) = y; f (x) f (x1 ) + f (x1 )(x x1 ) ,
=, f (x1 ) + f (x1 )(x x1 ) = y ; x2 = x1 + (f (x1 ))1 (y f (x1 )). , {xn } -
x0 = a; xn = xn1 + (f (xn1 ))1 (y f (xn1 )):
(19.2)
, x U f (x) = y. , y,
f (a), .
, 19.4:
f
V1 a M > 0, p V1 k(f (p))1 k 6 M ,
19.3 V2 a, V1 , x ; x V2 ,
kf (x ) f (x ) f (x)(x x )k 6 kx x k=2M . (19.2) , xn1 ; xn V2 ,
f (xn )= f (xn1 )+ f (xn1 )f (xn1 )1 (y f (xn1 ))+ Rn = y + Rn ; (19.3)
k Rn k 6
1
k(
2M
(19.4)
140
(19.3) . , , x1 ; : : : ; xn1 V2
(19.2) (19.4) ,
(19.5)
kxn xn1 k 6 M kf (xn1 ) y k 6 M kf (a) y k=2n1:
, x1 ; : : :; xn1 ,
k x n ak 6
n
X
k=1
1 + 21 + 212 + : : :
6 2M kf (a) y k:
(19.6)
V2 ( k k)
a, kf (a) yk < =2M , (19.6) ,
kxn P
ak < , xn V2 n; , ,
x0 + (xi xi1 ) (19.5), i> 1
{xn } . , f (a)
=2M f .
. f : U F | C r , a U
f (a): E F ( U , E F ). U , , f (p) | p U ( f ) f ( 19.4). 19.5 , f . , f (U ) F
f |U : U f (U ) | . g : f (U ) U | (, f ) . , g C r . , a U b = f (a). ,
g b (f (a))1
( !). ,
1
lim kg(y) g(b) ky((f b(ka)) )(y b)k = 0:
yb
f g | ,
20.
141
(19.7), ,
(19.8)
f , M > 0,
x, a, k(f (x))1 k 6 M ,
kf (a)(x a)k > kx ak=M ; ,
x, , k (x)k 6 kx ak=2M ;
, x, a, , kx ak=2M . (19.8) , (19.8), , o(kx ak).
g (b) = (f (g(b)))1 , g
g
.
, , f g g = (f )1 f ; ,
, r ,
g. .
20.
x y f (x; y) = 0. y x? ,
f | R2 , p = (a; b) | ,
f (a; b) = 0.
0 = f (x; y) f (p) + f
(p)(x a) + f
(p)(y b):
x
y
=,
y x : (y b),
f
y (p), , y x,
| .
, ,
f ; f
(p)
y 6= 0,
W a V b, x W
y V , f (x; y) = 0. , x 7 y .
. ,
x y f (x; y) = 0 , -
142
Rm Rn .
. ,
x = (x1 ; : : : ; xm ) n y1 ; : : :; yn , : , n ,
n . f = ('1 ; : : : ; 'n ) ( ) Rm+n Rn ,
f
y (p) 6= 0 . .
20.1 ( ). U Rm+n =
= Rm Rn | f : U Rn | -
Cr
(x1 ; : : :; xm ; y1 ; : : :; yn ) 7
7 ('1 (x1 ; : : :; xm ; y1 ; : : :; yn ); : : : ; 'n (x1 ; : : : ; xm ; y1 ; : : : ; yn )):
a = (a1 ; : : :; am ) Rm b = (b1 ; : : : ; bn) Rn (a; b) U
f (a; b) = (0; : : :; 0) Rn
'
1 (p) : : : '1 (p)
y
yn
1
: : : : : : : : : : : : : : : : : : : : :
(20.1)
'n
'
n
y1 (p) : : : yn (p)
W Rm
(a1 ; : : : ; am )
V Rn
(b1 ; : : : ; bn )
x = (x1 ; : : :; xm ) W
y = (y1 ; : : : ; yn) V
f (x; y) = (0; : : :; 0) Rn
g: W V
xW
yV
f (x; y) = (0; : : :; 0)
Cr
f
f~: Rm+n Rm+n ,
,
,
.
, , -
, -
, -
. , -
, -
,
x (x1 ; : : : ; xm ) y (y1 ; : : : ; yn):
f~: (x; y) 7 (x1 ; : : : ; xm ; '1 (x; y); : : : ; 'n (x; y)) = (x; f (x; y)):
f~ C r U ,
(a; b) (20.1) ,
f~ (a; b) . U (a; b), f~ U1 f~(U1 ). , , U ,
20.
143
, U = O V , O Rm | a
V Rn | b; , f (U ) W {(0; : : :; 0)},
W Rm | a. , W V .
, f (x; y)=(0; : : : ; 0) , f~(x; y)=
= (x; 0; : : : ; 0). f~ U , , x W y V ,
f (x; y) = (0; : : :; 0). f (U ) W {(0; : : :; 0)}, x W y V ,
f (x; y) = (0; : : : ; 0), y .
, g : W V , , .
, g C r , i : W Rm+n , x 7 (x; (0; : : : ; 0)),
p : U V | .
g = p h i, h : f~(U ) U | C r ,
f~, p i , .
Rn . .
r ( , ),
( ) C r .
20.2.
6 n |
(1)
X Rn
xX
U Rn
|
': U V
, ,
V Rn
(2)
(W ) = X U
(x)
, -
,
k6
. .
W Rk
, -
xU
144
, Rn T Rn .
(1) (2). (2), , ; (1), (U; X U )
(V; H V ), H Rn | ; , , (2) ( fi ).
(2) (3).
f
1 (x) : : : f1 (x)
xn
x1
: : : : : : : : : : : : : : : : : : : : : : : : : :
fnk
fnk
(
x
)
:
:
:
x1
xn (x)
n k, (n k) (n k)- ( , n k ) . x = (a1 ; : : : ; an ) X .
( 20.1) W Rk
V Rnk ' : W V , : W (ank+1 ; : : :; an ), V (a1 ; : : : ; ank ), V W U , ,
(w; v) (W V ) X , w = '(v).
, w 7 (w; '(w)) W Rn
( U (3) V W ).
(3) (1). : W Rn
(x1 ; : : :; xk ) 7 ( 1 (x1 ; : : : ; xk ); : : : ; n (x1 ; : : : ; xk )):
, (k k)- i =xj (x)
w = 1 (x) ( , ). , , k .
: W Rnk Rn ,
(x1 ; : : :; xk ; xk+1 ; : : :; xn ) 7
( 1 (x1 ; : : : ; xk ); : : : ; k (x1 ; : : :; xk );
k+1 (x1 ; : : : ; xk ) + xk+1 ; : : : ; n (x1 ; : : :; xk ) + xn ):
(w; 0| ; :{z
: : ; 0}) (k k)-n k
. ,
20.
V
w;
145
,
X Rn , (1)|(3), 20.2, ( ) k-
Rn ( ).
20.3.
,
Rn : , , . . ( , , Rn ),
.
V = {(y1 ; : : : ; yn ) Ve : yk+1 = : : : = yn = 0}
( (1) 20.2).
U = Ue X X , ' = 'e|U : U V ,
.
,
.
20.5.
': U V
, ;
( , U = X )
: ,
, .
( , )
.
20.6. X Rn | k - ,
'1 : U1 V1 '2 : U2 V2 | . U1 U2 6=
6 ,
=
146
Rk ).
(-
e1 , U
e2 , Ve1 , Ve2 , '
. U
e1 '
e2
, 20.4. 'e1 : Ue1 Ve1
'e2 : Ue2 Ve2
Rn ,
'e12 : 'e1 (Ue1 Ue2) 'e2 (Ue1 Ue2 );
x 7 'e2 ('e1 (x)), ,
'e21 . Rk Rn Rk Rn , .
- 20.7. X Y | ,
f : X Y | . f ,
.
(1) x X
U x U f (x) ' : U V ' : U V ,
g = ' f |U f 1 (U ) '1 |'(U f 1 (U )) (. ):
9 XO
sss
s
s
s
sss
?
+ sss _
? U f 1 (U )
Uo
f
/
YO
/ U?
'
'
? _ '(f 1 (U ))
g
/
V .
(2) x X
U x U f (x) ' : U V ' : U V ' f |U f (V ) '1 |'(U f (V )) .
, Y = R,
X .
,
( 20.6).
f : X Y | ,
f x X . , -
21. |
147
U x U f (x) ' : U V
' : U V ; ' f '1 ( '(x)), ,
: ' f '1
,
.
,
,
x .
; .
.
.
20.8. f : X Y , , , f 1 : X Y .
21. |
, a Rm
`a Rm , , `a | ,
, | a, . ( Rm .) ,
C Rm , ,
a C `a C ? (
.)
,
.
.
,
m = n + 1. , | . , `a
a ( ), a (t; x1 ; : : :; xn ) Rn+1 ,
`a, , a , {t = 0}. -
148
.
U Rn
f1 ; : : : ; fn : I U R
| ,
|
I R
| -
(21.1) ( | ), '(t0 ) = x0 | .
v = (v1 ; : : : ; vn ), (21.1)
'(t) = v(t; '(t)).
21.1
.
, (X; ) |
V | R
k k. C (X; V ) f : X V ; (f1 ; f2 ) = sup kf1(x) f2 (x)k
x X
C (X; V ) , , .
: , .
21. |
21.2 (|).
149
S C (X; V )
,
(1)
x X (
(2)
M >0
f S
(x1 ; x2 ) 6 (
">0
);
kf (x)k 6 M
>0
f (x2 )k 6 "
kf (x1 )
).
f S
, f C (X; V ) ; (2) ,
x1 x2 , f S .
. .
, , S C (X; V ) ; ,
{fn S }
.
21.3.
, .
{fn }
-
, {gm} |
{fm}, ,
gm (x) x X . ,
g(x) = mlim
g () . , " > 0
> 0, kf (x1 ) f (x2 )k 6 ", f S
(x1 ; x2 ) 6 . (x1 ; x2 ) 6 , , m
kgm(x1 ) gm(x2 )k 6 ", , kg(x1 ) g(x2 )k 6 ".
g, , S {g}.
, {gm} g . , , " > 0, {nk } xk X ,
kgnk (xk ) g(xk )k > " k. X | ,
{xk } .
{gn }, , lim xk = x
k
kgk (xk ) g (xk )k > " k .
, gn g, > 0, (x ; x ) < , kgk (x ) gk (x )k < "=3 k
kg(x ) g(x )k < "=3. (xk ; x) < , kgk (x) g(x)k < "=3,
150
kgk (xk ) g (xk )k 6 kgk (xk ) gk (x)k + kgk (x) g (x)k + kg (x) g (xk )k <
< 3 "=3 = ";
.
21.3. , ( 7.3).
, B M
V . Q X B
,
B ( xX
B x X ); , ,
,
Q
B
. B ,
x X
, ,
( , S ,
).
, 21.3. , Y X , Y = X .
21.4.
-
.
21.4. C ( ) C , , 1. X |
f : C X | 7.6 , f (C )
X.
, X Z .
21.5.
{fn }
-
21.5.
V ,
Z : z1 ; z2 ; : : : M
21. |
151
{fn} ,
z1; {f11 ; f12; : : : ; f1n ; : : :}.
, {f1n}nN , z2 . , k > 1 {fkn }nZ , zk
{fk1;n }nZ . , {fnn }nZ ( - )
{fkm }mZ zk .
21.3. 21.5 {fn }
{gk }, Z ;
, X .
, x X ; , {gn(x)} . " > 0;
> 0, kf (x ) f (x )k < "=3,
f S , (x ; x ) < . Z X , z Z ,
(x; z ) < ; {fn (z )} , N N, kfm (z ) fn (z )k < "=3, m; n > N .
m; n > N
kfm (x) fn (x)k 6
6 kfm (x) fm (z )k + kfm (z ) fn (z )k + kfn (x) fn (z )k <
, {fn (x)} . .
| , V (
?).
(1) 21.1. , t > t0 [t0 ; t) ( ). () J I , t0 , Br r x0 ( L -), U . t > t0 ,
t0 = 0 < 1 < : : : < n = t | [t0 ; .
, , (-) f : [t0 ; t U ,
, f (0 ) = x0 f ( ) = f (i ) + ( i )v(i ; f (i )),
[i ; i+1 .
152
21.6.
[t0 ; t J )
M=
sup
tJ
xBr
kv (t; x)k.
[t0 ; t -
Br .
kf (u ) f (u )k 6 M |u u |
f : [t0 ; t U
u; u [t0 ; t
| ,
. , 0 ; Br | , ,
, | f (i ) = f (i1 ) + v(i ; f (0 )) Br .
,
X
kf (i ) f (x0 )k = kf (i ) f (0 )k 6
kf (j ) f (j i )k =
X
X
= |j j1 | kv(j1 ; f (j1 ))k 6 M
|j j 1 | 6 M (t t0 ) < r:
, u u
;
u < u1 < : : : < um < u ,
; , (u ; u ).
0 < t t0 < r=M [t0 ; t J .
f : [t0 ; t r=M ,
">0
(j ; j+1 ),
, ,
"-.
S 1-
f : [t0 ; t Br . 21.6 , C (X; Rn ), ; , .
"n 0 fn | - "n -. {fn }
21. |
153
; , fn : [t0 ; t Br ,
f : [t0 ; t Rn , fn "n - n "n 0. , f | . , |
Z u
, f (u) = f (t0 ) + t v(; f ( )) d . ,
0
Z u
Z u
fn (u) x0
v(; fn ( )) d
=
fn(u) v(; fn ( )) d
6 "n (u t0 ):
t0
t0
n
( , ,
), .
(2) 21.1. B U | Rn , x0 . ,
'1 ; '2 '(t0 ) = x0 J = [t0 ; t, 'i (J ) B (
).
v C 1 ,
J B .
(. 2.41), K > 0,
kv(; x1 ) v(; x2 )k 6 K kx1 x2 k I Zx1 ; x2 B . u
'(t) = '1 (t) '2 (t). 'i (u) = x0 + t v(; i ( )) d
0
,
k' ( )k = |kv (; '1 ( )) v (; '2 ( ))k 6 K k'1 ( ) '2 ( )k = K k'( )k:
(21.2)
" > 0 u
[t0 ; t, |'(u)k > ". (21.2) ,
" = k'(u)k 6
Z u
t0
k' ( )k d 6 K"(u t0 );
154
22.
.
22.1 ( ). g : U V = g (U ) | 1
n f: V R|
( C ) R
.
J (g)
f dn =
g n
,
(22.1)
Rn .
, .
-, . I1 : : : In Rn , I1 ; : : :; In |
R ( ). , , , n () = 1 (I1 ) : : : 1 (In ):
.
.
22.2 ( ).
n
| E R | . A(E ) n (A(E )) = |det A|n (E ).
A : Rn Rn
22.3.
A Rn
-
( ) -
.
.
( ) [ai ; bi ).
,
U . 1=2 ,
U ;
1=22 m=22, m Z, U , . .
; V
, U = V . , x U \ V , U x - Q 1=2k m=2k , V ;
k, , .
22.
22.4.
155
(A()) = ()
A : Rn Rn
-
, (A(E )) =
(E ) E .
. 22.3 , (A(U )) =
(U )
U ; , , (A(X )) =
(X ) X ; ,
.
A | , ,
16.14 , ;
, .
, , A; B : Rn Rn , .
, (n n)- :
(1) ;
(2) , ;
(3)
1
0 :::::: 0
0 1 0 : : : : : : 0
0 0 1 0 : : : 0 :
0 ::::::::::::: 1
22.4, , (1), (2) (3) ,
E = | .
(1) (2),
, . (3) , ,
Tb : R R b R,
n (A) =
Rn2
dn2 (a)
Rn2
R2
2 ({a} R2 A()) =
dn2 (a)
I2Z
( Ta
det A = 1, .
Rn2
dn2 (a)
a R).
I2
(3)
156
.
22.5. g : U V = g (U ) | (1
n Q U | . (g (Q)) =
C ) R
n
Z
. , Q Qi
i . , g Qi
h (i ), 22.2 ,
n (g(Q)) =
n (g(Qi ))
, Qi , . .
Rn . , k k
Rn (
). .
, 22.5
, Q U . , Q U | ,
Int Q
, U ;
, Q. , ,
Q U .
22.6. " > 0 > 0, .
M Q
| ,
, -
|det g (
)|(M )
1 < ":
(g (M ))
22.5 . k | .
Q nk Mi ;
i | Mi . " > 0 1=k < ,
| ,
X
X
|det g (
i )|(Mi ) 6
|(g (Mi )) |det g (
i )|(Mi )| 6
(g (Q))
X
6
"(Mi ) = "(Q):
22.
,
(g(Q)) = klim
kn
X
i=1
157
|det g ( i )|(Mi );
f (x)| , x 7 |det
Z
Q, Q |det f (x)| d(x) (,
).
22.6. . ,
.
22.7. g : U V = g (U ) |
Rn
,
, -
U ; M . ,
M
g(
) =
x M kg(x) xk < ,
< a=2.
M g(Int(M )) g(M ) M ;
M ( M ) |
2 (
+ 2 ).
) M ; . g (M
, g(Int(M )) | ( g | ), g(M ) | (
) g(M ) M = (
M ). ,
M =(M g(Int(M ))) (M \ g(Int(M )))=(M g(Int(M ))) (M \ g(M ));
. M ,
, M ;
= g(
) g(Int(M )), , M = M g(Int(M )).
22.6. , g C 1 , A, k(f (x))1 k 6 A x Q. , 18.2 Q
: [0; 0) [0; +) ( 0 > 0), ,
(t) = 0 kg(x + h) g(x) g(x)hk 6 (khk)khk,
tlim
0
x Q khk 6 0 .
" > 0,
Q. g~ : x 7
+ (f (
))1 (f (x) f (
)).
158
, g(
) =
, g~ (
) = Id kg~(
+ h)
hk 6 A(khk)khk,
khk . , 22.2 ,
(22.2)
| M a, Q.
(an) < 1 a=A, 22.7 ( g = g~
= 1 a) , g~(M )
a(1 + 21) a(1 21 )
. (22.2) ,
, 22.6 , 22.5.
.
22.8.
22.5 , Q
. 22.3 22.5 . ,
K U U (. 16.15), 22.5 , Q U | . E U |
, 16.15
K1 K2 : : : Kn : : : E U1 U2 : : : Un : : : E ,
(Uj \ Kj ) 6 1=j j . ,
Uj \Kj
g(E )
Uj
|det(g
(x))| d(x)=
23.
159
E . ,
.
, 22.1
; ,
, |
.
23.
f : Rm Rn | .
f 1 (y) Rn y Rn ?
: ,
Rm , ,
:
23.1.
'(x) > 0
':
x Rn '(x) = 0
Rn R,
F Rn
xF
. ( ). ,
(
f (x) = 0e; 1=x2 ; xx 6> 0;0
C - R. x = (x1 ; : : : ; xn ) Rn
0 (x) = f (1 x21 : : : x2n ). 0 : Rn R | C ,
,
. Br (a) | r a, (x) = 0 (r1 (x a)) |
C , Br (a)
; .
, Rn \ F
S
Rn \ F = Bj . j =1
160
Bj j , :
sup
xRn
||6j
|D j (x)| 6 j
2
1
(23.1)
( , (23.1)
,
Bj ).
P
'(x) =
j (x). (23.1)
j =1
, ' | , , , F . ,
.
.
{fn } | C 1
(a; b) R; , {fn }
f , {fn } -
23.2.
= f~.
f~
.
C1
f f~ . x0 (a; b); | ,
f (x) = f (x0 ) +
Z x
x0
f~(t) dt
x (a; b); ,
Z x
x0
f~(t) dt = nlim
Z x
x0
fn (t) dt
, f (x0 ) =
fn (x0 ).
= nlim
'
,
Rn ;
P
, (23.1) D j
.
23.
161
( , : . ,
, .)
,
- . , x f 1 (y)
f (x) n. 20.2 ,
f 1(y) Rm ,
, . , ,
.
.
23.3. f : U Rn | ,
U Rm | . y Rn 1
(y),
f , x f
, , f .
m 6 n;
.
23.5. 23.4 m 6 n.
. m 6 n , f , f
C 1 -.
162
m = n. ,
f |Q Q U . ; f = (f1 ; : : : ; fn),
fi : U R | C 1 U . , fi , , : [0; ) [0; +) ( > 0),
lim (t) = 0,
t0
kf (x + h) f (x) f (x)hk 6 (khk)khk;
(23.2)
x Q khk < (
). , C ,
kf (x) f (x )k 6 C kx x k, x; x Q kx x k ; | , ,
kf (x) f (x )k 6 C kx x k x; x Q ( x x ).
R = {x Q : rank f (x) < n}.
23.6.
">0
EU
E R 6=
| ,
(f (E )) 6 2n C n1 "n(") (
. x E R; L Rn , f (x)
f (x)(Rn ) Rn . dim L 6 n 1;
, L , f (x), L
. (23.2) , x E
f (x ) L "(");
, kf (x) f (x )k 6 C kx x k , x E kf (x) f (x )k 6 C"; , f (x )
L f (x) C".
f (E ) f (x),
n 1 L 2C",
, L, 2"("). (f (E ))
.
k > 1 Q
kn d=k, d | Q. -
R, ,
,
2nC n1 (d n=k)n (d n=k). -
23.
163
kn ,
(f (R)) 6 2n C n1 (dn)n (dn=k);
|
{z
onst
k , (f (R)) = 0,
m = n .
m < n, , (f (U )) = 0;
, f (U )
f : U Rnm
Rn , | .
23.7. 23.4 , m > n f
.
. ,
, .
23.8.
E Rm
| ,
f: E X
f (E )
.
-
| | -
. , E = F \ G, F G
G F . F , , , , F
G . , G = T Ui , Ui (. -
i=1
16.15). E = (F \ Ui ), . . E | i=1
; ,
f (E ),
X , f (E ) .
, m
( 23.5).
f = (f1 ; : : :; fn ), R = R0 = {x U : rank f (x) < n}.
, (f (R)) = 0. Rk R , x R, 6 k fi .
:
(1) (f (R \ R1 )) = 0;
(2) (f (Rk \ Rk+1 )) = 0 k > 0;
(3) (f (Rk )) = 0, k > m=n.
164
, Rk , 23.8
f (Rj ) f (Rj \ Rj+1 ) .
(1). ,
x R \ R1 V , (f (R V )) = 0.
fi
x R \ R1 ; x
(x) 6= 0 - i j . j
g : U Rm ,
(x1 ; : : :; xm ) 7 (x1 ; : : : ; xj1 ; fi (x1 ; : : : ; xm ); xj+1 ; : : :; xm );
,
V x, g|V C -
V1 . f~ = f |V g|V1 1 |
, f |V . , f~
(x1 ; : : : ; xm ) = x 7 (f~1 (x); : : : ; f~i1 (x); xj ; f~i+1 (x); : : : ; fn(x): (23.3)
f~ H
= V1 {xj =
}
L
= {(y1 ; : : :; yn ) Rn : yi =
}, (23.3) , y L
f~ , y
f~|H
: H
L
. , f~|H
L
; ,
f~ ,
, , f (R V ).
(2). - ,
x Rk \ Rk+1 V ,
(f (Rk V )) = 0. x R \ R1 ; , || = k, i j , (D fi =xj )(x) 6= 0.
g : U Rm ,
(x1 ; : : :; xm ) 7 (x1 ; : : : ; xj1 ; D fi (x1 ; : : : ; xm ); xj+1 ; : : :; xm );
,
V x, g|V C -
V1 . f~ = f |V g|V1 1 |
, f |V . ,
x 6 k f C k ( C ) ,
, , kf (x + h) f (x)k = o(khkk ). ,
, .
f~ = f |V g|V1 1 x g(Rk V ) 6 k . ,
24.
165
(23.4)
x Q Rk khk < (, ).
, " > 0 : E Q | 6 ", E Rk 6= ,
f (E ) 2(")"k .
Q rm d=r, d | Q,
, Rk ,
{z
onst
m kn 6 0, r , ,
(f (Rk )) = 0.
, . ,
(1) ((f (R \ R1 )) = 0) , f | C s , s > m n,
- (3) ((f (Rs )) = 0,
m n + 1 > m=n m > n). (2), , (f (Rk \ Rk+1 )) = 0: k , , D fi = 0,
, .
24.
, , -
166
: , C r -,
r > max(m n; 0) ( Rm Rn ) .
, . n > 1 C n1 -
Rn R,
( ,
).
( ).
,
.
24.1 (). n > 1 C n1 -
n
f : R R, -
,
( , ).
= (i1 ; i2; : : :)
() = Qi1 Qi1 ;i2 Qi1 ;i2 ;i3 : : :
, , ( ) ;
24.
167
Q22
Q32
Q23
Q2
Q33
Q3
Q21
Q31
Q30
Q03
Q02
Q
Q12
Q13
Q1
Q11
Q0
Q10
Q01
Q00
. 5. C
C = (). C .
f : C R: x = (i1 ; i2 ; : : :) C
f (x) = i41 + 4i22 + : : : + 4inn + : : :
f (C ) = [0; 1 . ,
, x1 ; x2 C
1=3k , 1=3k+1 .
168
, log3 4 > 1.
n [0; 1n 2n
Qi (0 6 i 6 2n 1) 1=(2 + ") (
" > 0 ); , Qi Q Q .
i ( 1=(2 + ")), Q Qi , Qj (0 6 i 6 2n 1)
Qij Qi , . . {0; 1; : : :; 2n 1} Rn
{i1 ; i2 ; : : : ; in ; : : :} 7 (Qi1 Qi1 ;i2 : : :):
, ,
C Rn | , .
C {0; 1; : : :; 2n 1}, f : C R
{i1 ; i2 ; : : : ; in ; : : :} 7
k=1
ik
(2n )k
, f (C ) = [0; 1; , n = 2, ,
A > 0
|f (x1 ) f (x2 )| 6 Akx1 x2 klog2+" 2
m+
6 Akx x k
, x ; x C . f
n
m
f~: R R, C
~
, D f (x) = 0 x C 1 6 || 6 m.
.
.
24.
169
24.3. f : X R, X | , , f . f
supp f .
( ).
U Rn | . n
U 'i : R R (
i I ), :
(1) 'i (x) > 0 x i, supp('i ) U i;
(2) x U V x,
supp('i ) V 6=
P i;
(3) x U 'i (x) = 1.
24.4.
i I
(1) , , 'i
, U . (2), , ,
(3)
.
, |
. , , ,
.
diam(E ) E Rn ,
dist(E1 ; E2 ) | x1 E1
x2 E2 .
24.5.
m>0
iI
{'i }iI
'i
I
(2)
C Rn
.
(1)
iI
-,
xU
'i (x) 6= 0;
iI
(3)
(4)
U = Rn \ C Rn
'i
,
2n
|| 6 m,
170
2n (2) 2 (3)
: ,
.
(3) , 'i , (4)
.
. U . ( , | )
. Q, dist(Q; C ) > diam(Q). Q
1=2 Q, dist(Q; C ) > diam(Q);
1=22 m=22, m Z, , C
, . . {Qi }.
1=2r r;
r n=2r . 6 r Fr .
24.6.
(1)
-
, .
(2)
| , ,
diam(Q) 6 dist(Q; C );
dist(
Q; C ) 6 2 diam(Q).
24.6. r
: 6 r ,
. ,
r 6 1 ; r r + 1 , x (Fr ), Q 1=2r (
k=2r , k Z), x, Fr U ; ,
r + 1 ,
Q x (
C , n=2r+1.
(1).
, diam(Q) 6 dist(
Q; C ) ; , dist(Fr ; C ) 6 2 ( n=2r ) (
24.
171
r),
r, (2).
(3) ,
, x - 6 r.
r (3), (4).
- C - Rn ,
supp( ) = [1:1=2; 1:1=2n ( 23.1; 1:1 ).
i | Qi 2li | ; i (x) =
= ((x
i )=li ). , supp i | , Qi
1:1 ; 'i i ,
P 24.6 (1)|(3)
, , i (x) iI
.
:
i
P
Qi , x U i (x) ;
i
'i (x) =
(x)
:
j (x)
Pi
j I
P ( ) 'i i ,
'i (x) = 1 x U ;
iI
(1)|(3).
(4).
K1 =
supn |D (x)|:
xR
||6m
supp i k, , ,
|D i (x)| 6 2|| K1 = K2 =(diam(supp i ))|| ;
K2 | .
i 'i . > 0
[1=2; 1=2n (, , i (x) > ,
x Qi ), L | . ,
:
172
24.7.
u v
| -
u
v =
C; Z n N
| | | |6||
C;
D u D
v v n
v 2||
| .
(24.1)
24.
24.8.
173
x supp 'i a C
ka ai k 6 ka yi k + kyi xk + kx ak 6
6 dist(supp 'i ; C )+diam(supp 'i )+ kx ak 6 3 dist(supp 'i ; C )+ kx ak
( (3) 24.5);
dist(supp 'i ; C ) 6 kx ak;
.
x Rn :
P
f (ai )'i (x)
f~(x) = iI
f (x)
x = C ;
(24.3)
x C:
(
) , f~ . , f~ Rn . ,
lim f~(x) = f (a) a C . , x U
xa
X
X
X
'
(x) f (ai )'i (x) 6 |f (a) f (ai )|'i (x):
|f (a) f~(x)| = f (a)
i
iI
iI
iI
(24.4)
- ,
x supp 'i . , f
(,
): kx ak 6 ", kai akP6 4" 24.8, |f (a) f (ai )| 6 A(4")m+ . 'i (x) = 1, ,
i I
dist(x;C )0
174
x U , a C | , P
x C . 'i (x) = 1 x, i
P
D 'i (x) = 0 x (
i
).
X
X
f
(ai )D 'i (x) f (a)D 'i (x) 6
|D f~(x)| =
i
i
X
|f (ai ) f (a)| |D 'i (x)|:
6
i
(24.5)
24.8 , kai ak 6 4kx ak = 4 dist(x; C ). , |f (ai ) f (a)| 6 A 4m+(dist(x; C ))m+ . , (4) 24.5 , |D 'i (x)| 6 K max(1; 1=(dist(x; C ))|| ).
, (24.5) 2n (2) 24.5. ,
|D f~(x)| 6 2n A 4m+ (dist(x; C ))m+ K max(1; 1=(dist(x; C ))|| ):
|| 6 m, dist(x; C ) 0.
.
24.2, ,
;
, , ,
n C (Rn ), .
1.
2.1. I | {ai }iI |
, I . ,
sup
S I j S
aj = +:
B | - X .
f : X R ( B), -
R B .
.
175
2.2. , f : X R
, f 1 [a; +) a R; |
f 1 [a; +) f 1(a; +).
2.3. f (x) = lim fn (x) x X , fn : X R
n
. , f .
2.4. f : [0; 1 R | . g : R [0; + g(
) =
ard(f 1 (
)). , g
( - R).
2.5. ) [0; 1,
7.
) [0; 1,
2007.
2.6. E [0; 1 | , , [a; b [0; 1
(E [a; b) = (b a)(E ). , (E ) .
2.7. ) , p- Zp , -
: (1) (a + B ) = (B ) B Zp a Zp ; (2) (Zp ) = 1. a + B
{a + x : x B }.
) , , (), .
2.8. C [0; 1 | ( ). , [0; 1
( - ) : (1) (B ) = (B C )
B [0; 1; (2) (X ) = 0, X | ;
(3) ([0; 1) > 0.
2.9. f : [0; 1 R,
, x [0; 1,
, f (x)
?
2.
2.10. , [0; 1 .
176
2.11. , R ( ) , .
2.12. ( ) , .
2.13. " [0; 1
E [0; 1, E = [0; 1 (E ) = ".
2.14. {Ei }iN |
P
(X; ), (Ei ) < . ,
i=1
x X Ei .
n
n
1 nx ex dx.
nlim
0
2.16. f | ( )
[a; b. ,
2.15.
x 7
[a;x
f (t) dt
.
2.17. x (0; 1) n N f (x)
n x.
f (n)=n = 1=10.
, x (0; 1) nlim
, Rn . d - dx1 : : :dxn .
2.19. , Rn , Rn , .
2.20.
Xn = {(x1 ; : : :; xn Rn : 0 6 x1 6 x2 6 : : : 6 xn 6 1)}:
(Xn ).
2.21. ZI = {(x1 ; : : :; xn ) Rn : xi [0; 1}.
) I max(x1 ; : : :; xn ) dx1 : : :dxn .
177
4.
, ,
( ).
o() .
2.28. f : R2 R2 ,
y = |x|?
178
) ,
?
f : Rn Rn
(x1 ; : : :; xn ) (X x1 ) : : : (X xn ).
f (a1 ; : : :; an ) (a1 ; : : :; an ) Rn .
2.34.
K Rn | .
f : Rn \ K Rn x Rn \ K
y K , x ( ?).
, f
K ?
2.35.
2.36*. (E; k k) | ,
{v : kvk 6 1} . , dim E < .
5.
2.37. f , ( ) R2 (
x y), f = fxx + fyy .
f (r; ')
.
179
R. f : Rn \ {0} R
, t > 0 f (tx1 ; : : : ; txn ) =
= t f (x1 ; : : :; xn ).
) , f | C 1 ,
,
2.38.
f
f
x1 x
+ : : : + xn x
= f:
n
1
) ?
2.39. F | p x1 ; : : :; xn ,
q | , p.
X D F (a1 ; : : : ; an )x
||
=q
| |
=pq
D F (x1 ; : : : ; xn )a
:
!
C 2 ,
. aij = 2 f=xi xj .
) (aij ) . ,
f .
) (aij ) (2; n 2) ( n > 2).
, f
.
) (aij ) (n 1; 0). f ?
2.40. f : Rn R |
2.41. ) U Rn | f :
U R|
C 1 . , f U . , K > 0,
|f (p) f (q )| 6 K kp q k p; q U .
) (), U , U ?
C 1 - f : Rn Rn , , ,
f (x) x Rn .
2.42.
2.43. (X; ) | f : X X |
.
) , (0; 1), (f (x1 ); f (x2 ))6
6 (x1 ; x2 ), x1 6= x2 . , f (. . x X , f (x) = x).
180
.
) () X .
f ?
6. Rn
2.44. y = |x| R2 ?
2.45. x + y + x5 y 5 = 0
y x; y = '(x).
) '(5) (0).
) '(2004) (0).
2.46. an |
x5 + 1 = nx. {an } n .
2.47. f : R3 R | C 1 ,
a Rn . f (x; y; z ) = f (a) x a
y z , y x z , z
x y.
x y z
y z x :
2.48. S 2 R3 | , x2 + y 2 + z 2 = 1,
p : S 2 R2 | (x; y; z ) 7 (x; y).
p ?
2.49. Matnn (R) (n n)- . ,
2
Matnn (R) ( Rn ) :
)
SLn (R) = {X Matnn (R): det(X ) = 1};
)
On (R) = {X Matnn (R): t XX = I }
( t X , X , I |
).
2.50.
181
Un = {X Matnn (C): t XX = I }
( ). , Un |
2
Matnn (C) ( R2n ).
2.51. X C3 | ,
|z1 |2 + |z2 |2 + |z3 |2 = 1=2;
z12 + z22 + z32 = 0:
, X | C3 (
R6 ).
7. ;
2.52. X | C (X ) |
sup-. S
C (X ) | . ) ,
S . ) , S .
2.53. x =
= x2 .
2.54. x = v (t; x)
C 1 . ,
[t0 ; t0 + h (t0 ; x0 ) ,
(
) .
2.55. x = v (t; x) | , R Rn . ,
C1 ; C2 > 0, kv(t; x)k 6 C1 kxk + C2
x Rn . , (t0 ; x0 ) , R.
) R2 e(x +y ) dx dy. (. .)
Z
2
) R ex dx.
) kqij k |
Z
P
Q(x)
; Q(x) = qij xi xj . Rn e
dx1 : : : dxn .
2.56.
182
2.57. ( ) Rn . (. , n n + 2.)
2.58. Bn Rn | Z
. > 0 B kx1k dn (x)?
n
8.
; F Rn |
2.59. F1 2
. ,
f : Rn R : f (x) = 1 x F1 , f (x) = 0
x F2 , 0 6 f (x) 6 1 x.
2.60. F Rn | , U F | f : U R | C k (0 < k 6 ). , fe: Rn R ( C k ), , fe = f , F .
2.61. {an } | , 1
a
, () nlim
n
n.
, C 1 - f : R R,
, f (1=n) = an n N.
C (Rn ; Rm ).
, C - Rn Rm :
n
sup
||6r
x K
o
kD g (x) D f (x)k < " ;
183
2.64. p ( C 2 ) f : Rn R
, det k 2 f=xixj (p)k 6= 0 (,
, ). f C (Rn ; R). ,
f g, .
2.65. , k > 0
C k Rn R .
f R[X1 ; : : :; Xn |
V = {(x1 ; : : : ; xn ) Rn : f (x1 ; : : :; xn ) = 0}:
, V .
2.67. R2 ,
y2 = x3 ?
2.68. S R2 |
. S , [0; 1) t 7 e2it .
T = {(A; B; C ) S S S : ABC }:
T .
2.69.
2.66.
p
3
f (x; y) =
25.
Rn , ,
. , , ,
Rn .
(, ) r N {}.
Cr
X , .
(1) X U ,
.
(2) U
' : U V , V Rk | ( ).
(3) U U |
.
25.1.
Rk .
20.6 ( ,
Rn
) , Rn
.
,
, 20.7 ( , , ). 20.8.
( 25.1) , Rn ( 20.3), : ,
25.
185
k- C r Rn C r n. ( 25.1
) .
. .
. . , . . . .
, | .
. ( ,
), , ,
.
, 25.1 | :
, ( ) Rn
. , .
, n- ,
RPn , Rn+1 , . , , ;
. (x0 : : : : : xn ) (x0 : : : : : xn )
( , ) ,
xj = xj R \ {0} j [0; n.
RPn . ,
i [0; n
Ui = {(x0 : : : : : xn ) RPn : xi 6= 0}:
, Ui , 'i : Ui Rn ,
(x0 : : : : : xn ) 7 (x0 =xi ; : : :; xi1 =xi ; xi+1 =xi ; : : : ; xn =xi ):
, 'i
.
( ,
186
). 0 6 i < j 6 n. ,
, , -).
RPn ,
. : W RPn ,
i [0; n 'i (W Ui ) Rn .
, 'i |
, , RPn
. .
, ,
. G(k; n)
k- Rn .
.
Rn (v1 ; : : : ; vn ), v1 = (1; 0; : : :; 0), . . . , vn =
= (0; : : :; 0; 1). k- V Rn ; -, (n k)- k. Rn
,
(k k)-.
Ua G(k; n), a = (a1 ; : : : ; ak ) | (1 6 a1 < : : :
: : :<ak 6 n), , V ,
, , a1 ; : : : ; ak , ( , V (n k)- , vj j , a). , V Ua , , (k k)-, a1 ; : : : ; ak , .
25.
187
kn k2 = k(n k) , a1 ; : : : ; ak ; V k(n k) ,
'a : Ua Rk(nk) :
Ua G(k; n) ,
'a | . -
, ( ). ,
W G(k; n) , a
'a (W Ua ) Rn .
, G(1; n) RPn1 . , G(k; n) ;
, , G(k; n)
C - k(n k).
, G(k; n) .
, Z , (e1 ; : : : ; ek ) Rn , ej
; , , (, , ),
, Z G(k; n),
(e1 ; : : : ; ek ) Rn ,
.
. | ,
Rn . ,
,
.
X | p X .
p,
: ("; ") X ,
(0) = p ( " > 0
25.2.
,
).
1
2 , p,
, U X ,
U x ' : U V Rdim X
('
1 ) (0) = ('
2 ) (0).
188
- . ,
1
2 |
X , p,
', p, ('
1 ) (0) = ('
2 ) (0), , p,
(
1 ) (0) = (
2 ) (0), '
i
i .
25.3. X
p , p.
X p Tp X , p.
25.4. X Y | f : X Y |
, f p X
f (p): Tp X Tf (p) Y ,
: ("; ") X
f
: ("; ") Y .
, (. . ,
1
2 , f
1 f
2 ). .
, ( 17.9), .
25.5. X , Y Z | , f : X
Y g : Y Z | p X . (g f ) (p) =
= g (f (p)) f (p).
;
. .
Tp X Rn , n =dim X . , ' : U Rn |
( U p | ); v Tp X
: ("; ") Rn ,
'
: ("; ") Rn , R Rn , 1 R;
U;' (v) Rn . ,
25.
189
(U;' (v));
(25.1)
V; (v) = fUV
fUV | , (U; ') (V; ).
Tp X : v; w Tp X , w Tp X , U;' (w) = U;' (u) + U;' (v);
v Tp X R, v w Tp X , U;' (w) = U;' (v). (25.1) ,
U '.
25.6. Tp X Rn ,
, .
Tx X x X .
, .
f : X Y | , x X , y =
= f (x) Y . dim X = m, dim Y = n. X
U x ', Y | V y . U ,
, f (U ) V . f~ = f '1
(x1 ; : : :; xm ) 7 (f1 (x1 ; : : : ; xm ); : : : ; fn (x1 ; : : :; xm )):
, v Tx X
: ("; ") U X , '
: ("; ") Rm
t 7 (
1 (t); : : : ;
m (t)). , ,
U;' (v) = (
1 (0); : : : ;
m (0))
190
( '(x)). ,
V; (f (x)(v)) U;' (v) f '1 , f
. , ,
, 17.
.
G(k; n),
k- V Rn V (
v G(k; n)). ,
.
25.7. G(k; n) | k - n
R G(k; n). T G(k; n) n
Hom(V ; R =V ).
. T G(k; n)
Hom(V ; Rn =V ) , k(n k).
, ,
, , . , ,
- (, ). . 25.6: , , ,
.
T G(k; n) Hom(V ; Rn =V ), ,
( ).
, G(k; n) . , : ("; ") (Rn )k , t (e1 )(t); : : : ; (ek )(t). ,
(e1 )(t); : : : ; (ek )(t) t t 7 (ej )(t) .
(t) G(k; n) , ,
25.
191
(25.2)
e1 (t); : : :
. ,
f1 (t); : : : ; fk (t); A : ("; ") GLk (R),
e(t) = A(t)f (t) t (, GLk (R)
(k k)- ).
A(t) = kaij (t)k.
: : :; ek (t),
ei (0) =
aij (0)fj (0) + aij (0)fj (0) aij (0)fj (0) mod V : (25.3)
P
v = i ei (0) V .
P ei (t), i ei (0) mod V ; -
192
fi (t), , v =
(25.3):
v 7
i ei (0) mod V ;
(25.2).
, , , V Rn =V .
,
1
2 | ;
, , Ua ,
a = (a1 ; : : : ; ak ) | . , ,
k Rn (k n)-.
, , , (k n)-, , a,
. , , Rn ,
a, Rn =V ;
, ,
a,
. T G(k; n) Hom(V ; Rn =V ).
, .
26. ,
, , . C , . ; , C r , r > 1, C r - C .
,
( ). ,
.
26.1. X | p X . p
26. ,
193
.
X p OX;p (
, ) Op .
, n-
Rn .
. v Tp X | ,
: ("; ") X .
Dv : OX;p R,
(f; U ) 7 (f
) (0)
( ("; ")
U ,
1 (U )
("; "); ,
). , Dv f (,
) f p , v.
Tp X , OX;p | , , -, Dv (f; U ),
, , -, Dv
, v.
, .
, dim X = n. p X
, Rn , -
194
, , X = V Rn | p V .
: ("; ") V | ,
p,
t 7 (
1 (t); : : : ;
n (t)), (f; U ) | p,
(f
) (0) =
n
X
i=1
f
i (0) x
(p):
i
(26.1)
(26.2)
(a1 ; : : :; an ) ,
(, t 7 (a1 t; : : :; an t)), Dv (, ai = Dv (xi )), .
26.3. X | n, x X , U x | , ' : U V Rn |
p = '(x). v 7 Dv
'
f 7 P ai (f x
i
i=1
1)
OX;x
R,
(p), ai R | .
, (26.2),
ai x i . (26.2), .
, | , . , p ,
.
26. ,
195
, v Tp X D = Dv
, , :
(26.3)
, , DerR (Op ; R)
Dv v Tp X . ,
Op . mp Op , ,
p. mp Op ( ). n | X ;
OX;p , , OV;o ,
V Rn | Rn o Rn |
. O OV;o m mV;o.
m , , x1 ; : : : ; xn .
26.5 ( ). O m
x1 ; : : : ; xn ( , f m f = g1 x1 + : : : + gn xn , g1 ; : : :; gn | - O ).
Z 1
n
1d
X
f
f (x) = dt f (tx1 ; : : : ; txn ) dt = xi x
(tx) dt:
0
0 i
i=1
Z 1
f
(tx) dt. , gi
gi (x) = 0 x
i
( C ) B , . . ; , ,
.
,
( f ).
196
Op | p. m2p mp Op , , Op ,
f1 g1 + : : : + fm gm, fi gi mp ( ). mp , m2p R, mp =m2p,
(mp =m2p ) .
26.6.
.
| ,
Tp X , (mp =m2p )
DerR (Op ; R)
pX
.
,
, , .
. DerR (Op ; R) (mp =m2p ) . | . ,
D : Op R | DerR (Op ; R). , D m2p Op . , f; g mp ,
D(fg) = g(p)D(f ) + f (p)D(g) = 0, f (p) = g(p) = 0. D mp Op | mp ; ,
, m2p , mp =m2p,
(mp =m2p ) . i(D); i : DerR (Ox ; R) (mp =m2p ) . , (mp =m2p ) . mp , m2p .
D( ): Op R D( ): f 7 (f f (p))
( f f (p) p,
). , D( ) (26.3)
DerR (Op ; R).
( ):
D( )(fg) = (fg f (p)g(p)) =
= ((f f (p))(g g(p)) + f (p)(g g(p)) + g(p)(f f (p))) =
= ((f f (p))(g g(p)) + f (p) (g g(p)) + g(p) (f f (p)) =
= f (p)D( )(g) + g(p)D( )(f )
( , (f f (p))
(g g (p)) m2p ). , i D ; .
Tp X DerR (Op ; R).
.
26. ,
197
, 26.3 v 7 Dv ,
Tp X DerR (Op ; R), , . ( DerR (Op ; R) Dv
v), ; , , , ,
X | Rn p = o | .
,
.
, D DerR (O; R). (26.3)
P D(f ) = D(f f (o)); , , f f (o) = xi gi .
, f
(o). :
, gi (o) = x
i
D(xi ) = ai , , D = Dv , v =
.
ai x i ,
, , .
f : X Y | ,
p X q = f (p) Y . f
f : OY;q OX;p , :
OY;q , (h; U ),
OX;p , (h f; f 1 (U )) ( : , ). , f (mq ) mp
( h q = f (p), h f
p). f | , , f (m2q ) m2p . , f R- mq =m2q mp =m2p. Tp f : (mp =m2p ) (mq =m2q ) .
26.6, (mp =m2p) (mq =m2q )
Tp X Tq Y . , ,
Tp f | -
198
,
:
p.
26.7.
2
2
p : Tp X (mp =mp ) q : Tq Y (mq =mp ) , -
26.6
Tp X
p /
(mp =m2p )
Tp f
f
Tq Y
q /
(mq =m2q )
, , : , , .
; | . X v,
p X vp Tp X , p.
, ?
, .
U X | ' : U V Rn | ( n = dim X ). ,
, p = '1 (x1 ; : : : ; xn ),
n
P
(x1 ; : : :; xn ) V , ai x
; ,
i
i=1
U
n
P
.
ai (x1 ; : : :; xn ) x
i=1
26.8.
n-
X ,
p X U p
' : U V Rn ,
n
P
ai (x1 ; : : :; xn ) x , a1 ; : : :; an .
i=1
, ai n
P
ai x
, .
i
i=1
, U X
'1 : U V1 '2 : U V2 . -
26. ,
199
(x1 ; : : :; xn ) Rn , V1 ,
(y1 ; : : : ; yn ) | , U2,
= '1 '21 : U2 U1 (x1 ; : : : ; xn ) (y1 ; : : : ; yn ).
y- P
bi y , f
i
( )
X
X f xj
=
xj yi
i
j
XX
xj f
=
bi (y1 ; : : : ; yn ) yi xj
j
i
f
bi (y1 ; : : :; yn ) y
=
i
P x
bi (y1 ; : : : ; yn )
f
aj x
;
j
aj = yj bi (y1 ; : : : ; yn ).
i
i
a = Jb, J | kxj =yi k. J | ,
, a1 ; : : :; an , b1 ; : : : ; bn, .
,
;
, , :
26.9. v | X ,
f | X . f
v v (f ), x 7 vx (fx ),
fx Ox | f x.
v
n
P
ai (x1 ; : : : ; xn ) x , v(f ) =
n
P
i=1
f
; ai , v(f ) = ai (x1 ; : : : ; xn ) x
i
i=1
,
.
() : O(X ) | X .
26.10. X | , f; g O(X ),
; R v
,
X
v(f + g) = v(f ) + v(g);
v(fg) = v(f ) g + f v(g):
|
200
,
26.10, .
A | 1 B A |
. D : A A A B ( : B - A),
f; g A
B :
26.11.
, , , B
; , D(f + g) = D(f ) + D(g), ; B
f; g A. ,
26.10 : X O(X ) R (, R O(X ) ,
).
, (
):
X
D DerR (O(X ); R)
v X
v(f ) = D(f )
26.12.
| .
-
f O(X )
26.13. U | X , p U .
U1 U , p, f O(X ), supp f U
f (x) = 1 x U1 .
1 , | , .
26. ,
201
.
U | Rn , B |
p, U , : Rn R | C , B ; a = (p)=2; 'a | 26.13, 'a |
U , B .
, U , , U - ;
U ,
. , X
C -.
26.14.
Op ,
, .
. Op
(f; U ) h O(X ) | , .
F (x) = 0f;(x)h(x); xx = UU ;
, , X p,
f.
. D
DerR (O(X )). p X vp
DerR (Op ; R) : f Op , 26.14, - f O(X ), vp (f ) =
= D(f )(p). (26.3) , , vp ,
D(f )(p) f p.
, , D(f )(p) = 0, f U p. : h | , 26.13; fh = 0, 0 = D(fh) = D(f ) h + f D(h);
p, 0 = D(f )(p) h(p) = D(f )(p), .
202
, D DerR (O(X ))
{vp }pX . ,
p;
. ,
( U Rn , P
) ai (x1 ; : : : ; xn ) x
;
i
, ai . xi
X ,
, D(xi ) = ai O(X ),
ai . , (, , ),
26.14. , p U
xe1 ; : : :; xen ,
X x1 ; : : :; xn U1 p.
D(xei ) X , ai D(xei ) O(X ) U1 p , ,
. ai
p U , U .
, , R- OX
. , ; .
,
. .
, E1 E2 A [E1 ; E2 : x 7 E1 (E2 (x))
E2 (E1 (x)).
26.15.
.
D1 D2
[ D 1 ; D2
| ,
BA
A
B
A B
.
| ,
. , .
26. ,
203
v1 = ai (x) x
, v2 = bi (x) x
. , i
i
f . v1 (v2 (f )):
P
v1 (v2 (f )) = v1
=
X
i;k
f
bi (x) x
i
f
v1 (bi ) x
+ bi v1
i
bi f X
2f
:
+
ak x
b
a
i
k
xi xk
k xi
f
=
xi
i;k
, v2 (v1 (f )) , a b,
( !). f
x
i, :
v1 (v2 (f )) v2 (v1 (f )) =
i
XX
i
bi
a
ak x
bk i
xk
k
f
xi :
,
:
hX
X i X X bi
ai
ak xk bk xk xi :
ai xi ; bi xi =
i
k
(26.4)
.
26.16. A |
Di DerB (A)
,
, ,
BA
D1 D2 D3
,
(26.5)
| -
.
, , .
(26.5) ;
26.16 ,
.
204
27.
; .
, , . .
C ;
.
v | X .
v ' : I R, I R | ,
: t I
d
: ' : I R
, t I f v('(t)).
. P
U Rn v = vi x
.
i
i
' : I U , t 7 ('1 (t); : : : ; 'n (t)),
, d'i =dt =
= vi ('1 (t); : : : ; 'n (t)) i. ,
| ,
'1 (t) = f1 ('1 (t); : : : ; 'n (t)); : : : ; 'n (t) = fn ('1 (t); : : : ; 'n (t)):
(27.1)
, ,
( 21), t;
.
,
21, , '1 : I1 X '2 : I2 X ,
t I1 I2 ,
I1 I2 .
, .
27.
205
21.1 , |
I R. R :
R x2 (d=dx), x = x2 ,
, ', '(0) = a > 0,
t 7 a=(1 at),
(; 1=a): .
,
.
27.3.
| -
.
,
R.
-
( v | | {x X : v(x) 6= 0}.)
, , .
. (27.1), U Rn . 21.6
, Br U | r
x0 , M = sup kv(x)k, x0 xBr
, 2r=M
x0 ( , x0
, Br ). , x0 X V x0 "V > 0, , x V ,
"V x.
v , ,
; " "V , . ,
x, v(x) = 0, R
( | x), , ' : I X , t0 I ,
I (t0 "; t0 + "). R
.
. .
27.4. X | . X
206
G : R X X , :
(1) t R gt : X X , gt(x) = G(t; x), ;
(2) t1 ; t2 R gt1 +t2 = gt1 gt2 .
, R ( ) X ; G , gt t.
27.5.
xX
| -
.
G: R X X
t 7 gt (x)
, ,
( , , R .)
. 2 21.1.
G(t; x) = gt (x) = '(t),
' : R X | , '(0) = x.
27.2 '1 : t 7 '(t1 + t) , '1 (0) = gt1 (x), gt1 +t2 (x) = gt2 (gt1 (x)),
G R X . , G . ,
;
. . (.: , 1971) . . ( ).
27.6.
| ,
27.6 .
, , , R,
. :
.
27.7.
xX
|
G : ( "; ") U X
U x
">0
27.
207
27.8. v w |
U Rn , {gt} {ht} |
{ft } |
z = [w; v
z
s; t 0
,
,
.
. , (P
, {gt} vi x
; v
i
(v1 ; : : :; vn )):
gt (q) = q + tv(q) + o(t);
, o q,
, q p.
:
X
vi
gs ht gs ht (p) = p + st
wi
2 2
w
j
xj
xj vj + o(s + t ):
(27.2)
208
, , : ,
.
,
.
6 2 , , ,
> 2 (
). '
:
s2 t2 . ,
, 2, , s2 t2 , ,
.
, :
ht (p) = p tw(p) + O(t2 ) = p tw(p)
( O(t2 ), );
gs ht (p) = p tw(p) sv(p tw(p)) =
= p tw(p) s v(p) t
X v
X v
w
w
=
p
tw(p) sv (p) + st
j
xj
xj j
( v;
O(t2 )). ,
X v
w
xj j
= p tw(p) sv(p) + st
X v
xj wj
+ tw(p) + t2 (: : :)
( st)
X w
v + tO(s2 + t2 ) =
xj j
X
X w
v
= p sv(p) + st
w
v
j
xj
xj j
|
{z
}
C
st
+ o(s2 + t2 )
w
v + o(s2 + t2 ):
j
xj
xj j
27.
209
27.8
.
27.9.
,
( )
| ,
[v; w = 0.
{ gt }
-
v w
| -
{ht } |
() , v w,
s t (. s t)
gs ht = ht gs .
. N (gs=N )N = gs , ,
gs=N ht=N N N. , gs ht p
, , X | Rn .
, gs (ht (p)) = ht (gs (p)), k. 27.8 , q
o q.
k ,
(27.3)
,
C r r > 1;
, , C r . 27.8
27.3 r = 1:
, 26.4
, .
210
28.
, . , , f X
. (x1 ; : : :; xn )
Z
Z
(28.1)
f = f (x1 ; : : : ; xn ) dx1 : : : dxn ;
Rn
(y1 ; : : :; yn ) | ,
, ,
Z
Rn
(28.2)
28.
211
28.3. X
', x X
Tx X ,
x X .
. , U X |
x1 ; : : : ; xn ,
x X 'x Tx X .
U
(28.3)
' : x 7 'x (=x1 ; : : : ; =xn);
, .
, (. .
), '. , y1 ; : : : ; yn | . ,
X xj
yi =
yi xj ;
'x (=y1; : : : ; =yn) = 'x (=x1 ; : : : ; =xn)|det kxj =yi k|: (28.4)
,
(28.3),
.
.
X Rn | Rn ( Rn ). , Rn ; Tx X Rn ; Tx X ,
, X , ; X |
, k- X , k = dim X .
,
( ); .
.
( )
. 24.4.
212
{Ui }iI
.
. , {Wj }jJ :
(1) j J Wj - ;
(2) Wj - Ui .
28.6.
Km X , Km Int(Km+1 )
m=1
Km = X
-
. ,
X Rn .
S
X , , , X = Vk ,
k=1
Vk | ,
S
. Vk = Kkl , Kkl Kkl Kk;l+1 .
l=1
S
Kkl , .
Km =
k+l6m
{Wj } .
K1 K1 = Wj1 : : : Wjr1 - j1 ; : : : ; jr1 J .
28.
213
ZX
| ,
- ,
1 (0; +).
U =
: X R
, -
. U Z | ;
' : U Z
23.1; supp U ,
X .
, B
: X [0; +), Z = 1 (0; +). (1) (2) {Z } , {Z },
P (iii);
, , , ' = =
.
Z - Wj , Wj |
- Ui , {Ui }.
28.8. , ( ). , (,
). ,
,
, , CW-.
214
. ,
( =x1; : : :
: : :; =xn ); (28.4).
, . | X ,
supp ' U x1 ; : : :; xn .
' x1 ; : : :; xn ,
Z
=
(28.4) , X
, .
| . 28.5
{fi }, , supp fi fi
- .
Z
=
XZ
(fi );
,
. , . .
{gj } | ( , ,
). {fi gj } | , ,
. , fi
supp gj :
x supp fi ,
supp gj , supp fi , ,
P . fi = fi gj ,
. ,
j Z
f = P X fi gj ,
X i
j
( 11.11) ,
XZ
(fi ) =
XZ
i;j
(fi gj ):
g, .
29.
215
29.
,
|. :
,
( ), | , (
, ). .
1
x X , X | . X x
, Tx X .
: Tx X ( )
1X;x .
( | ).
29.2. 1 (: 1-, ) X !, x X !x
1X;x , !x x.
!x x. . U X |
x1 ; : : : ; xn ;
, x U =x1; : : : ; =xn
Tx X ; dx1 ; : : :P
; dxn
Tx X | U !
fi dxi . , , fi .
y1 ; : : :; yn
{=yj } {=xj }
,
, ,
.
1- X
1 (X ).
R , , O(X )
X : f | X !
1 (X ),
f! (f!)x = f (x)!x .
1- | .
29.1.
216
29.3. f | X .
1- df ,
: x X (df )x Tx X v 7 v(f ),
OX;x R ( 26.4).
29.4. (df )x dxi
f x,
hdx1 ; dx2 ; : : : ; dxn i x
i
(f=xi)(x). ,
df =
n
X
f
x
i=1 i
dxi :
(29.1)
, , dxi
xi ,
! = P fi dxi .
.
29.5. f; g O(X ), d(fg ) = f dg + g df .
. : v Tx X ,
d(fg)x(v) = v(fg) = f (x)v(g) + g(x)v(f ) = (f dg + g df )x (v):
, ,
.
29.6. , , . , ,
1 (X )
= HomO(X )(Ve
t(X ); O(X )) ( O(X )-; Ve
t(X ) X ,
O(X )-). : ,
1 (X ) ,
O(X )-, df f O(X )
df = 0;
f | ;
d(f + g) = df + dg
f; g O(X );
d(fg) = f dg + g df f; g O(X ).
, ,
.
29.
217
29.7. ' : X Y | ! |
1 Y . '
1- ' !
1 (X ),
.
': X Y
d(f ') = ' (df )
: v Tx X ,
d(f ')x (v) = v(f ') = '(v(f )) = (df )f (x) (' (v)) = ' (df )(v):
( ) .
V | K ( , K = R). ! : V m K
, !(v1 ; : : :; vm ) = 0,
vi = vj - i 6= j .
har K 6= 2,
, ! .
V k K Vk V (
k-
).
V
Vk
n Vk
dim V = n, dim V = k V = 0 k > n.
V
k V , m V . Vk+m
V ,
. A {1; 2; : : :; k + m} = S T , S
k , T | m ( , k +k m ). A - S T (
).
29.9.
( )(v1 ; : : :; vk+m ) =
218
s1 ; : : :; sk (. t1 ; : : :; tm ) | S (. T ),
, " |
s1 ; : : :; sk ; t1 ; : : : ; tm .
,
S T .
V2
V ,
29.10. ;
( )(x; y; z; t) = (x; y)(z; t) (x; z )(y; t) + (z; t)(x; y) +
+ (z; x)(y; t) + (y; z )(x; t) (x; z )(y; t):
: !
Vl
V , , deg ! = l.
:
: (1 + 2 ) = 1 + 2 ;
: (! ) = ! ( );
: = (1)deg deg .
: 1 ; : : :; n V
v1 ; : : : ; vn V ,
X
sign()1 (v(1) ) : : : n (v(n) );
(1 : : : n )(v1 ; : : : ; vn ) =
Sn
sign() .
he1 ; : : :; en i | V , he1 ; : : : ; en i |
V . m- S {1; 2; : : :; n}
S =Vm{i1; : : : ; im}, i1 < i2 < : : : < im . eS = ei1 ei2 : : : eim
V . eS , S m-
V
{1; 2; : : :; n}, m V .
29.11.
k
(:
k-) X !, x X
V
, !x
!x k TX;x
x.
k- X
k (X ).
,
1 (X ), O(X )-. ,
k (X ) = 0
k > dim X .
0 (X ) O(X ).
29.
219
k-
!=
fS dxS ;
S k- {1; 2; : : :; n},
dxS = dxi1 : : : dxik , S = {i1; : : : ; ik } i1 < i2 < : : : < ik .
, :
29.12. !
k (X ),
l (X ). !
k+l (X ),
(! )x = !x x :
(
0 (X )
k (X )
k (X )).
, 1-:
29.13. ' : X Y | !
k (X ). ! ' k- ' !
k (Y ),
!
f (! ) = f (!) f ()
| k
dk :
k (X )
k+1 (X );
d : O(X ) =
0 (X )
1 (X ).
29.15.
X
R
k
dkX :
k (X )
k+1 (X )
29.14.
': X Y
X
.
, , -
220
k+1O (X ) o
k+1O (Y )
dkX
k (X ) o
'
dkY
k (Y ).
: d0X (f ) = df f O(X ) =
0 (X ).
: dkX (! ) = dkX (!) + (1)deg ! ! dkX .
: dkX+1 dkX = 0.
i
, dX ( i X ), -
, .
(1)deg ! ).
, , i : U
X , U | , , (d! )|U = d(! |U ).
, !
k (X ) ; , . , , , , , , -
29.
221
Rn . , k-
Rn f dxi1 : : : dxik ; (29.2) df dxi1 : : : dxik , df 29.3.
, .
.
: Rn ( n). , U Rn k-
f dxi1 : : : dxik . ( , ) :
d(f dxi1 : : : dxik ) = df dxi1 : : : dxik ;
.
. . ! = f dxi1 : : : dxik ,
= g dxj1 : : : dxjl .
! = fg dxi
:
d(df ) =
X f
xi
i
dxi =
X 2f
xi xj
i;j
dxi dxj ;
222
(29.2), , , d2 = 0 )
dd(fdg1 : : : dgk ) = d(df dg1 : : : dgk ) = 0:
, , ( 29.14),
( 29.8).
. , Rn . V U Rn , ' : V U | . ! V ( ,
):
d! = ' (d('1 !)):
, , '. ,
h ', h : U U | ;
30.
k- , k.
30.
223
X | . k
X (U; '), U Rk | ' : U X | .
, k- (,
') X
(: X = R2 , U = R, '(t) = (t2 ; t3 )).
30.2. (U; ') | k - X !
k (X ).
! Z
U f dy1 : : : dyk , ' ! = f dy1 : : : dyk .
30.1.
- -
':
30.3. (U; ') | k - X : V U |
, V Rk | .
k
!
(X ) k - (U; ')
(V; '
) .
, k-
, ( ). ,
; 1-
, ( )
, .
(
), , , .
.
30.4 ( : ).
|
-
,
V
224
- .
V
!=
!
k1 (X )
d!:
, k- ,
. , k- 30.1 ,
(k 1)- . ,
: , . , 30.1
, , k-, . k-
.
, |
. , ,
30.4. .
.
M | Rk
X | . , ' : M
X , - U M ,
.
30.5.
30.6. k - k Rk ,
e0 ; e1; : : : ; ek , e0 | , ei 1 6 i 6 k | ,
i- , | .
X | .
X ( 30.5) : k X .
30.7.
-
30.8.
, ,
.
, , .
.
30.
225
30.9. | () k - X !
k (X ). !
! k - Z
(Int(k ); |Int(k ) ) 30.2. : !.
, ,
f , ! = f dy1 : : : dyk , n .
| - ( . .) . ;
, . .
30.10. k - X
() k- .
P
30.11. = pi i | k -
i
Z X P
!
Zk (X ). ! ! = pi !.
i
, . .
30.12. | k -
X , i {0; 1; : : :; k}. i- (k 1)- i () =
= i : k1 Rn , i : k1 k , e0 (k1 ) e0(k ), . . . , ei1 (k1 )
ei1 (k ), ei (k1 ) ei+1 (k ), . . . , ek1 (k1 ) ek (k ).
30.13. k -
(k 1)-
=
k
X
i=0
(1)i i :
k- = P pi i (k 1)--
=
pi i :
226
. , k- ; ,
. .
( ) X , . , ,
- .
. s | {0; 1; : : :; k}, fs , fs : k k |
, sZ. Z
s , 30.3 , fs ! = !
!
k (X ); s | ,
fs 1, k- !
Z
fs ! = ! =
(. 30.11). , | , ,
, .
, .
:
i ( , i- | . 30.12) , i- ,
i- . , 30.13
.
k = 2 3. ,
30.13 ( ,
).
, ( ,
).
. . -
30.
227
, , ,
. :
30.14. ( ) = 0
. , |
. , () ( - ) ( )
. , 2, i j , i < j ,
: i (j ), | j (i ).
(1)i+j , (1)i+j1 ,
() .
, 30.4.
30.15 ( , ).
| ZZ
k
1
k - X !
(X ). ! = d!.
.
, , : k X |
. , , ,
! | k Rk . , , ci : : : dxk , 1 6 i 6 k ( , ! = f dx1 : : : dx
f
dx1 : : : dxk ,
, ). d! =(1)i1 x
i
, ,
(1)i1
f
dx1 : : : dxk :
x
k i
ci : : : dxk
dx1 : : : dx
k , 0 i , ,
Z
0 k
! + (1)i
i k
!:
(30.1)
228
(30.1)
(1)i
k
.
, k1 0 k , ,
: (y1 ; : : :; yk1 ) 7 (1 y1 : : : yk1 ; y1 ; : : : ; yk1 );
,
k
y1 = z2 , y2 = z3 , . . . , yi1 = 1 z1 : : :
: : : zk1 , yi = zi , . . . , yk1 = zk1 . k1
, 1,
(30.1)
(1)i1
k
, :
(1)i1
f
dx1 : : : dxk =
x
kZ i
= (1)i1
k
k
(1)i , (
dyi , |).
31.
.
. .
31.
229
31.1. V | R. V : ( ), .
, ,
.
, . f : V1 V2 | , V1
, f V2 (
V1 V2 ).
31.2. X | .
X | Tx x X ; , Tx x. , , , ,
, | .
, ,
, . :
U X |
x1 ; : : : ; xn , ,
p U W p, W U ,
x ; : : :; x n
1
( )
W . ,
.
31.3. ,
.
, Rn .
.
31.4. f : Rn R | .
X = {x Rn : f (x) = 0}, f (x) 6= 0 x X .
230
. 20.2 X Rn ; ,
X U Rn ' : U V , V Rn | , , '(X U ) = {(y1 ; : : : ; yn ) V : y1 = 0},
y1 = f '1 . Rn ,
v1 ; : : : ; vn1 Tx X , x ; ' (v1 ); : : : ; ' (vn1 ).
1
.
31.5. X = S n Rn+1 ( ). x21 + : : : + x2n+1 1 = 0, 31.4, . , , . -
Rn+1 ; x = (x1 ; : : :; xn+1 ) S n
ex = (x1 ; : : :; xn+1 ) Tx Rn+1 = Rn+1 ( ). ( , ex | , x .) , (v1 ; : : : ; vn )
Tx S n Tx Rn+1 , (ex ; v1 ; : : : ; vn )
Tx Rn+1
= Rn+1
Rn+1 .
, , n
n. , (ex) = e(x), (v1 ; : : :; vn ) | Tx X , ( (v1 ); : : : ; (vn ))
, (v1 ; : : : ; vn ), ,
x 7 x, Rn+1 Rn+1 , .
.
31.6.
, , .
. X ' : U V Rn
. - Rn
('1 ) U X . ,
Tx X , x
31.
231
. X X~ ,
x 7 (x; "x ), "x |
Tx X .
S
, X X = U |
. Rn
.
' : U V Rn ,
, , Rn - .
, ; ,
.
31.7.
,
, .
! | ;
X . v1 ; : : :; vn
Tx X , !x (v1 ; : : :; vn ) > 0. .
; ! = f dx1 : : : dxn , f () , ,
!x x ; : : : ; x
n
1
.
, , X . X {U}A U ! n, | ,
U Rn . {' }B ,
{U }. P
B i( ) A, supp ' U .
! = ' !i() ( ,
' !i() , X ). , !
.
, , .
31.8. X | n- . X -
232
X~ : X~ X ,
.
X~ . X~
(x; "), x X " | Tx X ; (x; ") x X .
. U X | ' : U V Rn ;
(x; ") X~ , x U , " | Tx U = Tx X .
, X .
~ ,
. X
Rn (,
). : X~ | ,
.
, : X~ X () .
31.9.
, .
. : X , s : X X~
s : x 7 (x; "), " | Tx X ,
.
: s : X X~ | ; x X s(x) = (x; "), Tx X ".
, X~ X , X
, : X~ , , X~ ,
( )
X , . ,
,
.
31.10.
.
31.11. , RPn n n.
31.
233
n . -
S n ( ) p : S n RPn . , p = p, | 31.5. x RPn
y p1 (x) Tx RPn TY S n
p . x (y) n ,
Tx X
. .
n . - S n .
(. 31.5), , y (y) | x RPn
p, p Tx RPn | y, (y). ,
(x; "), x RPn " | Tx RPn ,
x p,
. , gn , S n
u : S n RP
( u = p). , RPn n , p : S n RPn ,
n.
| . n- Rn .
, , 30.5, Rn ,
.
31.12.
H n = {(x1 ; : : :; xn ) Rn : x1 > 0}:
H n Rn .
31.13. n-
X , .
(1) X U ,
.
234
(2) U
' : U V , V H n | .
(3) U U |
.
, , , , H n , , , 1. , : ,
- ( , ) H n , , H n .
X X . , n- (n 1)- ( ).
( , , n- .)
, .
31.14. X | n-
,
xX
X
f (x) = 0
. ,
{x X :
f (x) 6= 0
.
f (x) > 0}
- .
, H n , , .
(,P , fi1 ;:::;ik dxi1 : : : dxik ). ,
1 , ,
-.
31.
235
, (, ).
- 31.15. X | n- . X
: (v1 ; : : : ; vn1 ) Tx X
, Tx X (e; v1 ; : : :; vn1 ), e | Tx X ,
. , , ,
- ( , ) e a1 x + : : : + an x a1 .
,
. ,
e .
, . Rn - .
31.16.
(,
!
n (X )
Rn
- -
U Hn
': U X
| ,
| ,
| ,
X n
f dx1 : : : dxn
'(U )
supp !
, -
.
.
: V X | , , supp ! (V ); ! =
= g dy1 : : : dyn . , ((xy1 ;; :: :: :: ;; yxn)) n
1
. , :
f dx1 : : :dxn =
n
Rn
g dy1 : : : dyn ;
,
.
236
31.17. !
n (X ) | ,
X | n- . , supp ! '(U ), ' : U X | .
!
Z
X
f dx1 : : :dxn , ' ! = f dx1 : : :
Rn
Z
: : : dxn . : X !.
- 31.18. ! | n n- X . P
! X
Z
f
!, {fi } | , i
X
X ,
31.17.
Z
; X !.
28.
, .
31.19. X | (, ),
k
Y X |
Z
Z k , !
(X ).
Y ! = Y i !, i : Y X | .
.
31.20 ( : ). X | n-!
n1 (X ) | -
.
31.15.
X
X
!=
d!;
-
. , , ,
supp ! '(U ), U H n ' |
ci : : : dxn
. ' ! = f dx1 : : : dx
.
Z
1. U H n . X ! = 0,
d! =
X
Rn
f
xi dx1 : : :dxn = 0 ( ,
dxi , |).
32.
237
2. U H n . i 6= 1,
, !|X = 0,
, (
R
xi
). , ,
Z
f
i = 1, Rn x1 dx1 : : :dxn , Z
Rn 1 f (0; x2 ; : : : ; xn ) dx2 : : : dxn ( ,
x ; : : : ; x H n n
2
). , dx1 ( |).
31.21. ! | n 1
(
) n- Z
d!
=
0.
X ,
X
32.
h: : :i
,
,
.
. . , . . , . . . . .: , 1979.
.
32.1. ! | . , ! , d! = 0, , , ! = d.
29.15 ,
. , .
32.2. X | . k -
X k- k-1 . k (X ).
: HDR
1 , ,
.
R,
238
( d! = 0, d(f !) = f d! = 0),
. f : X Y
( ) i (Y ) H i (X ),
f : HDR
DR
( ,
). , (f g) = g f (
, ).
. k (X ) = 0, k dim X .
, HDR
0
HDR (X ). ( 1), |
. , ,
0 (X )) ,
0- X ( HDR
X . ,
0 (X ) = R.
X , HDR
- .
0 (X ) = R HDR
1 (X ) = 0
HDR
1 HDR
32.3.
.
X =R
. 1-
; , 1- : ! = f (x) dx, ! = dF , F | f .
32.3 :
32.4.
.
!=
i (R n ) = 0
0 (Rn ) = R HDR
i>0
HDR
!
r (Rn ) ,
16i <:::<ir 6n
1
0 6 r 6 n
rk r-, dxj j > k ( ,
r0 = {0},
rn =
r (Rn )).
k :
r>0
r (Rn )
!
rk
! = d
32.
239
k = 0 . k ,
!
rk+1 | ; ! = !1 + dxk+1 !2 ,
!1
rk !2
kr+11 . d! = 0,
(32.1)
d!1 = dxk+1 d!2 :
!1
rk , (32.1) , dxk+1 , dxj j > k + 1; dxk+1 , , dxj
j > k + 1, . , , dxj j > k + 1,
, ,
!2 =
16i <:::<ir
1
fi1 ;:::;ir
1 6
fi ;:::;ir dxi
: : : dxir1 ;
Fi ;:::;ir (x1 ; : : : ; xn ) =
1
Z xk
=
Fi1 ;:::;ir
Fi ;:::;ir dxi
1
xj
: : : dxir1 :
16i <:::<ir 6k
d = dxk+1 !2 + ! , !
rk . , ! d
rk ; , , d(! d) = 0,
! d = d
r1(Rn ), ! = d( + ), 1
.
k = n 32.4.
Rn Rn ,
n- ( ) ,
Rn , 32.4 .
32.5 ( ).
xX
U
!|U = d
U X
, . , ,
240
, ,
| , .
, , , .
.
32.6.
|
n (X; R) 6= 0.
( ) n, HDR
. - X . 31.7, !
n (X ), !x(v1 ; : : : ; !n) > 0 x X
(v1 ; : : :; vn ) Tx X .
, ! f (x1 ; : : :; xn ) dx1 : : : xn , f ,
Z
, X ! Z
; , X ! 6= 0.
( 31.21) , ! ;
, . ,
! n- .
,
.
32.7.
X
n (X ) = 0
HDR
X
n (X ) = R
HDR
|
,
n
X
- .
,
-
. ! | k X .
k-
Z () , 7 !. ,
: ( ).
:
32.8. X | k - . k - X R
k- R. -
32.
241
k- C k (X );
R (
1
2 | , (
1 +
2 )() =
1 () +
+
2 (); ).
, ! , ! |
k-,
! .
, | ; .
32.9.
C k (X ).
(k + 1)- d
,
Z
(d
)() =
:
i=0
! 7 ! -
32.10.
k
X
!
k (X )
.
d( ! ) = d!
)
. ( 30.15).
,
P
P
( ni i ) = ni
(i ). : (d
)() =
().
32.11.
| . d(d
) = 0.
. 30.14: dd
( ) =
= (d
)() =
() = 0.
32.2.
32.12. X | . k -
, d
= 0, k- . k-
, (k 1)- , k- . k- ( ) X R
k- k- ( 32.11
, ). :
H k (X; R).
( ,
, |
, | .
242
| ;
.)
32.10 , ! 7
! , | . , ! 7
! k (X ) H k (X; R).
HDR
k (X ) H k(X; R),
32.13 ( ). HDR
! 7
! , .
|
, .
33.
, ,
.
.
k - , k - X k- Vx Tx x X , x.
33.1.
33.2. , k - {Vx }
X , x X
U x k- Y U , , y Y
Ty Y = Vy Ty X .
k- , , {Vx }.
k = 1, ( ) . , X n + 1 ( );
, X | Rn+1 . Rn+1 (t; x1 ; : : : ; xn )
, Vy y, x, | t.
33.
243
, x = (t0 ; x1 ; : : :; xn ),
t 7 (t0 + t; x1 + v1 (t; x1 ; : : :; xn )t; : : : ; xn + vn (t; x1 ; : : :; xn )t);
|
x = v(t; x), v = (v1 ; : : :; vn ).
k > 1, , ,
- , | | . .
! = dz x dy R3 . ,
2- R3 . , .
R3 ; ,
. ! , y =
onst x = 0, dz ,
; , x = ",
dz " dy, , ar
tg " .
(. . 6), , , , -
"
"
x
. 6.
244
- -
,
v w
, , -
.
{ Vx } ,
(,
v
vx Vx )
xX
-
, k-
n- v1 ; : : :; vk ,
x X (v1 )x ; : : :; (vk )x Vx Tx X .
( : k-
k .
!)
33.4.
-
i j
v1 ; : : : ; vk
- -
[vi ; vj = 0
. .
. , , X | Rn . x X ;
gt1 ; : : :; gtk ( x), v1 ; : : : ; vk . V |
Rk ; : V U ,
(t1 ; : : : ; tk ) 7 gt11 : : : gtkk (x):
(33.1)
, . , x V V , (V ) | .
, t = (t1 ; : : : ; tk ) V (t) = y U . , (t)(=tk ) = vk (y). , , vj , 27.9 , .
V , t V -
33.
245
vj = x j +
'jm ym :
(33.2)
, vi vj =ym 1 6 m 6 n k. ,
,
=ym
- Vp . , v1 ; : : : ; vk , .
, ; , .
.
-,
, | .
1.
, n- X
!
1 (X ), . x 7 Ker(!)x 1 X ( 1
246
, ! .
).
33.5.
1-
, .
{ Vx } ,
(n 1)-
d! ! = 0
v w | , {Vx }. , !(v) = !(w) = 0.
, 1- ! v w
.
,
.
:
(33.3)
(d!)(v; w) = v(!(w)) w(!(v)) !([v; w)
( ,
). v w ,
!, (33.3) , !i ([v; w) = (d!i )(v; w).
:
33.6.
!
| -
2- E .
Ker ! ,
! = 0.
,
(! )(e1 ; e2; e3 ) = !(e1 )(e2 ; e3) + !(e2 )(e3 ; e1 ) + !(e3)(e1 ; e2 )
e1; e2 ; e3 E , e1 ; : : :; en E , e2 ; : : : ; en Ker !. (! )(ei ; ej ; ek ) = 0,
i; j; k 1, (! )(e1 ; ej ; ek ) = !(e1 )(ej ; ek ),
!(e1 ) 6= 0. , , .
, . , U
Rn | , k - {Vp }. , , U , ,
k- Vx
, k . Rn Rk Rm
Rn (x1 ; : : : ; xk ; y1 ; : : :; ynk ). k- Vp , p = (x; y), Rk Rnk fij , fij |
33.
247
x1 ; : : : ; xk y1 ; : : :; ymk . , Rk Rnk , , (
, ) ( ) Rk Rnk .
(x1 ; : : :; xk ) 7 (y1 (x1 ; : : :; xk ); : : :; ynk (x1 ; : : :; xk ));
, ,
yi
= 'ij (x1 ; : : : ; xk ; y1 ; : : :; ynk ):
(33.4)
x
j
, (x1 ; : : : ; xm ) | (33.4), :
tj (xi =tl ) = tl (xi =tj ). (xi =tl ) (xi =tj )
(33.4) , :
m
fij X fil
fil X fij
f
=
+
j
tj =1 x
tl + =1 x fl
(33.5)
. -
248
, (33.2).
, ,
, , . , ,
(33.5).
.
34.
L1 L2
.
(X; ) | .
X , ,
, .
34.1. L1 (X; ) ( ,
1
L (X ) L1 ) -
,
.
Z
f L1, kf k1 = X |f (x)| d(x).
, . , , L1
R, | C.
, L1
. .
, . .
34.2. f : X C, (X; ) |
, , |f |2 L1,
Z
2
. . X |f | d < .
f L2, kf k2 =
34.3.
fg
|f (x)|2 d(x)
1 =2
.
Z
. ,
, -
34. L1 L2
249
L2 (X; ) () , Z .
p
f; g L2 , (f; g) = X f (x)g(x) d(x) kf k2 = (f; f ).
34.4.
R, C. |
(f; g)
k k1 k k2 L1 L2
(. 17.1).
, L1 , , kvk = 0 v = 0.
.
34.5. f :
X [0; +)
f d =0
X
f (x) = 0
xX
( , , L1 L2 .)
L2 , 34.3 , (; )
L2 , , kf k2 = 0 f = 0;
34.5.
34.6 ( |).
|(f; g )| 6 kf k2 kg k2 .
f; g L2
, (v; w) = kv wk , , , . ,
, ,
.
34.7.
V; W
| -
A: V
,
W
V W)
(-
250
vV
M >0
kA(v )k 6 M kv k
, , ,
A , , , ;
, > 0, kvk 6
kA(v)k 6 1. v V
kA(v )k = kA( 1 kv k kv k1 v )k = 1 kv k kA( kv k1 v )k 6 1 kv k;
, , kkvk1vk = .
34.8 ( ).
,
.
34.9.
L1 L2
-
.
.
L2 ( L1 -
).
, {fn } | ,
. , .
, {fn} | , {fnk }, , (fnk ; fnk+1 ) 6 1=2k
k ( f , nk , (fnk ; f ) 6 1=2k+1 ).
, , kfnk fnk+1 k2 6
6 1=2k . fnk = gk ; , {gk } L2.
| , n,
|g2 g1 | + : : : + |gn+1 gn |
6
2
6 kg2 g1 k2 + : : : + kgn+1 gn k2 6
X 1
2k
k>0
= 1;
(34.1)
34. L1 L2
251
n > 0.
'
(
x
)
< x. , x X
lim
n n
p
{P 'n (x)}, ,
x () (gn+1 (x) gn (x))
n
{gn(x)}; g(x) , , g(x)
x, . ,
g gn g L2 (X; ).
, k n
X 1
kgk gk+n k2 6 kgk gk+1 k2 + : : : + kgk+n1 gk+n k2 6
= 2k11 ;
2j
j >k
Z
1
|gk g |2 d 6 k1 :
(34.2)
4
Z
X
gk g
,
; gk
, gk
, g L2(X; ). , (34.2) ,
kgk g k2 6 1=2k1 , gk g L2 . .
34.10. H , ( | ) , , ,
.
( , H
.)
, L2(X; ).
.
,
.
252
, H |
(
). H :
. V H | ,
V = {w H : (v; w) = 0 v V }:
( ), V | H V V = 0.
34.11. V
| -
H . :
(1) V ;
(2) H = V V ;
(3) (V ) = V .
( , dim H < .)
. (1) ; (2). , w H v + v1 ,
v V v1 V .
34.12. v V
v V . w v V .
kw v k 6 kw v k
. , , , w
= V.
(w v; v ) 6= 0 v V . , ,
w v v , ; w v v , ,
v, , w v,
w (. 7). .
= inf kw v k; V w = V , v V
> 0. {vn } | V ,
lim kw vn k =
; , n
. , m; n N , w vm w vn ; (
)
6 2(kw vm k2 + kw vn k2 ) 4 2
34. L1 L2
253
w
w
v
vn
vm
v
vm + vn
2
)
. 7
(. 7). m n ;
, kvm vn k 0, . H , v = nlim
vi V ,
. (2).
(3) (2) . ,
H = V V ; V (V ) . , , u (V ) , u = v + w, v V w V ; , (u; w) = 0; (u; w) = (w; w), w = 0, u V .
| ,
w H v 7 (v; w) H : , kv1 v2 k 6 ,
|(v1 ; w) (v2 ; w)| = |(v1 v2 ; w)| 6 kv1 v2 k kwk 6 kwk:
.
34.13.
| .
wH
v 7 (v; w)
. : H C | , V = Ker . V | 1, 34.11 ,
V H=V . w | - V ; v 7 (v; w) V ; , , a C, (u) = a(u; w) = (u; aw)
u H . .
;
Rn
254
. L1 L2
L1(Rn ) L2(Rn ).
34.14. D(Rn )
Rn .
23.1 , D(Rn ) ; ,
D(Rn ), , L1 (Rn ) L2 (Rn ).
34.15. D(Rn ) L1 (Rn )
2
L (Rn ).
1
2
. L ( L
). ,
(devissage).
, , f
L1 - D(Rn ). , ; , f .
, f f = f+ f, f+ f ,
; , f .
f ; 15.12 Z1 fn ,
f .
Z
lim fn dx = f dx,
Z
|f fn | dx =
(f fn ) dx 0;
fn f L1 ;
fn , , f | .
, ,
, f = E |
S
E . , E = Ek , E1 E2 : : :
k
Ek ; f Ek .
1 , ,
.
34. L1 L2
255
, , , Ek f L1 ,
Ek . , , f = E |
E .
, , f | E , ( 16.15) " > 0 U E K E ,
(U \ K ) < ". (
),
F0 ; F1 Rn ' : Rn R, F0 , F1 ,
0 6 '(x) 6 1 x Rn . ', F0 = Rn \ U F1 = K . ' D(Rn ), |'(x) E (x)| 6 1
x Rn |'(x) E (x)| = 0 x = U \ K . ,
k' E k1 6 "; " .
.
34.16.Z f L1 (U ), U Rn | f' dx = 0 ' D(U ). f = 0.
,
.
f . Z
, E f dx = 0 E . , {Um } {Km },
U1 : : : Um : : : E : : : Km : : : K1 ;
, (Um \ Km) < 1=m m. ,
34.15, 'm D(Rn ) Km Um ; f 'm
f E Rn ,
Z
f dx = lim f 'm dx = 0;
U
.
Z
, E f dx = 0
E . , f
, f = 0 .
256
, , ,
f ,
f f (x) = max(f (x); 0) max(f (x); 0),
, f ;
34.5.
35. Rn :
. , .,
Rn , ( 2)n , Rn
, ,
. Rm+n Rm Rn ,
. , L1 L2 | , ,
34.15 34.16 .
.
x = (x1 ; : : : ; xn ) = (1 ; : : : ; n ) | Rn ,
hx; i x1 1 + : : : + xn n
(
p
x). x = (x1 ; : : : ; xn ) Rn , |x| = x21 + : : : + x2n .
= (1 ; : : : ; n ) | , D f , , f , x x1 1 : : : xnn .
Rn , : Rn C
: x 7 eihx;i :
Rn ,
( Rn ; , Rn ).
35.1. f L1 (Rn ). f^: Rn R,
Z
Z
f^( ) = f (x) (x) d(x) = f (x)eihx;i d(x):
Rn
Rn
( f^
, Rn , -
35. Rn :
257
| ,
Rn .) |f (x)| = |f (x) (x)|,
, f^( )
. f^ f^.
.
35.2.
() f^ |
f L1 (Rn )
.
Rn ;
( f^ ) lim f^( ) = 0.
sup |f^( )| 6 kf k1
Rn
| |
f
\k ) = ik f^.
L1 (Rn ), (f=x
() f L1 (Rn ) C 1 (Rn ) x
k
() f L1 (Rn ) xk f L1 (Rn ),
^ k
f=
^ k ).
(\
xk f ) = i( f=
. () :
, f^ .
() .
35.3.
f C 1 (R) f L1(R)
lim
|x|
f (x) = 0
f
, Z a
alim
(
x
)
dx
;
(
x
)
dx
= f (a) f (0), f
f
0
0
f (x). ,
xlim
(),
Z
f ihx;i
dx =
xk e
, ,
I = Alim+ feihx;i
A
Z
|
f ihx;i
dxk :
xk e
{z
I
(35.1)
258
. (35.1),
,
xk = ik
k
\
f
.
()
f^:
Z
, .
. , h~ Rn , k-
h, ,
ihx;+hi
eihx;i eixk h 1
e
=
6 2|xk |;
, , xk f , () .
, lim f^( ) = 0. | |
f D(Rn ). f , L1 (Rn ) C 1 (Ln ),
() , k k f^ - L1 .
, f^( ) = O(1=| |) | | , lim f^( ) = 0.
| |
-,
( - ).
35. Rn :
259
,
, .
35.5. () f^ = f ^.
(x=))( ) = n f^( ).
() > 0, (f\
35.6.
S (Rn ) n
R C, -
f :
:
|D f (x)| = O(|x|N ) |x| .
N > 0
( , f (x)
|x|.)
, , O o. S (Rn ) , ,
.
35.7. f S (Rn ), f L1 (Rn ) f^ S (Rn ).
, f L1 , ,
; || () 35.2, , D f^
; , f^ . , f S (Rn ), ,
x f S (Rn ) . ,
( 35.2),
D f^
; , |D f^( )| = O(| |N )
N > 0.
35.2 35.4 , f f^ .
( ) ,
.
: .
.
x f L1
35.8 ().
= 'n (x) x.
.
'^n (x) =
260
n = 1. , ' = '1
( '^ , , ), ' (x) =
= xf (x). 35.2 , ('^) ( ) = ^( )
. , ' '
; , ( ): ' , '^
2
ex R (
). , '^ = '
.
n n = 1,
: 'n (x1 ; : : : ; xn ) = '1 (x1 ) : : : '1 (xn ).
.
S (R)
, | ,
.
35.9.
Rn
f; g L1(Rn )
.
f^ g d =
Rn
f g^ d
, ,
.
.
ZZ
Rn Rn
(35.2)
F (x; ), Z
x |F (x; )| d( ) 6 |f (x)|kgk1 ,
Z
d(x)
, (35.2) ,
. .
35.10 ( ).
f^^ = f. :
()
( ).
f S (Rn )
.
36. :
261
-
(). a Rn . ,
35.4,
f^^ (a) = Ta f^^(0) = a f^ ^(0) = Taf ^^(0);
.
() . (:
()?)
() ,
D(Rn ), :
Z
Z
Z
Z
Z
f^^ dx = f^ ^ d = f ^^ dx = f dx = f dx
( ,
35.9 ).
34.16.
36. :
;
( ) ,
L2 (Rn ) L2 (Rn ).
.
262
kf^k2 = kf k2
36.2.
;
f^^ = f
f L2(Rn )
L2 (Rn ) L2 (Rn )
f L1 (Rn )
f ^= f^
35.9 ,
f; g S (Rn )
Z
f g dx =
f ^ g dx =
f^ g ^d =
f^ g^ d = f^ g^ d;
^ g^) (
(f; g) = (f;
n
2
L (R )); , kf^k2 = kf k2. 34.15 L2 ; , ,
L2 -,
L2-.
10.9 ,
L2(Rn )
L2(Rn ); , f^^ = f ,
S (Rn ) L2 (Rn ).
f; g L2 (Rn )
^ g^) = (f; g):
kf^k2 = kf k2 ; (f;
f L1(Rn ), L2(Rn ),
f^: (
36.3 ( ).
35.1) . , .
36.4.
f L1 (Rn ) L2 (Rn )
,
Rn .
,
35.1 ,
. 36.2 ,
35.9 L2
. f^orig f^Pl f , 35.1
36. :
263
. 34.16, U Rn , ,
,
Z
f^orig ( ) ( ) d =
n
Rn
f^Pl( ) ( ) d
D(Rn ). 35.10 ^ =
S (Rn ). L2 ,
Z
Z
Z
Z
^
^
forig d = f dx = f dx = f^Pl d;
.
.
- 36.5. f; g L1 (Rn ). x Rn
(f g)(x) =
Rn
f (x y)g(y) dy;
x 7 (f g)(x), f g,
L1 (Rn ); kf gk1 6 kf k1 kgk1.
. . ,
Z
Rn Rn
|f (x y )g (y )| dx dy = dy |f (x y )| |g (y )| dx =
Z
Z
= |g(y)| dy
|f (x y )| dx = kg k1 kf k1 <
{z
}
|
kf k1
(36.1)
( ,
). , (f g)(x)
x, , ,
f g L1 , kf gk1 6 kf k1 kgk1, (36.1).
.
36.6. f; g L1 (Rn ), (\
f g) = f^ g^ ( ).
264
:
Z
Rn
(f g)( )eihx;i dx =
=
Rn
eihxy;ieihy;i dx
n
eihy;i g(y) dy
Rn
Rn
f (x y)g(y) dy =
( , (36.1)
f (x y)g(y) Rn Rn ).
Rn -
, . , (
), .
T () , ; x 7 eix , x R, R=2Z,
T 2- R.
T^ , T,
T T. ,
T n : z 7 z n , n Z. ,
^ Z ( , Rcn Rn ). ,
T
Z ( ) 1 Z n 7 z n
z T; , Z^ T. ( , : G | , G^^
G.)
T Z , .
Z : , . T
, 2; ,
p : [0; 2) T x 7 eix, E T
, p1 (E ) R,
E T p1(E ) (),
2. . ,
T (T) = 1.
T L1 (T; ) L2(T; ) ( 34.15 ).
36. :
265
L1(Z) L2(Z); ,
| , |
,
(: , ). |
`1 `2 .
f L1 (T)
| f^.
T, Z, :
f^(n) =
f 2- R,
f^(n) = 21
Z 2
f (x)einx dx:
f^(n) f .
, L1(Z),
{an }nZ ; P
an n = P an einx ( ,
n
nZ
Z T
,
T; Rn
f 7 f^ ).
{an} T.
L2 -.
, -, L2 (T) L1(T) (. 3.40),
L2
.
(
).
36.7.
f L2 (T)
{f^(n)}nZ ,
2
2
2
L (T) L (Z) = ` .
P
, F (f ) `2 ,
f L2 (T ). , n
nZ
|f^(n)|2 <
L2 : (m ; n ) = 0 m 6= n
(n ; n ) = 1 (
266
1
2
2 i(mn)x
0 e 2 dx). n -
Vn L (T) , k
|k | 6 n; Vn C2n+1
; , Vn L2 (T) (
). f L2 (T),
g
f Vn ;
P ^
f (k); (g; j ) = (f; j ) |j | 6 n, g =
kg k2 =
|k|6n
|k|6n
|f^(n)|2 ;
, -
kgk 6 kf k. ,
X
|f^(n)|2 6 kf k2 < ;
|k|6n
n , F (f ) `2 .
, , F | L2 (T) L2(Z). : L2 (Z) L2(T),
F . ,P a = {an } L2 (Z) (a) = an n ,
nZ
L2(T). , L2 (T);
,
a L2(Z).
N1 6n6N2
an n =
N 1 6 n6 N 2
|an |2
37. ,
267
( |
| ); .
.
36.8. f C 2 (R) | P ^
2 , f (x) =
f (n)einx x R.
nZ
f C 2 - T.
, f
( , f L2 (T)),
P
lim f^(n) = 0 ( |f^(n)|2 < ). , f C 1 (T),
|n|
fb(n) = inf^(n) ( , 35.2). , ,
f C 2 (T), f^(n) = o(1=n2), ,
X
X
f^(n)n = f^(n)einx
.
f1 ; T
L2-, f1 L2 . 36.7
, L2 - f . ,
f1 = f .
37. ,
(
33) ; ,
. .
U Rn | . O(U ) C - U , D(U ) O(U ),
| , C - Rn , U .
37.1. {'n } |
D(U ). , {'n } ' D(U ),
:
) K U , supp 'n K n;
) {D 'n } D ' K .
268
( , , ,
{'n } '.)
37.2. U u : D(U ) C, : fn f 37.1, u(fn ) u(f ).
U D (U ).
,
, u(fn) 0, fn 0.
D(U ) () , 37.1 , D(U )
37.2. , D (U ) . .
- - distributions. - .
f
U ,
Z D (U ), ' 7 U f' dx. , , fZ L1 (U ) ,
' 7 U f' dx. 34.16 , O(U ) D (U ) L1 (U ) D (U ).
, | U , -
Z
. ' 7 U f d
, , U ,
.
, x U x : ' 7 '(x) ; -,
x.
, L1lo
(U ) (.
2
Llo
(U )) f : U C ( , ), : x U V x, f |V L1 (V ) (,
). ,
f L1lo
(U ), f
K U
; Z
' 7 U f' dx U ; ,
37. ,
269
f
' dx1 : : : dxn =
x
j
Rn
Z
(f')
'
=
dx1 : : : dxn n f x
' dx1 : : : dxn (37.1)
x
n
j
j
R
R
f
' dx1 : : : dxn =
x
U j
Z
|
{z
( xj ).
.
37.3. u D (U ) 1 6 j 6 n. u=xj
D(U ),
'
u
:
'
7 u
xj
xj :
270
- 37.4. f O(U ), u D (U ).
fu : D(U ) C,
fu : ' 7 u(f');
U .
f u. u O(U ),
fu .
. , fu | , , 'n 0 D(U ), u(f'n ) 0,
, , , f'n 0,
'n 0. 37.1, K U ,
supp 'n K n. ,
C
,
D (f') =
+ =
C D fD ';
, |D f | K .
, ( ,
).
.
37.5.
f O(U ) u D(U )
,
1 6 j 6 n,
(fu)
f
u
= f x
+ x
u:
xj
j
j
, .
, , | .
, V U . i : D(V ) , D(U ),
, 37.1
. , u : D(U )
C | , u i : D(V ) C | .
37. ,
271
V U | u
u i, i : D(V ) , D(U ) |
,
u
V ; u|V .
, , u | U (, . .), u|V f |V .
37.7. )
V
V = S Vj
u D (V )
u|Vj = 0
j
u=0
)
VS
Vj
V = Vj
ui |Vi Vj = uj |Vi Vj
uj D (Vj )
i j
u|Vj = uj
u D (V )
j
37.6.
D (U ).
-
-
. -
,
.
, .
. ) ' D (V ) K = supp '. K
Vj1 : : : Vjk ;
, ' = '1 + : : : + 'k , 'r D(U )
supp 'r Vjr r.
u(') =
k
X
r=1
u('k ) =
k
X
r=1
u|Vjr ,
u(') = 0; ' , .
) ();
.
' D(V );
u('), . supp ' K V . , ,
, 1 ; : : :; k D(V ),
1 + : : : + k = 1 K r k
P
jr , supp r Vjr . u(') = ujr ( r ').
r=1
, supp 'n K n 'n 0 D(V ), r 'n
D(Vjr ) r, u('r ) 0.
, , u , , ,
K 'r . .
272
supp ' K , P
1 ; : : :; l D(V ) h1 ; : : : ; hl , m = 1
K supp m Vhm . r [1; k m [1; l
k
X
X
l
ujr ( r ') =
ujr
r=1
X
m=1
m r '
.
, u|Vj = uj , u(') = uj ('),
supp ' Vj . K = supp ', r = 1, 1 , Vj ,
K .
u u(') = uj ( 1 ') = uj (').
38.
() () 35.2 , Rn ,
( ).
;
| . , .
, = 1 ; : : : ; n Rn , | | = (12 + : : : + n2 )1=2 .
38.1. s R s Rn ,
-
Z
s (E ) = (1 + | |2 )s d( );
, | , (2)n=2 .
s . , 0 = ,
, D(Rn ) L2 (Rn ; s ) (. 34.15). , L2 (Rn ; s ) L2 (Rn ; t ) s > t.
38.
38.2.
273
Rn
f L2 (Rn ; s )
Rn .
, Rn (1 + | |)
d( ) <
,
< n (. 3.34).
(1 + | |)
(1 + | |2 )
=2 | | +, ,
Z
Rn
(1 + | |2 )s d( ) <
s < n=2:
(38.1)
f L2 (Rn ; s ); , ,
f ( )(1 + | |2 )s=2 L2 (Rn ; ). , C > 0, | ( )|2 (1 + | |2)s 6 C (1 + | |)n=21.
, ( )(1+ | |2 )s=2 L2 (Rn ; ); f ( )(1+ | |2 )s=2
, L2 - , .
f L2 (Rn ; s ) u D (Rn ),
f : ' D(Rn ) ( 35.9):
u(') =
38.3.
Rn
'^ f d:
.
(38.2)
(38.2),
. '
^ | ,
38.2. , u 38.2. ,
{'m } | D(Rn ), K Rn . (K ) <
D 'm 0 K , D 'm L1 (Rn ; ).
(. 35.2), '^m Rn ; ,
(1 + | |2 )t '^m ( )
t R. ,
"m 0,
(1 + | |2 )s=2+n=2+1 '^m ( ) 6 "m
m Rn . ,
|'^m ( ) f ( )| = |'^m ( )(1 + | |2 )s=2 | |f ( ) (1 + | |)s=2 | 6
6 "m |f ( ) (1 + | |)s=2 | (1 + | |2 )n=21 :
274
L2(Rn ; ),
Z
; lim Rn '^m f = 0 .
u, f L2 (Rn ; s ) (38.2), f^. , f |
, f L2 (Rn ; s ) s R; 35.9 , f^, (38.2),
f .
u = f^ f . ,
f u.
38.4. f 7 f^ L2 (Rn ; s )
D (Rn ) .
'^ f d( ) = 0
f L2 (Rn ; s ),
Z
n
' D(R ); , , ^ f d( ) = 0 . , m D(Rn )
[0; 1 m .
, m L1- ( ). ,
Zd
^ ( 35.2);
m
Z
^ f d( ) = lim d
m f d( ) - m
;Z
m D(Rm ),
Z
^
d
f d = 0. m f d = 0,
Z
, f d = 0 ,
, D(Rn ). , f = 0.
.
38.5. s R.
Hs D(Rn ) L2 (Rn ; s )
f 7 f^, (38.2).
, Ht Hs t > s.
Hs s
.
.
38.
38.6.
275
s>0
(
L2(s ) L2 ()
Hs
L2 -
35.9 , f; g L2(Rn ),
. .
.
u Ht , , , , u , t.
,
. , t u Ht
.
38.7 ( ). r |
s > r + (n=2) Hs |
r n
Hs C (R ).
Rn .
2
. u = f^ Hs , f L (s ). ,
1
f L () , || 6 r. , | | 6 | ||| , || 6 r
| | 6 C (1 + | |2 )r=2 C .
r s
s
| f | 6 C (1 + | |2 )r=2 |f | = C (1 + | |2 ) 2 2 |f |(1 + | |2 ) 2 :
L2 (Rn ; ) (38.1),
| f L2(Rn ; s ). , L1 , f .
L2 (s ) L2(), 38.6 || 35.2 ( ,
L2 L1
| 36.4), ,
u = f^ C r (Rn ).
, , Hr r.
38.8.
| .
Hr = {f L2(): D f L2 ()
|| 6 r}:
276
2
2
. u Hr ; u = f^, f L (r ) L ().
| . ' D(Rn )
(D u)(') = (1)|| u(D ') = (1)||
(38.3)
|| 6 r, | |2 = O(1 + | |2 )r ; f L2 (r ),
, f L2 (Rn ; ), (38.3)
Z
f )' dx;
(D u)(') = (i)|| (d
;
D u L2 (Rn ).
, , D u L2 || 6 r. D u
, , u^ L2 || 6 r.
(1 + | |2 )r 6
onst
||6r
| |2 ;
, u^ L2 (Rn ; r ); 38.6
, u Hr .
, .
u Hs
u=xj Hs1
u = f^, f L2 (Rn ; s ),
Z
u
'
(
'
)
=
u
=
(ij f ) ' d:
xj
xj
n
38.9.
38.
277
, D u L2 || 6 s;
,
P
|| 6 s D ('u) = C
D 'D
u, |
| 6 s; ;
L2 L2 , D ('u) L2 || 6 s,
.
. U Rn | . ' D(U )
u D (U ), ' u Rn , ('u)( ) = u(' ) D(Rn ) (
). Rn , .
- 38.11. U Rn | , u D (U ) s R. .
) x U V x, V U
w Hs , w|V = u|V .
) ' D(U ) 'u Hs .
, , u
Hs . U , Hs , Hs;lo
.
. () (). x U
' D(U ), V x. 'u Hs , 'u|V = '|V u|V =
= 1 u|V = u|V .
() (). supp ' = K . () , V1 ; : : :; Vm U ,
'1 ; : : : ; 'm D(U ) P
w1 ; : : : ; wm Hs , K S Vj , supp 'j VP
j j , 'j = 1 K
wj |Vj = u|Vj j . 'u = (' 'j ) u = P(' 'j ) wj ,
(' 'j ) wj Hs 38.10.
38.12.
">0
U Rn
r
C r (U ) Hr;lo
(U ) Hr+n=2+";lo
C r (U )
.
| ,
| .
. ,
| 38.11 38.8.
, , , Hs;lo s (
278
s 38.8); .
39.
U Rn | ; C - U O(U ),
O.
39.1.
L : O O,
L : f 7
p D f;
p O 6 d
d.
, .
, , ,
p L.
; ,
P L = p D ,
p O .
39.1 ;
.
39.2. L =
P
= p D k,
p , || = k.
, | , . , () 1.
, , k, ; Dk . , D0 = O, 0
.
P
L = p D | d. Symb(L)
39.3.
39.
O[1 ; : : : ; n ,
279
:
Symb(L) =
||
=d
p :
O[1 ; : : : ; n |
; , j (. 39.12). , ( ,
).
, , .
39.4.
a) ; L1 Dk1 ,
L2 Dk
L1 L2 Dk +k
L1 = P p D Dk L2 = P q D Dk
k1 + k2 Symb(L1 L2) = Symb(L1 ) Symb(L2 );
L1 L2
k1 + k2
Symb(L1 ) Symb(L2 )
[L1; L2
L1 Dk L2 Dk
2 ,
L1 L2
2.
1,
Dk +k 1
1
, -
1,
2,
() ,
.
. , | ,
P
.
,
L
=
p D Dk1 ,
1
L2 = P q D Dk2 ' O, ,
X
p q D+ ' +
;
L1(L2 (')) =
=k
=k
||
| |
1
2
() (). , () () .
O(U ) = C (U ) . , L | d, L C m (U )
m > d
280
C m (U ) C md (U ); , , D (U )
D (U ). , L | ' D(U ),
L' , , , L D(U );
.
, D(U )
Z
(f; g) = f g d
U
(, , D(U ) , L2 ).
L | U ; D(U ).
39.5. L : D(U ) D(U ), L,
;
X
L=
p D ;
||6d
L =
(1)|| D p :
(39.1)
||6d
, L | V
(; ), L L,
(Lu; v) = (u; Lv) u; v L. (39.1)
.
. (L1 + L2 ) = L1 + L2 (L1 L2 ) = L2 L1 ,
, L1
L2 , , D . f' = ' f ,
f , f . , '; D(U ),
Z
'
'
dx1 : : : dxn =
dx1 : : : dxn =
x
x
n
U j
U
Z
'
xn dx1 : : :dxn ;
39.
281
L
L
d;
Symb(L ) = (1)d Symb(L)
Symb(L) :
X
X
f = f :
39.6.
|
(39.1).
.
Ok , k | ,
k O (. .
k f1 ; : : :; fk );
(D(U ))k , (D (U ))k . .
39.7. L : Ok Ol ( ) , (l k ) kLij k
39.1,
X
X
L(f1 ; : : : ; fk ) =
L1j fj ; : : : ; Llj fj :
.
L = kLij k.
.
39.8. L = kLij k | Ok Ol .
Lij .
L = kLij k d, (l k)- kPij k, O[1 ; : : : ; n ,
(
Lij ; Lij d;
Pij = Symb
0
:
) L1 : Ok Ol | l
m | d1 , L2 : O O
k
m
d2 , L2 L1 : O O
| 6 d1 + d2 . d1 + d2 ,
39.9.
282
Symb(L2
L1 ) = Symb(L2 ) Symb(L1 )
d1 + d2
L1 L2
Symb(L1 ) Symb(L2 )
, -
39.4.
39.10. L : Ok Ol |
l
k
d, u Hs;lo
(U ) , Lu Hsd;lo
(U ) .
-
. ( 38.9), ( 38.10).
. D(U )k
L : O l O k
L : Ok Ol
,
' D(U )k
| -
kLji k
kLij k.
-
(
) L
(L'; ) = ('; L )
D(U )l .
39.5
39.6.
.
P
, fi (x)(=i ) ;
P
, 1, pi (x)i .
n
2
= 2 +:::+ 2
x1
xn
39.
283
U Rn ;
2, 12 + : : : + n2 .
, . U C |
f : U C | C 1 . ,
p C f (p): C C
R-, - ( , ).
f (x + iy) = u(x; y) + iv(x; y),
u
x
v
x
u
y
v ;
y
, R- C C
C
, ab ab .
f = u + iv :
u v u
= ;
= v :
x y y x
|, ,
L : (u; v) 7
u v u v
x y ; y + x ;
|.
.
, C 1 -, |,
- ; ,
C 2 - f , f = 0.
, ,
a priori.
, . , L | , ,
Lf = 0 ( ) , ,
.
2 =x2 2 =t2 R2 : f | -
284
, u : (x; t) 7 f (x + t)
2u 2u
= 0:
x2 t2
,
, ,
.
39.12. L : Ok (U ) Ol (U )
, : x U = 1 ; : : : ; n Rn \ (0; : : : ; 0)
Symbx; (L) Ck Cl , Symbx; (L) , (x; ) U Rn .
| , , , ,
2 2 , . ( n > 1).
| 39.13, .
39.13. L : C (U )k C (U )l | d
k
d f C (U ) . Lf C
(U )l , f C (U )k .
39.14. L : C (U )k C (U )l | d
k
d f C (U ) . Lf = 0, f C
(U )k .
39.13 38.12
.
39.15. L : C (U )k C (U )l |
k
d, u Ht;lo
(U ) t R.
l
l
Lu Hs;lo
(U ) , u Hs+d;lo
(U ) .
, L D , || = d,
( ,
Symb(L) O[1 ; : : : ; d , C[1 ; : : :; d ).
. , k = l. ,
L | , L L : Ok Ok . , Symbx; , (x; ) U Rn .
39.
285
; ,
(1)dA A . ,
A Av = 0 (A Av; v) = 0 (Av; Av) = 0 Av = 0 v = 0:
39.9 , L L 2d, A A ,
. Lu Hs;lo
, L Lu Hsd;lo
39.10.
Ok Ok , , u
s d + 2d = s + d, .
, L : Ok Ok .
u Ht;lo
(U )k Lu Hs;lo
(U )k ( Hs;lo
,
Ht;lo
. .). , x U V , u|V Hs+d;lo
.
x U - ' D(U ),
V x. L( u) Lu = [L; u,
L
; (. 39.4), 6 d 1. ,
[L; | D(U );
Rn ,
[L;
Rn . , u v Rn (. ).
, ,
L( u) = L(u) + [L; u = v + [L; u;
Hs , |
Htd+1. , L( u) Hmin(td+1;s) .
39.16.
u Hmin(t+1;s+d)
.
( V '),
u Ht , t < s + d.
39.16. L
L = L1 + L2 , L1 | , d
( , ), L2 | 6 d 1.
286
L 2 ( u) =
dX
1
j =0
j Mj u;
(39.2)
=1
=1
|v |
| |
|Q( )v | 6 A| |d |v |
v Rk Rn \ {(0; : : :; 0)}.
(
~ ( ) | | > 1;
Q( ) = Q
0
| | < 1;
(39.3)
X
|gj ( )|;
|rj ( )| 6 |r( )| = |Q( )g ( )| 6 A| |d |g ( )| 6 k A| |d
P
|gj | L2 ( ), , r^ H+d ; ,
,
(
| | > 1;
f ( ) Q( )g( ) = 0f ( )
| | < 1:
287
F = (F1 ; : : : ; Fk ),
Fj L2( ) R, F^ H . ,
\
( )g = r^, w Q
^
H+d , F ,
H . u = w H+d = Hmin(t+1;s+d) , .
,
Rn ;
.
1.
, .
3.2. ,
.
3.3. RP2 (x0 : x1 : x2 ).
' RP2 .
3.5. E | R,
0 < k < l < dim E .
F = {(; ) G(k; E ) G(l; E ): V V }:
, F | G(k; E ) G(l; E ).
3.6. 0 < k < n. ,
(n n)- k
.
3.7*. , R, .
288
( , - | ; ,
.)
2.
3.8. RP2 (x0 : x1 : x2 ) (u1 ; u2) = (x1 =x0 ; x2 =x0 ), (v1 ; v2 ) = (x0 =x1 ; x2 =x1 )
(w1 ; w2 ) = (x0 =x2 ; x1 =x2 ). =u1 =u2
.
3.9. R3
S 2 = {(x1 ; x2 ; x3 ): x21 + x22 + x23 = 1}:
(0; 0; 1) . S 2 X Y , . X
1, ( ), Y 1,
( ).
) X Y ,
.
) [X; Y .
3.10. ) S 3 R4 X Y . X (x1 ; x2 ; x3 ; x4 ) (x2 ; x1 ; x4 ; x3 ), Y
(x3 ; x4 ; x1 ; x2 ). [X; Y .
) (x2 ; x1 ; x4 ; x3 ) (x3 ; x4 ; x1 ; x2 ).
3.11. ) R2 (x; y )
; R2 f ,
X1 = x y y x
X1 f = 0?
+ y y
.
) X2 = x x
3.12. X | Y X | ( Rn |
). ,
X Y , Y .
3.13. S 2n+1 , ( , ,
).
289
.
) vA vB .
, 3.13.
3. ;
3.15. X Y 3.9 ,
; , .
3.16. R x = xk k > 0.
3.17. R2 RP2 , (1 : x : y), , k > 0,
xk x
. , k RP2 ;
, , . (.
, .)
3.18. X | , p; q X . ,
' : X X , p q.
3.19. X | , F1 ; F2 X |
. , ' : X R, 0 6 '(x) 6 1
x X , ' F1
F2 . (. (X \ F1 ) (X \ F2 ) | .)
3.20. X | Y X | . , Y
X .
4.
3.21. ,
4r2 .
290
) , dx dy R2 .
) ! 3.24 ? , ?
3.25.
5. ()
3.26. Y | X , f : X R Y . , (df )|Y = 0.
3.27. X | . Tx X
= (mx =m2x) ,
291
3.30. ! | k v1 ; : : : ; vk | ,
!(v1 ; : : :; vk ) , x
!x((v1 )x ; : : :; (vk )x ). , ! | 1,
( ?).
3.31.
6. ()
3.32. R3 ! = dx dy + dy dz +
+ dz dx. - , ! = d.
3.33.
p = (a; b) R2 .
S n1 Rn | Rn . Rn S n1
,
n1 (S n1 ) e1 ; : : : ; en1 Tp S n1 (n 1)- , e1 ; : : :; en1 (
, | ).
3.34.
292
) ,
=
n
X
j =1
x1 ; : : : ; xn | Rn .
) ' : S n1 (0; +) Rn
(u; r) 7 ru ( ). ,
' (dx1 : : : dxn ) = rn1 p1 p2 dr;
p1 p2 | .
) R (1 + |x|) Rn ?
1 (S 1 ).
3.35. HDR
2 (S 1 S 1 ).
3.36*. HDR
3.37. , k
k-.
3.38. B |
R2n ; RP2n1 | R2n ,
x RP2n1 , v R2n , Hx x, {y : B (x; y) = 0}.
Tx Hx Tx RP2n1 RP2n1 . ?
3.39. ) , G(k; n) (k -
Rn ) n.
) n?
L1, L2
3.40. ) , L2 (X; ) L1 (X; ), (X ) < .
) , , , L2 (X; ) 6 L1(X; ), (X )= .
3.41. ) , L1 (Rn ) 7.
.
) , L2(Rn ) .
3.42. ) , D(Rn ) ( ) , L2 (Rn ).
) , D(Rn ) 1, L2 (Rn ).
293
,
f^(t) =
1
(2 )n=2
,
e(t21 +:::+t2n )=2 .
3.44.
e(x +:::+xn)=2
2
1
f (x) = e|x| R.
3.45. Q | (n n)-.
f (x) = et xQx Rn ( x = (x1 ; : : : ; xn ) -).
3.46.
2
f (x) = 0x
1 6 x 6 1;
:
f^ L1 (R)?
3.47. ) f | R . , f^ | - .
) , : f L1(R) f^
-, f .
) f D(R) f^ D(R). , f = 0.
, Rn
, ,
x 7 eihx;ai a Rn .
3.48.
8.
3.49. a; b > 0. ea|x|
( !).
eb|x| Rn
2
3.50. ,
S (Rn ), 4,
1 i. ?
294
3.51. , T
{an }nZ , |an | = O(|n|K ) K > 0.
3.52.
) f S (R). ,
X
nZ
f (2n) = 12
nZ
f^(n)
( ). (. g(x) =
) t > 0
(t) =
nZ
en t :
f (x + 2n).)
,
(t) =
2
t :
t
f L1 (T) . , f L1 -.
3.54.
9.
3.55. ) y = |x|,
R. ) y = [x, R.
3.56.
' D(R)
u(') = "lim+0
(;")(";+)
'(x) dx
:
x
3.57.
' D(R)
295
u(') = "lim+0
f (x) dx
:
R x + i"
) , u(')
' 7 u(') R ( 1=(x + i0)).
) , v:p:(1=x) 1=(x + i0).
3.58. ( R) (x2 )
(x2 ) v:p:(1=x).
3.59. ,
,
.
3.60. ) - Rn -
? | , | ,
s Hs .
) R ( (0; +)).
, , .
)
u=
n=
Tn ;
| - R ( , u(') =
n=
'(n)).
! = x3 dy y3 dx ( Z R2 ),
: S 1 R2 | . , S
! = 0,
.
3.61.
Rn
(; ), k (0; n) | .
X = {(e1; : : : ; ek ) (Rn )k : (ei ; ej ) = ij }:
) , X | ;
.
) X ?
3.62.
296
) , k > 1 X
.
3.63.
: S 1 Rn | , p
(S 1 ) v(p) Rn ,
p. " > 0
F" = {p + tv(p): 0 < t < "}:
) , > 0, F"
" < .
) > 0:03, F0:01 F0:02 0:2
0:5 . F0:03 .
3.64. f | R3
. ,
Z
R3
Z
R3
f
f
f
+ x2 x
+ x3 x
x1 x
dx1 dx2 dx3 :
1
2
3
3.65. R2 u,
u : ' 7
1
1
ZZ
6 x1 6
6 x2 6
1
1
' D(R2 ). s R u
Hs ?