Talk:Totally bounded space

Latest comment: 15 years ago by Pz0 in topic Precompact

Precompact

edit

At http://planetmath.org/encyclopedia/PrecompactSet.html they define "precompact" as a synonym for "relatively compact". This is of course differnt in the non-metric version. Maybe precompact should be a disambiguation not a redirect? A Geek Tragedy 11:04, 19 June 2006 (UTC)Reply


"In a locally convex space endowed with the weak topology the precompact sets are exactly the bounded sets." As a result of Goldstine's Theorem, the closed unit ball in a banach space is weakly compact if and only if the space is reflexive. Therefore, here, precompact doesn't mean relatively compact. Bounded sets and totally bounded sets in a locally convex space should also be defined. Pz0 (talk) 20:01, 22 June 2009 (UTC)Reply

e-net

edit

imho the definition of totally bounded in terms of an ε-net is more common, and also easier to read than the definition presented here. I don't have any web sources to back this up tho.

definition e-net

edit

Let   be a metric space and let  . A set   is an  -net for   if for every   there is a   such that  .

A set   is totally bounded if for every   there exists a finite  -net of  .

See "Introductory Real Analysis" by A. N. Kolmogorov and S. V. Fomin.

149.171.6.248 (talk) 00:55, 23 May 2008 (UTC)Reply

Ridiculous statement

edit

The article contains this sentence:

"A metric space   is totally bounded if and only if for every real number  , there exists a finite collection of open balls of radius   whose centers lie in M and whose union contains M."

But there has been no mention of any space other than M, so it makes no sense to say "whose centers lie in M".

Where else could they be?