A Hilbert space $H$ is a real or complex vector space endowed with an inner product such that $H$ is a complete metric space when endowed with the norm induced by this inner product.

learn more… | top users | synonyms

0
votes
0answers
56 views

Generalized Poincaré Inequality on H1 proof

let's see if someone can help me with this proof. Let $\Omega\subset\mathbb{R}^n$ be a bounded domain. And let $L^2\left(\Omega\right)$ be the space of equivalence classes of square integrable ...
0
votes
0answers
125 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 ...
0
votes
1answer
69 views

Finding a vector representation for a data where we only know the inner products

I am an engineer working on speech signal processing and I have a problem that I have encountered while trying to model speech signals. The mathematical formulation is not entirely pure and I try to ...
0
votes
0answers
34 views

Prokhorov convergence of Gaussian measures

Consider a Hilbert space $\mathcal{H}$ and a sequence of centered Gaussian measures $\mu_n$ on it. The covariance operators of $\mu_n$ are defined via their eigenpair(eigenbasis and eigenvalue)) as ...
2
votes
1answer
169 views

Selfadjointness of hamiltonian with 1/x potential

Let us consider the Hilbert space $L^2([0,\infty))$ and operator $H=-\frac{d^2}{dx^2} + \frac{1}{x}$ on the domain of $C^{\infty}_0((0,\infty))$ (smooth functions with compact support away from $0$). ...
3
votes
2answers
114 views

The multiplier algebra of a Reproducing Kernel Hilbert Space and its commutant

In my research in the theory of Reproducing Kernel Hilbert Spaces I was concerned with this topic which came up but I could not find a reference on: If $ \mathbb{H} $ is an RKHS and we denote the ...
6
votes
1answer
175 views

Definitions of Hilbert Bundles

