# Tagged Questions

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 ...
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 ...
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 ...
54 views

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 ...
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)$. ...
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 ...
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 ...
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 ...
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}}$). ...
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.
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 ...
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 ...
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 ...
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 ...
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 ...
81 views

29 views

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$ ...
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.
75 views

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]$: ...
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 ...
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 ...
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 ...
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: ...
33 views

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 ...
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 ...
40 views