Tính gần đúng phiếm hàm tuyến tính tích phân

Lời cảm ơn
Luận văn được hoàn thành tại trường Đại học Sư phạm Hà Nội 2.
Tôi xin chân thành cảm ơn các thầy, các nhà khoa học giảng dạy
chuyên ngành Toán Giải tích, các thầy cô phòng Sau Đại học, Ban giám hiệu
trường Đại học Sư phạm Hà Nội 2 đã động viên, khích lệ tôi trong suốt quá
trình học tập và thực hiện đề tài.
Đặc biệt tôi xin cảm ơn TS. Nguyễn Văn Khải đã trực tiếp hướng dẫn
tôi trong suốt quá trình nghiên cứu và hoàn chỉnh đề tài. Tôi xin cảm ơn các
bạn học viên lớp K12 Toán Giải tích, bạn bè, đồng nghiệp đã có những đóng
góp quý báu trong suốt quá trình viết luận văn.
Hà Nội, tháng 9 năm 2010.
Tác giả







Lời cam đoan
Tôi xin cam đoan kết quả nghiên cứu khoa học của riêng tôi dưới sự
hướng dẫn trực tiếp của TS. Nguyễn Văn Khải.
Trong suốt quá trình nghiên cứu luận văn, tôi đã kế thừa những thành
quả khoa học của các nhà khoa học với sự trân trọng và biết ơn.
Hà Nội, tháng 9 năm 2010.
Tác giả

2

Mục lục




Mở đầu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1
Chương 1. Một số kiến thức chuẩn bị
3
1.1. Không gian Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3
1.1.1. Không gian Metric . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3
1.1.2. Không gian Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4
1.1.3. Toán tử tuyến tính trong không gian Banach . . . . . . . .
12
1.1.4. Một số hình thức hội tụ . . . . . . . . . . . . . . . . . . . . . . . . .
17
1.1.5. Một số định lý cơ bản . . . . . . . . . . . . . . . . . . . . . . . . . . .
23

1.2. Không gian Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
29
1.2.1. Một số khái niệm cơ bản . . . . . . . . . . . . . . . . . . . . . . . .
29
1.2.2. Toán tử tuyến tính . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
34
1.3. Hội tụ yếu và hệ đa thức trực giao . . . . . . . . . . . . . . . . . . . . .
37
1.3.1. Một số khái niệm về hội tụ yếu . . . . . . . . . . . . . . . . . . .
37
1.3.2. Một số vấn đề về đa thức trực giao . . . . . . . . . . . . . . . .
41
Chương 2. Tính gần đúng phiếm hàm tích phân xác định
44
2.1. Một số công thức tính gần đúng tích phân I . . . . . . . . . . . .
44
2.1.1. Công thức hình thang . . . . . . . . . . . . . . . . . . . . . . . . . .
44
2.1.2. Công thức Parabol . . . . . . . . . . . . . . . . . . . . . . . . . . . .
47
2.1.3. Công thức Newton – Cotes . . . . . . . . . . . . . . . . . . . . . .
50
2.1.4. Công thức Chebyshe . . . . . . . . . . . . . . . . . . . . . . . . . . .
54
2.1.5. Công thức Gauss – Jacobi . . . . . . . . . . . . . . . . . . . . . . .
56
2.2. Sự hội tụ của quá trình tính gần đúng tích phân . . . . . . . . .
58
3

2.2.1. Bài toán . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
58
2.2.2. Định lý Polya về sự hội tụ của quá trình . . . . . . . . . . . .
tính gần đúng tích phân xác định
59
2.2.3. Sự không tồn tại của công thức tính gần đúng tích phân
61
Kết luận . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
74
Tài liệu tham khảo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
75












Mở đầu

1. Lý do chọn đề tài
Vấn đề tính gần đúng tích phân xác định là một vấn đề cổ điển của toán
học và đã được các nhà toán học nổi tiếng trên thế giới quan tâm từ lâu,
những nhà toán học tên tuổi Lagrange, Newton, Cotes, Chebyshev, Gauss,
Beirstein,… gắn liền với quá trình phát triển của các công thức tính gần đúng

tích phân.
Lý thuyết tính gần đúng tích phân đã được đưa vào giảng dạy ở các bậc
đại học không chỉ trong chương trình đào tạo cử nhân Toán học mà còn
được giảng dạy cho cả các ngành Vật lý và đào tạo kỹ sư; điều đó nói lên vai
trò đặc biệt của nó.
Tuy nhiên, hầu hết các tài liệu tiếng Việt hiện này trình bày về lý thuyết
tính gần đúng tích phân đều mang màu sắc cổ điển, thiếu đi một cách nhìn
hiện đại. Chính vì vậy tôi mạnh dạn nghiên cứu đề tài:
“Tính gần đúng phiếm hàm tuyến tính tích phân”
2. Mục đích nghiên cứu
Luận văn này làm sáng tỏ các vấn đề về tính gần đúng phiếm hàm tuyến
tính tích phân xác định và đặt phép tính tích phân dưới góc nhìn của khái
niệm phiếm hàm trong các không gian của giải tích hàm.
3. Nhiệm vụ nghiên cứu
Một là, nghiên cứu các công thức tính gần đúng tích phân dưới góc nhìn
của phiếm hàm tuyến tính.
Hai là, nghiên cứu sự hội tụ quá trình tính tích phân.
4. Đối tượng và phạm vi nghiên cứu
4

