Skip to main content

BASIC MATHEMATICS FOR NATURAL SCIENCES UNDERGRADUATE STUDENT TEXTBOOK

Section 3.2 Real Valued functions and their properties

After completing this section, the student should be able to:
Let \(f\) be a function from set \(A\) to set \(B\text{.}\) If \(B\) is a subset of the set of real numbers \(\Re\text{,}\) then \(f\) is called a real valued function, and in particular if \(A\) is also a subset of \(\Re\text{,}\) then \(f:A \rightarrow B\) is called a real function.

Example 3.2.1.

  1. The function \(f:\Re \rightarrow \Re\) defined by \(f(x) = x^{2} + 3x + 7\text{,}\) \(x \in \Re\) is a real function.
  2. The function \(f:\Re \rightarrow \Re\) defined as \(f(x) = \left| x \right|\) is also a real valued function.
Functions are not numbers. But just as two numbers \(a\) and \(b\) can be added to produce a new number \(a + b\text{,}\) so two functions \(f\) and \(g\) can be added to produce a new function \(f + g\text{.}\) This is just one of the several operations on functions that we will describe in this section.
Consider functions \(f\) and \(g\) defined by \(f(x) = \frac{x - 3}{2}\) and \(g(x) = \sqrt{x}\text{.}\) We can make a new function \(f + g\) by having it assign to \(x\) the value \(\frac{x - 3}{2} + \sqrt{x}\text{,}\) that is,
\((f + g)(x) = f(x) + g(x) = \frac{x - 3}{2} + \sqrt{x}\) .

Definition 3.2.2. Sum, Difference, Product and Quotient of two functions.

Let \(f(x)\) and \(g(x)\) be two functions. We define the following four functions:
  1. \((f + g)(x) = f(x) + g(x) \qquad\) The sum of the two functions
  2. \((f - g)(x) = f(x) - g(x) \qquad\) The difference of the two functions
  3. \((f \cdot g)(x) = f(x)g(x) \qquad\) The product of the two functions
  4. \(\left( \frac{f}{g} \right)(x) = \frac{f(x)}{g(x)} \qquad\) The quotient of the two functions (provided \(g(x) \neq 0)\)
Since an \(x -\)value must be an input into both \(f\) and \(g\text{,}\) the domain of \((f + g)(x)\) is the set of all \(x\) common to the domain of \(f\) and \(g\text{.}\) This is usually written as \(Dom(f + g) = Dom(f) \cap Dom(g)\text{.}\) Similar statements hold for the domains of the difference and product of two functions. In the case of the quotient, we must impose the additional restriction that all elements in the domain of \(g\) for which \(g(x) = 0\) are excluded.

Example 3.2.3.

Let \(f(x) = 3x^{2} + 2\) and \(g(x) = 5x - 4\text{.}\) Find each of the following and its domain
  1. \(\displaystyle (f + g)(x)\)
  2. \(\displaystyle (f - g)(x)\)
  3. \(\displaystyle (f\text{.}g)(x)\)
  4. \(\displaystyle \left( \frac{f}{g} \right)(x)\)
Solution.
  1. \((f + g)(x) = f(x) + g(x) = (3x^{2} + 2) + (5x - 4) =\)\(3x^{2} + 5x - 2\)
  2. \((f - g)(x) = f(x) - g(x) = (3x^{2} + 2) - (5x - 4) =\)\(3x^{2} - 5x + 6\)
  3. \((f \cdot g)(x) = (3x^{2} + 2)(5x - 4) =\)\(\text{15}x^{3} - \text{12}x^{2} + \text{10}x - 8\)
  4. \(\left( \frac{f}{g} \right)(x) = \frac{f(x)}{g(x)} =\)\(\frac{3x^{2} + 2}{5x - 4}\)
