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

learn more… | top users | synonyms

1
vote
1answer
48 views

Invariant subspaces in a Hilbert space

Can someone please help me to answer the following problem? Let $(e_k)$ be a total orthonormal sequence in a separable Hilbert space $H$ and let $T: H \to H$ be defined at $e_k$ by: $T(e_k) = ...
0
votes
1answer
15 views

Prove that $\int_{\mathbb{R}}x^me^{2ax}e^{-x^2/2}=e^{2a^2}\int_{\mathbb{R}}(x+2a)^me^{-x^2/2}$

As the title indicates, I've been trying for quite some time now to prove that $$\int_{\mathbb{R}}x^me^{2ax}e^{-x^2/2}=e^{2a^2}\int_{\mathbb{R}}(x+2a)^me^{-x^2/2}$$ $\forall m \in \mathbb{N}, \forall ...
0
votes
1answer
24 views

Prob. 1, Sec. 3.3 in Erwine Kreyszig's INTRODUCTORY FUNCTIONAL ANALYSIS WITH APPLICATIONS

Let $H$ be a Hilbert space, $M \subset X$ a convex subset, and $(x_n)$ a sequence in $M$ such that $\Vert x_n \Vert \to d$, where $d = \inf_{x \in M} \Vert x \Vert$. How to show that $(x_n)$ converges ...
1
vote
0answers
19 views

Schrodinger Operator with Finite Discrete Spectrum in $(-\infty, -1]$

I'm reading parts of Reed and Simon's Analysis of Operators and have come across a statement I find puzzling. They say that if $V$ is a bounded function of compact support on $\mathbb{R}^3$ then ...
2
votes
1answer
28 views

Help required with question about closed unit ball in Hilberts space and proving the projection formula

I've this question that I intend to prove and any help will be appreciated
-1
votes
1answer
11 views

properties of orthonormal systems and hilbert spaces [on hold]

I need to show (a) $\implies$ (b) For an orthonormal system $\{\phi_i\}_{i=1}^\infty$, and a Hilbert space $H$, the following are equivalent: (a) If $\langle f,\phi_i\rangle=0$ $\forall i$, ...
0
votes
1answer
20 views

Polarization Identity: Sesquilinearity

Problem Given a vector space $V$. Consider quadratic forms with: $$q[u+v]+q[u-v]=2q[u]+2q[v]$$ Then one has a 1-1-correspondence: $$q_s[v]:=s(v,v)\quad ...
0
votes
0answers
24 views

Using Bounded Operator sequence Theorem

Let E$\subset L_1$ be a set of fourier series functions $e_n(t)=e^{int}$ for $n \in Z$. What is meant by saying to prove $Ge_n$ is a scalar multiple of $e_n$ and it is continuous? How can we prove it? ...
0
votes
0answers
7 views

Composition with a projection remain surjective in a neighborhood of the parameter

Let $H$ be an Hilbert space and $\varphi:H\to \mathbb R^m$ a smooth map. It is known that the map $u\mapsto d_u\varphi$ is continuous from $H$ to the space of linear operators $L(H,\mathbb R^m)$. ...
1
vote
1answer
29 views

can a LUB be part of an open interval

I am re-reading an old textbook "Introduction to Hilbert spaces and applications" by Lokenath Debnath and Piotr Mikusinski, and there is a proof of a lemma in a chapter about the Lebesgue integral ...
1
vote
0answers
40 views

Explicit inverse of $\lambda-U$ when $U$ is unitary and $|\lambda|<1$

Let $U$ be a unitary operator on a Hilbert space $\mathcal{H}$. By the spectral theorem, it is known that $\sigma(U)\subseteq \{z\in \mathbb{C}:|z|=1\}$. How can the explicit inverse of $\lambda-U$ be ...
0
votes
0answers
9 views

Normal Operators: Backtransform