Nghiên cứu về các phiếm hàm tuyến tính trong các không gian
Banach, không gian Hilbert.

5. Phương pháp nghiên cứu
Áp dụng các phương pháp nghiên cứu của giải tích toán học. Cụ thể là áp
dụng các nguyên lý cơ bản trong giải tích hàm như: Nguyên lý ánh xạ co,
Nguyên lý bị chặn đều, các khái niệm hội tụ trong giải tích hàm.
6. Những đóng góp mới
Luận văn trình bày tương đối hệ thống vấn đề tính gần đúng phiếm hàm
tuyến tính tích phân xác định trên tập số thực.

5

Chương 1.
Một số kiến thức chuẩn bị

1.1. Không gian Banach
1.1.1. Không gian Metric
Định nghĩa 1.1.1. Ta gọi không gian metric một tập hợp
X ¹ Æ
cùng với
một ánh xạ
d
từ tích Descartes
X X´
vào tập hợp số thực
¡
thỏa mãn các
tiên đề sau:
1) Với mọi

( )
, : , 0
x y X d x y
Î ³
;
( )
, 0
d x y x y= Û =
.
2) Với mọi
( ) ( )
, : , ,x y X d x y d y x
Î =
.
3) Với mọi
( ) ( ) ( )
, , : , , ,x y z X d x y d x z d z y
Î £ +
.
Ánh xạ
d
gọi là metric trên
X
.
Không gian metric được kí hiệu là
( )
,X d
.
Định nghĩa 1.1.2. Cho không gian metric
( )

,X d
và dãy điểm
( )
X
n
x
Ì
, điểm
0
x XÎ
. Dãy điểm
( )
n
x
được gọi là hội tụ tới điểm
0
x
trong không gian
X

khi
n ® ¥
, nếu với mọi
0>e
,
*
0
n$ Î
¥
, với

0
n n" ³
:
( )
0
,
n
d x x
< e
.
Ký hiệu:
0
lim
n
n
x x
® ¥
=
hay
( )
0n
x x n
® ® ¥
.
Điểm
0
x
còn gọi là giới hạn của dãy
( )
n

x
trong không gian
X
.
Định nghĩa 1.1.3. Cho không gian metric
( )
,X d
. Dãy điểm
( )
X
n
x
Ì
được
gọi là dãy cơ bản (dãy Cauchy) trong
X
, nếu với mọi
0>e
, tồn tại
6

*
0
n Î
¥
,
0
,
m n n
" ³

:
( )
,
n m
d x x
< e
.
Nhận xét 1.1.1. Mọi dãy điểm
( )
X
n
x
Ì
hội tụ trong
X
đều là dãy cơ bản.
Định nghĩa 1.1.4. Không gian metric
( )
,X d
gọi là không gian đầy, nếu mọi
dãy cơ bản trong không gian này đều hội tụ tới một phần tử
0
x XÎ
.
1.1.2. Không gian Banach
Định nghĩa 1.1.5. Ta gọi không gian định chuẩn (hay không gian tuyến tính
định chuẩn) là không gian tuyến tính
X
trên trường số thực
¡

cùng với một
ánh xạ từ
X
vào
¡
, ký hiệu là
×
, thỏa mãn các điều kiện sau:
1.
0
x x X³ " Î
đồng thời
0 0
x x
= Û =
.
2.
,x x x Xa a a
= " Î " Î ¡
.
3.
,
x y x y x y X+ £ + " Î
.
Số
x
gọi là chuẩn của vectơ
x
. Ta cũng ký hiệu không gian định chuẩn
là

X
.
Mệnh đề 1.1.1. Cho không gian định chuẩn
X
. Đối với hai vectơ bất kỳ
,x y

ta đặt
( )
,
d x y x y= -
.
Khi đó
d
là một metric trên
X
.
Nhận xét 1.1.2. Mệnh đề 1.1.1 chứng tỏ rằng khi trang bị khoảng cách
( )
,
d x y x y= -
thì mọi không gian định chuẩn đều có thể trở thành
không gian metric. Do đó mọi khái niệm và mệnh đề đã đúng cho không
gian metric cũng đúng cho không gian định chuẩn.
7

Định nghĩa 1.1.6. Cho không gian tuyến tính
X
và
Y

là một tập con khác
rỗng của
X
. Tập hợp của các tổ hợp tuyến tính xây dựng từ các vectơ trong
Y
được gọi là bao tuyến tính của
Y
(hay không gian con sinh bởi
Y
) và ký
hiệu là
span( )Y
.
Định nghĩa 1.1.7. Cho
{ }
k
Y x
=
là hệ các phần tử trong không gian tuyến
tính định chuẩn
X
. Nếu bao đóng của không gian
span( )Y
trùng với
X

