Empty Set and Vector Space


by HungryChemist
Tags: space, vector
HungryChemist
HungryChemist is offline
#1
Aug3-05, 02:11 AM
P: 144
While reading text, I had a question which I can not resolve by myself. Please Help me!

it reads, The empty set( a vector space with no elements) is denoted as & (This symbol doesn't matter for the sake of argument, I don't know how to write the Zero with a line in the middle). I can understand what they mean by empty set. It must be somewhat like this; Set V = { }. But can such set with no elements has all the quality of being a vector space? If so, how can one show it does indeed meets all the ten axioms of vector space?
Phys.Org News Partner Science news on Phys.org
Simplicity is key to co-operative robots
Chemical vapor deposition used to grow atomic layer materials on top of each other
Earliest ancestor of land herbivores discovered
James R
James R is offline
#2
Aug3-05, 02:37 AM
Sci Advisor
HW Helper
PF Gold
P: 562
It seems to me that a vector space ought to contain vectors, so the empty set probably doesn't qualify.
matt grime
matt grime is offline
#3
Aug3-05, 03:42 AM
Sci Advisor
HW Helper
P: 9,398
The thing with maths is that the empty set can be a FOO since there are no elements of the empty set for whcih the definitions of FOO are false. BUt, that said, I don't think this case is one of them, there is for instance no additive identity. Which text is this?

symplectic_manifold
symplectic_manifold is offline
#4
Aug3-05, 03:57 AM
P: 60

Empty Set and Vector Space


Hm
Since the empty set is a subset of every set, I think one can still say it's a vector space.
The statement [tex]x\in\emptyset[/tex] is always wrong, so you can derive any statment you wish, in this case the axioms for vector spaces, which will apply to the empty vector space. (In fact, everything can follow from a wrong statement)
Galileo
Galileo is offline
#5
Aug3-05, 04:06 AM
Sci Advisor
HW Helper
Galileo's Avatar
P: 2,004
Vector spaces need a zero vector (an additive identity) just like groups need an identity element. So empty sets cannot be vector spaces.
matt grime
matt grime is offline
#6
Aug3-05, 04:18 AM
Sci Advisor
HW Helper
P: 9,398
Of course, almost every time I define these things for students I declare the underlying set to be not empty and that removes any doubt.
symplectic_manifold
symplectic_manifold is offline
#7
Aug3-05, 04:37 AM
P: 60
OK, I looked it up.
The definition presupposes that a subspace of a vector space be non-empty. But does a vector space deserve to be called a set then?
matt grime
matt grime is offline
#8
Aug3-05, 06:17 AM
Sci Advisor
HW Helper
P: 9,398
of course it does.
HungryChemist
HungryChemist is offline
#9
Aug4-05, 01:49 AM
P: 144
Quote Quote by matt grime
The thing with maths is that the empty set can be a FOO since there are no elements of the empty set for whcih the definitions of FOO are false. BUt, that said, I don't think this case is one of them, there is for instance no additive identity. Which text is this?

This is yet published text which my professor uses for my classes. This class is Mathematical Methods/Numerical Analysis.
HungryChemist
HungryChemist is offline
#10
Aug4-05, 01:53 AM
P: 144
Quote Quote by symplectic_manifold
Hm
Since the empty set is a subset of every set, I think one can still say it's a vector space.
Empty set is a subset of every set can't be true. If a set S is a subset of a set V then there should be at least one element of set S that also belongs to a set V but there are no such element if the set S is empty. No?
matt grime
matt grime is offline
#11
Aug4-05, 02:10 AM
Sci Advisor
HW Helper
P: 9,398
I'm afraid the empty set is a subset of any set, at least in any (model of a) set theory worth its salt.
symplectic_manifold
symplectic_manifold is offline
#12
Aug4-05, 02:32 AM
P: 60
Quote Quote by HungryChemist
Empty set is a subset of every set can't be true. If a set S is a subset of a set V then there should be at least one element of set S that also belongs to a set S but there are no such element if the set S is empty. No?
Well, this is it.
The empty set is a subset of every set exactly because of the fact, that one doesn't need to verify, that every element of the empty set also belongs to a non-empty set.
If we have a property which no elements of a non-empty set have, we obtain the empty subset of this non-empty set:
[latex]\emptyset=\{x\in{M}|x\neq{x}\}[/latex]

