|
Hallo, ich soll die folgende Aufgabe lösen:
Entscheiden Sie jeweils, ob die angegebene Menge ⊂ eine Anordnung im Sinne von Definition induziert:
Definition: Eine Teilmenge ⊂ induziert eine sog. Anordnung auf wenn sie folgende Bedingungen erfüllt: Trichotomie: Für jede Zahl ∈ gilt genau einer der drei Fälle ∈ oder oder −x ∈ P. Abgeschlossenheit bzgl. Addition: Für alle ∈ ist x ∈ und ∈ P =⇒ ∈ P. Abgeschlossenheit bzgl. Multiplikation: Für alle ∈ ist x ∈ und ∈ P =⇒ · ∈ P. Eine gebräuchliche Schreibweise ist :⇐⇒ ∈ P.
Im Falle der rationalen Zahlen gibt es bekanntlich eine traditionelle Wahl für die Teilmenge ⊂ welche erklärt. Dabei kann man die sog. natürlichen Zahlen als Ausgangspunkt heranziehen . . . ) ⊂ . Sie bilden eine Teilmenge der ganzen Zahlen,für die sich alle drei Bedingungen der vorangehenden Definition nachweisen lassen – für anstelle von
Für jede Zahl a ∈ gilt genau einer der drei Fälle a ∈ oder oder −a ∈ N. Für alle ,b∈ ist a ∈ und b∈ N =⇒ ∈ N. Für alle ,b∈ ist a ∈ und b∈ N =⇒ a · ∈ N. Wir betrachten eine ganze Zahl a ∈ (üblicherweise) als positiv, wenn a ∈ ist. Das führt zu der Anordnung auf mit der wir vertraut sind: Ein Bruch gilt nämlich als positiv, wenn sowohl Zähler als auch Nenner positiv sind.
Meine Lösung:
Es gilt: (wurde schon bewiesen)
1.Trichotomie
Für den Nenner gilt:
Für den Zähler gilt:
2.Abgeschlossenheit bzg. Addition
Für beliebige rationale Zahlen mit gilt:
denn für den Nenner gilt: und unf für den Zäjler gilt: und
3. Abgeschlossenheit bzgl Multiplikation:
denn für den Nenner gilt: und und für den Zähler gilt: und
Frage: Stimmt das so?
LG
Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert): "Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen." |
|
tobit 
15:37 Uhr, 16.10.2016
|
Hallo Spammer!
wie du korrekt am Anfang feststellst, gilt für alle (die 0 zählt also bei euch nicht zu den natürlichen Zahlen?) . Daher stimmt die in dieser Aufgabe zugrundegelegte Menge P mit der gewöhnlichen Menge P der positiven rationalen Zahlen überein!
Wenn ihr schon wisst, dass letztere Menge P die Eigenschaften (1.), (2.) und (3.) erfüllt, ist somit eigentlich überhaupt nichts mehr weiter zu tun!
Trotzdem eine kurze Korrektur:
(2.) und (3.) sind von der Idee her richtig; am Aufschrieb ließe sich noch feilen. Wenn du konkretere Vorschläge wünschst, frag einfach gerne nochmal danach.
Bei (1.) erkenne ich keinen Zusammenhang zwischen der zu zeigenden Trichotomie und dem, was du tust. Gegeben eine beliebige Zahl ist hier oder oder zu zeigen. (Beachte, dass man nicht von DEM Zähler und DEM Nenner von x sprechen kann, denn es gibt viele Bruchdarstellungen von x. Aber es existiert zumindest eine Darstellung mit und bzw. sogar .)
Viele Grüße Tobias
|
|
@tobit
ja klar, du kannst mir gerne erklären was man bei und anders aufschreiben kann.
Also du meinst, bei muss man die Trichotomie nicht für Zähler und Nenner zeigen sondern für die "komplette" Zahl?
LG
|
tobit 
20:54 Uhr, 16.10.2016
|
Zunächst die kleinen Vorschläge zur Formulierung von 2. und 3. am Beispiel von 2.:
2. Seien . Zu zeigen ist . Da existieren mit und . Es folgt . Wegen und zeigt dies .
(Gegebenenfalls könnte man noch ausführlicher und begründen.)
Mir ist nicht ganz klar, was du mit "Trichotomie für Zähler und Nenner" meinst. Eine Teilmenge von erfüllt die Trichotomie per Definitionem genau dann, wenn für alle rationalen Zahlen x genau eine der drei Bedingungen , und gilt. In dieser Definition tauchen nirgendwo Zähler und Nenner explizit auf.
(In meiner vorherigen Antwort ist mir leider ein Fehler unterlaufen: Gegeben eine beliebige rationale Zahl x ist nicht nur zu zeigen, dass MINDESTENS eine der Bedingungen erfüllt ist, sondern dass GENAU eine der drei Bedingungen erfüllt ist.)
(Sicherheitshalber wiederhole ich: Dieser aufwändige Beweis kann entfallen, wenn das P aus der Aufgabe als das bekannte P aus der Vorlesung identifiziert wurde und für letztgenanntes P der Nachweis schon geführt wurde.)
|
|
@tobit
ok danke,
also für kann ich dann schreiben:
Es gilt: laut Def...
und für kann ich schreiben:
Seine . Zu zeigen ist . Da existieren mit und . Es folgt Wegen und zeigt dies .
|
tobit 
22:22 Uhr, 16.10.2016
|
Zu 3): Alles bestens. Vorausgesetzt natürlich, du hast vorher korrekt begründet, dass für gilt.
Was du zu 1) schreibst, verstehe ich nicht. Ich verstehe zwar, dass für alle natürlichen Zahlen a und b und dass diese beiden (übereinstimmenden) rationalen Zahlen Element von P sind. Aber ich verstehe nicht, was das zu 1) beitragen soll?
Ich möchte nochmal klarstellen, dass du diese Aufgabe auf zwei verschiedenen Wegen lösen kannst: Erster Weg: Durch direktes Verifizieren von 1.), 2.) und 3.). Das macht etwas Arbeit. Zweiter Weg: Nutzen, dass ihr bestimmt schon wisst (oder irre ich hier?), dass den Eigenschaften 1.), 2.) und 3.) genügt. Dafür ist fast nichts zu tun.
Ich will dir den ersten Weg nicht verbieten, er ist ja auch eine gute Übung (und 2.) und 3.) hast du sowieso schon verifiziert so dass "nur" noch 1.) zu erledigen bliebe).
Aber du solltest zumindest verstanden haben, wie kurz es mittels des zweiten Weges geht:
Ich nenne die aus der Vorlesung bekannte Menge der Verdeutlichung halber mal (V wie Vorlesung) und die in unserer Aufgabe gegebene Menge nenne ich (A wie Aufgabe).
Dann kannst du die Aufgabe wie folgt vollständig lösen (zweiter Weg):
Sei und . Zu zeigen ist, dass den Bedingungen 1.), 2.) und 3.) genügt. Wir wissen aus der Vorlesung, dass den Bedingungen 1.), 2.) und 3.) genügt. Daher genügt es, zu zeigen. Da für alle jeweils gilt (wie wir gemäß Bemerkung ... aus der Vorlesung wissen), folgt unmittelbar aus den Definitionen von und .
|
|
@tobit
ok danke dir, ja das macht Sinn.
Ich habe noch zwei weitere Aufgaben, die ähnlich sind. Die werde ich dann Morgen posten.
Danke auf jedenfall schonmal.
LG
|
tobit 
07:18 Uhr, 17.10.2016
|
Mir fällt gerade auf, dass die Aufgabenstellung nicht lautet "Zeigen Sie, dass P eine Anordnung induziert." (wie von mir irrtümlich angenommen), sondern "Entscheiden Sie, ob P eine Anordnung induziert.".
Demzufolge lautet die korrekte Antwort "Ja.". Begründen lässt sich diese Antwort auf die erwähnten zwei Wege, von denen ich den zweiten (und deutlich kürzeren) in der vorigen Antwort komplett ausgeführt habe.
|
|
@tobit
Jo, ich werde den zweiten Weg von dir nehmen und als "Schlussatz" schreiben:
"Daraus folgt, dass eine Anordnung im Sinne von Def...induziert."
|
tobit 
07:29 Uhr, 17.10.2016
|
Gut! :-)
|
|
ok danke, weitere Aufgaben folgen :-)
|