Problem Given a Hilbert space $\mathcal{H}$. Consider a normal operator: $$N:\mathcal{D}(T)\to\mathcal{H}:\quad N^*N=NN^*$$ Construct the operator: $$W:=(1+N^*N)^{-1}:\quad Z:=N\sqrt{W}$$ By a ...
0
votes
1answer
6 views

Is a Bessel sequence a frame sequence?

$\mathcal H$ being a Hilbert space, $\{g_k\}_{k \in N}$ is a Bessel sequence if there exsits $B >0$ such that $\forall f \in \mathcal H$, $\sum_{k\in N} |\langle f,g_k\rangle|^2 \leq B \| f \|^2$. ...
1
vote
0answers
13 views

Show that an ONS $\{\phi_n\}$ is complete in $L^2(I)$ iff $\sum_{n=1}^\infty(\int_{[a,x]}\phi_n)^2=x-a$ for all $x\in I$.

Suppose $I=[a,b]$ is an interval of the line. Show that an ONS $\{\phi_n\}$ is complete in $L^2(I)$ iff $\sum_{n=1}^\infty(\int_{[a,x]}\phi_n)^2=x-a$ for all $x\in I$. My Work: If we suppose ...
1
vote
1answer
27 views

Normal Operators: Transform

Given a Hilbert space $\mathcal{H}$. Consider a normal operator: $$N:\mathcal{D}(T)\to\mathcal{H}:\quad N^*N=NN^*$$ Construct the operator: $$W:=(1+N^*N)^{-1}:\quad Z:=N\sqrt{W}$$ Then it is ...
1
vote
1answer
22 views

Prove that an infinite matrix defines a compact operator on $l^2$.

Let $(a(i))_{i=1}^\infty$ be an absolutely summable sequence, i.e., $\sum_{i=1}^\infty |a(i)|<\infty$, and consider the infinite matrix $$A=\begin{bmatrix} a(1)&a(2)&a(3)&\cdots\\ ...
0
votes
1answer
33 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
40 views

Hilbert Space is not locally compact.

The book I am using for my Introduction of Topology course is Principles of Topology by Fred H. Croom. Show that Hilbert Space is not locally compact at any point. This is what I understand: ...
2
votes
1answer
41 views

A criterion for invertibility of a bounded linear map

Let $T$ be a bounded linear operator from the Hilbert space $H_1$ to a Hilbert space $H_2$. Suppose there exists $\delta>0$ such that $$ \langle T^{*}Tx,x\rangle\ge \delta \|x\|^2 $$ for all ...
2
votes
1answer
20 views

Show that $L^2(\Omega, \sigma(X),P)$ is a closed hilbert subspace of $L^2(\Omega, \mathbb{A},P)$ s.th $\sigma(X) \subset \mathbb{A}$

I was self-studying probability theory(conditional expectation). I know that a subspace is $U$ of $V$ is a set $U \subset V$ s.th $\forall x,y \in U$ and $\forall \alpha, \beta \in F$ we have that ...
3
votes
1answer
33 views

If $T^{*}$ is injective then $T$ is surjective?

If $T$ is a bounded linear map from the Hilbert space $H_1$ to the Hilbert space $H_2$, and $T^{*}$ is injective, then I know that $H_2$ is the closure of the range of $T$. But can I conclude that $T$ ...
1
vote
1answer
21 views

Characterization of invertibility of bounded linear operator between Hilbert spaces

Let $T$ be a bounded linear operator from the Hilbert space $H_1$ to a Hilbert space $H_2$. I've shown that the existence of a $\delta>0$ such that $$ \langle T^{*}Tx,x\rangle\ge \delta \|x\|^2 ...
0
votes
1answer
23 views

Injectivity of normal operators on a Hilbert space

Let $A$ be a bounded normal operator on a Hilbert space $H$. I know that $$ \ker A=(\text{ran} A^{*})^{\perp}. $$ What I've been unsuccesfully trying to prove is that $A$ is injective iff its range is ...
2
votes
1answer
35 views

A representation of a $ C^{*} $-algebra.

