Talk:Compact Hausdorff Space is Locally Compact

I don't mean to rain on your parade, but surely Compact Space is Locally Compact whether Hausdorff or not? --prime mover (talk) 21:53, 21 April 2015 (UTC)

Heh, yes, according to the Alternative Definition at Definition:Locally Compact Space. Not so if we use the 'ordinary' definition, right? (the one stated just above the alternative one). What I meant exactly is that every point in a compact Hausdorff space has a neighborhood basis all of whose elements are compact in the space... perhaps we need to work out how to split those definitions? -- Ángel

Oh yes of course, have to think about that. --prime mover (talk) 04:56, 22 April 2015 (UTC)

This theorem is now part of Equivalence of Definitions of Locally Compact Hausdorff Space. As it has no proof, I flagged it for deletion. --barto (talk) 10:35, 8 September 2017 (EDT)

Woops, not quite. Ignore my comment. --barto (talk) 13:26, 8 September 2017 (EDT)