All Questions
467 questions
7
votes
1
answer
938
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}$-...
- 131
7
votes
1
answer
242
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.
...
- 4,010
7
votes
1
answer
2k
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 $...
- 577
7
votes
1
answer
200
views
If $\ $ $yx_n\to 0 $ for all $y$ in a C$^*$-algebra, Is it true that $x_n$ is weakly convergent to $0$?
$A$ is a C$^*\! $-algebra and $(x_n)_{n\in \mathbb{N}} \subseteq A $.
If $\ $ $yx_n\to 0 $ for all $y\in A$, Is it true that $x_n$ is weakly
convergent to $0$ ?
For unitals this is trivial. ...
- 327
7
votes
1
answer
337
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 ...
- 83
7
votes
1
answer
283
views
A characterization of Hilbert spaces by norm one projections
Suppose a (separable) Banach space $X$ has the following property: If $P:X\to X$ is a bounded projection different from $I$ such that $\|P\|=1$, then $\|I-P\|=1$. Does this imply that $X$ is a Hilbert ...
- 1,361
7
votes
1
answer
546
views
Explicit isomorphism between $L^2(\mathbb{R}^2)$ and $L^2(\mathbb{R})$?
As Hilbert spaces, $L^2(\mathbb{R}^2)$ and $L^2(\mathbb{R})$ are isomorphic. Of course the isomoprhism is vastly not unique. I wonder if there are any particularly nice explicit isomorphisms. E.g. I ...
- 679
7
votes
1
answer
343
views
Is every $C_0$ semigroup on a Hilbert space automatically a $C_0$ group on a larger space?
Let $\{T(t),t\ge 0\}$ be a $C_0$ semigroup on a Hilbert space $X$, does that exist a larger Hilbert space $Y$ such that $X\subset Y$, and $T(t)$ extend to a $C_0$ group $T'(t)$ (so $t<0$ make ...
- 879
7
votes
1
answer
311
views
Almost orthonormal projection and orthonormal projection in Hilbert space
Let $(e_i)_i$ be a family of vectors in a Hilbert space being almost orthonormal but not quite, i.e.
$$\langle e_i, e_j \rangle \approx \delta_{i,j} + \alpha e^{-\vert i-j \vert} $$
and $\alpha$ is ...
- 71
7
votes
2
answers
7k
views
Dual operators between Hilbert spaces: with or without Riesz representation
Let $X$ and $Y$ be Hilbert spaces over the real numbers (so complex conjugation plays no role, and everything will be linear in the strict sense). Let $f : X \rightarrow Y$ be a linear continuous ...
- 5,327
6
votes
3
answers
1k
views
Topological vector spaces that are isomorphic to their duals
After reviewing the (locally convex)
topological vector spaces that I know,
the only examples I could find where there is an isomorphism from the
space to its (anti)dual, are Hilbert spaces.
So my ...
- 357
6
votes
2
answers
514
views
Convergence criterion in the domain of an unbounded operator
Cross-post from math.sx.
My question is somewhat close to this one, but the counterexamples given there do not apply here.
Setup. Given a Hilbert space $\mathcal H$, a closed operator $A$ and a ...
- 245
6
votes
2
answers
539
views
Is there a reasonable notion of spectral theorem on a pre-Hilbert space?
I'm trying to understand how bad things could possibly get without Cauchy completeness as a criterion for Hilbert spaces in quantum mechanics. Obviously, doing calculus on a pre-Hilbert space would be ...
- 269
6
votes
3
answers
831
views
Representation theorem for quadratic form on Hilbert space
I think my question is more suitable for Mathematics Stack Exchange than to MathOverflow but I've already posted two related questions there and I got even more confused, so maybe I can clarify things ...
- 1,305
6
votes
2
answers
665
views
Unbounded Fredholms operators
Motivated by the situation of bounded Fredholm operators, I have the following question about "unbounded Fredholm operators".
Let $\mathcal{H}_1$ and $\mathcal{H}_2$ be two Hilbert spaces, and
$$
D: ...
- 969
6
votes
1
answer
277
views
Characterize this subspace of the bounded operators on $ L^2(\mathbb{R}) $
I posted this on MSE a couple months ago and it got three upvotes but no answers or even comments so I decided to cross-post it here:
For every pair $ a,b $ of real numbers define the operator $ U_{a,...
- 4,081
6
votes
2
answers
672
views
Holomorphy of a function with values in a Hilbert space
Denote by $\mathbb C^\infty $ the Hilbert space $\ell^2 (\mathbb C)$. Fix $1\leq N,M \leq \infty$, and let $U$ be an open subset of $\mathbb C^N $. Following Mujica's book "complex analysis in Banach ...
- 395
6
votes
1
answer
713
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\...
- 157
6
votes
1
answer
1k
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 ...
- 969
6
votes
1
answer
1k
views
Schmidt decomposition on infinite-dimensional Hilbert spaces
The Schmidt decomposition theorem says:
If $H_1,H_2$ are Hilbert-spaces (for simplicity: of same dimension) and
$x\in H_1\otimes H_2$, then there exist orthonormal bases
$\alpha_i,\beta_i$ of $...
- 896
6
votes
1
answer
1k
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 ...
- 437
6
votes
1
answer
765
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 ...
- 356
6
votes
1
answer
119
views
Tensoring adjointable maps on Hilbert modules
Given a right Hilbert $A$-module $E$, and a right Hilbert $B$-module $F$, together with non-degenerate $*$-homomorphism $\phi:A \to \mathcal{L}_B(F)$, we can form the tensor product
$$
E \otimes_{\phi}...
- 969
6
votes
1
answer
321
views
Derivatives of norm of vector-valued holomorphic functions
Let $G$ be a connected domain in $\mathbb{C}^{n}$, let $H$ be a Hilbert space and let $f,g:G\to H\backslash \{0\}$ be holomorphic (in my particular situation they are also injective, but I don't think ...
- 5,529
6
votes
1
answer
170
views
Do projections in an $AW^\ast$-algebra form an orthomodular lattice?
I’m currently studying orthomodular lattices arising out of operator algebras. One of the most standard examples is the projection lattice of a von Neumann algebra - if $M$ acts on a Hilbert space $H$,...
- 2,830
6
votes
1
answer
167
views
Extension Operator for $W^{1,\infty}(U,X)$
I am reading through some lectures on Sobolev spaces and the vector-valued (or Banach space valued) version of them. At this moment I am very interested in extension operators for the vector-valued ...
6
votes
1
answer
387
views
Reference Request: Vector-Valued Ito Formula
I know that there exist Ito formulae to understand
$
f(X),
$
where $f: H\rightarrow \mathbb{R}$ is sufficiently nice, $H$ is a Hilbert space and $X$ is an $H$-valued semi-martingale.
However I'm ...
- 5,405
6
votes
1
answer
1k
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
$$P_{\{\lambda_1,...\lambda_n\}}=\frac{...
- 241
6
votes
0
answers
159
views
Identification of Fock space and the $L^2$ space of tempered distributions
Let $\mathcal{S}'(\mathbb{R}^d)$ be the set of tempered distributions over $\mathbb{R}^d$ and $d\phi_C$ a Gaussian measure over $\mathcal{S}'(\mathbb{R}^d)$ with covariance operator $C$. Consider the ...
- 721
6
votes
0
answers
188
views
Measurability of eigenvalues-eigenvectors of a positive compact operator
Let $H$ be a separable Hilbert space over $\mathbb{R}$. Let ${A} = \{a\colon H\to H\,|\,a\text{ is a positive, compact linear operator}\}$.
By the spectral theorem, given $a \in A$, there are scalars $...
- 163
6
votes
0
answers
529
views
Infinite-dimensional "algebraic varieties"
This question was also formerly posted on MSE but has not received any answer or comment.
Let $H$ be the infinite-dimensional seperable complex Hilbert space, and $P(H)$ denote its projectivization. ...
- 1,543
6
votes
0
answers
113
views
Interpolation of some Sobolev spaces
Let $X_0=L^2(0,1)$, $X_1=H^4(0,1)$, $X_2=H^4(0,1)\cap H^2_0(0,1)$. We know the interpolation space $$(X_0,X_1)_{1/2,2}=H^2(0,1).$$
I am wondering what is
$$(X_0,X_2)_{1/2,2}=?$$
Would it be $H^2_0(0,...
- 395
6
votes
0
answers
240
views
Unitary representations of finite dimensional Lie groups on infinite-dimensional Hilbert spaces
I am interested in the proofs of continuity of some standard unitary representations appearing in Physics. Additionally, I am interested in the integration of finite-dimensional Lie algebras of skew-...
- 493
5
votes
2
answers
2k
views
On the domains and extensions of unbounded operators
I am not an expert in functional analysis but I was studying some, motivated from some mathematical physics considerations. I am not quite sure whether this is research-level, but let me state some ...
- 7,746
5
votes
2
answers
2k
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 \, \mathrm{d}x \...
- 371
5
votes
2
answers
673
views
When are the closed convex subsets countable intersections of halfspaces
For what kind of topological vector spaces (separable maybe?) are the closed convex subsets countable intersections of halfspaces.
I've seen somewhere that it's true for separable Hilbert spaces, ...
- 506
5
votes
1
answer
386
views
Contact points for John's ellipsoid
Suppose $K$ is a centrally symmetric convex body in $\mathbb{R}^n$ and $E$ is the John's ellipsoid, the ellipsoid of maximal volume inside $K$.
If $E$ and $K$ have exactly $2n$ contact points, say $(\...
- 1,361
5
votes
2
answers
642
views
Non-standard tensor products of inner product spaces
For two inner product spaces $(\mathcal{V}, (\cdot,\cdot)_V)$ and $(\mathcal{W}, (\cdot,\cdot)_W)$, we can put an inner product on their tensor product in the obvious way:
$$
(1) ~~~~ \langle v \...
- 643
5
votes
1
answer
607
views
Does eigenvalue exist in a Hilbert space? [closed]
In a lecture on Quantum mechanics, the professor concluded that if $a$ is a linear operator with $[a, a^\dagger] = 1$, where $a^\dagger$ is the adjoint of $a$ and $[a, a^\dagger] = aa^\dagger - a^\...
- 177
5
votes
1
answer
1k
views
Space of compact operators defined on separable Hilbert space
Let $X$ be a separable Banach space and consider $\mathcal{K}(X)$ the space of compact operators $K\colon X \rightarrow X$. Is it true that the space $\mathcal{K}(X)$ is separable? If yes, why? If no, ...
- 51
5
votes
1
answer
621
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 (...
- 3,873
5
votes
1
answer
334
views
Iterated limits equal?
Consider the Banach algebra $B_2(H)$ of Hilbert Schmidt operators on a Hilbert space $H$ with Hilbert Schmidt norm. We know that $B_2(H)$ is a Hilbert space as well with $\left<A,B\right>=tr(B^*...
- 243
5
votes
1
answer
517
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 ...
- 161
5
votes
1
answer
159
views
For self-adjoint $A$ and $B$, when is $(A+iB)^*$ the closure of $A-iB$?
Suppose that I have two self-adjoint operators $A$ and $B$ such that $\mathcal{D}(A)\cap\mathcal{D}(B)$ is dense and $B$ positive. Then $A\pm iB$ (with domains $\mathcal{D}(A)\cap\mathcal{D}(B)$) are ...
- 223
5
votes
1
answer
465
views
Quasinilpotent , non-compact operators
If $X$ is a separable Banach space and $(\epsilon_n)\downarrow 0$, can we find a quasinilpotent, non-compact operator on $X$ such that $||T^n||^{1/n}<\epsilon_n$ for all $n$? I suspect the answer ...
- 1,361
5
votes
1
answer
491
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 ...
- 51
5
votes
1
answer
483
views
Can you always extend an isometry of a subset of a Hilbert Space to the whole space?
I remember that I read somewhere that the following theorem is true:
Let $A\subseteq H$ be a subset of a real Hilbert space $H$ and let $f : A \to A$ be a distance-preserving bijection, i.e. a ...
- 609
5
votes
2
answers
276
views
Dilation of bounded linear operators
Let $H$ be a Hilbert space, and let $A$ be a contraction (bounded linear operator of norm $\leq 1$) on $H$. I heard in a recent talk that there is a (apparently famous) result due to Sz-Nagy which ...
- 51
5
votes
1
answer
189
views
Intersection of spaces with Schauder basis
Let $\{v_n\}_{n \in \mathbb{N}}$ be a Schauder basis of $V$ subspace of $\ell^2$ over $\mathbb{C}$ and $\forall m \in \mathbb{N}$ let $V_m = \overline{\operatorname{span}} \{v_n\}_{n \geq m}$
Let $\{...
- 433
5
votes
1
answer
379
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,529