The Domain of a Function

The Basic Concept of a Domain

The domain of a function

The domain (Domain) is the set of all values of the independent variable for which the function is meaningful, usually written D(f)D(f) or DD.

For a function y=f(x)y = f(x), the domain is the set of all xx values for which the function expression makes sense.

Methods for Finding the Domain of a Function

1. The Domain of a Rational Function

For a rational function, the denominator must not be zero.

Example 1: find the domain of f(x)=1x−2f(x) = \frac{1}{x-2}.

Solution: for the function to be meaningful we need x−2≠0x - 2 \neq 0, that is, x≠2x \neq 2.

Hence the domain is (−∞,2)∪(2,+∞)(-\infty, 2) \cup (2, +\infty).

2. The Domain of a Radical Function

For an even root, the radicand must be non-negative.

Example 2: find the domain of f(x)=x−1f(x) = \sqrt{x-1}.

Solution: for the function to be meaningful we need x−1≥0x - 1 \geq 0, that is, x≥1x \geq 1.

Hence the domain is [1,+∞)[1, +\infty).

Example 3: find the domain of f(x)=4−x2f(x) = \sqrt{4-x^2}.

Solution: for the function to be meaningful we need 4−x2≥04 - x^2 \geq 0, that is, x2≤4x^2 \leq 4.

Solving the inequality: −2≤x≤2-2 \leq x \leq 2.

Hence the domain is [−2,2][-2, 2].

3. The Domain of a Logarithmic Function

For a logarithmic function, the argument must be positive.

Example 4: find the domain of f(x)=log⁡2(x+3)f(x) = \log_2(x+3).

Solution: for the function to be meaningful we need x+3>0x + 3 > 0, that is, x>−3x > -3.

Hence the domain is (−3,+∞)(-3, +\infty).

4. The Domain under Combined Conditions

When a function contains several restrictions, all of them have to be satisfied at once.

Example 5: find the domain of f(x)=x−1x−3f(x) = \frac{\sqrt{x-1}}{x-3}.

Solution: for the function to be meaningful we need to satisfy at the same time:

  • x−1≥0x - 1 \geq 0 (the condition for the radical)
  • x−3≠0x - 3 \neq 0 (the condition for the fraction)

that is:

  • x≥1x \geq 1
  • x≠3x \neq 3

Hence the domain is [1,3)∪(3,+∞)[1, 3) \cup (3, +\infty).

Ways of Writing a Domain

A domain can be written in any of the following ways:

  1. Interval notation: [a,b][a, b], (a,b)(a, b), [a,+∞)[a, +\infty) and so on
  2. Set-builder notation: {x∣x≥1,x≠3}\{x | x \geq 1, x \neq 3\}
  3. Inequality notation: x≥1x \geq 1 and x≠3x \neq 3

The Domains of Common Functions

Type of functionGeneral formCondition on the domain
Polynomial functionf(x)=anxn+⋯+a1x+a0f(x) = a_nx^n + \cdots + a_1x + a_0R\mathbb{R} (all real numbers)
Rational functionf(x)=P(x)Q(x)f(x) = \frac{P(x)}{Q(x)}Q(x)≠0Q(x) \neq 0
Even root functionf(x)=g(x)2nf(x) = \sqrt[2n]{g(x)}g(x)≥0g(x) \geq 0
Odd root functionf(x)=g(x)2n+1f(x) = \sqrt[2n+1]{g(x)}R\mathbb{R}
Logarithmic functionf(x)=log⁡ag(x)f(x) = \log_a g(x)g(x)>0g(x) > 0, a>0a > 0 and a≠1a \neq 1

Exercises

Exercise 1

Find the domain of f(x)=1x−2+x+1f(x) = \frac{1}{x-2} + \sqrt{x+1}.

the domain of a functiona composite function

Approach:

The two parts have to be considered separately:

  • the fraction 1x−2\frac{1}{x-2}: the denominator must not be zero
  • the radical x+1\sqrt{x+1}: the radicand must be non-negative

Steps:

  1. For 1x−2\frac{1}{x-2}, we need x−2≠0x-2 \neq 0, that is, x≠2x \neq 2
  2. For x+1\sqrt{x+1}, we need x+1≥0x+1 \geq 0, that is, x≥−1x \geq -1
  3. Combine the two conditions: x≥−1x \geq -1 and x≠2x \neq 2

Answer: The domain is [−1,2)∪(2,+∞)[-1, 2) \cup (2, +\infty)

Exercise 2

Find the domains of the following functions:

  1. f(x)=log⁡2(3x−6)f(x) = \log_2(3x - 6)
  2. g(x)=x−13g(x) = \sqrt[3]{x - 1}
  3. h(x)=x+2x2−9h(x) = \frac{\sqrt{x + 2}}{x^2 - 9}
the domain of a functionlogarithmic functionsodd roots

Approach:

Solve each one according to the domain requirements of a logarithmic function, of an odd root function, and of a composite function respectively.

Steps:

  1. For f(x)=log⁡2(3x−6)f(x) = \log_2(3x - 6):

    • a logarithmic function requires the argument to be positive
    • 3x−6>03x - 6 > 0
    • 3x>63x > 6
    • x>2x > 2
    • the domain is (2,+∞)(2, +\infty)
  2. For g(x)=x−13g(x) = \sqrt[3]{x - 1}:

    • an odd root function puts no restriction on the radicand
    • the domain is R\mathbb{R}
  3. For h(x)=x+2x2−9h(x) = \frac{\sqrt{x + 2}}{x^2 - 9}:

    • the radical requires x+2≥0x + 2 \geq 0, that is, x≥−2x \geq -2
    • the denominator requires x2−9≠0x^2 - 9 \neq 0, that is, x≠±3x \neq \pm 3
    • combining: x≥−2x \geq -2 and x≠3x \neq 3 (the value x=−3x = -3 is already excluded by x≥−2x \geq -2)
    • the domain is [−2,3)∪(3,+∞)[-2, 3) \cup (3, +\infty)

Answer:

  1. (2,+∞)(2, +\infty)
  2. R\mathbb{R}
  3. [−2,3)∪(3,+∞)[-2, 3) \cup (3, +\infty)

Summary

Symbols Used in This Article

SymbolTypePronunciation/ExplanationMeaning in This Article
D(f)D(f)Mathematical symbolD of fThe domain of the function ff
DDMathematical symbolDThe domain of the function
y=f(x)y = f(x)Mathematical formulay equals f of xThe general way of writing a function
x\sqrt{x}Mathematical symbolsquare root of xThe square root of xx
xn\sqrt[n]{x}Mathematical symboln-th root of xThe nn-th root of xx
log⁡ax\log_a xMathematical symbollogarithm base a of xThe logarithm of xx to base aa
R\mathbb{R}Mathematical symboldouble-struck R (Real numbers)Denotes the set of real numbers
[a,b][a, b]Mathematical symbolclosed intervalInterval notation including the endpoints
(a,b)(a, b)Mathematical symbolopen intervalInterval notation excluding the endpoints
[a,b)[a, b)Mathematical symbolhalf-open intervalInterval notation with the left end closed and the right end open
(a,b](a, b]Mathematical symbolhalf-open intervalInterval notation with the left end open and the right end closed
(−∞,+∞)(-\infty, +\infty)Mathematical symbolinfinite intervalInterval notation for all real numbers
∪\cupMathematical symbolunion symbolDenotes the union of two sets

Found an issue with this content?

Tell us what could be improved.