Difference between revisions of "Function"
(hm) |
|||
Line 1: | Line 1: | ||
A '''function''' is a rule that maps one set of values to another set of values. For instance, one function may map 1 to 1, 2 to 4, 3 to 9, 4 to 16, and so on. This function has the rule that it takes its input value, and squares it to get an output value. One can call this function <math>f</math>. | A '''function''' is a rule that maps one set of values to another set of values. For instance, one function may map 1 to 1, 2 to 4, 3 to 9, 4 to 16, and so on. This function has the rule that it takes its input value, and squares it to get an output value. One can call this function <math>f</math>. | ||
+ | ==Rigorous Definition== | ||
+ | Let <math>A</math>,<math>B</math> be sets | ||
+ | |||
+ | Let <math>f\subset A\times B</math>, (<math>A\times B</math> is the [[Cartesian Product]] of <math>A</math> and <math>B</math>) | ||
+ | |||
+ | We say that <math>f</math> is a ''function from <math>A</math> to <math>B</math>'' if and only if | ||
+ | |||
+ | [<math>(a,b)\in f</math> <math>\wedge</math> <math>(a,c)\in f</math>] <math>\implies</math> <math>b=c</math>(<math>(a,b)</math> is the notation for an [[Ordered Pair]]) | ||
+ | |||
==Introductory Topics== | ==Introductory Topics== | ||
===Domain and Range=== | ===Domain and Range=== |
Revision as of 11:46, 25 January 2008
A function is a rule that maps one set of values to another set of values. For instance, one function may map 1 to 1, 2 to 4, 3 to 9, 4 to 16, and so on. This function has the rule that it takes its input value, and squares it to get an output value. One can call this function .
Contents
Rigorous Definition
Let ,
be sets
Let , (
is the Cartesian Product of
and
)
We say that is a function from
to
if and only if
[
]
(
is the notation for an Ordered Pair)
Introductory Topics
Domain and Range
The domain of a function is the set of input values for the argument of a function. The range of a function is the set of output values for that function. For an example, consider the function: . The domain of the function is the set
, where
is a real number. The range is the set of all non-negative real numbers because the square root can never return a negative value.
Real Functions
A real function is a function whose range is in the real numbers. Usually we speak about function whose domain is also a subset of the real numbers.
Graphs
Functions are often graphed. To find out if a graph is a function, it must stand up to the vertical line test.
Inverses
The inverse of a function is a function that "undoes" a function. For an example, consider the function: f(x). The function
has the property that
. In this case,
is called the (right) inverse function. (Similarly, a function
so that
is called the left inverse function. Typically the right and left inverses coincide on a suitable domain, and in this case we simply call the right and left inverse function the inverse function.) Often the inverse of a function
is denoted by
.
Intermediate Topics
Injections, Surjections, Bijections
- An injection (or one-to-one function) is a function which has distinct values for distinct arguments within a given domain.
By definition, is injective if
, or equivalently,
Examples:
is injective from
is injective from
is not injective from
Injectivity of a function implies that
has an inverse. Furthermore, if
and
are finite sets, injectivity implies
.
- A surjection (or onto function) maps at least one element from its domain,
onto every element of its range,
Examples:
is surjective from
is surjective from
is not surjective from
- A bijection (both one-to-one and onto) is a function,
that is both injective and surjective.
If is an injection from
and
is an injection from
then there exists a bijection,
between
and
by the Schroder-Bernstein Theorem.
Monotonic functions
A function is called monotonically increasing if
holds whenever
. If the inequality holds strictly
,
then the function is called strictly increasing.
Similarly, a function is called monotonically decreasing if
holds whenever
. If the inequality holds strictly
,
then the function is called strictly decreasing.
Advanced Topics
Functions of Real Variables
A real function is a function whose range is in the real numbers. Usually we speak about function whose domain is also a subset of the real numbers.
Continuity
Intuitively, a continuous function has the propriety that its graph can be drawn without taking the pencil off the paper. But the reality about continuous functions is more complex.
Epsilon-Delta Definition
A function is called continuous at
if, for all
, there exists
such that
and
.
Heine Definition
The previous definition of continuity at is equivalent with the following: for every sequence
such that
, we have that
.
It is easy to see that a function is continuous in isolated points, and is continuous in accumulation points iff the limit of the function in those points equals the value of the function.
A function is continuous on a set if it is continuous in every point of the set.
Properties of Continuous Functions
- The sum and product of two continuous functions are continuous functions.
- The composition of two continuous functions is a continuous function.
- In any closed interval
, there exist real numbers
and
such that
has a maximum value at
and
has a minimum value at
.
- Intermediate Value Theorem (see below)
Intermediate value theorem
If a function is continuous, then it has the Intermediate Value Theorem. The converse is not always true. Proof:...
Differentiability
For functions of one variable, differentiablility is simply the question of whether or not a derivative exists. For functions of more than one variable, it's significantly more complicated. In the case of both one and multivariable functions, differentiability implies continuity.
A single-variable function is differentiable at
iff:
Integrability
All continuous functions are integrable, as well as many non-continuous functions.
Convexity
A twice-differentiable function is concave up (or convex) in the interval
iff
in the interval
and concave down (or concave) iff
. The points of inflection, when the concavity switches, of the function occur at the roots of
.
Notation
A common notation to define is:
(where the
, of course, is merely an example). This tells us that
is a function that squares its argument (its input value). Note that this "rule" can be arbitrarily complicated and doesn't need to be given by a simple formula or description. The only requirement is that
should be uniquely determined by
. The following are examples of functions:
for
, otherwise
Since functions cover such an enormous part of mathematics, we divide this topic into several articles:
History of Functions
Without being used explicitly, the notion of function first appears with the ancient Greeks and Egyptians.
The rigorous definition was stated in the 19th century and is the result of the works of some famous mathematicians: A.L. Cauchy, Leonhard Euler, and Bernhard Riemann. With the development of set theory, a new branch of mathematics appeared, mathematical analysis, in which the notion of function has a central role.
The current notation used is attributed to Leonhard Euler.
Problems
Introductory
- Define
. What is
?
(Source)
Intermediate
Find
.
(Source)
Olympiad
- Let
be a function with the following properties:
is defined for every positive integer
;
is an integer;
;
for all
and
;
whenever
.
Prove that .
(Source)
Advanced
- Describe all polynomials
such that
for all
.
(<url>http://www.artofproblemsolving.com/Forum/weblog_entry.php?t=182628 Source</url>)