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

Không gian compact địa phương X {\displaystyle X} là một không gian tôpô mà mọi phần tử x {\displaystyle x} của X {\displaystyle X} có một lân cận V x {\displaystyle V_{x}} của x {\displaystyle x} chứa trong một tập compact A ⊂ X {\displaystyle A\subset X} . Mỗi không gian Hausdroff compact cũng là không gian compact địa phương. Ví dụ Khoảng đóng [ 0 , 1 ] {\displaystyle [0,1]} . Các đa tạp tôpô đóng. Tập Cantor. Không gian ∏ i ∈ Z + [ 0 , 1 ] {\displaystyle \displaystyle {\prod _{i\in \mathbb {Z} ^{+}}[0,1]}} (Khối lập phương Hilbert). Các không gian Euclid R n {\displaystyle \mathbb {R} ^{n}} 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 Q p {\displaystyle \mathbb {Q} _{p}} 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. Q {\displaystyle \mathbb {Q} } là không compact địa phương, vì ( a , b ) ∩ Q {\displaystyle (a,b)\cap \mathbb {Q} } trong Q {\displaystyle \mathbb {Q} } không compact theo dãy, dẫn đến mọi tập con compact của Q {\displaystyle \mathbb {Q} } là không đâu trù mật. Không gian Hausdroff compact địa phương là chính tắc. Không gian Hausdroff X {\displaystyle X} là compact địa phương khi và chỉ khi với mỗi phần tử của X {\displaystyle X} thì tồn tại không gian con compact C {\displaystyle C} trong X {\displaystyle X} sao cho nó thuộc phần trong của C {\displaystyle C} . Cho toàn ánh f : X → Y {\displaystyle f:X\rightarrow Y} liên tục và mở. Nếu X {\displaystyle X} compact địa phương và Y {\displaystyle Y} Hausdroff thì Y {\displaystyle Y} 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. Kelley, John (1975). General Topology. Springer. ISBN 0-387-90125-6. Munkres, James (1999). Topology (ấn bản 2). Prentice Hall. ISBN 0-13-181629-2. Steen, Lynn Arthur; Seebach, J. Arthur Jr. (1995) [1978]. Counterexamples in Topology . Berlin, New York: Springer-Verlag. ISBN 978-0-486-68735-3. MR 0507446. Willard, Stephen (1970). General Topology. Addison-Wesley. ISBN 0-486-43479-6 (Dover edition) Kiểm tra giá trị |isbn=: ký tự không hợp lệ (trợ giúp).