Skip to main content

Registration is now open for this year's LibreFest! Join us virtually the week of July 13.

Register here
Mathematics LibreTexts

1.1: What can we expect

  • Page ID
    82475
  • \( \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}\)

    At its heart, the subject of linear algebra is about linear equations and, more specifically, collections of linear equations. Google routinely deals with a collection of trillions of equations each of which has trillions of unknowns. We will eventually understand how to deal with that kind of complexity. To begin, however, we will look at a more familiar situation where we have a small number of equations and a small number of unknowns. In spite of its relative simplicity, this situation is rich enough to demonstrate some fundamental concepts that we will motivate much of our exploration.

    Some simple examples

    Activity \(\PageIndex{1}\).

    With a small number of unknowns, we are able to graph the sets of solutions to linear equations. Here, we will consider collections of equations having two unknowns.

    1. On the plot below, graph the lines
      \begin{equation*} \begin{aligned} y & = x+1 \\ y & = 2x-1\text{.} \\ \end{aligned} \end{equation*}

      At what point or points \((x,y)\text{,}\) do the lines intersect? How many points \((x,y)\) satisfy both equations?

      A coordinate grid and axes where the horizontal and vertical coordinates range from -4 to 4. There are no other features as the reader is asked to graph two lines with this image as a guide.
    • On the plot below, graph the lines
      \begin{equation*} \begin{aligned} y & = x+1 \\ y & = x-1\text{.} \\ \end{aligned} \end{equation*}

      At what point or points \((x,y)\text{,}\) do the lines intersect? How many points \((x,y)\) satisfy both equations?

      A coordinate grid and axes where the horizontal and vertical coordinates range from -4 to 4. There are no other features as the reader is asked to graph two lines with this image as a guide.
    • On the plot below, graph the line
      \begin{equation*} y = x+1\text{.} \end{equation*}

      How many points \((x,y)\) satisfy this equation?

      A coordinate grid and axes where the horizontal and vertical coordinates range from -4 to 4. There are no other features as the reader is asked to graph two lines with this image as a guide.
    • On the plot below, graph the lines
      \begin{equation*} \begin{aligned} y & = x+1 \\ y & = 2x-1 \\ y & = -x. \\ \end{aligned} \end{equation*}

      At what point or points \((x,y)\text{,}\) do the lines intersect? How many points \((x,y)\) satisfy all three equations?

      A coordinate grid and axes where the horizontal and vertical coordinates range from -4 to 4. There are no other features as the reader is asked to graph two lines with this image as a guide.

    The examples in this introductory activity demonstrate several possible outcomes for the solutions to a set of linear equations. Notice that we are interested in points that satisfy each equation in the set and that these are seen as intersection points of the lines. Similar to the examples considered in the activity, three types of outcomes are seen in Figure \(\PageIndex{1}\)

    Three separate graphs are shown. The left graph shows a single line, which contains infinitely many points. This demonstrates that a set of linear equations may have infinitely many solutions. 🔗 The middle graph shows a pair of lines that intersect in a single point, demonstrating that a set of linear equations may contain a single common solution. 🔗 The right graph shows three lines that have no common point of intersection. This shows that a set of linear equations may have no common solutions.

    Figure \(\PageIndex{1}\). Three possibilities for collections of linear equations in two unknowns.

    In this example, we see that

    • With a single equation, there are infinitely many points \((x,y)\) satisfying that equation.
    • Adding a second equation adds another condition we place on the points \((x,y)\) resulting in a single point that satisfies both equations.
    • Adding a third equation adds a third condition on the points \((x,y)\text{,}\) and it is no longer possible to satisfy all three conditions.

    Generally speaking, a single equation will have many solutions, in fact, infinitely many. As we add equations, we add conditions which lead to, in a sense we will make precise later, a smaller number of solutions. Eventually, we have too many equations and find that no points satisfy all of them at the same time.

    This example illustrates a general principle to which we will frequently return.

    Solutions of linear equations.

    Given a collection of linear equations, there are either:

    • infinitely many points,
    • exactly one point, or
    • no points

    that satisfy every equation in the set.

    Notice that we can see a bit more. In Figure \(\PageIndex{1}\), we are looking at equations in two unknowns. Here we see that

    • One equation has infinitely many solutions.
    • Two equations have exactly one solution.
    • Three equations have no solutions.

    It seems reasonable to wonder if the number of solutions depends on whether the number of equations is less than, equal to, or greater than the number of unknowns. Of course, one of the examples in the activity shows that there are exceptions to this simple rule, as seen in Figure \(\PageIndex{2}\). For instance, two equations in two unknowns may correspond to parallel lines so that the set of equations has no solutions. It may also happen that a set of three equations in two unknowns has a single solution. However, it seems safe to think that the more equations we have, the smaller the set of solutions will be.

    which demonstrates the fact that a set of two equations in two unknowns may have no solutions.
    Three lines are shown in the two dimensional plane and intersect in a single point. This demonstrates that a set of three equations in two unknowns may have exactly one solution.
    Figure \(\PageIndex{2}\): A set of two equations in two unknowns can have no solutions, and a set of three equations can have one solution.

    Let’s also consider some examples of equations having three unknowns, which we call 𝑥, 𝑦, and 𝑧. Just as solutions to linear equations in two unknowns formed straight lines, solutions to linear equations in three unknowns form planes.

    When we consider an equation in three unknowns graphically, we need to add a third coordinate axis, as shown in Figure \(\PageIndex{3}\).

    To the left a set of two dimensional coordinate axes labelled by x and y, to the right A set of three dimensional coordinate axes labelled by x, y, and z.

    Figure \(\PageIndex{3}\). Coordinate systems in two and three dimensions.

    As shown in Figure \(\PageIndex{4}\), a linear equation in two unknowns, such as \(y=0\text{,}\) is a line while a linear equation in three unknowns, such as \(z=0\text{,}\) is a plane.

    To the left the solution to the equation y=0  in two dimensions consists of the  x-axis. To the right The solution to the equation z=0 in three dimensions consists of the  xy-plane

    Figure \(\PageIndex{4}\). The solutions to the equation \(y=0\) in two dimensions and \(z=0\) in three.

    In three unknowns, the set of solutions to one linear equation forms a plane. The set of solutions to a pair of linear equations is seen graphically as the intersection of the two planes. As in Figure \(\PageIndex{5}\), we typically expect this intersection to be a line.

    To the left the solutions to one equation in three unknowns form a plane. To the right The set of solutions to two equations in three unknowns is represented by a pair of planes that intersect in a single line.

    Figure \(\PageIndex{5}\). A single plane and the intersection of two planes.

    When we add a third equation, we are looking for the intersection of three planes, which we expect to form a point, as in the left of Figure \(\PageIndex{6}\). However, in certain special cases, it may happen that there are no solutions, as seen on the right.

    To the left a set of solutions to three equations in three unknowns is represented by three planes that intersect in a single point. To This set of three equations in three unknowns is represented by three planes that have no common points of intersection. This demonstrates that a set of three equations in three unknowns may have no solutions. the right

    Figure \(\PageIndex{6}\). Two examples showing the intersections of three planes.

    Activity \(\PageIndex{2}\).

    This activity begins with equations having three unknowns. In this case, we know that the solutions of a single equation form a plane. If it helps with visualization, consider using \(3\times5\) inch index cards to represent planes.

    1. Is it possible that there are no solutions to two linear equations in three unknowns? Either sketch an example or give a reason why it can't happen.
    2. Is it possible that there is exactly one solution to two linear equations in three unknowns? Either sketch an example or give a reason why it can't happen.
    3. Is it possible that the solutions to four equations in three unknowns form a line? Either sketch an example or give a reason why it can't happen.
    4. What would you usually expect for the set of solutions to four equations in three unknowns?
    5. Suppose we have 500 linear equations in 10 unknowns. What would be a reasonable guess for which of the three possibilities for the set of solutions holds?
    6. Suppose we have 10 linear equations in 500 unknowns. What would be a reasonable guess for which of the three possibilities for the set of solutions holds?

    Systems of linear equations

    Now that we have seen some simple examples, let's clarify what we mean by a system of linear equations.

    First, we considered a linear equation having the form

    \[\begin{equation*} y = 2x - 1\text{.} \end{equation*}\]

    It will be convenient for us to rewrite this so that all the unknowns are on one side of the equation:

    \begin{equation*} -2x + y = -1\text{.} \end{equation*}

    Thinking graphically, this gives us the flexibility to describe all lines; for instance, vertical lines, such as \(x=3\text{,}\) may be represented in this form.

    Notice that each term on the left is the product of a constant and the first power of a unknown. In the future, we will want to consider equations having many more unknowns, which we will sometimes denote as \(x_1, x_2, \ldots, x_n\text{.}\) This leads to the following definition:

    Definition \(\PageIndex{1}\)

    A linear equation in the unknowns \(x_1,x_2,\ldots,x_n\) may be written in the form

    \[a_1 x_1+a_2 x_2+\ldots+a_n x_n=b,\]

    where \(a_1,a_2,\ldots,a_n\) are real numbers known as coefficients.

    By a system of linear equations or a linear system, we mean a collection of linear equations written in a common set of unknowns. For example,

    \begin{equation*} \begin{alignedat}{4} 2x_1 & {} + & {} 1.2x_2 & {}-{} & 4x_3 & {}={} & 3.7 \\ -0.1x_1 & {} & {} & {} + {} & x_3 & {}={} & 2 \\ x_1 & {}+{} & x_2 & {}-{} & x_3 & {}={} & 1.4. \\ \end{alignedat} \end{equation*}
    Definition: \(\PageIndex{2}\)

    A solution to a linear system is simply a set of numbers \(x_1 = s_1, x_2 = s_2, \ldots, x_n=s_n\) that satisfy all the equations in the system.

    For instance, we earlier considered the linear system

    \begin{equation*} \begin{alignedat}{3} -x & {}+{} & y & {} = {} & 1 \\ -2x & {}+{} & y & {} = {} & -1. \\ \end{alignedat} \end{equation*}

    To check that \((x,y) = (2,3)\) is a solution, we verify that the following equations are valid.

    \begin{equation*} \begin{alignedat}{3} -2 & {}+{} & 3 & {} = {} & 1 \\ -2(2) & {}+{} & 3 & {} = {} & -1. \\ \end{alignedat} \end{equation*}
    Definition: \(\PageIndex{3}\)

    We call the set of all solutions the solution space of the linear system.

    Activity \(\PageIndex{3}\). Linear equations and their solutions.

    1. Which of the following equations are linear? Please provide a justification for your response.
      1. \begin{equation*} 2x + xy -3y^2 = 2 \text{.} \end{equation*}
      2. \begin{equation*} -2x_1 + 3x_2 +4x_3 - x_5 = 0 \text{.} \end{equation*}
      3. \begin{equation*} x = 3z - 4y \text{.} \end{equation*}
    2. Consider the system of linear equations:
      \begin{equation*} \begin{alignedat}{4} x & {}+{} & y & & & {}={} & 3 \\ & & y & {}-{} & z & {}={} & 2 \\ 2x & {}+{} & y & {}+{} & z & {}={} & 4. \\ \end{alignedat} \end{equation*}
      1. Is \((x,y,z) = (1,2,0)\) a solution?
      2. Is \((x,y,z) = (-2,1,0)\) a solution?
      3. Is \((x,y,z) = (0,-3,1)\) a solution?
      4. Can you find a solution in which \(y = 0\text{?}\)
      5. Do you think there are other solutions? Please explain your response.

    Summary

    The point of this section is to build some intuition about the behavior of solutions to linear systems through consideration of some simple examples. We will develop a deeper and more precise understanding of these phenomena in our future explorations.

    • A linear equation is one that may be written in the form
      \begin{equation*} a_1x_1 + a_2x_2 + \ldots + a_nx_n = b\text{.} \end{equation*}
    • A linear system is a collection of linear equations and a solution is a set of values assigned to each of the unknowns that make each equation true.
    • We came to expect that a linear system has either infinitely many solutions, exactly one solution, or no solutions.
    • When we add more equations to a system, the solution space usually seems to become smaller.

    This page titled 1.1: What can we expect is shared under a CC BY 4.0 license and was authored, remixed, and/or curated by David Austin via source content that was edited to the style and standards of the LibreTexts platform.