(nghĩa là
( )
span
Y X

=
) thì ta nói
{ }
k
x
là hệ các phần tử đóng trong
X
.
Định nghĩa 1.1.8. Dãy điểm
{ }
n
x
của không gian định chuẩn
X
gọi là hội tụ
tới
x XÎ
nếu
lim 0
n
n
x x
® ¥
- =
.
Ký hiệu
lim
n
n
x x

® ¥
=
.
Định nghĩa 1.1.9. Dãy điểm
{ }
n
x
của không gian định chuẩn
X
là dãy cơ bản
(dãy Cauchy) nếu
,
lim 0
n m
n m
x x
® ¥
- =
.
Định nghĩa 1.1.10. Không gian định chuẩn
X
là không gian Banach nếu mọi
dãy cơ bản trong nó đều hội tụ.
Nói cách khác: Nếu không gian định chuẩn
X
là không gian metric đầy
với khoảng cách sinh bởi chuẩn
( )
,
d x y x y= -

,
,x y XÎ
thì
X
được gọi là
không gian Banach.
Ví dụ 1.1.3. (Không gian các hàm liên tục)
Ký hiệu
,a b
C
é ù
ê ú
ë û
là không gian các hàm thực liên tục trên đoạn
,a b
é ù
ê ú
ë û
.
Bởi vì mỗi hàm thực liên tục trên một đoạn là bị chặn trên đoạn đó nên ta có
thể xác định
( )
{ }
sup : ,f f x x a b
é ù
= Î
ê ú
ë û
.
8

Nhận thấy
f f
a
xác định như trên cho ta một chuẩn trên không gian
,a b
C
é ù
ê ú
ë û
, do đó
,a b
C
é ù
ê ú
ë û
là một không gian định chuẩn. Sự hội tụ trong
,a b
C
é ù
ê ú
ë û
đối với
chuẩn này là sự hội tụ đều.
Dưới đây ta chứng minh rằng
,a b
C
é ù
ê ú
ë û

là không gian Banach.
Thật vậy, cho
n
f
là một dãy cơ bản trong
,a b
C
é ù
ê ú
ë û
. Khi đó
*
0
0, , , ,n n m a b
é ù
" ³ $ Î " Î
ê ú
ë û
¥e


( ) ( )
3
n m
f x f x
- £
e
. (1)
Như vậy mỗi
,x a b

é ù
Î
ê ú
ë û
cố định, dãy số
( )
{ }
1
n
n
f x
¥
=
là một dãy cơ bản
trong
¡
. Do
¡
đầy nên tồn tại
( ) ( )
lim , ,
n
n
f x f x x a b
® ¥
é ù
= " Î
ê ú
ë û
. Ta sẽ chỉ ra

,a b
f C
é ù
ê ú
ë û
Î
và
n
f f®
trong
,a b
C
é ù
ê ú
ë û
. Với
x
cố định thuộc
,a b
C
é ù
ê ú
ë û
trong (1) cho
m ® ¥
và
0
n n³
ta được

( ) ( )
0
, , ,
3
n
f x f x x a b n n
é ù
- £ " Î " ³
ê ú
ë û
e
. (2)
Vì
0
n
f
liên tục tại
0
x
nên tồn tại
0>d
sao cho

0
, :x a b x x
é ù
" Î - <
ê ú
ë û
d

thì
( ) ( )
0 0
0
3
n n
f x f x
- <
e
. (3)
Từ (2) và (3) suy ra
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
0 0
0 0 0 0
n n n n
f x f x f x f x f x f x f x f x
- £ - + - + -


3 3 3
< + + =
e e e
e
.
Như vậy ra đã chứng minh được rằng với
0
, :x a b x x
é ù
" Î - <
ê ú

ë û
d
thì
9

( ) ( )
0
f x f x
- < e
.
Tức là
f
là hàm liên tục trên
,a b
é ù
ê ú
ë û
(do
0
x
tùy ý thuộc
,a b
é ù
ê ú
ë û
). Cũng từ
(2) suy ra dãy
( )
{ }
1

n
n
f x
¥
=
hội tụ về hàm
( )
{ }
f x
trong
,a b
C
é ù
ê ú
ë û
.
Vậy
,a b
C
é ù
ê ú
ë û
là không gian Banach.
Ví dụ 1.1.4. ( Không gian các hàm thực liên tục trên đoạn
,a b
é ù
ê ú
ë û
với chuẩn
tích phân)

Ký hiệu
,a b
L
é ù
ê ú
ë û
là không gian các hàm liên tục trên đoạn
,a b
é ù
ê ú
ë û
. Trên
,a b
L
é ù
ê ú
ë û

đối với mỗi hàm số
( )
x t
ta xác định một hàm
( ) ( )
b
a
x t x t dt
=
ò
.
Rõ ràng hàm

( ) ( )
x t x t
a
thỏa mãn ba tiên đề trong định nghĩa
chuẩn, vậy
,a b
L
é ù
ê ú
ë û
là không gian định chuẩn. Ta sẽ chứng tỏ rằng
,a b
L
é ù
ê ú
ë û
không
phải là không gian Banach.
Cho
, 0,1
a b
é ù é ù
=
ê ú ê ú
ë û ë û
. Trong
0,1
L
é ù
ê ú

