Functions and Function Notation - Quantitative Reasoning

SECTION 1

Historical Context & Motivation

The idea that one quantity can systematically depend on another is so fundamental to modern mathematics that it is easy to forget how long it took to formalize. Ancient Babylonian scribes recorded tables pairing grain quantities with tax amounts, implicitly using functional relationships centuries before anyone articulated the concept. Greek geometers such as Euclid studied curves whose points satisfied specific geometric conditions, yet they never isolated the abstract notion of a function as an independent object of study. The journey from implicit tables to the modern f(x) notation we use today spans more than two millennia and reflects a gradual shift from concrete computation toward abstract reasoning.

c. 2000 BCE • Babylonian Tables

Mesopotamian scribes create clay tablets pairing inputs (e.g., side lengths) with outputs (e.g., areas), the earliest recorded functional relationships.

1673 • Leibniz Introduces 'Function'

Gottfried Wilhelm Leibniz uses the Latin word functio to describe quantities that depend on a variable, marking the term's first mathematical appearance.

1734 • Euler's f(x) Notation

Leonhard Euler popularizes the notation f(x) in his work, giving mathematicians a compact, universal shorthand for expressing functional dependence.

1837 • Dirichlet's Modern Definition

Peter Gustav Lejeune Dirichlet proposes that a function is any rule assigning each input exactly one output, freeing the concept from explicit formulas and broadening its scope dramatically.

1960s–Present • Standardized Testing Era

Function notation becomes a cornerstone of standardized assessments such as the GRE, SAT, and GMAT, testing the ability to evaluate, compose, and reason about abstract mappings.

Why does this matter for the GRE? The exam consistently tests whether you can move fluently between a function's definition, its notation, and its evaluation. A question might define a novel symbol—say, a ♦ b = a² − 2b—and ask you to compute a specific value. Without a confident grasp of what functions are and how notation encodes them, such problems become unnecessarily opaque. This section lays the groundwork for that fluency.

SECTION 2

Core Principles & Definitions

At its heart, a function is a rule that assigns to every element in one set (the domain) exactly one element in another set (the range). The critical constraint is the word exactly one: a single input can never produce two different outputs. This single-valuedness is what distinguishes a function from a more general relation. When we write f(x) = 3x + 1, we are naming the rule 'f', declaring that it operates on an input 'x', and specifying the output as 3x + 1. The parentheses in f(x) do not denote multiplication; they denote evaluation—feeding x into the machine called f.

Domain

The set of all permissible inputs. For f(x) = 1/(x − 2), the domain excludes x = 2 because division by zero is undefined.

Range

The set of all possible outputs. For g(x) = x², the range is all non-negative real numbers [0, ∞) because squaring never yields a negative.

Function Notation

The expression f(x) names both the rule and the input. Evaluating f(3) means replacing every x in the rule with 3 and simplifying.

Vertical Line Test

On a coordinate graph, a curve represents a function if and only if every vertical line crosses it at most once—ensuring one output per input.

Composition

Given f and g, the composite (f ∘ g)(x) = f(g(x)) feeds the output of g into f. Order matters: f(g(x)) ≠ g(f(x)) in general.

✦

KEY TAKEAWAY

Think of a function as a vending machine. You insert a specific coin (input), press a button (the rule), and receive exactly one item (output). If the same coin could dispense either a soda or a candy bar at random, the machine would not be a function—it violates the one-input, one-output guarantee. On the GRE, whenever you see f(x), picture this machine: identify what goes in, what the rule does, and what comes out.

SECTION 3

Visual Explanation — The Function Machine

The diagram above illustrates how the function f(x) = 2x + 1 processes four different inputs from the domain (left), applies the rule (center), and produces unique outputs in the range (right). Notice that every arrow from the domain leads to exactly one destination—no branching.

The visual above reinforces the most important structural feature: each element of the domain connects to one and only one element of the range. A relation that maps x = 4 to both y = 2 and y = −2 (as the equation y² = x does) fails the function test because a single input produces two outputs. On the GRE, recognizing this distinction quickly can save significant time. When a problem states 'let f be a function,' you can immediately assume single-valuedness—exploiting that guarantee to simplify algebraic manipulations and eliminate impossible answer choices.

SECTION 4

Mathematical Framework

Function notation provides a compact algebraic language for expressing dependence. The GRE tests several specific operations on functions, each building on the evaluation concept. Mastering the notation means internalizing a small set of formal rules and applying them fluidly under time pressure.

FUNCTION EVALUATION

f(a) = [replace every x in the rule with a, then simplify]

If f(x) = x² − 4x + 7, then f(3) = (3)² − 4(3) + 7 = 9 − 12 + 7 = 4. The parentheses around the substituted value are essential to preserve correct order of operations, especially for negative inputs.

FUNCTION COMPOSITION

(f ∘ g)(x) = f(g(x))

Evaluate the inner function g(x) first, then feed that result into f. For f(x) = 2x and g(x) = x + 3: (f ∘ g)(4) = f(g(4)) = f(7) = 14. Order matters—(g ∘ f)(4) = g(f(4)) = g(8) = 11.

