"Genau dann, wenn" heißt äquivalent, du musst hier also zwei Richtungen zeigen (einmal nimmst du (x, y) ∈ Wx an und zeigst, dass x=0 ist, einmal nimmst du x=0 an und zeigst, dass W0 ein Unterraum von K^2 ist).
"=>" Sei (x, y) ∈ Wx. Dann ist (x, y) + (x, y) ∈ Wx = (x+x, y+y) = (2x, 2y)
D.h. es gibt (x, y') ∈ Wx mit (2x, 2y) = (x, y')
=> 2x=x => x=0
"<=" Hier rechne ich einfach nach, dass W0 ein Unterraum ist:
1) (0, 0) ∈ W0
2) Seien (0, y1), (0, y2) ∈ W0 => (0, y1) + (0, y2) = (0, y1+y2) ∈ W0
3) Sei (0, y) ∈ W0. Dann ist -(0, y) = (0, -y) ∈ W0
4) Sei (0, y) ∈ W0, λ ∈ K. Dann ist λ * (0, y) = (0, λy) ∈ W0
=> W0 ist ein Unterraum von K^2.