Graph of a function
This article needs additional citations for verification. (August 2014) (Learn how and when to remove this template message)
In mathematics, the graph of a function f is, formally, the set of all ordered pairs (x, f(x)), such that x is in the domain of the function f. In the common case where x and f(x) are real numbers, these pairs are Cartesian coordinates of points in the Euclidean plane and thus form a subset of this plane, which is a curve in the case of a continuous function. This graphical representation of the function is also called the graph of the function.
In the case of functions of two variables, that is functions whose domain consists of pairs (x, y), the graph can be identified with the set of all ordered triples ((x, y, f(x, y)). For a continuous real-valued function of two real variables, the graph is a surface.
The concept of the graph of a function is generalized to the graph of a relation. To test whether a graph of a relation represents a function of the first variable x, one uses the vertical line test. To test whether a graph represents a function of the second variable y, one uses the horizontal line test. If the function has an inverse, the graph of the inverse can be found by reflecting the graph of the original function in the line y = x.
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.
In the modern foundations of mathematics, and, typically, in set theory, a function is actually equal to its graph. However, it is often useful to see functions as mappings, 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 doesn't determine the codomain. It is common 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.
Given a mapping , in other words a function together with its domain and codomain , the graph of the mapping is the set
which is a subset of . In the abstract definition of a function, is actually equal to .
Functions of one variableEdit
The graph of the function defined by
is the subset of the set
From the graph, the domain is recovered as the set of first component of each pair in the graph . Similarly, the range can be recovered as . The codomain , however, cannot be determined from the graph alone.
The graph of the cubic polynomial on the real line
If this set is plotted on a Cartesian plane, the result is a curve (see figure).
Functions of two variablesEdit
The graph of the trigonometric function
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:
The graph of a function is contained in a Cartesian product of sets. An X–Y plane is a cartesian product of two lines, called X and Y, while a cylinder is a cartesian product of a line and a circle, whose height, radius, and angle assign precise locations of the points. Fibre bundles are not Cartesian products, but appear to be up close. There is a corresponding notion of a graph on a fibre bundle called a section.
Tools for plotting function graphsEdit
- Charles C Pinter (2014) . A Book of Set Theory. Dover Publications. p. 49. ISBN 978-0-486-79549-2.
- T. M. Apostol (1981). Mathematical Analysis. Addison-Wesley. p. 35.
- P. R. Halmos (1982). A Hilbert Space Problem Book. Springer-Verlag. p. 31. ISBN 0-387-90685-1.
- D. S. Bridges (1991). Foundations of Real and Abstract Analysis. Springer. p. 285. ISBN 0-387-98239-6.