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
64 views

Spectral theory of $\frac{\partial ^2}{\partial x^2} + \frac{\partial ^2}{\partial y^2}$ and $4 \frac{\partial ^2}{\partial z\partial \bar{z}}$ [on hold]

Since $\mathbb R^2 \simeq \mathbb C$ and $\frac{\partial ^2}{\partial x^2} + \frac{\partial ^2}{\partial y^2} =4 \frac{\partial ^2}{\partial z\partial \bar{z}}$, I like to know is that the spectral ...
6
votes
1answer
162 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 ...
-1
votes
0answers
33 views

Compact subsets, how to check? [closed]

My question is: How can I see if (in $\mathcal H=\mathcal l^2 (\mathbb{N} )$ $B_1=\left\{ u | \frac{|u_k|}{k^2}\leq1 \right \}$ ,$B_2=\left\{ u | \frac{|u_k|}{log(1+k)}\leq1 \right \}$ are compacts ...
4
votes
2answers
211 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
319 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
34 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
112 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
138 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
489 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
39 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
96 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
118 views

Visualizing ANOVA Decomposition [on hold]

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 ...
11
votes
1answer
216 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
144 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
46 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
266 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
107 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
91 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
103 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
174 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
141 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
67 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?
37
votes
5answers
4k 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
53 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
153 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
375 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
500 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
178 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
174 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
587 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
168 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
212 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
283 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
55 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
371 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 ...
2
votes
2answers
428 views

Is the residual spectrum of every power bounded operator contained in the open unit disk?

$\newcommand{\cH}{\mathcal{H}} \newcommand{\CC}{\mathbb{C}}$ Let $\cH$ be a Hilbert space. A linear operator $T: \cH \to \cH$ is said to be power bounded if $\sup_{n \geq 0} \|T^n\| < \infty$. If ...
1
vote
1answer
98 views

Is $\textbf{FHILB}$ locally regular?

Is the category, $\textbf{FHILB}$, of finite dimensional Hilbert spaces and linear maps locally regular, where `locally regular' is defined like this ...
1
vote
1answer
115 views

Inner product spaces without symmetry/hermitian axiom

Consider a vector space $X$ over $\mathbb R$ and a bilinear form $ \langle \cdot, \cdot \rangle : X \times X \rightarrow \mathbb R$. We assume furthermore that for any $x \in X$ there exists $y \in ...
3
votes
1answer
181 views

When does an irreducible unitary real representation remain irreducible after complexifying it?

Consider a unitary real representation of a Lie group $G$ over a real Hilbert space $\mathcal{H}_\mathbb{R}$ \begin{equation} \rho:G\rightarrow U(\mathcal{H}_{\mathbb{R}}) \end{equation} Taking the ...