Skip to main content
Mathematics LibreTexts

Linear Transformations

  • Page ID
    218323
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\dsum}{\displaystyle\sum\limits} \)

    \( \newcommand{\dint}{\displaystyle\int\limits} \)

    \( \newcommand{\dlim}{\displaystyle\lim\limits} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \(\newcommand{\longvect}{\overrightarrow}\)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)

    General Linear Transformations

    Definition

    We have seen that a linear transformation L from Rn to Rm is a function with domain Rn, range a subset of Rm satisfying

            1)  L(u + v)  =  L(u) + L(v)             2)  L(cu)  =  cL(u)

    for any vectors u and v and scalar c.

    We can use the analogous definition for a linear transformation of vector spaces.


    Definition

    Let V and W be vector spaces.  Then a linear transformation from V to W is a function with domain V and range a subset of W satisfying

            1)  L(u + v)  =  L(u) + L(v)             2)  L(cu)  =  cL(u)

    for any vectors u and v  in V and scalar c.


    Examples

    Example

    Let V be the vector space of (infinitely) differentiable functions and define D to be the function from V to V given by

           D(f(t))  =  f '(t)

    Then D is a linear transformation since

            D(f(t) + g(t))  =  (f(t) + g(t))'  =  f '(t) + g'(t)  =  D(f(t)) + D(g(t))

    and

            D(cf(t))  =  (cf(t))'  =  c f '(t)  =  cD(f(t))


    Example

    Let V be the space of continuous functions and define I to be the function from V to V given by

            \(  I(f(t) = \int_0^t f(x) dx \)

    Then I is a linear transformation.  (Check this)


    Example

    Let V be M2x2 and W be P3 then define L to be the function from V to W with

            \(  L \begin{pmatrix} a & b \\ c & d \end{pmatrix} = at^3 + bt^2 + ct + d  \)

    Then L is a linear transformation since

              \( L[ \begin{pmatrix} a_1 & b_1 \\ c_1 & d_1 \end{pmatrix} + \begin{pmatrix} a_2 & b_2 \\ c_2 & d_2 \end{pmatrix} ] = L[ \begin{pmatrix} a_1 + a_2 & b_1 + b_2 \\ c_1 + c_2 & d_1 + d_2 \end{pmatrix} ]\)

            =  (a1 + a2)t3 + (b1 + b2)t2 + (c1 + c2)t + (d1 + d2)

            =  a1t3 + b1t2 + c1t + d1 + a2t3 + b2t2 + c2t + d2

             \(  = L[ \begin{pmatrix} a_1 & b_1 \\ c_1 & d_1 \end{pmatrix} ] + L[\begin{pmatrix} a_2 & b_2 \\ c_2 & d_2 \end{pmatrix} ] \)

    and

            

            \(  L k \begin{pmatrix} a & b \\ c & d \end{pmatrix} =\begin{pmatrix} ka & kb \\ kc & kd \end{pmatrix} = kat^3 + kbt^2 + kct + kd  \)

            \(  k(at^3 + bt^2 + ct + d) = k L  \begin{pmatrix} a & b \\ c & d \end{pmatrix}   \)


    Example

    Let V  =  P2 and let W be the real numbers.  Show that the function L from V to W defined by

            L(at2 + bt + c)  =  abc

    is not a linear transformation.

     

    Solution

     We can pick just about any example and show that either the first or second property does not hold.  For example, let

            v  =  2t2 + 3t + 4        and        c  =  5

    then

            L(cv)  =  L(10t2 + 15t + 20)  =  (10)(15)(20)  =  3000

    and

            cL(v)  =  5L(2t2 + 3t + 4)  =  5(2)(3)(4)  =  120

    since these are not equal, L is not a linear transformation.


    Properties

    When we looked at linear transformations from Rn to Rm, we stated and proved several properties.  A close look at these proofs will show that they only used the properties of vector spaces and linearity.  We now state the properties.  For each of the theorems below, assume that L is a linear transformation from a vector space V to a vector space W, and u, v, v1, v2, ... ,vn are vectors in V.

    Theorem

    1.  L(0)  =  0

    2.  L(u - v)  =  L(u) - L(v)

    3.  L(c1v1 + c2v2 + ... + cnvn)  =  c1L(v1) + c2L(v2) + ... + cnL(vn

    We will prove statement 3 and leave the rest for you.  We prove the statement by induction.

    For n  =  1, the statement is just property 2 of a linear transformation.

            L(c1v1)  =  c1L(v1)

    Now assume that the statement is true for n  =  k.  Then

            L(c1v1 + c2v2 + ... + ckvk)  =  c1L(v1) + c2L(v2) + ... + ckL(vk

    We have

            L(c1v1 + c2v2 + ... + ckvk + ck+1vk+1)  

            =  L((c1v1 + c2v2 + ... + ckvk) + ck+1vk+1

            =  L(c1v1 + c2v2 + ... + ckvk) + L(ck+1vk+1)  

            =   c1L(v1) + c2L(v2) + ... + ckL(vk) + ck+1L(vk+1)  

    So by mathematical induction the theorem is true.


    We have seen that general linear transformations behave the same as linear transformation from Rn to Rm.  The next theorem solidifies this fact.

    Theorem

    Let S  =  {v1, v2, ... ,vn} be a basis for V.  And let L be a linear transformation from V to a vector space W.  Then L is completely determined by the image of the basis S.

    This means that if we know L(, L(v2), ... ,L(vn) then we know L(v) for any vector v.

     

    Proof

    If v is a vector in V, then since S is a basis, we can write

            v  =  c1v1 + c2v2 + ... + ckvk 

    so that

            L(v)  =  L(c1v1 + c2v2 + ... + ckvk)  

            =  c1L(v1) + c2L(v2) + ... + ckL(vk

     

    Example

    Let L be the linear transformation from P1 to M2x2 such that 

             \(  L(1 + t) = \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix}  \)      \(  L(1 - t) = \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}  \)

    Find L(3 + t).

     

    Solution

    We need to find the coordinates of v  =  3 + t with respect to the basis S  =  {1 + t, 1 - t}.  We have 

             \(  [v]_S = \begin{pmatrix} 1 & 1 \\ 1 & -1 \end{pmatrix}^{-1} \begin{pmatrix} 3 \\ 1 \end{pmatrix} = \begin{pmatrix} \frac{1}{2} & \frac{1}{2} \\ \frac{1}{2} & -\frac{1}{2} \end{pmatrix} \begin{pmatrix} 3 \\ 1 \end{pmatrix} = \begin{pmatrix} 2 \\ 1 \end{pmatrix}  \)

    so that 

            v  =  2(1 + t) + 1(1 - t)

    and

            L(v)  =  L(2(1 + t) + 1(1 - t))  =  2L(1 + t) + L(1 - t)

            \(   = 2\begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix}  + \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix} = \begin{pmatrix} 2 & 1 \\ 1 & 2 \end{pmatrix} \)

     



    Back to the Matrices and Vectors Page

     

     

    Linear Transformations is shared under a CC BY license and was authored, remixed, and/or curated by LibreTexts.

    • Was this article helpful?