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

learn more… | top users | synonyms

1
vote
0answers
15 views

Eigenvector of a linear combination of operators is an eigenvector of each operator

Assume $H$ is a Hilbert space and $a_1,\dots,a_n$ are operators with Hermitian adjoints $a_1^*,\dots,a_n^*$, satisfying the canonical commutation relations. Define $N_j=a_j^*a_j$. Assume $v$ is an ...
0
votes
0answers
17 views

Why is $P_{E^\bot}(x)=0$, if $x\in E$?

Let $H$ be a Hilbert space and let $x\in H$. Let $E$ be a non-empty closed subspace of $H$. Let $P_E(x)$ be the projection of $x$ unto $E$. I've seen several proofs that use the following: ...
0
votes
0answers
14 views

Visualize and define a vector space without dot / inner product

I'm trying to rebase my know how in linear algebra, restart from scratch to get a more formal and useful set of definitions to help me with computer programming stuff . One of the first concepts is a ...
0
votes
0answers
10 views

Selfadjointness of the differential operator in a singular potential

The free Dirac operator is the differential operator of the following form T_0 = i\alpha grad + \beta, where \alpha and \beta are Hermitian 4 x 4 matrices, and T_0 is selfadjoint on some domain ...
0
votes
1answer
10 views

Riesz map on $L^2(0,T;H)$ — it's not “unique” in a way

Let $R:L^2(0,T;H) \to L^2(0,T;H^*)$ denote the Riesz representation map. Given $u \in L^2(0,T;H)$, $Ru \in L^2(0,T;H^*)$ can be changed in $[0,T]$ on a set of measure zero. So $Ru$ is not unique in ...
3
votes
0answers
30 views

Modes of convergence in infinite direct sums of $L^{2}$ spaces

It is known that if a sequence of random variables converges in norm then there exists a subsequence which converges almost surely. That is: let $\left(X_{n}\right)_{n\in\mathbb{N}}\subseteq ...
0
votes
0answers
11 views

Show that a constructed matrix is a unitary matrix

Given that $\{|\psi_i\rangle\}$ and $\{|\phi_i\rangle\}$ are sets of orthonormal eigenvectors, show that a matrix $$ M = \sum_i{|\psi_i\rangle \langle \phi_i|}$$ is a unitary matrix. I have tried the ...
1
vote
1answer
23 views

Proving an orthonormal set is an orthonormal basis in Hilbert space [duplicate]

Consider a separable Hilbert space $H$, and $\{g_n\}$ is an orthonormal basis of $H$. Now there is an orthonormal set $\{f_n\}$ that satisfies $\sum_n\|f_n-g_n\|^2<1$. Show that $\{f_n\}$ is also ...
4
votes
1answer
60 views

T is not compact operator

I want to show that if $T$ is a bounded operator between two Hilbert spaces and $T$ is not compact then there exists an orthonormal sequence $y_{n}$ and an $R>0$ such that $\forall n\in ...
2
votes
0answers
32 views

Normed Space and Hibert Space Problem

Anyone could describe me, why this is True? Suppose $(H, \|.\|) $ is a normed space. the norm $\|.\|$ induced by an inner product if and only if Parallelogram law is valid. Regards.
2
votes
1answer
16 views

One Note about One to one and Surjective of linear functional [on hold]

I read a note that: if $ f \neq 0$ is a linear functional on H, then f is onto (surjective) and it is not one to one (injective) in general. Why this is true? i think it need advance ...
2
votes
0answers
22 views

Equivalent definitions of the trace of a Hilbert-Schmidt operator

I am currently reading the book Spectral Methods in Automorphic Forms, and Iwaniec defines the trace operator in a different way than I am accustomed to. Throughout, assume that everything converges ...
5
votes
0answers
73 views

Composition of projections has a fixed point in a Hilbert space

Let Let H be a Hilbert space with an inner product ⟨⋅,⋅⟩ : H×H→R, and induced norm $∥⋅∥ : H→R_+$ Let $C_1$ and $C_2$ be closed, convex, nonempty, disjoint subsets of $H$ with at least one of ...
0
votes
0answers
37 views

