Every function has boundaries. Some inputs work, others do not. The square root function refuses negative numbers. The reciprocal function cannot accept zero. A function modeling time accepts no moments before the clock starts.
The domain is the complete set of inputs for which the function produces valid output. It answers the question: what values can this function actually process? Finding the domain means identifying every restriction — every value that causes division by zero, every radicand that turns negative, every argument that falls outside the reach of the rule.
What is Domain
The domain of a function is the set of all inputs for which the function produces a valid output. It includes every value that can be substituted into the function and yield a real number result.
A function is not just a rule — it is a rule together with a domain. The expression f(x)=x2 describes a rule, but the function is not complete until the domain is specified. Often the domain is implicit: all real numbers for which the formula makes sense. Sometimes it is explicitly restricted to match a context or application.
The domain answers a simple question: what can go in? For f(x)=2x+5, any real number works — there are no divisions, no roots, no restrictions. The domain is all real numbers, written (−∞,∞) in interval notation or R in set notation.
For f(x)=1/x, the input x=0 fails because division by zero is undefined. Every other real number works. The domain is all real numbers except zero: (−∞,0)∪(0,∞).
The domain is distinct from the range, which describes outputs rather than inputs. Together they frame the complete input-output picture of a function.
Expressing Domain
Domain can be expressed in several equivalent notations, each suited to different contexts.
Interval notation uses parentheses and brackets to describe continuous sets. A parenthesis excludes the endpoint; a bracket includes it. The interval [2,5) contains all numbers from 2 to 5, including 2 but excluding 5. The interval (−∞,3] contains all numbers up to and including 3. Infinity always takes a parenthesis because infinity is not a number that can be reached.
Set-builder notation describes the domain by a defining property. The set {x∣x≥0} reads "the set of all x such that x is greater than or equal to zero." This notation handles complex conditions that intervals cannot easily express.
Inequality notation states the condition directly: x≥0 or −3<x≤7. This form appears often in contexts where the domain restriction is being derived or explained.
Graphical representation shows the domain on a number line. A solid dot marks an included endpoint; an open dot marks an excluded one. Shading indicates the included values.
Disconnected domains use union notation. The domain (−∞,−1)∪(1,∞) consists of all numbers less than −1 together with all numbers greater than 1, excluding everything in between.
Natural Domain vs Restricted Domain
The natural domain of a function is the largest set of real numbers for which the formula produces real output. It is determined entirely by the algebraic expression — no external constraints, no contextual limitations.
For f(x)=x−3, the natural domain is [3,∞) because the radicand x−3 must be non-negative. For g(x)=ln(x), the natural domain is (0,∞) because logarithms require positive arguments. The natural domain follows from the mathematics alone.
A restricted domain is a deliberate limitation imposed beyond what the formula requires. The function f(x)=x2 has natural domain (−∞,∞), but restricting to [0,∞) makes the function one-to-one, which is necessary for constructing an inverse.
Context often restricts domain. A function modeling the height of a projectile might be h(t)=−16t2+64t, which algebraically accepts any real t. But if the projectile launches at t=0 and lands at t=4, the meaningful domain is [0,4]. Negative time and post-landing time carry no physical significance.
The implied domain is the natural domain assumed when no domain is explicitly stated. Unless context or instruction specifies otherwise, assume the domain is as large as the formula allows.
Finding Domain: Rational Functions
A rational function is a ratio of two polynomials. The fundamental restriction is that the denominator cannot equal zero — division by zero is undefined.
To find the domain of a rational function, set the denominator equal to zero and solve. The solutions are the excluded values; everything else is in the domain.
For f(x)=x−2x+3, set x−2=0 to find x=2. The domain is all real numbers except 2:
(−∞,2)∪(2,∞)
For g(x)=x2−95, factor the denominator: x2−9=(x−3)(x+3). Setting each factor to zero gives x=3 and x=−3. The domain is:
(−∞,−3)∪(−3,3)∪(3,∞)
For h(x)=x2+1x, the denominator x2+1 is always positive — it has no real roots. No value of x makes it zero. The domain is all real numbers: (−∞,∞).
The numerator does not affect domain. A zero in the numerator makes the function equal zero, which is a valid output. Only zeros in the denominator create exclusions.
Finding Domain: Radical Functions
Radical functions involve roots — square roots, cube roots, fourth roots, and so on. The domain restrictions depend on whether the root index is even or odd.
Even roots (square root, fourth root, sixth root) require the radicand to be non-negative. Negative numbers have no real even roots. For f(x)=x−5, the radicand x−5 must satisfy x−5≥0, giving x≥5. The domain is [5,∞).
Odd roots (cube root, fifth root) accept any real number. The cube root of −8 is −2, a perfectly valid real number. For g(x)=3x−5, no restriction applies. The domain is (−∞,∞).
More complex radicands require solving inequalities. For f(x)=6−2x, set 6−2x≥0:
6≥2x
3≥x
The domain is (−∞,3].
Nested radicals compound the restrictions. For f(x)=x−1, both layers impose conditions. The inner radical requires x≥0. The outer radical requires x−1≥0, which means x≥1, so x≥1. The domain is [1,∞).
Finding Domain: Logarithmic Functions
Logarithmic functions require their argument to be strictly positive. The logarithm of zero is undefined, and the logarithm of a negative number has no real value.
For f(x)=log(x) or f(x)=ln(x), the domain is (0,∞) — all positive real numbers.
When the argument is an expression, set that expression greater than zero and solve. For f(x)=ln(x−4), require x−4>0:
x>4
The domain is (4,∞).
For g(x)=log(3−x), require 3−x>0:
3>x
The domain is (−∞,3).
Quadratic or factorable arguments require careful sign analysis. For h(x)=ln(x2−4), factor: x2−4=(x−2)(x+2). This expression is positive when x<−2 or x>2. The domain is:
(−∞,−2)∪(2,∞)
Note the strict inequality: unlike square roots, logarithms exclude the boundary where the argument equals zero.
Finding Domain: Trigonometric Functions
The basic trigonometric functions sine and cosine accept all real numbers — they have no domain restrictions. But tangent, cotangent, secant, and cosecant are defined as ratios, and ratios fail when the denominator is zero.
Tangent is defined as tan(x)=sin(x)/cos(x). It is undefined where cos(x)=0, which occurs at x=2π+nπ for any integer n. The domain excludes these points.
Secant is sec(x)=1/cos(x), undefined at the same points as tangent.
Cotangent is cot(x)=cos(x)/sin(x), undefined where sin(x)=0: at x=nπ for any integer n.
Cosecant is csc(x)=1/sin(x), undefined at the same points as cotangent.
Inverse trigonometric functions have restricted domains matching the ranges of the original functions. The function arcsin(x) requires −1≤x≤1. The function arccos(x) has the same restriction. The function arctan(x) accepts all real numbers.
When trigonometric functions appear inside other operations, combine the restrictions. For f(x)=sin(x), the domain consists of all x where sin(x)≥0 — the intervals where the sine function is non-negative.
Finding Domain: Combined Functions
When multiple operations appear in a single function, every restriction applies simultaneously. The domain is the intersection of all individual requirements.
For f(x)=x−3x, two restrictions arise. The square root requires x≥0. The denominator requires x=3. Both must hold, so the domain is [0,3)∪(3,∞).
For g(x)=ln(x−1)+5−x, the logarithm requires x−1>0, giving x>1. The square root requires 5−x≥0, giving x≤5. The intersection is (1,5].
For h(x)=x−21, the square root requires x−2≥0, and the denominator requires x−2=0. Together these demand x−2>0, so x>2. The domain is (2,∞).
A systematic approach prevents errors: list each operation that imposes a restriction, solve each restriction separately, then intersect all the resulting conditions. Overlapping constraints narrow the domain; contradictory constraints can eliminate it entirely.
Domain from Graph
When a function is given as a graph rather than a formula, the domain is read as the horizontal extent — the set of x-values for which the graph exists.
Trace the graph from left to right. Where does it start? Where does it end? Does it continue indefinitely in either direction? The answers define the domain.
Solid dots indicate included endpoints. If the graph ends at a solid dot at x=3, then 3 is in the domain, and the interval is closed at that end: use a bracket.
Open dots indicate excluded endpoints. If the graph ends at an open dot at x=3, then 3 is not in the domain, and the interval is open at that end: use a parenthesis.
Vertical asymptotes signal domain exclusions. If the graph approaches but never touches a vertical line at x=2, then 2 is not in the domain. The domain splits into separate intervals on either side of the asymptote.
Gaps in the graph appear as breaks — intervals where no curve exists. A graph defined for x<−1 and x>1 but missing in between has domain (−∞,−1)∪(1,∞).
Arrows at the ends of a graph indicate indefinite continuation. An arrow pointing right means the graph extends toward +∞; an arrow pointing left means it extends toward −∞.
Domain from Context
When a function models a real-world situation, the context imposes restrictions that pure algebra does not.
Time is typically non-negative. A function h(t) giving the height of a ball after t seconds has no meaning for t<0. The domain starts at t=0, regardless of whether the formula accepts negative values.
Quantities like length, area, population, and count must be non-negative. A function A(r)=πr2 giving the area of a circle requires r≥0, even though the formula works for negative r.
Physical upper bounds also restrict domain. A function modeling the number of items produced in a day has a maximum determined by capacity. A function for temperature in a specific experiment operates within measured bounds.
Discrete quantities may restrict the domain to integers. A function P(n) giving profit based on n units sold makes sense only for whole numbers n=0,1,2,3,…
Contextual domain is a modeling decision, not a calculation. It requires understanding what the variables represent and what values are meaningful in the situation. A formula may allow x=−5, but if x represents the number of employees, that value is nonsense.