Khanh: /* Licensing */

2021-11-03T20:22:42Z

Licensing

Khanh at 20:08, 3 November 2021

2021-11-03T20:08:53Z

Khanh: Created page with " Graph of the function $f(x) = x^3 - 9x.$ In mathematics, the '''graph''' of a function $f$ is the set..."

2021-09-18T04:24:27Z

Created page with "right|thumb|250px| Graph of the function <math>f(x) = x^3 - 9x.</math> In mathematics, the '''graph''' of a function <math>f</math> is the set..."

New page

[[File:F(x) = x^3 − 9x.PNG|right|thumb|250px| Graph of the function <math>f(x) = x^3 - 9x.</math>]]

In mathematics, the '''graph''' of a function <math>f</math> is the set of ordered pairs <math>(x, y)</math>, where <math>f(x) = y.</math> In the common case where <math>x</math> and <math>f(x)</math> are real numbers, these pairs are Cartesian coordinates of points in two-dimensional space and thus form a subset of this plane.

In the case of functions of two variables, that is functions whose domain consists of pairs <math>(x, y),</math> the graph usually refers to the set of ordered triples <math>(x, y, z)</math> where <math>f(x,y) = z,</math> instead of the pairs <math>((x, y), z)</math> as in the definition above. This set is a subset of three-dimensional space; for a continuous real-valued function of two real variables, it is a surface.

A graph of a function is a special case of a relation.

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.

== Definition ==

Given a mapping <math>f : X \to Y,</math> in other words a function <math>f</math> together with its domain <math>X</math> and codomain <math>Y,</math> the graph of the mapping is the set
<math display=block>G(f) = \{(x,f(x)) : x \in X\},</math>

which is a subset of <math>X\times Y</math>. In the abstract definition of a function, <math>G(f)</math> is actually equal to <math>f.</math>

One can observe that, if, <math>f : \R^n \to \R^m,</math> then the graph <math>G(f)</math> is a subset of <math>\R^{n+m}</math> (strictly speaking it is <math>\R^n \times \R^m,</math> but one can embed it with the natural isomorphism).

== Examples ==

=== Functions of one variable ===

[[File:Three-dimensional graph.png|right|thumb|250px|Graph of the function <math>f(x, y) = \sin\left(x^2\right) \cdot \cos\left(y^2\right).</math>]]

The graph of the function <math>f : \{1,2,3\} \to \{a,b,c,d\}</math> defined by
<math display=block>f(x)=
\begin{cases}
a, & \text{if }x=1, \\ d, & \text{if }x=2, \\ c, & \text{if }x=3,
\end{cases}
</math>
is the subset of the set <math>\{1,2,3\} \times \{a,b,c,d\}</math>
<math display=block>G(f) = \{ (1,a), (2,d), (3,c) \}.</math>

From the graph, the domain <math>\{1,2,3\}</math> is recovered as the set of first component of each pair in the graph <math>\{1,2,3\} = \{x :\ \text{there exists } y,\text{ such that }(x,y) \in G(f)\}</math>.
Similarly, the range can be recovered as <math>\{a,c,d\} = \{y : \text{there exists }x,\text{ such that }(x,y)\in G(f)\}</math>.
The codomain <math>\{a,b,c,d\}</math>, however, cannot be determined from the graph alone.

The graph of the cubic polynomial on the real line
<math display=block>f(x) = x^3 - 9x</math>
is
<math display=block>\{ (x, x^3 - 9x) : x \text{ is a real number} \}.</math>

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|thumb|250px|Plot of the graph of <math>f(x, y) = - \left(\cos\left(x^2\right) + \cos\left(y^2\right)\right)^2,</math> also showing its gradient projected on the bottom plane.]]

The graph of the trigonometric function
<math display=block>f(x,y) = \sin(x^2)\cos(y^2)</math>
is
<math display=block>\{ (x, y, \sin(x^2) \cos(y^2)) : x \text{ and } y \text{ are real numbers} \}.</math>

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:
<math display=block>f(x, y) = -(\cos(x^2) + \cos(y^2))^2.</math>

== Generalizations ==

The graph of a function is contained in a Cartesian product of sets. An <math>X</math>–<math>Y</math> plane is a Cartesian product of two lines, called <math>X</math> and <math>Y,</math> 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.

The graph of a multifunction, say the multifunction <math>\mathcal{R} : X \rightrightarrows Y,</math> is the set <math>\operatorname{gr} \mathcal{R} := \left\{ (x, y) \in X \times Y : y \in \mathcal{R}(x) \right\}.</math>

== References ==
# Charles C Pinter (2014) [1971]. 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.
# Zălinescu, Constantin (30 July 2002). Convex Analysis in General Vector Spaces. River Edge, N.J. London: World Scientific Publishing. ISBN 978-981-4488-15-0. MR 1921556. OCLC 285163112 – via Internet Archive.

@@ Line 69: / Line 69: @@
 ==Licensing==
 Content obtained and/or adapted from:
-* [https://en.wikipedia.org/wiki/Graph_of_a_function Graph of a function] under a CC BY-SA license
+* [https://en.wikipedia.org/wiki/Graph_of_a_function Graph of a function, Wikipedia] under a CC BY-SA license

@@ Line 67: / Line 67: @@
 The graph of a multifunction, say the multifunction <math>\mathcal{R} : X \rightrightarrows Y,</math> is the set <math>\operatorname{gr} \mathcal{R} := \left\{ (x, y) \in X \times Y : y \in \mathcal{R}(x) \right\}.</math>
-== References ==
+==Licensing==
-# Charles C Pinter (2014) [1971]. A Book of Set Theory. Dover Publications. p. 49. ISBN 978-0-486-79549-2.
+Content obtained and/or adapted from:
-# T. M. Apostol (1981). Mathematical Analysis. Addison-Wesley. p. 35.
+* [https://en.wikipedia.org/wiki/Graph_of_a_function Graph of a function] under a CC BY-SA license

Graphs of Functions - Revision history

Khanh: /* Licensing */

Khanh at 20:08, 3 November 2021

Khanh: Created page with " Graph of the function f(x) = x^3 - 9x. In mathematics, the '''graph''' of a function f is the set..."

Khanh: Created page with " Graph of the function $f(x) = x^3 - 9x.$ In mathematics, the '''graph''' of a function $f$ is the set..."