Vectơ riêng dương của một lớp toán tử phi tuyến tính (K,µo) - Lõm chính quy

LỜI CẢM ƠN
Luận văn này được thực hiện và hoàn thành tại trường Đại học Sư
phạm Hà Nội 2, dưới sự hướng dẫn nhiệt tình của Phó giáo sư - Tiến
sĩ - GVCC Nguyễn Phụ Hy, người thầy đã hướng dẫn và truyền cho tác
giả những kinh nghiệm quý báu trong học tập và nghiên cứu khoa học.
Thầy luôn động viên và khích lệ để tác giả vươn lên trong học tập và
vượt qua những khó khăn trong chuyên môn. Tác giả xin bày tỏ lòng
biết ơn, lòng kính trọng sâu sắc nhất đối với thầy.
Tác giả xin chân thành cảm ơn ban giám hiệu trường Đại học Sư
phạm Hà Nội 2, phòng Sau đại học, khoa Toán và tổ Giải tích cùng các
quý thầy cô đã tạo mọi điều kiện thuận lợi cho tác giả kết thúc tốt đẹp
chương trình Cao học và hoàn thành luận văn tốt nghiệp.
Tác giả xin trân trọng cảm ơn ban giám hiệu trường THPT Hàm
Long - Bắc Ninh, Tổ Toán - Tin và các đồng nghiệp đã tạo mọi điều
kiện giúp đỡ để tác giả an tâm học tập và hoàn thành tốt luận văn.
Hà Nội, tháng 12 năm 2011
Tác giả
Dương Thị Quế
LỜI CAM ĐOAN
Tôi xin cam đoan Luận văn là công trình nghiên cứu của riêng tôi
dưới sự hướng dẫn trực tiếp của PGS -Tiến sĩ - GVCC Nguyễn Phụ Hy.
Trong quá trình nghiên cứu, tôi đã kế thừa 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 12 năm 2011
Tác giả
Dương Thị Quế
Mục lục
Mở đầu v
1 Một số kiến thức chuẩn bị 1
1.1 Không gian định chuẩn thực . . . . . . . . . . . . . . . . 1
1.1.1 Các định nghĩa . . . . . . . . . . . . . . . . . . . 1

1.1.2 Một số không gian định chuẩn thực . . . . . . . . 4
1.2 Không gian Banach thực nửa sắp thứ tự . . . . . . . . . 13
1.2.1 Nón trong không gian định chuẩn thực . . . . . . 13
1.2.2 Quan hệ thứ tự trong không gian E . . . . . . . . 14
1.2.3 Không gian Banach thực nửa sắp thứ tự . . . . . 21
1.2.4 Không gian E
u
0
. . . . . . . . . . . . . . . . . . 21
1.2.5 Một số không gian Banach thực nửa sắp thứ tự . 25
2 Toán tử (K, u
0
) - lõm chính quy 39
2.1 Toán tử (K, u
0
) - lõm . . . . . . . . . . . . . . . . . . . 39
2.1.1 Các định nghĩa . . . . . . . . . . . . . . . . . . . 39
2.1.2 Một số tính chất đơn giản về toán tử (K, u
0
) - lõm 40
2.1.3 Ví dụ về toán tử (K, u
0
) - lõm . . . . . . . . . . 46
2.2 Toán tử (K u
0
) - lõm chính quy . . . . . . . . . . . . . . 52
2.2.1 Định nghĩa . . . . . . . . . . . . . . . . . . . . . 52
2.2.2 Một số tính chất đơn giản về toán tử (K, u
0
) -

lõm chính quy . . . . . . . . . . . . . . . . . . . . 53
iii
iv
2.2.3 Ví dụ về toán tử (K, u
0
)
−
lõm chính quy . . . . . 58
3 Sự tồn tại vectơ riêng của toán tử (K, u
0
)
−
lõm chính quy 60
3.1 Một số định nghĩa . . . . . . . . . . . . . . . . . . . . . 60
3.2 Một số định lí về sự tồn tại vectơ riêng của toán tử
(K, u
0
)
−
lõm chính quy . . . . . . . . . . . . . . . . . . . 61
Kết luận 71
Tài liệu tham khảo 72
Mở đầu
1. Lí do chọn đề tài
Nhiều vấn đề của toán học, vật lí, kỹ thuật dẫn đến việc xét
phương trình:
Ax −λx = 0 (1)
trong đó A là một toán tử tác động trong một không gian hàm nào đó,
x là phần tử phải tìm. Phần tử x = θ thoả mãn (1) gọi là vectơ riêng
của toán tử A, λ là giá trị riêng tương ứng với vectơ riêng x.

