I am confused by the notion of a function space. For example consider the basis $\{1, x, x^2\}$ which is the basis for the vector space of all polynomials of degree at most $2$. What is the notion of the "vector" here? I read somewhere (cannot recall the source), that the coefficients of the polynomials would essentially form vectors in this case, but the notion of the basis vectors is not Euclidean in the sense that each basis vector would be of the form $(a_1, a_2, ..., a_n)$ but functions! I cannot wrap my head around this, any ideas?
$\begingroup$
$\endgroup$
5
-
17$\begingroup$ Vectors are elements of a vector space, and vector spaces are sets that satisfy certain properties. Function spaces are a type of vector space. So those polynomials are vectors. $\endgroup$– Bence RacskóMar 27, 2015 at 21:02
-
3$\begingroup$ Besides, this example is Euclidean. The space of degree-2 polynomials is just $\mathbb{R}^3$ in disguise. After all we could just agree to write the polynomial $a + bx + cx^2$ as the ordered triple $(a,b,c)$ and nothing would change. $\endgroup$– user4894Mar 27, 2015 at 21:38
-
$\begingroup$ Linear space is probably a better term to use in general, for just the reason you've described. $\endgroup$– Disintegrating By PartsMar 27, 2015 at 22:39
-
$\begingroup$ Also notice that $\mathbb{R}^3$ is simply the set of functions from $\{1, 2, 3\}$ to $\mathbb{R}$. $\endgroup$– filiposMar 27, 2015 at 23:24
-
4$\begingroup$ @T.A.E.: disagree with that. Vector space is the correct word, it should just be made clear that “vector” totally doesn't mean “tuple of numbers”. If that's what you mean, call it array space or whatever, or preferrably just say $\mathbb{R}^n$. $\endgroup$– leftaroundaboutMar 28, 2015 at 12:46
Add a comment
|
4 Answers
$\begingroup$
$\endgroup$
1
A vector space is just a set in which you can add and multiply by elements of the base field. You can add polynomials together and multiply them by real numbers (in a way satisfying the axioms,) so polynomials form a vector space. A vector is nothing more or less than an element of a vector space, so polynomials can be seen as vectors.
answered Mar 27, 2015 at 21:03
-
2$\begingroup$ Wow guys thank you for all these very nice answers, much appreciated! It seems I need to abstain from associating the notion of a "vector space" as solely being Euclidean in nature because the problem mainly lied in the fact that I kept trying to associate a basis of functions into a Euclidean space. $\endgroup$– meslloMar 28, 2015 at 0:13
$\begingroup$
$\endgroup$
The formal definition of "vector space" follows a pattern that is seen very often in modern mathematics. You start with some particular object(s) - in the case of vector spaces these are the $n$-dimensional euclidean spaces - and figure out the essential laws governing these object(s). You then make these laws the axioms of some newly defined class of objects (vector spaces in this case), and see whether you find other object(s) besides the one you already knew which follow these laws.
In the case of vector spaces, these laws (or axioms) are essentially
- That any two elements can be added, and that addition is commutative and associative (i.e. that $a + b = b + a$ and $a + (b + c) = (a + b) + c$).
- That there's a neutral element $\mathbf{0}$ for which $a + \mathbf{0}$ for every $a$.
- That elements can be multiplied with elements from some field. Fields are the class of objects which follow the same basic laws of arithmetic that hold for the real numbers. The elements of the field are generally called scalars.
- That this multiplication operation is compatible with the addition and multiplication operations of the field. In other words, if $x,y$ are elements of the field and $a,b$ are vectors, we require that $(x+y)\cdot a = x\cdot a + y\cdot a$, that $1\cdot a = a$, and that $0\cdot a = \mathbf{0}$.
Any set $X$ that (together with a field of scalars $F$) obeys these axioms is called a vector space.
$\begingroup$
$\endgroup$
I think you are confused between the idea of a vector (ie. element of a set that forms a vector space) and the coordinate vectors of real numbers usually used to keep track of these vectors. More abstractly, vector spaces can be over any field.
In the case of polynomials, after choosing a basis (this is always possible with finite dimension), we can write down the coordinate vectors in $R$, if our polynomials have real coefficients.
For example, we may associate the polynomial $f=\sqrt 2x^2 +2x +\pi$ with $(\sqrt 2,2,\pi)\in \mathbb R^3$ after deciding on the ordered basis $\{x^2,x,1\}\subset \{\text {polynomials of degree at most 2}\}$.
To sum this up nicely, we say that for finite dimensional vector space $V$, $V\cong R^n$ where $n$ is the dimension of the vector space over some field, $R$. This is due to the necessary "free-ness" as modules in the category theoretic sense.
$\begingroup$
$\endgroup$
But they are vectors!
Generally speaking, a space of functions mapping a topological space into a vector space satisfies the axioms of a vector space under the usual operations of addition and scalar multiplication. You don't need to have a basis to have a vector space, and in fact, it is often profitable to find or construct a basis that suits the problem you're interested in.
