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
    +1 Thanks! Is the case for topological vector spaces similar to that for metric spaces?2012-02-26
  • 5
    I'm not sure what your question is, but I'll add this. To define boundedness on topological vector spaces, you're using the extra structure: either the semi-norms used to define the topology, or in general the scalar product. The point I was making is that a *bornology* is a way to abstract the notion of boundedness which is available in some contexts (metric spaces, top. vector spaces). But you can't study boundedness without adding extra structure.2012-02-26
  • 1
    @MTurgeon : *with the second metric, every set is bounded* Could you explain why? For example, let $X=\mathbb R$, $U = \mathbb R$. Then $U$ isn't bounded, since it isn't included in any $(-r,r)$ open ball. Didnt you mean $D(x,y):=\mathrm{min}(1,d(x,y))$? Or, have I misunderstoot something?2015-06-28
  • 0
    @mma You're absolutely right, I can't believe this typo has been there all this time...2015-06-28
  • 1
    Your example illuminates, that usual notion of boundedness depends on metric, so it isn't determined by the topology alone. However, there is an evident difference between the $(0,1)$ interval and $\mathbb R$: the closure of $(0,1)$ is compact, while the closure of $\mathbb R$ isn't, so we feel $(0,1)$ to be bounded, while $\mathbb R$ not. Istn't it true, that subsets with compact closure are the same as the subsets that are bounded in *any* metric compatible with the topology?2015-06-29
  • 1
    @mma In a discrete metric space, all sets are closed and bounded, and a set is compact if and only if it is finite. Therefore, all infinite sets are bounded with non-compact closure.2015-06-29
  • 0
    @MTurgeon This is interesing. I've never heard of discrete metric spaces before. So, okay, a bounded and closed set isn't necessarily compact. But I hope, that at least the reverse direction still works: every compact set is bounded. It is trivial if every element of the finite open cover consist of $N$ pieces of open balls with radius $r_n$, because in this case for every $x,y$ points of our set $d(x,y)<2N\max\{r_n\}$ But can an open cover always consist exclusively by open balls?2015-06-30
  • 0
    @mma yes, open balls form a basis for the topology generated by the metric. But all your comments are aimed at metric spaces... there are no open balls in a general topological space... and no notion of boundedness2015-06-30
  • 0
    @MTurgeon: Yes, of course, but I think, that this fact supports that we can regard compacntess as a kind of extension of boundedness from metric spaces to general topological spaces.2015-06-30
  • 0
    @mam I don't agree. We may disagree on the definition, but I would say Concept B is an *extension* of Concept A if there exists a universe where they are both defined and equivalent, or I would even say that, whenever they are both defined, they should then be equivalent. "Compactness" and "boundedness" are almost never equivalent (not even on the real line), and on metric spaces you can only prove that compact sets are bounded... I don't think it helps anyone to think that either is an extension of the other, it just adds to the confusion...2015-06-30
  • 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