Người đặt nền móng cho việc nghiên cứu điểm bất động của toán
tử A là nhà toán học người Balan Stefan Banach với nguyên lí nổi tiếng:
nguyên lí ánh xạ co (công bố năm 1922). Tiếp đến có nhiều nhà toán
học có các công trình nghiên cứu về điểm bất động của toán tử trong
các không gian hàm. Nhà toán học Nga nổi tiếng M.A.Kraxnôxelxki đã
nghiên cứu lớp toán tử phi tuyến - Toán tử lõm (1956). Sau đó giáo sư
tiến sĩ khoa học I.A.Bakhtin mở rộng các kết quả cho lớp toán tử phi
tuyến (K, u
0
) - lõm (1984).
Các lớp toán tử trên có chung tính chất u
0
- đo được. Tính chất
u
0
– đo được trong định nghĩa toán tử lõm khiến cho việc ứng dụng các
kết quả gặp khó khăn. Tuy nhiên tồn tại những lớp toán tử phi tuyến
không yêu cầu có tính chất u
0
– đo được, nhưng cũng có những tính chất
như toán tử lõm. Một trong những lớp toán tử như thế là lớp toán tử
lõm chính quy.
v
vi
Năm 1987, trong bài báo đăng trên tạp chí Toán học, tập XV,
số 1, 27 - 32, PGS - TS Nguyễn Phụ Hy đã xây dựng khái niệm toán tử
lõm chính quy và sự mở rộng các định lí quan trọng về điểm bất động
và vectơ riêng đối với toán tử lõm cho toán tử lõm chính quy. Với mong
muốn mở rộng các kết quả tương ứng đối với toán tử lõm chính quy cho
lớp toán tử phi tuyến (K, u

0
) – lõm chính quy, tôi đã chọn đề tài:
“Vectơ riêng dương của một lớp toán tử phi tuyến
(K, u
0
) - lõm chính quy”.
2. Mục đích nghiên cứu
Luận văn “Vectơ riêng dương của lớp toán tử phi tuyến
(K, u
0
) - lõm chính quy” nhằm đưa ra được một số tính chất về toán
tử (K, u
0
) - lõm chính quy và sự tồn tại vectơ riêng dương của lớp toán
tử đó.
3. Nhiệm vụ nghiên cứu
Với mục đích đã nêu ở trên, những nhiệm vụ nghiên cứu của
luận văn là:
+ Nghiên cứu một số tính chất về toán tử (K, u
0
) - lõm chính quy.
+ Nghiên cứu sự tồn tại điểm bất động của toán tử (K, u
0
) - lõm
chính quy .
+ Nghiên cứu sự tồn tại vectơ riêng dương của toán tử (K, u
0
) -
lõm chính quy .
4. Đối tượng và phạm vi nghiên cứu

+) Đối tượng nghiên cứu: Toán tử (K, u
0
) - lõm chính quy.
+) Phạm vi nghiên cứu:
- Tính chất điểm bất động của toán tử (K, u
0
) - lõm chính quy.
vii
- Sự tồn tại điểm bất động của toán tử (K, u
0
) - lõm chính quy.
- Sự tồn tại vectơ riêng dương của toán tử (K, u
0
) - lõm chính
quy.
5. Phương pháp nghiên cứu
Sử dụng phương pháp nghiên cứu tài liệu và áp dụng các kết
quả nghiên cứu vào một số không gian hàm cụ thể.
6. Dự kiến đóng góp mới
- Xây dựng khái niệm toán tử (K, u
0
)– lõm chính quy và ví dụ.
- Trình bày một cách hệ thống các tính chất của toán tử
(K, u
0
) – lõm chính quy.
- Một số điều kiện tồn tại vectơ riêng dương của toán tử
(K, u
0
) – lõm chính quy.

Chương 1
Một số kiến thức chuẩn bị
1.1 Không gian định chuẩn thực
1.1.1 Các định nghĩa
Định nghĩa 1.1.1. Cho không gian tuyến tính thực E. Một chuẩn trên
E là một ánh xạ từ không gian E vào tập số thực R, kí hiệu .(đọc là
chuẩn), thỏa mãn các điều kiện sau:
i,∀x ∈ E, x ≥ 0, x = 0 khi và chỉ khi x = θ (θ là phần tử không
trong không gian E);
ii,∀x ∈ E, ∀α ∈ R, αx = |α|x;
iii,∀x, y ∈ E, x + y ≤ x + y (bất đẳng thức tam giác).
Định nghĩa 1.1.2. Không gian tuyến tính thực E cùng với một chuẩn
trên nó gọi là một không gian định chuẩn thực, kí hiệu (E, .) hay E.
Định nghĩa 1.1.3. Cho không gian định chuẩn E. Dãy điểm
{x
n
}
∞
n=1
⊂ E gọi là hội tụ đến x ∈ E nếu lim
n→∞
x
n
− x = 0, hay
∀ε > 0, ∃n
0
∈ N
∗
sao cho ∀n ≥ n
0

, x
n
− x < ε.
Dựa vào các định nghĩa trên ta dễ dàng chứng minh được một số tính
chất sau:
1
2
Mệnh đề 1.1.1. Trong không gian định chuẩn thực E, nếu dãy điểm
{x
n
}
∞
n=1
hội tụ đến x thì dãy chuẩn {x
n
}hội tụ tới x, nói khác đi
x là một hàm liên tục của biến x.
Chứng minh. Theo bất đẳng thức tam giác ta có:
x = x −y + y ≤ x −y+ y, ∀x, y ∈ E,
hay
x −y ≤ x −y.
Đổi vai trò của x, y ta lại có
y −x ≤ x −y.
Do đó ta có
|x −y| ≤ x −y, ∀x, y ∈ E
Suy ra
|x
n
 −x| ≤ x
n

− x (n = 1, 2, . . .)
. Vì vậy, nếu {x
n
} hội tụ tới x thì lim
n→∞
x
n
− x = 0, dẫn đến
|x
n
 −x| → 0 khi n → ∞ hay x
n
 → x khi n → ∞. Mệnh
