5

I want to make sure I am writing correct math notation...

I want to write: "For all $i$ from 1 to $n$" (It's been a while...)

How do you write this?

I get this so far...$\forall_{i=1,\ \mbox{to}\ n}$ Is this right???

PiE
  • 1,002
  • 8
  • 16
  • 1
    $\forall, 1 \leq i \leq n$ is the usual way. For instance, $\forall, 1 \leq i \leq n (i < i+1)$ or, $\forall i (1 \leq i \leq n \rightarrow i < i+1)$. – Fabio Somenzi Apr 02 '17 at 01:47
  • Ok...Thanks.... – PiE Apr 02 '17 at 01:47
  • 1
    I usually write "for $i = 1,\dotsc, n$". I was always taught to try to avoid using $\forall$ when possible. – DMcMor Apr 02 '17 at 01:49
  • 2
    Alternatively, $\forall i \in [n]$ is common too if you are in the habit of using $[n]={1,2,3,\dots,n}$. Some people instead use $[n]={0,1,2,\dots,n-1}$ instead, so if that is your preference, just a small adjustment needs to be made to suit your needs. – JMoravitz Apr 02 '17 at 01:50

1 Answers1

7

Properly speaking, "For all $i$ from $1$ to $n$" is perfectly legitimate mathematics, and is often preferable from the standpoint of exposition. For example, it might be preferable when writing a paper. The use of symbols like $\forall \exists! \ni \wedge\leadsto $ can quickly devolve into a jumbled mess and should be thought of more as "mathematical shorthand" than proper exposition.

If you insist on more compact notation, something like

$$\forall i \in \{1, \dots, n\} \text{ or } \forall_{i \in \{1, \dots, n\} } \text{ or } \forall 1 \leq i \leq n \text{ or } \forall i = 1..n$$

would be acceptable (I personally like the first two). There isn't really a summation notation version--something like $\forall_{i=1}^n $ looks weird to me.

I would also note that something like $\forall 1 \leq i \leq n$ can introduce some ambiguity....is $i$ supposed to be an integer or a real number? By choice of $i$ as the variable name, I would assume it is an integer, but I would be unable to know that just from the notation.

erfink
  • 5,287
  • 16
  • 34