ë û
xét dãy hàm
( )
{ }
n
x t
như sau:
( )
1
1 0
2
1 1 1
1 2
2 2 2
1 1
0 1.
2 2
n
khi t
x t n nt khi t
n
khi t
n
ì
ï
ï
ï
£ £
ï
ï

ï
ï
ï
= + - £ £ +
í
ï
ï
ï
ï
+ £ £
ï
ï
ï
ï
î

Với mỗi
1m n> ³
ta có:
( ) ( ) ( ) ( )
1
0
m n m n
x t x t x t x t dt
- = -
ò

10

( ) ( )
1 1
2 2
1
2
n
m n
x t x t dt
+
= -
ò
.
Vì
( ) ( )
1
m n
x t x t
- £
nên
( ) ( )
1
0
2
n
m n
x t x t
n
® ¥
- £ ¾ ¾ ¾®
. Ta suy ra

dãy
( )
{ }
n
x t
là dãy cơ bản. Tuy nhiên dãy này không hội tụ.
Thật vậy, giả sử dãy hàm
( )
{ }
n
x t
hội tụ tới hàm
( )
x t
nào đó trong
0,1
L
é ù
ê ú
ë û
, tức
là
( ) ( )
1
0
0
n
x t x t dt
- ®
ò

.
Tích phân này lại có thể viết
( ) ( ) ( ) ( ) ( ) ( )
1
1 1
2
0 0 1
2
n n n
x t x t dt x t x t dt x t x t dt
- = - + -
ò ò ò
.
Nên ta phải có:
( ) ( )
1
2
0
0
n
x t x t dt
- ®
ò
và
( ) ( )
1
1
2
0
n

x t x t dt
- ®
ò
.
Nhưng rõ ràng
( )
1
2
0
1 0
n
x t dt
- ®
ò
và
( )
1
1
2
0 0
n
x t dt
- ®
ò
.
Như vậy, hai hàm
( )
x t
và 1 cùng là giới hạn của
( )

{ }
n
x t
trong
1
0,
2
L
é ù
ê ú
ê ú
ë û
.
Ta cũng có
( )
x t
và 0 cũng là giới hạn của
( )
{ }
n
x t
trong
1
,1
2
L
é ù
ê ú
ê ú
ë û

.
11

T ú suy ra
( )
1
1 0;
2
x t t
ộ ự
ờ ỳ
= " ẻ
ờ ỳ
ở ỷ
; v
( )
1
0 ,1
2
x t t
ộ ự
ờ ỳ
= " ẻ
ờ ỳ
ở ỷ

Suy ra
1
0
2

x
ổ ử
ữ
ỗ
ữ
=
ỗ
ữ
ỗ
ữ
ỗ
ố ứ
v
1
1
2
x
ổ ử
ữ
ỗ
ữ
=
ỗ
ữ
ỗ
ữ
ỗ
ố ứ
.
iu ny vụ lý, do ú dóy

( )
{ }
n
x t
khụng hi t trong
0,1
L
ộ ự
ờ ỳ
ở ỷ
.
Vy
0,1
L
ộ ự
ờ ỳ
ở ỷ
khụng phi l khụng gian Banach.
nh ngha 1.1.11 (Chun tng ng). Cho khụng gian tuyn tớnh
X
v
trờn ú xỏc nh hai chun
1
.
v
2
.
. Hai chun ny gi l tng ng nu
tn ti hai s dng
,a b

sao cho.
1 2 1
x x x
a bÊ Ê

x X" ẻ
.
nh ngha 1.1.12. Cho khụng gian nh chun
X
v mt dóy cỏc phn t
{ }
n
x Xè
. Tng hỡnh thc
1 2

n
x x x
+ + + +

c gi l chui trong
X
v c ký hiu l
1
n
n
x
Ơ
=
ồ

.
Phn t
n
x
c gi l s hng th
n
ca chui. Vi mi
n
t
1 2
1

n
n n k
k
S x x x x
=
= + + + =
ồ

v
n
S
c gi l tng riờng th
n
ca chui
1
n
n
x

Ơ
=
ồ
.
T ú ta c dóy
{ }
n
n
S X
ẻ
è
Ơ
gi l dóy tng riờng ca chui
1
n
n
x
Ơ
=
ồ
.
nh ngha 1.1.13. Cho khụng gian tuyn tớnh nh chun
X
v
{ }
n
x
l
12

dãy phần tử trong
X
. Nếu dãy các tổng riêng
{ }
n
S XÎ
hột tụ đến
S XÎ

thì chuỗi
1 2

n
x x x
+ + + +
được gọi là hội tụ và
S
gọi là tổng của chuỗi
này. Ta cũng nói dãy
1
n
n
x
¥
=
å
khả tổng và viết
1
n
n

S x
¥
=
=
å
.
Trường hợp ngược lại ta nói rằng dãy phân kỳ.
Định nghĩa 1.1.14. Chuỗi
1
n
n
x
¥
=
å
gọi là hội tụ tuyệt đối nếu chuỗi số
1
n
n
x
¥
=
å

hội tụ.
Định lý 1.1.1 (Tiêu chuẩn Cauchy). Chuỗi
1
n
n
x

