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 43:
* [[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>C>0</math> sao cho <math>\forall f\in K</math> thì
:<math>\left|f\left(x\right)-f\left(y\right)\right|\le C\left|x-y\right|,\quad\forall x,y\in\left[0,1\right]</math>.
Ta có <math>K</math> là không gian metric với metric định bởi
| |||