Không gian compact địa phương

Không gian compact địa phương  là một không gian tôpô mà mọi phần tử  của  có một lân cận  của  chứa trong một tập compact .

Ví dụ

Không gian Hausdroff compact
Mỗi không gian Hausdroff compact cũng là không gian compact địa phương.

Ví dụ
 Khoảng đóng .
 Các đa tạp tôpô đóng.
Tập Cantor.
 Không gian  (Khối lập phương Hilbert).

Không gian Hausdroff compact địa phương nhưng không compact
 Các không gian Euclid  là compact địa phương như là một hệ quả của định lý Heine-Borel.
 Không gian tôpô rời rạc là không gian compact địa phương và Hausdroff. Nếu lực lượng của nó là vô hạn thì nó là một không gian không compact.
 Tất cả các tập con mở hoặc đóng của một không gian Hausdorff compact địa phương thì compact địa phương trong không gian tôpô con. Điều này đưa đến một số ví dụ về tập con compact địa phương của không gian Euclid, chẳng hạn như các đĩa đơn vị mở.
 Tập hợp các số hữu tỉ không phải là compact địa phương vì nó Hausdorff nhưng mở rộng Alexandroff của nó thì không phải là Hausdroff.
 Không gian  của các số p-adic là compact địa phương bởi vì nó đồng phôi với tập Cantor trừ một điểm. Vì vậy không gian compact địa phương được sử dụng trong giải tích p-adic giải tích cổ điển.

Phản ví dụ
  là không compact địa phương, vì  trong  không compact theo dãy, dẫn đến mọi tập con compact của  là không đâu trù mật.

Tính chất liên quan
Không gian Hausdroff compact địa phương là chính tắc.
Không gian Hausdroff  là compact địa phương khi và chỉ khi với mỗi phần tử của  thì tồn tại không gian con compact  trong  sao cho nó thuộc phần trong của .
Cho toàn ánh  liên tục và mở. Nếu  compact địa phương và  Hausdroff thì  compact địa phương.
Nếu không gian tích là Hausdroff compact địa phương thì các không gian thành phần cũng Hausdroff compact địa phương.

Tham khảo

Các thuộc tính của không gian tô pô