Nun weiß ich leider nicht wie ich die Vorschrift: x3+2*x4-x2=0 bei den Axiomen einbauen soll.
Das L ist eine Teilmenge von IR^4. Also gelten die ganzen Axiome auch für L. Du musst nur zeigen,
dass du beim Rechnen in L diesen Bereich nicht verlässt.
also für x,y aus L muss auch x+y aus L sein und für
jedes x asu L und a aus IR muss a*x aus L sein.
das erste siehst du leicht ein, denn wenn x, y aus L sind, dann gilt
x3+2*x4-x2=0 und y3+2*y4-y2=0 und dann auch
(x3+y3)+2*(x4+y4)-(x2+y2) =0
und ebenso bei a*x gilt dann
a*x3+2*a*x4-a*x2=0
Also L Untervektorraum von IR^4.