Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » sci.math.* » sci.math

Topic: Precompactness
Replies: 9   Last Post: Dec 13, 2012 4:19 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Kaba

Posts: 289
Registered: 5/23/11
Re: Precompactness
Posted: Dec 12, 2012 12:31 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

12.12.2012 5:24, William Elliot wrote:
> On Tue, 11 Dec 2012, Kaba wrote:
>

>> Let X be a locally compact Hausdorff space. Is every open set of X
>> precompact (compact closure)?

>
> Yes. How would you prove it?


:)

Related, let X be a Hausdorff space. Royden (Real analysis) defines E
subset X to be _bounded_ if it is contained in a compact set. It seems
to me that precompact and bounded are equivalent properties.

Assume E is precompact. Then cl(E) is a compact set which contains E.
Therefore E is bounded. Assume E is bounded. Then there is a compact set
K such that E subset K. Since X is Hausdorff, K is closed. Therefore
cl(E) subset K. Since cl(E) is a closed subset of a compact set K, cl(E)
is compact. Therefore E is precompact.

Unless I am missing something?

--
http://kaba.hilvi.org



Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.