15.10.2013 Aufrufe

Approximationstheorie

Approximationstheorie

Approximationstheorie

MEHR ANZEIGEN
WENIGER ANZEIGEN

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 />

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!