Kurs:Analysis (Osnabrück 2021-2023)/Teil I/Definitionsliste

Definition:Produktmenge

Es seien zwei Mengen ${}L$ und ${}M$ gegeben. Dann nennt man die Menge

${}L\times M={\left\{(x,y)\mid x\in L,\,y\in M\right\}}\,$

die Produktmenge der beiden Mengen.

Definition:Potenzmenge

Zu einer Menge ${}M$ nennt man die Menge aller Teilmengen von ${}M$ die Potenzmenge von ${}M$. Sie wird mit

${\mathfrak {P}}\,(M)$

bezeichnet.

Definition:Abbildung

Es seien ${}L$ und ${}M$ Mengen. Eine Abbildung ${}F$ von ${}L$ nach ${}M$ ist dadurch gegeben, dass jedem Element der Menge ${}L$ genau ein Element der Menge ${}M$ zugeordnet wird. Das zu ${}x\in L$ eindeutig bestimmte Element wird mit ${}F(x)$ bezeichnet. Die Abbildung drückt man als Ganzes häufig durch

$F\colon L\longrightarrow M,\,x\longmapsto F(x),$

aus.

Definition:Injektiv

Es seien ${}L$ und ${}M$ Mengen und es sei

$F\colon L\longrightarrow M,\,x\longmapsto F(x),$

eine Abbildung. Dann heißt ${}F$ injektiv, wenn für je zwei verschiedene Elemente ${}x,x'\in L$ auch ${}F(x)$ und ${}F(x')$ verschieden sind.

Definition:Surjektiv

Es seien ${}L$ und ${}M$ Mengen und es sei

$F\colon L\longrightarrow M,\,x\longmapsto F(x),$

eine Abbildung. Dann heißt ${}F$ surjektiv, wenn es für jedes ${}y\in M$ mindestens ein Element ${}x\in L$ mit

${}F(x)=y\,$

gibt.

Definition:Bijektiv

Es seien ${}M$ und ${}L$ Mengen und es sei

$F\colon M\longrightarrow L,\,x\longmapsto F(x),$

eine Abbildung. Dann heißt ${}F$ bijektiv, wenn ${}F$ sowohl injektiv als auch surjektiv ist.

Definition:Umkehrabbildung

Es sei ${}F\colon L\rightarrow M$ eine bijektive Abbildung. Dann heißt die Abbildung

$G\colon M\longrightarrow L,$

die jedes Element ${}y\in M$ auf das eindeutig bestimmte Element ${}x\in L$ mit ${}F(x)=y$ abbildet, die Umkehrabbildung zu ${}F$.

Definition:Hintereinanderschaltung

Es seien ${}L,\,M$ und ${}N$ Mengen und

$F\colon L\longrightarrow M,\,x\longmapsto F(x),$

und

$G\colon M\longrightarrow N,\,y\longmapsto G(y),$

Abbildungen. Dann heißt die Abbildung

$G\circ F\colon L\longrightarrow N,\,x\longmapsto G(F(x)),$

die Hintereinanderschaltung der Abbildungen ${}F$ und ${}G$.

Definition:Bild unter einer Abbildung

Es seien ${}L$ und ${}M$ Mengen und es sei

$F\colon L\longrightarrow M$

eine Abbildung. Zu einer Teilmenge ${}S\subseteq L$ heißt

${}F(S)={\left\{y\in M\mid {\text{es gibt ein }}x\in S{\text{ mit }}F(x)=y\right\}}\,$

das Bild von ${}S$ unter ${}F$. Für ${}S=L$ heißt

${}F(L)=\operatorname {bild} F\,$

das Bild der Abbildung.

Definition:Urbild unter einer Abbildung

Es seien ${}L$ und ${}M$ Mengen und es sei

$F\colon L\longrightarrow M$

eine Abbildung. Zu einer Teilmenge ${}T\subseteq M$ heißt

${}F^{-1}(T)={\left\{x\in L\mid F(x)\in T\right\}}\,$

das Urbild von ${}T$ unter ${}F$. Für eine einelementige Teilmenge ${}T=\{y\}$ heißt

$F^{-1}(\{y\})$

das Urbild von ${}y$.

Definition:Verknüpfung

Eine Verknüpfung ${}\circ$ auf einer Menge ${}M$ ist eine Abbildung

$\circ \colon M\times M\longrightarrow M,\,(x,y)\longmapsto \circ (x,y)=x\circ y.$

Definition:Kommutative Verknüpfung

Eine Verknüpfung

$\circ \colon M\times M\longrightarrow M,\,(x,y)\longmapsto x\circ y,$

auf einer Menge ${}M$ heißt kommutativ, wenn für alle ${}x,y\in M$ die Gleichheit

${}x\circ y=y\circ x\,$

gilt.

Definition:Assoziative Verknüpfung

Eine Verknüpfung

$\circ \colon M\times M\longrightarrow M,\,(x,y)\longmapsto x\circ y,$

auf einer Menge ${}M$ heißt assoziativ, wenn für alle ${}x,y,z\in M$ die Gleichheit

${}(x\circ y)\circ z=x\circ (y\circ z)\,$

gilt.

Definition:Neutrales Element

Es sei eine Menge ${}M$ mit einer Verknüpfung

$\circ \colon M\times M\longrightarrow M,\,(x,y)\longmapsto x\circ y,$

gegeben. Dann heißt ein Element ${}e\in M$ neutrales Element der Verknüpfung, wenn für alle ${}x\in M$ die Gleichheit ${}x\circ e=x=e\circ x$ gilt.

Definition:Inverses Element

Es sei eine Menge ${}M$ mit einer Verknüpfung

$\circ \colon M\times M\longrightarrow M,\,(x,y)\longmapsto x\circ y,$

und einem neutralen Element ${}e\in M$ gegeben. Dann heißt zu einem Element ${}x\in M$ ein Element ${}y\in M$ inverses Element (zu ${}x$). wenn die Gleichheit

${}x\circ y=e=y\circ x\,$

gilt.

Definition:Gruppe

Eine Menge ${}G$ mit einem ausgezeichneten Element ${}e\in G$ und mit einer Verknüpfung

$G\times G\longrightarrow G,\,(g,h)\longmapsto g\circ h,$

heißt Gruppe, wenn folgende Eigenschaften erfüllt sind.

1. Die Verknüpfung ist assoziativ, d.h. für alle ${}f,g,h\in G$ gilt

   ${}(f\circ g)\circ h=f\circ (g\circ h)\,.$

2. Das Element ${}e$ ist ein neutrales Element, d.h. für alle ${}g\in G$ gilt

   ${}g\circ e=g=e\circ g\,.$

3. Zu jedem ${}g\in G$ gibt es ein inverses Element, d.h. es gibt ein ${}h\in G$ mit

   ${}h\circ g=g\circ h=e\,.$

Definition:Körper (ausführlich)

