Angesichts der Operation in :
Ich würde gerne herausfinden, ob dies ein Vektorraum in ist . Wenn wir uns das Additiv-Null-Axiom ansehen, erhalten wir:
Um das Additiv-Null-Axiom zu erfüllen, muss wahr sein. Damit dies wahr ist, müsste sein
Ist dies möglich, oder könnten wir sagen, dass dies kein Vektorraum ist?
Ist kein Vektorraum, lassen Sie uns zum Beispiel versuchen, das Nullelement darin zu finden mit der angegebenen Operation.
Lassen
impliziert und dann Und es muss das Nullelement sein .
Aber in diesem Fall ist seitdem nicht invertierbar impliziert was ein Widerspruch ist.
Die additive Identität ist in der Tat .
Lassen Sie uns nach dem Gegenteil von suchen .
Für alle ,
Trebor