2
$\begingroup$

In Game Theory, we often denote $\textbf{X}=(X_1,X_2....X_n)$ as a profile of strategies. Obviously $\textbf{X}$ is a tuple/ordered set. In my case $\forall i$ $X_i$ is a set. Two questions:

  1. Does the notation $\textbf{X}=(X_i)_{i=1}^n$ makes sense?
  2. Is there a short way to represent $\{l\in X_i|1\leq i \leq n \}$?

Thanks!

$\endgroup$
3
  • 1
    $\begingroup$ 1. Yes. 2. Beats me. I don't know what set $\{l\in X_i|1\le i\le n\}$ is supposed to be. Would you mind describing it in words? Is it the set of all $l$ such that $l\in X_i$ for all $i\in\{1,\dots,n\}$? $\endgroup$ – bof Aug 16 '16 at 6:04
  • $\begingroup$ @bof Exactly, this is what I meant. Does it bothers you that I used $1 \leq i \leq n$ ? $\endgroup$ – omerbp Aug 16 '16 at 6:15
  • $\begingroup$ I don't think $i\in\{1,\dots,n\}$ is equivalent to $1 \leq i \leq n$. $\endgroup$ – StubbornAtom Aug 16 '16 at 7:50
2
$\begingroup$

Some ideas and personal opinions from graph theory:

  • If you are using index sets like $\{1,2,\ldots,k\}$ very often, introduce a special notation for it, for example $[k]$ is quite common. Don't forget to specify what it really means (e.g., a footnote could be enough).
  • Then you can use $$\mathbf{X} = \big(X_i\big)_{i \in [n]}, \quad \quad \bigcap_{i\in[n]}X_i.$$
  • I would understand $$\{l \in X_i \mid 1\leq i \leq n\} \quad\text{ as }\quad\big\{l \ \big|\ \exists i \in [n]. i \in X_i\big\} = \bigcup_{i\in[n]}X_i$$ that is, using existential rather than universal quantifier. I urge you to clarify that aspect in your writing.

  • When the index set is really, really clear from the context, you can sometimes omit it, e.g. $(X_i)_i$ or $\bigcup_i X_i$. This leads to ugliness, but I have seen cases where it might be preferable.

  • When using a big number of parentheses, brackets and braces, the display-style formulas are much easier to read when the sizes differ, e.g. $$(\{l \in X_i \mid i \in [k]\})_{k \in [n]} \text{ could be written as } \Big(\big\{l \in X_i \ \big|\ i \in [k]\big\}\Big)_{k \in [n]}.$$ Also, don't forget about the spacing around the bar in the set notation, compare $$\{a\in\mathbb{N}|2a=p\}, \{a \in \mathbb{N}\mid 2a=p\}, \Bigg\{f(a)\Bigg|\sum_{i \in[k]}f_k(c)=d\Bigg\}, \Bigg\{f(a)\ \Bigg|\ \sum_{i\in[k]}f_k(c)=d\Bigg\}.$$

  • If you are using $\LaTeX$, then it's nice to define things like

    \newcommand{\tuple}[1]{\mathopen{}\left\langle {#1} \right\rangle\mathclose{}}
    \newcommand{\Bigtuple}[1]{\mathopen{}\Big\langle {#1} \Big\rangle\mathclose{}}
    \newcommand{\set}[2]{\mathopen{}\left\{ {#1} \ \middle|\ {#2} \right\}\mathclose{}}
    \newcommand{\Bigset}[2]{\mathopen{}\Big\{ {#1} \ \Big|\ {#2} \Big\}\mathclose{}}
    

    and then use \tuple{a,b,c} or \Bigset{a \in \mathbb{N}}{f(a)=b}.

  • Finally, plain text is easier to read than formulas (unless you can understand them at first glance). For more complex concepts use both, the redundancy is a blessing, esp. in conference papers where typos are quite common.

I hope this helps $\ddot\smile$

$\endgroup$
1
$\begingroup$
  1. $\textbf{X}$ is a finite sequence. So this makes sense.

  2. $\displaystyle\{l\in X_{i}|1\leq i\leq n\}=\bigcap_{i=1}^{n}X_{i}$.

$\endgroup$
4
  • 3
    $\begingroup$ I've never seen the notation $\{l\in X_i|1\le i\le n\}$ so I couldn't figure out if it meant the union or the intersection or something else. How can you tell what it means? Is this strange notation used somewhere? $\endgroup$ – bof Aug 16 '16 at 6:07
  • $\begingroup$ I understand you. In fact, this seems to be the set of all $l$ such that $l\in X_{i}$ for all $i\in\{1,...,n\}$. Maybe I was wrong. Thanks. $\endgroup$ – Rafael Holanda Aug 16 '16 at 6:13
  • $\begingroup$ @RafaelHolanda What you described is exactly what I had in mind... $\endgroup$ – omerbp Aug 16 '16 at 6:17
  • 1
    $\begingroup$ Then we should replace union for intersection. $\endgroup$ – Rafael Holanda Aug 16 '16 at 6:27

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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