Spectral Measures: Spectral Subspaces

Given a Hilbert space $\mathcal{H}$ and let the Lebesgue measure be $\lambda$. Consider a normal operator $N:\mathcal{D}\to\mathcal{H}$. Denote its associated Borel spectral measure by: ...
0
votes
1answer
26 views

If $z$ is in an inner product space $X$, show that $f(x)=\langle x,z \rangle$ defines a bounded linear functional $f$ on $X$.

If $z$ is any fixed element of an inner product space $X$, show that $f(x)=\langle x,z \rangle$ defines a bounded linear functional $f$ on $X$, of norm $||z||$. If the mapping $X\to X'$ given $z\to f$ ...
0
votes
0answers
9 views

A bounded set in a hilbert space with a compact domain is equicontinuous?

I came across this line in a book "As bounded sets in $H^1(\Omega)$ are equi-continuous and $\Omega$ is compact..." It goes on to prove a result from this but what has me stuck is I don't see is ...
1
vote
0answers
74 views

Closure in a Hilbertspace

Define for a self-adjoint pure contraction $S$ (remember: $\|S\|\leq1$ and $\pm1\notin\sigma_p(S))$ on a Hilbert space $\mathcal{H}$ the following set: $C_c^*(S):=\{g(S):g\in C_c(\hat{\sigma}(S))\}$ ...
0
votes
1answer
43 views

Hilbert Subspaces: ONB

This might be a duplicate. If so, then please let me know. Thanks! Given a Hilbert space $\mathcal{H}$. Consider a dense subspace $\overline{Z}=\mathcal{H}$. Then it provides an ONB: ...
0
votes
2answers
51 views

Spectral Measures: Riemann-Lebesgue

Given a Hilbert space $\mathcal{H}$ and let the Lebesgue measure be $\lambda$. Consider a selfadjoint Hamiltonian $H:\mathcal{D}\to\mathcal{H}$. Denote its associated Borel spectral measure by: ...
0
votes
0answers
8 views

A Fredholm alternative for nonlinear operators?

There is a Fredholm alternative of the form: Let $K$ be a compact linear operator. Then $(I + K)u = f$ has a solution $u$ for every $f$ if and only if $$\text{$(I+K)u=0 \implies u=0$.}$$ Is ...
1
vote
1answer
17 views

Reducing Subspaces: Nonexample?

Given a Hilbert space $\mathcal{H}$. Consider an operator $T:\mathcal{D}(T)\to\mathcal{H}$. Suppose there exists a closed subspace $Z\leq\mathcal{H}$: $$TZ\subseteq Z,TZ^\perp\subseteq Z^\perp$$ ...
0
votes
1answer
7 views

Ordered Projections: Range

Given a Hilbert space $\mathcal{H}$. Consider two orthogonal projections $P,Q$. Then: $$P\leq Q\implies\mathcal{R}(P)\subseteq\mathcal{R}(Q)$$ The ordering being induced by: ...
-2
votes
1answer
29 views

a question about contractions on Hilbert spaces

Let $\cal{H}$ be a Hilbert space, $T_1,T_2\in\cal{B(H)}$, $\|T_1(h_1)+T_2(h_2)\|^2\leq\|h_1\|^2+\|h_2\|^2$ for all $h_1,h_2\in\cal{H}$. $T_1T^\ast_1+T_2T^\ast_2\leq I$. Then can we verify that 1 ...
3
votes
1answer
43 views

Normal Operator: Everywhere defined implies bounded?

Given a Hilbert space $\mathcal{H}$. Consider a normal operator $N:\mathcal{H}\to\mathcal{H}$. If its domain is the whole Hilbert space then is it necessarily bounded? The point is that I'm trying ...
2
votes
2answers
60 views

Is $\|x\| = \| \overline{x} \|$ in an inner product space?

Suppose $X$ is a complex inner product space of complex valued functions that is closed under conjugation. Is it true that $\|x\| = \| \overline{x} \|$ for all $x$? If not, is there a simple ...
1
vote
1answer
18 views

