Keine Bearbeitungszusammenfassung |
Keine Bearbeitungszusammenfassung |
||
(20 dazwischenliegende Versionen von 3 Benutzern werden nicht angezeigt) | |||
Zeile 3: | Zeile 3: | ||
|Kuerzel=Wpi |
|Kuerzel=Wpi |
||
|Typus=ÜbersetzungsPlagiat |
|Typus=ÜbersetzungsPlagiat |
||
− | |SeiteArbeit=152 |
+ | |SeiteArbeit=152, 153 |
− | |ZeileArbeit=1 |
+ | |ZeileArbeit=1 ff. (bis Seitenende); 1 |
|Quelle=Brayton und Tong 1979 |
|Quelle=Brayton und Tong 1979 |
||
|SeiteQuelle=228 |
|SeiteQuelle=228 |
||
|ZeileQuelle=41-53 |
|ZeileQuelle=41-53 |
||
− | |TextArbeit=<b>Lemma 6.4.2</b> <i> Es sei <math> u_i </math> ein Extremalpunkt der Menge <math> B_{k-1} </math> und <math> z_i = M^j_{k'} u_i,\;j\in \mathbb{N}_0 </math>. Die Menge <math> B_k </math> ist genau dann vollständig bestimmt, d.h. die ermittelten Extremalpunkte <math> \{ z_1,\ldots[sic!] z_r \} </math> beschreiben die komplexe Hülle von |
+ | |TextArbeit=<b>Lemma 6.4.2</b> <i> Es sei <math> u_i </math> ein Extremalpunkt der Menge <math> B_{k-1} </math> und <math> z_i = M^j_{k'} u_i,\;j\in \mathbb{N}_0 </math>. Die Menge <math> B_k </math> ist genau dann vollständig bestimmt, d.h. die ermittelten Extremalpunkte <math> \{ z_1,\ldots{[sic!]} z_r \} </math> beschreiben die komplexe Hülle von |
<center> |
<center> |
||
Zeile 19: | Zeile 19: | ||
<p style="text-align: right"> |
<p style="text-align: right"> |
||
− | <math mode="display"> M_{k'} z_i \in \mathcal{H}\{ z_1,\ldots [sic!] z_r \}\; |
+ | <math mode="display"> M_{k'} z_i \in \mathcal{H}\{ z_1,\ldots {[sic!]} z_r \}\; |
(i=1,\ldots,r) \qquad(6.4.25) |
(i=1,\ldots,r) \qquad(6.4.25) |
||
</math> |
</math> |
||
Zeile 26: | Zeile 26: | ||
gilt.</i> |
gilt.</i> |
||
− | <b>Beweis.</b> Wir nehmen zunächst an, daß <math> M_{k'} z_i \in \mathcal{H}\{ z_1,\ldots |
+ | <b>Beweis.</b> Wir nehmen zunächst an, daß <math> M_{k'} z_i \in \mathcal{H}\{ z_1,\ldots [sic!] z_r \} = U </math> , <math>(i=1,\ldots,r) </math> gilt. Falls nun <math> M_{k'}z_i \in U </math> ist, dann gilt dies auch für das Innere von <math> U </math>, |
da <math> z_i </math> Extremalpunkt von <math> U </math> ist. Somit gilt <math> M_{k'} U \subseteq U </math>. Damit gilt aber auch |
da <math> z_i </math> Extremalpunkt von <math> U </math> ist. Somit gilt <math> M_{k'} U \subseteq U </math>. Damit gilt aber auch |
||
− | Bk = H[QMt,Bk-l] � U |
||
<center> |
<center> |
||
<math mode="display"> B_k = \mathcal{H} |
<math mode="display"> B_k = \mathcal{H} |
||
− | \biggl[ M^ |
+ | \biggl[ \bigcup^\infty_{i=0} M^i_{k'} B_{k-1} |
\biggr] \subseteq U |
\biggr] \subseteq U |
||
+ | </math> |
||
</center> |
</center> |
||
− | Da dann auch <math> M_{k'} B_k \subseteq B_k </math> gilt, können wir wie folgt schliessen: Falls es einen Punkt <math> z \in U </math> gibt, der nicht in math> B_k </math> liegt, dann muß es auch einen Extremalpunkt |
+ | Da dann auch <math> M_{k'} B_k \subseteq B_k </math> gilt, können wir wie folgt schliessen [sic]: Falls es einen Punkt <math> z \in U </math> gibt, der nicht in <math> B_k </math> liegt, dann muß es auch einen Extremalpunkt <math> \widetilde{z} </math> von <math> U </math> geben, der nicht in <math> B_k </math> liegt. Denn entweder handelt es sich selbst um |
− | einen |
+ | einen Extremalpunkt oder er wird von einem Extremalpunkt eingegrenzt. Für |
− | die Extremalpunkte der Menge <math> U </math> gilt jedoch nach Voraussetzung, daß <math> z = M^j_{k'} \widetilde{u} </math> ist, wobei <math> \widetilde{u} </math> selbst Extremalpunkt der Menge <math> B_{k-1} </math> ist. Augrund der Konstruktionsweise von <math> B_k </math> muß daher <math> B_k = U </math> gelten. |
+ | die Extremalpunkte der Menge <math> U </math> gilt jedoch nach Voraussetzung, daß <math> \widetilde{z} = M^j_{k'} \widetilde{u} </math> ist, wobei <math> \widetilde{u} </math> selbst Extremalpunkt der Menge <math> B_{k-1} </math> ist. Augrund der Konstruktionsweise von <math> B_k </math> muß daher <math> B_k = U </math> gelten. |
|TextQuelle=<i><b>Lemma 6</b> |
|TextQuelle=<i><b>Lemma 6</b> |
||
− | Let <math> z_i = M^j_{k'} u_i </math> for some j and some <math> u_i \in E[W_{k-1}] </math>. Then <math> \mathcal{H}\{ z_1,\cdots,z_r \} = W_k </math> (defined by Theorem 3) if and only if <math> M_{k'} z_i \in \mathcal{H}\{ z_1,\cdots,z_r \} </math>, for <math> i= |
+ | Let <math> z_i = M^j_{k'} u_i </math> for some j and some <math> u_i \in E[W_{k-1}] </math>. Then <math> \mathcal{H}\{ z_1,\cdots,z_r \} = W_k </math> (defined by Theorem 3) if and only if <math> M_{k'} z_i \in \mathcal{H}\{ z_1,\cdots,z_r \} </math>, for <math> i=1,\cdots,r </math>. |
+ | |||
⚫ | Proof:</i> Let <math> U = \mathcal{H}\{ z_1,\cdots,z_r \} </math>. If <math> M_{k'} z_i \in U </math>, then <math> M_{k'} U \subseteq U </math>. Thus <math> M^j_{k'} U \subseteq U </math> and hence <math> W_k = \mathcal{H}\{ \cup^\infty_{i=0} M^i_{k'} W_{k-1} \} \subseteq U </math>. Since <math> M_{k'} W_k \subseteq W_k </math>, if there exists a point <math> z \in U </math> but <math> z \not\in W_k </math>, there must be an extreme point of <math> U </math> not in <math> W_k </math>. However this contradicts the fact that the extreme points of <math> U </math>, being of the form <math> M^j_{k'} u_i </math> where <math> u_i \in E(W_{k-1}) </math>, must be in <math> W_k </math>. Thus <math> U = W_k </math>. |
||
⚫ | |||
⚫ | |||
+ | |||
+ | (2) Das Lemma und der Beweis werden ohne Verweis aus der Quelle Quelle Brayton und Tong 1979 übernommen. |
||
+ | (3) Eine Verwendung von Lemma 6.4.2 in der weiteren Arbeit ist nicht ersichtlich. |
||
⚫ | Proof:</i> Let <math> U = \mathcal{H}\{ z_1,\cdots,z_r \} </math>. If <math> M_{k'} z_i \in |
||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | |||
+ | |Dublette=Nein |
||
− | fehlen sie auch in der untersuchten Arbeit. Neue Erkenntnisse sind nicht erkennbar. |
||
⚫ | |||
⚫ | |||
}} |
}} |
Aktuelle Version vom 8. Juni 2018, 16:54 Uhr
|
|
Untersuchte Arbeit: Seite: 152, 153, Zeilen: 1 ff. (bis Seitenende); 1 |
Quelle: Brayton und Tong 1979 Seite(n): 228, Zeilen: 41-53 |
---|---|
Lemma 6.4.2 Es sei ein Extremalpunkt der Menge und . Die Menge ist genau dann vollständig bestimmt, d.h. die ermittelten Extremalpunkte beschreiben die komplexe Hülle von
wenn
gilt. Beweis. Wir nehmen zunächst an, daß , gilt. Falls nun ist, dann gilt dies auch für das Innere von , da Extremalpunkt von ist. Somit gilt . Damit gilt aber auch
Da dann auch gilt, können wir wie folgt schliessen [sic]: Falls es einen Punkt gibt, der nicht in liegt, dann muß es auch einen Extremalpunkt von geben, der nicht in liegt. Denn entweder handelt es sich selbst um einen Extremalpunkt oder er wird von einem Extremalpunkt eingegrenzt. Für die Extremalpunkte der Menge gilt jedoch nach Voraussetzung, daß ist, wobei selbst Extremalpunkt der Menge ist. Augrund der Konstruktionsweise von muß daher gelten. |
Lemma 6
Let for some j and some . Then (defined by Theorem 3) if and only if , for . Proof: Let . If , then . Thus and hence . Since , if there exists a point but , there must be an extreme point of not in . However this contradicts the fact that the extreme points of , being of the form where , must be in . Thus . |
(1) Kapitel 6 der betrachteten Arbeit folgt weitgehend der Quelle Brayton und Tong 1979. Dies gilt für Definitionen, Lemmata, Theoreme und Beweise. Neue Erkenntnisse sind nicht erkennbar. (2) Das Lemma und der Beweis werden ohne Verweis aus der Quelle Quelle Brayton und Tong 1979 übernommen. (3) Eine Verwendung von Lemma 6.4.2 in der weiteren Arbeit ist nicht ersichtlich. |
|