Khác biệt giữa bản sửa đổi của “Compact”
Nội dung được xóa Nội dung được thêm vào
Dòng 42:
* [[Tập Cantor]] là compact dưới topo Euclide.
Cho <math>K</math> là tập hợp các hàm số <math>f:\,\left[0,1\right]\rightarrow\left[0,1\right]</math> thỏa [[liên tục Lipschitz|điều kiện Lipschitz]]: tồn tại <math>
:<math>\left|f\left(x\right)-f\left(y\right)\right|\le
Ta có <math>K</math> là không gian metric với metric định bởi
:<math>d\left(f,d\right)=\sup_{x,y\in\left[0,1\right]}\left|f\left(x\right)-f\left(y\right)\right|</math>
| |||