Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Empty set as a vector space?

  1. Jan 19, 2013 #1
    In the book it states that the span of the empty set is the trivial set because a linear combination of no vectors is said to be the 0 vector. I really don't know how they came up with at? Is it just defined to be like that?

    After doing some research, I figured that since the empty set is a subset of every set and that the zero vector is a subspace of every vector space that means that the span({})={0}?
    Last edited: Jan 19, 2013
  2. jcsd
  3. Jan 20, 2013 #2


    User Avatar
    2017 Award

    Staff: Mentor

    Yes. It is a convenient consequence from the definition of spans.
  4. Jan 20, 2013 #3
    The zero vector is in the span of any well-defined set of vectors over any field, since zero (which must be in any field) times any vector is the zero vector. Since in set theory it's useful to have the empty set as a well-defined set, it's necessary that the zero vector be in its span. Clearly nothing else is, so the span is {0}.
  5. Jan 23, 2013 #4


    User Avatar
    Science Advisor

    Perhaps the difficulty is the misunderstanding reflected in your title, "empty set as vector space?". We, and your quote, are not saying that the empty set is a vector space, we are saying that it spans a vector space containing only the single vector, 0.
    Last edited by a moderator: Jan 25, 2013
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook