Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

If X is a finite set, what does the Hilbert space $L^2(X)$ means? - saw this notion on The Princeton Companion to Mathematics.

share|cite|improve this question
Which bit of the definition of Hilbert space is causing confusion here? – user16299 Sep 27 '11 at 8:13

If $X$ contains, say, $n$ elements then $L^2(X)$ reduces to the ordinary Euclidean space $\mathbb{R}^n$. EDIT: As commenter points out, here we have implicitly assumed that $X$ is equipped with the counting measure (call it $m$), that is, every subset of $X$ has a measure equal to its cardinality. This way the integral

$$\int_X\lvert f(x) \rvert^2\, dm$$

reduces to the sum

$$\sum_{k=1}^n \lvert f(k)\rvert^2.$$

share|cite|improve this answer
I think what's missing is the explicit mention of a measure. So you should say that you take counting measure, for example. Just give some positive weight to each point in $X$, otherwise your $L^2$-space won't have dimension $n$. – commenter Sep 27 '11 at 8:19

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.