Function (mathematics): Difference between revisions
imported>Igor Grešovnik No edit summary |
mNo edit summary |
||
(41 intermediate revisions by 7 users not shown) | |||
Line 1: | Line 1: | ||
The [[Mathematics|mathematical]] concept of a '''function''' expresses dependence between two quantities, one of which is given (the independent variable, argument of the function, or its "input") and the other (the dependent variable, value of the function, or "output") is uniquely defined by the input. | {{subpages}} | ||
{{TOC|right}} | |||
The [[Mathematics|mathematical]] concept of a '''function''' (also called a '''mapping''' or '''map''') expresses dependence between two quantities, one of which is given (the independent variable, argument of the function, or its "input") and the other (the dependent variable, value of the function, or "output") is uniquely defined by the input. | |||
== The functional concept == | |||
One important concept in [[mathematics]] is composition | A function consists of a mathematical rule and two sets, called the '''domain''' and the '''range'''. The rule maps each object in the domain to a corresponding object in the range. The object in the domain is called the '''argument''' to the function and the object in the range is called the '''value''' or '''image''' of the function. It is worth noting that a function always maps each argument to a ''uniquely defined'' value, so a function cannot give two different values for the same argument. | ||
'''Example.''' Let ''f'' be the function which takes a triangle (in the [[plane]]) and returns its area. The domain of this function is the set of triangles, and the range is the set of positive real numbers (we are not interested in negative areas). Functions are often written with their argument enclosed in parentheses, so if ''T'' is a triangle with area 32, this relation might be written | |||
:<math>f(T) = 32\!</math> | |||
which would be read out as ''f of T equals 32''. | |||
Often, functions describe relations between [[number|numbers]], [[vector|vectors]] or other mathematical objects. Examples of elementary functions include the [[sine|sine function]] and the [[logarithmic function]], which (denoting their argument as ''x'') are written log(''x'') and sin(''x'') respectively. We shall define these functions and note some of their characteristics. | |||
'''Example.''' Consider the equation <math>e^s = x</math>. The ''logarithm of x'' is defined as the number ''s'' which satisfies the equation. | |||
We note that log(''x'') is defined only for positive ''x'', but takes on all [[real number|real]] values. | |||
'''Example.''' Consider a right-angled triangle in the [[plane]]. Given either of the non-right angles (which we call ''x''), the ''sine of x'' equals the ratio between the side opposite to the angle and the side adjacent to it. | |||
We see that sin(''x'') is defined for real numbers between, but not equal to either of, 0 and π/2 (or 0 and 90 degrees). These are the only angles which could appear in right-angled triangles. The function takes values between 0 and 1. It is possible, and desireable, to define the sine function for all real numbers, but this requires a more complex definition, see [[trigonometry]]. | |||
One important concept in [[mathematics]] is [[function composition]]: if ''z'' is a function of ''y'' and ''y'' is a function of ''x'', then ''z'' is a function of ''x''. This can be described informally by saying that the composite function is obtained by using the output of the first function as the input of the second one. This feature of functions distinguishes them from other mathematical constructs, such as numbers or figures. | |||
In most mathematical fields, the terms ''operator'', ''operation'', and ''transformation'' are synonymous with function. However, in some contexts they may have a more specialized meaning. In particular, they often apply to functions whose inputs and outputs are elements of the same set. For example, we speak of linear operators on a vector space, which are linear transformations from the vector space into itself. | |||
== Properties of real-valued functions == | |||
Functions of one real variable may have several interesting properties, that allow mathematicians to use practical techniques to analyse them. Many of these properties are also meaningful with respect to [[complex number|complex]] functions and functions of several variables. | |||
=== Continuity === | |||
A function is said to be '''continuous at a point''' if its value is equal to its limit in that point. This requirement can be written: | |||
<math>\lim _{x \to 0} f(x_0 + x) = f(x_0) \qquad \textrm{(continuity\ at\ the\ point}\ x_0 \in \mathbb R).</math> | |||
When drawing a function graph with pen and paper, a continuous function is one that is drawn without lifting the pen from the paper. | |||
==History== | |||
===Birth and infancy of the idea=== | |||
Some tables compiled by ancient Babylonians may be treated now as tables of some functions. Also, some arguments of ancient Greeks may be treated now as integration of some functions. Thus, in ancient times some functions were used (implicitly). However, they were not recognized as special cases of a general notion. | |||
Further progress was made in the 14th century. Two "schools of natural philosophy", at Oxford ([[William Heytesbury]], [[Richard Swineshead]]) and Paris ([[Nicole Oresme]]), trying to investigate natural phenomena mathematically, came to the idea that laws of nature should be formulated as functional relations between physical quantities. The concept of function was born, including a curve as a graph of a function of one variable, and a surface — for two variables. However, the new concept was not yet widely exploited either in mathematics or in its applications. Linear functions were well understood, but nonlinear functions remained intractable, except for few isolated marginal cases. | |||
The name "function" was assigned to the new concept later, in 1698, by [[Johann Bernoulli]] and [[Gottfried Wilhelm Leibniz|Gottfried Leibniz]], and published by Bernoulli in 1718. | |||
===Power series=== | |||
The sum of the [[geometric series]] | |||
:<math> 1+x+x^2+x^3+\dots = \frac1{1-x} </math> | |||
was calculated by [[Archimedes]], but only for ''x''=1/4, since only this value was needed, and of course not written in this form, since algebraic notation appeared only in the 16th century. New wonderful formulas with [[Series (mathematics)|infinite sums]] were discovered (and repeatedly rediscovered) in the 14–17 centuries: for [[arctangent]], | |||
:<math> \arctan x = x - \frac{x^3}3 + \frac{x^5}5 - \dots </math> | |||
([[Madhava of Sangamagramma]], around 1400; [[James Gregory]], 1671); for [[logarithm]], | |||
:<math> \log (1+x) = x - \frac{x^2}2 + \frac{x^3}3 - \dots </math> | |||
([[Nicholas Mercator]], 1668); and many others ([[Isaac Barrow]], [[Isaac Newton]], Gottfried Leibniz, ...) Nonlinear functions, desperately needed for the study of motion ([[Johannes Kepler]], [[Galileo Galilei]]) and geometry ([[Pierre de Fermat|Pierre Fermat]], [[René Descartes]]), became tractable via such infinite sums now called [[power series]].<ref name=Arnold/> | |||
<blockquote>Newton understood by analysis the investigation of equations by means of infinite series. In other words, Newton's basic discovery was that everything had to be expanded in infinite series.</blockquote> | |||
<blockquote>These studies [on power series] stand in the same relation to algebra as the studies of decimal fractions to ordinary arithmetic. <ref name=Newton/></blockquote> | |||
Power series became a ''de facto'' standard of function, since on one hand, all functions needed in applications were successfully developed into power series, and on the other hand, only functions developed into power series were tractable in the theory. It was not unusual, to claim a theorem for an arbitrary function, and then, in the proof, to consider its development into a power series. | |||
'''Example.''' In [[Newtonian mechanics]], coordinates of moving bodies are functions of time. For example, the classical equation for a falling body; its height ''h'' at a time ''t'' is | |||
:<math> h = f(t) = h_0 - 0.5 g t^2 </math> | |||
(here ''h''<sub>0</sub> is the initial height, and ''g'' is the [[acceleration due to gravity]]). Infinitely many corresponding values of ''t'' and ''h'' are embraced by a single function ''f''. | |||
===Trigonometric series=== | |||
{{Image|Moving wave.gif|right||<small>Vibrating string: a function changes in time</small>}} | |||
The instantaneous shape of a vibrating string is described by a function (the displacement ''y'' as a function of the coordinate ''x''), and this function changes in time: | |||
:<math> y = f_t (x). </math> | |||
Infinitely many functions ''f''<sub>''t''</sub> are embraced by a single function ''f'' of two variables, | |||
:<math> y = f(x,t). </math> | |||
After some speculations by Galileo and mathematical interpretation by [[Brook Taylor]] (1715/1717) and Johann Bernoulli (1727), the mathematical theory of vibrating string was started by [[Jean le Rond d'Alembert|Jean d'Alembert]] (1746/1749). His approach is equivalent to a [[partial differential equation]] written out by [[Leonhard Euler]] in 1755, | |||
:<math> | |||
\frac{\partial^2}{\partial t^2} f(x,t) = \frac{\partial^2}{\partial x^2} f(x,t), | |||
</math> | |||
now well-known as the one-dimensional [[Wave equation (classical physics)|wave equation]]. D'Alembert found a solution as the superposition of two waves, one traveling to the right, the other to the left: | |||
:<math> f(x,t) = \phi(x+t) + \psi(x-t). </math> | |||
The initial shape of the string is given by the function ''f''<sub>0</sub>. It was a controversial question in the 18th century, whether ''f''<sub>0</sub> must develop into a power series, or not necessarily. | |||
D'Alembert held the opinion that the ''de-facto'' standard mentioned above still applies; ''f''<sub>0</sub> must be represented by a single equation. (He changed his opinion in 1780.) | |||
The old standard was repudiated by Euler in 1744. He introduced "mixed" functions, given by different equations on two or more intervals. Moreover, he admitted functions that do not comply with any analytical law, whose graphs are traced by a free stroke of the hand. | |||
Physically, the vibrating string may be thought of as an infinite collection of non-interacting [[Harmonic oscillator (classical)|harmonic oscillators]] ([[Normal mode|vibratory modes]], [[harmonic]]s). This idea, previously used by Euler in some special cases, turned into a general method of solving the wave equation by [[Daniel Bernoulli]] (1755). To this end the initial function has to be developed into a trigonometric series | |||
:<math> f_0(x) = c_1 \sin x + c_2 \sin 2x + c_3 \sin 3x + \dots </math> | |||
It was unclear, how many functions can be so developed. D. Bernoulli believed that a trigonometric series is as general as a power series. Both d'Alembert and Euler believed that a trigonometric series is less general than a power series. The truth was revealed only in the 19th century: in fact, a trigonometric series is more general than a power series! | |||
[[Heat|Heat conduction]] is physically very different from vibrating string, but mathematically it is again about a function that changes in time, and leads to another partial differential equation | |||
:<math> | |||
\frac{\partial}{\partial t} f(x,t) = \frac{\partial^2}{\partial x^2} f(x,t), | |||
</math> | |||
now well-known as the one-dimensional [[heat equation]]. It was first investigated by [[Joseph Fourier]] (1807/1822); a general solution was found in the form | |||
:<math> | |||
f(x,t) = c_1 e^{-t} \sin x + c_2 e^{-4t} \sin 2x + c_3 e^{-9t} \sin 3x + \dots | |||
</math> | |||
===Sets of pairs=== | |||
==Special classes of function== | |||
* An [[injective function]] ''f'' has the property that if <math>x_1 \neq x_2</math> then <math>f(x_1) \neq f(x_2)</math>; | |||
* A [[surjective function]] ''f'' has the property that for every ''y'' in the codomain there exists an ''x'' in the domain such that <math>f(x) = y</math>; | |||
* A [[bijective function]] is one which is both surjective and injective. | |||
==Functions in set theory== | |||
''See also'' [[Set_(mathematics)#Mappings_or_functions|Set: Mappings or functions]] | |||
In [[set theory]], functions are regarded as a special class of [[relation (mathematics)|relation]]. A ''relation'' between sets ''X'' and ''Y'' is a [[subset]] of the [[Cartesian product]], <math>R \subseteq X \times Y</math>. We say that a relation ''R'' is ''functional'' if it satisfies the condition that every <math>x \in X</math> occurs in exactly one pair <math>(x,y) \in R</math>. In this case ''R'' defines a function with domain ''X'' and codomain ''Y''. We then define the value of the function at ''x'' to be that unique ''y''. We thus identify a function with its [[graph]]. | |||
==Associated sets== | |||
Let ''f'':''X'' → ''Y'' be a function with domain ''X'' and codomain ''Y''. The ''image'' of a subset ''A'' of ''X'' is <math>f[A] = \{ f(x) : x \in A \}</math>; the image of ''f'' is the image of ''X'' under ''f''. The ''[[pre-image]]'' of a subset ''B'' of ''Y'' is <math>f^{-1}[B] = \{ x \in X : f(x) \in B \}</math>. The ''[[fibre (set theory)|fibre]]'' of ''f'' over a point ''y'' in ''Y'' is the preimage of the [[singleton]] {''y''}. The ''[[kernel of a function|kernel]]'' of ''f'' is the [[equivalence relation]] on ''X'' for which the [[equivalence class]]es are the fibres of ''f''. | |||
==Associated functions== | |||
If ''f'' is a function from a set ''X'' to a set ''Y'', there are several functions associated with ''f''. | |||
If ''S'' is a [[subset]] of ''X'', the '''restriction''' of ''f'' to ''S'' is the function from ''S'' to ''Y'' which is given by applying ''f'' only to elements of ''S''. The restriction may have different properties to the original. Consider the function <math>f : x \mapsto x^2</math> from the real numbers '''R''' to '''R'''. The restriction of ''f'' to the positive real numbers is [[injective function|injective]], whereas ''f'' is not. | |||
The '''push-forward''' of ''f'' is the function <math>f_\vdash</math> from the [[power set]] of ''X'' to that of ''Y'' which maps a subset ''A'' of ''X'' to its image in ''Y'': | |||
:<math> f_\vdash(A) = \{ f(x) : x \in A \} . \, </math> | |||
An alternative notation for <math>f_\vdash(A)</math> is <math>f[A]</math> (note the square brackets). | |||
The '''pull-back''' of ''f'' is the function <math>f^\dashv</math> from the [[power set]] of ''Y'' to the power set of ''X'' which maps a subset ''B'' of ''Y'' to its pre-image in ''X'': | |||
:<math> f^\dashv(B) = \{ x \in X : f(x) \in B \} . \, </math> | |||
An alternative notation for <math>f^\dashv(B)</math> is <math>f^{-1}[B]</math> (note the square brackets). Pull-back is a generalized form of inverse, and makes sense whether or not ''f'' is an [[invertible function]]. | |||
==References== | |||
{{reflist|refs= | |||
<ref name=Arnold> | |||
{{cite book | last = Arnol'd | |||
| first = Vladimir Igorevich | |||
| title = Huygens and Barrow, Newton and Hooke: pioneers in mathematical analysis and catastrophe theory from evolvents to quasicrystals | |||
| year = 1990 | |||
| publisher = Birkhäuser | |||
| url=http://books.google.com/books?id=1cP8sK-TviYC&pg=PA35 | |||
| isbn =3764323833 | |||
| pages=p. 35 }} | |||
</ref> | |||
<ref name=Newton> | |||
{{cite book | last = Newton | |||
| first = Isaac | |||
| title=Methodus fluxionum et serierum infinitorum | |||
| chapter = The method of fluxions and infinite series with its application to the geometry of curve-lines | |||
| year = 1664-1671; published 1736 | |||
| url=http://books.google.com/books?id=QoQ_AAAAcAAJ&pg=PA2 | |||
| edition=English translation by John Colson | |||
| pages=p. 2}} | |||
</ref> | |||
}}[[Category:Suggestion Bot Tag]] |
Latest revision as of 12:01, 19 August 2024
![](http://s9.addthis.com/button1-share.gif)
The mathematical concept of a function (also called a mapping or map) expresses dependence between two quantities, one of which is given (the independent variable, argument of the function, or its "input") and the other (the dependent variable, value of the function, or "output") is uniquely defined by the input.
The functional concept
A function consists of a mathematical rule and two sets, called the domain and the range. The rule maps each object in the domain to a corresponding object in the range. The object in the domain is called the argument to the function and the object in the range is called the value or image of the function. It is worth noting that a function always maps each argument to a uniquely defined value, so a function cannot give two different values for the same argument.
Example. Let f be the function which takes a triangle (in the plane) and returns its area. The domain of this function is the set of triangles, and the range is the set of positive real numbers (we are not interested in negative areas). Functions are often written with their argument enclosed in parentheses, so if T is a triangle with area 32, this relation might be written
which would be read out as f of T equals 32.
Often, functions describe relations between numbers, vectors or other mathematical objects. Examples of elementary functions include the sine function and the logarithmic function, which (denoting their argument as x) are written log(x) and sin(x) respectively. We shall define these functions and note some of their characteristics.
Example. Consider the equation . The logarithm of x is defined as the number s which satisfies the equation.
We note that log(x) is defined only for positive x, but takes on all real values.
Example. Consider a right-angled triangle in the plane. Given either of the non-right angles (which we call x), the sine of x equals the ratio between the side opposite to the angle and the side adjacent to it.
We see that sin(x) is defined for real numbers between, but not equal to either of, 0 and π/2 (or 0 and 90 degrees). These are the only angles which could appear in right-angled triangles. The function takes values between 0 and 1. It is possible, and desireable, to define the sine function for all real numbers, but this requires a more complex definition, see trigonometry.
One important concept in mathematics is function composition: if z is a function of y and y is a function of x, then z is a function of x. This can be described informally by saying that the composite function is obtained by using the output of the first function as the input of the second one. This feature of functions distinguishes them from other mathematical constructs, such as numbers or figures.
In most mathematical fields, the terms operator, operation, and transformation are synonymous with function. However, in some contexts they may have a more specialized meaning. In particular, they often apply to functions whose inputs and outputs are elements of the same set. For example, we speak of linear operators on a vector space, which are linear transformations from the vector space into itself.
Properties of real-valued functions
Functions of one real variable may have several interesting properties, that allow mathematicians to use practical techniques to analyse them. Many of these properties are also meaningful with respect to complex functions and functions of several variables.
Continuity
A function is said to be continuous at a point if its value is equal to its limit in that point. This requirement can be written:
When drawing a function graph with pen and paper, a continuous function is one that is drawn without lifting the pen from the paper.
History
Birth and infancy of the idea
Some tables compiled by ancient Babylonians may be treated now as tables of some functions. Also, some arguments of ancient Greeks may be treated now as integration of some functions. Thus, in ancient times some functions were used (implicitly). However, they were not recognized as special cases of a general notion.
Further progress was made in the 14th century. Two "schools of natural philosophy", at Oxford (William Heytesbury, Richard Swineshead) and Paris (Nicole Oresme), trying to investigate natural phenomena mathematically, came to the idea that laws of nature should be formulated as functional relations between physical quantities. The concept of function was born, including a curve as a graph of a function of one variable, and a surface — for two variables. However, the new concept was not yet widely exploited either in mathematics or in its applications. Linear functions were well understood, but nonlinear functions remained intractable, except for few isolated marginal cases.
The name "function" was assigned to the new concept later, in 1698, by Johann Bernoulli and Gottfried Leibniz, and published by Bernoulli in 1718.
Power series
The sum of the geometric series
was calculated by Archimedes, but only for x=1/4, since only this value was needed, and of course not written in this form, since algebraic notation appeared only in the 16th century. New wonderful formulas with infinite sums were discovered (and repeatedly rediscovered) in the 14–17 centuries: for arctangent,
(Madhava of Sangamagramma, around 1400; James Gregory, 1671); for logarithm,
(Nicholas Mercator, 1668); and many others (Isaac Barrow, Isaac Newton, Gottfried Leibniz, ...) Nonlinear functions, desperately needed for the study of motion (Johannes Kepler, Galileo Galilei) and geometry (Pierre Fermat, René Descartes), became tractable via such infinite sums now called power series.[1]
Newton understood by analysis the investigation of equations by means of infinite series. In other words, Newton's basic discovery was that everything had to be expanded in infinite series.
These studies [on power series] stand in the same relation to algebra as the studies of decimal fractions to ordinary arithmetic. [2]
Power series became a de facto standard of function, since on one hand, all functions needed in applications were successfully developed into power series, and on the other hand, only functions developed into power series were tractable in the theory. It was not unusual, to claim a theorem for an arbitrary function, and then, in the proof, to consider its development into a power series.
Example. In Newtonian mechanics, coordinates of moving bodies are functions of time. For example, the classical equation for a falling body; its height h at a time t is
(here h0 is the initial height, and g is the acceleration due to gravity). Infinitely many corresponding values of t and h are embraced by a single function f.
Trigonometric series
The instantaneous shape of a vibrating string is described by a function (the displacement y as a function of the coordinate x), and this function changes in time:
Infinitely many functions ft are embraced by a single function f of two variables,
After some speculations by Galileo and mathematical interpretation by Brook Taylor (1715/1717) and Johann Bernoulli (1727), the mathematical theory of vibrating string was started by Jean d'Alembert (1746/1749). His approach is equivalent to a partial differential equation written out by Leonhard Euler in 1755,
now well-known as the one-dimensional wave equation. D'Alembert found a solution as the superposition of two waves, one traveling to the right, the other to the left:
The initial shape of the string is given by the function f0. It was a controversial question in the 18th century, whether f0 must develop into a power series, or not necessarily.
D'Alembert held the opinion that the de-facto standard mentioned above still applies; f0 must be represented by a single equation. (He changed his opinion in 1780.)
The old standard was repudiated by Euler in 1744. He introduced "mixed" functions, given by different equations on two or more intervals. Moreover, he admitted functions that do not comply with any analytical law, whose graphs are traced by a free stroke of the hand.
Physically, the vibrating string may be thought of as an infinite collection of non-interacting harmonic oscillators (vibratory modes, harmonics). This idea, previously used by Euler in some special cases, turned into a general method of solving the wave equation by Daniel Bernoulli (1755). To this end the initial function has to be developed into a trigonometric series
It was unclear, how many functions can be so developed. D. Bernoulli believed that a trigonometric series is as general as a power series. Both d'Alembert and Euler believed that a trigonometric series is less general than a power series. The truth was revealed only in the 19th century: in fact, a trigonometric series is more general than a power series!
Heat conduction is physically very different from vibrating string, but mathematically it is again about a function that changes in time, and leads to another partial differential equation
now well-known as the one-dimensional heat equation. It was first investigated by Joseph Fourier (1807/1822); a general solution was found in the form
Sets of pairs
Special classes of function
- An injective function f has the property that if then ;
- A surjective function f has the property that for every y in the codomain there exists an x in the domain such that ;
- A bijective function is one which is both surjective and injective.
Functions in set theory
See also Set: Mappings or functions
In set theory, functions are regarded as a special class of relation. A relation between sets X and Y is a subset of the Cartesian product, . We say that a relation R is functional if it satisfies the condition that every occurs in exactly one pair . In this case R defines a function with domain X and codomain Y. We then define the value of the function at x to be that unique y. We thus identify a function with its graph.
Associated sets
Let f:X → Y be a function with domain X and codomain Y. The image of a subset A of X is ; the image of f is the image of X under f. The pre-image of a subset B of Y is . The fibre of f over a point y in Y is the preimage of the singleton {y}. The kernel of f is the equivalence relation on X for which the equivalence classes are the fibres of f.
Associated functions
If f is a function from a set X to a set Y, there are several functions associated with f.
If S is a subset of X, the restriction of f to S is the function from S to Y which is given by applying f only to elements of S. The restriction may have different properties to the original. Consider the function from the real numbers R to R. The restriction of f to the positive real numbers is injective, whereas f is not.
The push-forward of f is the function from the power set of X to that of Y which maps a subset A of X to its image in Y:
An alternative notation for is (note the square brackets).
The pull-back of f is the function from the power set of Y to the power set of X which maps a subset B of Y to its pre-image in X:
An alternative notation for is (note the square brackets). Pull-back is a generalized form of inverse, and makes sense whether or not f is an invertible function.
References
- ↑ Arnol'd, Vladimir Igorevich (1990). Huygens and Barrow, Newton and Hooke: pioneers in mathematical analysis and catastrophe theory from evolvents to quasicrystals. Birkhäuser, p. 35. ISBN 3764323833.
- ↑ Newton, Isaac (1664-1671; published 1736). “The method of fluxions and infinite series with its application to the geometry of curve-lines”, Methodus fluxionum et serierum infinitorum, English translation by John Colson, p. 2.