Inner product of Hilbert space functions

• Volvieras
In summary: By the way, the expression of the Kronecker delta as an integral has a context, too: it is the result of a particular limit process.
Volvieras
this question is in reference to eq 3.9 and footnote 6 in griffith's intro to quantum mechanics

consider a function f(x). the inner product <f|f> = int [ |f(x)|^2 dx] which is zero only* when f(x) = 0

only points to footnote 6, where Griffith points out: "what about a function that is zero everywhere except a few isolated points? the integral would still vanish, although the function does not. if this bothers you, you should have been a math major"

now i actually am a math major, and am interested in the reasoning behind this.
does it have to do with the fact that you would be integrating the value of some function over a tiny amount of dx, which would then be somehow equated to zero in the limit that dx -> 0?

if that is the case, how does this hold up with the fact that the integral of the kroneker delta function is one? i.e int[delta(x-a) * f(x)] = f(a)

The definition of the Lebesgue integral is very roughly that you take a small range of possible values of the functions, and multiply one of those values with the "size" of the subset of the domain where the function has a value in that range, and then you add up the results. So if two functions have the same values on, say, the rational numbers, the integral of the difference between those functions is zero (because the size of the set of rational numbers is zero).

Because of this, you wouldn't get a Hilbert space if you take the set of square integrable functions and define a bilinear form on that space by

$$\langle f,g\rangle=\int f(x)^*g(x)dx$$

It fails to satisfy

$$\langle f,f\rangle\Rightarrow f=0$$

because we also have

$$\langle g,g\rangle=0$$

where g is defined by g(x)=0 if x is irrational and g(x)=1 if x is rational. Note that this means that we didn't just fail to define a Hilbert space. We even failed to define an inner product.

The way out of this mess is to say that two functions are equivalent if they only differ on a set of Lebesgue measure zero, and then define a vector space structure and an inner product on the set of equivalence classes (and then verify that this space is complete).

That delta function is the Dirac delta, not the Kronecker delta, and that's a completely different story. It has nothing to do with Lebesgue integration. The actual definition of delta is

$$\delta(f)=f(0)$$

The equation

$$f(0)=\int \delta(x)f(x)dx$$

doesn't really mean anything on its own. The expression on the right isn't even an integral. It should be intepreted as a single symbol, defined to be equal to [itex]\delta(f)[/tex].

Last edited:
Hello,

You've instinctively picked out the relationship between quantum theory and an area of mathematics called functional analysis, which in turn is based on measure theory and the analysis of metric spaces... as a math major you may be on this road already.

The relationship with quantum theory stems mostly from a particular function space called L^2(R^3), the space of all measurable functions on R^3 whose magnitude-square is Lebesgue integrable. This is a large space of functions; it includes all the continuous square-integrable functions. Yet, it is also the smallest extension of the continuous square-integrable functions which is "complete" in the sense of metric spaces. (In other words, L^2 is a Hilbert space.)

L^2(R^3) is the state space for the single-particle non-relativistic Schrodinger equation. The extension to field theory has been studied for decades but as far as I know it has never been fully worked out.

As @Fredrik said, Dirac delta is not a function and does not belong to L^2. Physics texts usually don't go into the details.

Cheers

Dave

Volvieras said:
"what about a function that is zero everywhere except a few isolated points? the integral would still vanish, although the function does not. if this bothers you, you should have been a math major"
As others have noted, Griffith was talking about Lebesgue integration. You might want to google that phrase, along with the phrases "almost everywhere" and "set of measure zero".

As you are math major, you almost surely will be required to take a class in analysis, where you will learn the joys of measure theory, Lebesgue integration, and a host of other topics. (BTW, "almost surely" is yet another of those measure theoretic keywords; you will run into this phrase if you take a course in probability theory (highly recommended).)

if that is the case, how does this hold up with the fact that the integral of the kroneker delta function is one? i.e int[delta(x-a) * f(x)] = f(a)

First off, that is the Dirac delta, not the Kroneker delta. Secondly, the Dirac delta "function" isn't a function. Thirdly, you have just found one of the key areas where mathematicians shake their heads with absolute disgust when they look at how physicists do math.

For a short, direct response:

Functions, simply put, are not the right tool for this job; they contain "too much" information: two different functions can both name the same mathematical object of interest.

(of course, functions are simply described, and can be used to name many objects of interest, so they are still worth studying)

An improved notion that is very often more useful is what Fredrik mentioned: we say that two functions name the same object iff they differ on a set of measure zero.

In addition to this thing with integrals, it cleans up some other quirks too -- e.g. the case of x=0 is no longer a relevant technicality when making a definition such as
f(x) = x/x​

Hurkyl said:
For a short, direct response:

Functions, simply put, are not the right tool for this job; they contain "too much" information: two different functions can both name the same mathematical object of interest.

And in particular, functions are not quite the right tool for the rather important job of describing "reality".

Even in the domain of classical physics, practically everything we "sense" is essentially an integrated response. I am using the word "sense" very broadly here: not only what we see, hear, feel, etc., but also what we measure with instruments. Go down to the domain of quantum mechanics, and those few things that do seem to be instantaneous or discrete measurements are in fact integrated responses.

1. What is the definition of an inner product of Hilbert space functions?

The inner product of Hilbert space functions is a mathematical operation that takes two functions in a Hilbert space and produces a scalar value. It is defined as the integral of the product of the two functions over the space, which represents the overlap or similarity between the two functions.

2. What is the significance of the inner product in Hilbert space?

The inner product is a fundamental concept in Hilbert space, as it allows for the definition of important properties such as orthogonality and completeness. It also provides a way to measure the similarity or difference between functions in a Hilbert space, making it a useful tool in various fields such as signal processing, quantum mechanics, and functional analysis.

3. How is the inner product of Hilbert space functions calculated?

The inner product is calculated by integrating the product of the two functions over the entire space. In other words, it is the area under the curve when the two functions are multiplied together. This integral can be evaluated using various techniques, such as integration by parts, substitution, or numerical methods.

4. What are some properties of the inner product of Hilbert space functions?

Some key properties of the inner product include linearity, symmetry, and positive definiteness. Linearity means that the inner product is distributive over addition and scalar multiplication. Symmetry means that the inner product of two functions is the same regardless of the order in which they are multiplied. Positive definiteness means that the inner product is always a positive value, except when the two functions are equal to zero.

5. How does the inner product relate to the norm in Hilbert space?

The inner product is closely related to the norm in Hilbert space, as the norm of a function is defined as the square root of the inner product of the function with itself. This means that the inner product can be used to measure the length or magnitude of a function, similar to how the dot product is used to calculate the length of a vector in Euclidean space.

• Quantum Physics
Replies
8
Views
2K
• Quantum Physics
Replies
61
Views
1K
• Quantum Physics
Replies
2
Views
919
• Quantum Physics
Replies
9
Views
849
• Quantum Physics
Replies
4
Views
1K
• Quantum Physics
Replies
5
Views
1K
• Quantum Physics
Replies
24
Views
492
• Quantum Physics
Replies
7
Views
2K
• Quantum Physics
Replies
17
Views
2K
• Quantum Physics
Replies
13
Views
2K