ARITHMETIC OF FUNCTIONS

(f + g)(x) = f(x) + g(x), (f · g)(x) = f(x) · g(x), (f/g)(x) = f(x)/g(x) [g(x) ≠ 0]

Functions can be added, subtracted, multiplied, and divided point-wise. The domain of the resulting function is the intersection of the original domains, excluding any x-values where a denominator equals zero.

INVERSE FUNCTION

If f(a) = b, then f⁻¹(b) = a

The inverse function reverses the mapping. To find f⁻¹ algebraically: write y = f(x), swap x and y, then solve for y. The superscript −1 is not an exponent—f⁻¹(x) ≠ 1/f(x).

⚠

GRE NOTATION TRAP

The GRE frequently defines custom operations using unusual symbols (e.g., x ⊕ y = x² + 2xy). These are simply functions in disguise. Treat the symbol as a function name, identify the inputs, and substitute mechanically. Do not let unfamiliar notation slow you down—every custom symbol question reduces to evaluation by substitution.

SECTION 5

Classifying Functions on the GRE

While the GRE Quantitative section does not require you to name function families by their formal classifications, recognizing common types allows you to predict behavior, sketch rough graphs mentally, and verify answers quickly. Below is a taxonomy of the function types most frequently encountered on the exam, along with a visual comparison of their graphs.

Four common function types are plotted on the same axes: a linear function (straight line), a quadratic function (parabola), an absolute value function (V-shape), and an exponential function (rapid growth curve). Each passes the vertical line test.

Function Type	General Form	Key Feature	GRE Relevance
Linear	`f(x) = mx + b`	Constant rate of change (slope m)	Slope-intercept problems, rate questions
Quadratic	`f(x) = ax² + bx + c`	Parabola with vertex; at most 2 roots	Max/min problems, completing the square
Absolute Value	`f(x) = \|ax + b\|`	V-shaped graph; outputs always ≥ 0	Distance and inequality questions
Exponential	`f(x) = a · bˣ`	Rapid growth or decay; always positive if a > 0	Growth/decay word problems
Piecewise	Different rules for different intervals	Graph may have breaks or direction changes	Evaluation at boundary points

Function types most commonly tested on the GRE Quantitative section.

SECTION 6

Worked Example — GRE-Style Function Problem

Let us walk through a multi-step problem that integrates evaluation, composition, and algebraic reasoning—precisely the blend the GRE favors.

ℹ

PROBLEM STATEMENT

Let f(x) = 3x − 5 and g(x) = x² + 2. Find the value of f(g(2)) − g(f(2)).

Full Solution

1
Step 1 — Evaluate g(2)

Substitute x = 2 into g(x) = x² + 2: g(2) = (2)² + 2 = 4 + 2.

g(2) = 6
2
Step 2 — Evaluate f(g(2)) = f(6)

Now feed the result 6 into f: f(6) = 3(6) − 5 = 18 − 5.

f(g(2)) = 13
3
Step 3 — Evaluate f(2)

Substitute x = 2 into f(x) = 3x − 5: f(2) = 3(2) − 5 = 6 − 5.

f(2) = 1
4
Step 4 — Evaluate g(f(2)) = g(1)

Feed the result 1 into g: g(1) = (1)² + 2 = 1 + 2.

g(f(2)) = 3
5
Step 5 — Compute the Difference

f(g(2)) − g(f(2)) = 13 − 3. This confirms that composition is not commutative—the order of f and g matters.

Final Answer: 10

💡

STRATEGY NOTE

On composition problems, always work inside out. Evaluate the innermost function first and use its numeric result as the input for the outer function. Writing intermediate results clearly on your scratch paper prevents the most common error: accidentally applying the wrong function first.

SECTION 7

Common Pitfalls & Notation Comparisons

Many GRE errors arise not from lack of algebraic skill but from misreading notation. The table below contrasts frequently confused notational elements and clarifies their distinct meanings. Internalizing these distinctions is one of the highest-leverage study investments you can make.

Notation	What It Means	Common Mistake
`f(x)`	The output of function f when the input is x	Interpreting as f multiplied by x
`f(a + b)`	Evaluate f at the single input (a + b)	Splitting into f(a) + f(b)—only valid for linear f
`f⁻¹(x)`	The inverse function that reverses f's mapping	Computing 1/f(x) (the reciprocal, not the inverse)
`(f ∘ g)(x)`	f(g(x)) — evaluate g first, then f	Evaluating f first, then g (reversed order)
`f(x²)`	Square x first, then feed result into f	Confusing with [f(x)]² = f(x) × f(x)

Frequently confused function notations on the GRE.

✦

KEY TAKEAWAY

Functions are generally not distributive over addition. The equation f(a + b) = f(a) + f(b) holds only for the specific class of linear functions passing through the origin (f(x) = mx). For quadratics, exponentials, and nearly every other type, this 'distributive split' produces the wrong answer. When in doubt, substitute the entire expression as one block.

SECTION 8

Connection to Advanced Quantitative Reasoning

