Ja genau, du prüfst die Axiome nacheinander durch. Und irgendwann wirst du feststellen, dass es kein Körper ist.
- Assoziativität + : Du addierst punktweise, vererbt sich also von der Addition auf den reellen Zahlen
- Abelsch: Vererbt sich auch von den reellen Zahlen
- Neutrales Element: Nullfunktion \( x \mapsto 0 \)
- Inverse zu f ist \( -f : [0,1] \to \mathbb R, x \mapsto -f(x) \)
=> Mit Addition abelsche Gruppe
- Assoziativität *: von IR
- Abelsch: von IR
- Neutrales Element: Einsfunktion \( x \mapsto 1 \)
- Inverses Element zu f: ??? Suche ein Gegenbeispiel
Distributivgesetze sind erfüllt, vererbt sich alles von IR.
Also haben wir im Prinzip fast einen Körper, aber nur ohne multiplikativ Inverse Elemente. Es ist also nur ein unitärer kommutativer Ring.
Man kann natürlich auch direkt ahnen, dass es an den Inversen scheitert, dann schreibt man einfach dafür ein Gegenbeispiel hin und ist fertig.. Aber für solche educated-gusses braucht man etwas Übung. Wenn du es nicht direkt siehst einfach step by step durchgehen.