Difference between revisions of "Function"
(reorganizing to introductory/intermediate/olympiad. simplifying discussion so that somebody who want to learn what a function is can find out...) |
|||
Line 1: | Line 1: | ||
{{Stub}} | {{Stub}} | ||
− | + | 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. Lets call this function <math>f</math>. A common notation to define <math>f</math> is: <math>f(x) = x^2</math>. This tells us that <math>f</math> is a function that squares it's argument (it's 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 <math>f(x)</math> should be uniquely determined by <math>x</math>. The following are examples of functions: | |
− | |||
− | |||
− | 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 <math>f(x)</math> should be uniquely determined by <math>x</math>. The following are examples of functions: | ||
<math>\displaystyle f(x)=x ^ {2}+2x-2</math> | <math>\displaystyle f(x)=x ^ {2}+2x-2</math> | ||
Line 16: | Line 13: | ||
<math>\displaystyle g(x)=F'(x)</math> | <math>\displaystyle g(x)=F'(x)</math> | ||
− | + | ==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 <math>f(x) = \sqrt{x^2-9}</math>. The domain of the function is the set <math>{x:|x|>3}</math> where <math>x</math> 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. | ||
+ | |||
+ | ===The graph of a function=== | ||
+ | |||
+ | Functions are often graphed To find out if a graph is a function, it must stand up to the [[vertical line test]]. | ||
− | |||
− | ==Injections, surjections, bijections== | + | ==Intermediate Topics== |
+ | |||
+ | ===Injections, surjections, bijections=== | ||
*An [[injective function]](or one-to-one) is a function which has distinct values for distinct arguments. | *An [[injective function]](or one-to-one) is a function which has distinct values for distinct arguments. | ||
Line 26: | Line 34: | ||
If <math>\displaystyle A</math> and <math>\displaystyle B</math> are finite sets injectivity implies <math>\displaystyle |A|\leq |B|</math>. | If <math>\displaystyle A</math> and <math>\displaystyle B</math> are finite sets injectivity implies <math>\displaystyle |A|\leq |B|</math>. | ||
− | |||
− | |||
− | |||
− | |||
===Monotonic functions=== | ===Monotonic functions=== | ||
Line 38: | Line 42: | ||
then the function is called [[strictly decreasing]]. | then the function is called [[strictly decreasing]]. | ||
− | == | + | ==Olympiad and University Level 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=== | + | ====Continuity==== |
Intuitively, a continuous function has the propriety that it's graph can be drawn without taking the pencil off the paper. But the reality about continuous function is more complex. | Intuitively, a continuous function has the propriety that it's graph can be drawn without taking the pencil off the paper. But the reality about continuous function is more complex. | ||
− | ====Epsilon-delta definition==== | + | =====Epsilon-delta definition===== |
A function <math>f:E\to\mathbb{R}</math> is called continuous at <math> x_{0} </math> if, for all <math> \varepsilon >0 </math>, there exists <math>\delta >0</math> such that <math> |x-x_0|<\delta </math> and <math>x\in E \Rightarrow |f(x)-f(x_0)|<\varepsilon </math>. | A function <math>f:E\to\mathbb{R}</math> is called continuous at <math> x_{0} </math> if, for all <math> \varepsilon >0 </math>, there exists <math>\delta >0</math> such that <math> |x-x_0|<\delta </math> and <math>x\in E \Rightarrow |f(x)-f(x_0)|<\varepsilon </math>. | ||
− | ====Heine definition==== | + | =====Heine definition===== |
The previous definition of continuity at <math> x_{0} </math> is equivalent with the following: for every sequence <math> (x_n)_{n\geq 0} </math> such that <math> \displaystyle \lim_{n\to\infty}x_n=x_0 </math> we have that <math> \lim_{n\to\infty}f(x_n)=f(x_0) </math>. | The previous definition of continuity at <math> x_{0} </math> is equivalent with the following: for every sequence <math> (x_n)_{n\geq 0} </math> such that <math> \displaystyle \lim_{n\to\infty}x_n=x_0 </math> we have that <math> \lim_{n\to\infty}f(x_n)=f(x_0) </math>. | ||
Line 55: | Line 60: | ||
A function is continuous on a set if it is continuous in every point of the set. | A function is continuous on a set if it is continuous in every point of the set. | ||
− | ====Properties of continuous functions==== | + | =====Properties of continuous functions===== |
*The sum and product of two continuous functions is a continuous function. | *The sum and product of two continuous functions is a continuous function. | ||
*The composition of two continuous functions is a continuous function. | *The composition of two continuous functions is a continuous function. | ||
* ... | * ... | ||
− | ====Intermediate value property==== | + | =====Intermediate value property===== |
If a function is continuous then it has the [[Intermediate value property]]. The converse is not always true. | If a function is continuous then it has the [[Intermediate value property]]. The converse is not always true. | ||
''Proof'':... | ''Proof'':... | ||
− | ====Continuity on compact intervals==== | + | =====Continuity on compact intervals===== |
Line 70: | Line 75: | ||
− | ===Differentiability=== | + | ====Differentiability==== |
− | ===Integrability=== | + | ====Integrability==== |
− | ===Convexity=== | + | ====Convexity==== |
==History of the concept== | ==History of the concept== | ||
Line 78: | Line 83: | ||
The rigurous definition was stated in the 19th century and is the result of the works of some famous mathematicians: [[A.L. Cauchy]], [[L. Euler]], [[B. 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 rigurous definition was stated in the 19th century and is the result of the works of some famous mathematicians: [[A.L. Cauchy]], [[L. Euler]], [[B. 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. | ||
+ | |||
+ | ==See Also== | ||
+ | *[[Algebra]] | ||
+ | **[[Functional equation]] | ||
+ | **[[Polynomials]] |
Revision as of 13:16, 23 June 2006
This article is a stub. Help us out by expanding it.
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. Lets call this function . A common notation to define is: . This tells us that is a function that squares it's argument (it's 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
Contents
[hide]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.
The graph of a function
Functions are often graphed To find out if a graph is a function, it must stand up to the vertical line test.
Intermediate Topics
Injections, surjections, bijections
- An injective function(or one-to-one) is a function which has distinct values for distinct arguments.
By definition, is injective if , or equivalently,
If and are finite sets injectivity implies .
Monotonic functions
A function is called monotonically increasing if holds whenever . If the inequality holds strictly then the function is called strictly increasing.
Similarlly, a function is called monotonically decreasing if holds whenever . If the inequality holds strictly then the function is called strictly decreasing.
Olympiad and University Level 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 it's graph can be drawn without taking the pencil off the paper. But the reality about continuous function 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 point 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 is a continuous function.
- The composition of two continuous functions is a continuous function.
- ...
Intermediate value property
If a function is continuous then it has the Intermediate value property. The converse is not always true. Proof:...
Continuity on compact intervals
Differentiability
Integrability
Convexity
History of the concept
Without being used explicitly, the notion of function first appears at the ancient greeks and egyptians.
The rigurous definition was stated in the 19th century and is the result of the works of some famous mathematicians: A.L. Cauchy, L. Euler, B. 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.