I have a quick question about the representation theory of $ C^{*} $-algebras. A representation of a $ C^{*} $-algebra $ A $ is a $ * $-homomorphism $ \pi: A \to B(\mathcal{H}) $, where $ \mathcal{H} ...
1
vote
2answers
39 views

Can one define a functional on a Hilbert space based on its action on a Hilbert basis?

I know that the actions of a functional on a vector space can be uniquely described by the value the functional takes on each element of a (Hamel) basis. My question is, in a Hilbert space, would ...
4
votes
2answers
174 views

One of these two operators is not invertible

I have a Hilbert space $H$ and a bounded self-adjoint operator $T$ on it with $||T||=1$. I've been trying to show that at least one of $I+T, I-T$ are not invertible, but I haven't been able to make ...
0
votes
1answer
36 views

A characterization of Bessel sequences in a Hilbert space

I've shown that if for a sequence $\{f_{n}\}_{n=1}^{\infty}$ in a Hilbert space $H$ we have $$\sum_{n=1}^{\infty}|\langle f,f_n\rangle|^{2}< \infty$$ for all $f\in H$ (i.e., it is a Bessel ...
3
votes
1answer
48 views
+250

Sufficient conditions on integration kernel for continuity of the integral operator

Suppose that we have a measure $d\mu(v)=e^{-|v|^2}dv$ on $\Bbb R^d$. We define a linear operator $$T[f](u)=\int_{\Bbb R^d} |u-v|^\beta f(v) d\mu(v).$$ I want to establish conditons on $\beta\in\Bbb ...
1
vote
1answer
58 views

Unitary G-module

I'm not sure if I understand this sentence correctly: "By a unitary G-module we will mean a Hilbert space W on which G acts by means of a strongly continuous unitary representation". $G$ is a ...
2
votes
2answers
47 views

Normal Operators: Draft

Given a Hilbert space $\mathcal{H}$. Consider a normal operator: $$N:\mathcal{D}(T)\to\mathcal{H}:\quad N^*N=NN^*$$ Construct the operator: $$A:=N(1+N^*N)^{-1}\in\mathcal{B}(\mathcal{H})$$ Then it ...
0
votes
1answer
83 views

Linear algebra references for a deeper understanding of quantum mechanics

I'm a graduate student studying quantum mechanics/quantum information and would like to consolidate my understanding of linear algebra. What are some good math books for that purpose?
1
vote
1answer
46 views

Orthogonal in inner product space

Let $(X,<.>)$ is an inner product space prove that $x$ and $y$ are orthogonal if and only if $||x+αy|| \ge ||x||$ for any scalar $α$ . The first direction if $x$ and $y$ are orthogonal ...
-1
votes
0answers
22 views

Show trigonometric function are complete on $L^2[0,2\pi]$

The proof is in the book but I couldn't understand it. Will appreciate your help. My doubts are in blue. Proof: Suppose $f(\theta)$ is any continuous, $2\pi$ periodic function ...
0
votes
1answer
21 views

Projection theorem for nonclosed subspaces

Is there a substitute for the projection theorem for Hilbertspaces (if $M$ is a closed subspace of $H$ then $H = M \oplus M^\perp$) in the case that $M$ is a linear subspace of $H$ which is not ...
2
votes
2answers
57 views

Banach space it isn't Hilbert space [duplicate]

