Page 250 - Linear Algebra Done Right
P. 250

Volume
                         The theorem above leads to the appearance of determinants in the
                      formula for change of variables in multivariable integration. To de-
                      scribe this, we will again be vague and intuitive. If Ω ⊂ R n  and f is              241
                      a real-valued function (not necessarily linear) on Ω, then the integral
                                          "      "
                      of f over Ω, denoted   f or  f(x) dx, is defined by breaking Ω into
                                           Ω      Ω
                      pieces small enough so that f is almost constant on each piece. On
                      each piece, multiply the (almost constant) value of f by the volume of
                      the piece, then add up these numbers for all the pieces, getting an ap-
                      proximation to the integral that becomes more accurate as we divide
                      Ω into finer pieces. Actually Ω needs to be a reasonable set (for ex-
                      ample, open or measurable) and f needs to be a reasonable function
                      (for example, continuous or measurable), but we will not worry about
                                                                  "
                      those technicalities. Also, notice that the x in  f(x) dx is a dummy
                                                                  Ω
                      variable and could be replaced with any other symbol.
                                                                                     n
                                       n
                         Fix a set Ω ⊂ R and a function (not necessarily linear) σ : Ω → R .
                      We will use σ to make a change of variables in an integral. Before we
                      can get to that, we need to define the derivative of σ, a concept that
                      uses linear algebra. For x ∈ Ω, the derivative of σ at x is an operator  If n = 1, then the
                              n
                      T ∈L(R ) such that                                                  derivative in this sense
                                                                                          is the operator on R of
                                            σ(x + y) − σ(x) − Ty
                                       lim                         = 0.                   multiplication by the
                                       y→0            y                                   derivative in the usual
                                                                                          sense of one-variable
                                             n
                      If an operator T ∈L(R ) exists satisfying the equation above, then
                                                                                          calculus.
                      σ is said to be differentiable at x.If σ is differentiable at x, then
                                                         n
                      there is a unique operator T ∈L(R ) satisfying the equation above
                      (we will not prove this). This operator T is denoted σ (x). Intuitively,

                      the idea is that for x fixed and  y  small, a good approximation to
                                                                        n
                      σ(x+y) is σ(x)+ σ (x) (y) (note that σ (x) ∈L(R ), so this makes


                      sense). Note that for x fixed the addition of the term σ(x) does not
                      change volumes. Thus if Γ is a small subset of Ω containing x, then

                      volume σ(Γ) is approximately equal to volume σ (x) (Γ).

                                                           n
                         Because σ is a function from Ω to R , we can write

                                          σ(x) = σ 1 (x),...,σ n (x) ,
                      where each σ j is a function from Ω to R. The partial derivative of σ j
                      with respect to the k th  coordinate is denoted D k σ j . Evaluating this
                      partial derivative at a point x ∈ Ω gives D k σ j (x).If σ is differentiable
                      at x, then the matrix of σ (x) with respect to the standard basis of R n
   245   246   247   248   249   250   251   252   253   254   255