Page 18 - Linear Algebra Done Right
P. 18

Chapter 1. Vector Spaces
                       4
                                              Definition of Vector Space
                                                Before defining what a vector space is, let’s look at two important
                                                                           2
                                              examples. The vector space R , which you can think of as a plane,
                                              consists of all ordered pairs of real numbers:
                                                                    2
                                                                  R ={(x, y) : x, y ∈ R}.
                                                               3
                                              The vector space R , which you can think of as ordinary space, consists
                                              of all ordered triples of real numbers:
                                                                  3
                                                                R ={(x,y,z) : x, y, z ∈ R}.
                                                                      3
                                                               2
                                                To generalize R and R to higher dimensions, we first need to dis-
                                              cuss the concept of lists. Suppose n is a nonnegative integer. A list of
                                              length n is an ordered collection of n objects (which might be num-
                                              bers, other lists, or more abstract entities) separated by commas and
                        Many mathematicians   surrounded by parentheses. A list of length n looks like this:
                       call a list of length n an
                                    n-tuple.                            (x 1 ,...,x n ).

                                              Thus a list of length 2 is an ordered pair and a list of length 3 is an
                                              ordered triple. For j ∈{1,...,n}, we say that x j is the j th  coordinate
                                              of the list above. Thus x 1 is called the first coordinate, x 2 is called the
                                              second coordinate, and so on.
                                                Sometimes we will use the word list without specifying its length.
                                              Remember, however, that by definition each list has a finite length that
                                              is a nonnegative integer, so that an object that looks like

                                                                        (x 1 ,x 2 ,...),

                                              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.
                                                Two lists are equal if and only if they have the same length and
                                              the same coordinates in the same order. In other words, (x 1 ,...,x m )
                                              equals (y 1 ,...,y n ) if and only if m = n and x 1 = y 1 ,...,x m = y m .
                                                Lists differ from sets in two ways: in lists, order matters and repeti-
                                              tions are allowed, whereas in sets, order and repetitions are irrelevant.
                                              For example, the lists (3, 5) and (5, 3) are not equal, but the sets {3, 5}
                                              and {5, 3} are equal. The lists (4, 4) and (4, 4, 4) are not equal (they
   13   14   15   16   17   18   19   20   21   22   23