2
$\begingroup$

$\{x : x \le 75, \in \mathbb{Z}_+ \cup \{0\}\}$

Is this notation correct? I'm going for positive integers less than or equal to $75$ including $0$.

$\endgroup$
9
  • 1
    $\begingroup$ No, its $\{ x\in\mathbb{Z}_{\geq 0} : x\leq 75\}$, or $\{x\in\mathbb{N}_0: x\leq 75\}$. $\endgroup$
    – stange
    Nov 30, 2023 at 12:31
  • $\begingroup$ Thanks! What notation do I use to convey that the domain of x is that set? $\endgroup$
    – ℤ_INT
    Nov 30, 2023 at 12:34
  • $\begingroup$ What do you mean by domain of $x$? Domain refers to a function...? $\endgroup$
    – IraeVid
    Nov 30, 2023 at 12:37
  • $\begingroup$ sorry the domain of f(x) i meant $\endgroup$
    – ℤ_INT
    Nov 30, 2023 at 12:38
  • 2
    $\begingroup$ @Dominique If you denote with $\mathbb{N}$ the set of natural numbers without $0$, then $\mathbb{N}_0 = \mathbb{N}\cup\{0\}$, and if $\mathbb{N}$ denotes the set of natural numbers including zero, then $\mathbb{N}^\ast = \mathbb{N}\setminus \{0\}$. Thats at least the notation I know of. $\endgroup$
    – stange
    Nov 30, 2023 at 12:51

1 Answer 1

3
$\begingroup$

There are 2 parts to this question. 1) Is your notation correct regarding "mathematical grammar" and 2) Is your notation recommended?

For the first question, "$\{x:x\leq75, \in\mathbb{Z}_+\cup\{0\}\}$" is wrong. You wrote "$\in\mathbb{Z}_+\cup\{0\}$. This is where the error lies. What is $\in\mathbb{Z}_+\cup\{0\}$? You have to write a variable in front. Hence, writing $\{x:x\leq75, x\in\mathbb{Z}_+\cup\{0\}\}$ would be correct regarding "mathematical grammar". You can write like this and people would understand.

For the second question, it is not recommend to write like this. Usually, we write the set that the number belongs to in front. Note that set refers to sets like $\mathbb{N}, \mathbb{R}, \mathbb{Q}$ etc, those that are already defined. Hence, the correct notation will be $\{x\in\mathbb{Z}_{\geq0}:x\leq 75\}$. Or, you can just write $\mathbb{Z}_{\geq0}\cap[0, 75]$.

$\endgroup$
1
  • $\begingroup$ @ℤ_INT I have edited my answer. Please check out the new and more complete answer. $\endgroup$
    – IraeVid
    Nov 30, 2023 at 12:46

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .