Graph of a function

{{About||graph-theoretic representation of a function|Functional graph}}

In mathematics, the graph of a function $f$ is the set of ordered pairs $(x, y)$ , where $f(x) = y.$ In the common case where $x$ and $f(x)$ are real numbers, these pairs are Cartesian coordinates of points in a plane and often form a curve.

The graphical representation of the graph of a function is also known as a plot.

In the case of functions of two variables – that is, functions whose domain consists of pairs $(x, y)$ –, the graph usually refers to the set of ordered triples $(x, y, z)$ where $f(x,y) = z$ . This is a subset of three-dimensional space; for a continuous real-valued function of two real variables, its graph forms a surface, which can be visualized as a surface plot.

In science, engineering, technology, finance, and other areas, graphs are tools used for many purposes. In the simplest case one variable is plotted as a function of another, typically using rectangular axes; see Plot (graphics) for details.

{{anchor|graph of a relation}}A graph of a function is a special case of a relation.

In the modern foundations of mathematics, and, typically, in set theory, a function is actually equal to its graph.{{cite book|author=Charles C Pinter|title=A Book of Set Theory|url=https://books.google.com/books?id=iUT_AwAAQBAJ&pg=PA49|year=2014|orig-year=1971|publisher=Dover Publications|isbn=978-0-486-79549-2|pages=49}} However, it is often useful to see functions as mappings,{{cite book|author=T. M. Apostol|authorlink=Tom M. Apostol|title=Mathematical Analysis|year=1981|publisher=Addison-Wesley|page=35}} which consist not only of the relation between input and output, but also which set is the domain, and which set is the codomain. For example, to say that a function is onto (surjective) or not the codomain should be taken into account. The graph of a function on its own does not determine the codomain. It is common{{cite book|author=P. R. Halmos|title=A Hilbert Space Problem Book|url=https://archive.org/details/hilbertspaceprob00halm_811|url-access=limited|year=1982|publisher=Springer-Verlag|isbn=0-387-90685-1|page=[https://archive.org/details/hilbertspaceprob00halm_811/page/n47 31]}} to use both terms function and graph of a function since even if considered the same object, they indicate viewing it from a different perspective.

File:X^4 - 4^x.PNG [−2,+3]. Also shown are the two real roots and the local minimum that are in the interval.]]

Definition

Given a function $f : X \to Y$ from a set {{mvar|X}} (the domain) to a set {{mvar|Y}} (the codomain), the graph of the function is the set{{cite book|author=D. S. Bridges|title=Foundations of Real and Abstract Analysis|url=https://archive.org/details/springer_10.1007-978-0-387-22620-0|year=1991|publisher=Springer|page=[https://archive.org/details/springer_10.1007-978-0-387-22620-0/page/n292 285]|isbn=0-387-98239-6}}

$G(f) = \{(x,f(x)) : x \in X\},$

which is a subset of the Cartesian product $X\times Y$ . In the definition of a function in terms of set theory, it is common to identify a function with its graph, although, formally, a function is formed by the triple consisting of its domain, its codomain and its graph.

Examples

= Functions of one variable =

File:Three-dimensional graph.png $f(x, y) = \sin\left(x^2\right) \cdot \cos\left(y^2\right).$ ]]

The graph of the function $f : \{1,2,3\} \to \{a,b,c,d\}$ defined by

$f(x)=
\begin{cases}
a, & \text{if }x=1, \\ d, & \text{if }x=2, \\ c, & \text{if }x=3,
\end{cases}$

is the subset of the set $\{1,2,3\} \times \{a,b,c,d\}$

$G(f) = \{ (1,a), (2,d), (3,c) \}.$

From the graph, the domain $\{1,2,3\}$ is recovered as the set of first component of each pair in the graph $\{1,2,3\} = \{x :\ \exists y,\text{ such that }(x,y) \in G(f)\}$ .

Similarly, the range can be recovered as $\{a,c,d\} = \{y : \exists x,\text{ such that }(x,y)\in G(f)\}$ .

The codomain $\{a,b,c,d\}$ , however, cannot be determined from the graph alone.

The graph of the cubic polynomial on the real line

$f(x) = x^3 - 9x$

$\{ (x, x^3 - 9x) : x \text{ is a real number} \}.$

If this set is plotted on a Cartesian plane, the result is a curve (see figure).

= Functions of two variables =

File:F(x,y)=−((cosx)^2 + (cosy)^2)^2.PNG

The graph of the trigonometric function

$f(x,y) = \sin(x^2)\cos(y^2)$

$\{ (x, y, \sin(x^2) \cos(y^2)) : x \text{ and } y \text{ are real numbers} \}.$

If this set is plotted on a three dimensional Cartesian coordinate system, the result is a surface (see figure).

Oftentimes it is helpful to show with the graph, the gradient of the function and several level curves. The level curves can be mapped on the function surface or can be projected on the bottom plane. The second figure shows such a drawing of the graph of the function:

$f(x, y) = -(\cos(x^2) + \cos(y^2))^2.$