[R.D. Silverman]

Originally Posted by ewmayer

I suspect your "finitely many such neighborhoods" constitute a POU.

'POU'??? Acronym?

Compact sets have finite covers by open sets.