Reëelwaardige functie

In de wiskunde is een reëelwaardige functie een functie waarvan de functiewaarden reële getallen zijn. Dat wil zeggen dat aan elk element van het domein van de functie een reëel getal (een element uit de verzameling $\mathbb {R}$ der reële getallen) is gekoppeld (toegevoegd).[1]

Functie als geordend paar

(x,y)

met

x\in X,y\in Y

Of anders gezegd: een reëelwaardige functie is een verzameling geordende paren $(x,y)$ , waarbij $y$ een reëel getal is.

Reëelwaardige functies komen in bijna alle gebieden van de wiskunde voor, in het bijzonder in de analyse, kansrekening en optimalisatie.

Opmerking. In dit verband wordt ook het begrip reële functie gebruikt. Deze benaming staat dan voor een functie waarvan het domein eveneens de verzameling van de reële getallen is, of een deelverzameling daarvan.[2]

Formele definities

Reëelwaardige functie

Een reëelwaardige functie is een functie

f\colon D\to B

waarbij $B\subseteq \mathbb {R}$ . De verzameling $D$ (het domein) is daarbij een willekeurige verzameling.

Reële functie

Een reële functie is een functie

f\colon D\to B

waarbij $D\subseteq \mathbb {R}$ en $B\subseteq \mathbb {R}$ .

Uit deze definitie blijkt dus dat een reële functie een reëelwaardige functie is.

Opmerking. Omdat (onder meer) lineaire, kwadratische, goniometrische, rationale, exponentiële en logaritmische functies in het algemeen de verzameling $\mathbb {R}$ , of een deelverzameling daarvan, als bereik hebben, behoren ook die functies tot de reëelwaardige functies.

Speciale namen

Bij een reëelwaardige functie worden aan de structuur van het domein dus geen bijzondere eisen gesteld. Wordt de structuur van het domein wél vastgelegd, dan krijgt de functie vaak een daaraan aangepaste naam.
Is $f$ een reëelwaardige functie met domein $D$ , dan is $f$ :

een reële functie van een reële variabele als $D\subseteq \mathbb {R}$ ;
een functie van meerdere reële variabelen als $D\subseteq \mathbb {R} ^{n}$ , voor $n\geq 2$ ;
een functie van een complexe variabele als $D\subseteq \mathbb {C}$ ;
een functie van meerdere complexe variabelen als $D\subseteq \mathbb {C} ^{n}$ , voor $n\geq 2$ ;
een functionaal als $D$ een (deelverzameling van een) vectorruimte is.

Voorbeelden

De functie $f(x)={{x}^{2}}$ is een reële functie van een reële variabele.
De funcie $f(x)=\sin(x)$ is eveneens een reële functie van een reële variabele.
De functie $f({{x}_{1}},{{x}_{2}})={{x}_{1}}\cdot {{x}_{2}}+1$ is een reëelwaardige functie van twee reële variabelen. Hierbij zijn ${{x}_{1}},{{x}_{2}}$ (impliciet) element van $\mathbb {R}$ . Soms wordt in een dergelijk geval ook gesproken van een reële functie.
De functie $f(z)=\operatorname {Im} (z)$ die het complex getal $z$ afbeeldt op het imaginaire deel ( $\operatorname {Im}$ ) van $z$ , is een reëelwaardige functie van een complexe variabele.
Is ${{S}^{\,n}}$ de vectorruimte van de symmetrische reële $(n\times n)$ -matrices, dan is de functie $f(X)=\det(X)$ een functionaal (of ook: een reëelwaardige functie op ${{S}^{\,n}}$ ).
De nulfunctie $f(x)=0$ voor iedere $x\in D$ is een reëelwaardige (constante) functie. Met $D\subseteq \mathbb {R}$ wordt ook wel gesproken van reële nulfunctie.

2D-grafiek

Grafische voorstelling

3D-grafiek:

f(x,y)=x^{2}+y^{2}

met

D=\mathbb {R} ^{2}

c.q.

f(z)=|z|^{2}

met

D=\mathbb {C}

Een reële functie $f$ van één reële variabele kan met een grafiek worden gevisualiseerd door de paren $(x,f(x))$ als punten in een tweedimensionaal coördinatenstelsel te plaatsen.

Om een reële functie $f$ van twee reële variabelen grafisch voor te stellen worden de punten $(x,y,z)$ met $z=f(x,y)$ in een driedimensionaal coördinatenstelsel geplaatst.

