Thanks for reading my post. Here is my question. I want to know if every surface is hemicompact, i.e., there is a compact exhaustion. I think that question could be asked for every manifold. I know that every locally compact and sigma compact space is hemicompact. Any manifold is locally compact, and second countable, so I wonder if these imply that the countable basis could be choosen in such way that every open subset in the basis is precompact, and therefore sigma compact. Thanks in advance for your answer.