# Why is it false that empty set is not bounded?

'A set S is bounded' is defined by $\exists M >0, \forall x \in S : |x| \leq M$.

I know that proof that empty set is bounded.

$$\forall x \in \varnothing \Rightarrow \exists M >0, \forall x \in \varnothing : |x| \leq M$$

The assumption that $\forall x \in \varnothing$ is false, so it is true without reference to the conclusion.

I have a question that is it also true by the same way that empty set is not bounded?

Clearly, 'A set S is not bounded' is defined by $\forall M >0, \exists x \in S : |x| > M$.

Now by the same way

$$\forall x \in \varnothing \Rightarrow \forall M >0, \exists x \in \varnothing : |x| > M.$$

This assumption is also false so that it is true whatever the conclusion is.

However, I heard that it is not true. What is wrong in my proof?

• $\forall x\in\emptyset\Rightarrow\ldots$" does not really make sense, syntactically – Hagen von Eitzen Aug 12 '15 at 20:39
• Logical symbols are like $\forall$ are useful to those who are doing complicated proofs where the statements are hard to read in plain language. They still represent sentences in plain language and none of your proofs make any sense. Your first one directly translates to "For all $x$ in the empty set therefore there exists $M$ greater than zero for all $x$ in the empty set such that $|x|$ is less than $M$". This is nonsense. – PVAL-inactive Aug 12 '15 at 20:46
• I think you mean that you believe that the empty set is bounded (when viewed as a subset of some ordered set), but you have heard that this is not true? If so, then you are right, but the details of your proof need to be tidied up a bit as other comments and answers are trying to explain. – Rob Arthan Aug 12 '15 at 20:48
• To avoid unnecessary troubles with syntax one can apply an equivalent definition to bounded in a metric space: a set is bounded if it is a subset of some ball. Clearly, the empty set is a subset of any ball, thus, bounded. It is, in fact, even compact. – A.Γ. Aug 12 '15 at 20:53
• @A.G.: (and nearly everyone else): so the OP is right! What he or she has "heard" is wrong. – Rob Arthan Aug 12 '15 at 20:56

"$\forall x\in\emptyset$" isn't actually a logical proposition, so it can't imply anything. A correct formulation of "bounded" would be: $$\exists M : \forall x \in \emptyset, \vert x\vert \leq M$$ which $\emptyset$ still passes, because it's vacuously true for all $x$. However, the correct formulation of "not bounded" is: $$\forall M>0, \exists x \in\emptyset : \vert x\vert > M$$ Which doesn't hold, because such an $x$ doesn't exist (as no $x$ exists in $\emptyset$).
• I read again and again but I can't understand why the first is vacously true and the second is not. What exactly does it mean that comma and colon in predicate logic? Does it mean like $\wedge$? I want more predicate logical stage about this. – cokecokecoke Aug 13 '15 at 5:46
The issue is the existential quantifier (in the second statement): There does not exist $x\in\emptyset$ such that $|x|>1$ (using $1$ as a sample bound). Thus the empty set does have $-1$ and $1$ as lower and upper bounds respectively.