Is the set of functions from $[0,1]$ to $\mathbb{R}$ i.e. $[0,1]^{\mathbb{R}}$ a vector space? While the elements of $[0,1]^{\mathbb{R}}$ satisfy properties of vector spaces (commutativity, associativity etc..), I get the feeling that you can find $f,g \in [0,1]^{\mathbb{R}}$ such that for some $x \in \mathbb{R}$ you have $f(x) + g(x) \not \in [0,1]$.
The reason I'm struggling is that in Linear Algebra done right (page 14), we prove that

If S is a set, and $\mathbb{F}^S$ denotes the set of functions from S to $\mathbb{F}$, then $\mathbb{F}^S$ is a vector space.

Where am I going wrong?
 A: When we study a vector space $V$, we have a structure algebraic $$\underbrace{(V,\overbrace{(\mathbb{F},+,\cdot)}^{\text{field}},\oplus, \odot)}_{\text{vector space}},$$where $\oplus$ and $\odot$ they're operations over $V$ and $+$ and $\cdot$ they're operations in $\mathbb{F}$.
Now, just small remarks:

*

*If you don't mention the operations over $V$ and over $\mathbb{F}$ so we will assume the usual/natural operations. In that sense $([0,1],+,\cdot)$ is not a field because is not closed or just see in the axioms of fields.


*If $S$ is set and $\mathbb{F}$ is a field and $\mathbb{F}^{S}$ denotes the set of functions from $S$ to $\mathbb{F}$, then $\mathbb{F}^{S}$ is a vector space. That's true.


*Then under the natural operations, $([0,1]^{\mathbb{R}},([0,1],+,\cdot),\oplus, \odot)$ is not a vector space because is not closed.


*But under the natural operations, $(\mathbb{R}^{[0,1]},(\mathbb{R},+,\cdot),\oplus,\odot)$ is a vector space just see in the axioms of vector space.
Is for that reason that is important to write all the hypothesis, it helps avoid mistakes.
A: If you see the statement , it says $\Bbb{F}^{S}$  and not $S^{\Bbb{F}}$ .
Here $S=[0,1]$ and $\Bbb{F}=\Bbb{R}$.
Hence you should be looking at $\Bbb{R}^{[0,1]}$. This satisfies all properties of a vector space .
This is nothing but an uncountable cartesian product. In fact you can define a linear map $T:\Bbb{F}^{S}\to \prod_{s\in S}\Bbb{F}$ given by $T(f)=\prod_{s\in S} (f(s))$ . Then you can prove that this is an isomorphism.  In fact cartesian product(can be infinite product)   of vector spaces is always a vector space and is uniquely defined upto isomorphism by the universal property of products. But you can ignore the last sentence safely for now until you learn maybe tensor products and direct sums etc.
