Linear spaces vs. vector spaces

In summary, the conversation discusses the properties of vectors in an abstract vector space without any additional structure, such as an inner product or norm. It is debated whether a vector in such a space has the usual properties associated with vectors, such as magnitude and direction. While some argue that these properties are still present, others suggest that the lack of a norm or inner product may make the name "vector space" misleading and propose the term "linear space" instead. Ultimately, it is noted that the interpretation of norms as lengths in Euclidean geometry is useful in applied fields, but not necessarily relevant in pure mathematics.
  • #1
TrickyDicky
3,507
27
Does a vector in an absract vector space (without any further structure i.e. no inner product or norm) have the properties usually associated with vectors, that is, magnitude and direction? If not, isn't the name vector space a bit misleading and it would be more appropriate to call it a linear space?
 
Physics news on Phys.org
  • #2
Hi TrickyDicky! :smile:
TrickyDicky said:
Does a vector in an absract vector space … have the properties usually associated with vectors, that is, magnitude and direction? …

Take eg ℝ2

we can give it the usual norm, or we can give it the norm √(x2 + 4y2) …

either way, it's a vector space, but one is squashed relative to the other, and so distances and directions are changed (and equal distances or angles become unequal)

even without a norm at all, parallel vectors are still parallel, and can be compared with each other in magnitude (using the scalar multiplication of a vector space)

and an angle which includes another angle will still do so …

so a vector space without a norm does have distance and direction :wink:

(though distances in two different directions cannot be directly compared)​
 
  • #3
tiny-tim said:
Hi TrickyDicky! :smile:Take eg ℝ2

...

even without a norm at all, parallel vectors are still parallel, and can be compared with each other in magnitude (using the scalar multiplication of a vector space)

and an angle which includes another angle will still do so …

so a vector space without a norm does have distance and direction :wink:

