Compactly detected closed-set theorem in a locally compact Hausdorff space

ID: compactly-detected-closed-set-theorem-in-a-locally-compact-hausdorff-space

If is locally compact Hausdorff and is closed in every compact subset , then is closed. Around each point outside , use a compact neighbourhood and the relative openness of its complement of .

New to topics? Read the docs here!