en>ÄDA - DÄP at 16:30, 9 August 2013

2013-08-09T16:30:03Z

New page

{{refimprove|date=June 2013}}
{{redirect|Real function|functions whose domain is included in the real numbers|Function of a real variable}}
[[Image:Weights_20mg~500g.jpg|thumb|right|[[Mass]] measured in [[gram]]s is a function from this collection of [[weight (object)|weights]] to [[positive number|positive]] real numbers. The term "[[weight function]]", an allusion to this example, is used in pure and applied mathematics.]]
{{Functions}}
In mathematics, a '''real-valued function''' or '''real function''' is a [[function (mathematics)|function]] whose [[codomain|values]] are [[real number]]s. In other words, it is a function that assigns a real number to each member of its [[domain of a function|domain]].

Real functions are not especially interesting in general, but many important [[function space]]s are defined to consist of real functions.

== In general ==
Let {{mvar|X}} be an arbitrary [[set (mathematics)|set]]. Let <math>{\mathcal F}(X,{\mathbb R}) </math> to denote the set of all functions from {{mvar|X}} to real numbers {{math|'''R'''}}. Because {{math|'''R'''}} is a [[field (mathematics)|field]], <math>{\mathcal F}(X,{\mathbb R}) </math> is a [[vector space]] and a [[commutative algebra (structure)]] over reals:
*<math>\ f+g: x \mapsto f(x) + g(x)</math> – [[vector addition]]
*<math>\ \mathbf{0}: x \mapsto 0</math> – [[additive identity]]
*<math>\ c f: x \mapsto c f(x),\quad c \in {\mathbb R}</math> – [[scalar multiplication]]
*<math>\ f g: x \mapsto f(x)g(x)</math> – [[pointwise]] multiplication

Also, since {{math|'''R'''}} is an ordered set, there is a [[partial order]] on <math>{\mathcal F}(X,{\mathbb R}) </math>:

*<math>\ f \le g \quad\iff\quad \forall x: f(x) \le g(x)</math>.

<math>{\mathcal F}(X,{\mathbb R}) </math> is a [[partially ordered ring]].

== Measurable ==
{{see also|Borel function}}
The [[σ-algebra]] of [[Borel set]]s is an important structure on real numbers. If {{mvar|X}} has its σ-algebra and a function {{mvar|f}} is such that the [[preimage]] {{math|''f'' −1(''B'')}} of any Borel set {{mvar|''B''}} belongs to that σ-algebra, then {{mvar|f}} is said to be [[measurable function|measurable]]. Measurable functions also form a vector space and an algebra as explained [[#In general|above]].

Moreover, a set (family) of real-valued functions on {{mvar|X}} can actually ''define'' a σ-algebra on {{mvar|X}} generated by all preimages of all Borel sets (or of [[interval (mathematics)|intervals]] only, it is not important). This is the way how σ-algebras arise in ([[Kolmogorov's axioms|Kolmogorov's]]) [[probability theory]], where real-valued functions on the [[sample space]] {{math|Ω}} are real-valued [[random variable]]s.

== Continuous ==
Real numbers form a [[topological space]] and a [[complete metric space]]. [[Continuous function|Continuous]] real-valued functions (which implies that {{mvar|X}} is a topological space) are important in theories [[general topology|of topological spaces]] and [[metric geometry|of metric spaces]]. The [[extreme value theorem]] states that for any real continuous function on a [[compact space]] its global [[maxima and minima|maximum and minimum]] exist.

The concept of [[metric space]] itself is defined with a real-valued function of two variables, the ''[[metric (mathematics)|metric]]'', which is continuous. The space of [[continuous functions on a compact Hausdorff space]] has a particular importance. [[Convergent sequence]]s also can be considered as real-valued continuous functions on a special topological space.

Continuous functions also form a vector space and an algebra as explained [[#In general|above]], and are a subclass of [[#Measurable|measurable functions]] because any topological space has the σ-algebra generated by open (or closed) sets.

== Smooth ==
{{main|Smooth function}}
Real numbers are used as the codomain to define smooth functions. A domain of a real smooth function can be the [[real coordinate space]] (which yields a [[real multivariable function]]), a [[topological vector space]],<ref>Different definitions of [[derivative]] exist in general, but for finite [[dimension (vector space)|dimensions]] they result in equivalent definitions of classes of smooth functions.</ref> an [[open subset]] of them, or a [[smooth manifold]].

Spaces of smooth functions also are vector spaces and algebras as explained [[#In general|above]], and are a subclass of [[#Continuous|continuous functions]].

== Appearances in measure theory ==
A [[measure (mathematics)|measure]] on a set is a [[non-negative]] real-valued functional on a σ-algebra of subsets.<ref>Actually, a measure may have values in {{closed-closed|0, +∞}}: see [[extended real number line]].</ref> [[Lp space|L''p'' spaces]] on sets with a measure are defined from aforementioned [[#Measurable|real-valued measurable functions]], although they are actually [[quotient space]]s. More precisely, whereas a function satisfying an appropriate [[integral|summability condition]] defines an element of L''p'' space, in the opposite direction for any {{math|''f'' ∈ L''p''(''X'')}} and {{math|''x'' ∈ ''X''}} which is not an [[atom (measure theory)|atom]], the value {{math|''f''(''x'')}} is [[well-definition|undefined]]. Though, real-valued L''p'' spaces still have some of the structure explicated [[#In general|above]]. Each of L''p'' spaces is a vector space and have a partial order, and there exists a pointwise multiplication of "functions" which changes {{mvar|p}}, namely
:<math>\sdot: L^{1/\alpha} \times L^{1/\beta} \to L^{1/(\alpha+\beta)},\quad
0 \le \alpha,\beta \le 1,\quad\alpha+\beta \le 1.</math>
For example, pointwise product of two L2 functions belongs to L1.

== Other appearances ==
Other contexts where real-valued functions and their special properties are used include [[monotonic function]]s (on [[ordered set]]s), [[convex function]]s (on vector and [[affine space]]s), [[harmonic function|harmonic]] and [[subharmonic function|subharmonic]] functions (on [[Riemannian manifold]]s), [[analytic function]]s (usually of one or more real variables), [[algebraic function]]s (on real [[algebraic variety|algebraic varieties]]), and [[polynomial]]s (of one or more real variables).

==See also==
* [[Real analysis]]
* [[Partial differential equation]]s, a major user of real-valued functions
* [[Norm (mathematics)]]
* [[Scalar (mathematics)]]

==Footnotes==
{{reflist}}

==External links==
{{MathWorld |title=Real Function |id=RealFunction}}

[[Category:Mathematical analysis]]
[[Category:Types of functions]]
[[Category:General topology]]
[[Category:Metric geometry]]
[[Category:Vector spaces]]
[[Category:Measure theory]]

Plactic monoid - Revision history

en>ÄDA - DÄP at 16:30, 9 August 2013