31 Function Notation, Domain, and Range

Function Notation, Domain, and Range is the study of the symbolic system used to name and evaluate functions compactly, together with the formal identification of a function's complete set of allowable inputs and the resulting set of outputs those inputs produce.

The Structure of Function Notation

Function notation names a function with a single letter, most commonly f, and writes f(x) to denote the output the function produces for a given input x, read aloud as "f of x." This notation replaces the more cumbersome "y =" convention with a form that makes explicit which function is being referenced and which variable is being treated as the input, which becomes essential once more than one function is under discussion simultaneously. The expression f(x) = 2x + 3 defines a function named f whose rule is "double the input and add 3," and this same rule could be renamed g(x) or h(x) without changing its mathematical content, allowing several distinct functions to be discussed side by side without ambiguity.

Evaluating a Function Numerically

Evaluating f(a) for a specific numerical value a means substituting a for every occurrence of x in the function's rule and simplifying, exactly as in ordinary expression evaluation, with the result representing the single output paired with input a.

The notation f(4) = 11 records both the input and the corresponding output simultaneously, functioning as a more descriptive alternative to the ordered pair (4, 11), and this equivalence between function notation and ordered pairs allows the two representations to be converted into one another whenever convenient.

Identifying a Finite Domain

When a function is defined by a finite set of ordered pairs or a table, its domain is simply the complete set of input values (x-values) that appear, and its range is the complete set of output values (y-values, or f(x)-values) that appear, each listed without repetition. For the function {(1, 3), (2, 5), (3, 3)}, the domain is {1, 2, 3} and the range is {3, 5}, with the value 3 listed only once in the range even though it occurs as an output for two different inputs, since a set does not record duplicate elements.

Identifying a Finite Range

Determining a finite range requires evaluating or reading the output paired with every input in the domain and collecting the distinct values produced, which is a separate process from determining the domain and should not be assumed to mirror it; a function can have a domain of three values and a range of only two if two different inputs happen to share the same output, as permitted by the function criterion.

Stated Domains and Generated Ranges

Some functions are given with an explicitly stated domain, restricting the inputs under consideration to a specified finite set, such as f(x) = x² with domain {-2, -1, 0, 1, 2}. In this case, the corresponding range is generated by evaluating the function's rule at each domain value in turn: f(-2) = 4, f(-1) = 1, f(0) = 0, f(1) = 1, f(2) = 4, producing the range {0, 1, 4} once duplicate output values are collapsed into a single listed value.

Domains of Elementary Function Rules

When a function's domain is not explicitly stated, it is understood by convention to include every real number for which the function's rule produces a defined, real output — this is called the function's natural domain. A polynomial rule such as f(x) = 3x² - x + 1 has a natural domain of all real numbers, since every real input produces a defined real output. A rational rule such as f(x) = 1/(x - 2) has a natural domain excluding x = 2, since that input would require dividing by zero. A square-root rule such as f(x) = √x has a natural domain restricted to x ≥ 0, since negative inputs would require taking the square root of a negative number within the real numbers.

Verifying Function Notation Statements

A function notation statement such as f(3) = 10 is verified by substituting the input directly into the function's defining rule and confirming the simplified result matches the claimed output. Confirming a domain or range claim requires checking, for a stated finite domain, that every listed input has been evaluated and every distinct resulting output has been included in the range exactly once; for a natural domain, confirming that every excluded value genuinely causes an undefined result (such as division by zero) and that every included value genuinely produces a defined result.

Diagnosing Function Notation Errors

Common errors in this area include misreading f(x) as multiplication of f and x rather than as a single notation naming a function's output, substituting an input value into only part of a function's rule, listing a repeated output value more than once when stating a range, and assuming a function's domain matches its range in size or content without separately verifying each set. Because f(x) is a unified symbol rather than a product, careful, deliberate substitution of the entire input value everywhere x appears in the rule is the standard practice that prevents most notation-related errors.