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

learn more… | top users | synonyms

0
votes
0answers
11 views

Is it already known that every finite normalized equiangular frame is tight?

In the literature, (finite normalized) equiangular tight frames are usually defined as FNTFs (finite normalized tight frames) with an additional "equiangular" condition. But I have noticed that any ...
0
votes
0answers
16 views

Necessary and sufficient condition for an orthonormal system to be total

Let $H$ be a Hilbert space over a field $\mathbb K$. Prove that an orthonormal system $\{a_n\}_{n=1}^{\infty}$ in $H$ is total if and only if: $\forall$ $x \in H$, the following holds: ...
0
votes
1answer
16 views

Selfadjoint Operators: Sesquilinear Form

Given a Hilbert space $\mathcal{H}$. Consider a dense positive form: $$s:\mathcal{D}\times\mathcal{D}\to\mathbb{C}:\quad s(\varphi,\varphi)\geq0\quad(\overline{\mathcal{D}}=\mathcal{H})$$ Construct ...
0
votes
1answer
23 views

What is the dual of $H^{-1}(\Omega)$?

The dual of $H^1_0(\Omega)$ is defined to $H^{-1}(\Omega)$. But what is the dual of $H^{-1}(\Omega)$? Is it $H^1_{0}(\Omega)$? I am solving a problem which requires me to use the dual of ...
1
vote
1answer
57 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
16 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
35 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
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
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
10 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
28 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
34 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
42 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
23 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
34 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
22 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
36 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
175 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
52 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
87 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
42 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) ~~~~~ ...