08.10.2013 Aufrufe

Download (1405Kb)

Download (1405Kb)

Download (1405Kb)

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.

5.2. DIE ς-FIXPUNKTSEMANTIK 87<br />

Fall 2: G ist nicht erzwungen strikt für t<br />

Nach Lemma 5.11 über die ω-Stetigkeit (und somit auch Monotonie) der erzwungenen Striktheit<br />

existiert k ∈ IN, so daß G für alle t j mit j ≥ k nicht erzwungen strikt ist. Also gilt<br />

<br />

G(T) = { <br />

G(t j), <br />

G(t j)}<br />

j

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!