¥
=
å
trong không gian Banach
X

là hội tụ khi và chỉ khi với
*
0
0, n" > $ Î
¥
e
sao cho
*
0
,n n p" ³ " Î
¥
:

1

n n p
x x
+ +
+ + < e
.
Chứng minh.
Do
X
là không gian Banach nên chuỗi hội tụ khi và chỉ khi dãy tổng

riêng
{ }
n
S XÎ
là dãy cơ bản tức là với
*
0
0, n" > $ Î
¥
e
sao cho
*
0
,n n p" ³ " Î
¥
:
1

n p n n n p
S S x x
+ + +
- = + + < e
.
Mệnh đề 1.1.2. Không gian định chuẩn
X
là không gian Banach khi và chỉ
khi mọi chuỗi trong nó hội tụ tuyệt đối đều hội tụ.
Chứng minh.
Điều kiện cần.
Giả sử

X
là không gian Banach và chuỗi
1
n
n
x
¥
=
å
hội tụ.
13

Khi ú vi
*
0
0, n" > $ ẻ
Ơ
e
sao cho
*
0
,n n" " ẻ
Ơ
:
1
p
n j
j
x
+

=
<
ồ
e
.
Suy ra vi
*
0
0, n" > $ ẻ
Ơ
e
sao cho
*
0
,n n p" " ẻ
Ơ
:
1 1
p p
n j n j
j j
x x
+ +
= =
Ê <
ồ ồ
e
.
Theo tiờu chun Cauchy chui
1

n
n
x
Ơ
=
ồ
hi t. Vy trong khụng gian Banach
mi chui hi t tuyt i u hi t.
iu kin .
Gi s rng trong khụng gian nh chun
X
mi chui hi t tuyt i
u hi t. Ly
{ }
n
x
l mt dóy c bn trong
X
. Theo nh ngha vi
*
0
0, ne" > $ ẻ
Ơ
vi
0
,
n m n
"
sao cho
n m

x x
e- <
.
Nh ú vi s
e
l phn t ca dóy s
1
2
k
ổ ử
ữ
ỗ
ữ
ỗ
ữ
ỗ
ữ
ỗ
ố ứ
ta tỡm c s
k
n
sao cho
( )
1
1
1,2,
2
k k
k

n n
x x k
+
- Ê =
vi
1
k k
n n
+
<
.
T ú suy ra chui
1 2 1 1

k k
n n n n n
x x x x x
+
+ - + + - +
hi t. Theo gii
thit, chui
( ) ( )
( )
1 2 1 1

k k
n n n n n
x x x x x
+
+ - + + - +

hi t trong khụng gian
X
v ký hiu tng ca chui ny l
s
. Hin nhiờn
( ) ( )
( )
1 2 1 1 1
lim lim
k k k
n n n n n n
k k
s x x x x x x
+ +
đ Ơ đ Ơ
ộ ự
= + - + + - =
ờ ỳ
ở ỷ
.
T chng minh trờn v t h thc
( )
1 1
0 ,
k k
n n n n
x s x x x s k n
+ +
- Ê - + - đ đ Ơ

14

suy ra
lim
n
n
s x
® ¥
=
trong không gian định chuẩn
X
. Do đó
X
là không gian
Banach.
Định lý được chứng minh.

1.1.3. Toán tử tuyến tính trong không gian Banach.
Định nghĩa 1.1.15. Cho hai không gian định chuẩn
X
và
Y
. Ánh xạ
:A X Y®
được gọi là ánh xạ tuyến tính liên tục nếu
1)
A
là tuyến tính, nghĩa là
( ) ( ) ( )
A x y f x f y

+ = +a b a b
,
, , ,x y Xa b" Π" Ρ
.
2)
A
là liên tục theo nghĩa mọi dãy
( )
*
:
n n
x x x
®
thì
( ) ( )
*
n
A x A x
®
.
Ta thường gọi ánh xạ tuyến tính là toán tử tuyến tính. Trong trường hợp
Y = ¡
thì toán tử tuyến tính
A
thường được gọi là phiếm hàm tuyến tính.
Ví dụ 1.1.5.
( ) ( )
1 1
, , , , , ,
k m

k m
X Y A
x x h h
= = =¡ ¡
với

( )
1
1,2, ,
k
i ij j
j
a i m
=
= =
å
h x
. (4)
Trong đó
ij
a
là những hằng số. Ma trận
11 12 1
21 22 2
1 2




k

k
m m mk
a a a
a a a
a a a
é ù
ê ú
ê ú
ê ú
ê ú
ê ú
ê ú
ê ú
ë û

Được gọi là ma trận của toán tử
A
.
Nhận thấy (4) là dạng tổng quát của mọi toán tử tuyến tính từ
k
¡
vào
m
¡
. Thật vậy, cho
A
là một toán tử tuyến tính bất kỳ từ
k
¡
vào

m
¡
. Gọi
15

1 2
, , ,
k
e e e
và
1 2
, , ,
m
e e e
là các cơ sở của
k
¡
và
m
¡
sao cho với mọi
( )
1
, ,
k
k
x = Î
¡
x x
và