đề được chứng minh.
Mệnh đề 1.1.2. Trong không gian định chuẩn thực E, nếu dãy điểm
{x
n
}
∞
n=1
hội tụ thì dãy chuẩn {x
n
} bị chặn.
Chứng minh. Giả sử x
n
→ x, n → ∞ trong không gian E, theo mệnh đề
1.1.1 ta có x
n
 → x khi n → ∞ , do đó tồn tại n
0

sao cho ∀n ≥ n
0
,
x
n
 ≤ x + 1
Đặt K là số lớn nhất trong các số x
1
, x
2
, , x
n
, x + 1. Khi đó
∀n, x
n
 ≤ K hay {x
n
} bị chặn.
3
Mệnh đề 1.1.3. Trong không gian định chuẩn thực E, nếu dãy điểm
{x
n
}
∞
n=1
hội tụ tới x, dãy điểm {y
n
}
∞
n=1

hội tụ tới y và trong R dãy số
{α
n
} hội tụ tới α thì:
x
n
+ y
n
→ x + y, n → ∞,
α
n
.x
n
→ αx, n → ∞.
Nói khác đi hai phép toán x + y và αx là liên tục (x, y ∈ E, α ∈ R).
Chứng minh. Do x
n
→ x, n → ∞; y
n
→ y, n → ∞ trong không gian E,
nên ta có
x
n
− x → 0, n → ∞ và y
n
− y → 0, n → ∞. Ta lại có
(x
n
+ y
n

) −(x + y) ≤ x
n
− x + y
n
− y
do đó (x
n
+ y
n
) −(x + y) → 0, n → ∞ hay x
n
+ y
n
→ x + y, n → ∞,
trong không gian E; đồng thời
α
n
.x
n
− α.x = α
n
x
n
− α
n
x + α
n
x −αx
≤ α
n

(x
n
− x) + (α
n
− α) x
≤ |α
n
|. x
n
− x + |α
n
− α|. x.
Vì α
n
→ α, n → ∞ nên |α
n
− α| → 0, n → ∞ và dãy {|α
n
|} bị chặn;
còn x
n
→ x, n → ∞ trong không gian E nên x
n
− x → 0, n → ∞.
Do đó |α
n
|. x
n
− x + |α
n

− α|. x → 0 khi n → ∞
hay α
n
.x
n
− α.x → 0, n → ∞ hay α
n
x
n
→ αx, n → ∞ trong không
gian E.
Định nghĩa 1.1.4. Cho không gian định chuẩn E. Dãy điểm
{x
n
}
∞
n=1
⊂ E gọi là dãy cơ bản trong E nếu lim
n,m→∞
x
n
− x
m
 = 0
hay ∀ε > 0, ∃n
0
∈ N
∗
sao cho ∀n, m ≥ n
0

ta có x
n
− x
m
 < ε.
Định nghĩa 1.1.5. Không gian định chuẩn E gọi là không gian Banach
nếu mọi dãy cơ bản trong E đều hội tụ.
4
1.1.2 Một số không gian định chuẩn thực
1.1.2.1.Không gian R
n
(n ∈ N
∗
)
Dễ kiểm tra R
n
= {x = (x
1
, x
2
, , x
n
) : x
i
∈ R, i = 1, 2, , n} (n ∈ N
∗
)
với hai phép toán thông thường
x + y = (x
1

+ y
1
, x
2
+ y
2
, , x
n
+ y
n
) ,
αx = (αx
1
, αx
2
, , αx
n
) ,
trong đó α ∈ R, x = (x
1
, x
2
, , x
n
) ∈ R
n
, y = (y
1
, y
2

, , y
n
) ∈ R
n
, là một
không gian tuyến tính thực với phần tử không là θ = (0, 0, , 0).
Ta có R
n
là không gian định chuẩn thực với chuẩn của phần tử
x = (x
1
, x
2
, , x
n
) ∈ R
n
xác định bởi
x =




n

i=1
x
2
i
. (1.1)

Thật vậy, ta kiểm tra các điều kiện của chuẩn:
*) ∀x ∈ R
n
thì

n

i=1
x
2
i
hoàn toàn xác định và

n

i=1
x
2
i
≥ 0 nên x ≥ 0.
x = 0 ⇔
n

i=1
x
2
i
= 0 ⇔ x
i
= 0, ∀i = 1, 2, , n ⇔ x = θ. (Kí hiệu phần

tử không của không gian
R
n
)
*) ∀x ∈ R
n
, ∀α ∈ R, αx =

n

i=1
(αx
i
)
2
=

α
2
n

i=1
(x
i
)
2
= |α|x.
5
*) ∀x, y ∈ R
n

, x = (x
1
, x
2
, , x
n
) ∈ R
n
, y = (y
1
, y
2
, , y
n
) ∈ R
n
x + y
2
=
n

i=1
(x
i
+ y
i
)
2
=
n


i=1

x
2
i
+ 2x
i
y
i
+ y
2
i

=
n

i=1
x
2
i
+ 2
n

i=1
x
i
y
i
+

n

i=1
y
2
i
≤
n

i=1
x
2
i
+ 2




n

i=1
x
2
i




n


i=1
y
2
i
+
n

i=1
y
2
i
=






n

i=1
x
2
i
+




n


i=1
y
2
i


2
= (x + y)
2
.
Do đó x + y ≤ x + y
Vậy công thức(1.1)xác định một chuẩn trên R
n
. Không gian định chuẩn
tương ứng kí hiệu là R
n
và gọi là không gian Eukleides.
Sự hội tụ trong không gian R
n
tương đương với sự hội tụ theo tọa
độ.
Thật vậy, giả sử dãy điểm

