Questions tagged [hilbert-spaces]

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.

Filter by
Sorted by
Tagged with
2 votes
1 answer
1k views

Existence of a projection operator onto subspace of Hilbert space

Let $V \subset H$ be Hilbert spaces with a continuous, compact and dense imbedding. Let $\{w_j\}_j \subset V$ be a basis of $V$ and of $H$ (so finite linear combinitions are dense) which is not ...
Charpe's user avatar
  • 35
2 votes
0 answers
441 views

Weak topology on subsets of a normed space

I have few questions about the subsets of a normed space $X$ endowed with the weak topology. Let $E$ be such subset. When is the norm a continuous function on $E$? When is the metric induced by the ...
erz's user avatar
  • 5,385
1 vote
1 answer
136 views

Orthogonal compact operators on an infinite dimensional Hilbert space [closed]

How do I show that when $H$ is an infinite-dimensional Hilbert space we can find two compact positive operators $u,v$ with infinite dimensional image and $u \perp v$? This statement can be found at "...
Mary's user avatar
  • 39
9 votes
1 answer
309 views

Decidability of the Hilbert lattice and quantum logic

What is known about the decidability of (first-order formulas in) the structure $(\mathcal{L}(H),\leq)$, where $\mathcal{L}(H)$ is the collection of all closed linear subspaces of a (separable) ...
Iian Smythe's user avatar
  • 3,001
0 votes
1 answer
474 views

Injective inclusion map from RKHS function space to $L_p(\mu)$

Let $X$ be a measurable space, $\mu$ be a $\sigma$-finite measure on $X$, and $H$ be a separable reproducing kernel Hilbert space over $X$ with a measurable kernel $k$. At a certain part in a proof I ...
Eric's user avatar
  • 103
5 votes
1 answer
341 views

The Maximal $\ell_2$ norm of a signed sum of vectors

Suppose we have $n$ vectors in $\mathbb{R}^n.$ Consider the signed sum of these vectors: $$U(s_1,\ldots,s_n)=s_1 v_1+s_2 v_2 + \ldots + s_n v_n$$ where $s_j$'s can only take values of $+1$ or $-1.$ I ...
KPU's user avatar
  • 131
2 votes
1 answer
226 views

Non-closability of an operator

