piecewise linear

Let’s extend our composition of linear functions to piecewise linear functions. Let and be two piecewise linear functions as defined below.

Graph of .

Let’s create the composition .

This means the range of needs to be inside the domain of . Since there are two pieces to each of and , let’s follow the pieces separately. The chart below shows the parts of the range of coming from the individual linear pieces as well as the parts of the domain of . We can see that there are numbers in the full range of that are not in the full domain of .

For instance, is in the range of and not in the domain of .

We have two numbers in the domain of that maps to . One from each piece.

We cannot include these in the domain of the composition, because they would result in , which is not defined.

Therefore, we cannot include nor in the composition domain we are constructing.

What other numbers from the domain of do we need to leave out?

We need to map the domain of back onto the range of , find the intersection, and then work our way back into the domain of , in order to restrict the domain of to just the numbers that work in the composition.

First, let’s map the domain of back to the range of . We need to see what each piece is doing. So, we’ll plot the domain of on the vertical axis of the graph of .

The intersection is .

These are the common intervals in both the domain of and range of .

Now we need to connect these up to the domain of . Which parts of the domain of does map to these intervals?

Let’s follow the endpoints backwards through to the domain of .

Focusing on the interval endpoints (included or excluded) of this intersection, we need the preimages of , , , and in the domain of .

has two pieces.

The interval is in both pieces of the range of . It has a preimage from each piece.

Let’s examine each piece separately. First, .

  • What is the preimage of ?
  • What is the preimage of ?

Graphically, we begin at on the vertical axis. It is the lowest endpoint. We follow it to the right to the graph of . Once we hit the graph, we move up until we hit the horizontal axis. Graphically, it appears to be around .

Graphically, we begin at on the vertical axis. It is the top endpoint of the lower interval. We follow it to the left to the graph of . Once we hit the graph, we move up until we hit the horizontal axis. Graphically, it appears to be around .

Let’s see if our graphical approximations are close to the actual values.

We guessed fairly well from the graph. We now have the preimage of the bottom interval through one piece of the formula for .

We get the interval .

Now for the other piece of .

The other piece of is .

What is the preimage of ?

  • What is the preimage of ?
  • What is the preimage of ?

Graphically, we begin at on the vertical axis. It is the lowest endpoint. We follow it to the right to the other piece of the graph of . Once we hit the graph, we move up until we hit the horizontal axis. Graphically, it appears to be around .

Graphically, we begin at on the vertical axis. It is the top endpoint of the lower interval. We follow it to the right to the graph of . Once we hit the graph, we move up until we hit the horizontal axis. Graphically, it appears to be around .

Let’s see if our graphical approximations are close to the actual values.

We guessed fairly well from the graph. We now have the preimage of the bottom interval through the second piece of the formula for .

We get the interval .

Now for the other interval in the range of .

The interval has a preimage on only one piece.
and have preimages only through .

  • What is the preimage of ?
  • What is the preimage of ?

Graphically, we begin at on the vertical axis. It is the lower endpoint of the top interval. We follow it to the right to the larger piece of the graph of . Once we hit the graph, we move down until we hit the horizontal axis. Graphically, it appears to be around .

Graphically, we begin at on the vertical axis. It is the upper endpoint of the top interval of our intersection (not the top of , but the top of our common interval). We follow it to the right to the graph of . Once we hit the graph, we move down until we hit the horizontal axis. Graphically, it appears to be around .

Let’s see if our graphical approximations are close to the actual values.

We guessed fairly well from the graph. We now have the preimage of the top interval through the larger piece of .

We get the interval .

The domain of is

This is inside the full domain of . It is not the full domain of . We needed to leave some domain numbers out, because the full domain of would give the full range of , which was bigger than the domain of .

There are three pieces to the domain of our composition:

The composition will have a formula for each piece.

ooooo=-=-=-=-=-=-=-=-=-=-=-=-=ooOoo=-=-=-=-=-=-=-=-=-=-=-=-=ooooo
more examples can be found by following this link
More Examples of Piecewise Composition