Mathematik-Online-Kurs: Mathematik II für Informatik und Softwaretechnik-Lösungen-Übungsblatt 3-Blatt 3, Aufgabe 6

	[Home] [Lexikon] [Aufgaben] [Tests] [Kurse] [Begleitmaterial] [Hinweise] [Mitwirkende] [Publikationen]
	Mathematik-Online-Kurs: Mathematik II für Informatik und Softwaretechnik - Lösungen - Übungsblatt 3
	Blatt 3, Aufgabe 6

[vorangehende Seite] [nachfolgende Seite]

[Gesamtverzeichnis][Seitenübersicht]

i) Nach der Definition von

ist klar, dass $\Vert f\Vert _{\infty}$ für alle $f \in F$ endlich ist. Zu zeigen bleiben die Normaxiome.

positiv definit:

$\Vert f\Vert _{\infty} \, \geq \, \vert f(x)\vert \, \geq \, 0$ gilt für jedes $x \in [a,b]$ . Gilt andererseits $\Vert f\Vert _{\infty} \, = \, 0$ , so folgt für jedes $x \in [a,b]$ , dass $0 \leq \vert f(x)\vert \leq \Vert f\Vert _{\infty} = 0$ und somit $\vert f(x)\vert = 0$ bzw. gilt. $\Vert f\Vert _{\infty} \, = \, 0$ impliziert also $f \, \equiv \, 0$ .
absolut-homogen:

Es ist für $\lambda \in \mathbb{R}$ und $f \in F$

$\displaystyle \Vert\lambda f\Vert _{\infty} \, = \, \sup \{\vert\lambda \, f(x)\vert \mid x \in [a,b]\}$ $\displaystyle \, = \, \sup \{\vert\lambda\vert \cdot \vert f(x)\vert \mid x \in [a,b]\}$

$\displaystyle \, = \, \vert\lambda\vert \cdot \Vert f\Vert _{\infty}.$
Dreiecksungleichung

Seien $f,\tilde{f} \in F$ . Dann gilt unter Verwendung der Dreiecksungleichung für Beträge

$\displaystyle \Vert f + \tilde{f}\Vert _{\infty}$ $\displaystyle \, = \, \sup \{\vert f(x) + \tilde{f}(x)\vert \mid x \in [a,b]\}$

$\displaystyle \, \leq \, \sup \{\vert f(x)\vert \, + \, \vert\tilde{f}(x)\vert \mid x \in [a,b]\}$

$\displaystyle \, \leq \, \sup \{\vert f(x)\vert \mid x \in [a,b]\} \, + \, \sup \{\vert\tilde{f}(x)\vert \mid x \in [a,b]\}$

$\displaystyle \, = \, \Vert f\Vert _{\infty} \, + \, \Vert\tilde{f}\Vert _{\infty}.$

ii) Eine Folge $(f_{n})_{n}$ in konvergiert nach Definition gleichmäßig gegen ein $f \in F$ genau dann, wenn

$\displaystyle \forall \varepsilon > 0 \, \exists N \, \forall n \geq N \, \forall x \in [a,b] \, : \, \vert f_{n}(x) - f(x)\vert \, \leq \, \varepsilon.$

Die Aussage $\forall x \in [a,b] \, : \, \vert f_{n}(x) - f(x)\vert \, \leq \, \varepsilon$ ist dann gleichbedeutend mit $\Vert f_{n} - f\Vert _{\infty} \, = \, \sup \{ \vert f_{n}(x) - f(x)\vert \mid x \in [a,b] \} \, \leq \, \varepsilon$ . Gleichmäßige Konvergenz kann somit auch wie folgt geschrieben werden:

$\displaystyle \forall \varepsilon > 0 \, \exists N \, \forall n \geq N \, \Vert f_{n} - f\Vert _{\infty} \, \leq \, \varepsilon.$

Dies aber ist exakt die Definition, dass $(f_{n})_{n}$ gegen in der Supremumsnorm konvergiert.

(Prof. Dr. Eberhard Teufel, Dr. Norbert Röhrl)

[vorangehende Seite] [nachfolgende Seite]

[Gesamtverzeichnis][Seitenübersicht]

automatisch erstellt am 28.10.2006

$\displaystyle \Vert\lambda f\Vert _{\infty} \, = \, \sup \{\vert\lambda \, f(x)\vert \mid x \in [a,b]\}$	$\displaystyle \, = \, \sup \{\vert\lambda\vert \cdot \vert f(x)\vert \mid x \in [a,b]\}$
	$\displaystyle \, = \, \vert\lambda\vert \cdot \Vert f\Vert _{\infty}.$

$\displaystyle \Vert f + \tilde{f}\Vert _{\infty}$	$\displaystyle \, = \, \sup \{\vert f(x) + \tilde{f}(x)\vert \mid x \in [a,b]\}$
	$\displaystyle \, \leq \, \sup \{\vert f(x)\vert \, + \, \vert\tilde{f}(x)\vert \mid x \in [a,b]\}$
	$\displaystyle \, \leq \, \sup \{\vert f(x)\vert \mid x \in [a,b]\} \, + \, \sup \{\vert\tilde{f}(x)\vert \mid x \in [a,b]\}$
	$\displaystyle \, = \, \Vert f\Vert _{\infty} \, + \, \Vert\tilde{f}\Vert _{\infty}.$