Let $a$ be a positive continuous function nowhere differentiable on $[0,1]$. The operator $T$ in $H:=L^2(0,1)\oplus L^2(0,1)$ defined by $$T(u_1,u_2) := (u_1' + au_2',0)$$ on $\textrm{Dom} \,T := \{u=(...
Geno Whirl's user avatar
4 votes
1 answer
524 views

Weak topology on a pre-Hilbert Space

Since there was essentially no answers on my previous question, I will ask a partial case of it, which is very easy to state. Let $\left(X,\left<\cdot,\cdot\right>\right)$ be an inner product (...
erz's user avatar
  • 5,385
2 votes
1 answer
423 views

A question about open subsets of Hilbert space whose complements are compact sets

Let $H$ be an infinite-dimensional separable Hilbert space. Let $C$ be the intersection of a denumerably infinite sequence of sets, each of which is the complement of a compact subset of $H$. In other ...
Garabed Gulbenkian's user avatar
0 votes
0 answers
114 views

Recontruction of the weak topolgy from the scalar product on a subset of a Hilbert Space

Let $M$ be a set a let $K:M\times M\to\mathbb{C}$ be a positive definite kernel. By a version of Moore-Aronszajn Theorem, there is a unique (up to the unitary euivalence) Hilbert Space $X$, and a map $...
erz's user avatar
  • 5,385
1 vote
1 answer
135 views

strong convergence in Hilbert c* module

For a monotone sequence of projections in Hilbert c* module, do we have similar conclusion as in Hilbert space (such as strong convergence)? If not, what could be said in that situation?
Fiona's user avatar
  • 11
2 votes
2 answers
665 views

Quantum Field theory - integral notation

I have a problem with understanding how the resolution of the identity of an operator is presented in some literature for physicists. I'm a student of mathematics, and I understand the notion of a ...
Eric's user avatar
  • 23
8 votes
1 answer
510 views

Is the space $S'(\mathbb{N})$ of slowly increasing sequences the projective limit of Hilbert sequence spaces?

Let $S(\mathbb{N})$ be the space of rapidly decreasing sequences and $S'(\mathbb{N})$ its topological dual, the space of sequences bounded by a polynomial. For $m\in \mathbb{Z}$, we also define $\...
Goulifet's user avatar
  • 2,174
0 votes
0 answers
324 views

Existence of a complementary closed subspace extending a given subspace

Let $H$ be an infinite dimensional (separable) Hilbert space (or any infinite dimensional Banach space in which every closed subspace has a complementary subspace). Suppose that $X$ and $Y$ are closed ...
Iian Smythe's user avatar
  • 3,001
6 votes
1 answer
651 views

Equivalence of Gaussian measures

Let $H$ be a separable Hilbert space and $N(0, C)$ and $N(0, D)$ be Gaussian measures on it. Further, for each $v \in H$, define $R_v = \frac{\left\langle v,Cv \right\rangle}{\left\langle v,Dv \right\...
Madhuresh's user avatar
  • 157
7 votes
1 answer
904 views

What is the idea behind interpolation spaces?

I am working through a text on Numerics for SPDEs and there the concept an interpolation (Hilbert-)space associated to an operator is used. To be specific: Definition. Let $H$ be an $\mathbb{R}$-...
alexlo's user avatar
  • 131
1 vote
0 answers
114 views

Local limit theorem for an infinite dimensional integer lattice

Can someone refer me to a local limit theorem for the sum ${\bf S} = \sum_{i=1}^n{\bf X}_i$ of a sequence of independent and identically distributed $d$-dimensional random variables $\{{\bf X}_i\}_{i=...
signum's user avatar
  • 81
0 votes
1 answer
544 views

Schur's lemma for antiunitary operators on complex Hilbert spaces

Suppose to have a linear irreducible unitary representation $\rho:G\rightarrow U(H)$ on a complex Hilbert space $H$ with $G$ a generic group. Let $A$ be an $\textit{anti}$-linear operator such that $$...
moppio89's user avatar
  • 275
8 votes
1 answer
391 views

Proving that a space is Hilbert

Let $H=H_0^1(0,\ell)\times H_*^1(0,\ell)\times H_*^1(0,\ell)$ be equipped with the norms \begin{align*} \|(\varphi,\psi,w)\|_1^2&=A\|\varphi_x+\psi+lw\|_{L^2}^2+B\|w_x-l\varphi\|_{L^2}^2+C\|\psi_x\...
Robert's user avatar
  • 171
4 votes
1 answer
371 views

A Hilbert-space completion of a Hilbert $ C^{*} $-module over a separable $ C^{*} $-algebra

Let $ B $ be a separable $ C^{*} $-algebra and $ \mathcal{E} $ a Hilbert $ B $-module. We know that $ B $ has a faithful state $ \phi $. Using $ \phi $, we can construct a $ \mathbb{C} $-valued pre-...
Transcendental's user avatar
2 votes
0 answers
171 views

Two isomorphic Gelfand triplets, is there a problem?

For $j=1, 2$, let $V_j \subset H_j$ be a dense and continuous embedding with $V_j$ a Banach space and $H_j$ a Hilbert space. Identify $H_1 = H_1^*$ and $H_2 = H_2^*$ (using Riesz representation) so ...
assa888's user avatar
  • 153
2 votes
1 answer
156 views

ODE system has zero as the only solution?

Let $V \subset H$ be a continuous, compact and dense embedding with $V$ and $H$ Hilbert spaces. Let $\beta_j:[0,T] \to \mathbb{R}$ be functions for each $j$, and let $v_j$ be a basis of $V_0$. ...
D. Dring's user avatar
2 votes
1 answer
884 views

Eigenvalues and Compact Resolvent

For $A$ an unbounded (densely defined) operator on a separable Hilbert space, what conditions on its eigenvalues will show that, for $\lambda \notin $spec$(A)$, we have that $(A-\lambda)^{-1}$ is a ...
Juan Corrida's user avatar
0 votes
0 answers
255 views

Bounded operators with infinite matrix representations

I asked this question on StackExchange originally, but I'm giving it a go here as well. Suppose that $A$ is a unital $C^*$-algebra, $\varphi\colon A\to B(H)$ is a unital, completely positive map and ...
Bryder's user avatar
  • 123
4 votes
2 answers
1k views

RKHS norm and posterior of Gaussian process

In Srinivas et al (2010) [appendix B], the authors claim the following "easy to see" property relating the norm of a function in a RKHS induced by a kernel $k(\cdot,\cdot)$, and its norm in the RKHS ...
Emile's user avatar
  • 183
2 votes
0 answers
231 views

Examples for Markov generators with pure point spectrum

I'm looking at symmetric diffusion Markov generators $L$ with pure point spectrum, i.e. infinitesimal generators of symmetric diffusion Markov semigroups, which are defined on $L^2(\mu)$ where $\mu$ ...
herrsimon's user avatar
  • 235
2 votes
0 answers
738 views

Hilbert triples

I apologize if this is a trivial matter for the analysts out there, but I looked this up in a number of books (e.g., H. Brezis, J. Wloka) and could not find a satisfying discussion, one that would ...
Ganesh's user avatar
  • 29
1 vote
0 answers
136 views

A linear operator equation (PDE) with non-monotone term

I'm interested in the existence and/or uniqueness to the following problem. Let $V$ and $H$ be Hilbert spaces and $V \subset H \subset V^*$ form a Gelfand triple. There is a linear operator $L:{D}(L) ...
AACA's user avatar
  • 11
3 votes
1 answer
368 views

Fractional Brownian motion via Hilbert space

The Brownian motion has the following (Levy-Ciesielski?) construction via Hilbert space isomorphisms: Let $\{ Z_i \}_{i \in \mathbb{Z}}$ be i.i.d. $N(0,1)$ random variables defined on $(\Omega, \...
Michael's user avatar
  • 263
4 votes
1 answer
376 views

Invertible unbounded linear maps defined on a Hilbert space

It is well-known that, assuming the axiom of choice, there are unbounded linear maps defined not only on a dense subset but on all of Hilbert space. Is it possible that such a map is invertible?
Arnold Neumaier's user avatar
2 votes
1 answer
894 views

Positive definite quadratic forms on Banach spaces

This is a question about characterizing Hilbert spaces in terms of quadratic forms. Let $X$ be a real Banach space and $E$ a bounded quadratic form on it, it is called positive definite if $E(x,x)\...
Conifold's user avatar
  • 1,599
1 vote
0 answers
198 views

Measurability of a map that takes a functional to its composition with a linear operator

Let $(X,\Sigma_X)$ be a measurable space such that $\Sigma_X$ is countably generated. Let $B_b(X)$ be the Banach space of all bounded $\Sigma_X$-measurable functions $X\to\mathbb{R}$ equipped with the ...
user avatar
0 votes
0 answers
133 views

Speed of convergence of vector expansions in non orthogonal basis

Suppose we have a finite-norm vector $X$ in a Hilbert space, and we want to construct its expansion in a certain (infinite) basis $V_k$, $X=\sum_k a_k V_k$. If the basis is orthonormal, then we know ...
Yuriy M's user avatar
1 vote
1 answer
119 views

Integral representation of joint projection valued measures

Given two positive $\sigma$-finite measures $\mu_{1/2}$ on the spaces $X_{1/2}$ one can define the product measure $\mu_1\otimes\mu_2$ on the product space $X_1\times X_2$. It can be proved that the ...
moppio89's user avatar
  • 275
1 vote
0 answers
94 views

Determining the exact form of a projection in a Hilbert space

Let $$\Omega = \left\{f(x) \in \mathcal{L}^2[0,T]: \frac{1}{T}\int_0^Tf(x)dx = \mu,~ a \le f(x) \le b,~\forall x \in [0,T]\right\},$$ where $\mathcal{L}^2[0,T]$ is the set of Lebesgue square-...
mikew's user avatar
  • 108
9 votes
2 answers
313 views

For which $f \in L^2([0,1])$ is $f^\perp \cap C^\infty$ dense in $f^\perp$?

Given $f \in L^2([0,1])$, $f \neq 0$, we can consider the orthogonal complement $f^\perp$ . The smooth functions $C^\infty([0,1])$ are dense in $L^2([0,1])$. Is the intersection $f^\perp \cap C^\infty(...
user40707's user avatar
6 votes
3 answers
678 views

Is $1/\max(i,j)$ a bounded matrix on Hilbert spaces?

I would like to know if the infinite matrix $[\frac{1}{\max(i,j)}]_{i,j\geq 1}$ represents a bounded operator on $\ell^2(\mathbb{N}^\star)$. It would be sufficient to know if the Lehmer matrix $[\frac{...
django's user avatar
  • 111
4 votes
0 answers
370 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$ ...
user61038's user avatar
  • 289
5 votes
1 answer
655 views

what characterizes a characteristic function of a probability measure in separable Hilbert spaces?

As we all know on real line $\mathbb{R}$, the following is valid A $\mathbb{C}$-valued function $\varphi$ is a characteristic function of a probability measure on $\mathbb{R}$ if and only if $\...
Wieshawn's user avatar
  • 311
3 votes
1 answer
420 views

Nuclear vs Integral operators on Hilbert spaces

Consider the Hilbert space $L_2=L_2[0,1]$. Is it true that for each nuclear (trace-class) operator on $L_2$ there exists a function $K\in L_1(L_2)$ such that $$Tf = \int\limits_0^1 K(s) f(s) \,\mu(\...
Lech Roch's user avatar
  • 125
3 votes
1 answer
820 views

Karhunen-Loeve expansion for discrete-time process

Is there a Karhunen-Loeve theorem for discrete-time process? For example, let $\left\{X_i\right\}$ be a sequence of independent random variable which are uniformly distributed on the set $\{-1,1\}$. ...
user avatar
0 votes
2 answers
2k views

Spectral decomposition of compact operators

Let T be a compact operator on an infinite dimensional hilbert space H. I am proving the theorem which says that $Tx=\sum_{n=1}^{\infty}{\lambda}_{n}\langle x,x_{n}\rangle y_{n}$ where ($x_{n}$) is an ...
user134724's user avatar
0 votes
2 answers
101 views

Does positivity preserve compactness? [closed]

Suppose $A$ and $B$ are operators on a (separable) Hilbert space $H$ and $A \leq B$. Is it true that if $B$ is compact then $A$ is compact too? If not, could you please show a counterexample?
Geno Whirl's user avatar
5 votes
1 answer
788 views

Besicovitch Almost Periodic Functions a subspace of what?

The common example of a nonseparable Hilbert space comes from the collection of Besicovitch almost periodic function spaces. Starting with $L^p_{\text{loc}}(\mathbb{R})$ we look at those elements ...
Greg Zitelli's user avatar
1 vote
2 answers
329 views

Characterisation of compact operators

It is known (and easy) to prove that if $T: H\longrightarrow H $ is compact, where $H$ is a Hilbert space, then for any orthonormal basis $ e_n $ we have $||Te_n||\longrightarrow 0$. My question is ...
Alin Galatan's user avatar
6 votes
2 answers
283 views

A Theorem by Von Neumann, which pertains a product of two Hilbert Spaces

I'm writing my thesis on the EPR paradox (I want to continue my master degree in physics) but I'm having an unusual problem. One passage from the book I'm following at the moment justifies one ...
Menghini Luca's user avatar
7 votes
1 answer
240 views

Is there a nice "minimum" of two symmetric operators?

Let $A$ and $B$ be two bounded symmetric positive operators in Hilbert space, such that $A-B$ is trace class. If needed, $A$ and $B$ may be assumed reasonably "small", let's say, Hilbert-Schmidt. ...
Alexander Shamov's user avatar
4 votes
0 answers
268 views

Exterior powers and singular values on Hilbert spaces

I am currently writing an article relating to multiplicative ergodic theorems for cocycles of bounded operators acting on a Hilbert space, and in parts of the argument it is necessary for me to refer ...
Ian Morris's user avatar
  • 6,176
10 votes
1 answer
433 views

A question about tiling Hilbert Space

Let H be an infinite dimensional and separable Hilbert Space. Let e be a positive real number-which can be arbitrarily small. Does there exist a denumerably infinite set S of pairwise disjoint and ...
Garabed Gulbenkian's user avatar
2 votes
1 answer
511 views

Does spectral theory assume separability

On an infinite dimensional space, the spectral theorem for compact normal operators says that the eigenvectors form an orthonormal basis which, from wikipedia, is equivalent to the space being ...
user108605's user avatar