Vector Spaces Linear algebra is the study of linear maps on finite-dimensional vector spaces. Eventually we will learn what all these terms mean. In this chapter we will define vector spaces and discuss their elementary properties. In linear algebra, better theorems and more insight emerge if complex numbers are investigated along with real numbers. Thus we will begin by introducing the complex numbers and their basic properties. We will generalize the examples of a plane and of ordinary space to π π and π π, which we then will generalize to the notion of a vector space. As we will see, a vector space is a set with operations of addition and scalar multiplication that satisfy natural algebraic properties. Then our next topic will be subspaces, which play a role for vector spaces analogous to the role played by subsets for sets. Finally, we will look at sums of subspaces (analogous to unions of subsets) and direct sums of subspaces (analogous to unions of disjoint sets). Pierre Louis Dumesnil, Nils Forsberg RenΓ© Descartes explaining his work to Queen Christina of Sweden. Vector spaces are a generalization of the description of a plane using two coordinates, as published by Descartes in 1637. Β© Sheldon Axler 2024 S. Axler, Linear Algebra Done Right, Undergraduate Texts in Mathematics, https://doi.org/10.1007/978-3-031-41026-0_1 1
2 1A Vector Spaces π π and π π Complex Numbers You should already be familiar with basic properties of the set π of real numbers. Complex numbers were invented so that we can take square roots of negative numbers. The idea is to assume we have a square root of β1, denoted by π, that obeys the usual rules of arithmetic. Here are the formal definitions. 1.1 definition: complex numbers, π β’ A complex number is an ordered pair (π, π), where π, π β π , but we will write this as π + ππ. β’ The set of all complex numbers is denoted by π : π = {π + ππ βΆ π, π β π}. β’ Addition and multiplication on π are defined by (π + ππ) + (π + ππ) = (π + π) + (π + π)π, (π + ππ)(π + ππ) = (ππ β ππ) + (ππ + ππ)π; here π, π, π, π β π . If π β π , we identify π + 0π with the real number π. Thus we think of π as a subset of π . We usually write 0 + ππ as just ππ, and we usually write 0 + 1π as just π. To motivate the definition of complex The symbol π was first used to denote multiplication given above, pretend that ββ1 by Leonhard Euler in 1777. we knew that π2 = β1 and then use the usual rules of arithmetic to derive the formula above for the product of two complex numbers. Then use that formula to verify that we indeed have π2 = β1. Do not memorize the formula for the product of two complex numbersβyou can always rederive it by recalling that π2 = β1 and then using the usual rules of arithmetic (as given by 1.3). The next example illustrates this procedure. 1.2 example: complex arithmetic The product (2 + 3π)(4 + 5π) can be evaluated by applying the distributive and commutative properties from 1.3: (2 + 3π)(4 + 5π) = 2 β (4 + 5π) + (3π)(4 + 5π) = 2 β 4 + 2 β 5π + 3π β 4 + (3π)(5π) = 8 + 10π + 12π β 15 = β7 + 22π.
π π and π π 3 Our first result states that complex addition and complex multiplication have the familiar properties that we expect. 1.3 properties of complex arithmetic commutativity πΌ + π½ = π½ + πΌ and πΌπ½ = π½πΌ for all πΌ, π½ β π . associativity (πΌ + π½) + π = πΌ + (π½ + π) and (πΌπ½)π = πΌ(π½π) for all πΌ, π½, π β π . identities π + 0 = π and π1 = π for all π β π . additive inverse For every πΌ β π , there exists a unique π½ β π such that πΌ + π½ = 0. multiplicative inverse For every πΌ β π with πΌ β 0, there exists a unique π½ β π such that πΌπ½ = 1. distributive property π(πΌ + π½) = ππΌ + ππ½ for all π, πΌ, π½ β π . The properties above are proved using the familiar properties of real numbers and the definitions of complex addition and multiplication. The next example shows how commutativity of complex multiplication is proved. Proofs of the other properties above are left as exercises. 1.4 example: commutativity of complex multiplication To show that πΌπ½ = π½πΌ for all πΌ, π½ β π , suppose πΌ = π + ππ and π½ = π + ππ, where π, π, π, π β π . Then the definition of multiplication of complex numbers shows that πΌπ½ = (π + ππ)(π + ππ) = (ππ β ππ) + (ππ + ππ)π and π½πΌ = (π + ππ)(π + ππ) = (ππ β ππ) + (ππ + ππ)π. The equations above and the commutativity of multiplication and addition of real numbers show that πΌπ½ = π½πΌ.
Chapter 1 Vector Spaces Next, we define the additive and multiplicative inverses of complex numbers, and then use those inverses to define subtraction and division operations with complex numbers. 1.5 definition: βπΌ, subtraction, 1/πΌ, division Suppose πΌ, π½ β π . β’ Let βπΌ denote the additive inverse of πΌ. Thus βπΌ is the unique complex number such that πΌ + (βπΌ) = 0. β’ Subtraction on π is defined by π½ β πΌ = π½ + (βπΌ). β’ For πΌ β 0, let 1/πΌ and denote the multiplicative inverse of πΌ. Thus 1/πΌ is the unique complex number such that 1 πΌ πΌ(1/πΌ) = 1. β’ For πΌ β 0, division by πΌ is defined by π½/πΌ = π½(1/πΌ). So that we can conveniently make definitions and prove theorems that apply to both real and complex numbers, we adopt the following notation. 1.6 notation: π Throughout this book, π stands for either π or π . Thus if we prove a theorem involving The letter π is used because π and π π , we will know that it holds when π is are examples of what are called fields. replaced with π and when π is replaced with π . Elements of π are called scalars. The word βscalarβ (which is just a fancy word for βnumberβ) is often used when we want to emphasize that an object is a number, as opposed to a vector (vectors will be defined soon). For πΌ β π and π a positive integer, we define πΌ π to denote the product of πΌ with itself π times: πΌ π = β. πΌβ―πΌ π times This definition implies that π (πΌ π ) = πΌ ππ and (πΌπ½) π = πΌ π π½ π for all πΌ, π½ β π and all positive integers π, π.
π π and π π 5 Lists Before defining π π and π π, we look at two important examples. 1.7 example: π2 and π3 β’ The set π2, which you can think of as a plane, is the set of all ordered pairs of real numbers: π2 = {(π₯, π¦) βΆ π₯, π¦ β π}. β’ The set π3, which you can think of as ordinary space, is the set of all ordered triples of real numbers: π3 = {(π₯, π¦, π§) βΆ π₯, π¦, π§ β π}. To generalize π2 and π3 to higher dimensions, we first need to discuss the concept of lists. 1.8 definition: list, length β’ Suppose π is a nonnegative integer. A list of length π is an ordered collection of π elements (which might 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. Lists are often written as elements Many mathematicians call a list of separated by commas and surrounded by length π an π-tuple. 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: (π§1 , β¦, π§ π ). 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. Thus an object that looks like (π₯1 , π₯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. Lists differ from sets in two ways: in lists, order matters and repetitions have meaning; in sets, order and repetitions are irrelevant. 1.9 example: lists versus sets β’ 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 do not have the same length), although the sets {4, 4} and {4, 4, 4} both equal the set {4}.
Fleepit Digital Β© 2021