Talk:PlanetPhysics/Locally Compact Hausdorff Spaces