[Math] Indexed Family of Sets

elementary-set-theorynotation

Most books write a family of sets $A_i$ with index set $I$ as $\{ A_i \}_{i \in I}$. However, I've read other books that have criticized this notation; they insist that one should write $(A_i )_{i \in I}$ for the family of sets $A_i$ indexed by $I$.

Is there a difference between $\{ A_i \}_{i \in I}$ and $(A_i )_{i \in I}$? If so, could you please give a precise definition of each?

Best Answer

I don’t like either notation: I would write $\{A_i:i\in I\}$ or $\langle A_i:i\in I\rangle$. Technically there is no difference: each implies the existence of a function $i\mapsto A_i$ whose domain is $I$. The difference is one of emphasis: when I write $\{A_i:i\in I\}$, I’m thinking of this simply as a collection of sets, whereas when I write $\langle A_i:i\in I\rangle$, I’m emphasizing the existence of the function whose domain is $I$ and whose range is that collection of sets. I might let $\mathscr{A}=\{A_i:i\in I\}$ and simply talk about the collection $\mathscr{A}$ of sets, without any reference to the specific indexing, but when I write $\langle A_i:i\in I\rangle$, the specific indexing is very much on my mind: $\langle A_i:i\in I\rangle$ is an abbreviation for a function $I\to\mathscr{A}:i\mapsto A_i$.

For a more familiar example of the distinction, compare $\{x_n:n\in\Bbb N\}$ and $\langle x_n:n\in\Bbb N\rangle$, where each $x_n\in\Bbb R$. In each case $x_n$ is just a handier notation for $\varphi(n)$, for some function $\varphi:\Bbb N\to\Bbb R$. However, when I write $\{x_n:n\in\Bbb N\}$ I’m not thinking of that function; I’m thinking of its range, the set of values that it assumes. When I write $\langle x_n:n\in\Bbb N\rangle$, however, I’m thinking of the function: this is a real-valued sequence, i.e., a function from $\Bbb N$ to $\Bbb R$, not just a countable set of real numbers.

(Note: Many people use parentheses for my angle brackets; I prefer the angle brackets for this specific notational purpose, since parentheses already have more than enough meanings.)