The function concept you have learned here is the gateway to virtually every advanced topic in quantitative reasoning. On the GRE itself, functions connect directly to coordinate geometry (where you graph f(x) in the xy-plane), data interpretation (where charts encode functional relationships), and even probability (where probability distributions assign outputs to events). Beyond the GRE, graduate coursework in economics, computer science, statistics, and the natural sciences all rest on a fluent understanding of functional relationships.

Concept in This Lesson	Advanced Extension	Where It Appears
Domain restrictions	Continuity and limits in calculus	Graduate math, engineering
Composition f(g(x))	Chain rule in differentiation	Calculus, physics, machine learning
Inverse functions	Logarithms (inverse of exponentials)	Statistics, data science
Custom symbol operations	Abstract algebra (binary operations on groups)	Graduate mathematics
Vertical line test	Parametric and implicit functions	Multivariable calculus, CAD

How foundational function concepts scale into advanced topics.

The GRE's treatment of functions remains at the level of evaluation, composition, and basic algebraic manipulation—you will not need calculus or abstract algebra on test day. However, understanding that these concepts are the foundations of a vast mathematical edifice can motivate deeper engagement. The more automatic your function skills become now, the smoother your transition into graduate-level quantitative work will be.

SECTION 9

Practice Problems

Question 1: CONCEPTUAL

A relation R pairs the input 4 with both 7 and −7. Is R a function? Explain your reasoning using the definition of a function.

Show answer

R is not a function. By definition, a function assigns each input exactly one output. Because the single input 4 is paired with two distinct outputs (7 and −7), R violates the uniqueness requirement. Graphically, a vertical line at x = 4 would cross the relation at two points, failing the vertical line test. This distinction is critical on the GRE: any relation that produces multiple outputs for a single input cannot be treated as a function.

Question 2: BASIC CALCULATION

If f(x) = 4x² − 3x + 1, what is the value of f(−2)?

Show answer

Substitute x = −2 into the rule: f(−2) = 4(−2)² − 3(−2) + 1. Compute: 4(4) − (−6) + 1 = 16 + 6 + 1 = 23. Key technique: always enclose the substituted value in parentheses, especially negatives. Without parentheses, (−2)² = 4, but −2² = −4—a sign error that the GRE is designed to exploit. Careful notation here saves precious time.

Question 3: INTERMEDIATE

Let h(x) = 2x + 3 and k(x) = x² − 1. Compute (h ∘ k)(3) and (k ∘ h)(3). Are the results equal?

Show answer

For (h ∘ k)(3): first k(3) = 9 − 1 = 8, then h(8) = 2(8) + 3 = 19. For (k ∘ h)(3): first h(3) = 2(3) + 3 = 9, then k(9) = 81 − 1 = 80. The results are not equal (19 ≠ 80), confirming that function composition is generally non-commutative. On the GRE, always respect the specified order—the inner function is evaluated first.

Question 4: APPLIED

A GRE problem defines the operation x ★ y = (x + y)² − xy. What is the value of (2 ★ 3) ★ 1?

Show answer

First compute the inner operation: 2 ★ 3 = (2 + 3)² − (2)(3) = 25 − 6 = 19. Now use 19 as the first input: 19 ★ 1 = (19 + 1)² − (19)(1) = 400 − 19 = 381. Custom symbol problems are simply function evaluation in disguise. Treat ★ as a two-variable function, identify the inputs, substitute, and simplify. Working inside out avoids the error of attempting to distribute the custom operation.

Question 5: CRITICAL THINKING

Suppose f(x) = ax + b, where a and b are constants. If f(f(x)) = 9x + 8 for all x, determine the values of a and b. (Hint: compute f(f(x)) symbolically and match coefficients.)

Show answer

Compute f(f(x)) = f(ax + b) = a(ax + b) + b = a²x + ab + b. Set this equal to 9x + 8 and match coefficients: a² = 9 gives a = 3 or a = −3. For the constant term: ab + b = 8, so b(a + 1) = 8. If a = 3, then 4b = 8 and b = 2. If a = −3, then −2b = 8 and b = −4. Both solution pairs (a, b) = (3, 2) and (−3, −4) are valid. The GRE might specify additional constraints (e.g., a > 0) to yield a unique answer. This problem illustrates how symbolic composition combined with coefficient matching—a technique that scales to polynomial and even exponential function problems—can recover hidden parameters.

SUMMARY

Lesson Summary

Summary

A function is a rule that assigns each element of the domain to exactly one element of the range. Function notation f(x) encodes this relationship compactly: the letter names the rule, and the parenthesized variable specifies the input. Evaluation is performed by substituting the given input for every occurrence of the variable and simplifying. The vertical line test provides a visual check: if any vertical line crosses a graph more than once, the relation is not a function.

Composition f(g(x)) chains two functions by using the output of the inner function as the input to the outer; it is not commutative. Inverse functions reverse the mapping (f⁻¹ undoes f), and custom symbol operations on the GRE are simply functions under unfamiliar names. Master these core skills—evaluation, composition, inverse recognition, and domain awareness—and you will handle any GRE function problem with confidence.