Ordnungsrelation < Sonstiges < Analysis < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 11:27 Di 19.11.2013 | | Autor: | Lila_1 |
| Aufgabe | | Zeigen Sie, dass die reelle < -Relation wohldefiniert/vollständig ist. |
In der VL haben wir definiert:
s < v, falls es ein [mm] \delta [/mm] > 0 existiert, [mm] \delta \in \IQ, [/mm] es existiert ein M [mm] \ge [/mm] 1 für alles m [mm] \ge [/mm] M: [mm] s_m \le v_m [/mm] - [mm] \delta
[/mm]
und eine Ordungsrelation heißt, dass es
1. reflexiv
2 transitiv
3. antisymmetrisch
aber ich weiß leider nicht wie ich es anwenden soll oder es auch einen anderen Weg gibt diese Behauptung zu beweisen.
Kann mir da jmd. helfen?
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 17:22 Sa 23.11.2013 | | Autor: | Ladon |
Hallo Lila,
mache dir die Begriffe wohldefiniert und vollständig klar.
Wohldefiniert ist repräsentantenunabhängig.
Zeige also folgendes:
Wenn du [mm] a=a^I [/mm] und [mm] b=b^I [/mm] hast, dann soll a<b genau dann erfüllt sein, wenn [mm] a^I
Zu vollständig:
![[]](/images/popup.gif) siehe Definition 2.2.4.
Falls dennoch der Beweisansatz unklar bleibt, kannst du gerne noch mal fragen.
MfG Ladon
|
|
|
| |
|
| Status: |
(Frage) überfällig  | | Datum: | 11:51 So 24.11.2013 | | Autor: | Lila_1 |
Danke für deine Antwort, aber es ist mir immer noch unklar wie ich mit dem Beweis anfangen soll.
Das es repräsentantenunabhängig ist, weißt ich auch, mir ist aber totzdem nicht klar wie ich wohldefiniert beweise.
Kannst du vllt. den Beginn des Beweises zeigen und vllt. Noch erklären?
Danke
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 12:20 Di 26.11.2013 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