Isometric Operators: Common Core

Given a Hilbert or Banach space $\mathcal{H}$. Consider two closed operators $S:\mathcal{D}(S)\to\mathcal{H}$ and $T:\mathcal{D}(T)\to\mathcal{H}$. Suppose they're isometric on a common core ...
2
votes
1answer
77 views

$\langle Tx,x\rangle =0$ , then T is zero

I just wanted to be sure about something. The implication $\langle Tx,x\rangle =0$ , then T is zero , holds only if $T$ is self-adjoint right? If $T$ is an arbitrary operator, we need to have $\langle ...
1
vote
1answer
26 views

Bounding a linear functional in $L_2[0, 1]$

For each f in $L_2[0, 1]$ let $\phi(t)$ be the solution of $y' + ay = f$ that satisfies $\phi(0) = 0$, where a is a constant. Define $l: L_2[0,1] \to \mathbb{C}$ by $l(f) = \int_0^1 \phi(t) dt.$ ...
0
votes
1answer
16 views

Gelfand triple: what happens if we don't identify the pivot Hilbert space with its dual?

People usually say $V \subset H = H^* \subset V^*$ is a Gelfand triple if $V$ is continuously and densely embedded in $H$ and $H$ is identified with its dual. Sometimes they do not mentioned that ...
2
votes
0answers
66 views

Making a complex inner product symmetric

Let $(V, (\cdot, \cdot))$ be a complex inner product space, say a space of complex-valued functions, with $(\cdot, \cdot)$ linear in the second position and sesquilinear in the first. Assume that $V$ ...
0
votes
1answer
8 views

Evaluating the $L_2[-1, 1]$ inner product on rescaled Legendre polynomials

Let $z_n(t) = \sqrt{\frac{2n+1}{2}} \frac{1}{2^n n!} \frac {d^n}{dt^n} (t^2-1)^n$, a rescaled Legendre polynomial. As an intermediate step of a larger problem, I need to show that in terms of the ...
3
votes
2answers
65 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
32 views

Family of sequences in a Hilbert space with certain property

Suppose $\mathcal{F}$ is a family of sequences on the unit sphere of $l_2$ with the following property: For any sequence $\varepsilon_n\downarrow 0$ but which is not eventually identically $0$, there ...
0
votes
1answer
12 views

on Limits and sequences proofs of a closed subspace of the hilbert space.

$M$ is a closed subspace of the Hilbert space $H$ and $ x\in H$ My book states these two claims. (1) If $d = \inf_{y \in M} \|x - y \|^2 $then there is a sequence of elements $\{y_n\}$ of $M$ such ...
3
votes
2answers
26 views

Finding the maximum of an integral of a function with given constraints.

This comes from Rudin's Real Analysis text. The first part of the problem asks us to compute $\displaystyle\min_{a,b,c}\int_{-1}^1|x^3-a-bx-cx^2|dx$ (which I have done). Now it asks us to find ...
2
votes
3answers
51 views

Hermitian and self-adjoint operators on infinite-dimensional Hilbert spaces

