Key Functions and Their Properties

This section introduces some of the most important real functions used in mathematics.

  • Identity Function:

    • Definition: f(x)=xf(x) = x.
    • Domain: R\mathbb{R}, Range: R\mathbb{R}
  • Constant Function:

    • Definition: f(x)=cf(x) = c, where c is a constant.
    • Domain: R\mathbb{R}, Range: {c}\{c\}
  • Modulus Function:

    • Definition: f(x)=x={x,x0x,x<0f(x) = |x| = \begin{cases}x, & x \ge 0\\ -x, & x < 0\end{cases}
    • Domain: R\mathbb{R}, Range: [0,)[0, \infty)
  • Signum Function:

    • Definition: f(x)={1,if x>00,if x=01,if x<0f(x) = \begin{cases}1, & if\ x > 0\\ 0, & if\ x = 0\\ -1, & if\ x < 0\end{cases}
    • Domain: R\mathbb{R}, Range: {1,0,1}\{-1, 0, 1\}
  • Greatest Integer Function (GIF):

    • Definition: f(x)=[x]f(x) = [x]. It returns the greatest integer less than or equal to x.
    • Domain: R\mathbb{R}, Range: Z\mathbb{Z} (the set of all integers).
  • Even and Odd Functions:

    • Even Function: A function is even if f(x)=f(x)f(-x) = f(x) for all x in its domain (e.g., f(x)=x2f(x)=x^2). Its graph is symmetric about the y-axis.
    • Odd Function: A function is odd if f(x)=f(x)f(-x) = -f(x) for all x in its domain (e.g., f(x)=x3f(x)=x^3). Its graph is symmetric about the origin.

Example 1: Domain of a Combined Function

Question: Find the domain of the function f(x)=x2+1log10(4x)f(x) = \sqrt{x-2} + \frac{1}{\log_{10}(4-x)}.

Solution: We need to satisfy three conditions:

  1. For x2\sqrt{x-2} to be defined, x20    x2x-2 \ge 0 \implies x \ge 2.
  2. For log10(4x)\log_{10}(4-x) to be defined, 4x>0    x<44-x > 0 \implies x < 4.
  3. For the denominator not to be zero, log10(4x)0    4x1    x3\log_{10}(4-x) \ne 0 \implies 4-x \ne 1 \implies x \ne 3. Combining all conditions, we need x2x \ge 2, x<4x < 4, and x3x \ne 3. The domain is [2,4){3}[2, 4) - \{3\}, which can also be written as [2,3)(3,4)[2, 3) \cup (3, 4).

Example 2: Range of a Modulus Function

Question: Find the range of f(x)=x1+x3f(x) = |x-1| + |x-3|.

Solution: We analyze this piecewise. The critical points are x=1 and x=3.

  • Case 1: x<1x < 1: f(x)=(x1)(x3)=2x+4f(x) = -(x-1) - (x-3) = -2x+4. As x1x \to 1^-, f(x)2f(x) \to 2. As xx \to -\infty, f(x)f(x) \to \infty. So on this interval, the range is (2,)(2, \infty).
  • Case 2: 1x31 \le x \le 3: f(x)=(x1)(x3)=2f(x) = (x-1) - (x-3) = 2. On this interval, the function is constant at 2.
  • Case 3: x>3x > 3: f(x)=(x1)+(x3)=2x4f(x) = (x-1) + (x-3) = 2x-4. As x3+x \to 3^+, f(x)2f(x) \to 2. As xx \to \infty, f(x)f(x) \to \infty. So on this interval, the range is (2,)(2, \infty). Combining all cases, the minimum value is 2, and it can go to infinity. The range is [2,)[2, \infty).

Example 3: Solving an Equation with GIF

Question: Solve the equation [x]25[x]+6=0[x]^2 - 5[x] + 6 = 0, where [x][x] is the Greatest Integer Function.

Solution: Let y=[x]y=[x]. The equation becomes y25y+6=0y^2-5y+6=0. Factoring gives (y2)(y3)=0(y-2)(y-3)=0. So, y=2y=2 or y=3y=3. This means [x]=2[x]=2 or [x]=3[x]=3.

  • If [x]=2[x]=2, then by definition, 2x<32 \le x < 3.
  • If [x]=3[x]=3, then by definition, 3x<43 \le x < 4. The complete solution set is the union of these two intervals: [2,4)[2, 4).

Example 4: Even and Odd Functions

Question: Determine if the function f(x)=log(1x1+x)f(x) = \log(\frac{1-x}{1+x}) is even, odd, or neither.

Solution: We evaluate f(x)f(-x): f(x)=log(1(x)1+(x))=log(1+x1x)f(-x) = \log\left(\frac{1-(-x)}{1+(-x)}\right) = \log\left(\frac{1+x}{1-x}\right) Using the logarithm property log(a/b)=log(b/a)\log(a/b) = -\log(b/a): f(x)=log(1x1+x)=f(x)f(-x) = -\log\left(\frac{1-x}{1+x}\right) = -f(x) Since f(x)=f(x)f(-x) = -f(x), the function is odd.

Example 5: Range of a Rational Function

Question: Find the range of the function f(x)=x2+x+1x2x+1f(x) = \frac{x^2+x+1}{x^2-x+1}.

Solution: Let y=x2+x+1x2x+1y = \frac{x^2+x+1}{x^2-x+1}. Cross-multiply: y(x2x+1)=x2+x+1    (y1)x2(y+1)x+(y1)=0y(x^2-x+1) = x^2+x+1 \implies (y-1)x^2 - (y+1)x + (y-1) = 0. Since x is a real number, the discriminant of this quadratic in x must be greater than or equal to zero. D=((y+1))24(y1)(y1)0D = (-(y+1))^2 - 4(y-1)(y-1) \ge 0. (y+1)24(y1)20(y+1)^2 - 4(y-1)^2 \ge 0. (y2+2y+1)4(y22y+1)0(y^2+2y+1) - 4(y^2-2y+1) \ge 0. 3y2+10y30    3y210y+30-3y^2+10y-3 \ge 0 \implies 3y^2-10y+3 \le 0. Factoring gives (3y1)(y3)0(3y-1)(y-3) \le 0. The roots are y=1/3y=1/3 and y=3y=3. Since the parabola is upward-opening, the expression is less than or equal to 0 between the roots. The range is [1/3,3][1/3, 3].