Approximationstheorie
Approximationstheorie
Approximationstheorie
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
48 3 APPROXIMATION IN LINEAREN RÄUMEN<br />
2. Der komplexe Fall geht praktisch analog, nur werden jetzt die Halbräume durch das bilineare<br />
reellwertige Skalarprodukt ℜ〈·, ·〉 bestimmt:<br />
<br />
H (y, a) = z ∈ C n <br />
n<br />
<br />
: ℜ<br />
≤ a , y ∈ C n , a ∈ R.<br />
j=1<br />
Die Bedingung (3.12) folgt nun aus einer komponentenweisen Betrachtung von (3.11) und Lemma<br />
3.13, und (3.13) ist offensichtlich äquivalent zu (3.12). <br />
zj yj<br />
Übung 3.6 Als Halbräume im R r bezeichnet man Mengen der Form<br />
H = H (y, a) = x ∈ R r : y T x ≤ a , y ∈ R r , a ∈ R.<br />
Zeigen Sie: Ist Y ⊂ R r kompakt, dann ist<br />
[Y ] = <br />
Y ⊂H<br />
Jetzt aber endlich, zum Abschluß dieses Kapitels, der Beweis, der noch fehlt.<br />
Beweis von Satz 3.11: Sei φ ∗ ein Bestapproximant. Mit den Punkten x0, . . . , xr aus Proposition<br />
3.14 setzen wir Xσ = {x0, . . . , xr}, schreiben<br />
αj (f (xj) − φ ∗ (xj)) = αj |f (xj) − φ ∗ (xj)|<br />
<br />
=:µj<br />
H.<br />
e iθj , µj > 0, |σj| = 1, j = 0, . . . , r,<br />
<br />
=:σj<br />
und nach (3.13) ist dies die gewünschte extremale Signatur.<br />
Sei nun σ eine extremale Signatur der Länge r + 1, r ≤ dimR Φ, dann ist für jedes φ ∈ Φ<br />
0 =<br />
r<br />
j=0<br />
und somit, nach unseren Annahmen an die Signatur<br />
f − φ<br />
r<br />
|µj| ≥<br />
j=0<br />
=<br />
=<br />
r<br />
j=0<br />
<br />
<br />
<br />
r<br />
j=0<br />
r<br />
j=0<br />
µj σj (φ ∗ (xj) − φ (xj))<br />
|f (xj) − φ (xj)| |σj|<br />
<br />
=1<br />
<br />
<br />
<br />
|µj| ≥ <br />
<br />
(f (xj) − φ ∗ (xj)) µj σj +<br />
r<br />
j=0<br />
r<br />
<br />
<br />
<br />
(f (xj) − φ (xj))µj σj<br />
<br />
j=0<br />
|f (xj) − φ ∗ (xj)|<br />
<br />
=f−φ∗ µj |σj| = f − φ<br />
<br />
∗ <br />
(φ ∗ (xj) − φ (xj)) µj σj<br />
<br />
=0<br />
r<br />
|µj|<br />
und da die µj alle strikt positiv waren, muß φ ∗ eine Bestapproximation sein. <br />
j=0<br />
<br />
<br />
<br />
♦