x
(k)

∞
k=1
với x

(k)
=

x
(k)
1
, x
(k)
2
, . . . , x
(k)
n

∈ R
n
hội tụ tới điểm x = (x
1
, x
2
, . . . , x
n
) ∈ R
n
khi k → ∞ trong không gian
R
n
Theo định nghĩa 1.1.3 ta có
∀ε > 0, ∃k
0
∈ N

∗
: ∀k ≥ k
0
,


x
(k)
− x


=

n

i=1

x
(k)
i
− x
i

2
< ε.
Suy ra



x

(k)
i
− x
i



< ε, ∀k ≥ k
0
, ∀i = 1, 2, . . . , n. (1.2)
Các bất đẳng thức (1.2) chứng tỏ với mỗi i = 1, 2, . . . , n dãy số thực

x
(k)
i

hội tụ tới x
i
khi k → ∞. Sự hội tụ đó gọi là hội tụ theo tọa độ.
Ngược lại, giả sử dãy điểm x
(k)
=

x
(k)
1
, x
(k)
2
, . . . , x

(k)
n

∈ R
n
6
k = 1, 2, hội tụ theo tọa độ tới điểm x = (x
1
, x
2
, . . . , x
n
) ∈ R
n
.
Theo định nghĩa ta có ∀ε > 0, với mỗi i = 1, 2, . . . , n, ∃k
i
∈ N
∗
: ∀k ≥ k
i
,



x
(k)
i
− x
i




<
ε
√
n
.
Đặt k
0
= max {k
1
, k
2
, . . . , k
n
} ta có
∀ε > 0, ∃k
0
∈ N
∗
: ∀k ≥ k
0
,



x
(k)
i

− x
i



<
ε
√
n
, i = 1, 2, . . . , n,
⇒

x
(k)
i
− x
i

2
<
ε
2
n
, i = 1, 2, . . . , n,
⇒
n

i=1

x

(k)
i
− x
i

2
< ε
2
.
Suy ra




n

i=1

x
(k)
i
− x
i

2
< ε, ∀k ≥ k
0
hay




x
(k)
− x



< ε.
Do đó dãy điểm

x
(k)

hội tụ tới x trong R
n
.
Ta cũng có không gian R
n
là không gian Banach với chuẩn (1.1)
Thật vậy, giả sử dãy

x
(m)

∞
m=1
⊂ R
n
với x
(m)

=

x
(m)
1
, x
(m)
2
, . . . , x
(m)
n

là một dãy cơ bản tùy ý trong R
n
. Khi đó theo định nghĩa 1.1.7 ta có:
∀ε > 0, ∃n
0
∈ N
∗
: ∀m, p ≥ n
0
,



x
(m)
− x
(p)




< ε
hay




n

i=1

x
(m)
i
− x
(p)
i

2
< ε
. Suy ra



x
(m)
i
− x
(p)

i



< ε, ∀m, p ≥ n
0
, i = 1, 2, . . . , n. (1.3)
7
Các bất đẳng thức (1.3)chứng tỏ với mỗi i = 1, 2, . . . , n dãy

x
(m)
i

∞
m=1
là dãy số thực cơ bản nên tồn tại giới hạn lim
m→∞
x
(m)
i
= x
i
, i = 1, 2, . . . , n
Đặt x = (x
1
, x
2
, . . . , x
n

) ta được dãy

x
(m)

hội tụ theo tọa độ tới x nên

x
(m)

hội tụ tới x khi m → ∞ trong R
n
. Vậy R
n
là không gian Banach.
1.1.2.2.Không gian C
[a;b]
Dễ kiểm tra C
[a;b]
=

x = x (s) : x (s) là hàm số xác định liên tục trên [a; b]

với hai phép toán thông thường xác định bởi:
(x + y) (s) = x (s) + y (s) , s ∈ [a; b] ,
(αx) (s) = α.x (s) , s ∈ [a; b] ,
trong đó x = x (s) ∈ C
[a;b]
, y = y (s) ∈ C
[a;b]

, α ∈ R là một không gian
tuyến tính thực.
Với mỗi x = x (s) ∈ C
[a;b]
đặt
x = max
a≤s≤b
|x (s)|. (1.4)
Khi đó C
[a;b]
là một không gian định chuẩn thực với chuẩn (1.4).
Thật vậy, ta chứng minh công thức (1.4) thỏa mãn các điều kiện của
chuẩn:
*) Với mọi x ∈ C
[a;b]
thì max
a≤s≤b
|x (s)| là xác định và max
a≤s≤b
|x (s)| ≥ 0 nên
x ≥ 0.
x = 0 ⇔ max
a≤s≤b
|x (s)| = 0 ⇔ x (s) = 0, ∀s ∈ [a; b] ⇔ x = θ với θ là
phần tử không của C
[a;b]
được xác định bởi θ : [a; b] → R
s → θ (s) = 0.
*) Với mọi x ∈ C
[a;b]

