Ich formuliere den Oswald-Beweis von
U∪W Vektorraum ⇒U⊆W∨W⊆U
mal in meinen eigenen "Worten":
Nehmen wir an, dass weder U⊆W, noch W⊆U
gälte, wohl aber U∪W ein Untervektorraum.wäre.
Dann gäbe es u∈U\W und w∈W\U.
U∪W Vektorunterraum ⇒u+w∈U∪W,
also u+w∈U∨u+w∈W.
Im ersten Fall folgt w=(u+w)−u∈U, Widerspruch,
im zweiten Fall u=(u+w)−w∈W, Widerspruch.