We have
\(\text{Dom}(f + g) = \text{Dom}(f-g) = \text{Dom}(fg) = \text{Dom}(f) \cap \text{Dom}(g)=\Re \cap \Re=\Re\)
\(\text{Dom}\left( \frac{f}{g} \right) = [\text{Dom}(f) \cap \text{Dom}(g)] {\left\{ x: g(x) = 0 \right\}} = \Re \left\{ \frac{5}{4} \right\}\)

Example 3.2.4.

Let \(f(x) = \sqrt[4]{x + 1}\) and \(g(x) = \sqrt{9 - x^{2}}\text{,}\) with respective domains \(\lbrack - 1,\infty)\) and \(\lbrack - 3,3\rbrack\text{.}\) Find formulas for \(f + g,\ f - g,\ f \cdot g,\frac{f}{g}\) and \(f^{3}\) and give their domains.
Solution.
Formula Domain
\((f + g)(x) = f(x) + g(x) = \sqrt[4]{x + 1} + \sqrt{9 - x^{2}}\) \([-1,3]\)
\((f - g)(x) = f(x) - g(x) = \sqrt[4]{x + 1} - \sqrt{9 - x^{2}}\) \([-1,3]\)
\((f \cdot g)(x) = f(x) \cdot g(x) = \sqrt[4]{x + 1} \cdot \sqrt{9 - x^{2}}\) \([-1,3]\)
\(\left( \frac{f}{g} \right)(x) = \frac{f(x)}{g(x)} = \frac{\sqrt[4]{x + 1}}{\sqrt{9 - x^{2}}}\) \([-1,3]\)
\(f^{3}(x) = \left( f(x) \right)^{3} = \left( \sqrt[4]{x + 1} \right)^{3} = \left( x + 1 \right)^{\frac{3}{4}}\) \(\left.\lbrack - 1,\infty \right)\)
There is yet another way of producing a new function from two given functions.

Definition 3.2.5. (Composition of functions).

Given two functions \(f(x)\) and \(g(x)\text{,}\) the composition of the two functions is denoted by \(f \circ g\) and is defined by:
\((f \circ g)(x) = f\lbrack g(x)\rbrack\text{.}\)
\((f \circ g)(x)\) is read as \(\text{f\}\ \{}\) composed with \(g\) of \(x\text{\}\ \{}\text{.}\)\(\)The domain of \(f \circ g\) consists of those \(x^{'}\)s in the domain of \(g\) whose range values are in the domain of \(f\text{,}\) i.e. those \(x^{'}\)s for which \(g(x)\) is in the domain of \(f\text{.}\)

Example 3.2.6.

Suppose \(f = \left\{ (2,z),(3,q) \right\}\) and \(g = \left\{ (a,2),(b,3),(c,5) \right\}\text{.}\) The function \((f \circ g)(x) = f(g(x))\) is found by taking elements in the domain of \(g\) and evaluating as follows:
\((f \circ g)(a)=f(g(a))=f(2)=z\text{,}\) \((f \circ g)(b)=f(g(b))=f(3)=q\)
If we attempt to find \(f(g(c))\) we get \(f(5)\text{,}\) but \(5\) is not in the domain of \(f(x)\) and so we cannot find \((f \circ g)(c)\text{.}\) Hence, \(f \circ g = \left\{ (a,z),(b,q) \right\}\text{.}\) The figure below illustrates this situation.

Example 3.2.7.

Given \(f(x) = 5x^{2} - 3x + 2\) and \(g(x) = 4x + 3\text{,}\) find
  1. \(\displaystyle (f \circ g)( - 2)\)
  2. \(\displaystyle (g \circ f)(2)\)
  3. \(\displaystyle (f \circ g)(x)\)
  4. \(\displaystyle (g \circ f)(x)\)
