3
$\begingroup$

Suppose that $(X, \rho)$ is a metric space, $|X| > 1$. Is it possible to prove that $X$ is an open set without assuming the axiom of choice?

As I understand it, the challenge is to find a way to assign an open ball to each point of the space (assign a radius, basically). The way I found is to select some point $y \in X$ and assign to each point $x \in X\setminus\!\{y\}$ the ball $B_{2\rho(x,y)}(x)$. Then it is easy to show that the union of these balls is $X$, and so $X$ is open.

Is there another way to prove that $X$ is open without relying on the axiom of choice? Or am I wrong and the axiom of choice is not required for the above proof?

  • 1
    for a top space $(X,\mathcal{T}\ )$ we always have $\emptyset, X\in\mathcal{T}$. Or if you want to show $X$ is a union of balls, just take the ball of radius one around each point.2011-03-02
  • 0
    The proof that you sketched doesn't use the axiom of choice in the first place: you explicitly defined the radius of all the balls in terms of a single point $y$. You don't need the axiom of choice to know that a nonempty space has a point in it. Any space with $|X|>1$ has at least two points.2011-03-02
  • 0
    @Carl: Can you explain further, please? I don't understand how it can be used to prove that $X$ is an open set.2011-03-02
  • 0
    @yoyo: But _why_ is $X$ open? Is it just a convention or must it necessarily be open in order for topological space to generalize metric space?2011-03-02
  • 0
    Alexei: Yoyo answered that, and Chris Eagle below: just take the ball of radius one around every single point of the space. The space is certainly the union of these balls. But your original proof didn't use the axiom of choice anyway. What definition are you using for "open set"?2011-03-02
  • 0
    @Carl: A set $U \subset X$ is open iff for every point $x \in U$ there is a ball $B_\varepsilon(x) \subset U$.2011-03-02

4 Answers 4

6

You can pick the radius of the open ball centred at $x$ however you like, and the union of all the balls will be $X$. For example, you could just let all the radii be 1.

  • 0
    What if the metric is $$\rho(x,y) = \begin{cases} 0 & \text{if } x = y\\ 2 & \text{otherwise}\end{cases}$$ I don't think that it is true that for any metric there exists a ball smaller than some fixed $M > 0$.2011-03-02
  • 0
    What if it is? In that case, the open ball of radius 1 around $x$ is just $\{ x \}$, so their union is $\bigcup_{x \in X} \{ x \}=X$.2011-03-02
  • 2
    @Alexei: The union of **all** open balls of radius 1 around all points is still equal to the entire space. So the entire space is still a union of open balls.2011-03-02
  • 0
    Do we consider $\{x\}$ to be a ball?2011-03-02
  • 2
    For any point $x$ and any radius $r > 0$ there is an open ball of radius $r$, by definition. The ball may only contain $x$, but that's not important here. If $x$ is an isolated point then $\{x\}$ will always be a ball.2011-03-02
  • 0
    @Alexei: we don't need to "consider" anything. In this case, it just plain is a ball. It is, as I said, the open ball with centre $x$ and radius 1. It is also the open ball with centre $x$ and radius $r$ for all $02011-03-02
  • 0
    OK, I see your point.2011-03-02
3

There is no choice issue here at all, and no need to pick a particular radius, since in the definition of open set, there is no obligation for us to assign to each point a unique radius. Rather, we can assign many radii to each point, and this will also verify opennes. We just need to know that every point has at least one ball around it contained in the set; perhaps there are many balls around that point contained in the set (and indeed, of course any smaller ball also works). So let us simply take all balls around any point of any possible radius to see that the whole space is open.

2

$X$ is an open set because every topology (=collection of open sets) on $X$ must contain $X$, see the definition. Nothing metric here.

  • 0
    That's _exactly_ my point - do we define $X$ as open by convention or is it provably open at least for a metric topology?2011-03-02
  • 0
    @Alexei Being open means belonging to the topology. A topology satisfies some axioms, one of them is that $X$ belongs to the topology. Maybe the fact that the emptyset is closed is more natural to you? And this is equivalent to $X$ being open...2011-03-02
  • 0
    Forget about topology for a second. There is a definition of an open set for a metric space, that's what I'm concerned with for now.2011-03-02
  • 0
    @Alexei Not sure I understand your point. Consider for example Chris's (excellent) solution: this uses (rightly) the fact that any union of open balls is an open set. But why is that so? Because open balls are, well... open sets and any union of open sets is an open set, right? Oops... here is precisely one of the axioms which define a topology.2011-03-02
  • 0
    Do you think axioms of topology are God-given or something? I'm looking into why they are the way they are.2011-03-02
  • 0
    @Alexei Last try: some (but not all) properties of metric spaces are valid in the (strictly wider) class of topological spaces. The property you are interested in is an example, so it makes sense to consider it in the wider context of topological spaces.2011-03-02
  • 0
    How do you know it's strictly wider? Shouldn't such things be proven?2011-03-02
  • 0
    @Alexei: First question: Because once upon a time I wondered whether the notions of topological and metric spaces were different and, if they were, why. Second question: They are. Possible keyword: Indiscrete topology.2011-03-02
  • 0
    Well, now _I'm_ wondering that, what's the problem?2011-03-02
  • 0
    I don't think this answer is very helpful. The question refers explicitly to a specific definition in the context of metric spaces. The question could be rephrased as "how can we show that the open balls in a metric space actually form the basis of a topology, in particular that it satisfies the axiom that the space X itself is open?"2011-03-02
  • 0
    @Alexei Did you check the keyword I indicated?2011-03-03
  • 0
    I know what trivial topology is. I think you misunderstood my question: it's about connection between metric spaces and topology, not about topology itself.2011-03-04
1

As an aside, note that you don't need Choice to validate the openness of an arbitrary open subset $U\subseteq X$. That is, we can assign an open ball around each $u\in U$ without Choice: let $\delta_u = \frac12 \inf\{\rho(u,x) : x\notin U\}$ and set $F_u = B_{\delta_u}(u)$.