5
$\begingroup$

I just want to know what this combination of symbols means:

$\exists !$

I know ∃ means 'there exists', but what does it mean when it is paired with a '!'? I have written down 'there exists unique" but I am not 100% sure this is correct?

$\endgroup$
1
  • $\begingroup$ $\exists!$ can mean there exists unique or there exists only one. $\endgroup$ – Mr Pie May 12 '18 at 12:50
12
$\begingroup$

“There exist unique” $$\exists!m\in\mathbb R:\forall a\in\mathbb R:a\cdot m=a$$

In this example $\exists!$ means that $m$ is unique, that this number exist ($m=1$) but no other does have this property.

$\endgroup$
2
  • $\begingroup$ This is false when a is zero. You need to swap your quantifiers. $\endgroup$ – H.Durham Dec 15 '13 at 13:56
  • $\begingroup$ You're right @user10193, corrected. $\endgroup$ – Carlos Eugenio Thompson Pinzón Dec 15 '13 at 13:58
8
$\begingroup$

$\exists ! x:$ "There exists a unique x..."

To use Carlos' example: $$\exists ! m \in \mathbb R,\,\forall a \in \mathbb R( a\cdot m = a)$$

This is equivalent to the statement:

$$\exists m \in \mathbb R, \forall a \in \mathbb R\Big(a\cdot m = a \land \forall y \in \mathbb R((a \cdot y = a) \implies y = m)\Big)$$

As you can see, the uniqueness quantifier greatly simplifies the logical statement.

$\endgroup$
2
  • 1
    $\begingroup$ This is the only answer that gets to the point, in my opinion. $\endgroup$ – Git Gud Dec 15 '13 at 14:09
  • 1
    $\begingroup$ The final formula is not quite right, it should be $(\exists m \in \mathbb{R})[(\forall a \in \mathbb{R})[a\cdot m = a] \land (\forall y \in \mathbb{R})[(\forall a \in \mathbb{R})(a\cdot y = a) \to y = m]]$. In general $(\exists! x)\phi(x)$ means $(\exists x)[\phi(x) \land (\forall y)[\phi(y) \to y=x]]$ $\endgroup$ – Carl Mummert Dec 15 '13 at 15:52
0
$\begingroup$

The symbol $\exists$ is the existential quantifier and with a $!$ in front of it, it means that there exists at most one element...

$\endgroup$
1
  • 9
    $\begingroup$ I'd replace "at most" with "exactly", because this implies there may be less than one, which is not true because of the ∃ symbol. $\endgroup$ – Darrel Hoffman Dec 15 '13 at 15:46

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.