Solution.
  1. \((f \circ g)( - 2) = f(g( - 2))\)…… First evaluate \(g( - 2) = 4( - 2) + 3 = - 5\)
    \(= f( - 5)\)
    \(= 5( - 5)^{2} - 3( - 5) + 2 = \text{142}\)
  2. \((g \circ f)(2) = g(f(2))\)…….First evaluate \(f(2) = 5(2)^{2} - 3(2) + 2 = \text{16}\)
    \(= g(\text{16})\)
    \(= 4(\text{16}) + 3 = \text{67}\)
  3. \((f \circ g)(x) = f(g(x))\)……. But \(g(x) = 4x + 3\)
    \(= f(4x + 3)\)
    \(= 5(4x + 3)^{2} - 3(4x + 3) + 2\)
    \(= \text{80}x^{2} + \text{108}x + \text{38}\)
  4. \((g \circ f)(x) = g(f(x))\)……. But \(f(x) = 5x^{2} - 3x + 2\)
    \(= g(5x^{2} - 3x + 2)\)
    \(= 4(5x^{2} - 3x + 2) + 3\)
    \(= \text{20}x^{2} - \text{12}x + \text{11}\)

Example 3.2.8.

Given \(f(x) = \frac{x}{x + 1}\) and \(g(x) = \frac{2}{x - 1}\text{,}\) find
  1. \((f \circ g)(x)\) and its domain
  2. \((g \circ f)(x)\) and its domain
Solution.
  1. \((f \circ g)(x) = f\left( \frac{2}{x - 1} \right) = \frac{\frac{2}{x - 1}}{\frac{2}{x - 1} + 1} = \frac{2}{x + 1}\text{.}\) Thus, \(\text{Dom}(f \circ g) = \left\{ x:x \neq \pm 1 \right\}\text{.}\)
  2. \((g \circ f)(x) = g(f(x)) = \frac{2}{\frac{x}{x + 1} - 1} = - 2x - 2\text{.}\) Since \(x\) must first be an input into \(f(x)\) and so must be in the domain of \(f\text{,}\) we see that \(\text{Dom}(g \circ f) = \left\{ x:x \neq - 1 \right\}\text{.}\)

Example 3.2.9.

Let \(f(x) = \frac{6x}{x^{2} - 9}\) and \(g(x) = \sqrt{3x}\text{.}\) Find \((f \circ g)(\text{12})\) and \((g \circ f)(x)\) and its domain.
Solution.
We have \((f \circ g)(\text{12}) = f(g(\text{12})) = f(\sqrt{\text{36}}) = f(6) = \frac{\text{36}}{\text{27}} = \frac{4}{3}\text{.}\)
\((f \circ g)(x) = f(g(x)) = f(\sqrt{3x}) = \frac{6\sqrt{3x}}{(\sqrt{3x})^{2} - 9} = \frac{6\sqrt{3x}}{3x - 9} = \frac{2\sqrt{3x}}{x - 3}\text{.}\)
The domain of \(f \circ g\) is \(\lbrack [0,3) \cup (3,\infty)\text{.}\)
We now explore the meaning of equality of two functions. Let \(f:A \rightarrow B\) and \(g:A \rightarrow B\) be two functions. Then, \(f\) and \(g\) are subsets of \(A \times B\text{.}\) Suppose \(f = g\text{.}\) Let \(x\) be any element of \(A\text{.}\) Then, \((x,f(x)) \in f = g\) and thus \((x,f(x)) \in g\text{.}\) Since \(g\) is a function and \((x,f(x)),\)\((x,g(x)) \in g\text{,}\) we must have \(f(x) = g(x)\text{.}\) Conversely, assume that \(g(x) = f(x)\) for all \(x \in A\text{.}\) Let \((x,y) \in f\text{.}\) Then, \(y = f(x) = g(x)\text{.}\) Thus, \((x,y) \in g\text{,}\) which implies that \(f \subseteq g\text{.}\) Similarly, we can show that \(g \subseteq f\text{.}\) It now follows that \(f = g\text{.}\) Thus two functions \(f:A \rightarrow B\) and \(g:A \rightarrow B\) are equal if and only if \(f(x) = g(x)\) for all \(x \in A\text{.}\) In general we have the following definition.

