Quelltext der Seite Kurs:Mathematik (Osnabrück 2009-2011)/Teil I/Häufige Fehler/Erste Woche

:* Ihr müsst besser auf die Objekte achten, die ihr miteinander verknüpft. Eine Aussage kann nicht äquivalent zu einer Menge sein, da es sich um unterschiedliche Objekte handelt. Äquivalenzen und "daraus folgt" sind für Aussagen zu gebrauchen; Mengen oder Abbildungen hingegen können nur gleich oder ungleich sein (Ausnahme: Äquivalenzrelation).

:* Wenn ihr die Äquivalenz zweier Aussagen zeigen wollt, ist die Vorgehensweise (im Allgemeinen) die erste Aussage als gegeben anzunehmen und dann auf die zweite zu schließen. Damit ist die Implikation "aus der ersten folgt die zweite Aussage" gezeigt. Dann macht man das noch einmal umgekehrt. Was absolut gar nicht geht ist beide Aussagen anzunehmen und dann irgendwelches blabla von sich zu geben.

:* Wenn verlangt wird ein Objekt mit gewissen Eigenschaften anzugeben (z.B. eine Bijektion von <math>\N</math> nach <math>\Z</math>), so muss auch gezeigt werden, dass diese Eigenschaften erfüllt sind! Um zu zeigen, dass die angegebene Abbildung bspw. injektiv ist, müsst ihr die Definition von injektiv an dieser konkreten Abbildung nachprüfen. Etwas von der Form "<math>f</math> ist injektiv, weil <Definition abschreiben> gilt" ist also KEIN Beweis.

:* "Für den Turm gibt es nur eine Äquivalenzklasse, weil der Turm überall hinkommt." ist auch kein Beweis. Das ist eine Behauptung ("Für den Turm gibt es nur eine Äquivalenzklasse") zusammen mit einer Umformulierung dieser Behauptung ("Der Turm kommt überall hin"). Es steht also nichts anderes da als: Das ist so, weil das eben so ist.

:* Der Unterschied zwischen <math>f</math> und <math>f(x)</math> scheint nicht klar zu sein. Letzteres ist KEINE Funktion. Das Symbol <math>f(x)</math> bezeichnet ein Element in der Wertemenge der Abbildung <math>f</math>, nämlich dasjenige, welches das Bild des Elementes <math>x</math> ist. Insbesondere kann <math>f(x)</math> NICHT injektiv oder surjektiv sein. Des Weiteren heißt <math>f(x)=g(x)</math> nur, dass die Bilder des Elementes <math>x</math> unter den Abbildungen <math>f</math> und <math>g</math> gleich sind und NICHT, dass die Abbildungen gleich sind. Wollt ihr sagen, dass die Abbildungen gleich sind, schreibt man <math>f=g</math> oder <math>f(x)=g(x)\forall x</math> (aus dem Definitionsbereich).

:* Aus einer Gleichung <math>f\circ g=f\circ h</math> lässt sich nicht <math>g=h</math> schließen. Man mache sich das an der Situation klar, wo <math>f,</math> <math>g,</math> <math>h</math> durch <math>f(x)=x^2,</math> <math>g(x)=x</math> und <math>h(x)=-x</math> gegeben sind.

:* Der Ausdruck <math>\pm (1,2)</math> ist eine abkürzende Schreibweise für "<math>(1,2)</math> oder <math>(-1,-2)</math>". Insbesondere ist also <math>(-1,2)</math> nicht inbegriffen.

:* Es gilt niemals nie nicht <math>x \in \emptyset</math>

:* Unbeschränkte Intervalle in <math>\R</math> sind immer offen in "Richtung Unendlichkeit": <math>[-\infty, 0]</math> ist falsch. Richtig ist <math>]-\infty,0]</math> oder <math>(-\infty,0]</math> Das bedeutet, dass <math>\pm\infty</math> nicht Teil der Menge ist. So, wie <math>[1,3[</math> nicht die <math>3</math> enthält.

:* Es gilt '''keineswegs''' <math>x \in M \Rightarrow x \in P(M)</math>. Es gilt allerdings  {{math|term=\{x \} \in P(M) |SZ=}} 

:* Eine Menge ist nicht bijektiv/injektiv/surjektiv! Dies sind Eigenschaften einer Abbildung.

:* <math>A \subseteq B</math> ist keine Menge! Es gilt '''nicht''' <math>A \subseteq B = \{ x|x \in A \Rightarrow x \in B\}</math> sondern <math>A \subseteq B \Rightarrow (x \in A \Rightarrow x \in B)</math>

:* Einige scheinen den Unterschied zwischen Menge und Element und die Bedeutung von <math>=</math> nicht verstanden zu haben.
Die Aussage <math>x \in A \cap B = x \in A \land x \in B</math> ist '''falsch'''!
Richtig wäre es <math>x \in A \cap B \Leftrightarrow x \in A \land x \in B</math>