For question involving Hilbert spaces, that is, complete normed spaces whose norm comes from an inner product.

learn more… | top users | synonyms

3
votes
1answer
231 views

The span of the orthorgonal projections is norm dense in $B(H)$

This is a question in my functional analysis book. How to use the spectral theorem to prove that the span of the orthogonal projections is norm dense in $B(H)$?
3
votes
2answers
130 views

Show the subspace $\textrm{span}\{e_n:n\in\mathbb N\}$ is not closed in $\ell^2$

How to show the subspace $\textrm{span}\{e_n:n\in\mathbb N\}$ where $e_n=(\delta_{nk})_{k\in\mathbb N}$ is not closed in $\ell^2$?
3
votes
1answer
314 views

Bounded operators on separable Hilbert spaces

Let $H$ be a separable Hilbert space. Show that every bounded operator from $H$ to itself can be approximated in the strong operator topology by a sequence of finite rank operators. Im not sure what ...
3
votes
6answers
208 views

Is $\operatorname{range} =\ker^\perp$ only true for projection?

Let $P$ be a linear operator on a Hilbert space $H$. If $\operatorname{range} P=(\ker P)^\perp$, is $P$ necessarily a projection, i.e., $P^2=P$?
3
votes
2answers
387 views

norm of a normal operator using projections

Let $H$ be a Hilbert space and $T$ a normal operator on $H$. In the sequel, ${\rm tr}$ denotes the trace for trace class operators. Do we have $$ \vert\vert T \vert\vert= \sup |{\rm tr} (TP)| $$ ...
3
votes
2answers
186 views

Minimization problem in Sobolev spaces

This is a homework problem and I don't know how to solve it: Consider the following minimization problem on the real-valued sobolev space $H^{1,2}(\Omega)$ with dimension $n=1$ and $\Omega=(0,1)$: ...
3
votes
1answer
174 views

Convexity of a set in Hilbert space