Eine Menge ${}K$ heißt ein Körper, wenn es zwei Verknüpfungen (genannt Addition und Multiplikation)

$+:K\times K\longrightarrow K{\text{ und }}\cdot :K\times K\longrightarrow K$

und zwei verschiedene Elemente ${}0,1\in K$ gibt, die die folgenden Eigenschaften erfüllen.

1. Axiome der Addition
   1. Assoziativgesetz: Für alle ${}a,b,c\in K$ gilt: ${}(a+b)+c=a+(b+c)$.
   2. Kommutativgesetz: Für alle ${}a,b\in K$ gilt ${}a+b=b+a$.
   3. ${}0$ ist das neutrale Element der Addition, d.h. für alle ${}a\in K$ ist ${}a+0=a$.
   4. Existenz des Negativen: Zu jedem ${}a\in K$ gibt es ein Element ${}b\in K$ mit ${}a+b=0$.
2. Axiome der Multiplikation
   1. Assoziativgesetz: Für alle ${}a,b,c\in K$ gilt: ${}(a\cdot b)\cdot c=a\cdot (b\cdot c)$.
   2. Kommutativgesetz: Für alle ${}a,b\in K$ gilt ${}a\cdot b=b\cdot a$.
   3. ${}1$ ist das neutrale Element der Multiplikation, d.h. für alle ${}a\in K$ ist ${}a\cdot 1=a$.
   4. Existenz des Inversen: Zu jedem ${}a\in K$ mit ${}a\neq 0$ gibt es ein Element ${}c\in K$ mit ${}a\cdot c=1$.
3. Distributivgesetz: Für alle ${}a,b,c\in K$ gilt ${}a\cdot (b+c)=(a\cdot b)+(a\cdot c)$.

Definition:Rationale Zahl

Unter einer rationalen Zahl versteht man einen Ausdruck der Form

${\frac {a}{b}},$

wobei ${}a,b\in \mathbb {Z}$ und ${}b\neq 0$ sind, und wobei zwei Ausdrücke ${}{\frac {a}{b}}$ und ${}{\frac {c}{d}}$ genau dann als gleich betrachtet werden, wenn ${}ad=bc$ (in ${}\mathbb {Z}$) gilt. Die Menge aller rationalen Zahlen wird mit ${}\mathbb {Q}$ bezeichnet.

Definition:Fakultät

Zu einer natürlichen Zahl ${}n$ nennt man die Zahl

${}n!:=n(n-1)(n-2)\cdots 3\cdot 2\cdot 1\,$

die Fakultät von ${}n$ (sprich ${}n$ Fakultät).

Definition:Binomialkoeffizient

Es seien ${}k$ und ${}n$ natürliche Zahlen mit ${}k\leq n$. Dann nennt man

${}{\binom {n}{k}}:={\frac {n!}{k!(n-k)!}}\,$

den Binomialkoeffizienten „${}n$ über ${}k$ “.

Definition:Relation

Es seien ${}X$ und ${}Y$ Mengen. Eine Relation zwischen ${}X$ und ${}Y$ ist eine Teilmenge ${}R\subseteq X\times Y$.

Definition:Ordnungsrelation

Eine Relation ${}\preccurlyeq$ auf einer Menge ${}I$ heißt Ordnungsrelation oder Ordnung, wenn folgende drei Bedingungen erfüllt sind.

1. Es ist ${}i\preccurlyeq i$ für alle ${}i\in I$.
2. Aus ${}i\preccurlyeq j$ und ${}j\preccurlyeq k$ folgt stets ${}i\preccurlyeq k$.
3. Aus ${}i\preccurlyeq j$ und ${}j\preccurlyeq i$ folgt ${}i=j$.

Definition:Lineare Ordnung

Eine Ordnungsrelation ${}\preccurlyeq$ auf einer Menge ${}I$ heißt lineare Ordnung (oder totale Ordnung), wenn zu je zwei Elementen ${}x,y\in I$ die Beziehung ${}x\preccurlyeq y$ oder ${}y\preccurlyeq x$ gilt.

Definition:Angeordneter Körper

Ein Körper ${}K$ heißt angeordnet, wenn es eine totale Ordnung ${}\geq$ auf ${}K$ gibt, die die beiden Eigenschaften

1. Aus ${}a\geq b$ folgt ${}a+c\geq b+c$ (für beliebige ${}a,b,c\in K$),
2. Aus ${}a\geq 0$ und ${}b\geq 0$ folgt ${}ab\geq 0$ (für beliebige ${}a,b\in K$),

erfüllt.

Definition:Offenes Intervall