, ∀α ∈ R ta có
αx = max
a≤s≤b
|(αx) (s)| = max
a≤s≤b
|αx (s)| = |α| max
a≤s≤b
|x (s)| = |α|x.
8
*) Với mọi x, y ∈ C
[a;b]
ta có
x + y = max
a≤s≤b
|(x + y) (s)|
= max
a≤s≤b
|x (s) + y (s)|
≤ max
a≤s≤b
(|x (s)|+ |y (s)|)
≤ max
a≤s≤b
|x (s)|+ max
a≤s≤b
|y (s)|
= x + y.
Hơn nữa, sự hội tụ trong không gian C
[a;b]
với chuẩn (1.4) tương

đương với sự hội tụ đều của dãy hàm liên tục trên [a; b].
Thật vậy, giả sử dãy hàm {x
n
}
∞
n=1
⊂ C
[a;b]
hội tụ tới hàm x ∈ C
[a;b]
theo
chuẩn (1. 4). Theo định nghĩa 1.1.3 ta có lim
n→∞
x
n
− x = 0
hay
∀ε > 0, ∃n
0
∈ N
∗
: ∀n ≥ n
0
, x
n
− x < ε,
suy ra
max
a≤s≤b
|x

n
(s) −x (s)| ≤ ε.
Do đó ∀ε > 0, ∃n
0
∈ N
∗
: ∀n ≥ n
0
, |x
n
(s) −x (s)| < ε, ∀s ∈ [a; b]
hay x
n
(s) hội tụ đều tới x (s) trên C
[a;b]
.
Ngược lại, giả sử dãy hàm {x
n
(s)} ⊂ C
[a;b]
hội tụ đều tới hàm số
x (s) trên [a; b]. Khi đó x (s) liên tục trên [a; b] nghĩa là x (s) ∈ C
[a;b]
.
Theo định nghĩa sự hội tụ đều của dãy hàm thì ta có
∀ε > 0, ∃n
0
∈ N
∗
: ∀n ≥ n

0
, |x
n
(s) −x (s)| < ε, ∀s ∈ [a; b].
Suy ra max
a≤s≤b
|x
n
(s) −x (s)| < ε hay x
n
− x < ε với x
n
= x
n
(s) và
x = x (s). Do đó dãy {x
n
} hội tụ tới x trong không gian C
[a;b]
.
Mặt khác, ta còn chứng minh được C
[a;b]
là không gian Banach với
chuẩn (1.4).
9
Thật vậy, giả sử {x
n
} là dãy cơ bản tùy ý trong không gian C
[a;b]
. Khi

đó, theo định nghĩa 1.1.7, ta có ∀ε > 0, ∃n
0
∈ N
∗
: ∀n, m ≥ n
0
thì
x
n
− x
m
 <
ε
2
hay max
a≤s≤b
|x
n
(s) −x
m
(s)| <
ε
2
.
Suy ra
|x
n
(s) −x
m
(s)| <

ε
2
, ∀m, n ≥ n
0
, ∀s ∈ [a; b] (1.5)
Các bất đẳng thức (1.5) chứng tỏ rằng với mỗi s ∈ [a; b] cố định, dãy
{x
n
(s)}
∞
n=1
là dãy số thực cơ bản nên hội tụ, tức là tồn tại giới hạn
lim
n→∞
x
n
(s) = x (s) , s ∈ [a; b]. Vì |x
n
(s) −x
m
(s)| <
ε
2
, ∀m, n ≥ n
0
,
∀s ∈ [a; b] nên khi cho m → ∞ ta có |x
n
(s) −x (s)| ≤
ε

2
< ε, ∀n ≥ n
0
,
∀s ∈ [a; b]. Do đó dãy hàm {x
n
(s)} hội tụ đều tới hàm số x (s) trên
đoạn [a; b] nên dãy hàm {x
n
} hội tụ tới x trong không gian C
[a;b]
.Vì vậy,
không gian C
[a;b]
là không gian Banach.
1.1.2.3.Không gian L
[a;b]
Xét L
[a;b]
là tập các hàm số xác định, đo được Lơbe và khả tích Lơbe
trên [a; b]. Khi đó L
[a;b]
cùng với 2 phép toán thông thường:
(x + y) (s) = x (s) + y (s) , s ∈ [a; b] ,
(αx) (s) = α.x (s) , s ∈ [a; b] .
trong đó x = x (s) ∈ L
[a;b]
, y = y (s) ∈ L
[a;b]
, α ∈ R là một không gian

tuyến tính thực.
Nếu ta đồng nhất 2 hàm x, y ∈ L
[a;b]
khi x = y hầu khắp nơi thì ta
thu được 1 không gian vectơ mà ta vẫn kí hiệu là L
[a;b]
.
Với mỗi x = x (s) ∈ L
[a;b]
đặt
x =
b

a
|x (s)|ds. (1.6)
Khi đó L
[a;b]
là một không gian định chuẩn thực với chuẩn (1.6)
Thật vậy,
10
với mọi x ∈ L
[a;b]
thì x =
b

a
|x (s)|ds ≥ 0
x = 0 ⇔
b


a
|x (s)|ds = 0, ∀s ∈ [a; b]
⇔ x = θ h.k.n trên [a; b] .
với θ là phần tử không của L
[a;b]
được xác định bởi
θ : L
[a;b]
→ R
s → θ (s) = 0 h.k.n trên [a; b] .
Với mọi x ∈ L
[a;b]
, ∀α ∈ R ta có
αx =
b

a
|(αx) (s)|ds =
b

a
|αx (s)|ds = |α|
b

a
|x (s)|ds = |α|x.
Với mọi x, y ∈ L
[a;b]
ta có
x + y =

