
Không gian Metric
Định nghĩa: Không gian Metric
Cho Xlà tập hợp khác trống. Xét d:X×X→Rthỏa cả 3 tính chất
(M1)d(x,y)≥0∀x,y ∈X,
d(x,y) = 0 ⇔x=y,
(M2)d(x,y) = d(y,x),
(M3)d(x,y)≤d(x,z) + d(y,z)∀x,y,z ∈X(Bất đẳng thức tam giác).
Nếu dlà một metric trên X, thì (X,d)được gọi là không gian metric.
d(x,y)là hàm khoảng cách giữa hai điểm xvà ytrong không gian metric (X,d).
Ví Dụ 1.1
Cho X=R. Kiểm tra (R,d)có là không gian metric?
a) d(x,y) = |x−y|, b) d(x,y) = (x−y)2,
c) d(x,y) = |ex−ey|, d) d(x,y) = px2+y2.
Ông Thanh Hải (HCMUS) Ngày 8 tháng 12 năm 2022 4 / 107

Không gian Metric
Giải.
a) ∀x,y,z ∈R, ta có
(M1)d(x,y) = |x−y|≥ 0,
d(x,y) = 0 ⇔ |x−y|= 0 ⇔x−y= 0 ⇔x=y,
(M2)d(x,y) = |x−y|=|y−x|=d(y,x),
(M3)|x−y|=|x−z+z−y|≤ |x−z|+|z−y|
⇒d(x,y)≤d(x,z) + d(z,y).
b) Xét tính chất (M3):
d(x,y) = d(1,3) = 4.
mà
d(x,z) + d(z,y) = d(1,2) + d(2,3) = 1 + 1 = 2.
Do đó d(x,y)> d(x,z) + d(z,y)nên (R,d)không là không gian metric.
Ông Thanh Hải (HCMUS) Ngày 8 tháng 12 năm 2022 5 / 107




