202303021303

Type :Note Tags : Topology


Local Compactness

Note

A space is called locally compact at if there is a compact subspace of such that it contains an open nbhd of .

Proposition

Note

Let be a Hausdorff space. Then is locally compact iff for every and every such that , there is a neighbourhood of such that and is compact.

Proof:

If is locally compact, then take and a nbhd of . Since is locally compact, we have a compact subset of (it is also closed since is hausdorff) which contains an open nbhd of . Now take and , note that is a closed subset of and hence is compact, and doesn’t contain . Therefore, there is a pair of disjoint open sets s.t. . This gives and we are done since and hence is compact.

The other direction is trivial.

Proposition

Note

Let be locally compact Hausdorff. If is an open or closed subset of , then is locally compact.

Proof:
  1. If is closed: Since is locally compact, there is a compact set and a nbhd of such that . Intersected everything with A.
  2. If A is open: Use the proposition above.

Related Problems

  1. is not locally compact.
  2. Any compact space is locally compact.
  3. is locally compact.
  4. is not locally compact in the product topology.
  5. One Point Compactification

References

Compactness Hausdorff Property