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

learn more… | top users | synonyms

2
votes
2answers
17 views

not understanding a step in a proof

Hi: I'm reading some introductory notes on hilbert spaces and there is a step in a proof that I don't follow. I will put the exact statement below. If someone could explain how it is obtained, it's ...
6
votes
1answer
59 views

Properties of matrices $M=UDU^*$ with $UU^*=Id$

I recently came across some matrices of the form $M=UDU^*$ (the superscript $*$ denotes the conjugate transpose), where $U \in \mathbb{C}^{r\times n}$ with $r<n$, $D \in \mathbb{C}^{n \times n}$ a ...
0
votes
0answers
20 views

Normal Operators: Superalgebra (II)

Problem highlighted at the end! Application Reduction to only one operator!! Reference This builds up on: Superalgebra (I) Convention All operators possibly unbounded!! Structures Given a ...
3
votes
1answer
65 views

Normal Operators: Superalgebra (I)

Given a Hilbert space $\mathcal{H}$. Consider normal operators: $$N:\mathcal{D}(N)\to\mathcal{H}:\quad N^*N=NN^*$$ Denote their calculus: ...
-1
votes
1answer
49 views

Need help proving the equivalence of two norms?

Hey I could use a lot of help with this problem please! Let $(X, \langle\,\cdot,\cdot\,\rangle)$ be a Hilbert space over $\mathbb{R}$. Then, let $A\colon X \to X$ be a linear operator. Suppose that ...
0
votes
2answers
37 views

Ordering : Ranges

Given a Hilbert space $\mathcal{H}$. Denote selfadjoints: $$\mathcal{S}(\mathcal{H}):=\{A\in\mathcal{B}(\mathcal{H}):A=A^*\}$$ Note that one has: $$\Delta ...
-1
votes
0answers
49 views

Ordering: Compactness

Given a Hilbert space $\mathcal{H}$. Denote compacts: $$\mathcal{K}(\mathcal{H}):=\{K\in\mathcal{B}(\mathcal{H}):K\text{ compact}\}$$ And selfadjoints: ...
0
votes
0answers
13 views

Differential second in infinite dimension

Let $f: E \to R$ sending $x \mapsto \|x\|$ and make some simple hypothesis: with $E$ an Hilbert Space Let say that the norm $\|\bullet\|$ is derived from a scalar product So we can easily find ...
1
vote
0answers
43 views

Want to prove an inequality of two norms in a Hilbert space

So here is my problem, Let $D:=[-d,d]\times[-d,d]$ and $C_0^{\infty}$(D) be the set of all smooth functions with compact support in $D$ which are zero on the boundary of $D$. Moreover we have the ...
1
vote
2answers
84 views

uniqueness of positive operator

Let $A,B$ be commuting positive operators on a Hilbert space such that $\langle(A-B)(A+B)x,x\rangle=0$ for all $x$ in the Hilbert space. Prove that $A=B$. My attempt: The above implies that $A=B$ on ...
1
vote
1answer
29 views

Quasi ideal sequence in $B(H)$

According to comments by Hamza I revise the question. Let $H$ be an infinite dimensional separable Hilbert space. Is there an increasing sequence of subvector spaces $V_{1} \subsetneq V_{2} ...
1
vote
0answers
22 views

Generate complete functions set in hilbert space