( )
1
, ,
m
m
y
= Î
¡
h h
:
1
k
i j
j
x e
=
=
å
x
.
1
m
i i
i
y
=
=
å
h e
.

Vì
A
là tuyến tính nên
( )
1
k
j j
j
A x A e
=
=
å
x
.
Đặt
( )
1
, ,
m
A x =
h h
,
( )
1
, ,
j j m j
A e a a
=
ta có (4).
Định lý 1.1.2. Cho

:A X Y®
là toán tử tuyến tính giữa hai không gian định
chuẩn
X
và
Y
. Khi đó các mệnh đề sau là tương đương.
(i)
A
liên tục.
(ii)
A
liên tục tại
0 XÎ
.
(iii)
A
bị chặn trên hình cầu đơn vị, nghĩa là
( )
{ }
sup : 1A x x
£ < + ¥
.
(iv) Tồn tại hằng số
0C >
để
( )
,
A x C x x X£ " Î
.

Chứng minh.
( ) ( )
i ii
Þ
. Hiển nhiên.
( ) ( )
ii iii
Þ
.
A
là ánh xạ tuyến tính nên
( )
0 0
A
=
và vì
A
liên tục tại
0 XÎ

nên tồn tại
0>d
sao cho
( ) ( ) ( )
0 1,A x A x A x
= - £ " £ d
.
Từ đó suy ra
16

( ) ( )
1 1
A x A xd
d d
= Ê
,
1
x
" Ê
.
Vy
( )
{ }
1
sup : 1A x x
Ê Ê < + Ơ
d
.
( ) ( )
iii iv
ị
. t
( )
{ }
sup : 1C A x x
= Ê
. Theo gi thit
C < + Ơ
. Nu
0x ạ

thỡ do
1
x
x
=
v tớnh tuyn tớnh ca
A
, ta cú
( )
A x
x
A C
x x
ổ ử
ữ
ỗ
ữ
ỗ
= Ê
ữ
ỗ
ữ
ỗ
ữ
ữ
ỗ
ố ứ
.
hay
0x" ạ

ta cú
( )
A x C x
Ê
. Vi
0x =
bt ng thc l hin nhiờn nờn
ta cú
( )
A x C x
Ê
vi mi
x Xẻ
.
( ) ()
iv i
ị
. Do
( )
iv
v do tớnh tuyn tớnh ca
A
nờn vi
0
x
tựy ý cho trc ta
cú
( ) ( ) ( )
0 0 0
A x A x A x x C x x

- = - Ê -
.
Suy ra
A
liờn tc ti
0
x
. Do
0
x
tựy ý nờn
A
liờn tc trờn
X
.
nh ngha 1.1.16. Cho toỏn t tuyn tớnh liờn tc
:A X Yđ
. S
( )
1
sup
x
A A x
Ê
=
c gi l chun ca
A
.
nh lý 1.1.3. Cho toỏn t tuyn tớnh liờn tc
:A X Yđ

. Khi ú ta cú cỏc
ng thc sau:
( ) ( )
( )
1 1 0
sup sup sup
x x x
A x
A x A x
x
Ê = ạ
= =
. (5)
Chng minh.
17

Từ bất đẳng thức
( )
. ,
A x A x x X£ " Î
ta có

( )
, : 1
A x A x x
£ " £
(hoặc
1
x
=

). (6)
Mặt khác từ định nghĩa chuẩn của toán tử ta suy ra với mỗi số dương
e
bất
kỳ tồn tại một phần tử
u XÎ
sao cho

( )
( )
A u A u
> - e
. (7)
Đặt
u
y
u
=
khi đó
1
y
=
và

( )
( )
A u
A y A
u
= > - e

. (8)
Từ (6) và (7) ta suy ra
( )
1
sup
x
A x A
£
=
(hoặc
1
x
=
).
Ta cũng có
( )
( )
0 0
1
sup sup sup
x x
x
A x
x
A x A
x x
¹ ¹
=
æ ö
÷

ç
÷
ç
= =
÷
ç
÷
ç
÷
÷
ç
è ø
.
Do đó
( )
0
sup
x
A x
A
x
¹
=
.
Định nghĩa 1.1.17. Cho hai không gian định chuẩn
X
và
Y
. Ký hiệu
( )

,X Y
L

là tập tất cả các toán tử tuyến tính liên tục từ không gian định chuẩn
X
đến
không gian định chuẩn
Y
.
Tổng của hai toán tử
( )
, ,A B X Y
Î L
là toán tử, ký hiệu
A B+
xác
định bởi hệ thức
18

( )( ) ( ) ( )
,
A B x A x B x x X+ = + " Î
.
Tích của toán tử
( )
,A X Y
Î L
với vô hướng
l Î ¡
là toán tử, ký hiệu

Al
xác định bởi hệ thức
( )( ) ( )
A x A x
=l l
.
Dễ dàng kiểm tra được
( )
,X Y
L
cùng với hai phép toán xác định như
trên lập thành một không gian vectơ.
Định lý 1.1.4.
( )
,X Y
L
là một không gian định chuẩn với chuẩn xác định bởi
công thức (5). Ngoài ra
Y
là Banach thì
( )
,X Y
L
cũng là không gian Banach.
Chứng minh.
Trước hết ta chứng minh
A A
a
là một chuẩn trên không gian vectơ
( )

