1
$\begingroup$

I was reading some papers and they had the following notation:

$$ \big\{k\big\}_{k=0}^n $$

I assume this implies that

$$ \big\{k\big\}_{k=0}^n = \{k \in \mathbb{WHAT} : 0 \leq k \leq n\} $$

What is $k$ an element of? I assume integers, but it might as well be real or complex. I propose a better, less ambiguous notation:

$$ \big\{k \in \mathbb{SOMETHING}\big\}_{k=0}^n $$

Would this work better or does this mean something completely different?

$\endgroup$
4
  • $\begingroup$ It might also refer to a sequence. $\endgroup$
    – ryang
    Commented May 22, 2022 at 13:41
  • $\begingroup$ Could you tell us which papers you found this notation in? $\endgroup$
    – MathGeek
    Commented May 22, 2022 at 13:51
  • $\begingroup$ @MathGeek cims.nyu.edu/~sling/MATH-SHU-236-2020-SPRING/… $\endgroup$
    – VJZ
    Commented May 22, 2022 at 13:56
  • 1
    $\begingroup$ IMO it is simply $\{ 0,1,\ldots , n \}$ $\endgroup$ Commented May 23, 2022 at 6:52

1 Answer 1

1
$\begingroup$

The notation $\{f(k)\}_{k=0}^n$ in the context given means either the sequence or set $$f(0),f(1),f(2),\dots,f(n) $$

in analogy to sum or product notation, where $$ \sum_{k=0}^nf(k)=f(0)+f(1)+\dots+f(n)$$

and $$\prod_{k=0}^nf(k)=f(0)\times f(1)\times\cdots\times f(n) $$

Your notation $\{k\}_{k=0}^n$ would mean $\{0,1,\dots, n\}$, but I think the paper is actually using examples like $\{\mathbf{c}_j^{(t)}\}_{j=1}^k=\{\mathbf{c}_1^{(t)},\mathbf{c}_2^{(t)},\dots,\mathbf{c}_k^{(t)}\}$.

Context should indicate whether order is important, if distinguishing between sequences and sets is key.

Instead of your notation, what you might see instead is $\{f(k)\}_{k\in S}$ for some set $S$, again in analogy to sum or product notation.

$\endgroup$

You must log in to answer this question.

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