Hilbert Definition and 293 Threads

The principle of least action states that the evolution of a physical system - how a system progresses from one state to another- is given by a stationary point of the action. So I think this is varying the path and keeping two points fixed- the points of the initial and final state I know...

Hello, I am having a question regarding how eigenfunctions are orthogonal in Hilbert space, or what does that even mean (other than the inner product is zero). I mean, I know in ##\mathbb {R^{3}}##, vectors are orthogonal when they are right angles to each other. However, how can functions be...

This is one of those "existential doubts" that most likely have a trivial solution which I can't see. Veltman says in the Diagrammatica book: Although the reasoning makes perfect sense for a Hilbert space spanned by momentum states, intuitively it doesn't make sense to me, because a...

When we talk about a two-state quantum system being a two-dimensional complex Hilbert space are we implicitly considering the "existence of time"? Why is all this additional structure (of a two-dimensional complex Hilbert space) necessary if, even with a full quantum mechanical perspective...

Hi, I am reading the paper http://arxiv.org/abs/quant-ph/0502053 listed in the reference of Wikipedia Rigged Hilbert Space. I have a question about the relation, Φ ⊂ H ⊂ Φ', where H is Hilbert space, Φ is its subspace and Φ' is dual space of Φ. Φ⊂H and Φ⊂Φ' are obvious. How can we say H ⊂...

According to Wikipedia:http://en.wikipedia.org/wiki/Hilbert_space the inner product \langle x | y \rangle is linear in the first argument and anti-linear in the second argument. That is: \langle \lambda_1 x_1 + \lambda_2 x_2 | y \rangle = \lambda_1 \langle x_1 | y \rangle + \lambda_2 \langle...

Hi All, AFAIK, the key property that separates/differentiates a Hilbert Space H from your generic normed inner-product vector space is that , in H, the norm is generated by an inner-product, i.e., for every vector ##v##, we have## ||v||_H= <v,v>_H^{1/2} ##, and a generalized version of the...

