MHB Can a vector space also be a set?

ognik
Messages
626
Reaction score
2
Wiki says "A vector space is a collection of objects called vectors, which may be added together and multiplied ("scaled") by numbers, called scalars in this context." To me the term (linear) Vector Space has always seemed a little mysterious ... how far wrong would I be in thinking of a vector space as a set? For example if it was the vector space of polynomials of degree 2, could I also say the set of polynomials of degree 2 (or lower of course)?

If not, what is superior about a Vector Space as opposed to a set?
 
Physics news on Phys.org
A vector space is a set, combined with an algebraic structure. A mere set does not satisfy a vector space properties. Whenever a set has certain operations defined on it and behave in a certain way, it is called a vector space. :)
 
Thanks Fantini. So if I have a set of vectors and I say they can be linearly combined, then I have a linear vector space?

I suppose there are mathematical spaces that have other than vectors? And other than linear algebra associated?
 
ognik said:
Thanks Fantini. So if I have a set of vectors and I say they can be linearly combined, then I have a linear vector space?

I suppose there are mathematical spaces that have other than vectors? And other than linear algebra associated?
If you have a set and they can be linearly combined, then they are vectors because they live in a set that is a linear vector space. :) You can only call them vectors if you have a vector space.

There are other mathematical structures different from vector space. You can have a group, a monoid, a module, a ring, a field...there are ample possibilities (though I don't know enough to explain them in detail).
 
##\textbf{Exercise 10}:## I came across the following solution online: Questions: 1. When the author states in "that ring (not sure if he is referring to ##R## or ##R/\mathfrak{p}##, but I am guessing the later) ##x_n x_{n+1}=0## for all odd $n$ and ##x_{n+1}## is invertible, so that ##x_n=0##" 2. How does ##x_nx_{n+1}=0## implies that ##x_{n+1}## is invertible and ##x_n=0##. I mean if the quotient ring ##R/\mathfrak{p}## is an integral domain, and ##x_{n+1}## is invertible then...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...

Similar threads

Back
Top