It is just a curiosity, but is there a general method (or a class of methods) that allows to derive orthonormal complete function set for a given hilbert space? (Except Gram Shmidt algorithm and ...
0
votes
1answer
26 views

Spectral Measures: Pushforward

This thread is Q&A. Problem Given a Hilbert space $\mathcal{H}$. Consider a normal operator: $$N:\mathcal{D}(N)\subseteq\mathcal{H}\to\mathcal{H}:\quad N^*N=NN^*$$ And its spectral measure: ...
0
votes
1answer
21 views

Wave Operators: Cook

Given Hilbert spaces $\mathcal{H}_0$ and $\mathcal{H}$. Consider Hamiltonians: $$H_\#:\mathcal{D}(H_\#)\to\mathcal{H}_\#:\quad H_\#=H_\#^*$$ Denote their evolutions: ...
1
vote
0answers
19 views

Abelian Algebras: Generator

Given a Hilbert space $\mathcal{H}$. Consider normals: $$N:\mathcal{D}(N)\subseteq\mathcal{H}\to\mathcal{H}:\quad N^*N=NN^*$$ Denote their algebra: ...
4
votes
1answer
91 views

Generalized Fourier series in $L^2$ that do not converge pointwise a.e.

For a Hilbert space $L^2$ we have the notion of an orthonormal basis $\{f_j\}$ being a sequence of orthonormal elements such that any element $f$ in $L^2$ can be approximated by partial sums in terms ...
3
votes
3answers
59 views

Which Hilbert space is isometrically isomorphism with $B(E)$ for some Banach space $E$.

Consider $H$ as a Hilbert space. How can I find a Banach space $E$, for that, $H=B(E)$ where $B(E)$ is the set of bounded linear operator on $E$? (At least under some conditions on $H$) Also if the ...
1
vote
1answer
86 views

Spectral Measures: Square Root

Isometric Equality Given a Hilbert space $\mathcal{H}$. Consider a closed operator: $$A:\mathcal{D}(A)\to\mathcal{H}:\quad A=A^{**}$$ Denote for shorthand: $$H:=A^*A:\quad H=H^*$$ Regard elements: ...
0
votes
1answer
23 views

The spectrum of a polynomial of an operator, question about proof, why are the operators invertible?

I have a question about a proof. In the proof $\sigma(T)$ is $\{\lambda \in\mathbb{C}: T-\lambda I\text{ is not invertible}\}$. In the proof they use this lemma: Here is the proof, my problem is ...
0
votes
1answer
32 views

Direct Sum: Stone

Problem Given Hilbert spaces $\mathcal{H}_\alpha$. Consider Hamiltonians: $$H_\alpha:\mathcal{D}H_\alpha\subseteq\mathcal{H}_\alpha\to\mathcal{H}_\alpha:\quad H_\alpha=H_\alpha^*$$ And their ...
7
votes
2answers
98 views

Is every Hilbert space a Banach algebra?

Let $H$ be a Hilbert space. Could we say that, always there is a multiplication on $H$, that makes it into a Banach algebra? If not, under which conditions does it exist?
2
votes
0answers
99 views
+100

Polar Decomposition: Adjoint

Problem Given Hilbert spaces $\mathcal{H}$ and $\mathcal{K}$. Consider a closed operator: $$A:\mathcal{D}(A)\subseteq\mathcal{H}\to\mathcal{K}:\quad A=A^{**}$$ And its decompositions: ...
2
votes
1answer
53 views

Polar Decomposition: Unitarity

Prove that the left and right shifts on $l_{2}$ have no polar decomposition (i.e. $UP$ where $U$ is unitary and $P$ is positive).
0
votes
1answer
62 views

Trace: Independence

Problem Given a Hilbert space $\mathcal{H}$. Consider an operator: $$A\in\mathcal{B}(\mathcal{H}):\quad\operatorname{Tr}|A|<\infty$$ Regard ONB's: ...
1
vote
1answer
42 views

Calculation of operator norm

$H$ is a Hilbert space, $T: H \to H$ linear bounded operator, $||T||$ is the norm of $T$ given by $$||T||=\sup\{||T(x)||;||x||\le 1 \}. $$ Is it true that $$||T||=\sup\{|\langle ...
0
votes
1answer
32 views

If $E$, $\overline{E}$ are orthogonal projections such that $\mathrm{range}(\overline{E})=\overline{\mathrm{range}(E)}$, then is $E\ge\overline{E}$?

I feel like this should be true. Let $\mathrm{range}(E)=A$ and $u$ be an arbitrary vector in a Hilbert space $H$, it is sufficient to show $\langle (E-\overline{E})u,u\rangle=0$. By Cauchy-Schwarz: ...
1
vote
1answer
70 views

Spectral Measures: Embedding

This thread is just a note! Given a Hilbert space $\mathcal{H}$. Consider a normal operator: $$N:\mathcal{D}(N)\to\mathcal{H}:\quad N^*N=NN^*$$ And its spectral measure: ...
9
votes
4answers
458 views

Why isn't every element of the spectrum an eigenvalue? (Where is the error in my proof?)

My book defines the spectrum like this: Let $H$ be a complex Hilbert space, let $I \in B(H)$ be the identity operator and let $T \in B(H)$. The spectrum of $T$, denoted $\sigma(T)$, is defined ...
1
vote
1answer
95 views

Compact Operators: Trace

Given a Hilbert space $\mathcal{H}$. Consider a bounded operator: $$A:\mathcal{H}\to\mathcal{H}:\quad\|A\|<\infty$$ Regard ONB's: ...
1
vote
1answer
18 views

Are they true these generalizations from matrices to operators about functional calculus?

Motivation: If we have some real function $f$ defined on an interval $I$ and $D=\operatorname{diag}(\lambda_1,\ldots,\lambda_n)$ is a diagonal matrix such that $\lambda_i \in I$ for all $1\leqslant i ...
1
vote
0answers
33 views

Direct Integral: Dimension

Direct Integral Given a Borel space $\Omega$ with measure $\mu$. Given Hilbert spaces $\mathcal{h}_x$ for $x\in\Omega$; set $\mathcal{h}:=\bigcup_{x\in\Omega}\mathcal{h}_x$. Regard the function ...
1
vote
1answer
15 views

The norm of a bounded linear functional on a Hilbert space is the norm of the vector?

If $L$ is a bounded linear functional on a Hilbert space $H$, then we know that $$Lx=(x,y),\quad \forall x\in H,$$ for some $y\in H$. Is it true that $\|L\|=\|y\|$? We have by Cauchy-Schwarz that ...
0
votes
1answer
38 views

Prove that $min\{\|x-y\|:y\in M\}=max\{|\langle x,y\rangle|:y\in M^\perp , \|y\|=1\}$

Suppose $M$ is a closed subspace of a Hilbert space $X$. Let $x\in X$. Prove that $min\{\|x-y\|:y\in M\}=max\{|\langle x,y\rangle|:y\in M^\perp , \|y\|=1\}$ My Try: First of all I am confused ...
1
vote
0answers
24 views

Conditions for an operator on a Hilbert space to have an orthonormal set of eigenfunctions

I'm working on a problem that requires the following operator, $A^TA$, to have an orthonormal set of eigenfunctions. Note $A:H_1 \mapsto H_2$, where $H_1$ and $H_2$ are separable Hilbert spaces. ...
0
votes
1answer
46 views

Nonexpansive Affine Operators in Hilbert spaces

Let $H$ be a Hilbert space with real inner product $\langle \cdot, \cdot \rangle : H \times H \rightarrow \mathbb{R}$. Let $T$ be an affine operator. Show that $T$ is nonexpansive, i.e., $\left\| ...
1
vote
1answer
56 views

Hilbert space inequality $|\langle x,y\rangle | \leq \epsilon ||x||^2 + C_{\epsilon}||y||^2$

In prelim prep I came across 'given $\epsilon$ there exists $C_{\epsilon}$ such that $|\langle x,y\rangle | \leq \epsilon ||x||^2 + C_{\epsilon}||y||^2$. It is asserted without proof, so I've tried ...
1
vote
1answer
66 views

Norm of two operators

(1) $U(x)=a \langle x,b \rangle +b \langle x,a \rangle $, $a,b\in H\setminus \{0\}$. U is an operator from H to H and a,b are orthogonal elements. I want to calculate $||U||$ For this one I tried the ...
1
vote
1answer
24 views

Biorthogonal complement of subspace of subspace.

I'm taking a course on Banach and Hilbert spaces. The teacher who guides the exercise sessions is often a bit fast, so only when revising my notes at home I realize I do not fully understand them. We ...
0
votes
1answer
40 views

$L^2$ inner product split over sub-domains in $\mathbb{R}^3$

I have a bounded Lipschitz domains $\Omega, \Omega_1, \Omega_2 \subset \mathbb{R}^3$ such that $\overline{\Omega}=\overline{\Omega}_1 \cup \overline{\Omega}_2$ and $\Omega_1 \cap \Omega_2=\emptyset$. ...
0
votes
1answer
26 views

Existence of the first weak eigenvalue of the Laplacian in a bounded domain

Let $\Omega\subseteq\mathbb R^n$ be a bounded domain and $$H:=W_0^{1,2}(\Omega):=\left\{u\in L^2(\Omega):\nabla u\in L^2(\Omega)\right\}$$ be the Sobolev space, where $\nabla u$ denotes the weak ...
3
votes
1answer
362 views

Double orthogonal complement of any closed subspace is it self

Let $H$ be a pre-Hilbert space such that any closed sub space $M \subset H$ has the property $M^{\bot \bot}=M$. Prove that $H$ is a Hilbert space (ie, prove that $H$ is complete) My attempt: As ...
4
votes
1answer
769 views

What is the difference between an isometric operator and a unitary operator on a Hilbert space?

It seems that both isometric and unitary operators on a Hilbert space have the following property: $U^*U = I$ ($U$ is an operator and $I$ is the identity operator) What is the difference between ...
0
votes
1answer
14 views

Continuous function space and Reproducing kernel Hilbert [closed]

Let $E=C[-1,1]$, space of all real-valued continuous functions on [-1,1], $E$ is a reproducing kernel hilbert space? by inner product $\int_{-1}^{1} f(x)g(x) w(x) dx$ where $w(x)>0$ is weighted ...
1
vote
1answer
41 views

What is $\mathrm{dim}(\mathrm{Sym}(\mathrm{Herm}(H)^{\otimes N})$?

The totally symmetric subspace of $(H^k)^{\otimes N}$, with $H^K$ a $k$-dimensional Hilbert space, has dimension $\binom{N+k-1}{k-1}$. But I now want to know the dimension of the totally symmetric ...
2
votes
1answer
40 views

Normal Operators: Von-Neumann

Given a Hilbert space $\mathcal{H}$. Consider normal operators: $$N:\mathcal{D}N\subseteq\mathcal{H}\to\mathcal{H}:\quad N^*N=NN^*$$ Regard their algebra: ...
0
votes
1answer
15 views

Elementary inequality with norms

Is it reasonable to hope the validity of an inequality of this form, where $H$ can be any separable Hilbert space $$\forall \alpha \geq 0 \, \exists \gamma \geq 0: || x - \alpha y|| \leq \gamma || x ...
1
vote
0answers
33 views

$\{x \mapsto e^{2\pi i k x} \mid k \in \mathbb{N}\}$ is orthonormal basis of $L^2$

I want to show that $\{x \mapsto e^{2\pi i k x} \mid k \in \mathbb{N}\}$ is orthonormal basis of $L^2((0,1); \mathbb{C}) =: X$. Of course the only problem is to show completeness. In our lecture we ...
2
votes
2answers
79 views

Spectral Measures: Concentration

Given a Hilbert space $\mathcal{H}$. Consider spectral measures: $$E:\mathcal{B}(\mathbb{C})\to\mathcal{B}(\mathcal{H}):\quad E(\mathbb{C})=1$$ Define its support: ...
0
votes
1answer
59 views

Projections: Beppo Levi

Given a Hilbert space $\mathcal{H}$. Consider projections: $$P_\lambda\in\mathcal{B}(\mathcal{H}):\quad P_\lambda^2=P_\lambda=P_\lambda^*$$ And directed indices: ...
1
vote
2answers
56 views

Why is the sequence $(\langle x_n,a \rangle)$ Cauchy when $(x_n)$ is?

Let $\mathcal H$ a Hilbert space over $\mathbb R$ and $A = \{x\in \mathcal H : \langle x, a \rangle \geq 1 \}$. I'm trying to prove that $A$ is closed. Let $(x_n) \subset A$ be a Cauchy-sequence. ...