My question is pretty much the title. I just find this notion a little weird. Say for example that I have the set $A$ that is uncountable. Can I say $A = \{ a_{i} \}_{i\in I}$? Thanks
Can an uncountable set be indexed?
9
$\begingroup$
elementary-set-theory
-
2The set $I$ would have to be uncountable, because you can't have a surjection from a countable set to an uncountable one. – 2012-12-22
1 Answers
11
To say that there is an indexing $\{a_i\}_{i\in I}$ of $A$ by $I$ is the same as saying that there is a surjection $f: I \to A$. It's just a matter of notation: $a_i$ versus $f(i)$. The simplest example of a surjection $f:I \to A$ from some set $I$ onto $A$ is given by setting $I = A$ and letting $f$ be the identity function. This corresponds to the trivial indexing $\{a_i\}_{i\in A}$ of $A$ where $a_i = i$.
In some applications you might want $I$ to be an ordinal. For this it is a necessary and sufficient condition that a well-ordering of $A$ exists. In particular, if the Axiom of Choice holds then any set $A$ can be indexed by an ordinal.
-
0That helps, thanks. – 2012-12-22