I have some doubts regarding definitions and conventions on Hilbert Bundles. Some authors like Peter Kuchment (Floquet Theory for Partial Differential Equations) and Serge Lang (Differential and ...
4
votes
2answers
218 views

Error estimate in the spectral theorem of compact operators on a Hilbert space

Given a compact self-adjoint operator $K$ mapping $L^2(\mathbb{R}^d) \rightarrow L^2(\mathbb{R}^d)$ as $f \rightarrow \int K(x,y) f(y) d\mu(y)$, let us define its eigenvalues $\lambda_i$ and ...
0
votes
0answers
55 views

What equals $\ker[(A-\lambda I)^+]$ for a negative unbounded operator $A$?

We have the following result: $\{ E_{\lambda}; \, -\infty <\lambda < + \infty\}$ is a spectral family, where $E_{\lambda}$ is the projection of $H$ onto the null space $\mathscr N ...
6
votes
1answer
327 views

Current status of computable spectral theorem and interpretation of quantum mechanics

The spectral theorem states if $A$ is a Hermitian operator acting on an $n-$dimensional Hilbert space space $H$, and $\lambda_1, ... \lambda_m$ are $m \leq n$ distinct eigenvalues of $A$, then $$ ...
0
votes
1answer
41 views

Simplify the expression of $ T^+$ for an unbounded operator $T$?

For a negative unbounded operator $T$, what equals the operator $$ T^+ = \left[\frac{1}{2}(|T| + T) \right]^{**},$$ where $|T|= (T^2)^{1/2}$ and $A^{**} $ is the minimal closed extension of an ...
1
vote
3answers
119 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 ...
3
votes
0answers
140 views

A strongly open set which is not measurable in the weak operator topology

Let $H$ be a non-separable Hilbert space and $\{e_i\}_{i\in I}$ be an orthonormal basis for $H$. Let $J$ be a uncountable proper subset in $I$. Let us put $$E=\{x\in B(H): \lVert xe_j\rVert <1: ...
5
votes
2answers
490 views

Holomorphy of a function with values in a Hilbert space

I asked the same question on MathStackExchange. EDIT: This question has now a open bounty worth +50 reputation on MSE. Denote by $\mathbb C^\infty $ the Hilbert space $\ell^2 (\mathbb C)$. Fix $1\leq ...
1
vote
0answers
40 views

Complex conjugate and unitary complex conjugate

Definition: Let V be complex finite dimensional inner product space Complex Conjugate: $J$ is called complex conjugate on V iff $(i) J$ is antilinear $(ii) J^2 =I$ Definition: Anti-unitary Complex ...
4
votes
1answer
100 views

Every self-adjoint trace class operator on $L^2$ has integral kernel

I have asked this question on MSE but did not receive an answer. I thought I could try it here. Let $T$ be a self-adjoint trace-class operator on $L^2(\mathbb{R})$. Is is true that it can be ...
2
votes
1answer
119 views

Visualizing ANOVA Decomposition [closed]

Let $f \in L^2[0,1]^d$ be a measurable function where $d \in \mathbb{N}$. For a given subset $u \subseteq D := \{1,2,\ldots,d\}$ consider the projections $P_u : L^2[0,1]^d \to L^2[0,1]^{|u|}$ given ...
10
votes
1answer
225 views

Nonseparable Hilbert spaces

Being nonseparable Banach space is in fact nothing special: one meets the first examples in the standard functional analysis course, when one learns about $\ell^p$ or $L^p[0,1]$ spaces-these spaces ...
7
votes
1answer
156 views

Orthonormal bases on Reproducing Kernel Hilbert Spaces

Recall that a Hilbert space $\mathcal{H}$ is a reproducing kernel Hilbert space (RKHS) if the elements of $\mathcal{H}$ are functions on a certain set $X$ and for any $a\in X$, the linear functional ...
0
votes
0answers
47 views

Matrix representation of linearized PDE

My motivation for this question is to investigate the linear stability of steady solutions of a nonlinear PDE by computing eigenvalues of the linearized equations. Specifically, I have a function ...
7
votes
1answer
270 views

A Hilbert space characterization via retractions--a conjecture

Given a Banach space $X$ and a functional $f:X\rightarrow \mathbb R$, let $$ X_f := \{x\in X : f(x)\ge 0\} $$ ("functional" means "non-zero linear functional"). Also, given a topological space $E$ ...
5
votes
0answers
108 views

Gleason’s Theorem for non-separable Hilbert spaces: On a theorem of Solovay

Gleason’s theorem plays an important role in the foundations of quantum mechanics. On the positive side it demonstrates how the probabilistic structure of quantum theory follows from its logical ...
1
vote
0answers
19 views

Efficient packing in Gaussian measures on Hilbert spaces

Let $B(0,1)$ be the unit ball in a separable Hilbert space $H$ with a Gaussian measure $\mu$ on it. For a small $r > 0$, can we have $x_i \in B(0,1)$, $0 < r_i \leq r$ and a constant $K > 0$ ...
6
votes
0answers
93 views

orthogonal projector onto the set of convex functions

Let $\Omega\subset \mathbb R^d$ be an open, convex domain, and consider the Hilbert space $L^2(\Omega)$. Each sum of convex functions is convex, hence the subset $Conv(\Omega)$ of all convex functions ...
5
votes
1answer
104 views

Discrete Wavelets

I am looking for research that has been done in Discrete wavelets. Let me be specific as Google doesn't give me what I want when I say "discrete wavelets". I don't want countable basis for $ ...
0
votes
0answers
41 views

Hilbert Manifold structure on global sections of a sheaf

Let $<U_i,\phi_i>$ be an atlas on a Hilbert manifold $M$. If $F(M,U_i)$ is a Hilbert space for every $U_i$ then does this imply that $F(M,M)$ can be made into a Hilbert manifold also with ...
4
votes
2answers
176 views

Density of Gaussian measures on Banach spaces

I am trying to get my head around this question and was reading (1) which states the same a little bit more general: Let $X$ be a separable Banach space and $X^*$ the dual space. The mean value ...
4
votes
1answer
146 views

Is the sum of spectral projections a projection?

Let $T$ be a closed operator on a Hilbert space with discrete spectrum. Then for $\{\lambda_1,...\lambda_n\}\in\sigma(T)$ one can define the spectral projections ...
0
votes
1answer
68 views

Embedding Riemmanian Manifold Linearly

Given a Hilbert Manifold $M$ does there exist a smooth map into some very large Hilbert space taking geodesics to straight lines?
36
votes
5answers
5k views

Are dagger categories truly evil?

Recall that a dagger category is a category equipped with an involution $*:Hom(x,y)\to Hom(y,x)$ that satisfies $f^{**}=f$ and $f^* g^*=(gf)^*$. A prominent example of a dagger category is the ...
0
votes
1answer
71 views

Norm of derivative of rank one projector

I asked this question on math.stack but I got no answer, so I try here. Let $\phi(t)$ be a solution for the nonlinear Schroedinger equation\begin{equation} ...
3
votes
0answers
138 views

Deformation and Representations

Let $\widetilde{U_q(sl_n)}$ denote a deformation of the algebra $U_q(sl_n)$. In particular, $\widetilde{U_q(sl_n)}$ is defined by the same generators and relations and $*$-operations as $U_q(sl_n)$ ...
1
vote
0answers
54 views

Zeros of functions constituting a Riesz-basis for the Paley-Wiener space

I have a short question which first requires some slightly elaborate definitions: Let $(e_n)$ be a Riesz-basis for a Hilbert space $\mathcal{H}$ with biorthogonal basis $(g_n)$, i.e. $\langle e_m, ...
4
votes
2answers
61 views

Distribution of the RKHS norm of the posterior of a Gaussian process

In a classical noisy regression setting, let $\big(f(x)\big)_{x\in\cal X}$ be a centered Gaussian process of covariance $k$ on a compact $\cal X$, and $\mathcal{F}_n$ be the filtration generated by ...
2
votes
0answers
43 views

Equivariant exponential map on Hilbert manifolds

Let $M$ be a Hilbert Riemannian manifold and $G$ a finite-dimensional Lie group acting on $M$. It is well-known that when $M$, too, is finite-dimensional $$\exp_p: U \subset T_pM \rightarrow \exp_p(U) ...
0
votes
1answer
154 views

On the Riesz representation theorem II

I have a follow-up question to On the Riesz representation theorem . Let $V$ be a subspace of a Hilbert space, and let $V^\times$ be the space of all antilinear functionals on $V$, equipped with the ...
4
votes
1answer
381 views

On the Riesz representation theorem

Let $V$ be a vector space with inner product $(\phi,\psi)$ antilinear in the second argument - not necessarily a Hilbert space. Let $\Phi$ be an antilinear functional on $V$. What are the precise ...
6
votes
1answer
503 views

An equivalence relation on the space of polynomials in one complex variable

Let $P(z)$ be a polynomial with complex variable $z$. We consider the following distribution for the roots of $P(z)=0$: the distribution is a triple $(n_{1},n_{2},n_{3})$ where these integers are ...
1
vote
0answers
100 views

Algorithm for finding eigenfunctions

I have an $ L^2(\mathbb{R}) $ operator that looks like $$ \Omega = \int \partial\phi(a, b)\ \ |b, a\rangle \langle b, a |, $$ where $ \langle x | a, b \rangle = f_a(x - b) e^{x^2/2} $ and $ f_a \in ...
-2
votes
1answer
180 views

No Hilbert space can have countable Hamel basis without using Baire's Category theorem [closed]

I want to prove that no Hilbert space can have countable Hamel basis just using the fact that any finite dimensional subspace is closed (more specifically without using Baire's theorem). I saw a paper ...
2
votes
1answer
181 views

Completion of $C_0^{\infty}(\mathbb{R}^N)$ with norm $\|u\|= \Bigg(\int_{{\mathbb{R}}^N} |\Delta u |^2 \, \mathrm{d}x \Bigg)^{\frac{1}{2}}. $

I have a question that I could not find it any where. Is the completion of $C_0^{\infty}(\mathbb{R}^N)$ with the respect to norm $$\|u\|= \Bigg(\int_{{\mathbb{R}}^N} |\Delta u |^2 \, ...
10
votes
2answers
599 views

Schur's Lemma for Hilbert spaces

Let $H$ be a complex Hilbert space and let a group $G$ act on $H$ such that there are no invariant closed subspaces besides $H$ and $(0)$. Let $D$ be the ring of bounded operators which commute with ...
5
votes
1answer
71 views

Continuous section inside a family of rank-varying operators

Good morning everybody, my question is as follows: let $K$ be a compact set and assume $F:K\to L(\mathcal H,\mathbb R^{m+1})$ be a continuous map from the compact set $K$ to the space of linear ...
0
votes
0answers
149 views

How to change the given metric if we want to add few extra isometries?

I have a Hilbert Space $X$ and a group $G$, which consists of bounded linear self-bijections of $X$ (if it helps, this group has a locally compact, but not compact topology). Is there a canonical way ...
5
votes
1answer
170 views

Stinespring's dilation without $C^{\ast}$-algebras

Does Stinespring's dilation theorem hold if the algebra of interest is a topological $\ast$-algebra instead of the usual $C^{\ast}$-algebra? I will now state the version of Stinespring's dilation ...
-3
votes
1answer
227 views

Is :$\frac{\Bbb d}{\Bbb d x}$ a chaotic operator in infinite-dimensional Hilbert space? [closed]

I proposed this question in SE but no answer ,may I have a problem in my question, I would like to know when $\frac{\Bbb d}{\Bbb d x}$ does chaotic operator in Hilbert space ? Let $H$=$L^2(\mathbb ...
3
votes
1answer
113 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 ...
5
votes
1answer
287 views

Is the unitary group of a pre Hilbert space contractible?

I already posted my question on mathstackexchange For a separable Hilbert space $H$ it is known that the unitary group $U(H)$ is contractible, both for the norm topology (Kuiper's theorem) and for ...
1
vote
0answers
56 views

Normalized tight frame that is not orthonormal

Does anybody know an example of a normalized tight frame (wavelet frame) that is not an orthonormal frame of $L^2( \mathbb{R})$? So in other words $\{\psi_{j,k}(x):=2^{j/2}\,\psi(2^j\,x-k)\}_{j,k \in ...
0
votes
0answers
390 views

Orthogonal complements of intersections of closed subspaces

Let $H$ be a Hilbert space and $H_1, \cdots, H_n$ be closed subspaces of $H$. $\mathbf{Question}:$ Is it always true that the orthogonal complement $(H_1\cap\cdots\cap H_n)^\bot$ of the intersection ...