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.

**4**

votes

**2**answers

142 views

### Compact images of nowhere dense closed convex sets in a Hilbert space

Let $B=-B$ be a nowhere dense bounded closed convex set in the Hilbert space $\ell_2$ such that the linear hull of $B$ is dense in $\ell_2$.
Question. Is there a non-compact linear bounded operator ...

**2**

votes

**1**answer

118 views

### Strongly Continuous Group Actions on the $ C^{\ast} $-Algebra of Compact Operators on a Hilbert Space

Let $ \mathcal{H} $ be a not-necessarily-separable Hilbert space. Let $ G $ be a locally compact Hausdorff group. It is easy to see that if $ U: G \to \mathbb{U}(\mathcal{H}) $ is a norm-continuous ...

**3**

votes

**1**answer

111 views

### A specific problem on : Can bounding the Sobolev norm, bound a higher derivative?

Let $f \in H^k(\mathbb{R}^m)$, $k>\frac{m}{2}$. Given any $f$, such that $\|f\|_{H^k(\mathbb{R}^m)}<K$ , and any $\phi \in C^{\infty}(\mathbb{R}^m)\cap H^k(\mathbb{R}^m)$, such that $\|\phi\|_{...

**2**

votes

**1**answer

41 views

### Are the intersection of proximinal sets in a Hilbert Space proximinal?

Let $X$ be a real Hilbert Space and $C \subseteq X$. Let $d_C$ be the infimal distance function to $C$ and $P_C(x) = C \cap S[x; d_C(x)]$ be the metric projection. We say $C$ is proximinal if $P_C(x) \...

**-2**

votes

**1**answer

105 views

### Weak convergent $+$ strongly convergent subsequence $\Rightarrow$ strong convergence? [closed]

Let $X$ be a Hilbert space containing functions defined over a bounded region $\Omega\subset \mathbb{R}^N$. Assume $f_n\in X$ converges weakly to $f\in X$, and also has a strongly convergent ...

**2**

votes

**0**answers

43 views

### Is every nonexpansive retract of a Hilbert space closed and convex?

Given a closed and convex subset $C\subset H$ of a Hilbert space $H$, the metric projection is a nonexpansive retraction of $H$ onto $C$. This implies that every closed and convex subset of a Hilbert ...

**14**

votes

**2**answers

440 views

### Multiple of identity plus compact

Is there an example of a bounded operator $T\in\mathcal{B}(H)$, where $H$ is a separable complex Hilbert space, such that no restriction to an infinite dimensional closed subspace is multiple of ...

**3**

votes

**1**answer

81 views

### Non-point spectrum for diagonalisable self-adjoint unbounded operator

Given a (separable) Hilbert space H and an unbounded densely defined linear operator $T:{\cal D}(T) \to $H such that ${\cal D}$ is diagonalizable (it means $\exists$ an O.N.B. of H such that all basis ...

**5**

votes

**1**answer

126 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**

votes

**1**answer

125 views

### Unbounded version of continuous functional calculus

For a normal operator $T$ on a Hilbert space ${\cal H}$, it is well known that for any continuous complex valued function $f$ on the spectrum of $T$, we have a well-defined operator $f(T) \in B({\cal ...

**1**

vote

**1**answer

86 views

### Optimal estimate in trace norm

Let $x,y$ be vectors of some Hilbert space of unit length.
Then we can consider the projection $P_x:=\langle \bullet, x \rangle x$ and similarly $P_y.$
Assume then that we know that $\left\lVert x-...

**3**

votes

**0**answers

70 views

### Hilbert space separability for spectral triples

A spectral triple $({\cal A},{\cal H},D)$ consists of a unital $*$-algebra ${\cal A}$ represented as bounded operators on a Hilbert space ${\cal H}$, together with an unbounded operator $D$ having ...

**1**

vote

**0**answers

123 views

### Why is $H^{1/2}$ a Hilbert space?

Let $n\in\mathbb{N}$ and $\Omega \subseteq \mathbb{R}^n$ sufficiently smooth. Then we have the Hilbert space $H^1(\Omega)$ and the trace operator $\operatorname{tr}: H^1(\Omega) \to L^2(\partial \...

**2**

votes

**1**answer

81 views

### Fredholmness of formal selfadjoint operator $AA^*$ and Fredholmenss of $A$

Let $X$ and $Y$ be Hilbert spaces with respective inner products $\langle , \rangle_{X,Y}$. Let $A:X \rightarrow Y$ be a bounded linear operator. Assume there is a non-degenerate sesquilinear product $...

**3**

votes

**0**answers

46 views

### A question about a theorem in 'Quantum dynamical semigroups generated by noncommutative unbounded elliptic operators'

I have asked this question on stack and someone advised me to ask it here. The link is https://math.stackexchange.com/questions/2900658/a-question-about-a-theorem-in-quantum-dynamical-semigroups-...

**3**

votes

**1**answer

81 views

### Measurability of specific function

Let $I\subset\mathbb{R}$ denote an open and bounded interval of the real line, $H_0^1(I)$ all quadratic integrable Sobolev functions and $C(\bar{I})$ all continuous functions on said interval.
Since ...

**1**

vote

**1**answer

82 views

### Orthogonal complement vector space

Let $X$ be a vector space contained in $H^{1}(\mathbb R^d),$ then we can study
$X^{\perp_{L^2}}:=\left\{ \xi \in L^2; \langle \xi, x \rangle_{L^2} =0 \ \forall x \in X \right\}$
and
$X^{\perp_{H^{-...

**1**

vote

**0**answers

72 views

### Injective differential of linear operators on a Hilbertspace

Given a complex Hilbertspace $\mathcal{H}$ of dimension $\dim(\mathcal{H}) = d$ and the set $$\mathcal{F} := \{q\in L(\mathcal{H})\vert\quad \text{rank}(q) = 4 \quad \wedge \lambda^q_{1,2} < 0\ \ \...

**1**

vote

**0**answers

878 views

### A Question on certain Hilbert space of continuous functions, and a characteristic of convergence in it

Define $T^k(\Omega)$, $\Omega$ an open subset of $\mathbb{R}^m$ (with a smooth boundary), as a space of function equivalance classes, with the norm defined as $$ \|f\|_{T^k(\Omega)}^2 = \|f\|_{L^2(...

**3**

votes

**0**answers

55 views

### Constant in trace theorem for balls

Consider the standard open ball $B_r:=\left\{x ; \left\lvert x \right\rvert \le R \right\}.$
The trace theorem tells us any function in $W^{k,p}(B_r)$ can be restricted to a function $W^{k-1,p}(\...

**1**

vote

**1**answer

101 views

### The tensor product of two bounded operators

Let $E$, $F$ be two complex Hilbert spaces and $\mathcal{L}(E)$ (resp. $\mathcal{L}(F)$) be the algebra of all bounded linear operators on $E$ (resp. $F$).
The algebraic tensor product of $E$ and $F$ ...

**3**

votes

**1**answer

274 views

### What is the consistency strength of non-existence of outer automorphisms of Calkin algebra?

The Calkin algebra $C(H)$ is the quotient of $B(H)$, the ring of bounded linear operators on a separable infinite-dimensional Hilbert space $H$, by the ideal $K(H)$ of compact operators.
In 1977, ...

**5**

votes

**1**answer

207 views

### Fell's trick for Lie groups

Let $\Gamma$ be a countable discrete group and $\lambda$ the left regular representation of $\Gamma$ on $l^2(\Gamma)$. Let $\rho:\Gamma\rightarrow U(H)$ be a unitary representation of $\Gamma$ on some ...

**1**

vote

**1**answer

49 views

### Completeness of Lowner order in separable Hilbert space

Consider a separable Hilbert space $\mathcal{H}$, we can first define $T(\mathcal{H})$ the trace class of $\mathcal{H}$, then $D(\mathcal{H})$ to denote the interesection of positive operator and ...

**3**

votes

**1**answer

92 views

### Completely Positive Maps and their dual in Separable Hilbert Space

Consider a separable Hilbert space $\mathcal{H}$, we can first define $T(\mathcal{H})$ the trace class of $\mathcal{H}$, then $D(\mathcal{H})$ to denote the set of positive operator with trace less ...

**10**

votes

**2**answers

354 views

### $x f'$ bounded by $x^2f $ and $f''$?

Consider the Hilbert space of functions $f \in L^2(\mathbb R)$ such that $x^2f \in L^2(\mathbb R) $ and $ f'' \in L^2(\mathbb R).$
I am wondering whether it is true that $xf'\in L^2(\mathbb R)$ as ...

**1**

vote

**0**answers

74 views

### “Barrier functions” in function spaces [closed]

In general the idea of a "barrier function" (as in the context of "interior point methods") can possibly be thought of as defining a function corresponding to an open subset of $\mathbb{R}^n$ such ...

**2**

votes

**1**answer

100 views

### Insights about a frame-like inequality

I'm a graduate student doing research on time-frequency analysis. I am considering the existence of a certain frame-like inequality. Let $H: L^2(\mathbb{R}^d) \rightarrow L^2(\mathbb{R}^d)$ be a ...

**4**

votes

**1**answer

126 views

### Extending maps from dense $*$-algebras of $C^*$-algebras

Given $\cal{A},\cal{B}$ two dense $*$-algebras of two $C^*$-algebras $A$ and $B$ respectively, together with a $*$-algebra homomorphism $f:\cal{A} \to \cal{B}$, is it clear that $f$ extends to a ...

**0**

votes

**0**answers

39 views

### Uniform convergence in Hadamard derivatives

Let $T\colon X \to Y$ be a nonlinear operator between Hilbert spaces which is Lipschitz and is Hadamard differentiable. It satisfies
$$T(x+th)=T(x) + tT'(x)(h) + r(t)$$
where $r(t)=r(t,x,h)$ is the ...

**3**

votes

**1**answer

169 views

### Convergence of nuclear operators

Let $H$ be a separable infinite-dimensional real Hilbert space. We consider operators in $H.$
Nuclear norm of a nuclear operator is the sum of its singular values.
A nuclear, positive and self-...

**0**

votes

**1**answer

60 views

### Convergence rate of eigenvectors

Let us suppose that $A,A_1,A_2,\ldots$ are non-negative definite self-adjoint bounded linear operators in $L(\mathbb H)$, where $\mathbb H$ is a separable Hilbert space. $(v_j)_{j\ge1}$ and $(\...

**7**

votes

**1**answer

192 views

### Subspaces isomorphic with quotients

Suppose $X$ is a Banach space not isomorphic to a Hilbert space. Can we always find a subspace of $X$ that is not isomorphic to a quotient of $X$?

**1**

vote

**0**answers

63 views

### A nested sequence of closed subspaces of $\ell^2$

Let $\{v_n\}_{n \in \mathbb{N}} \subset \ell^2$ be a sequence in $\ell^2$ over $\mathbb{C}$ such that $\{v_n\}_{n \in \mathbb{N}}$ is linearly independent and $v_n \to u$.
Is it possible extract a ...

**1**

vote

**1**answer

127 views

### On projection theory for inseparable Hilbert spaces

How can one see that $I$ is an infinite projection in $B(\mathcal{H})$, where $\mathcal{H}$ is an inseparable Hilbert space?

**3**

votes

**0**answers

143 views

### Araki's proof of simple connectedness of the restricted orthogonal group

I am trying to understand Araki's proof of the statement that the restricted orthogonal group of a Hilbert space with a unitary structure is simply connected. This proof starts on page 114 of these ...

**2**

votes

**2**answers

163 views

### Point spectrum of a positive invertible operator

Let $G$ be a l.c. group and $f$ belong to $C_c(G)$, the space of continuous functions with compact support. Define an operator$T_f$ on $L^2(G)$ by $T_f(g)=f*g$ (the convolution product). If $T_f$ is ...

**5**

votes

**1**answer

155 views

### The largest topological copy of a Hilbert space contained in $\ell^1$

Let us consider $\ell^1$, the space of absolutely summable sequences in the space of complex numbers. Clearly every finite dimensional Hilbert space is topologically embedded into $\ell^1$.
...

**2**

votes

**0**answers

81 views

### A specific Schwartz function $f$ on $\mathbb C^2$

Choose a Schwartz function on $\mathbb C$ of the form $f(z)=f(r e^{i\theta})= f_0(r) e^{in\theta}$. Then $$(*) \quad f(e^{i\alpha} z)= e^{in\alpha} f(z), \quad \forall z\in \mathbb C.$$
Now, let $f$ ...

**2**

votes

**0**answers

68 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 ...

**1**

vote

**0**answers

67 views

### If $H$ is a Hilbert space, is the projective tensor product $E\:\hat\otimes_\pi\:H$ isometrically isomorphic to $E\:\hat\otimes_\pi\:H'$?

Let
$E$ be a $\mathbb R$-Banach space
$H$ be a $\mathbb R$-Hilbert space
$E\:\hat\otimes_\pi\:H$ denote the completion of the tensor product of $E$ and $H$ with respect to the projective norm
By ...

**1**

vote

**1**answer

123 views

### Does the image of $f$ contain a positive number?

Let $H$ be a Hilbert space and $T$ be a bounded and positive operator on $H$. Define a real function $f$ on positive real numbers by
$$f(r):=\|(r+T)^{-1}\|^{-1}-r\quad(r\in\mathbb R_+).$$
Does the ...

**1**

vote

**1**answer

62 views

### Convergence rate of $\operatorname E|\langle X,f_n\rangle|^p$

Suppose that $X$ is a random element with values in a separable Hilbert space $\mathbb H$ such that $\operatorname EX=0$ and $\operatorname E\|X\|^2<\infty$. Suppose that $f_1,f_2,\ldots$ form an ...

**1**

vote

**0**answers

53 views

### Is there a vector-valued trace such that $\text{tr}((L\otimes_π\text{id}_H)T)=LT$ for all $L∈\mathfrak L(H,\mathfrak L(H))$ and $T∈H\hat\otimes_πH$?

Let
$H$ be a separable $\mathbb R$-Hilbert space
$L\in\mathfrak L(H,\mathfrak L(H,\mathbb R))$
$T\in\mathfrak L(H)$ be nonnegative, self-adjoint and nuclear (trace-class)
Note that$^1$ $$\...

**2**

votes

**1**answer

91 views

### Strongly continuous semigroup: continuous or continuous componentwise?

Let $T(t)_{t \ge 0}$ be a strongly continuous semigroup on a Hilbert space $H.$
Then, one can consider the function
$f(t_1,t_2):= T(t_1)S T(t_2)x$ where $x$ is a fixed element of the Hilbert space ...

**7**

votes

**0**answers

183 views

### Models for Eilenberg-MacLane space K(Z,3)

Denote by $U(H)$ and $PU(H)$ the unitary and projective unitary groups on an infinite-dimensional Hilbert space $H$. Recall that $U(H)$ is contractible by Kuiper's theorem and that $PU(H)$ is a $K(Z,2)...

**0**

votes

**0**answers

52 views

### Lie algebra of zero trace trace class operators

The space of all trace class operators on a separable Hilbert space having zero trace is naturaly a Lie algebra. Since it is yet another infinite dimensional analogue of $\mathfrak{sl}_n$, one might ...

**1**

vote

**0**answers

64 views

### If $f$ takes values in $L(H,L(H,\Bbb R))$ and $μ$ is a $H\hat ⊗_πH$-valued measure, how are $\int f\:dμ$ and $\int f⊗_π\text{id}_Hdμ$ related?

Let
$H$ be a separable $\mathbb R$-Hilbert space
$H\:\hat\otimes_\pi\:H$ denote the projective tensor product of $H$ and $H$
$(\Omega,\mathcal A)$ be a measurable space
$\mu$ be a $H\:\hat\otimes_\pi\...

**6**

votes

**2**answers

224 views

### A characterization of metric spaces admitting a bi-Lipschitz embedding into a Hilbert space?

Theorem (??) derived in this MO-post from Schoenberg's theorem yeilds a "pibartite" characterization of metric spaces that admit an isometric embedding into a Hilbert space. This Theorem (??) implies ...

**13**

votes

**1**answer

247 views

### A reference to a characterization of metric spaces admitting an isometric embedding into a Hilbert space

I am looking for a reference to the bipartite version of the Schoenberg's criterion of embeddability into a Hilbert space. The Schoenberg criterion is formulated as Proposition 8.5(ii) of the book "...