Difference between revisions of "Function"

Revision as of 09:55, 21 June 2006

The notion of a function is one of the basic notions of mathematics. To define a function, you need to know its domain (the set of admissible arguments) $\displaystyle{X}$ , its codomain (the set of possible values) $Y$ , and a "rule" $\displaystyle{f}$ that assigns to every element $x\in X$ a unique element $y=f(x)\in Y$ .

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 $f(x)$ should be uniquely determined by $x$ . The following are examples of functions:

$f(x)=x ^ {2}+2x-2$

$f(x)=\sin{\log{x}}$

$f(x)=x^2$ for x>0, otherwise $f(x)= \sin{x}$

$f(x)=p(g(x))$

$g(x)=F'(x)$

When people talk of functions, most of the time they mean functions whose domain and codomain are sets of numbers (real or complex) or vectors. Since arbitrary functions can be arbitrarily bad and hard to handle, certain "good" classes of functions have been introduced like continuous functions, differentiable functions, measurable functions, etc. The functions in these classes possess many nice properties general functions don't have.

History of the concept

Ways to define a function

Injections, surjections, bijections

An injective function(or one-to-one) is a function which has distinct values for distinct arguments.

By definition, $f:A\to B$ is injective if $f(a)=f(b) \Rightarrow a=b$ , or equivalently, $\displaystyle a\neq b \Rightarrow f(a)\neq f(b)$

If $A$ and $B$ are finite sets injectivity implies $|A|\leq |B|$ .

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.

Monotonic functions

A function $f:A\to B$ is called monotonically increasing if $f(x_1)\geq f(x_2)$ hols whenever $\displaystyle x_1>x_2$ . If the inequality holds strictly $(f(x_1)>f(x_2))$ then the function is called strictly increasing.

Similarlly, a function $f:A\to B$ is called monotonically decreasing if $f(x_1)\geq f(x_2)$ hols whenever $x_1<x_2$ . If the inequality holds strictly $(f(x_1)>f(x_2))$ then the function is called strictly decreasing.

The graph of a function

To find out if a graph is a function, it must stand up to the vertical line test.

@@ Line 20: / Line 20: @@
 ==Injections, surjections, bijections==
+*An [[injective function]](or one-to-one) is a function which has distinct values for distinct arguments.
+By definition, <math>f:A\to B</math> is injective if <math>f(a)=f(b) \Rightarrow a=b </math>, or equivalently, <math>\displaystyle a\neq b \Rightarrow f(a)\neq f(b) </math>
+If <math>A</math> and <math>B</math> are finite sets injectivity implies <math>|A|\leq |B|</math>.
 ==Real functions==

Page

Toolbox

Search

Difference between revisions of "Function"

Revision as of 09:55, 21 June 2006

Contents

History of the concept

Ways to define a function

Injections, surjections, bijections

Real functions

Monotonic functions

The graph of a function

Continuity

Differentiability

Integrability

Convexity