34
$\begingroup$

I would like to specify the set $\{0, 1, 2, \dots\}$, i.e., non-negative integers in an engineering conference paper. Which symbol is more preferable?

  • $\mathbb{N}_0$
  • $\mathbb{N}\cup\{0\}$
  • $\mathbb{Z}_{\ge 0}$
  • $\mathbb{Z}_{+}$
$\endgroup$
  • 1
    $\begingroup$ They all seem clear enough to me, except maybe $\mathbb{Z}_+$, which might not include $0$ :/ $\endgroup$ – G Tony Jacobs Mar 12 '14 at 18:37
  • 2
    $\begingroup$ In my opinion, a notation using $\mathbb{Z}$ (such as $\mathbb{Z}_{\geq 0}$) is preferable over a notation using $\mathbb{N}$, a symbol that means different things in different countries. $\endgroup$ – user133281 Mar 12 '14 at 18:39
  • 3
    $\begingroup$ $\mathbb{Z}_+$ looks like the set of strictly positive integers to me. $\mathbb{N}\cup \{0\}$ is unambiguous, even if it is redundant ('cause, you know, $0\in\mathbb{N}$). $\mathbb{Z}_{\geqslant 0}$ is also clear. $\endgroup$ – Daniel Fischer Mar 12 '14 at 18:39
  • 2
    $\begingroup$ @DanielFischer. Some people use the definition that $0\notin \mathbb{N}$. Hence, $\mathbb{N}$ alone is ambiguous. $\endgroup$ – Batominovski Aug 19 '15 at 2:06
  • $\begingroup$ You forgot $\omega$! $\endgroup$ – Paul Plummer Aug 19 '15 at 2:35
18
$\begingroup$

According to Wikipedia, unambiguous notations for the set of non-negative integers include $$ \mathbb{N}^0 = \mathbb{N}_0 = \{ 0, 1, 2, \ldots \}, $$ while the set of positive integers may be denoted unambiguously by $$ \mathbb{N}^* = \mathbb{N}^+ = \mathbb{N}_1 = \mathbb{N}_{>0}= \{ 1, 2, \ldots \}. $$

| cite | improve this answer | |
$\endgroup$
9
$\begingroup$

Based on this similar post, the following seems to be preferred:

$\mathbb{Z}_{\geq 0}$

| cite | improve this answer | |
$\endgroup$
2
$\begingroup$

Wolfram Mathworld has $\mathbb{Z}^*$.

Nonnegative integer

| cite | improve this answer | |
$\endgroup$
  • 5
    $\begingroup$ I might interpret that as either the nonzero integers or as the group of units of the integers. $\endgroup$ – Qiaochu Yuan Oct 19 '15 at 22:25
  • 3
    $\begingroup$ Right, those are the things I would interpret $\mathbb{Z}^{\ast}$ as. Very confusing notation on Mathworld. $\endgroup$ – Daniel Fischer Oct 19 '15 at 22:26
  • 3
    $\begingroup$ In my opinion, it's a bad notation; but this answer is valid, since it references Wolfram Mathworld, which is a popular and reliable source. $\endgroup$ – Wood Aug 7 '16 at 4:55

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