b

a
|(x + y) (s)|ds
=
b

a
|x (s) + y (s)|ds
≤
b

a
(|x (s)|+ |y (s)|) ds
=
b

a
(|x (s)|) ds +
b

a
(|y (s)|) ds
= x + y.
L
[a;b]
là không gian Banach.
Lấy một dãy cơ bản tùy ý x
n
(s) trong không gian L

[a;b]
. Theo định
nghĩa,
∀ε > 0, ∃n
0
∈ N
∗
, ∀n, m ≥ n
0
: x
n
− x
m
 < ε (1.7)
11
Do đó
Với ε =
1
2
, ∃n
1
∈ N
∗
, ∀n, m ≥ n
1
: x
n
− x
m
 ≤

1
2
⇒ x
n
− x
n
1
 ≤
1
2
(∀n ≥ n
1
) .
Với ε =
1
2
2
, ∃n
2
∈ N
∗
, n
2
> n
1
, ∀n ≥ n
2
: x
n
− x

n
2
 ≤
1
2
2
⇒ x
n
2
− x
n
1
 ≤
1
2
.

Quá trình này tiếp tục mãi mãi ta nhận được dãy con {x
n
k
} của dãy
{x
n
} sao cho
x
n
k+1
− x
n
k

 ≤
1
2
k
, (k = 1, 2, ) .
Đặt y
p
(s) = |x
n
1
(s)| +
p

k=1
|x
n
k+1
(s) − x
n
k
(s) |, s = 1, 2, thì
y
p
(s) ∈ L
[a;b]
và y
p
(s) ≥ 0 (s ∈ [a; b] , p = 1, 2, ).Ta nhận được dãy hàm
{y
p

(s)} ∈ L
[a;b]
không giảm, do đó tồn tại lim
p→∞
y
p
(s) với mỗi s ∈ [a; b] .
Áp dụng bổ đề Fatou ta được
b

a
lim
p→∞
y
p
(s) ds =
b

a
lim
p→∞
y
p
(s) ds ≤ lim
p→∞
b

a
y
p

(s) ds = lim
p→∞
y
p
,
nhưng
y
p
(s)  ≤ x
n
1
 +
p

k=1
x
n
k+1
− x
n
k
 < x
n
1
 +
p

k=1
1
2

k
< x
n
1
 + 1,
nên
lim
p→∞
y
p
 < +∞.
Do đó
0 ≤
b

a
lim
p→∞
y
p
(s) ds < +∞. (1.8)
12
Suy ra lim
p→∞
y
p
(s) hữu hạn h. k. n trên [a; b], nghĩa là lim
p→∞
y
p

(s) tồn tại
và hữu hạn h. k. n trên [a; b]. Vì vậy, chuỗi
x
n
1
(s) +
p

k=1

x
n
k+1
(s) −x
n
k
(s)

hội tụ tuyệt đối h. k. n trên [a; b]. Nên dãy hàm
x
n
p+1
(s) = x
n
1
(s) +
p

k=1


x
n
k+1
(s) −x
n
k
(s)

, p = 1, 2,
hội tụ h. k. n trên [a; b] tới hàm số y (s) nào đấy khi p → ∞. Nhờ hệ
thức (1.8) và hệ thức


x
n
p+1
(s)


≤ lim
p→∞
y
p
(s) ∈ L [a; b] , p = 1, 2,
ta được
b

a
|y (s)|ds = lim
p→∞

b

a


x
n
p+1
(s)


ds ≤
b

a
lim
p→∞
|y
p
(s)|ds < +∞.
Suy ra y (s) ∈ L
[a;b]
. Lại áp dụng bổ đề Fatou, ta được:
y − x
n
k
 =
b

a

lim
p→∞



x
n
p+1
(s) −x
n
k
(s)



ds
≤ lim
p→∞
b

a



x
n
p+1
(s) −x
n
k

(s)



ds
= lim
p→∞

p

j=k

x
n
j+1
(s) −x
n
j
(s)


≤ lim
p→∞


p

j=k
x
n

j+1
(s) −x
n
j
(s)



≤ lim
p→∞


p

j=k
1
2
j


=
1
2
k−1
, (k = 1, 2, ) .
13
Do đó lim
k→∞
y − x
n

k
 = 0, nghĩa là ∃k
0
∈ N
∗
, ∀k ≥ k
0
y − x
n
k
 < ε (1.9)
Đặt K = max {n
0
, n
k
0
}, thì ∀n ≥ K, kết hợp các hệ thức (1.7) và (1.9)
ta được:
∀n, n
k
≥ K
y − x
n
 ≤ y − x
n
k
 + x
n
k
− x

n
 < 2ε.
