|
Hier will ich injektiv umschreiben.
Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert): "Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen." |
|
|
Hallo,
Dein erster Vorschlag ist fast richtig, allerdings darf vorne zwischen und kein stehen: Dieses Symbol darf nur zwischen Aussagen stehen und die beiden Ausdrücke sind keine Aussagen, sondern Quantifizierungen, die für sich genommen nie ganze Aussagen sind. Als Alternative kannst Du auch schreiben .
Der zweite Vorschlag funktioniert nicht, da und nicht quantifiziert sind und nicht vorkommt.
Gruß Mauthagoras
|
|
Also man hatte ja vorher definiert:
alpha: A->B mit a*alpha = b
Kann man deshalb für a*alpha nicht auch b schreiben und für a'*alpha = b' ??
|
|
Ja, das stimmt schon, aber die Formalisierung muss in sich geschlossen vollständig sein. D.h. wenn Du zum Beispiel sagen willst, dass ein das Bild eines ist, muss das explizit durch notiert werden. Das ist so etwas wie eine allgemeine Einigung über rein logische Aussagen. Wenn Du während des Beweistextes sagst, dass Du mit stets meinst, ist das in Ordnung, aber, wie gesagt, wenn eine logische, quantifizierte Aussage für sich steht, darf sie nicht davon abhängen.
|
|
Edit: Oh, was ich voll vergessen habe. Egal bei welchem Prof ich bisher hatte. Noch nie hat man uns erklärt, wie man etwas in die mathematische Sprach umformuliert. Hast Du das in einem Buch gelesen. Wenn ja in welchem. Das ist ja etwas, das man üben muss. Wie wenn man deutsche Sätze ins Englische übersetzt. Das kann man nicht von Geburt an, das muss man erst mal lernen.
Wenn ich alles richtig verstanden habe, dann sollte es so passen:
: heißt injektiv wenn: und : Da wir aus der Definition wissen, dass ist kann man auch schreiben:
und :
Oder man verweist auf die Definition und sagt, weil und kann man für und : auch schreiben: und :
|
|
Hallo,
ich verstehe schon, was Du meinst. Leider ist es so, dass man das nicht direkt auswendig lernen kann wie eine Liste von 10 Vokabeln, sondern es kommt immer wieder etwas dazu und man muss etwas Geduld haben, bis man ein Gefühl dafür entwickelt.
Fast alles stimmt, allerdings sollte das "und" zwischen , weg und die letzte Zeile stimmt leider nicht: Was ist, muss innerhalb der logischen Zeile definiert sein und nicht außerhalb. Ich versuche mal, das an einem Beispiel zu begründen: Man ist sich einig, dass es egal ist, wie man Variablen nennt; z.B. ist die Funktion die gleiche Funktion wie . Daher sollte auch die Definition die gleiche bleiben, wenn ich jetzt nenne, also: soll das gleiche sein wie .
So kann man gut sehen, dass es wichtig ist, die Beziehung zwischen und bzw. und anzugeben, reicht nicht für jede mögliche Formulierung aus. Tatsächlich äquivalent sind hingegen die beiden folgenden Definitionen:
und .
|
|
Ich hätte gedacht, dass es vielleicht ein Übungsbuch gibt, wo man mathematische Aussagen, die in Sätzen formuliert sind in mathematische Zeichen umformen muss. Wo dann die Aufgaben immer schwerer werden. So was wäre echt cool.
Ich habe es noch einmal verbessert:
: heißt injektiv wenn: ,: Da wir aus der Definition wissen, dass ist kann man auch schreiben:
,:
Oder man verweist auf die Definition und sagt, weil und kann man für ,: auch schreiben: ,:
|
|
Ein richtiges Buch dazu kenne ich nicht, aber man kann sich solche Aufgabe vielleicht auch selbst stellen.
Ja, stimmt im Prinzip alles, in der letzten Zeile hast Du aber den Schusselfehler gemacht, nicht durch auszutauschen. In der Variante, wo und vorkommen, ist nichts falsch, aber und sind überflüssig.
|
Diese Frage wurde automatisch geschlossen, da der Fragesteller kein Interesse mehr an der Frage gezeigt hat.
|