Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I find some descriptions and . But can't find any definition.

share|cite|improve this question
What part is not clear from those two links? – response May 22 '13 at 3:51
up vote 5 down vote accepted

An index set is just the domain $I$ of some function $f:I\to X$. It's just a notational distinction between a function domain and an index set - when we think if it as an index set, we write $f_i$ rather than $f(i)$.

Both the Wikipedia and Wolfram links you provide indicate that the function $f$ should be $1-1$ and onto, but I don't actually think that is necessary. For example, if we have a sequence $a_1,\dots,a_n,\dots$ then the index set is $\mathbb N$ whether or not the $a_i$ are distinct.

share|cite|improve this answer
Agreed. There is no reason that an indexing function must be one-to-one (or onto any set in particular unless it is called an enumeration of that set.) – Trevor Wilson May 22 '13 at 5:57

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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