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

learn more… | top users | synonyms

3
votes
2answers
175 views

A dense subset of a Hilbert space

I am curious about the following problem: Consider the Hilbert space (a weighted $L^2(\mathbb{R})$ space): $$\mathscr{H}=\bigg\{f: \mathbb{R}\to\mathbb{R}\text{ Lebesgue measurable}\,\bigg|\,\int_\...
3
votes
2answers
154 views

exercise on the closed subspaces of an Hilbert spaces

I have a question regarding exercise 3.1.13 of "Analysis Now" by Pedersen volume 118 of the Springer GTM. The exercise aim to show that any closed subspace $X$ of $L^2([0,1])\cap L^{\infty}([0,1])]$ ...
3
votes
2answers
317 views

Is it a unitary, self adjoint and normal operator?

Let $A\colon H\to H$ be a bounded linear operator on a complex Hilbert space such that $\|Ax\|=\|A^*x\|\forall x$, given that there is a nonzero $x$ for which $A^*x=(2+3i)x$. Then I need to know ...
3
votes
1answer
665 views

The unit ball in a Hilbert space

I have a request for any ideas to prove: If $H$ is a Hilbert space, then any unit vector is an extreme point of the unit ball of $H$. Every isometry is an extreme point of the unit ball of the ...
3
votes
1answer
104 views

Is $L^2(0,T;V_f) \subset L^2(0,T;V)$ closed if $V_f \subset V$?

Let $V$ be an infinite-dimensional separable Hilbert space and let $V_f$ be a subspace of $V$ that is finite dimensional. It follows that $V_f$ is closed. Is it true that $L^2(0,T;V_f)$ is closed as ...
3
votes
2answers
65 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
326 views

What is my operator norm (cannot get good enough bounds).

Given a space of square integrable functions $x(t)$ over the interval $[0;1]$ one can introduce a norm $$\|x(t)\|= \sqrt{\int_0^1 (x(t))^2 \, dt};$$ Then what is a norm of the transformation below (...
3
votes
1answer
223 views

Hahn-Banach theorem (second geometric form) exercise

Let $X$ be a vector normed space and $\{F,F_1,\ldots,F_N\}$ linear functionals over $X$ such that $$\bigcap_{i=1}^N\mbox{ker}(F_i)\ \subseteq \mbox{ker}(F).$$ Apply the Hahn-Banach theorem (second ...
3
votes
1answer
236 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
131 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
321 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
209 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
391 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
187 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
175 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 H\,:\,\sum_{n=1}^{\infty}\left(1+...
3
votes
4answers
128 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 $f(...
3
votes
2answers
40 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
70 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$ $4\...
3
votes
1answer
38 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 = \lim\...
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 non-...
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
93 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
283 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
162 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
262 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
84 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
185 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
109 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
176 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
140 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
147 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 $\mathcal{H}=\mathcal{V}\oplus\...
3
votes
1answer
89 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
482 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 u,A^...
3
votes
1answer
912 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 Av,w\rangle=w^{*}...
3
votes
2answers
222 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
170 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
102 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
156 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
191 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
2answers
354 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
358 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]$ ...