Khác biệt giữa bản sửa đổi của “Compact”

:<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

là không gian compact. Điều này được suy ra từ [[định lý Arzela-Ascoli]].