Vậy dãy {x
n
(s)} hội tụ tới y (s) trong không gian L
[a;b]
. Do đó không
gian L
[a;b]
là không gian Banach.
1.2 Không gian Banach thực nửa sắp thứ tự
1.2.1 Nón trong không gian định chuẩn thực
Định nghĩa 1.2.1. Cho không gian định chuẩn thực E, tập K ⊂ E, K
khác tập rỗng, được gọi là một nón trong E nếu K thỏa mãn các điều
kiện sau:
a, K là một tập đóng trong không gian E;
b, ∀x, y ∈ K ta có x + y ∈ K;
c, ∀x ∈ K, ∀t ∈ R, t ≥ 0 ta có tx ∈ K;
d, ∀x ∈ K, x = θ ta có −x /∈ K.
Nhận xét 1.2.1. Nếu K là một nón trong không gian định chuẩn thực
E thì θ ∈ K và K là tập lồi.
Thật vậy
*) ∀x ∈ K, ∀t ∈ R, t ≥ 0 ta có tx ∈ K, do đó với t = 0 ta có
tx = 0.x = θ ∈ K.
*) ∀x, y ∈ K, ∀t ∈ [0; 1] ta có tx ∈ K, (1 − t) y ∈ K
nên tx + (1 −t) y ∈ K.
14
1.2.2 Quan hệ thứ tự trong không gian E
Giả sử E là một không gian định chuẩn thực, K là một nón trong
không gian E. ta xây dựng một quan hệ


≤

trong E như sau:
∀x, y ∈ E, x ≤ y nếu y − x ∈ K
Khi đó quan hệ

≤

là một quan hệ thứ tự trong E và ta gọi là quan
hệ thứ tự theo nón K. Thật vậy,
*) ∀x ∈ E, x − x = θ ∈ K nên x ≤ x
*) ∀x, y ∈ E, x ≤ y và y ≤ x thì y −x ∈ K và x −y ∈ K.
Do y −x = −(x − y) nên nếu x −y = θ thì mâu thuẫn với điều kiện d)
của định nghĩa 1.2.1. Do đó x − y = θ ⇔ x = y
*) ∀x, y, z ∈ E, x ≤ y và y ≤ z thì y −x ∈ K và z −y ∈ K.
Do z − x = (z − y) + (y − x) ∈ K nên x ≤ z. Không gian định chuẩn
thực E cùng với quan hệ sắp thứ tự

≤

gọi là không gian nửa sắp thứ
tự theo nón K
Định nghĩa 1.2.2. Trong không gian định chuẩn thực E, một nón K
được gọi là nón chuẩn nếu tồn tại một số dương N sao cho
∀x, y ∈ K, x ≤ y ta có x ≤ N y.
Định nghĩa 1.2.3. Cho K là một nón trong không gian định chuẩn
thực E. Với x, y ∈ K ta nói x thông ước với y nếu tồn tại số α, β > 0
sao cho αy ≤ x ≤ βy.
Nhận xét 1.2.2. Cho x, y ∈ K, nếu x thông ước với y thì y thông ước

với x.
Thật vậy, vì x thông ước với y nên tồn tại số α, β > 0 sao cho
αy ≤ x ≤ βy do đó
1
β
x ≤ y ≤
1
α
x hay y thông ước với x.
Nhận xét 1.2.3. Nếu hai phần tử thuộc K\{θ} cùng thông ước với
phần tử thứ ba thuộc K\{θ} thì thông ước với nhau.
15
Thật vậy, giả sử hai phần tử x, y ∈ K\{θ} cùng thông ước với
phần tử z ∈ K\{θ}. Khi đó, tồn tại các số dương α, β sao cho
αz ≤ x ≤ βz
αz ≤ y ≤ βz
Ta có
x ≥ αz =
α
β
βz ≥
α
β
y,
x ≤ βz =
β
α
αz ≤
β
α

y.
Vì vậy tồn tại các số dương α
1
=
α
β
, β
1
=
β
α
sao cho α
1
y ≤ x ≤ β
1
y hay
x thông ước với y
Cho K là một nón trong không gian định chuẩn thực E. Kí hiệu
K
∗
= K\{θ}. Mỗi x ∈ K
∗
gọi là một phần tử dương, ta cũng viết
x < y nếu y − x ∈ K
∗
. Giả sử u
0
∈ K
∗
, tập hợp tất cả các phần tử

x ∈ K
∗
thông ước với u
0
được kí hiệu là K (u
0
).
Định lí 1.2.4. Cho E là không gian định chuẩn thực, A ⊂ E là một
tập lồi, đóng, bị chặn, khác rỗng và không chứa phần tử không. Đặt
K (A) = {x ∈ E : x = ty, t ≥ 0, y ∈ A}. Khi đó K (A) là một nón trong
không gian E.
Chứng minh. Dễ thấy tập A ⊂ K (A), mà A = ∅, nên K (A) = ∅. Với
∀y ∈ A tồn tại m, M là các số thực dương sao cho
m ≤ y ≤ M. (1.10)
Thật vậy, do tập A bị chặn nên tồn tại M > 0 : y ≤ M, ∀y ∈ A.
Đặt m = inf
y∈A
y. Giả sử m = 0 thì tồn tại dãy {y
n
}
∞
n=1
⊂ A sao cho
lim
n→∞
y
n
 = 0 hay lim
n→∞
y

n
= θ trong không gian E. Do A là tập đóng
nên θ ∈ A. Điều này trái với giả thiết A không chứa phần tử không. Vậy
16
m > 0 và y ≥ inf
y∈A
y = m > 0, ∀y ∈ A.
*) Ta chứng minh K (A) là tập đóng.
Lấy dãy bất kì {u
n
}
∞
n=1
⊂ K (A) sao cho lim
n→∞
u
n
= u trong không gian
E
Nếu u = θ thì u = 0.y, y ∈ A ⇒ u ∈ K (A)
Nếu u = θ thì với ε =
1
2
u > 0, ∃n
0
∈ N
∗
: ∀n ≥ n
0
ta có

u
n
− u < ε =
1
2
u.
Khi đó, |u
n
 −u| ≤ u
