Số Lebesgue
Trong tô pô, bổ đề số Lebesgue là công cụ hữu dụng trong không gian mêtric compact. Bổ đề nói rằng:

"Cho formula_1 là phủ mở của không gian mêtric formula_2. Nếu formula_3 là compact, thì có formula_4 sao cho với mỗi quả cầu bán kính formula_5 thì chứa trong một thành phần của formula_1."

Với mỗi formula_7 có một tập mở formula_8 chứa formula_9. Có một số formula_10 sao cho quả cầu formula_11 chứa trong formula_12. Họ 
là phủ mở của formula_3, nên có phủ con hữu hạn 
Đặt 

Giả sử rằng formula_17. Khi đó có formula_18, sao cho formula_19. Ta có
Điều này dẫn đến formula_21 nằm trong thành phần formula_22 của formula_1, và formula_24 chứa trong formula_22.
