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
1answer
99 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
1answer
70 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-...
0
votes
0answers
76 views
In which Hilbert space H^k is the Heaviside (Step) function? [closed]
The Heaviside function is usually defined by:
$H(x)=\begin{cases} 0\ for\ x<0\\1\ for\ x>0 \end{cases}$
And the Hilbert space can be defined as:
$H^k(-1,1)=\{v(x),\ D^\alpha v\in L^2(-1,1),\ \...
3
votes
0answers
56 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
0answers
113 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 \...
3
votes
0answers
129 views
Is the Green operator a trace class operator?
Let $M$ be compact Kahler manifold and $\Delta$ be the Hodge/Dolbeault Laplacian on $M$ associated to a line bundle $E$. Let $G$ be the Green's operator, then $G$ can be written as
$$
G(x,y)=\sum \...
2
votes
1answer
78 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
0answers
45 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
1answer
72 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
1answer
77 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
0answers
69 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
0answers
850 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
0answers
52 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
1answer
88 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
1answer
273 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
1answer
200 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
1answer
47 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
1answer
88 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
2answers
350 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
0answers
72 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
1answer
97 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
1answer
119 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
0answers
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
1answer
163 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
1answer
58 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
1answer
188 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
0answers
58 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
1answer
123 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
0answers
142 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
2answers
161 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 ...
4
votes
1answer
146 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
0answers
79 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
0answers
65 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
0answers
65 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
1answer
122 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
1answer
61 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
0answers
52 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
1answer
89 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
0answers
175 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
0answers
51 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
0answers
63 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
2answers
218 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
1answer
243 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 "...
7
votes
1answer
300 views
Flows in Hilbert spaces
Let $\varphi: [0,T] \rightarrow H$ be a Hilbert space valued $C^1$-function. Let $H = X \oplus X^{\perp}$ such that $\varphi(0) \in X$ and the implication $\varphi(t) \in X \Rightarrow \varphi'(t) \in ...
0
votes
1answer
169 views
For $B=\int \lambda d E_\lambda $ and $X$ commutes with every $E_\lambda $, why $BX$ is positive and self-adjoint?
Let $B$ be an unbounded closed operator on a Hilbert space $H$. If $B=\int \lambda d E_\lambda $ is positive self-adjoint and a positive bounded operator $X$ commutes with every $E_\lambda $, then why ...
2
votes
1answer
206 views
The closure of span of a linearly independent and convergent sequence in $\ell^2$ [closed]
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 v_0$.
I would like to know if ...
3
votes
1answer
84 views
Can the $L^{\infty}\to L^{\infty}$ norm be bounded by the trace norm?
Let $k\in C(\mathbb{R}^2; \mathbb{R})$ be a continuous function. Suppose that the operator $K\colon L^2(\mathbb{R}) \rightarrow L^2(\mathbb{R})$ defined by the formula
$$(Kf)(x)=\int_{\mathbb{R}} k(x,...
1
vote
1answer
61 views
What are examples of a second order operational tangent vector on an infinite dimensional Hilbert space
In the book "a convenient setting for global analysis" they describe the order of an operational tangent vector on a convenient vector space.
http://www.mat.univie.ac.at/~michor/apbookh-ams.pdf
...
0
votes
1answer
355 views
When $\lambda$-commutativity implies commutativity?
Let $\mathcal{B}(F)$ the algebra of all bounded linear operators on an infinite-dimensional complex Hilbert $F$.
Let $T,S\in\mathcal{B}(F)$. The pair $(T,S)$ is said to $\lambda$-commute if there ...
3
votes
0answers
76 views
Reference Request: De Rham isomorphism with Hilbert space coefficients
Let $M$ be a smooth, closed manifold, equipped with a smooth (finite) triangulation $K$. Further, let $H$ be a Hilbert space, $G := \pi_1(M)$ and let $\rho: G \to GL(H)$ be a representation (with $GL(...
