4
$\begingroup$
  1. I was wondering if there is a concept of boundedness for subsets of a topological space?
  2. If yes to 1, is it this one from Wiki

    Elements of a Bornology B on a set X are called bounded sets and the pair (X, B) is called a bornological set.

    For any topological space X, the set of subsets of X with compact closure is a Bornology.

  3. If yes to 2, does it coincide with boundedness in a metric space and in a topological vector space? How is it related to total boundedness in a uniform space?

Thanks and regards!

  • 0
    If you have found the answer helpful and correct, please accept it else let people know what more do you want from the answer. :-) – 2012-08-04

3 Answers 3

9

In general, there is no notion of boundedness on a topological space.

Exercise: given a metric space $(X,d)$, show that $D(x,y):=\mbox{min}(1,d(x,y))$ defines a second metric on $X$ which is equivalent to the first one; that is, a subset $U$ of $X$ is open with respect to the first metric if and only if it is open with respect to the second one.

Note that with the second metric, every set is bounded, but the topologies are the same. What this shows is that, in metric spaces, where the notion of boundedness is well-defined, one can show that it is in fact independent of the topology. Boundedness is a property which arises from the metric.

The concept of bornology (although I am not familiar with it) allows you to study boundedness by adding extra structure to your topological space, and what you get is a bornological space.

  • 0
    @MTurgeon OK, I will keep in mind that the "kind of extension" phrase is incorrect. Still whenever boundedness has sense, sets with compact closure are bounded. – 2015-07-01
3

To see the relation between boundedness, total boundedness, and kinds of topological spaces, I suggest you consider characterizations of compactness.

An example that helps me here is the one-point compactification of the real line. If we take away the metric, the point at infinity is just like all the other points. So there's no boundedness or unboundedness.

2

The bornology defined in the Wiki article you referenced is normally called a hereditary ideal in set theory, although a hereditary ideal is not required to cover the space. However, as ideals are used to define notions of "smallness", and usually points are "small", all of the widely studied ones I'm aware of do cover the space. Examples are the Lebesgue measure zero subsets of the line, and the meager sets in a topological space.

An example of a hereditary ideal that doesn't cover the space is the set of $\mu$ measure zero sets where $\mu$ gives at least one point positive measure.

I've never heard of a hereditary ideal being used to define a notion of boundedness.

  • 0
    Why *hereditary*? From a set-theoretic point of view it’s just an ideal in $\langle\wp(X),\subseteq\rangle$ that covers $X$. – 2012-02-27