Changes: Function

Latest revision as of 17:30, 29 January 2017

$Wikipedia logo$
See also the Wikipedia article:

Function (mathematics)

A function (or more strictly, a well-defined function) is a rule that assigns to every element in a set $D$ exactly one element, called the image, from another set $C$ . The set $D$ is called the domain, while the set $C$ is called the codomain. The subset of the codomain which precisely contains the set of all values that are assigned to some value in the domain is called the range

Definition

When defining a function $f$ with domain $D$ and codomain $C$ , it is common to denote it by $f: D \to C$ .

For example, the function $f:\mathbb{R} \to \mathbb{R}$ could be defined by the formula

f(x)=x^2

with domain D being the real numbers and the range R being the non-negative real numbers. This function assigns the value 4 in the range to the number −2 in the domain.

f(-2)=4

Formally, a relation $\mapsto$ from a set $D$ to set $C$ is said to be a function if it satisfies the following properties:

Totality: for each $d \in D$ , there exists a $r\in C$ such that $d\mapsto r$ .
Functionality: for each $d \in D$ and any $r,s\in C$ , if $d\mapsto r$ and $d\mapsto s$ , then $r=s$ .

The first condition asserts that every element in the domain has an image in the codomain, while the second states that such an image is unique. This definition, however, allows the following possibilities for a function:

Two or more distinct elements in the domain may have the same image;
One or more element in the codomain may not be the image of any element in the domain.

One may also speak of multi-valued functions, which only satisfy the totality property, and of partially-defined functions, which only satisfy the functional property.

With those possibilities in mind, we may define a function $f:D\rightarrow C$ to be one of these three types of functions:

Injection, injective function, or one-to-one: for any $a,b\in D$ , if $f(a) = f(b)$ then $a = b$ ;
Surjection, surjective function, or onto: for any $c\in C$ , there exists an $a\in D$ such that $f(a)=c$ ;
one-to-one correspondence, bijection, bijective function, or invertible, if $f$ is both injective and surjective.

Notation

As a function $f$ from a set $D$ to a set $C$ is formally a relation, which itself is a subset of the cartesian product $D\times C$ , the notations $x\,f\,y$ (viewing $f$ as a relation), and $(x, y) \in f$ are valid. However, whenever given an arbitrary $x \in D$ , it is cumbersome in writing to state that "there exists a unique $y\in C$ such that $x\,f\,y$ ". Therefore, we will define the preferred notation $f(x)$ to refer to the aforementioned unique $y\in C$ . Therefore, the following notations are equivalent:

$(x, y) \in f$ , when viewing $f$ as a subset of the Cartesian product $D\times C$ ;
$x\,f\,y$ , when viewing $f$ as a relation from $D$ to $C$ ;
$f(x)=y$

Examples

In practice, a function is completely determined through a formula that assigns the variables. For example:

y=f(x)=x^2+1

$y$ is the depending variable and $x$ is the independent one.

@@ Line 1: / Line 1: @@
+{{wikipedia|Function (mathematics)}}
-A '''function''' (or more strictly, a '''[[well-defined]] function''') is a rule that assigns to every [[element]] in a [[set]] <math>D</math> exactly one element, called the '''[[image]]''', from another set <math>C</math>.  The set <math>D</math> is called the '''[[domain]]''', while the set <math>C</math> is called the [[codomain]]. The subset of the codomain which precisely contains the set of all values that are assigned to some value in the domain is called the '''[[range]]'''.
+A '''function''' (or more strictly, a '''[[well-defined]] function''') is a rule that assigns to every [[element]] in a [[set]] <math>D</math> exactly one element, called the '''[[image]]''', from another set <math>C</math> . The set <math>D</math> is called the '''[[domain]]''', while the set <math>C</math> is called the [[codomain]]. The subset of the codomain which precisely contains the set of all values that are assigned to some value in the domain is called the '''[[range]]'''
+==Definition==
-When defining a function <math>f</math> with domain <math>D</math> and codomain <math>C</math>, it is common to denote it by <math>f:D\rightarrow C</math>.
+When defining a function <math>f</math> with domain <math>D</math> and codomain <math>C</math> , it is common to denote it by <math>f:D\to C</math> .
-For example, the function <math>f:\mathbb R \rightarrow \mathbb R</math> could be defined by the formula
+For example, the function <math>f:\R\to\R</math> could be defined by the formula
-:<math>f(x) = x^2</math>
+:<math>f(x)=x^2</math>
-with domain D being the [[real number]]s and the range R being the [[non-negative]] real numbers. This function assigns the value 4 in the range to the number &minus;2 in the domain.
+with domain D being the [[real number]]s and the range R being the [[non-negative]] real numbers. This function assigns the value 4 in the range to the number −2 in the domain.
 :<math>f(-2)=4</math>