(though distances in two different directions cannot be directly compared)[/INDENT]
Hi tiny-tim
I'm referring to the case without any norm or inner product. I agree one can compare the collinear elements of the space and say that one is twice or half as long as the other, but that doesn't allow us to assign them a specific length and therefore measure any distance.
With respect to parallelism, I gathered from another thread in the relativity forum that unless you add a connection (so you'd need more structure) you cannot properly talk about parallelism, between elements of the space, at most you can talk about collinearity. So certainly you cannot assign an angle to the elements of the space either, don't you agree?
 
  • #4
With respect to parallelism, I gathered from another thread in the relativity forum that unless you add a connection (so you'd need more structure) you cannot properly talk about parallelism, between elements of the space, at most you can talk about collinearity.

ah, i meant parallel at the same point (in other words, yes, collinear)
TrickyDicky said:
… that doesn't allow us to assign them a specific length and therefore measure any distance.

yes, without a norm, we can only compare collinear distances
So certainly you cannot assign an angle to the elements of the space either, don't you agree?

yes … no norm, no angle :smile:
 
  • #5
TrickyDicky said:
Hi tiny-tim
I'm referring to the case without any norm or inner product.
You can always define an inner product and a norm if the vector space is finite-dimensional.

TrickyDicky said:
With respect to parallelism, I gathered from another thread in the relativity forum that unless you add a connection (so you'd need more structure) you cannot properly talk about parallelism, between elements of the space, at most you can talk about collinearity.
Two vectors are parallel if and only if they're linearly dependent, i.e. if one of them is a scalar times the other. You must be thinking of manifolds, not vector spaces.

TrickyDicky said:
So certainly you cannot assign an angle to the elements of the space either, don't you agree?
Angles require something like an inner product. With an inner product on a vector space over ℝ, you can define the angle θ(x,y) between x and y by
$$\cos\theta(x,y)=\frac{\langle x,y\rangle}{\|x\|\|y\|}.$$ By the way, some people do call vector spaces "linear spaces" or even "linear vector spaces".
 
  • #6
Fredrik said:
You can always define an inner product and a norm if the vector space is finite-dimensional.
Angles require something like an inner product. With an inner product on a vector space over ℝ, you can define the angle θ(x,y) between x and y by
$$\cos\theta(x,y)=\frac{\langle x,y\rangle}{\|x\|\|y\|}.$$
Certainly, my question is simply about the case with no additional structure.
Fredrik said:
Two vectors are parallel if and only if they're linearly dependent, i.e. if one of them is a scalar times the other. You must be thinking of manifolds, not vector spaces.
Yes, but note that a vector space over the reals is automatically a manifold. Also see above the discussion on collinearity vs. parallelism.
Fredrik said:
By the way, some people do call vector spaces "linear spaces" or even "linear vector spaces".
I know, my question was triggered by a book on linear algebra that had a chapter called linear spaces that in its first page had a footnote about why they didn't call it vector spaces as most linear algebra books. Their explanation was something to the effect that the authors didn't consider the elements of these spaces as vectors because they didn't have the properties that geoemtrical vectors had. I found it odd.
 
Last edited:
  • #7
Of course defining vectors over the reals simply as ordered n-tuples of n real numbers should suffice to avoid misunderstandings.
I guess the problem is the representation we make of them, which is usually a geometric interpretation that may lead to ambiguities as to how much structure is added tacitly to the basic abstract vector space.
 
  • #8
AFAIK "vector space" and "linear space" are synonyms, in this context. However the name "linear space" is also used for a different mathmatical structure: http://en.wikipedia.org/wiki/Linear_space_(geometry [Broken])

I think the motivation for changing the name "vector space" to "linear space" is that the elements of a "vector space" can be mathematical objects which don't have any obvious geometrical interpretation as "vectors". For example the elements of a linear space might be "matrices whose elements are functions", not "numbers".

I don't think the issue of norms is relevant. As Fredrik said, you can define an infinite number of different norms on any linear space. Interpreting one particular norm as a "length" in Euclidean geometry is certainly interesting and useful in physics or engineering, but it does't have much mathematical significance.
 
Last edited by a moderator:
  • #9
In #6 where I wrote " a vector space over the reals is automatically a manifold" it should say "a topological vector space over the reals is automatically a manifold".
 
  • #10
TrickyDicky said:
In #6 where I wrote " a vector space over the reals is automatically a manifold" it should say "a topological vector space over the reals is automatically a manifold".

That's not true. A topological vector space doesn't need to have a nice manifold structure. For example, if I take a vector space and equip it with the trivial topology, then I have a topological vector space which is not a manifold. So it all depends on the topology.

What is true is that there is a very canonical way to make a finite-dimensional real vector space into a manifold. That doesn't mean that every topology will make the vector space into a manifold.
 
  • #12
TrickyDicky said:

No, it's right. It's exactly what I said. Every real vector space V has a canonical manifold structure as follows: take a basis [itex]\{E_1,...,E_n\}[/itex]. Then consider the map

[tex]V\rightarrow \mathbb{R}^n:x^i E_i\rightarrow (x^1,..., x^n)[/tex]

This induces a maximal atlas which defines a smooth structure on the vector space V. Furthermore, the maximal atlas turns out to be independent of the choice of the basis.

What you said, is that every topological vector space is a manifold. This is wrong, as the trivial topology shows.
 
  • #13
micromass said:
What you said, is that every topological vector space is a manifold. This is wrong, as the trivial topology shows.

I didn't write that anywhere. Check my posts and try to quote that statement. I wrote first that every vector space over the reals is a manifold, and then corrected it to every topological vector space over the reals is a manifold. Now I,ve managed to confuse myself and I'm not sure if you are sayin that both statements are wrong, that only one is wrong(wich one?). I guess I have difficulties sorting out the subtleties of the mathematical language, is not having a natural manifold structure equivalent to being a manifold?
Thanks for your patience.
 
  • #14
TrickyDicky said:
I didn't write that anywhere. Check my posts and try to quote that statement. I wrote first that every vector space over the reals is a manifold, and then corrected it to every topological vector space over the reals is a manifold. Now I,ve managed to confuse myself and I'm not sure if you are sayin that both statements are wrong, that only one is wrong(wich one?). I guess I have difficulties sorting out the subtleties of the mathematical language, is not having a natural manifold structure equivalent to being a manifold?
Thanks for your patience.

You said that

a topological vector space over the reals is automatically a manifold

This is wrong. A topological manifold is, by definition, a topological space which satisfies some properties (usually locally Euclidean, Hausdorff and second countable).
If you speak about a topological vector space, then you have some topology. Saying that a topological vector space is a manifold means exactly that the topology on your space satisfies the properties. Like I pointed out, this is not necessarily true.

What is true is that every finite-dimensional real vector space induces naturally a topology which makes it into a manifold.

There are many topologies which you can put on a vector space and which make it into a topological vector space. But there is only one topology which make it into a manifold.
 
  • #15
micromass said:
You said that

"a topological vector space over the reals is automatically a manifold."

This is wrong. A topological manifold is, by definition, a topological space which satisfies some properties (usually locally Euclidean, Hausdorff and second countable).
If you speak about a topological vector space, then you have some topology. Saying that a topological vector space is a manifold means exactly that the topology on your space satisfies the properties. Like I pointed out, this is not necessarily true.

What is true is that every finite-dimensional real vector space induces naturally a topology which makes it into a manifold.

There are many topologies which you can put on a vector space and which make it into a topological vector space. But there is only one topology which make it into a manifold.
We are seemingly not understanding each other, let's use a definition quoted from Wikipedia: http://en.wikipedia.org/wiki/Manifold

"The broadest common definition of manifold is a topological space locally homeomorphic to a topological vector space over the reals."

Is it not a topological vector space over the reals also a topological vector space over the reals locally? In that case it seems to me being a topological vector space over the reals is enough to count as a manifold since such object is trivially locally homeomorphic to a topological vector space over the reals. Sorry about the annoying repetition of phrases.
 
  • #16
micromass said:
What is true is that every finite-dimensional real vector space induces naturally a topology which makes it into a manifold.

Doesn't this finite-dimensional real vector space need to be a topological real vector space, I thought you said in the other thread that the algebraic structure only was not enough to have a manifold ?
 
  • #17
TrickyDicky said:
We are seemingly not understanding each other, let's use a definition quoted from Wikipedia: http://en.wikipedia.org/wiki/Manifold

"The broadest common definition of manifold is a topological space locally homeomorphic to a topological vector space over the reals."

Is it not a topological vector space over the reals also a topological vector space over the reals locally? In that case it seems to me being a topological vector space over the reals is enough to count as a manifold since such object is trivially locally homeomorphic to a topological vector space over the reals. Sorry about the annoying repetition of phrases.

Sure, if you follow that definition, then you are entirely correct. But that "broad definition" is not the common definition studied in differential geometry. If you are talking about differential geometry and you mention "topological manifold", then people will automatically assume that you're talking about a space locally homeomorphic to [itex]\mathbb{R}^n[/itex] with perhaps some other properties. People will not think of Banach manifolds or spaces with the trivial topology, unless you specifically say it.
 
  • #18
TrickyDicky said:
Doesn't this finite-dimensional real vector space need to be a topological real vector space, I thought you said in the other thread that the algebraic structure only was not enough to have a manifold ?

I am saying that if I am given a finite-dimensional vector space V, then there exists a canonical topology [itex]\mathcal{T}[/itex] such that [itex](V,\mathcal{T})[/itex] is a topological manifold (in the sense that it is locally Euclidean, Hausdorff and second countable). Of course, [itex](V,\mathcal{T})[/itex] will also be a topological vector space.
 
  • #19
Thanks for your replies.
 
  • #20
micromass said:
Sure, if you follow that definition, then you are entirely correct. But that "broad definition" is not the common definition studied in differential geometry. If you are talking about differential geometry and you mention "topological manifold", then people will automatically assume that you're talking about a space locally homeomorphic to [itex]\mathbb{R}^n[/itex] with perhaps some other properties. People will not think of Banach manifolds or spaces with the trivial topology, unless you specifically say it.
Out of curiosity, [itex]\mathbb{R}^n[/itex] in your post is referring to Euclidean space or to a topological real vector space?
 

1. What is the difference between linear spaces and vector spaces?

Linear spaces and vector spaces are often used interchangeably, but there is a subtle difference between the two. A linear space is a set of elements that can be added and multiplied by scalars, while a vector space is a linear space that also has a notion of direction and magnitude. Essentially, a vector space is a special type of linear space that includes vectors and operations such as addition and scalar multiplication.

2. Can you give an example of a linear space that is not a vector space?

Yes, an example of a linear space that is not a vector space is the set of all polynomials with real coefficients. This set satisfies all the properties of a linear space, such as closure under addition and scalar multiplication, but does not have a notion of direction or magnitude. Therefore, it is not considered a vector space.

3. What are the axioms that define a vector space?

There are eight axioms that define a vector space: closure under addition, commutativity of addition, associativity of addition, existence of additive identity, existence of additive inverse, closure under scalar multiplication, associativity of scalar multiplication, and distributivity of scalar multiplication over vector addition. These axioms ensure that the set satisfies all the necessary properties to be considered a vector space.

4. How are linear transformations related to vector spaces?

Linear transformations are functions that preserve the structure of a vector space, meaning they map vectors in one vector space to vectors in another vector space while preserving the operations of addition and scalar multiplication. They are closely related to vector spaces because they allow us to transform and manipulate vectors within a given space.

5. What is the dimension of a vector space?

The dimension of a vector space is the number of vectors in a basis for that space. A basis is a set of linearly independent vectors that span the entire space. The dimension is an important concept in vector spaces because it determines the number of coordinates needed to uniquely represent any vector in the space.

Similar threads

  • Linear and Abstract Algebra
Replies
6
Views
757
  • Linear and Abstract Algebra
Replies
8
Views
1K
Replies
2
Views
937
  • Calculus
Replies
4
Views
379
  • Linear and Abstract Algebra
Replies
1
Views
1K
  • Linear and Abstract Algebra
Replies
3
Views
1K
Replies
12
Views
3K
  • Linear and Abstract Algebra
2
Replies
43
Views
5K
  • Linear and Abstract Algebra
Replies
15
Views
10K
  • Linear and Abstract Algebra
Replies
4
Views
2K
Back
Top