De representatie van de functie is dan een kromme (2-dimensionaal) of een oppervlak (3-dimensionaal). Bij functies van twee reële variabelen wordt soms gebruik gemaakt van kleurschakeringen om de functiewaarden te accentueren.

Reëelwaardige functies van een complexe variabele kunnen op dezelfde manier worden behandeld als reëelwaardige functies van twee reële variabelen. Daarbij worden het reële deel en het imaginaire deel van het complexe getal bij het tekenen (‘plotten’) als eerste en tweede argument van de functie opgevat; dus $f(z)=plot(\operatorname {Re} (z),\operatorname {Im} (z))$ .

Eigenschappen

Algebraïsche eigenschappen

De verzameling $V$ van alle reëelwaardige functies gedefinieerd op een verzameling $D$ (het domein van $V$ ) vormt een reële vectorruimte; notatie: $V(D,\mathbb {R} )$ of $\mathbb {R} ^{D}$ . Binnen $V$ wordt de ‘optelling’ van twee elementen (twee reëelwaardige functies) $f,g$ voor alle $x\in D$ gedefinieerd als:

(f+g)(x)=f(x)+g(x)

en de ‘scalaire vermenigvuldiging’ voor alle $c\in \mathbb {R}$ en alle $x\in D$ door:

(c\cdot f)(x)=c\cdot f(x)

Hiermee is $V$ een zogeheten functieruimte. Deze ruimtes spelen een belangrijke rol in de lineaire algebra en de analyse. De hierboven gedefinieerde optelling van functies samen met de ‘vermenigvuldiging’ van $f,g$ voor alle $x\in D$ gedefinieerd door:

(f\cdot g)(x)=f(x)\cdot g(x)

maken $V$ tot een commutatieve ring. Wordt $V$ voorzien van de drie hierboven gedefinieerde bewerkingen, dan spreekt men van een reële algebra (een vectorruimte over $\mathbb {R}$ ).

Analytische eigenschappen

Zie daarvoor onder meer:

Begrensdheid, in het bijzonder de begrensde functie
Limiet van een rij functies
Uniforme convergentie
Genormeerde vectorruimte en Banachruimte

Generalisaties

Generalisaties van de reëelwaardige functies zijn (bijvoorbeeld) de functies waarvan de beeldruimte een vectorruimte is (vectorwaardige functies), zoals een functie met beeldruimte $\mathbb {R} ^{n}$ .
Een functie $f$ met $f:{\mathbb {R} ^{n}}\to \mathbb {R}$ noemt men een reële functie van n veranderlijken.

Nóg algemener zijn de functies die een vectorruimte op c.q. in een vectorruimte afbeelden; bijvoorbeeld $f:\mathbb {R} ^{m}\to \mathbb {R} ^{n}$ .[3]

Functies die complexe functiewaarden aannemen, worden wel complexwaardige functies genoemd. Een complexe functie is een complexwaardige functie waarvan het domein de verzameling van de complexe getallen is, of een deelverzameling daarvan; formeel:

f:D\to \mathbb {C}

waarbij $D\subseteq \mathbb {C}$ .

Literatuur

E. Coplakova, B. Edixhoven, L. Taelman, M. Veraar (2011): Wiskundige structuren. Delft: TU Delft, OpenCourseWare; PDF-bestand.
J. Hulshof (2016): Basisboek Analyse. Via de website van BON; PDF-bestand.
T.H. Koornwinder (1995): Syllabus Analyse B1. Amsterdam: Faculteit Wiskunde en Informatica, UvA; PDF- bestand.

Referenties

Dit artikel of een eerdere versie ervan is een (gedeeltelijke) vertaling van het artikel Reellwertige_Funktion op de Duitstalige Wikipedia, dat onder de licentie Creative Commons Naamsvermelding/Gelijk delen valt. Zie de bewerkingsgeschiedenis aldaar.

C. Stover, E.W. Weisstein: (en) Function. From MathWorld -- A Wolfram Web Resource.
L.D. Kudryavtsev (2011): (en) The Real Function. In: Encyclopedia of Mathematics. Helsinki: European Mathematical Society.
S. Caenepeel (2017): Syllabus Analyse I. Brussel: Vrije Universiteit Brussel; PDF-bestand, pp. 9-17.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] C. Stover, E.W. Weisstein: (en) Function. From MathWorld -- A Wolfram Web Resource.

[2] L.D. Kudryavtsev (2011): (en) The Real Function. In: Encyclopedia of Mathematics. Helsinki: European Mathematical Society.

[3] S. Caenepeel (2017): Syllabus Analyse I. Brussel: Vrije Universiteit Brussel; PDF-bestand, pp. 9-17.