Example 3.2.11.

  1. Let \(f:Z \rightarrow Z^{+} \cup \left\{ 0 \right\}\) and \(g:Z \rightarrow Z^{+} \cup \left\{ 0 \right\}\) be defined by \(f = \left\{ (n,n^{2}):n \in Z \right\}\) and \(g = \left\{ (n,\left| n \right|^{2}):n \in Z \right\}\text{.}\) Now, for all \(n \in Z\text{,}\) \(f(n) = n^{2} = \left| n \right|^{2} = g(n)\text{.}\) Thus, \(f = g\text{.}\)
  2. Let \(f(x) = \frac{x^{2} - \text{25}}{x - 5},\ x \in \Re \setminus \{ 5\} \text{,}\) and \(g(x) = x + 5,\ x \in \Re\text{.}\) The function \(f\) and \(g\) are not equal because \(\text{Dom}(f) \neq \text{Dom}(g)\text{.}\)

Exercises Exercises

4.

Let \(f(x) = 5x - 3\text{.}\) Find \(g(x)\) so that \((f \circ g)(x) = 2x + 7\text{.}\)

5.

Let \(f(x) = 2x + 1\text{.}\) Find \(g(x)\) so that \((f \circ g)(x) = 3x - 1\text{.}\)

6.

If \(f\) is a real function defined by \(f(x) = \frac{x - 1}{x + 1}\text{.}\) Show that \(f(2x) = \frac{3f(x) + 1}{f(x) + 3}\text{.}\)

Checkpoint 3.2.12.

Add review
 1 
docs.google.com/forms/d/e/1FAIpQLSfSNI6CXkmgeSZJh6v0WKkeD9MJ9g4pEQ9r0JaowD4ovNxj5w/viewform?usp=pp_url&entry.699375810=questions%2Ftop%2FMathematics-for-NS-%26-SS-23-24-Question-Bank%2FFunctions-%28NS-and-SS%29%2FReal-valued-functions-and-their-properties%2FDomain-and-Range-of-a-Function_3.xml&entry.2077830997=source%2Ffunctions%2Fsections%2Fsec-real-valued-functions-and-their.ptx

Checkpoint 3.2.13.

Add review
 2 
docs.google.com/forms/d/e/1FAIpQLSfSNI6CXkmgeSZJh6v0WKkeD9MJ9g4pEQ9r0JaowD4ovNxj5w/viewform?usp=pp_url&entry.699375810=questions%2Ftop%2FMathematics-for-NS-%26-SS-23-24-Question-Bank%2FFunctions-%28NS-and-SS%29%2FReal-valued-functions-and-their-properties%2FDomain-and-Range-of-a-Function_2.xml&entry.2077830997=source%2Ffunctions%2Fsections%2Fsec-real-valued-functions-and-their.ptx

Checkpoint 3.2.14.

Add review
 3 
docs.google.com/forms/d/e/1FAIpQLSfSNI6CXkmgeSZJh6v0WKkeD9MJ9g4pEQ9r0JaowD4ovNxj5w/viewform?usp=pp_url&entry.699375810=questions%2Ftop%2FMathematics-for-NS-%26-SS-23-24-Question-Bank%2FFunctions-%28NS-and-SS%29%2FReal-valued-functions-and-their-properties%2FDomain-and-Range-of-a-Function.xml&entry.2077830997=source%2Ffunctions%2Fsections%2Fsec-real-valued-functions-and-their.ptx

Checkpoint 3.2.15.

Add review
 4 
docs.google.com/forms/d/e/1FAIpQLSfSNI6CXkmgeSZJh6v0WKkeD9MJ9g4pEQ9r0JaowD4ovNxj5w/viewform?usp=pp_url&entry.699375810=questions%2Ftop%2FMathematics-for-NS-%26-SS-23-24-Question-Bank%2FFunctions-%28NS-and-SS%29%2FReal-valued-functions-and-their-properties%2FComposition-of-Functions.xml&entry.2077830997=source%2Ffunctions%2Fsections%2Fsec-real-valued-functions-and-their.ptx