I am a physicist and I am trying to get a grasp on the following terms from functional analysis: As I understand, an operator is Hermitian if it is symmetric and bounded (domains of A and A* don't ...
0
votes
2answers
34 views

Spectral Measures: Support vs. Norm

Given a complex Hilbert space $\mathcal{H}$. Consider a spectral measure: $$E:\mathcal{B}(\mathbb{C})\to\mathcal{B}(\mathcal{H})$$ and its associated normal operator: $$T:=\int_\mathbb{C}zdE(z)$$ ...
0
votes
3answers
40 views

Spectral Measures: Support vs. Spectrum

Given a complex Hilbert space $\mathcal{H}$. Consider a Borel spectral measure: $$E:\mathcal{B}(\mathbb{C})\to\mathcal{B}(\mathcal{H})$$ and its associated normal operator: ...
1
vote
1answer
20 views

An empty subdifferential

Can you give me an example of function $f$ defined on an Hilbert space, real valued (extended with $+ \infty$), lower semi continuous, convex and proper for which $\operatorname{dom}(\partial f)= ...
0
votes
0answers
14 views

Every Hilbert Space has an orthonormal basis [duplicate]

I'd be really grateful if someone could tell me what steps I should take (ie. what books to read) before I can prove the statement in the title. I currently have taken rigorous courses in Linear ...
1
vote
1answer
40 views

Identifying a Hilbert space with its dual

Let $H$ be a Hilbert space. Often people say "we identify $H$ with its dual $H^*$ with the Riesz representation theorem". I know there is a map $R:H^* \to H$ which is ismometric and isomorphic. So by ...
1
vote
1answer
31 views

$\{ x \in H: x=\sum_{k=1}^{\infty}c_{k}u_{k}$, $|c_{k}| \leq \frac{1}{k}\}$ is compact

Let $H$ be a complex inner product space that is also a complete metric space with respect to the distance induced by the inner product. Assume $\{u_{k}\}_{k=1}^{\infty}$ be an orthonormal set in ...
1
vote
1answer
37 views

Showing $||L|| = \sup_{x,\, y\, \in H,\, x,\, y\, \neq 0} \frac{|\langle Ax,y\rangle|}{||x||\cdot ||y||}.$

Prove that, for a Hilbert space $H$ and a linear bounded operator $L:H \to H$ such that the domain of $L$ is $H$, $$||L|| = \sup_{x,\, y\, \in H}_{ x,\, y\, \neq 0} \frac{|\langle ...
1
vote
2answers
41 views

ONB: Fourier Series

Given the Hilbert space $L^2([-\pi,\pi])$. Consider the orthonormal system: $$\mathcal{S}:=\{\frac{1}{\sqrt{2\pi}}e^{ikx}:k\in\mathbb{Z}\}$$ This is an ONB. How do I prove this? I guess, I could try ...
0
votes
1answer
20 views

Norm of $A$ is zer0 when $\Bbb H$ is Complex Hiblert Space

If $\Bbb H$ is a $\Bbb C$-Hilbert space and $A\in \Bbb B(\Bbb H),$i.e. bounded linear operator on $\Bbb H$ such that $\langle Ah,h\rangle=0$ for all h in $\Bbb H$, then $A=0$ For the proof of this ...
1
vote
1answer
35 views

Radon-Nikodym: Integrability?

Let $\lambda:\Sigma\to\mathbb{R}_+$ and $\kappa:\Sigma\to\mathbb{R}_+$ be finite measures on $\Omega$. Then by Radon-Nikodym: $$\kappa(E)\leq L\cdot\lambda(E)\quad(\forall ...
0
votes
0answers
14 views

Prove that every reproducing kernel is a positive matrix (and vice versa)

Let $\mathcal{H}$ be a functional hilbert space (defined over a set $S$) with a reproducing kernel K. Prove that: a) $K$ is a positive matrix means the queadtric form is positive, i.e ...
-1
votes
0answers
28 views

prove of inner product space [closed]

Show that$$ L^1 (R^n ) $$under the operator $$〈.,.〉:L^1×L^1→R$$ such that $$〈f,g〉=∫_(R^n)▒〖f(x) (g(x)) ̅ 〗$$ for all$$ f,g∈L^1 (R^n )$$forms an inner product space
1
vote
1answer
29 views

Proving that if $\sum\|f_n-e_n\|^2< 1$, $\{f_n\}$ is a complete sequence

Let $\{e_n\}$ be a complete orthonormal sequence in an Hilbert space $H$ and let $\{f_n\}$ be an arbitrary sequence of elements in $H$ s.t $$\sum_{n=1}^\infty\|f_n-e_n\|^2<1$$Show that ...
0
votes
1answer
20 views

Proving for each seperatble hilbert space exist complete sequence

Let $H$ be a separable Hilbert Space. Prove that exists orthonormal complete sequence and give example for one non-orthonormal sequence. I thought taking orthonormal basis for $H$ denoted by ...