Es sei ${}K$ ein angeordneter Körper. Zu ${}a,b\in K$, ${}a\leq b$, nennt man ${}]a,b[={\left\{x\in K\mid a<x{\text{ und }}x<b\right\}}$ das offene Intervall.

Definition:Abgeschlossenes Intervall

Es sei ${}K$ ein angeordneter Körper. Zu ${}a,b\in K$, ${}a\leq b$, nennt man ${}[a,b]={\left\{x\in K\mid a\leq x{\text{ und }}x\leq b\right\}}$ das abgeschlossene Intervall.

Definition:Betrag (angeordneter Körper)

In einem angeordneten Körper ${}K$ ist der Betrag eines Elementes ${}x\in K$ folgendermaßen definiert.

${}\vert {x}\vert ={\begin{cases}x,\,{\text{ falls }}x\geq 0\,,\\-x,\,{\text{ falls }}x<0\,.\end{cases}}\,$

Definition:Archimedisch angeordnet

Es sei ${}K$ ein angeordneter Körper. Dann heißt ${}K$ archimedisch angeordnet, wenn das folgende Archimedische Axiom gilt, d.h. wenn es zu jedem ${}x\in K$ eine natürliche Zahl ${}n$ mit

${}n\geq x\,$

gibt.

Definition:Gaußklammer

Es sei ${}K$ ein archimedisch angeordneter Körper und ${}x\in K$. Die Gaußklammer von ${}x$ ist durch

$\left\lfloor x\right\rfloor =n,{\text{ falls }}x\in [n,n+1[{\text{ und }}n\in \mathbb {Z} ,$

definiert.

Definition:Folge

Es sei ${}M$ eine Menge. Eine Abbildung

$\mathbb {N} \longrightarrow M,\,n\longmapsto x_{n},$

nennt man auch eine Folge in ${}M$. Eine Folge wird häufig in der Form

${\left(x_{n}\right)}_{n\in \mathbb {N} }$

geschrieben.

Definition:Konvergenz einer Folge

Es sei ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ eine Folge in einem angeordneten Körper und es sei ${}x\in K$. Man sagt, dass die Folge gegen ${}x$ konvergiert, wenn folgende Eigenschaft erfüllt ist.

Zu jedem ${}\epsilon \in K$, ${}\epsilon >0$, gibt es ein ${}n_{0}\in \mathbb {N}$ derart, dass für alle ${}n\geq n_{0}$ die Beziehung

${}\vert {x_{n}-x}\vert \leq \epsilon \,$

gilt. In diesem Fall heißt ${}x$ der Grenzwert oder der Limes der Folge. Dafür schreibt man auch

${}\lim _{n\rightarrow \infty }x_{n}=x\,.$

Wenn die Folge einen Grenzwert besitzt, so sagt man auch, dass sie konvergiert (ohne Bezug auf einen Grenzwert.), andernfalls, dass sie divergiert.

Definition:Obere Schranke

Es sei ${}M\subseteq K$ eine Teilmenge eines angeordneten Körpers ${}K$. Ein Element ${}S\in K$ mit ${}x\leq S$ für alle ${}x\in M$ heißt obere Schranke für ${}M$.

Definition:Untere Schranke

Es sei ${}M\subseteq K$ eine Teilmenge eines angeordneten Körpers ${}K$. Ein Element ${}s\in K$ mit ${}x\geq s$ für alle ${}x\in M$ heißt untere Schranke für ${}M$.

Definition:Nach oben beschränkt

Eine Teilmenge ${}M\subseteq K$ eines angeordneten Körper ${}K$ heißt nach oben beschränkt, wenn es ein ${}S\in K$ mit ${}x\leq S$ für alle ${}x\in M$ gibt.

Definition:Nach unten beschränkt

Eine Teilmenge ${}M\subseteq K$ eines angeordneten Körper ${}K$ heißt nach unten beschränkt, wenn es ein ${}s\in K$ mit ${}x\geq s$ für alle ${}x\in M$ gibt.

Definition:Beschränkte Teilmenge

Eine Teilmenge ${}M\subseteq K$ eines angeordneten Körpers ${}K$ heißt beschränkt, wenn sie sowohl nach oben als auch nach unten beschränkt ist.

Definition:Maximum

Es sei ${}M\subseteq K$ eine Teilmenge eines angeordneten Körpers ${}K$. Ein Element ${}T\in M$ mit ${}x\leq T$ für alle ${}x\in M$ heißt Maximum von ${}M$.

Definition:Minimum

Es sei ${}M\subseteq K$ eine Teilmenge eines angeordneten Körpers ${}K$. Ein Element ${}t\in M$ mit ${}x\geq t$ für alle ${}x\in M$ heißt Minimum von ${}M$.

Definition:Supremum

Es sei ${}M\subseteq K$ eine Teilmenge eines angeordneten Körpers ${}K$. Eine obere Schranke ${}T$ von ${}M$ heißt das Supremum von ${}M$, wenn ${}T\leq S$ für alle oberen Schranken ${}S$ von ${}M$ gilt.

Definition:Infimum

Es sei ${}M\subseteq K$ eine Teilmenge eines angeordneten Körpers ${}K$. Eine untere Schranke ${}t$ von ${}M$ heißt das Infimum von ${}M$, wenn ${}t\geq s$ für alle unteren Schranken ${}s$ von ${}M$ gilt.

Definition:Teilfolge

Es sei ${}K$ ein angeordneter Körper und sei ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ eine Folge in ${}K$. Zu jeder streng wachsenden Abbildung ${}\mathbb {N} \longrightarrow \mathbb {N}$, ${}i\longmapsto n_{i}$, heißt die Folge

$i\mapsto x_{n_{i}}$

eine Teilfolge der Folge.

Definition:Häufungspunkt

Es sei ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ eine Folge in einem angeordneten Körper ${}K$. Ein Element ${}x\in K$ heißt Häufungspunkt der Folge, wenn es für jedes ${}\epsilon >0$ unendlich viele Folgenglieder ${}x_{n}$ mit ${}\vert {x_{n}-x}\vert \leq \epsilon$ gibt.

Definition:Bestimmt divergent

Eine Folge ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ in einem angeordneten Körper ${}K$ heißt bestimmt divergent gegen ${}+\infty$, wenn es zu jedem ${}s\in K$ ein ${}N\in \mathbb {N}$ mit

$x_{n}\geq s{\text{ für alle }}n\geq N$

gibt. Sie heißt bestimmt divergent gegen ${}-\infty$, wenn es zu jedem ${}s\in K$ ein ${}N\in \mathbb {N}$ mit

$x_{n}\leq s{\text{ für alle }}n\geq N$

gibt.

Definition:Wachsende Folge

Es sei ${}K$ ein angeordneter Körper und sei ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ eine Folge in ${}K$. Dann heißt die Folge wachsend, wenn ${}x_{n+1}\geq x_{n}$ ist für alle ${}n\in \mathbb {N}$, und streng wachsend, wenn ${}x_{n+1}>x_{n}$ ist für alle ${}n\in \mathbb {N}$. Die Folge heißt fallend, wenn ${}x_{n+1}\leq x_{n}$ ist für alle ${}n\in \mathbb {N}$ und streng fallend, wenn ${}x_{n+1}<x_{n}$ ist für alle ${}n\in \mathbb {N}$.

Definition:Cauchy-Folge

Es sei ${}K$ ein angeordneter Körper. Eine Folge ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ in ${}K$ heißt Cauchy-Folge, wenn folgende Bedingung erfüllt ist.

Zu jedem ${}\epsilon \in K$, ${}\epsilon >0$, gibt es ein ${}n_{0}\in \mathbb {N}$ derart, dass für alle ${}n,m\geq n_{0}$ die Abschätzung

${}\vert {x_{n}-x_{m}}\vert \leq \epsilon \,$

gilt.

Definition:Vollständig angeordneter Körper

Ein angeordneter Körper ${}K$ heißt vollständig oder vollständig angeordnet, wenn jede Cauchy-Folge in ${}K$ konvergiert (also in ${}K$ einen Grenzwert besitzt).

Definition:Körper der reellen Zahlen

Einen archimedisch angeordneten vollständigen Körper nennt man Körper der reellen Zahlen. Er wird mit ${}\mathbb {R}$ bezeichnet.

Definition:Intervallschachtelung

Es sei ${}K$ ein angeordneter Körper. Eine Folge von abgeschlossenen Intervallen

$I_{n}=[a_{n},b_{n}],\,n\in \mathbb {N} ,$

in ${}K$ heißt eine Intervallschachtelung, wenn ${}I_{n+1}\subseteq I_{n}$ für alle ${}n\in \mathbb {N}$ ist und wenn die Folge der Intervalllängen, also

${\left(b_{n}-a_{n}\right)}_{n\in \mathbb {N} },$

gegen ${}0$ konvergiert.

Definition:Eulersche Zahl

Die reelle Zahl

${}e:=\lim _{n\rightarrow \infty }{\left(1+{\frac {1}{n}}\right)}^{n}\,$

heißt Eulersche Zahl.

Definition:Komplexe Zahlen

Die Menge ${}\mathbb {R} ^{2}$ mit ${}0:=(0,0)$ und ${}1:=(1,0)$, mit der komponentenweisen Addition und der durch

${}(a,b)\cdot (c,d):=(ac-bd,ad+bc)\,$

definierten Multiplikation nennt man Körper der komplexen Zahlen. Er wird mit

${\mathbb {C} }$

bezeichnet.

Definition:Realteil

Zu einer komplexen Zahl

${}z=a+b{\mathrm {i} }\,$

heißt

${}\operatorname {Re} \,{\left(z\right)}=a\,$

der Realteil von ${}z$.

Definition:Imaginärteil

Zu einer komplexen Zahl

${}z=a+b{\mathrm {i} }\,$

heißt

${}\operatorname {Im} \,{\left(z\right)}=b\,$

der Imaginärteil von ${}z$.

Definition:Komplexe Konjugation

Die Abbildung

${\mathbb {C} }\longrightarrow {\mathbb {C} },\,z=a+b{\mathrm {i} }\longmapsto {\overline {z}}:=a-b{\mathrm {i} },$

heißt komplexe Konjugation.

Definition:Betrag einer komplexen Zahl

Zu einer komplexen Zahl

${}z=a+b{\mathrm {i} }\,$

ist der Betrag durch

${}\vert {z}\vert ={\sqrt {a^{2}+b^{2}}}\,$

definiert.

Definition:Reihe

Es sei ${}{\left(a_{k}\right)}_{k\in \mathbb {N} }$ eine Folge von komplexen Zahlen. Unter der Reihe ${}\sum _{k=0}^{\infty }a_{k}$ versteht man die Folge ${}{\left(s_{n}\right)}_{n\in \mathbb {N} }$ der Partialsummen

${}s_{n}=\sum _{k=0}^{n}a_{k}\,.$

Falls die Folge ${}{\left(s_{n}\right)}_{n\in \mathbb {N} }$ konvergiert, so sagt man, dass die Reihe konvergiert. In diesem Fall schreibt man für den Grenzwert ebenfalls

$\sum _{k=0}^{\infty }a_{k}$

und nennt ihn die Summe der Reihe.

Definition:Absolute Konvergenz einer Reihe

Eine Reihe

$\sum _{k=0}^{\infty }a_{k}$

von komplexen Zahlen heißt absolut konvergent, wenn die Reihe

$\sum _{k=0}^{\infty }\vert {a_{k}}\vert$

konvergiert.

Definition:Polynomring

Der Polynomring über einem Körper ${}K$ besteht aus allen Polynomen

${}P=a_{0}+a_{1}X+a_{2}X^{2}+\cdots +a_{n}X^{n}\,$

mit ${}a_{i}\in K$, ${}n\in \mathbb {N}$, und mit komponentenweiser Addition und einer Multiplikation, die durch distributive Fortsetzung der Regel

${}X^{n}\cdot X^{m}:=X^{n+m}\,$

definiert ist.

Definition:Grad eines Polynoms

Der Grad eines von ${}0$ verschiedenen Polynoms

${}P=a_{0}+a_{1}X+a_{2}X^{2}+\cdots +a_{n}X^{n}\,$

mit ${}a_{n}\neq 0$ ist ${}n$.

Definition:Rationale Funktion

Es sei ${}K$ ein Körper. Zu Polynomen ${}P,Q\in K[X]$, ${}Q\neq 0$, heißt die Funktion

$D\longrightarrow K,\,x\longmapsto {\frac {P(x)}{Q(x)}},$

wobei ${}D\subseteq K$ das Komplement der Nullstellen von ${}Q$ ist, eine rationale Funktion.

Definition:Stetige Funktion

Es sei ${}T\subseteq {\mathbb {K} }$ eine Teilmenge,

$f\colon T\longrightarrow {\mathbb {K} }$

eine Funktion und ${}x\in T$. Man sagt, dass ${}f$ stetig im Punkt ${}x$ ist, wenn es zu jedem ${}\epsilon >0$ ein ${}\delta >0$ derart gibt, dass für alle ${}x'$ mit ${}d(x,x')\leq \delta$ die Abschätzung ${}d(f(x),f(x'))\leq \epsilon$ gilt. Man sagt, dass ${}f$ stetig ist, wenn sie in jedem Punkt ${}x\in T$ stetig ist.

Definition:Grenzwert einer Funktion

Es sei ${}T\subseteq {\mathbb {K} }$ eine Teilmenge und sei ${}a\in {\mathbb {K} }$ ein Punkt. Es sei

$f\colon T\longrightarrow {\mathbb {K} }$

eine Funktion. Dann heißt ${}b\in {\mathbb {K} }$ Grenzwert (oder Limes) von ${}f$ in ${}a$, wenn es zu jedem ${}\epsilon >0$ ein ${}\delta >0$ derart gibt, dass für jedes ${}x\in T$ aus

${}\vert {x-a}\vert \leq \delta \,$

die Abschätzung

${}\vert {f(x)-b}\vert \leq \epsilon \,$

folgt. In diesem Fall schreibt man

${}\operatorname {lim} _{x\rightarrow a}\,f(x)=b\,.$

Definition:Berührpunkt

Es sei ${}T\subseteq {\mathbb {K} }$. Ein Punkt ${}x\in {\mathbb {K} }$ heißt Berührpunkt von ${}T$, wenn es (mindestens) eine Folge ${}x_{n}\in T$ gibt, die gegen ${}x$ konvergiert.

Definition:Maximum

Es sei ${}M$ eine Menge und

$f\colon M\longrightarrow \mathbb {R}$

eine Funktion. Man sagt, dass ${}f$ in einem Punkt ${}x\in M$ das Maximum annimmt, wenn

$f(x)\geq f(x'){\text{ für alle }}x'\in M{\text{ gilt}}.$

Definition:Minimum

Es sei ${}M$ eine Menge und

$f\colon M\longrightarrow \mathbb {R}$

eine Funktion. Man sagt, dass ${}f$ in einem Punkt ${}x\in M$ das Minimum annimmt, wenn

$f(x)\leq f(x'){\text{ für alle }}x'\in M{\text{ gilt}}.$

Definition:Lokales Maximum

Es sei ${}D\subseteq \mathbb {R}$ eine Teilmenge und sei

$f\colon D\longrightarrow \mathbb {R}$

eine Funktion. Man sagt, dass ${}f$ in einem Punkt ${}x\in D$ ein lokales Maximum besitzt, wenn es ein ${}\epsilon >0$ derart gibt, dass für alle ${}x'\in D$ mit ${}\vert {x-x'}\vert \leq \epsilon$ die Abschätzung

${}f(x)\geq f(x')\,$

gilt.

Definition:Lokales Minimum

Sei ${}D\subseteq \mathbb {R}$ eine Teilmenge und sei

$f\colon D\longrightarrow \mathbb {R}$

eine Funktion. Man sagt, dass ${}f$ in ${}x\in D$ ein lokales Minimum besitzt, wenn es ein ${}\epsilon >0$ derart gibt, dass für alle ${}x'\in D$ mit ${}\vert {x-x'}\vert \leq \epsilon$ die Abschätzung

${}f(x)\leq f(x')\,$

gilt.

Definition:Isoliertes lokales Maximum

Es sei ${}D\subseteq \mathbb {R}$ eine Teilmenge und sei

$f\colon D\longrightarrow \mathbb {R}$

eine Funktion. Man sagt, dass ${}f$ in einem Punkt ${}x\in D$ ein isoliertes lokales Maximum besitzt, wenn es ein ${}\epsilon >0$ derart gibt, dass für alle ${}x'\in D$ mit ${}\vert {x-x'}\vert \leq \epsilon$ und ${}x'\neq x$ die Abschätzung

${}f(x)>f(x')\,$

gilt.

Definition:Isoliertes lokales Minimum

Es sei ${}D\subseteq \mathbb {R}$ eine Teilmenge und sei

$f\colon D\longrightarrow \mathbb {R}$

eine Funktion.

Man sagt, dass ${}f$ in einem Punkt ${}x\in D$ ein isoliertes lokales Minimum besitzt, wenn es ein ${}\epsilon >0$ derart gibt, dass für alle ${}x'\in D$ mit ${}\vert {x-x'}\vert \leq \epsilon$ und ${}x'\neq x$ die Abschätzung

${}f(x)<f(x')\,$

gilt.

Definition:Gleichmäßig stetig

Es sei ${}T\subseteq {\mathbb {K} }$ eine Teilmenge,

$f\colon T\longrightarrow {\mathbb {K} }$

eine Funktion. Dann heißt ${}f$ gleichmäßig stetig, wenn es zu jedem ${}\epsilon >0$ ein ${}\delta >0$ mit folgender Eigenschaft gibt: Für alle ${}x,x'\in T$ mit ${}d{\left(x,x'\right)}\leq \delta$ ist ${}d{\left(f(x),f(x')\right)}\leq \epsilon$.

Definition:Stetige Fortsetzung

Es sei ${}T\subseteq {\mathbb {K} }$ eine Teilmenge,

$f\colon T\longrightarrow {\mathbb {K} }$

eine stetige Funktion und es sei ${}T\subseteq {\tilde {T}}\subseteq {\mathbb {K} }$. Dann heißt eine Abbildung

${\tilde {f}}\colon {\tilde {T}}\longrightarrow {\mathbb {K} }$

eine stetige Fortsetzung von ${}f$, wenn ${}{\tilde {f}}$ stetig ist und ${}{\tilde {f}}(x)=f(x)$ für alle ${}x\in T$ gilt.

Definition:Reelle Exponentialfunktion zu einer Basis

Es sei ${}b$ eine positive reelle Zahl. Die Funktion

$\mathbb {R} \longrightarrow \mathbb {R} ,\,x\longmapsto b^{x},$

heißt Exponentialfunktion zur Basis ${}b$.

Definition:Cauchy-Produkt

Zu Reihen ${}\sum _{i=0}^{\infty }a_{i}$ und ${}\sum _{j=0}^{\infty }b_{j}$ komplexer Zahlen heißt die Reihe

$\sum _{k=0}^{\infty }c_{k}{\text{ mit }}c_{k}=\sum _{i=0}^{k}a_{i}b_{k-i}$

das Cauchy-Produkt der beiden Reihen.

Definition:Potenzreihe

Es sei ${}{\left(c_{n}\right)}_{n\in \mathbb {N} }$ eine Folge von komplexen Zahlen und ${}z$ eine weitere komplexe Zahl. Dann heißt die Reihe

$\sum _{n=0}^{\infty }c_{n}z^{n}$

die Potenzreihe in ${}z$ zu den Koeffizienten ${}{\left(c_{n}\right)}_{n\in \mathbb {N} }$.

Definition:Exponentialreihe

Für jedes ${}z\in {\mathbb {C} }$ heißt die Reihe

$\sum _{n=0}^{\infty }{\frac {z^{n}}{n!}}$

die Exponentialreihe in ${}z$.

Definition:Exponentialfunktion

Die Abbildung

${\mathbb {C} }\longrightarrow {\mathbb {C} },\,z\longmapsto \exp z:=\sum _{n=0}^{\infty }{\frac {z^{n}}{n!}},$

heißt (komplexe) Exponentialfunktion.

Definition:Sinusreihe

Für ${}z\in {\mathbb {C} }$ heißt

$\sum _{n=0}^{\infty }{\frac {(-1)^{n}z^{2n+1}}{(2n+1)!}}$

die Sinusreihe zu ${}z$.

Definition:Kosinusreihe

Für ${}z\in {\mathbb {C} }$ heißt

$\sum _{n=0}^{\infty }{\frac {(-1)^{n}z^{2n}}{(2n)!}}$

die Kosinusreihe zu ${}z$.

Definition:Punktweise konvergente Funktionenfolge

Es sei ${}T$ eine Menge und

$f_{n}\colon T\longrightarrow {\mathbb {K} },$

(${}n\in \mathbb {N}$) eine Folge von Funktionen. Man sagt, dass die Funktionenfolge punktweise konvergiert, wenn für jedes ${}x\in T$ die Folge

${\left(f_{n}(x)\right)}_{n\in \mathbb {N} }$

(in ${}{\mathbb {K} }$) konvergiert.

Definition:Gleichmäßig konvergente Funktionenfolge

Es sei ${}T$ eine Menge und

$f_{n}\colon T\longrightarrow {\mathbb {K} },$

(${}n\in \mathbb {N}$) eine Folge von Funktionen. Man sagt, dass die Funktionenfolge gleichmäßig konvergiert, wenn es eine Funktion

$f\colon T\longrightarrow {\mathbb {K} }$

derart gibt, dass es zu jedem ${}\epsilon >0$ ein ${}n_{0}$ mit

$d{\left(f_{n}(x),f(x)\right)}\leq \epsilon {\text{ für alle }}n\geq n_{0}{\text{ und alle }}x\in T$

gibt.

Definition:Supremumsnorm

Es sei ${}T$ eine Menge und

$f\colon T\longrightarrow {\mathbb {K} }$

eine Funktion. Dann nennt man

${}\Vert {f}\Vert :=\Vert {f}\Vert _{T}={\operatorname {sup} \,(\vert {f(x)}\vert {|}x\in T)}\,$

das Supremum (oder die Supremumsnorm) von ${}f$. Es ist eine nichtnegative reelle Zahl oder ${}\infty$.

Definition:Konvergenzradius

Für eine Potenzreihe

$\sum _{n=0}^{\infty }c_{n}(z-a)^{n}$

heißt

${\operatorname {sup} \,(\vert {b-a}\vert ,b\in {\mathbb {C} },\,\sum _{n=0}^{\infty }c_{n}(b-a)^{n}{\text{ konvergiert}})}$

der Konvergenzradius der Potenzreihe. Das ist eine nichtnegative reelle Zahl oder ${}=\infty$.

Definition:Natürlicher Logarithmus

Der natürliche Logarithmus

$\ln \colon \mathbb {R} _{+}\longrightarrow \mathbb {R} ,\,x\longmapsto \ln x,$

ist als die Umkehrfunktion der reellen Exponentialfunktion definiert.

Definition:Exonentialfunktion zu einer Basis

Zu einer positiven reellen Zahl ${}b>0$ definiert man die Exponentialfunktion zur Basis ${}b$ von ${}z\in {\mathbb {C} }$ als

${}b^{z}:=\exp(z\ln b)\,.$

Definition:Logarithmus zu einer Basis

Zu einer positiven reellen Zahl ${}b>0$, ${}b\neq 1$, wird der Logarithmus zur Basis ${}b$ von ${}x\in \mathbb {R} _{+}$ durch

${}\log _{b}x:={\frac {\ln x}{\ln b}}\,$

definiert.

Definition:Summierbare Familie

Es sei ${}I$ eine Indexmenge und ${}a_{i}$, ${}i\in I$, eine Familie von komplexen Zahlen. Diese Familie heißt summierbar, wenn es ein ${}s\in {\mathbb {C} }$ mit folgender Eigenschaft gibt: Zu jedem ${}\epsilon >0$ gibt es eine endliche Teilmenge ${}E_{0}\subseteq I$ derart, dass für alle endlichen Teilmengen ${}E\subseteq I$ mit ${}E_{0}\subseteq E$ die Beziehung

${}\vert {a_{E}-s}\vert \leq \epsilon \,$

gilt. Dabei ist ${}a_{E}=\sum _{i\in E}a_{i}$. Im summierbaren Fall heißt ${}s$ die Summe der Familie.

Definition:Cauchy-Familie

Es sei ${}I$ eine Indexmenge und ${}a_{i}$, ${}i\in I$, eine Familie von komplexen Zahlen. Diese Familie heißt eine Cauchy-Familie, wenn es zu jedem ${}\epsilon >0$ eine endliche Teilmenge ${}E_{0}\subseteq I$ derart gibt, dass für jede endliche Teilmenge ${}D\subseteq I$ mit ${}E_{0}\cap D=\emptyset$ die Beziehung

${}\vert {a_{D}}\vert \leq \epsilon \,$

gilt. Dabei ist ${}a_{D}=\sum _{i\in D}a_{i}$.

Definition:Differenzenquotient

Es sei ${}D\subseteq {\mathbb {K} }$ offen, ${}a\in D$ ein Punkt und

$f\colon D\longrightarrow {\mathbb {K} }$

eine Funktion. Zu ${}x\in D$, ${}x\neq a$, heißt die Zahl

${\frac {f(x)-f(a)}{x-a}}$

der Differenzenquotient von ${}f$ zu ${}a$ und ${}x$.

Definition:Differenzierbarkeit

Es sei ${}D\subseteq {\mathbb {K} }$ offen, ${}a\in D$ ein Punkt und

$f\colon D\longrightarrow {\mathbb {K} }$

eine Funktion. Man sagt, dass ${}f$ differenzierbar in ${}a$ ist, wenn der Limes

$\operatorname {lim} _{x\in D\setminus \{a\},\,x\rightarrow a}\,{\frac {f(x)-f(a)}{x-a}}$

existiert. Im Fall der Existenz heißt dieser Limes der Differentialquotient oder die Ableitung von ${}f$ in ${}a$, geschrieben

$f'(a).$

Definition:Ableitungsfunktion

Es sei ${}D\subseteq {\mathbb {K} }$ offen und

$f\colon D\longrightarrow {\mathbb {K} }$

eine Funktion. Man sagt, dass ${}f$ differenzierbar ist, wenn für jeden Punkt ${}a\in D$ die Ableitung ${}f'(a)$ von ${}f$ in ${}a$ existiert. Die Abbildung

$f'\colon D\longrightarrow {\mathbb {K} },\,x\longmapsto f'(x),$

heißt die Ableitung (oder Ableitungsfunktion) von ${}f$.

Definition:Höhere Ableitungen

Es sei ${}U\subseteq {\mathbb {K} }$ offen und

$f\colon U\longrightarrow {\mathbb {K} }$

eine Funktion. Man sagt, dass ${}f$ ${}n$-mal differenzierbar ist, wenn ${}f$ ${}(n-1)$-mal differenzierbar ist und die ${}(n-1)$-te Ableitung ${}f^{(n-1)}$ differenzierbar ist. Die Ableitung

${}f^{(n)}(z):=(f^{(n-1)})'(z)\,$

nennt man dann die ${}n$-te Ableitung von ${}f$.

Definition:N-mal stetig differenzierbar

Es sei ${}D\subseteq {\mathbb {K} }$ offen und

$f\colon D\longrightarrow {\mathbb {K} }$

eine Funktion. Man sagt, dass ${}f$ n-mal stetig differenzierbar ist, wenn ${}f$ n-mal differenzierbar ist und die n-te Ableitung ${}f^{(n)}$ stetig ist.

Definition:Konvexe Teilmenge

Eine Teilmenge ${}T\subseteq \mathbb {R} ^{n}$ heißt konvex, wenn mit je zwei Punkten ${}P,Q\in T$ auch jeder Punkt der Verbindungsstrecke, also jeder Punkt der Form

$rP+(1-r)Q{\text{ mit }}r\in [0,1],$

ebenfalls zu ${}T$ gehört.

Definition:Subgraph

Es sei ${}T\subseteq \mathbb {R}$ eine Teilmenge und

$f\colon T\longrightarrow \mathbb {R}$

eine Funktion. Dann nennt man die Menge ${}S(f)={\left\{(x,y)\in T\times \mathbb {R} \mid y\leq f(x)\right\}}$ den Subgraphen der Funktion.

Definition:Epigraph

Es sei ${}T\subseteq \mathbb {R}$ eine Teilmenge und

$f\colon T\longrightarrow \mathbb {R}$

eine Funktion. Dann nennt man die Menge

${}E(f)={\left\{(x,y)\in T\times \mathbb {R} \mid y\geq f(x)\right\}}\,$

den Epigraphen der Funktion.

Definition:Konvexe Funktion

Es sei ${}I\subseteq \mathbb {R}$ ein Intervall und

$f\colon I\longrightarrow \mathbb {R}$

eine Funktion. Man sagt, dass ${}f$ konvex ist, wenn der Epigraph ${}E(f)$ konvex ist.

Definition:Konkave Funktion

Es sei ${}I\subseteq \mathbb {R}$ ein Intervall und

$f\colon I\longrightarrow \mathbb {R}$

eine Funktion. Man sagt, dass ${}f$ konkav ist, wenn der Subgraph ${}S(f)$ konvex ist.

Definition:Wendepunkt

Es sei

$f\colon I\longrightarrow \mathbb {R}$

eine auf einem Intervall ${}I\subseteq \mathbb {R}$ definierte Funktion und ${}c\in I$ ein innerer Punkt von ${}I$. Man sagt, dass in ${}c$ ein Wendepunkt von ${}f$ vorliegt, wenn es ein ${}\epsilon >0$ derart gibt, dass ${}f$ auf ${}[c-\epsilon ,c]$ konvex (konkav) und auf ${}[c,c+\epsilon ]$ konkav (konvex) ist.

Definition:Die Zahl ${}\pi$

Es sei ${}s$ die eindeutig bestimmte reelle Nullstelle der Kosinusfunktion aus dem Intervall ${}[0,2]$. Die Kreiszahl ${}\pi$ ist durch

${}\pi :=2s\,$

definiert.

Definition:Komplexe Einheitswurzel

Es sei ${}n\in \mathbb {N} _{+}$. Dann heißen die komplexen Nullstellen des Polynoms

$X^{n}-1$

${}n$-te komplexe Einheitswurzeln.

Definition:Taylor-Polynom

Es sei ${}U\subseteq {\mathbb {K} }$ eine offene Teilmenge,

$f\colon U\longrightarrow {\mathbb {K} }$

eine ${}n$-mal differenzierbare Funktion und ${}a\in U$. Dann heißt

${}T_{a,n}(f)(x)=\sum _{k=0}^{n}{\frac {f^{(k)}(a)}{k!}}(x-a)^{k}\,$

das Taylor-Polynom vom Grad ${}n$ zu ${}f$ im Entwicklungspunkt ${}a$.

Definition:Taylor-Reihe

Es sei ${}U\subseteq {\mathbb {K} }$ eine offene Teilmenge,

$f\colon U\longrightarrow {\mathbb {K} }$

eine ${}\infty$-oft differenzierbare Funktion und ${}a\in U$. Dann heißt

$\sum _{k=0}^{\infty }{\frac {f^{(k)}(a)}{k!}}(x-a)^{k}$

die Taylor-Reihe zu ${}f$ im Entwicklungspunkt ${}a$.

Definition:Treppenfunktion

Es sei ${}I$ ein reelles Intervall mit den Grenzen ${}a,b\in \mathbb {R}$. Dann heißt eine Funktion

$t\colon I\longrightarrow \mathbb {R}$

eine Treppenfunktion, wenn es eine Unterteilung

${}a=a_{0}<a_{1}<a_{2}<\cdots <a_{n-1}<a_{n}=b\,$

von ${}I$ derart gibt, dass ${}t$ auf jedem offenen Teilintervall ${}]a_{i-1},a_{i}[$ konstant ist.

Definition:Treppenintegral

Es sei ${}I$ ein reelles Intervall mit den Grenzen ${}a,b\in \mathbb {R}$ und sei

$t\colon I\longrightarrow \mathbb {R}$

eine Treppenfunktion zur Unterteilung ${}a=a_{0}<a_{1}<a_{2}<\cdots <a_{n-1}<a_{n}=b$ und den Werten ${}t_{i}$, ${}i=1,\ldots ,n$. Dann heißt

${}T:=\sum _{i=1}^{n}t_{i}(a_{i}-a_{i-1})\,$

das Treppenintegral von ${}t$ auf ${}I$.

Definition:Obere Treppenfunktion

Es sei ${}I$ ein beschränktes Intervall und sei

$f\colon I\longrightarrow \mathbb {R}$

eine Funktion. Dann heißt eine Treppenfunktion

$t\colon I\longrightarrow \mathbb {R}$

eine obere Treppenfunktion zu ${}f$, wenn ${}t(x)\geq f(x)$ für alle ${}x\in I$ ist.

Definition:Untere Treppenfunktion

Es sei ${}I$ ein beschränktes Intervall und sei

$f\colon I\longrightarrow \mathbb {R}$

eine Funktion. Dann heißt eine Treppenfunktion

$s\colon I\longrightarrow \mathbb {R}$

eine untere Treppenfunktion zu ${}f$, wenn ${}s(x)\leq f(x)$ für alle ${}x\in I$ ist.

Definition:Oberes Treppenintegral

Es sei ${}I$ ein beschränktes Intervall und sei

$f\colon I\longrightarrow \mathbb {R}$

eine Funktion. Zu jeder oberen Treppenfunktion

$t\colon I\longrightarrow \mathbb {R}$

von ${}f$ zur Unterteilung ${}a_{i}$, ${}i=0,\ldots ,n$, und den Werten ${}t_{i}$, ${}i=1,\ldots ,n$, heißt das Treppenintegral

${}T:=\sum _{i=1}^{n}t_{i}{\left(a_{i}-a_{i-1}\right)}\,$

ein oberes Treppenintegral (oder eine Obersumme) von ${}f$ auf ${}I$.

Definition:Unteres Treppenintegral

Es sei ${}I$ ein beschränktes Intervall und sei

$f\colon I\longrightarrow \mathbb {R}$

eine Funktion. Zu jeder unteren Treppenfunktion

$s\colon I\longrightarrow \mathbb {R}$

von ${}f$ zur Unterteilung ${}a_{i}$, ${}i=0,\ldots ,n$, und den Werten ${}s_{i}$, ${}i=1,\ldots ,n$, heißt

${}S:=\sum _{i=1}^{n}s_{i}{\left(a_{i}-a_{i-1}\right)}\,$

ein unteres Treppenintegral (oder eine Untersumme) von ${}f$ auf ${}I$.

Definition:Oberintegral

Es sei ${}I$ ein beschränktes Intervall und sei

$f\colon I\longrightarrow \mathbb {R}$

eine nach oben beschränkte Funktion. Dann heißt das Infimum von sämtlichen Treppenintegralen zu oberen Treppenfunktionen von ${}f$ das Oberintegral von ${}f$.

Definition:Unterintegral

Es sei ${}I$ ein beschränktes Intervall und sei

$f\colon I\longrightarrow \mathbb {R}$

eine nach unten beschränkte Funktion. Dann heißt das Supremum von sämtlichen Treppenintegralen zu unteren Treppenfunktionen von ${}f$ das Unterintegral von ${}f$.

Definition:Riemann-integrierbar (kompaktes Intervall)

Es sei ${}I$ ein kompaktes Intervall und sei

$f\colon I\longrightarrow \mathbb {R}$

eine Funktion. Dann heißt ${}f$ Riemann-integrierbar, wenn Ober- und Unterintegral von ${}f$ existieren und übereinstimmen.

Definition:Bestimmtes Integral

Es sei ${}I=[a,b]$ ein kompaktes Intervall. Zu einer Riemann-integrierbaren Funktion

$f\colon I=[a,b]\longrightarrow \mathbb {R} ,\,t\longmapsto f(t),$

heißt das Oberintegral (das nach Definition mit dem Unterintegral übereinstimmt) das bestimmte Integral von ${}f$ über ${}I$. Es wird mit

$\int _{a}^{b}f(t)\,dt{\text{ oder mit }}\int _{I}^{}f(t)\,dt$

bezeichnet.

Definition:Riemann-integrierbar

Es sei ${}I$ ein reelles Intervall und sei

$f\colon I\longrightarrow \mathbb {R}$

eine Funktion. Dann heißt ${}f$ Riemann-integrierbar, wenn die Einschränkung von ${}f$ auf jedes kompakte Intervall ${}[a,b]\subseteq I$ Riemann-integrierbar ist.

Definition:Integralfunktion

Es sei ${}I$ ein reelles Intervall und sei

$f\colon I\longrightarrow \mathbb {R}$

eine Riemann-integrierbare Funktion und ${}a\in I$. Dann heißt die Funktion

$I\longrightarrow \mathbb {R} ,\,x\longmapsto \int _{a}^{x}f(t)\,dt,$

die Integralfunktion zu ${}f$ zum Startpunkt ${}a$.

Definition:Stammfunktion

Es sei ${}I\subseteq \mathbb {R}$ ein Intervall und sei

$f\colon I\longrightarrow \mathbb {R}$

eine Funktion. Eine Funktion

$F\colon I\longrightarrow \mathbb {R}$

heißt Stammfunktion zu ${}f$, wenn ${}F$ auf ${}I$ differenzierbar ist und ${}F'(x)=f(x)$ für alle ${}x\in I$ gilt.

Definition:Gewöhnliche Differentialgleichung

Es sei ${}U\subseteq \mathbb {R} ^{2}$ eine Teilmenge und es sei

$f\colon U\longrightarrow \mathbb {R} ,\,(t,y)\longmapsto f(t,y),$

eine Funktion. Dann nennt man

${}y'=f(t,y)\,$

die (gewöhnliche) Differentialgleichung zu ${}f$ (oder zum Vektorfeld oder zum Richtungsfeld ${}f$).

Definition:Lösung einer gewöhnlichen Differentialgleichung

Es sei ${}U\subseteq \mathbb {R} ^{2}$ eine Teilmenge und es sei

$f\colon U\longrightarrow \mathbb {R} ,\,(t,y)\longmapsto f(t,y),$

eine Funktion. Zur gewöhnlichen Differentialgleichung

${}y'=f(t,y)\,$

heißt eine Funktion

$y\colon I\longrightarrow \mathbb {R} ,\,t\longmapsto y(t),$

auf einem (mehrpunktigen) Intervall ${}I\subseteq \mathbb {R}$ eine Lösung der Differentialgleichung, wenn folgende Eigenschaften erfüllt sind.

1. Es ist ${}(t,y(t))\in U$ für alle ${}t\in I$.
2. Die Funktion ${}y$ ist differenzierbar.
3. Es ist ${}y'(t)=f(t,y(t))$ für alle ${}t\in I$.

Definition:Anfangswertproblem

Es sei ${}U\subseteq \mathbb {R} ^{2}$ eine Teilmenge und es sei

$f\colon U\longrightarrow \mathbb {R} ,\,(t,y)\longmapsto f(t,y),$

eine Funktion. Es sei ${}(t_{0},y_{0})\in U$ vorgegeben. Dann nennt man

$y'=f(t,y){\text{ und }}y(t_{0})=y_{0}$

das Anfangswertproblem zur gewöhnlichen Differentialgleichung ${}y'=f(t,y)$ mit der Anfangsbedingung ${}y(t_{0})=y_{0}$.

Definition:Lösung des Anfangswertproblems

Es sei ${}U\subseteq \mathbb {R} ^{2}$ eine Teilmenge und es sei

$f\colon U\longrightarrow \mathbb {R} ,\,(t,y)\longmapsto f(t,y),$

eine Funktion. Es sei ${}(t_{0},y_{0})\in U$ vorgegeben. Dann nennt man eine Funktion

$y\colon I\longrightarrow \mathbb {R} ,\,t\longmapsto y(t),$

auf einem Intervall ${}I\subseteq \mathbb {R}$ eine Lösung des Anfangswertproblems

$y'=f(t,y){\text{ und }}y(t_{0})=y_{0},$

wenn ${}y$ eine Lösung der Differentialgleichung ist und wenn zusätzlich

${}y(t_{0})=y_{0}\,$

gilt.

Definition:Ortsunabhängige gewöhnliche Differentialgleichung

Eine gewöhnliche Differentialgleichung

${}y'=f(t,y)\,$

heißt ortsunabhängig, wenn die Funktion ${}f$ nicht von ${}y$ abhängt, wenn also ${}f(t,y)=g(t)$ mit einer Funktion ${}g$ in der einen Variablen ${}t$ gilt.

Definition:Zeitunabhängige gewöhnliche Differentialgleichung

Eine gewöhnliche Differentialgleichung

${}y'=f(t,y)\,$

heißt zeitunabhängig, wenn die Funktion ${}f$ nicht von ${}t$ abhängt, wenn also ${}f(t,y)=h(y)$ mit einer Funktion ${}h$ in der einen Variablen ${}y$ gilt.

Definition:Homogene lineare gewöhnliche eindimensionale Differentialgleichung

Eine Differentialgleichung der Form

${}y'=g(t)y\,$

mit einer Funktion (${}I$ reelles Intervall)

$g\colon I\longrightarrow \mathbb {R} ,\,t\longmapsto g(t),$

heißt gewöhnliche homogene lineare eindimensionale Differentialgleichung.

Definition:Inhomogene lineare gewöhnliche Differentialgleichung

Eine Differentialgleichung der Form

${}y'=g(t)y+h(t)\,$

mit zwei auf einem Intervall ${}I\subseteq \mathbb {R}$ definierten Funktionen ${}t\mapsto g(t)$ und ${}t\mapsto h(t)$ heißt inhomogene lineare gewöhnliche Differentialgleichung.

Definition:Gewöhnliche Differentialgleichung mit getrennten Variablen

Eine Differentialgleichung der Form

${}y'=g(t)\cdot h(y)\,$

mit zwei Funktionen (dabei sind ${}I$ und ${}J$ reelle Intervalle)

$g\colon I\longrightarrow \mathbb {R} ,\,t\longmapsto g(t),$

und

$h\colon J\longrightarrow \mathbb {R} ,\,y\longmapsto h(y),$

heißt gewöhnliche Differentialgleichung mit getrennten Variablen.