2
$\begingroup$

Maybe a silly question, but what is the most compact way of clearly expressing the set of all $x_i$ if it is obvious that $i$ runs from 1 to $n$? $\{x_i\}$? $\{x_i\}_i$? $\{x_i\}_{i=1}^n$? $\{x_1, x_2, \dotsc, x_n\}$?

$\endgroup$

2 Answers 2

3
$\begingroup$

The third: $\{x_i\}_{i = 1}^n\;$ would be the most compact, but could open the door for ambiguity.

For example, $\{a_n\}$ and/or $\{a_n\}_{i = 1}^n$ is sometimes used (unfortunately, for the same reason: ambiguity) to denote a sequence.

So I'd prefer $$\{x_i\mid i\in \mathbb N,\;1 \leq i \leq n\},$$ as this more clearly denotes the set as defined in your last alternative: $$\{x_1, x_2, x_3, \cdots, x_n\}$$

and doesn't rely on "it being clear that $i$ runs from $1$ to $n$." (Assuming also $n \in \mathbb N$ ...)

$\endgroup$
3
  • $\begingroup$ Hi Amy. :-+)... $\endgroup$
    – Mikasa
    Mar 12, 2013 at 17:12
  • $\begingroup$ Thanks, Babak! How are you this evening? $\endgroup$
    – amWhy
    Mar 12, 2013 at 17:37
  • $\begingroup$ Great! Thanks. Greeting you always makes me this feelings. ;-) $\endgroup$
    – Mikasa
    Mar 12, 2013 at 17:40
1
$\begingroup$

It depends on what you mean by "the most compact" as there is a trade-off between notation with a short number of strokes to write on a chalkboard and expressive power to avoid confusion. For what I have seen in papers, if the index is the same throughout a proof then it is customary to call $I$ the index and write $$\{x_{i}\}_{i \in I}$$ when there is not a constant index and the index is finite with upper bound $n$ we would write $$\{x_{i}\}_{i=1}^{n}$$ and if there is not a constant index and the index is infinite we write $$\{x_{i}\}_{i=1}^{\infty}$$

$\endgroup$

You must log in to answer this question.

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