Homework Help:
Is empty set a metric space?

1. The problem statement, all variables and given/known data
Is empty set a metric space?

2. Relevant equations
None.

3. The attempt at a solution
It seems so because all the metric properties are vacuously satisfied. Mabe the question
had better be put like this: Does mathematicians tend to think empty set as a metric space for some reason such as convenience?

Note that there is exactly one metric function on the empty set. This is simply the "empty function"

[tex]d:\emptyset\times \emptyset\rightarrow \mathbb{R}[/tex]

Many people find the empty function a bit awkward, and they are right. To understand it, you must realize the very definition of a function.
A function [itex]f:A\rightarrow B[/itex] is actually defined as a subset S of [itex]A\times B[/itex] which satisfies some properties: the property is that for all x in A, there must exist exactly one y in B such that (x,y) is in S.

Now, our function d should then be a subset of [itex](\emptyset\times \emptyset)\times \mathbb{R}[/itex], but this is just the empty set again!! So our function d coincides with the empty set. And since the empty set has only one subset, there is only one such function d.

Actually, I'm going to have to contradict HallsofIvy.
The empty set is a metric space.

As wiki says: "Often, is omitted and one just writes for a metric space if it is clear from the context what metric is used."

In this case it is clear from the context which metric is used, so you can say that the empty set is a metric space.

Wiki is wrong.
A metric space is formally defined as a pair [itex](X,d)[/itex]. The empty set is not such a pair, so it is not a metric space in itself.
Halls was entirely correct in saying that a metric has to be defined first.

I agree that sometimes the metric is not mentioned, but that's informal notation. Pure formally, the empty set is not a metric space. I don't care what wiki says.

If we say: "the empty set is a metric space", this means unambiguously "the ordered pair (∅,d) where d is the uniquely defined metric function ∅x∅→R, is a metric space".

As far as I know, that means that the original statement is true.
Even though it is a bit informal, it is still unambiguously defined and as such true.

I thought that in math we often do not extensively list all required definitions and conditions as long as they are unambiguously clear from the context.
Otherwise that would make math a bit cumbersome.

If we say: "the empty set is a metric space", this means unambiguously "the ordered pair (∅,d) where d is the uniquely defined metric function ∅x∅→R", which is indeed a metric space.

As far as I know, that means that the original statement is true.
Even though it is a bit informal, it is still unambiguously defined and as such true.

I thought that in math we often do not extensively list all required definitions and conditions as long as they are unambiguously clear from the context.
Otherwise that would make math a bit cumbersome.

I agree that in practice we would say that "the empty set is a metric space" without trouble. And people say [itex]\mathbb{Z}/n\mathbb{Z}[/itex] is a group without troubles and they're not wrong.

The difference is that this privilege is only there for experienced people. People who just see the subject should be aware that there's a difference between the set and the metric space [itex]\emptyset[/itex].

I'm not arguing that people be hyper-formal, and if somebody writes "[itex]\emptyset[/itex] is a metric space" on an exam, I would not mark it down at all. But you should always be aware of how things are done formally. And pure formally [itex]\emptyset[/itex] is not a metric space.

I am a bit black and white on this.
In math a statement is either true or false.
As such an ill defined statement is false.

IMO the statement "The empty set is a metric space" is true, since it is well defined and true.
Another true statement is that "The empty set, without any metric attached, is not a metric space", which is of course what you mean.

I do agree that students should be made aware of the distinction, but I think it is wrong to say, even formally, that the statement "The empty set is a metric space" is false.

micromass said:

And people say Z/nZ is a group without troubles and they're not wrong.

It's not exactly without trouble.
I've asked students countless times what the operation is belonging to the group Z/nZ, addition or multiplication?
Until now, I've only had blank stares and had to explain that it is addition.
And then get a second blank stare when I asked which related group has multiplication as its operation.

If we're going to split hairs, a function requires a specification of a domain and a codomain, along with a relation, so the class of metrics on the empty set is so large it's not even a set, but I don't see what we've gained

Yes, I kind of assumed that the metric (function) is an empty set. I agree with both the first two replies, including the third. Metric space indeed, strictly speaking, is an ordered pair, not just a set, thus (empty set, empty set) is indeed a metric space according to you guys' answers.