,X Y
L
.
Giả sử
( )
,A X Y
Î L
và
0
A
=
. Khi đó,
( )
. 0
A x A x
£ =
với mỗi
x XÎ
. Do đó
( )
0
A x
=
với mỗi
x XÎ
tức là
0A =
.
Giả sử
( )

, ,A B X Y
Î L
và
l Î ¡
. Khi đó
( ) ( ) ( ) ( )
1 1 1
sup sup sup
x x x
A B A x B x A x B x A B
£ £ £
+ = + £ + = +
.
( ) ( )
1 1
sup sup
x x
A A x A x A
£ £
= = =l l l l
.
Vậy
( )
,X Y
L
là không gian tuyến tính định chuẩn với chuẩn xác định bởi
công thức
( )
1
sup

x
A A x
£
=
.
Bây giờ giả sử rằng
Y
là không gian Banach và
{ }
n
A
là một dãy cơ
bản trong
( )
,X Y
L
. Khi đó
19


*
0 0
0, , , :
n m
n m n n A A
" > $ Î " ³ - £
¥
e e
. (9)
Hay tương đương

( ) ( )
*
0 0
0, , , , :
n m
n m n n x X A x A x xe e
" > $ Î " ³ " Î - £¥
. (10)
Từ bất đẳng thức thứ hai ở trên suy ra với mọi
x XÎ
dãy
( )
{ }
n
A x
là
dãy cơ bản trong
Y
. Do
Y
đầy nên tồn tại
( ) ( )
lim ,
n
n
A x A x x X
® ¥
= " Î
.

Vì
n
A
là tuyến tính nên với mọi
n
nên
:A X Y®
là tuyến tính. Vậy
ta còn phải kiểm ta rằng
( )
,A X Y
Î L
và
n
A A
a
trong
( )
,X Y
L
. Bằng
cách cố định
x XÎ
, trong bất đẳng thức (10) cho
0
n n³
và
m ® ¥
ta
được:

( ) ( )
,
n
A x A x x x X
e
- £ " Î
. (11)
Như vậy
( ) ( ) ( ) ( )
( )
0 0 0
, .
n n n
A x A x A x A x A x x X
e£ - + £ + " Î

Từ đó suy ra
( )
,A X Y
Î L
. Từ (11) ta có
n
A A
®
trong
( )
,X Y
L
.

Định lý được chứng minh.

1.1.4. Một số hình thức hội tụ
Định nghĩa 1.1.18. Cho một không gian tuyến tính
X
. Một hàm số
( )
f x
xác
định trên
X
và lấy giá trị là số thực gọi là một phiếm hàm trên
X
. Phiếm
hàm đó gọi là tuyến tính nếu
1)
( ) ( ) ( )
1 2 1 2
f x x f x f x
+ = +
với mọi
1 2
,
x x XÎ
.
2)
( ) ( )
f x f x
=a a
với mọi

x XÎ
và mọi số
a
.
20

Nh vy mt phim hm tuyn tớnh trờn
X
thc cht l mt toỏn t
tuyn tớnh t
X
vo
Ă
. T ú ta cú cỏc nh ngha v kt qu sau:
nh ngha 1.1.19. Gi s
X
l khụng gian tuyn tớnh nh chun. Khi ú mt
phim hm tuyn tớnh
f
gi l b chn nu cú mt hng s
0K >
cho

( )
,
f x K x x XÊ " ẻ
. (12)
nh ngha 1.1.20. S
0K
nh nht tha món (12) gi l chun ca phim

hm v c ký hiu l
f
.
nh lý 1.1.5. Mt phim hm tuyn tớnh b chn khi v ch khi nú liờn tc,
ngha l
0
n
x x
đ
luụn luụn cú
( ) ( )
0
n
f x f x
đ
.
nh lý 1.1.6. Ta cú
( )
( )
0
1
sup sup
x
x
f x
f f x
x
ạ
=
= =

.
Vớ d 1.1.5. Xột khụng gian
,X C a b
ộ ự
=
ờ ỳ
ở ỷ
vi chun
( )
max
a x b
f f x
Ê Ê
=
v
phim hm
:L X đ Ă
xỏc nh bi
( ) ( )
1
n
k k
k
L f a f x
=
=
ồ
vi
k
a

ẻ Ă
cho
trc v
1, ,
k
a x b k n
Ê Ê " =
. Khi ú
1
n
k
k
L a
=
=
ồ
.
Tht vy
( ) ( )
1
n
k k
k
L f a f x
=
=
ồ
. Suy ra
( ) ( ) ( )
1 1

n n
k k k k
k k
L f a f x a f x
= =
= Ê
ồ ồ

1
.
n
k
k
a f
=
ổ ử
ữ
ỗ
ữ
Ê
ỗ
ữ
ỗ
ữ
ỗ
ố ứ
ồ

Vy
1

n
k
k
L a
=
Ê
ồ
.
21

Mt khỏc, vi hm
,f C a b
ộ ự
ẻ
ờ ỳ
ở ỷ
sao cho
( )
1 ,f x x a b
ộ ự
Ê " ẻ
ờ ỳ
ở ỷ
v
( ) ( )
k k
f x sign a
=

