0
votes
1answer
8 views

Orthonormal basis $L^2(a,a+2\pi)$

Let $$\mathcal{B}=\{\frac{1}{\sqrt{2\pi}},\frac{cos x}{\sqrt{\pi}},\frac{sin x}{\sqrt{\pi}},\frac{cos2x}{\sqrt{\pi}},\frac{sin 2x}{\sqrt{\pi}},\dots\}$$. This is an orthonormal basis of ...
2
votes
1answer
50 views

Sequence of orthogonal vectors in a Hilbert space

Let $\{x_n\}_{n\in\mathbb{N}}$ be a sequance of pairwise orthogonal vectors in a Hilbert space $H$. Show that the following are equavalent: (a) $\sum_{n=0}^\infty x_n$ converges in the norm topology ...
2
votes
1answer
28 views

Weak convergence and infinite sum

Suppose that $\psi_n$ converges weakly to $\psi$ in a Hilbert space $H$. Assume further $\{\phi_k\}$ is an orthonormal sequence in $H$. Is it plausible that ...
2
votes
1answer
54 views

Is a linear operator on $\ell^2$ defined by the inner product necessarily bounded? [duplicate]

If $a=\{a_n\}\in \ell^\infty(\mathbb{R})$ and $\langle a,x \rangle<\infty$ for all $x\in \ell^2(\mathbb{R})$, (where $\langle a, x\rangle=\displaystyle \sum_{k=1}^\infty a_kx_k$), then is $a\in ...
0
votes
1answer
32 views

Exercise about spectrum of selfadjoint operator.

I'm stuck on an exercise about the spectrum of a selfadjoint operator on a Hilbert space. The problem is the following: Let $(X,\langle \cdot, \cdot\rangle)$ a Hilbert space and let $A \in B(H)$ a ...
0
votes
1answer
26 views

Linear operator defined by its eigenvectors/values

Let $H$ be a Hilbert space, $(e_n)$ a complete orthonormal sequence, and $\lambda_n$ a bounded sequence of complex numbers. Let $A$ be defined such that the $(e_n)$ are the eigenvectors of $A$ and the ...
1
vote
1answer
22 views

Weighted $L_2$ Hilbert space

this is a question where I am trying to find a reference for a result but I haven't been able to find one at all. Define $L_2(\mathbb R,d\mu) = \{g\in \mathbb R: \int g^2d\mu <\infty\}$. I am ...
0
votes
1answer
34 views

Parseval's theorem to $\sum_{k=1}^\infty |\langle x,x_k\rangle|^2$.

Let $\{x_k\}$ be a collection of vectors in a Hilbert space. We take any $x\in H$. The symbol $\langle .,.\rangle$ denote the inner product. The question is as follows. I have to apply the Parseval's ...
2
votes
0answers
47 views

Trace class operators problem

Let $\mathcal{B}_1(\mathcal{H})$ be the set of trace class operators in a Hilbert space $\mathcal{H}$ and $\mathcal{H}^{(d)} = \bigoplus_{i=1}^d \mathcal{H}$ with $1 \leq d \leq \infty$. If $C \in ...
1
vote
2answers
46 views

The difference between a normed space being reflexive and being isomorphic to its dual

Quoting wikipedia "a normed vector space is reflexive if it coincides with its bidual". Another definition, more precise is that a normed vector space is reflexive if its evaluation map ...
0
votes
1answer
43 views

What is the smallest non-trivial Hilbert space?

I came to know without proof or explanation that smallest non-trivial Hilbart space is generated by two basis vectors. What is its proof? One example I know. Denote $a = (0 , 1)$ and $b = (1 , 0)$. ...
0
votes
2answers
44 views

Complete ONS and pure point spectrum

