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

learn more… | top users | synonyms

4
votes
0answers
93 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
29 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
0
votes
2answers
82 views

Sesquilinear Forms: Parallelogram

Given a Hilbert space $\mathcal{H}$. Consider a quadratic form: $$q:\mathcal{H}\to\mathbb{C}:\quad q[\lambda\varphi]=|\lambda|^2q[\varphi]$$ Suppose one has: ...
0
votes
0answers
26 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
11 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
30 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
50 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
1answer
59 views

Normal Operators: Retransform

Given a Hilbert space $\mathcal{H}$. Consider a normal operator: $$N:\mathcal{D}(N)\to\mathcal{H}:\quad N^*N=NN^*$$ Construct the operator: $$Q:=(1+N^*N)^{-1}:\quad Z:=N\sqrt{Q}$$ By the previous ...
1
vote
1answer
13 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 ...
0
votes
1answer
112 views

Normal Operators: Transform

Given a Hilbert space $\mathcal{H}$. Consider a normal operator: $$N:\mathcal{D}(N)\to\mathcal{H}:\quad N^*N=NN^*$$ Construct the operator: $$Q:=(1+N^*N)^{-1}:\quad Z:=N\sqrt{Q}$$ Then it is ...
1
vote
1answer
41 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
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
52 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
49 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
25 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
35 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
29 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
26 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
50 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
41 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
183 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
47 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 ...
4
votes
1answer
84 views

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
67 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
51 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
128 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
65 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 ...
0
votes
1answer
24 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
83 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
36 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
43 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
12 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
36 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
21 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
1answer
80 views

Wave Operators: Calculus

Given Hilbert spaces $\mathcal{H}_0$ and $\mathcal{H}$. Consider Hamiltonians: $$H_\#:\mathcal{D}(H_\#)\to\mathcal{H}_\#:\quad H_\#=H_\#^*$$ Denote their evolutions: ...
2
votes
1answer
114 views

What is the adjoint of the wave operator $\square_{g}$ in Sobolev Spaces?

I have a three part question. 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 ...
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
65 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 ...
3
votes
1answer
32 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
25 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
17 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: ...
3
votes
0answers
56 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 ...
3
votes
2answers
37 views

If $H$ is a Hilbert space, does the coordinate projection $\pi :H\oplus H\rightarrow H$ take closed subspaces to closed subspaces?

Here $H\oplus H$ has the product topology, which is induced from the "$\ell^2$-norm" $\|(x,y)\|:=\sqrt{\|x\|^2+\|y\|^2}$. This is indeed a Hilbert space via the inner product $\langle (x,y), ...
0
votes
1answer
65 views

Spectrum of simple multiplication operator on $L^2(0,1)$

I'm trying to calculate the spectrum of the linear operator $T: L^2(0,1) \to L^2(0,1)$ given by $T(f) \to tf(t)$. I've found a few facts about this operator but I'm still struggling to find the exact ...
2
votes
1answer
31 views

Characterization of positive elements of a sub-C*-algebra of $B(H)$

Let $A$ be a non-unital sub-C*-algebra of $B(H)$. I want to show that if $T\in A$ and $\lambda \in \mathbb{C}$ are such that $T+\lambda I_H\geq 0$ then $T$ is self-adjoint and $\lambda \geq 0$. Let ...
0
votes
3answers
105 views

What Do Hilbert Spaces Look Like?

For any vector space $V$ over $\mathbb{C}$, let $X$ be a set whose cardinality is the dimension of $V$. Then $V \cong \bigoplus\limits_{i \in X} \mathbb{C}$ as vector spaces. Is there a similar ...
4
votes
1answer
191 views

Proving that a sequence in $L^2(\mathbb R)$ is relatively compact

I have a bounded sequence $\{f_n\}_n$ in $L^2(\mathbb R)$ such that $\mbox{supp } f_n$ is uniformly bounded and $$ \int_{\mathbb R} x^2 |\Theta_n(x) (F f_n)(x)|^2 dx \leq C^2 $$ for all $n$, where ...
0
votes
0answers
22 views

question of hilbert spaces

let A be a bounded linear functional on the subspace M of the Hilbert space H , show that there exists a unique extension of A to H having the same norm ?