How can give me two or three examples about Banach spaces which it is not Hilbert spaces with proof ( I mean why it isn't Hilbert spaces ) ?
1
vote
0answers
32 views

Can someone explain this problem I am having with the proof of the Riesz-Fischer theorem

Here is the form of the theorem I have; Let $\{e_n\}_{n=1}^{\infty} \in H$ be an orthonormal set (H a Hilbert space with inner product $(.,.)$) and let $(a_n)_{n=1}^{\infty}$ be an arbitrary sequence ...
0
votes
1answer
28 views

$X$ is inner product space then its completion is Hilbert space?

I have trouble finding a way to prove that the completion of my innerproduct space $X$ is a Hilbert space. How do I know that the norm on the completion of $X$ is induced by an innerproduct? Thanks ...
0
votes
0answers
10 views

Selfadjoint Operators: Relative Boundedness

Problem Given a Hilbert space $\mathcal{H}$. Consider a Hamiltonian: $$H:\mathcal{D}(H)\to\mathcal{H}:\quad H=H^*$$ Regard an operator: ...
1
vote
0answers
17 views

Subspace of $L^p(X,\Sigma,\lambda)$

Consider $R$-valued functions in $L^p(X,\Sigma,\lambda)$, where $X=X^1\times X^2$, $\Sigma=\Sigma^1\times \Sigma^2$ and $\lambda=\lambda^1\times \lambda^2$ For given $i$, does the subsapce $M=\{f\in ...
2
votes
2answers
35 views

Help needed in determining if statement is true

Let $H$ be a Hilbert space, and $(x_n)_{n=1}^\infty$ be a sequence in $H$ with $x_n\rightharpoonup x\in H$ weakly. Then $\|x_n\|\to\|x\|$. I found this in one of my textbook; my question is if ...
1
vote
0answers
20 views

Fourier coefficients in a non-separable Hilbert space

Let $H$ be a non-separable Hilbert space. Let $\{ \phi _\alpha\} _{\alpha \in A} $ be a orthonormal system on $H$. Show that for every $x\in H$, there are only countably many Fourier coefficients, ...
1
vote
0answers
31 views

Møller Operators: Functional Calculus

Problem Given Hilbert spaces $\mathcal{H}$ and $\mathcal{K}$. Consider Hamiltonians: $$H:\mathcal{D}(H)\to\mathcal{H}:\quad H=H^*$$ $$K:\mathcal{D}(K)\to\mathcal{K}:\quad K=K^*$$ and a bounded ...
0
votes
0answers
34 views

When is the Laplace Beltrami Operator self-adjoint?

The Laplace-Beltrami operator is an operator which is the typical example of a self-adjoint operator in $L^{2}$. I am wondering if this is also true for other Hilbert spaces $W^{k,2}$. If this is ...
4
votes
1answer
30 views

distances in $l^2$

This problem was posed by my friend and he said I may want to use some combinatorial set theory: Can you give me example of an uncountable $X \subseteq l^2$ (the Banach space of square summable ...
1
vote
0answers
40 views

Hilbert-Schmidt and compact operators

I am new to this site and i dont really know how to ask questions properly, so i am really sorry if i did something wrong. My question is if there is a way to prove that a Hilbert-Schmidt operator is ...
-1
votes
0answers
41 views

Bounds for spectrum of self-adjoint operator on Hilbert space

$A$ is an self-adjoint bounded operator on Hilbert Space $H$, that is for all $x,y\in H$, $(Ax,y)=(x,Ay)$. $(~,~)$ is inner product of H. $$ m=\inf\limits_{||x||=1}(Ax,x) ~~~~~ ...
3
votes
1answer
29 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 = ...
0
votes
0answers
15 views

RKHS vs RKHS from sobolev spaces.

Which is more desirable in terms of solving a differential equation? Constructing an RKHS from sobolev space (essential reproducing kernels are of infinite support). Or directly choosing ...
0
votes
0answers
15 views

States: Density

Problem Given a Hilbert space $\mathcal{H}$. Regard the CAR-algebra: $$\{a(\eta),a(\zeta)\}=0\quad\{a(\eta),a(\zeta)^*\}=\langle\eta,\zeta\rangle$$ Consider a density: ...
0
votes
0answers
32 views

How is the Point Spectrum of a Compact Operator Countable?

I'm working on understanding a proof that if an operator $A$ on a Hilbert space $\mathcal{H}$ is compact, then show that $\sigma(A) - \{0\} \subseteq \sigma_p(A)$. If you're not familiar with this ...