I would like to have some examples of infinite dimensional vector spaces that help me to break my habit of thinking of $\mathbb{R}^n$ when thinking about vector spaces.

  • 17
    $\begingroup$ The set of continuous functions $f:\mathbb{R} \mapsto \mathbb{R}$ is my go-to infinite dimensional vector space. $\endgroup$
    – FireGarden
    Commented Aug 13, 2013 at 16:15
  • 6
    $\begingroup$ The $L^p$ spaces are infinite dimensional vector spaces. So are the bump functions and Schwartz functions. The vector space of entire functions is infinite dimensional as well. $\endgroup$ Commented Aug 13, 2013 at 16:17
  • 1
    $\begingroup$ @AndrewLi Welcome to stackexchange. Good for you for wanting to edit to improve questions. But simple formatting fixes to old questions with good answers annoy some people because they move the question to the active list where they do not really belong. Better to use your time on new questions. $\endgroup$ Commented Sep 1, 2020 at 20:41

6 Answers 6

  1. $\Bbb R[x]$, the polynomials in one variable.
  2. All the continuous functions from $\Bbb R$ to itself.
  3. All the differentiable functions from $\Bbb R$ to itself. Generally we can talk about other families of functions which are closed under addition and scalar multiplication.
  4. All the infinite sequences over $\Bbb R$.

And many many others.

  1. The space of continuous functions of compact support on a locally compact space, say $\mathbb{R}$.
  2. The space of compactly supported smooth functions on $\mathbb{R}^{n}$.
  3. The space of square summable complex sequences, commonly known as $l_{2}$. This is the prototype of all separable Hilbert spaces.
  4. The space of all bounded sequences.
  5. The set of all linear operators on an infinite dimensional vector space.
  6. The space $L^{p}(X)$ where $(X, \mu)$ is a measure space.
  7. The set of all Schwartz functions.

These spaces have considerable more structure than just a vector space, in particular they can all be given some norm (in third case an inner product too). They all fall under the umbrella of function spaces.

  • 2
    $\begingroup$ I would be clearer if each of them had accompanying Field over which they are Vector Spaces. $\endgroup$
    – pranphy
    Commented Feb 14, 2018 at 17:19

The two examples I like are these:

1) $\mathbb{R}[x]$, the set of polynomials in $x$ with real coefficients. This is infinite dimensional because $\{x^n:n\in\mathbb{N}\}$ is an independent set, and in fact a basis.

2) $\mathcal{C}(\mathbb{R})$, the set of continuous real-valued functions on $\mathbb{R}$. Here there is no obvious basis at all. This also has lots of interesting subspaces, some of which Hagen has mentioned.


I think the following two examples are quite helpful:

For any field $F$,

  • the set $F^{\mathbb N}$ of all sequences over $F$ and
  • the set of all sequences over $F$ with finite support

are $F$-vector spaces.

Note that the unit vectors form a basis of the second vector space, but not of the first.


Think of function spaces, such as the continuous or differentiable or analytic functions on an interval.


I'm surprised to see that no one mentioned $\mathbb{R}$ over the field $\mathbb{Q}$ as a vector space is infinite dimensional. Here is the proof.


You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .