Definition:Real Function

From ProofWiki
Jump to navigation Jump to search

Definition

A real function is a mapping or function whose domain and codomain are subsets of the set of real numbers $\R$.

It is frequently understood in many areas of mathematics that the domain and codomain of any function under discussion are of the set of real numbers.

Hence the adjective real is often omitted unless it is an important point to stress.


Because the concept of a function has been around for a lot longer than that of a general mapping, there is a lot more terminology that has developed up round the subject, some more vague and reliant upon intuition than others.

The transcluded pages are characteristic of the presentation of the subject which is not based on a treatment of set theory.

They are included for historical interest.


Definition 1

Let $S \subseteq \R$ be a subset of the set of real numbers $\R$.

Suppose that, for each value of the independent variable $x$ of $S$, there exists a corresponding value of the dependent variable $y$.

Then the dependent variable $y$ is a (real) function the independent variable $x$.


Definition 2

A (real) function is correspondence between a domain set $D$ and a set range set $R$ that assigns to each element of $D$ a unique element of $R$.


Independent Variable

Let $f: \R \to \R$ be a real function.

Let $\map f x = y$.

Then $x$ is referred to as an independent variable.


Dependent Variable

Let $f: \R \to \R$ be a real function.

Let $\map f x = y$.

Then $y$ is referred to as a dependent variable.


Domain

Let $f: S \to \R$ be a real function.

The domain of $f$ is the set $S$.

It is frequently the case that $S$ is not explicitly specified. If this is so, then it is understood that the domain is to consist of all the values in $\R$ for which the function is defined.

This often needs to be determined as a separate exercise in itself, by investigating the nature of the function in question.


Range

Let $f: S \to \R$ be a real function.

The range of $f$ is the set of values that the dependent variable can take.


Formula

A function $f: S \to T$ can be considered as a formula which tells us how to determine what the value of $y \in T$ is when we have selected a value for $x \in S$.


As an Equation

It is often convenient to refer to an equation or formula as though it were a function.

What is meant is that the equation defines the function; that is, it specifies the rule by which we obtain the value of $y$ from a given $x$.


Square Function

For example, let $x, y \in \R$.


The (real) square function is the real function $f: \R \to \R$ defined as:

$\forall x \in \R: \map f x = x^2$


We may express this as $y = x^2$, and use this equation to define this function.

This may be conceived as:

For each $x \in \R$, the number $y \in \R$ assigned to it is that which we get by squaring $x$.


Another useful notation is:

$\forall x \in \R: x \mapsto x^2$


Function of Two Variables

Let $S, T \subseteq \R$ be subsets of the set of real numbers $\R$.

Let $f: S \times T \to \R$ be a mapping.

Then $f$ is defined as a (real) function of two (independent) variables.


The expression:

$z = \map f {x, y}$

means:

(The dependent variable) $z$ is a function of (the independent variables) $x$ and $y$.


Function of n Variables

The concept can be extended to as many independent variables as required.


Let $f: S_1 \times S_2 \times \cdots \times S_n \to \R$ be a mapping where $S_1, S_2, \ldots, S_n \subseteq \R$.

Then $f$ is defined as a (real) function of $n$ (independent) variables.


The expression:

$y = f \left({x_1, x_2, \ldots, x_n}\right)$

means:

(The dependent variable) $y$ is a function of (the independent variables) $x_1, x_2, \ldots, x_n$.


Examples

Square Function

The (real) square function is the real function $f: \R \to \R$ defined as:

$\forall x \in \R: \map f x = x^2$


Square Root Function

The (real) square root function is the real function $f: \R \to \R$ defined on the positive real numbers as:

$\forall x \in \R_{\ge 0}: \map f x = \sqrt x$


Also see

  • Results about real functions can be found here.


Sources