Give an example of a nonempty subset UU of R2\mathbf R^2 such that UU is closed under addition and taking additive inverses but UU is not a subspace of R2\mathbf R^2.


Recall we could have replaced the first condition in 1.34 with the condition that UU is nonempty, thus the first two conditions are satisfied meaning the only way UU can fail to be a subspace is for λu\lambda u to be outside UU for some uU,λRu\in U,\lambda \in \mathbf R.

Let U=Q2R2={(p,q):p,qQ}U = \mathbf Q^2 \cap \mathbf R^2 = \{(p,q) : p,q \in \mathbf Q\}. then UU is closed under addition and taking inverses, but not under scalar multiplication since 2uU\sqrt 2 u \notin U for any nonzero uUu \in U.