In all that follows all operators are taken to be densely defined on a Hilbert space $H$. Some textbooks state that an operator $A$ on $H$ has pure point spectrum if $H$ admits a complete ONS (Hilbert ...
0
votes
1answer
13 views

For bounded operator $U$, show that if $UU^*$, $U^*U$ are projections, then $U$ is a partial isometry

Let $(\mathcal{H}, (\cdot, \cdot))$ be a Hilbert space over $\mathbb{L} = \mathbb{R}$ or $\mathbb{C}$. Suppose that $U : \mathcal{H} \to\mathcal{H}$ is a bounded linear operator such that $UU^*$ and ...
0
votes
0answers
122 views

Span of Dirac's delta distributions dense in Hilbert space of $L^2$ functions?

According to Wiki a set of elements of a Hilbert space(B) is a basis for that space if: Orthogonality: Every two different elements of $B$ are orthogonal: $⟨e_k,e_j⟩=0$ for all $k$, $j$ in $B$ with ...
0
votes
1answer
31 views

Question about different defintions of isometry on a Hilbert space

Let $(\mathcal{H} , (\cdot, \cdot))$ be a Hilbert space over the field $\mathbb{L} = \mathbb{R}$ or $\mathbb{C}$ (so the norm on $\mathcal{H}$ is given by $\|\cdot\| = (\cdot, \cdot)^{\frac{1}{2}}$). ...
0
votes
2answers
72 views

Looking for a book: $B(H)$ not reflexive

I'm looking for a book with a proof that for an infinite dimensional Hilbert space, $B(H)$ is not reflexive. Thank you.
2
votes
1answer
67 views

No trace on $B(H)$ if $H$ is infinite dimensional

Let $H$ be an infinite dimensional Hilbert space and $B(H)$ the bounded linear operators on $H$. Then thre is no ultra weakly continous non-zero positve trace $tr:B(H)\rightarrow \mathbb{C}$. I ...
0
votes
2answers
52 views

ONB: Density Check?

How to show that $\{\sin{kx}:k\in\mathbb{N}\}$ for $\{f\in\mathcal{L}^2[0,\pi]:f(0)=f(\pi)=0\}$ is an ONB? (Clearly they are orthogonal to each other but is their span also dense?) What general ...
0
votes
0answers
28 views

There is a unit sequence weakly converging to every element of unit ball

Suppose the Hilbert space $H$ has a countable (I assume Hilbert?) basis. Let $x \in H$ be such that $\lvert x \rvert \leq 1$. Show that there exists a sequence $\{u_{n}\}$ in $H$ with ...
2
votes
1answer
30 views

Closed subspace $M=(M^{\perp})^{\perp}$ in PRE hilbert spaces. [duplicate]

Is it true that $M=(M^{\perp})^{\perp}$ if $M$ is a closed subspace of a PRE hilbert space (a space with a scalar product, but that is not complete)? The proof of the analog fact for hilbert spaces ...
2
votes
2answers
32 views

Closed subspaces of $L^2(0,1)$

I would like to prove that the almost-everywhere constant functions, and the functions whose integral is 0 are closed subspaces of $L^2(0,1)$. It's readily seen that they are subspaces. I'm finding ...
-2
votes
2answers
81 views

Group of Unitaries: Strong Continuity

Let $\mathcal{L}^2(\mathbb{R})$ be the the Hilbert space of square integrable functions, shortly $\mathcal{L}^2$. Consider the group of unitaries: $$U:\mathbb{R}\to ...
6
votes
1answer
94 views

Non-examples for the Kato-Rellich Theorem

The Kato-Rellich Theorem is a classical result stating that if $A,B$ are unbounded operators on a Hilbert space with $A$ self-adjoint, $B$ symmetric, $\mathcal D (A)\subset \mathcal D(B)$ and $$ ...
2
votes
2answers
29 views

Sequence of bounded linear operators implicating Cauchy sequence in $\mathbb K$

Let H be a Hilbert space and $(T_n)_{n \in \mathbb N}$ be a sequence in ${\rm BL}(H)$ (bounded linear operators) such that $(\langle y,T_nx \rangle)_{n \in \mathbb N}$ is a Cauchy sequence in $\mathbb ...
1
vote
1answer
35 views

Projecting self-adjoint operator onto closed subspace

Let $H$ be a complex Hilbert space and let $(Q, D(Q))$ be a closed, densely defined, positive semidefinite, Hermitian quadratic form on $H$. (That is, $D(Q)$ is a dense subspace of $H$, $Q$ maps ...
2
votes
0answers
53 views

Are these functions on a Hilbert space Lipschitz equivalent?

Let $H$ be a Hilbert space with inner product $\langle\cdot,\cdot\rangle$. Fix a bounded operator $T$ on $H$, and $1\leq p<\infty$ (you can assume $p$ is an integer if necessary). Consider the ...
2
votes
1answer
48 views

Implying a positive definite operator

If we are given that $A:V \rightarrow V$ is an operator where $V$ is a real Hilbert space. If we are given that $A$ is bounded, strictly positive $\big(\langle Au,u \rangle > 0$ for all $u \neq ...
1
vote
1answer
29 views

Operator Tensor Product

Let $S$ and $T$ be bounded operators over a Hilbert space $\mathcal{H}$. Define their tensor product $S\otimes T$ as acting on $\mathcal{H}\otimes\mathcal{H}$ by $S\otimes T(x\otimes y):=Sx\otimes Ty$ ...
1
vote
1answer
32 views

Polar decomposition in a von Neumann algebra

Let $M \subseteq B(H)$ be a von Neumann algebra and $T \in M$. If $T=U|T|$ is the polar decomposition of T, why is $U \in M$? I'm thinking it's because $M$ is SOT-closed, but I'm not entirely sure.
0
votes
1answer
75 views

Momentum Operator: Selfadjoint Extensions

This might be a possible duplicate - please let me know if there is already a proof in another thread. Consider the momentum operator on $\mathcal{L}^2[0,2\pi]$: ...
3
votes
0answers
67 views

Positive Operators: Definition?

Let $A$ be a self adjoint element of a C*-algebra $\mathcal{A}$ resp. a self adjoint operator of the operator algebra $\mathcal{B}(\mathcal{H})$ of bounded operators over a Hilbert space ...
2
votes
1answer
30 views

Approximations of compact operators

Let $(\xi_n)_{n=1}^\infty$ be a sequence in a Hilbert space $K$ convergent to some $\xi$. Suppose we have a compact operator $T$ on $K$ such that $T\xi = 0$. Can we find a sequence of compact ...
0
votes
1answer
28 views

Positive-definite function on a group function on a group

I have quite a hard time understanding the definition of positive-definite functions that is based on Hilbert spaces, the one that I read from Wiki; it does not exactly specify that how $H$ relates to ...
2
votes
1answer
51 views

Composition of Partial Isometries

Let $H$ be a complex Hilbert space and $S,T \in B(H)$ partial isometries. Then $S T$ is a partial isometrie, if and only if $T^*(\ker(S)) \subseteq \ker(ST)$. Edit: My attempts so far: ...
-1
votes
1answer
33 views

Number Operator closable on Fock Space?

In Bratelli Robinson the number operator in Fock space is defined as: $$\mathcal{D}(N):=\{\phi\in\mathcal{F}:\sum_{n=1}^\infty n|\|\phi_n\|<\infty\}\\ N:\mathcal{D}(N)\to ...
2
votes
2answers
47 views

Weak convergence of partial sums

I recently came across an interesting problem on weak convergence in $\ell^2 (\Bbb N)$. Suppose that we have canonical basis $\{e_i\}$ in $\ell^2 (\Bbb N)$. We need to prove that the sequence ...
0
votes
1answer
19 views

Question about a scalar product

It is well known that in a hilbert space $H$ with orthonormal basis $(e_n)_{n=1}^{\infty }$, we have for every $f, g \in H$ $$\displaystyle{\langle f,g\rangle=\sum_{n\in\mathbb{N}}\overline{ \langle ...
1
vote
1answer
27 views

Counterexample for Palais-Smale condition

I have trouble proving that functional $I:H\to\mathbb{R}$ given by $$I(u)=\frac{1}{2}\|u\|^2-\frac{1}{2}(u,f)^2$$ does not satisfy Palais-Smale condition if $\|f\|=1$. I managed to prove that when ...
1
vote
1answer
28 views

distributivity of tensor product and direct sum for Hilbert spaces

Before I ask my actual question about direct sums and tensor products of Hilbert spaces, let's first talk about direct sums and tensor products of vector spaces. We might define direct sums of ...
2
votes
1answer
40 views

Canonical isometric isomorphism of $l_{\alpha}^{2}$

Let $\alpha \in \mathbb{R}$ and $l_{\alpha}^{2}$ the vector space of bi-infinite sequences $(x_{n})_{n\in \mathbb{Z}}$ such that $||x||_{\alpha}:=\sum_{n\in\mathbb{Z}} ...
1
vote
1answer
79 views

Weak convergence in $C[0,1]$

For a uniformly bounded sequence $(f_n)$ in $C[0,1]$, show that $f_n$ converges weakly to $0$ $\iff $ $\lim \limits_{n \to \infty} f_n(y) =0$ for all $y \in [0,1]$ Is the equivalence true if we do ...
0
votes
1answer
24 views

Continuity of bounded and convex function on Hilbert space

I'm looking for the proof (or at least hints how to prove it) of theorem: Let $H$ be a real Hilbert space and let $f:H\to (-\infty,+\infty]$ be a convex function, bounded from above in some ...
0
votes
1answer
44 views

Spectrum of the operator $A(f,g)=(g,\Delta f-f)$

Let $\Omega$ be an open set in $\mathbb{R^n}$. We consider the product Hilbert space $H=H^1_0(\Omega)\times L^2(\Omega)$ with the norm $$|(f,g)|^2=\int_\Omega (|\nabla f|^2+|f|^2+|g|^2 ) dx$$ We ...
0
votes
0answers
22 views

Question about convergence of sum

Let $T\in B(H,E)$ where $H$ a seperable hilbertspace, $E$ a seperable Banach space. By parsevals identity $$\left\|T^*\right\|^2= \sup_{ \left\|x^*\right\|\leq 1}\left\|T^*x^*\right\|^2 = \sup_{ ...
0
votes
1answer
40 views

Bound on number of mutually orthonormal eigenfunctions

Let $E$ be the vector space of real valued continuous functions on an interval $[a,b]$. Let $K = K(x,y)$ be a continuous function of two variables, defined on the square $a \leq x \leq b$ and $a \leq ...
1
vote
0answers
23 views

Skew adjoint operator with uncountable spectrum

Let $H$ be a Hilbert space. I just want an example of a skew adjoint operator $(A^*=-A)$ with uncountable spectrum. I also want an example for unbounded differential operators. The only example I ...
0
votes
1answer
31 views

Is this subspace dense in $L^{2}(\Omega,\mu)$

Let $(\Omega,\mu)$ be a measure space, and let $X=L^{2}(\Omega,\mu)$ be the complex Hilbert space of square-integrable complex measurable functions on $\Omega$. (Each $f \in L^{2}$ is an equivalence ...
3
votes
1answer
54 views

Show that $\|e^{tA}\| \le e^{t\|\Re (A)\|}$

Let $X$ be a complex Hilbert space, and let $A$ be a bounded linear operator on $X$. Define the real part of $A$ to be $\Re(A)=\frac{1}{2}(A^{\star}+A)$, and define ...
1
vote
1answer
30 views

$L$-Lipschitz gradient of $f$ implies inverse strongly monotone of $\nabla f$

Let $f:\; \mathcal{H} \to R$ be a continuously differentiable convex function such that $$\|\nabla f(x) -\nabla f(y)\|\leq L\|x-y\|.$$ Prove that the mapping $\nabla f$ is $1/L$ inverse strongly ...
3
votes
1answer
16 views

Subspace of certain series in a Hilbert space is compact

Let $E$ be a Hilbert space and let $\{x_{n}\}$ be an orthonormal basis.  Let $\{c_{n}\}$ be a sequence of positive numbers such that $\sum c_{n}^{2}$ converges.  Let $C$ be the subset of $E$ ...