Before defining and , we look at two important examples.
- The set , which we can think of as a plane, is the set of all ordered pairs of real numbers:
- The set , which we can think of as an ordinary space, is the set of all ordered triples of real numbers:
To generalize and to higher dimensions, we discuss the concept of lists:
Definition: List, Length
- Suppose is a non-negative integer. A list of length is an ordered collection of elements (which could be numbers, other lists, or more abstract objects)
- Two lists are equal if and only if they have the same length and the same elements in the same order.
- A list of length is often called an -tuple.
Lists are often written as elements separated by commas and surrounded by parentheses. Thus, a list of length two is an ordered pair that might be written as . A list of length three is an ordered triple that might be written as . A list of length might look like this:
We sometimes use the word list without specifying its length. Remember, by definition each list has a finite length that is a nonnegative integer. Thus an object that looks like , which might be said to have infinite length, is not a list.
A list of length 0 looks like this: . We consider such an object to be a list so that some of our theorems will not have trivial exceptions.
Lists differ from finite sets in two ways: in lists, order matters and repetitions have meaning; in sets, order and repetitions are irrelevant.
- The lists and are not equal, but the sets and are.
- The lists and are not equal (they do not have the same length), but and both equal the set .
Sometimes, when we consider lists of vectors, we do not use surrounding parentheses. For example, is a list of length two of vectors in .