Let $H$ be a Hilbert space and $\left\{ e_{i}\right\} _{i=1}^{\infty}$ an orthonormal system. I need to prove that the following set is a convex set: $$C=\left\{ x\in ...
3
votes
4answers
126 views

reference for strongly continuous semi-groups

At the moment I am trying to understand the proof of the Fredholm property in Salamon's notes on Floer homology. There I came across the notion of an unbounded operator on a (real) Hilbert space which ...
3
votes
1answer
34 views

Do the holomorphic or meromorphic functions on a domain $D \subseteq \mathbb{C}$ form a Hilbert space $\mathcal{H}$?

In a physics paper I am reading that the meromorphic functions on $\mathbb{C}$ with $f(x) = f(\overline{x})$ form a Hilbert space. $$ \mathcal{H} = \{ f(x) : f(x) = f(\overline{x}) \}$$ Even let ...
3
votes
2answers
39 views

Does $A+A^\perp=\scr H$ in a Hilbert space imply $A$ is closed?

This is just the converse to the Hilbert projection theorem, which says that if $A$ is a closed subspace of a Hilbert space $\scr H$ then $A+A^\perp=\scr H$. If $A$ is a linear subspace of $\scr H$ ...
3
votes
1answer
67 views

Proving Toeplitz matrix defines bounded operator on $ l^2 $

I should first mention this: I have asked this question previously but I only got a partial answer that does not suit the actual assumptions but only the related ones, it reads as follows: Define ...
3
votes
2answers
66 views

Show $ \langle Tx,x \rangle \in \mathbb R$ for all $x \in H$ implies $T$ is self-adjoint

Show that a linear operator $T: H \rightarrow H$ is self adjoint if and only if $\langle Tx, x \rangle \in \mathbb R$ for all $x \in H$. You may use that the equality that for all $x,y \in H$ ...
3
votes
1answer
37 views

Identity Operator can be uniformly approximated by orthonormal basis

Let $H$ be a separable Hilbert space with orthonormal basis $e_1, e_2, ...$. I know that for any $x \in H$, we have $$\|x\|^2 = \sum\limits_n \|\langle x, e_n \rangle\|^2$$ and in fact $x = ...
3
votes
1answer
35 views

Projection on closed subspace of $L^1$, $L^{\infty}$

For $p=1,\infty$ let $K$ be a closed subspace of $L^p(\mathbb{R},m)$. According to this question, it should be easy to find examples of $K$ and $f\in L^p(\mathbb{R},m)$ such that there exists a ...
3
votes
2answers
32 views

If the scalar product are equal then the operators are equal.

I want to show the following: Let H be a $\mathbb C$ -hilbert space and $S,T\in L(X)$ If $\langle Sx,x \rangle = \langle Tx,x \rangle$ for all $x\in H$, then $S=T$ Any hints for me?
3
votes
1answer
91 views

Orthogonality of projections on a Hilbert space

Assume that $p$ and $q$ are (orthogonal) projections on Hilbert space $\mathcal{H}$. I want to prove: $pq=0$ iff $p+q\leq1$ I had the following in mind: Assume $pq=0$. Then $qp=0$, hence $p+q$ is a ...
3
votes
2answers
272 views

How can I show $U^{\bot \bot}\subseteq \overline{U}$?

Let $H$ be a Hilbert space and $U$ a subspace. Let $U^{\bot}$ denote its orthogonal complement. I had no trouble showing $\overline{U}\subseteq U^{\bot\bot}$. But now I'm stuck for $\supseteq$. ...
3
votes
1answer
158 views

Questions about the Fourier transform as a unitary transform

As far as I know, the Fourier transform is a (linear) unitary transform: $T: \textbf{L}^2(-\infty, +\infty) \rightarrow \textbf{L}^2(-\infty, +\infty)$ where the basis functions {$e^{i \omega x} | ...
3
votes
1answer
257 views

How to prove the sum of RKHS (Reproducing Kernel Hilbert Space)?

$k,k_1$ and $k_2$ are kernels on $\mathcal{X}\times\mathcal{X}$, and $k=k_1+k_2$, then we have the following properties for the RKHS (Reproducing Kernel Hilbert Space) $\mathcal{H}$, $\mathcal{H}_1$ ...
3
votes
3answers
83 views

On the intuition behind the projection theorem.

I have recently proved the projection theorem in a Hilbert space setting. The statements were: If $M$ is a closed subspace of a Hilbert space $H$ and $x \in H$, then: There is a unique element ...
3
votes
3answers
172 views

Selfadjointness of the Dirac operator on the infinite-dimensional Hilbert space

I am a physicist, so my background in functional analysis is limited only to basics. However, I would like to prove that the free Dirac operator is selfadjoint (or Hermitian, or neither). The free ...
3
votes
1answer
105 views

What is the image of operator exponential?

Given a Banach space $V$ and a bounded linear operator $A:V\to V$, the operator $e^A$ is bounded and invertible. When $V$ is finite dimensional, every invertible operator is of the form $e^B$ (one can ...
3
votes
2answers
173 views

Can Hilbert spaces generalize non-Euclidean geometry by having the sum of the angles of a triangle not be equal to pi?

I am an amateur mathematician learning new things. Let A and B be vectors in a Hilbert space. The three vectors A, B and A-B form a triangle. The idea of the angle between two vectors can be ...
3
votes
1answer
136 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 ...
3
votes
1answer
146 views

Strengthened Cauchy-Schwarz inequality

I'm looking for some simple proof of the following consequence of the "strengthened" Cauchy-Schwarz inequality: Let $\mathcal{H}$ be a real Hilbert space such that ...
3
votes
1answer
88 views

Prove that $A^2$ is an Hilbert Space.

We denote by $A^2$ the space of analytic functions on $B_1=\{z=x+iy\in \mathbb{C}, x,y\in \mathbb{R}||z|<1\}$, such that $$\left(\int\int_{B_1}|f(z)|^2 dx \, dy\right)^{1/2}<+\infty$$ In $A^2$, ...
3
votes
2answers
473 views

Linear operators with no adjoint

Here is a standard theorem about bounded operators: Let $H$ be a Hilbert space. For any bounded linear operator $A:H\to H$ there is a unique bounded operator $A^*$ s.t $\langle Au,v\rangle=\langle ...
3
votes
1answer
889 views

In a Hilbert space, every bounded and closed set is weakly relatively compact.

My aim is to prove that in a Hilbert space, any sequence has a weakly convergent subsequence. To prove this, I'm trying to prove that: ...
3
votes
1answer
1k views

Orthonormal Basis for Hilbert Spaces

The following is the definition of orthonormal base that I am using: The notion of an orthonormal basis from linear algebra generalizes over to the case of Hilbert spaces. In a Hilbert space H, an ...
3
votes
1answer
40 views

name of matrix of inner products $\langle f_i, f_j\rangle$

Given a Hilbert space $H$ and a number of elements $\phi_i\in H$, does the matrix $M$ with $$ M_{i,j} := \langle\phi_i, \phi_j\rangle $$ have any particular name?
3
votes
3answers
90 views

What am I doing wrong? inner product

The general form of an inner product in $\mathbb{C}^n$ is $\langle x,y\rangle=y^{*}Bx$ where B is a Hermitian positive definite matrix. Then for any square matrix $A$ we have $\langle ...
3
votes
2answers
219 views

Equivalent norms imply equivalent inner products?

Let $H$ be Hilbert and let it have two innner products $(\cdot,\cdot)_1$ and $(\cdot,\cdot)_2$. If the norms $|\cdot|_1$ and $|\cdot|_2$ are equivalent, does this ever imply: there exist constants ...
3
votes
2answers
167 views

Is a Hilbert space $H$ compactly embedded in its dual?

Is a Hilbert space $H$ compactly embedded in its dual? Is it compactly embedded in itself? No idea how to think of this.
3
votes
2answers
79 views

Closed linear subset of a Hilbert space

If $H$ is a Hilbert space, and if $$(a,b)_H=0$$ for every $b \in B \subset H$, where $B$ is a closed linear subset of $H$, does it follow that $a=0$, the zero element of $H$?
3
votes
2answers
63 views

Question about finding minimum-Hilbert spaces

How to find $$\min_{a,b,c\in\mathbb{C}}{\int_0^{\infty}} |a+bx+cx^2+x^3|^2 e^{-x} dx = ?$$ Thanks in advance.
3
votes
2answers
101 views

What is the correct definition of the cuspidal subspace of $L^2$?

I have a few (semi-)related questions regarding certain Hilbert space representations of locally compact groups that come up in the theory of automorphic forms. Let $G$ be a unimodular locally ...
3
votes
1answer
154 views

Are WOT/SOT topologies hereditarily separable?

Just out of curiosity, Are weak and strong operator topologies on $B(H)$ hereditarily separable? In other words, if $S$ is a subset of $B(H)$, where $H$ is a separable Hilbert space, is $S$ ...
3
votes
1answer
189 views

Operator norm and spectrum

Let $L$ be a bounded linear operator on a Hilbert space. Without assuming finite dimensions, can we express the operator norm of $L$ in terms of the spectrum of the positive operator $L^{\dagger}L$? ...
3
votes
1answer
82 views

How to show projection of $L^2$ function converges to that $L^2$ function

My teacher said that if $P_n f = \sum_{j=0}^n(f,w_j)w_j$, where $w_j$ is orthonormal basis of $L^2$, then $|P_n f- f|_{L^2} \to 0$ for $f \in L^2$. How do I prove this? I thought $$|P_nf - f| = ...
3
votes
1answer
666 views

Estimate on the norm of a self-adjoint operator

EDIT: thks to Martin's comment I realize the previous version was wrong. Here is the correct version of what I need to show: I am trying to show that if $A$ is a self - adjoint operator in a Hilbert ...
3
votes
2answers
348 views

Find adjoint operator of an operator T

I would like to find the adjoint operator of $$ T\colon L^2([0,1])\to H^1([0,1]),\quad x\mapsto\int\limits_0^t x(s)\, ds. $$ Here $H^1([0,1])$ is the Sobolev space $W^{1,2}([0,1])$. I tried to find ...
3
votes
3answers
221 views

Functional analysis-Hilbert spaces

Let $ X$ be an inner product space. Show that $ X$ is a Hilbert space if and only if for each continuous linear functional $ L$ on $ X$,there exists $ z\in X$ such that $ L(x)=\langle x,z\rangle $ . ...
3
votes
1answer
349 views

Compute spectral/projection-valued measures explicitly?

Spectral/projection-valued measures have very handy applications theoretically, but I got stuck when asked to compute explicitly certain projection-valued measures. Let's focus on the following: ...
3
votes
2answers
1k views

No Nonzero multiplication operator is compact [duplicate]

Let $f,g \in L^2[0,1]$, multiplication operator $M_g:L^2[0,1] \rightarrow L^2[0,1]$ is defined by $M_g(f(x))=g(x)f(x)$. Would you help me to prove that no nonzero multiplication operator on $L^2[0,1]$ ...
3
votes
1answer
256 views

What is meant by `element $x\in H$ of minimal norm'

I do not seek a proof of the following exercise. I just want to understand this question in order to solve it myself. Let $H$ be a Hilbert space over $\mathbb R$ and let $a, b\in H$ be such that ...
3
votes
2answers
102 views

Equiangular sequence in $\ell^2$

I have a countable infinite normed, equiangular sequence $a_n \in \ell^2$, i.e $\langle a_n, a_m \rangle=\theta$ for $n\not=m$ and $\langle a_m, a_m \rangle =1$ for some $\theta <1$. It's clear ...
3
votes
1answer
91 views

Function space in QM

I need to understand how one can think of a function as a vector (in Hilbert space, more specifically) so I can follow along QM texts. I've read this question's answers, but they were uninspiring to ...
3
votes
1answer
129 views

Contractive Operator and Realization Theorem

Good morning, I have searched, by using google for a time, a proof of the following theorem : Let $\pmatrix{A&B \\ C&D}\colon H \oplus K \to H\oplus K$ be a contractive operator of a Hilbert ...
3
votes
1answer
796 views

Dual of $C[0,1]$, Hilbert space and Riesz representation.

Let $E=C[0,1]$, space of all real-valued continuous functions on $[0,1]$, $\mathcal{E}$ be its Borel $\sigma$-algebra and $\mu$ a Gaussian measure on $E$. I need help proving the following claim: ...
3
votes
1answer
70 views

Algebraic description of coisometries

Let $H$ be a Hilbert space. An operator $T\in\mathcal{B}(H)$ is called coisometric if it maps open unit ball of $H$ onto open unit ball of $H$. Please tell me how to prove that condition $T$ is ...