All Questions
25 questions
0
votes
0
answers
46
views
What's the problem in using spanning Bessel sequences that are not frames to decompose vectors?
This is related to a question I recently asked on math.SE.
Consider a subset $G\equiv \{g_k\}_{k\in\mathbb{N} }\subseteq\mathcal H$ in a separable Hilbert space $\mathcal H$, and suppose $G$ spans the ...
- 342
2
votes
0
answers
258
views
Orthogonal complement of arbitrary intersection of Hilbert subspaces
Let $H$ a Hilbert space, and $\mathcal C$ an arbitrary set of closed subspaces of $H$. Is it true that
$$\left( \bigcap_{Z\in \mathcal C}Z\right)^\perp = \overline{\sum_{Z\in \mathcal C} Z^\perp}$$
...
- 63
5
votes
2
answers
276
views
Dilation of bounded linear operators
Let $H$ be a Hilbert space, and let $A$ be a contraction (bounded linear operator of norm $\leq 1$) on $H$. I heard in a recent talk that there is a (apparently famous) result due to Sz-Nagy which ...
- 51
3
votes
0
answers
198
views
On a paper of von Neumann
Let $H$ be a Hilbert space and $T: H \to H$ be a contraction. In Eine Spektraltheorie für allgemeine Operatoren eines unitären Raumes, von Neumann proved the inequality
$$
\lVert p(T)\rVert \leq \sup \...
- 31
2
votes
0
answers
134
views
How to prove $\|I-P\| = \|P\|$ for any non-trivial projector? [duplicate]
I noticed that in the paper [1] this property is proved by explicitly computing the singular values of $P$ after realizing $P$ in finite dimension as oblique projection matrix. I am wondering if there ...
- 205
8
votes
1
answer
446
views
Parallelogram law for vectors of equal length
Does the parallelogram law for vectors of equal length imply the full parallelogram law? That is,
if for all norm one vectors $x$ and $y$ in a Banach space $X$ it holds that $\lVert x-y\rVert^2+\lVert ...
- 1,361
-1
votes
1
answer
323
views
Expressing the sum of two squared inner products more compactly: is it possible to lift the dimension? [closed]
Let $v_1,v_2\in\mathbb{R}^d$ be two fixed vectors, and $\langle \cdot,\cdot\rangle_{\mathbb{R}^d}$ be the usual Euclidean inner product in $\mathbb{R}^d$.
My question is as follows. Is there an (...
- 1,096
4
votes
1
answer
174
views
A map into a Hilbert space with prescribed orthogonality
Let $X$ be a locally compact separable metric space, and let $L:X\times X\to \mathbb{C}$ be continuous and such that $L(x,x)=1$ and $L(y,x)=\overline{L(x,y)}$, for every $x,y$.
Does there always ...
- 5,529
2
votes
1
answer
107
views
tensor stability of block-positive matrices
Let $X_{AB}$ be an operator acting on the tensor-product Hilbert space $\mathcal{H}_A \otimes \mathcal{H}_B$. Suppose that $X_{AB}$ is block positive, meaning that (in Dirac notation)
$\langle \psi |...
- 483
5
votes
1
answer
379
views
Hilbert representation of a bilinear form
Let $\sigma:\mathbb{R}^n\times \mathbb{R}^n\to \mathbb{R}$ be a bilinear symmetric form which is non-degenerate in the sense that for every $0\neq u\in \mathbb{R}^n$ there is $v\in \mathbb{R}^n$ with $...
- 5,529
2
votes
0
answers
246
views
Decay rate of least eigenvalue of Gram matrices
Consider the Hilbert space $H=L^2_w(I)$ as the weighted $L^2$ space, where $I\subseteq\mathbb{R}$:
$$ L_w^2(I)=\{\phi:I\rightarrow\mathbb{R}:\,\|\phi\|^2=\int_I \phi(x)^2w(x)\,dx<\infty\}. $$
In ...
- 141
5
votes
1
answer
607
views
Does eigenvalue exist in a Hilbert space? [closed]
In a lecture on Quantum mechanics, the professor concluded that if $a$ is a linear operator with $[a, a^\dagger] = 1$, where $a^\dagger$ is the adjoint of $a$ and $[a, a^\dagger] = aa^\dagger - a^\...
- 177
3
votes
2
answers
471
views
inner product on matrix spaces of multivariate polynomials?
Let $H_{n,d}=\mathbb{R}_d[x_1,..,x_n]$ be the space of $n$-variate homogeneous degree $d$ polynomials, $D=D^\top\in \mathbb{N}^{m\times m}$ a symmetric $m\times m$ matrix. Consider the space $P_D$ of ...
- 14k
0
votes
0
answers
263
views
Does AX+XA=0 have any non-trivial solutions?
Let $X$ be a continuous linear self-adjoint operator on some Hilbert space $H$ and for arbitrary compact operators $A$ we have: $XA+AX=0.$ Does this imply that $X=0$ or can there be non-trivial ...
- 305
8
votes
1
answer
576
views
On the definition of Hilbert spaces and real structures on Hilbert spaces
Let us consider the space $L^2:=L^2(\mathbb{R}^n,\mathbb{C})$ and the associated scalar product $S(f,g):=\int f \overline g$. In distribution theory, we have a situation where we have to deal with two ...
- 506
1
vote
0
answers
94
views
Space spanned by pointwise squares of basis functions
Consider the Hilbert space $L^2(\Omega)$ over some Euclidean domain $\Omega$.
Let $F=\{f_i;i\in\mathbb N\}$ be an orthonormal basis of this space consisting of functions in $L^2(\Omega)\cap L^4(\Omega)...
- 8,086
0
votes
1
answer
307
views
Construction of orthonormal basis of the Hilbert space $\mathcal{S}^p_{\mathcal{H}}$ of vectors of $p \in \mathbb{N}$ Hilbert Schmidt operators
Let $(e_j)$ be a orthonormal basis (ONB) of a separable Hilbert space $(\mathcal{H}, \langle\cdot, \cdot\rangle_{\mathcal{H}})$ and $(\mathcal{S_H}, \langle\cdot, \cdot\rangle_{\mathcal{S_H}})$ be the ...
- 195
0
votes
0
answers
252
views
Hadamard product (Schur product) in $L^2[0,1]$
Let's consider the separable Hilbert space $\mathcal{H} = L^2[0,1]$ of square-integrable functions on the interval $[0,1]$ with orthonormal basis $(e_j)$. For $x,y \in \mathcal{H}$, the Hadamard ...
- 195
1
vote
3
answers
684
views
Norm of an operator formed using a unitary operator
Suppose, $ A $ is a unitary matrix in $ M_n(\mathbb{C}) $ given by $ (a_{i,j})_{1\le i,j\le n} $ which has the property that, for all the basis elements $ e_i $, $ Ae_i\ne |\lambda| e_j $ for all $i,j ...
- 817
3
votes
1
answer
275
views
Sum of two parts of a continuous stochastic process
Let $X$ be a centered continuous stochastic process which is square integrable on $[0,2]\times \Omega$ and the basis of $L^2(0,2)$ is $\{e_i\}$. By using Karhunen-Leove Theorem one can write for all $...
- 213
4
votes
0
answers
404
views
Hilbert Schmidt Operators and the Conditional Expectation Operator
Consider the function $\text{E}_W: L_2(\mathbb{R},P_X) \mapsto L_2(\mathbb{R},P_W)$ where $P_X$ and $P_W$ are two different probability measures. They are related in such a way that if $f_X$, $f_W$ ...
- 289
2
votes
1
answer
1k
views
Coercive Symmetric Bilinear form on a Hilbert space
I need to show one of the two following equivalent results. If true, it must be a simple proof but I do not seem to be able to make it work. Thank you in advance.
1) Consider a continuous symmetric ...
2
votes
1
answer
386
views
Decomposing bilinear forms in Hilbert spaces
You are given a complex Hilbert space $H$ with two equivalent Hilbert space structures $<,>$ and $<,>'$. Define $<,>''=<,> + <,>'$ to be the sum of our two scalar ...
- 1,211
7
votes
2
answers
7k
views
Dual operators between Hilbert spaces: with or without Riesz representation
Let $X$ and $Y$ be Hilbert spaces over the real numbers (so complex conjugation plays no role, and everything will be linear in the strict sense). Let $f : X \rightarrow Y$ be a linear continuous ...
- 5,327
2
votes
1
answer
205
views
Do unitary bijections act invariantly on irreducible representations?
Let $\mathcal{A}$ be a $C^*$ algebra. Let $(\pi, \mathcal{H})$ be a faithful, irreducible, unitary, Hilbert space representation of $\mathcal{A}$; i.e., $\pi:\mathcal{A}\rightarrow\mathcal{B}(\mathcal{...
- 657