A function is a rule that assigns exactly one output to every allowed input. The rule may be expressed with a formula, table, graph, mapping, or description.
Learning objectives
You will identify functions, use function notation, determine domains and ranges, evaluate and interpret outputs, and distinguish input restrictions from output behavior.
The defining condition
A relation is a function if every input in domain is paired with exactly one output in codomain . Different inputs may share an output. One input may not have two outputs.
The notation
means “the output of at input .” It does not mean multiplied by .
If
then
Domain and range
The domain is the set of permitted inputs. The range is the set of outputs actually produced.
For
is excluded because it makes the denominator zero. For
real-valued inputs require .
Context can impose additional restrictions. A formula for cost may algebraically accept negative item counts while the physical model does not.
Representations
A graph represents a function when each vertical line intersects it at most once. This vertical-line test checks the single-output condition visually.
A table is a function if no input appears with conflicting outputs. Repeated outputs are allowed.
Inputs can be expressions
If , then
not . Function notation instructs us to replace every occurrence of the input variable.
A function is a dependency statement
Calling a function of asserts that choosing an allowed determines one and only one . It does not assert that the rule has a simple formula. A temperature record, a lookup table, and a piecewise rule can all define functions.
The independent/dependent language is useful in applications, but domain and output are more precise. Time may be the input in a motion model because position is recorded at each time. In a different question, position might be the input used to infer time. The mathematical role follows the mapping being studied.
Determine the domain before calculating
For a real-valued formula, denominators cannot equal zero and even roots cannot receive negative radicands. Consider
The radical requires , while the denominator requires . The domain is
These restrictions must be combined: satisfying only one condition is insufficient. A contextual domain can be narrower. If counts manufactured parts, negative and noninteger inputs may be excluded even when the formula accepts them.
Composition tracks a chain of dependence
If transforms an input and acts on the result, the composite is
Order matters. Let and . Then
The expressions differ because the operations occur in a different sequence. The domain of a composite contains inputs allowed by whose outputs are allowed by .
Inverse functions reverse a mapping
An inverse function exists only when each output in the relevant range identifies exactly one input. The function on all real numbers is not one-to-one because . Restricting its domain to produces an inverse, .
Do not confuse with . The superscript names the inverse mapping, not a reciprocal. A correct inverse satisfies both on the original domain and on the original range.
Common mistakes
- Reading as multiplication.
- Assuming every relation is a function.
- Confusing the codomain with the range.
- Ignoring domain restrictions.
- Substituting into only one occurrence of a variable.
Test Your Knowledge
- For , find and solve .
- State the real domain of .
- Is a function?
- Find the domain of .
- If and , find and .
Solutions
- ; solving gives .
- , so .
- No. Input has outputs and .
- The square root requires , but the denominator may not be zero. Therefore , or .
- , while . The unequal results show that composition is order-dependent.
Connection forward
Graphs reveal how outputs change with inputs. Calculus will later formalize that change through limits and derivatives.
Sources
- OpenStax, College Algebra 2e, chapters on functions, composition, and inverse functions.
- National Council of Teachers of Mathematics, Principles and Standards for School Mathematics, algebra standard.