...but as I eventually made clear for myself, it has nothing to do with a vector space...nothing can be defined on an empty set...from nothing comes nothing!
HungryChemist
HungryChemist is offline
#13
Aug5-05, 02:20 AM
P: 144
Quote Quote by symplectic_manifold
Well, this is it.
The empty set is a subset of every set exactly because of the fact, that one doesn't need to verify, that every element of the empty set also belongs to a non-empty set.
If we have a property which no elements of a non-empty set have, we obtain the empty subset of this non-empty set:
[latex]\emptyset=\{x\in{M}|x\neq{x}\}[/latex]

...but as I eventually made clear for myself, it has nothing to do with a vector space...nothing can be defined on an empty set...from nothing comes nothing!
shoudn't it be [latex]\emptyset=\{x\in{M}|x\neq{y}\}[/latex]?

x not equal x sounds very wrong.....
Galileo
Galileo is offline
#14
Aug5-05, 02:54 AM
Sci Advisor
HW Helper
Galileo's Avatar
P: 2,004
No, it's correct. [itex]x \not= x[/itex] is always false: there is no x which satisfies that nonequality, therefore the given set is empty. You didn't even specify what y is, so your expression has no meaning.

To relieve any doubt, use the following definition of subset:

If A and B are sets, then A is called a subset of B if:
[tex]x \in A \Rightarrow x \in B[/tex]

the notation is [itex]A \subset B[/itex].

Do you see now why the empty set is a subset of every set.
hypermorphism
hypermorphism is offline
#15
Aug5-05, 11:47 AM
P: 509
Also note that this property conveniently gives us the property that the intersection of two sets which have no elements in common is still a set, the empty set (since it is a subset of both sets).
HungryChemist
HungryChemist is offline
#16
Aug6-05, 01:26 AM
P: 144
Quote Quote by Galileo
No, it's correct. [itex]x \not= x[/itex] is always false: there is no x which satisfies that nonequality, therefore the given set is empty. You didn't even specify what y is, so your expression has no meaning.

To relieve any doubt, use the following definition of subset:

If A and B are sets, then A is called a subset of B if:
[tex]x \in A \Rightarrow x \in B[/tex]

the notation is [itex]A \subset B[/itex].

Do you see now why the empty set is a subset of every set.

Yes! Thank you very much. I am always amazed!
PBRMEASAP
PBRMEASAP is offline
#17
Aug11-05, 05:12 AM
P: 190
Quote Quote by HungryChemist
While reading text, I had a question which I can not resolve by myself. Please Help me!

it reads, The empty set( a vector space with no elements) is denoted as & (This symbol doesn't matter for the sake of argument, I don't know how to write the Zero with a line in the middle). I can understand what they mean by empty set. It must be somewhat like this; Set V = { }. But can such set with no elements has all the quality of being a vector space? If so, how can one show it does indeed meets all the ten axioms of vector space?
Yeah, as others pointed out, the empty set can't be a vector space because it has no zero vector. However, the empty set does span the vector space consisting of the zero vector, according to the definition of span: The span of a set of vectors is the smallest subspace containing those vectors.
HallsofIvy
HallsofIvy is offline
#18
Aug11-05, 07:10 AM
Math
Emeritus
Sci Advisor
Thanks
PF Gold
P: 38,879
Quote Quote by PBRMEASAP
Yeah, as others pointed out, the empty set can't be a vector space because it has no zero vector. However, the empty set does span the vector space consisting of the zero vector, according to the definition of span: The span of a set of vectors is the smallest subspace containing those vectors.
In what sense does the span of the empty set equal the set containing the 0 vector?


Register to reply

Related Discussions
empty space Special & General Relativity 5
EFE in empty space Special & General Relativity 3
Empty space is something? Special & General Relativity 24
Empty space ? Special & General Relativity 5
Empty Space... forever? General Physics 17