Language of Functions

A mapping is classified as a function only if every single input value corresponds to exactly one output value. This uniqueness of the output is the defining characteristic that separates functions from broader mappings.

One-to-one and Many-to-one mappings are both considered functions because in both cases, each unique input has only one associated result. For example, $f(x) = x^2$ is a function because every $x$ yields a single $x^2$.

One-to-many and Many-to-many mappings are not functions because a single input could produce multiple results, creating ambiguity that is prohibited in functional logic.

Natural Numbers ($\mathbb{N}$) and Integers ($\mathbb{Z}$) form the simplest sets, typically used for discrete domains. Negative integers are denoted as $\mathbb{Z}^-$.

Rational Numbers ($\mathbb{Q}$) and Real Numbers ($\mathbb{R}$) encompass continuous values. Understanding the hierarchy $\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R}$ is vital for identifying valid domain constraints.

When defining a function, specifying whether $x \in \mathbb{R}$ or $x \in \mathbb{Z}$ significantly impacts the resulting range and the graph's continuity.

The Vertical Line Test: When looking at a graph, if any vertical line intersects the curve more than once, the relationship is a mapping but NOT a function. This is a quick visual way to check the 'one-to-one' or 'many-to-one' requirement.

Check the Boundary: Always evaluate the function at the edges of the domain to determine the boundaries of the range. For example, if $x > 0$, investigate what happens as $x$ approaches zero.

Notation Precision: Be comfortable switching between $f(x) = ...$ and $f: x \mapsto ...$. Examiners often use these interchangeably to test your literacy in functional language.