Let \text{ } H \text{ }be \text{ }a \text{ } Hilbert \text{ } space, \text{ }K \text{ }be \text{ }a \text{ }closed\text{ }convex\text{ }subset \text{ } of \text{ }H \text{ }and \text{ }x_{0}\in K. \text{ }Then \\N_{K}(x_{0}) =\{y\in K:\langle y,x-x_{0}\rangle \leq 0,\forall x\in K\} .\text{...

I have started reading formal definitions of Hilbert Spaces. I don't understand the requirement of separability postulate. I have proved that it leads to count ability of basis but again why is that required at first place.

Hello all! I have the following question with regards to quantum mechanics. If ##H## is a Hilbert space with a countably-infinite orthonormal basis ##\{ \left | n \right \rangle \}_{n \ \in \ \mathbb{N} }##, and two operators ##R## and ##L## on ##H## are defined by their action on the basis...

So lately I've been thinking about whether or not it'd be possible to have the commutation relation [x,p]=i \hbar in a Hilbert Space of finite dimension d. Initially, I was trying to construct a lattice universe and a translation operator that takes a particle from one lattice point to the...

The first postulate of quantum mechanics says that every physical system is associated with a separable complex Hilbert space, however this does not hold for a free particle, where the basis is uncountable (all the momentum kets). I think it also does not hold for a free falling particle...

Hi. Is there a Hilbert Space for each energy level of a system? (And, in general, for every point in time?) I read in some book that if a equation for a problem accepts two different sets of wavefunction solutions (the case in question was the free particle and the sets of solutions in...

Maybe someone here can explain me something I never understood in QM: The wave function lives in the Hilbert space spanned by the measurement operator. Is there any mathematical relation of those spaces with each other?

If I understand it, Hilbert spaces can be finite (e.g., for spin of a particle), countably infinite (e.g., for a particle moving in space), or uncountably infinite (i.e., non-separable, e.g., QED). I am wondering about variations on this latter. The easiest uncountable to imagine is the...

I am currently in a modern physics course and would to do more advanced study in quantum mechanics before taking the senior-level Quantum Mechanics course at my school. We use Townsend's modern physics book for the class that I am in right now; here is a link...

Hi, if ket is 2+3i , than its bra is 2-3i , my question is 2+3i is in Hilbert space than 2-3i can be represented in same hilbert space, but in books it is written we need dual Hilbert space for bra?

Hi. I want to get a quick overview of the theory of Hilbert spaces in order to understand Fourier series and transforms at a higher level. I have a couple of questions I hoped someone could help me with. - First of all: Can anyone recommend any literature, notes etc.. which go through the...

Hello all, I'm working through the following paper on topological quantum computing. http://www.qip2010.ethz.ch/tutorialprogram/JiannisPachosLecture In particular I'm trying to derive and solve the pentagon equation in order to evaluate the F matrices for ising anyons. One thing I'm trying...

My book says that "the countability of the ONS in a hilbert space H entails that H can be represented as closure of the span of countably many elements". I must admit my english is probably not that good. At least the above quote does not make sense to me. What is it trying to say? Previously...

I know that hilbert space is infinite dimension space whereas eucledian is Finite n dimensional space, but what are all other differences between them?

Let H be a Hilbert space. Let F be a subset of H. F is dense in H if: <f,h>=0 for all f in F => h=0 Now take an orthonormal set (ek) (this is a countable sequence indexed by k) in H. My book says that obviously: \bigcupspan(ek) is dense in H (the union runs over all k) => g=Ʃ<g,ek>ek Now...

Homework Statement Find the spectrum of the Momentum operator in the Hilbert Space defined by L^2([-L,L]), consisting of all square integrable functions ψ(x) in the range -L, to L Homework Equations We can get the resolvent set containting all λ in ℂ such that you can always find a...

Suppose that H, K are Hilbert spaces, and A : H -> K is a bounded linear operator and an isomorphism. If X is a dense set in H, then is A(X) a dense set in K? Any references to texts would also be helpful.

For example, I have a 3D particle that experiences a harmonic oscillator potential only in the X,Y plane for all Z ie. a free particle in the Z direction. This seems like cylindrical coordinates but I'm not sure how to express the Hilbert space if I want to be able to describe states and...

Homework Statement Consider the states with the quantum numbers n = l = 1 and s = 1/2 Let J = L + S What is the dimension of the Hilbert space to describe all states with these quantum numbers? Homework Equations The Attempt at a Solution I believe the dimension of the Hilbert...

(All that follows assumes we are talking about a self-adjoint operator A on a Hilbert space \mathscr H.) The first volume of Reed-Simon defines \mathscr H_{\rm pp} = \left\{ \psi \in \mathscr H: \mu_\psi \text{ is pure point} \right\}. The book seems to take for granted that \mathscr H_{\rm...

One of the most important results of functional analysis is that for every bounded linear functional f: H → ℂ on a Hilbert space H, there exists a fixed |v> in H such that f(|u>) is equal to the inner product of |v> with |u> for all |u> in H. This justifies the labeling of f as <v| in the...

also see http://planetmath.org/exampleofnonseparablehilbertspace the main difficulty is about the completeness, which is hard to prove, the author's hint seems don't work here, for you can not use the monotone convergence theorem directly , f(x)χ[-N,N]/sqrt[N] is not monotone

Hi, Let H = \{(x_n)_n \subseteq \mathbb{R} | \sum_{n=1}^{\infty} x_n < \infty \} and for $(x_n)_n \in H$ define $$\|(x_n)_n\|_H = \sup_{n} \left|\sum_{k=0}^{n} x_k \right|$$ Prove that $H$ is complete. Is $H$ a Hilbert space? What is the best way to prove $H$ is complete? To prove it's a...

in quantum mechanics we have something called hilbert space. What does the dimensions of this space represent for that system? also is ψ(x) same as |ψ> in the dirac notation?

Hi everyone, I don't quite understand how tensor products of Hilbert spaces are formed. What I get so far is that from two Hilbert spaces \mathscr{H}_1 and \mathscr{H}_2 a tensor product H_1 \otimes H_2 is formed by considering the Hilbert spaces as just vector spaces H_1 and H_2...

Hi all, I have a question about the concept of complete set when I apply the perturbation theory in two situations -Finite Hilbert Space and Infinite Hilbert Space. Consider a Hamiltonian H=H0+H', where H0 is the unperturbed Hamiltonian and H' is the perturbed Hamiltonian. Let ψ_n be the...

I am wondering, what is the dimension of a ray in a Hilbert space? For example here (page 2, bottom of page) I have read: I understand why a state is represented by all multiples of a vector, not just the vector. But is the ray really one-dimensional? It would be one-dimensional if we multiply...

Homework Statement let \ell^{2} denote the space of sequences of real numbers \left\{a_{n}\right\}^{\infty}_{1} such that \sum_{1 \leq n < \infty } a_{n}^{2} < \infty a) Verify that \left\langle \left\{a_{n}\right\}^{\infty}_{1}, \left\{b_{n}\right\}^{\infty}_{1} \right\rangle =...

What goes wrong if you try to do QM/QFT with a non-separable Hilbert space? Why do the Wightman axioms stipulate a separable space? And I need something else cleared up: The Hilbert space of non-trivial QFTs are indeed non-separable right?

Homework Statement Consider the space of continuous functions in [0,1] (that is C([0,1]) over the complex numbers with the following scalar product: ##\langle f , g \rangle = \int _0 ^1 \overline{f(x)}g(x)dx##. Show that this space is not complete and therefore is not a Hilbert space. Hint:Find...

I have seen the definition of a rigged Hilbert space many times, but I have never seen rigged Hilbert spaces actually being used for anything. Like for proving something. Has anyone else ever seen rigged Hilbert spaces being used for proving something?

I've been taught (in the context of Sturm-Liouville problems) that Fourier series can be explained using inner products and the idea of projection onto eigenfunctions in a Hilbert space. In those cases, the eigenvalues are infinite, but discrete. I'm now taking a quantum mechanics course, and...

Is something wrong in my assertions below? Suppose we have two quantum systems N and X. Let N is described by discrete observable \hat{n} (bounded s.a. operator with discrete infinite spectrum) with eigenvectors |n\rangle. Let X is described by continuous observable \hat{x} (unbounded s.a...

Suppose that we have rigged Gilbert space Ω\subsetH\subsetΩ\times (H is infinite-dimensional and separable). Is the Ω a separable space? Is the Ω\times a separable space? Consider the complete set of commuting observables (CSCO) which contain both bounded and unbounded operators...

Author: Richard Courant, David Hilbert Title: Methods of Mathematical Physics Amazon Link: https://www.amazon.com/dp/0471504475/?tag=pfamazon01-20 https://www.amazon.com/dp/0471504394/?tag=pfamazon01-20 Table of Contents for Volume I: The Algebra of Linear Transformations and Quadratic...

I know the result: \widehat{H(f)}=i\textrm{sgn}\hspace{1mm}(k)\hat{f} I thought I could use fft, and ifft to compute the transform easily, is there a MATLAB command for sgn? Mat

The expansion theorem in quantum mechanics states that a general state of a system can be represented by a unique linear combination of the eigenstates of any Hermitian operator. If that's the case then that would imply we would be able to represent the spin state of a particle in terms of...

Hi all, This question is on the Hilbert transform, particularly on the domain of the input and output functions of the Hilbert transform. Before rising the question, consider the Fourier transform. The input is f(t) and the output is F(\omega). The function f and F are defined over...

Homework Statement In a Hilbert System, prove: \phi[x|m] \rightarrow\forall y((y=m)\rightarrow\phi[x|y]) where \phi is a formula, y, x are variables and m is a constant. \phi[a|b] denotes the formula obtained by substituting b for a in \phi This problem crops up in my attempting to prove...

Hello, I'm reading Gaussian measures on Hilbert spaces by S. Maniglia (available via google) and I have the following issue, regarding the proof. He states in Lemma 1.1.4: Let μ be a finite Borel measure on H. Then the following assertions are equivalent: (1) \int_H |x|^2 \mu(dx) < \infty (2)...

Homework Statement Let H be a Hilbert space. Prove \Vert x \Vert = \sup_{0\neq y\in H}\frac{\vert (x,y) \vert}{\Vert y \Vert} The Attempt at a Solution First suppose x = 0. Then we have \sup_{0\neq y\in H}\frac{\vert (x,y) \vert}{\Vert y \Vert} = \sup_{0\neq y\in H}\frac{\vert (0,y)...

Homework Statement unitary operators on hilbert space Homework Equations is there a unitary operator on a (finite or infinite) Hilbert space so that cU(x)=y, for some constant (real or complex), where x and y are fixed non-zero elements in H ? The Attempt at a Solution I know the...

In Griffith's intro to QM it says on page 95 (in footnote 6) : "In Hilbert space two functions that have the same square integral are considered equivalent. Technically, vectors in Hilbert space represent equivalence classes of functions." But that means that if we take for example...