0
$\begingroup$

Currently I'm reading linear algebra books of leon's and friedberg's. In friedberg's book, for being subspace, a subset of vector space should (1). contain zero vector (2). closed under scalar multiplication (3). closed under vector addition

But condition (1) is missing in leon'book.

I think (1) is not necessary since if (2),(3) holds, then (1) must true

Does (1) necessary?

Thanks in advance.

$\endgroup$
  • 2
    $\begingroup$ Does leon's book include "nonempty" in the definition of a subspace? Condition (1) can be replaced by the condition "the subset is nonempty". $\endgroup$ – bof Jan 5 '14 at 13:10
  • $\begingroup$ Yes leon's definition include 'nonempty' thing. Thanks Adam and bof. $\endgroup$ – quicksilver Jan 5 '14 at 13:17
1
$\begingroup$

Probably it depends on your definition of vector space (i.e.: do you consider $\emptyset$ to be a vector space?) In my opinion, $\emptyset$ is should not be considered a vector space for various reasons, e.g. the fact that $\operatorname{span}\emptyset=\{0\}$, and thus point (1) should be included in the axioms for vector subspaces.

$\endgroup$
  • $\begingroup$ I didn't think of empty set. thanks Daniel Robert-Nicoud. $\endgroup$ – quicksilver Jan 5 '14 at 13:19
0
$\begingroup$

Leon says that a nonempty subset that is closed under scalar multiplication and vector addition is a subspace. It turns out that you can prove that any nonempty subset of a vector space that is closed under scalar multiplication and vector addition always has to contain the zero vector.

Hint: What is zero times a vector? Now use closure under scalar multiplication.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.