3

Let $\mathbb{R}^{N} = \{x_{1},x_{2},...,x_{N}\}, x_{i} \in \mathbb{R}$.

Definition of function space:

Let X be an arbitrary nonempty set and let E be a vector space. Denote by F the space of all functions from X into E. Then F becomes a vector space if the addition and multiplication by scalars are defined in the following natural way:

(f +g)(x) = f(x)+g(x),

(λf)(x) = λf(x)


I wish to know how $\mathbb{R}^{N}$ is a function space.

Is the nonempty set X here is {1,2,...,N}?

What is the vector space E here?

Can you clarify?

Vinod
  • 2,273
  • Yes R^n is a function space it can be thought of all the functions from that finite set of natural numbers to the real numbers. – A.Riesen Mar 29 '17 at 02:58

1 Answers1

4

Note that a point in $\mathbb R^N$ can be thought of as a choice of $N$ images in $\mathbb R$, one for each of the domain values (indices) $1,2,\ldots,N$. That is, it is a particular function $\{1,2,\ldots,N\}\to\mathbb R$.

So the vector space here is $\mathbb R$. Addition and scalar multiplication of functions (elements of $\mathbb R^N$) is defined in terms of the corresponding operations on the image values (elements of $\mathbb R$), just as you indicate.

(Technically, we should write $\mathbb R^{\{1,2,\ldots,N\}}$, but we can easily identify $N$ with the set $\{1,2,\ldots, N\}$ of size $N$ and write $\mathbb R^N$ instead.)

MPW
  • 44,860
  • 2
  • 36
  • 83