( )

( )
1
1
1
.
n
k k
k
n
k
k
n
k
k
L f sign a a
a
f a
=
=
=
=
=
=
ồ
ồ
ồ

Vy
1
n

k
k
L a
=

ồ
. T ú suy ra
1
n
k
k
L a
=
=
ồ
.
Hn na,
*
X
l khụng gian tuyn tớnh nh chun vi
f
c xỏc
nh nh ngha 1.1.20.
nh lý 1.1.7. Tp hp
*
X
tt c cỏc phim hm tuyn tớnh liờn tc trờn
khụng gian tuyn tớnh nh chun
X
l mt khụng gian tuyn tớnh vi hai

phộp toỏn:
( )( ) ( ) ( )
f f x f x f x
 Â
+ = +
vi
*
, ,
f f X x X
Â
ẻ " ẻ
.
( )( ) ( )
f x f x
=l l
vi
*
,
f X x Xẻ " ẻ
.
nh ngha 1.1.21. Khụng gian tuyn tớnh nh chun
*
X
trờn gi l khụng
gian liờn hp ca khụng gian tuyn tớnh nh chun
X
.
nh ngha 1.1.22. Gi s
X
l mt khụng gian tuyn tớnh nh chun. Mt

dóy cỏc phn t
{ }
n
x
c gi l hi t mnh ti
x
nu
lim 0
n
n
x x
đ Ơ
- =
.
Ký hiu
S
n
x xắ ắđ
.
22

Định nghĩa 1.1.23. Cho
X
là một không gian tuyến tính định chuẩn.
*
X
là
không gian liên hợp của
X
. Khi đó một dãy các phần tử

{ }
n
x
được gọi là hội
tụ yếu tới
x
nếu
( ) ( )
*
lim 0,
n
n
L x L x L X
® ¥
- = " Î
.
Ký hiệu
n
x x
w
¾ ¾ ®
.
Định nghĩa 1.1.24. Cho
*
X
là một không gian tuyến tính định chuẩn liên hợp
của không gian tuyến tính định chuẩn
X
. Khi đó một dãy các phần tử
{ }

n
L

của
*
X
được gọi là hội tụ mạnh tới
L
nếu
lim 0
n
n
L L
® ¥
- =
.
Ví dụ 1.1.6.
,X C a b
é ù
=
ê ú
ë û
với
( )
max
a x b
f f x
£ £
=
.

Giả sử
( ) ( )
1
n
n kn kn
k
L f a f x
=
=
å
, ở đây
kn
a x b£ £
và
1
lim 0
n
kn
n
k
a
® ¥
=
=
å
.
Khi đó có thể chứng minh
0
S
n

L
¾ ¾ ®
.
Định nghĩa 1.2.25. Cho
*
X
là một không gian tuyến tính định chuẩn liên hợp
của không gian tuyến tính định chuẩn
X
. Khi đó một dãy các phần tử
{ }
n
L

được gọi là hội tụ yếu trong
*
X
tới
L
nếu
( ) ( )
* *
lim 0
n
n
L L L L
® ¥
- =

với mọi phần tử

( )
*
* *
L X
Î
.
Định nghĩa 1.1.26. Cho
X
là một không gian tuyến tính định chuẩn,
*
X
là
không gian liên hợp của nó. Khi đó một dãy các phần tử
{ }
n
L
của
23

*
X
có giới hạn yếu
*
là
L
nếu
( ) ( )
lim 0
n
n

L x L x
® ¥
- =

với mọi
x XÎ
.
Ví dụ 1.1.7.
,X C a b
é ù
=
ê ú
ë û
với
( )
max
a x b
f f x
£ £
=
. Xét tam giác số vô hạn sau:
00
10 11
20 21 22
,
, ,

x
x x
x x x

với các điểm
,n k
x
thuộc
,a b
é ù
ê ú
ë û
với mọi
,n k
sao cho
, , 1
n k n k
x x
+
<
và
( )
, 1 ,
lim max 0
n k n k
n k
x x
+
® ¥
- =
.
Đặt
( )

( )( )
, , , 1
1
n
n n k n k n k
k
L f f x x x
-
=
= -
å
và
( ) ( )
b
a
L f f x dx
=
ò
.
Khi đó từ tính chất của tích phân Riemann
( ) ( )
n
L f L f
®

với mọi
f XÎ
. Vậy
L
là giới hạn yếu * của

{ }
n
L
.
Ví dụ 1.1.8.
1,1
X C
é ù
= -
ê ú
ë û
với
( )
1 1
max
x
f f x
- £ £
=
. Cho dãy hàm
( )
n
K x
thỏa
mãn
( )
n
K x
khả tích với mọi
n

đồng thời thỏa mãn điều kiện Fejér:
( )
0
n
K x
³
và
( )
1
1
1
n
K x dx
-
=
ò
.
Và nếu
( ) ( )
1
max
n n
x
M K x
d
d
£ £
=
thì
( )

lim 0
n
n
M d
® ¥
=

với mọi
0 1d< <
.