-Formally, a [[relation]] <math>\sim</math> from a set <math>D</math> to set <math>C</math> is said to be a function if it satisfies the following properties:
+Formally, a [[relation]] <math>\mapsto</math> from a set <math>D</math> to set <math>C</math> is said to be a function if it satisfies the following properties:
-*'''[[Totality]]''': for each <math>d\in D</math>, there exists a <math>r\in C</math> such that <math>d \sim r</math>.
+*'''[[Totality]]''': for each <math>d\in D</math> , there exists a <math>r\in C</math> such that <math>d\mapsto r</math> .
-*'''[[Functionality]]''': for each <math>d\in D</math> and any <math>r,s\in C</math>, if <math>d\sim r</math> and <math>d\sim s</math>, then <math>r=s</math>.
+*'''[[Functionality]]''': for each <math>d\in D</math> and any <math>r,s\in C</math> , if <math>d\mapsto r</math> and <math>d\mapsto s</math> , then <math>r=s</math> .
 The first condition asserts that every element in the domain has an image in the codomain, while the second states that such an image is unique. This definition, however, allows the following possibilities for a function:
@@ Line 20: / Line 22: @@
 With those possibilities in mind, we may define a function <math>f:D\rightarrow C</math> to be one of these three types of functions:
-*'''[[Injective]]''', or '''[[one-to-one]]''': for any <math>a</math> and <math>b</math> in <math>D</math>, if <math>f\left(a\right)=f\left(b\right)</math>, then <math>a=b</math>;
+*'''[[Injection]]''', '''injective function''', or '''one-to-one''': for any <math>a,b\in D</math> , if <math>f(a)=f(b)</math> then <math>a=b</math> ;
-*'''[[Surjective]]''', or '''[[onto]]''': for any <math>c</math> in <math>C</math>, there exists an <math>a</math> in <math>D</math> such that <math>f\left(a\right)=c</math>;
+*'''[[Surjection]]''', '''surjective function''', or '''onto''': for any <math>c\in C</math> , there exists an <math>a\in D</math> such that <math>f(a)=c</math> ;
-*'''[[Bijective]]''', or '''[[invertible]]''', if <math>f</math> is both injective and surjective.
+*'''[[one-to-one correspondence]]''', '''bijection''', '''bijective function''', or '''invertible''', if <math>f</math> is both injective and surjective.
+==Notation==
+As a function <math>f</math> from a set <math>D</math> to a set <math>C</math> is formally a relation, which itself is a subset of the cartesian product <math>D\times C</math> , the notations <math>x\,f\,y</math> (viewing <math>f</math> as a relation), and <math>(x,y)\in f</math> are valid. However, whenever given an arbitrary <math>x\in D</math> , it is cumbersome in writing to state that "there exists a unique <math>y\in C</math> such that <math>x\,f\,y</math>". Therefore, we will define the preferred notation <math>f(x)</math> to refer to the aforementioned unique <math>y\in C</math> . Therefore, the following notations are equivalent:
+*<math>(x,y)\in f</math> , when viewing <math>f</math> as a subset of the [[Cartesian product]] <math>D\times C</math> ;
+*<math>x\,f\,y</math>, when viewing <math>f</math> as a relation from <math>D</math> to <math>C</math> ;
+*<math>f(x)=y</math>
+==Examples==
+In practice, a function is completely determined through a [[formula]] that assigns the variables. For example:
+:<math>y=f(x)=x^2+1</math>
+<math>y</math> is the depending variable and <math>x</math> is the independent one.
+[[de:Funktion]]
 [[Category:Functions|*]]
 [[Category:Analysis]]
+[[Category:Foundations]]
+[[Category:Set theory]]