Real Numbers:Absolute Value

From Department of Mathematics at UTSA
Revision as of 13:12, 19 October 2021 by Lila (talk | contribs) (Created page with "== Absolute Values == ''Absolute Values'' represented using two vertical bars, <math>\vert</math>, are common in Algebra. They are meant to signify the number's distance from...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Absolute Values

Absolute Values represented using two vertical bars, , are common in Algebra. They are meant to signify the number's distance from 0 on a number line. If the number is negative, it becomes positive. And if the number was positive, it remains positive:


For a formal definition:

This can be read aloud as the following:

If , then
If , then

The formal definition is simply a declaration of what the function represents at certain restrictions of the -value. For any , the output of the graph of the function on the plane is that of the linear function . If , then the output is that of the linear function .

For our purposes, it does not technically matter whether or . As long as you pick one and are consistent with it, it does not matter how this is defined. By convention, it is usually defined as in the beginning formal definition.

Please note that the opposite (the negative, -) of a negative number is a positive. For example, the opposite of is . Usually, some books and teachers would refer to opposite number as the negative of the given magnitude. For convenience, this may be used, so always keep in mind this shortcut in language.

Properties of the Absolute Value Function

We will define the properties of the absolute value function. This will be important to know when taking the CLEP exam since it can drastically speed up the process of solving absolute value equations. Finally, the practice problems in this section will test you on your knowledge on absolute value equations. We recommend you learn these concepts to the best of your abilities. However, this will not be explicitly necessary by the time one takes the exam.

Domain and Range

Let whose mapping is . By definition,

.

Because it can only be the case that and , it is not possible for . However, since has no restriction, the domain, , has no restriction. Thus, if represents the range of the function, then and . Template:Calculus/Def By the above definition, there exists an absolute minimum to the parent function, and it exists at the origin,

Even or odd?

Recall the definition of an even and an odd function. Let there be a function

If and , then is even.
If and , then is odd.

Template:ExampleRobox Let . By definition,

.

Suppose . Let .

Template:Robox/Close Because is even, it is also the case that it is symmetrical. A review of this can be found here (Graphs and Their Properties).

One-to-one and onto?

Recall the definitions of injective and surjective.

If , and , then is injective.
If for all there is an such that , then is surjective.

Template:ExampleRobox Suppose and . By the previous proof, we showed is even. As such, we can use the value to make the following statement:

Therefore, is non-injective. Template:Robox/Close Because we have not established how to prove these statements through algebraic manipulation, we will be deriving properties as we go to gain a further understanding of these new functions. Establishing whether a function is surjective is simply through checking the definition (negating if otherwise to establish it as non-surjective). Template:ExampleRobox Suppose . There exists an element , for which for all . Template:Robox/Close A review of the definitions can be found here (Definition and Interpretations of Functions).

Intercepts and Inflections of the Parent Function

Figure 1: graphed on the first and second quadrant (above the axis), showing only the positive values.

With all the information provided from the previous sections, we can derive the graph of the parent function . It is even, and therefore, symmetrical about the -axis since there is an -intercept at . Finally, because we know the domain and range, we know the minimum of the function is at , and we know the definition of the function, we can easily show that the graph of is the following image to the right (Figure 1).

A summary of what you should see from the graph is this:

  • Domain: .
  • Range: .
  • There is an absolute minimum at .
  • There is one -intercept at .
  • There is one -intercept at .
  • The graph is even and symmetrical about the -axis.
  • The graph is non-injective and non-surjective.
  • The graph has no inflection point.

Transformations of the Parent Function

Many times, one will not be working with the parent function. Many real life applications of this function involve at least some manipulation to either the input or the output: vertical stretching/contraction, horizontal stretching/contraction, reflection about the -axis, reflection about the -axis, and vertical/horizontal shifting. Luckily, not much changes when it comes to the manipulation of these functions. The exceptions will be talked about in more detail:

Template:Calculus/Def

Template:Calculus/Def

Template:Calculus/Def

The properties not listed above are exceptions to the general rule about functions found in the chapter Algebra of Functions. The exceptions are not anything substantial. The only difference with what we found generally versus what we have provided above are simply a result of what we found in the previous section.

  • There is no reflection about the -axis because the function is even and symmetrical.
  • There is no horizontal expansion and contraction because it gives the same result as vertical expansion and contraction (this will be proven later).

We now have all the information we will need to know about absolute value functions now.

Graphing Absolute Value Functions

This subsection is absolutely not optional. You will be asked these questions very explicitly, so it is a good idea to understand this section. If you didn't read the previous subsection, you are not going to understand how any of this makes sense.

Fortunately, the idea behind graphing any arbitrary function is mostly dependent on what you know about the function. Therefore, we can easily be able to graph functions. These examples should hopefully be further confirmation of what you learned in Algebra of Functions.

Template:ExampleRobox

Method 1: Follow procedure from Algebra of Functions

This method will work for any arbitrary function. However, it will not always be the quickest method for absolute value functions. We follow the following steps. Let be the parent function and .

  1. Factor so that .
  2. Horizontally shift to the left/right by .
  3. Horizontally contract/expand by .
  4. Vertically expand/contract/flip by .
  5. Vertically shift upward/downward by .

Since has , , , and , we may apply these steps as given to get to our desired result. As this should be review, we will not be meticulously graphing each step. As such, only the final function (and the parent function in red) will be shown.

Method 3: Find absolute minimum or maximum, graph one half, reflect.

While method 1 will always work for any arbitrary, continuous function, method 3 is fastest for the absolute value function that composes a linear function.

First, we should try to find the vertex. We know from Algebra of Functions that the only thing that will affect the location of the vertex in even functions is the term on the inner composed linear function and the vertical shift of the entire function, .

Rewriting the absolute value equation as shown below will allow us to find the vertex of the function.

This then tells us the vertex is at .

This method then tells us to graph the slopes. However, how should that work? Recall the formal definition of an arbitrary absolute value function:

In the above definition of a general absolute value function, . This means that where the -value implies a vertex on the function, that is how we restrict absolute value function.

In our instance, , for which , so . We can say, thusly, that

 :

To be continued.

Template:Robox/Close