Also ich verstehe jetzt nicht, was du meinst, aber bei deinem Beispiel b) würde es schon reichen, bei V={…} statt y=z=0 nur y=0 zu schreiben. Dann wäre U+V keine direkte Summe U⊕V.
Mit "+" ist meines Erachtens nur die Menge aller Linearkombinationen von Elementen von U und V gemeint.
"⊕" heißt, dass die Operanden in einem bestimmten Sinne "disjunkt" sind, nämlich dass deren Schnitt nur den Ursprung enthält: U⊕V⇔U∩V={0}.
Der Nullvektorraum {0} ist das Nullobjekt in der Kategorie der Vektorräume. Siehe hier https://de.wikipedia.org/wiki/Anfangsobjekt,_Endobjekt_und_Nullobjek… . Somit kann man sich eine der direkten Summe entsprechende Operation auch plausibel in anderen Kategorien vorstellen.