n
− u <
1
2
u
⇒
1
2
u < u
n
 <
3
2
u, ∀n ≥ n
0
. (1.11)
Mặt khác, vì u
n
∈ K (A) nên u
n
= t

n
y
n
, t
n
≥ 0, y
n
∈ A, n ∈ N
∗
.
Theo (1.11) ta có
1
2
u < t
n
y
n
 = t
n
y
n
 <
3
2
u
⇒ y
n
 ≥ 0, (n ∈ N
∗
) và

1
2 y
n

u < t
n
<
3
2 y
n

u
. Từ (1.10) ta có
m ≤ y
n
 ≤ M, ∀y
n
∈ A
⇒
1
2M
u < t
n
<
3
2m
u, ∀n ≥ n
0
.
nghĩa là dãy {t

n
} bị chặn.
Vì vậy, tồn tại dãy con {t
n
i
} ⊂ {t
n
} sao cho lim
i→∞
t
n
i
= t
0
.
Suy ra
1
2M
u ≤ t
0
≤
3
2m
u nên t
0
> 0.
17
Xét dãy con {y
n
i

} ta có:




y
n
i
−
1
t
0
u




=




y
n
i
−
t
n
i
t

0
y
n
i
+
t
n
i
t
0
y
n
i
−
1
t
0
u




≤
1
t
0
|t
n
i
− t

0
|y
n
i
 +
1
t
0
t
n
i
y
n
i
− u
≤
M
t
0
|t
n
i
− t
0
| +
1
t
0
t
n

i
y
n
i
− u → 0 khi i → ∞
Suy ra lim
i→∞




y
n
i
−
1
t
0
u




= 0
Nhưng {y
n
i
} ⊂ A, và tập A đóng nên
1
t

0
u ∈ A
hay
u = t
0

1
t
0
u

∈ K (A) .
Do vậy K (A) là tập đóng.
*) ∀x, y ∈ K (A) ta có
x = t
1
z
1
, t
1
≥ 0, z
1
∈ A,
y = t
2
z
2
, t
2
≥ 0, z

2
∈ A.
Suy ra x + y = t
1
z
1
+ t
2
z
2
.
Nếu ít nhất một trong hai số t
1
, t
2
bằng không thì hiển nhiên
x + y ∈ K (A)
Nếu t
1
và t
2
> 0 thì ta có t
1
+t
2
> 0 và x+y = (t
1
+ t
2
)


t
1
t
1
+ t
2
z
1
+
t
2
t
1
+ t
2
z
2

.
Vì tập A lồi nên
t
1
t
1
+ t
2
z
1
+

t
2
t
1
+ t
2
z
2
∈ A, mà t
1
+ t
2
> 0 suy ra
x + y ∈ K (A).
*) ∀x ∈ K (A) , ∀α ∈ R, α ≥ 0 ta có x = ty, t ≥ 0, y ∈ A nên
αx = αty ∈ K (A) do αt ≥ 0, y ∈ A.
*) Giả sử u
0
∈ K (A) , u
0
= θ mà −u
0
∈ K (A). Khi đó
u
0
= t
1
y
1
, t

1
> 0, y
1
∈ A
−u
0
= t
2
y
2
, t
2
> 0, y
2
∈ A
18
Ta có
θ = u
0
+ (−u
0
) = t
1
y
1
+ t
2
y
2
= (t

1
+ t
2
)

t
1
t
1
+ t
2
y
1
+
t
2
t
1
+ t
2
y
2

∈ K (A)
Vì t
1
> 0 và t
2
> 0 nên
t

1
t
1
+ t
2
y
1
+
t
2
t
1
+ t
2
y
2
= θ ∈ A. Điều này trái với
giả thiết θ không thuộc A.
Vậy K (A) thỏa mãn các điều kiện về nón nên, K (A) là một nón trong
không gian E.
Định lí 1.2.5. Nếu K là một nón chuẩn trong không gian định chuẩn
thực E, u
0
∈ K
∗
thì K
u
0
= K (u
0

) ∪{θ} là một nón trong không gian E.
Chứng minh. Ta có K
u
0
= ∅ vì θ ∈ K
u
0
. Ta sẽ chứng minh K
u
0
thỏa mãn
bốn điều kiện về nón.
*) K
u
0
là tập đóng. Thật vậy, giả sử {x
n
} ⊂ K
u
0
, x
n
→ x ∈ E khi n → ∞
trong không gian E.
Nếu x = θ thì K
u
0
là tập đóng vì θ ∈ K
u
0

.
Nếu x = θthì với số dương tùy ý ε ≤ x tồn tại số n
0
∈ N
∗
sao cho với
mọi n ≥ n
0
ta có:
|x
n
 −x| ≤ x
n
− x < ε
⇒ x −ε < x
n
 < ε + x
. Vì x
n
∈ K (u
0
) nên tồn tại các số dương a
n
, b
n
sao cho
a
n
u
0

≤ x
n
≤ b
n
u
0
, n = 1, 2, . . . (1.12)
Mặt khác, K là nón chuẩn nên ∀x
n
∈ K (n ∈ N
∗
) , u
0
∈ K
∗
tồn tại N
sao cho





u
0
 ≤
N
a
n
x
n

|
x
n
 ≤ Nb
n
u
0
|
⇒







a
n
≤ N
x
n

u
0

b
n
≥
x
n


N u
0
