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.
244
questions with no upvoted or accepted answers
21
votes
0
answers
717
views
Closed connected additive subgroups of the Hilbert space
It is a classical result that a closed and connected additive subgroup of $\mathbb{R}^n$ is necessarily a linear subspace. However, this is no longer true in infinite dimension: a very easy example is ...
- 56.6k
20
votes
0
answers
302
views
Existence of orthonormal basis for $L^2(G)$ in $C_c(G)$
Remark: I cross-posted this question on MSE and added a bounty to it.
Suppose that $G$ is a locally compact (Hausdorff) group endowed with the Haar measure. It is well-known that the compactly ...
- 321
20
votes
0
answers
2k
views
Can the similarity between the Riesz representation theorem and the Yoneda embedding lemma be given a formal undergirding?
For example, by viewing Hilbert spaces as enriched categories in some fashion? (I suppose the same idea of considering the inner product of a Hilbert space as a generalized Hom-set has also been ...
- 5,652
19
votes
0
answers
1k
views
Is there some way to see a Hilbert space as a C-enriched category?
The inner product of vectors in a Hilbert space has many properties in common with a hom functor. I know that one can make a projectivized Hilbert space into a metric space with the Fubini-Study ...
- 1,532
18
votes
0
answers
356
views
Can Rep(G) tell us whether G is discrete?
Given a locally compact group $G$, let $$\mathrm{Rep}(G)$$ be its category of unitary representations.
The objects of that category are strongly continuous unitary representations of $G$ on Hilbert ...
- 42.5k
14
votes
0
answers
516
views
Reference for equivariant Atiyah-Jänich theorem
The equivariant Atiyah-Jänich theorem is an isomorphism
$$
[X,F]_G \cong K_G^0(X),
$$
where $G$ is a compact Lie group, $X$ is a compact $G$-manifold, $F$ is the space of Fredholm operators on a ...
- 4,304
11
votes
0
answers
520
views
Contraction semigroup on Hilbert space
I'd like to know whether a certain unbounded operator on a Hilbert space is the generator of a strongly continuous contraction semigroup.
(Such operators are known as maximally dissipative operators.)
...
- 42.5k
10
votes
0
answers
343
views
Von Neumann Inequality in Banach spaces
It is known that the only Banach space that satisfies the von-Neumann inequality is the Hilbert space:
Theorem (see e.g. Pisier, "Similarity Problems and Completely Bounded Maps", p 27) For a Banach ...
- 5,385
9
votes
0
answers
653
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)...
- 655
8
votes
0
answers
1k
views
Is there any physics theory which is similar to these analogies?
Since I am doing this little "research" project on my spare time and in my physical neighborhood there are not many people to discuss these ideas, I wanted to share with you a small point of ...
- 2,462
8
votes
0
answers
251
views
Struggling with a proof in the preprint 'Hermitian geometry on resolvent set'
I have been struggling for awhile with a particular argument in the paper below. I posted the question first on MathSE, but I got no answers. I understand however that MO might be an overreach for ...
- 81
8
votes
0
answers
285
views
Lax pairs in an abstract formalism
I am reading Integrals of Nonlinear Equations of
Evolution and Solitary Waves by Peter Lax and I'm having a hard time. The methods are pioneering, of course, but Lax does not bother much to provide ...
- 3,328
8
votes
0
answers
189
views
Hilbert spaces over the semi-field $\mathbb R_+$
Let $\mathbb R_+$ be the semi-field of non-negative real numbers.
Definition (preliminary): A Hilbert space over $\mathbb R_+$ is a pair $(H,P)$, where $H$ is a complex Hilbert space, and $P\subset H$...
- 42.5k
8
votes
0
answers
301
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 ...
8
votes
0
answers
5k
views
Convex hulls of compact sets
Let $A$ be a compact set in a separable Hilbert space $H$, and let $\bar A$ denote its convex hull. Is $\bar A$ compact?
- 8,392
7
votes
0
answers
178
views
Is $L^2(I,\mathbb Z)$ homeomorphic to the Hilbert space?
I am somehow puzzled by the subset $G:=L^2(I,\mathbb Z)$ of $H:=L^2(I,\mathbb R)$ of all integer valued functions on $I=[0,1]$ (in fact I mentioned as an example in this old MO question).
Some simple ...
- 56.6k
7
votes
0
answers
223
views
Freys elliptic curves and Hilbert spaces?
Consider the Frey-Hellegouarch curve given $a,b$ positive rational numbers:
$$y^2= x\left(x-\frac{a}{\gcd(a,b)}\right)\left(x+\frac{b}{\gcd(a,b)}\right)$$
The j-invariant is given by:
$$j(a,b) = \frac{...
user6671
7
votes
1
answer
473
views
Discriminant of elliptic curve (Frey-Hellegouarch), j-invariant and positive definite kernels, similarities?
Consider the Frey-Hellegouarch curve given $a,b$ natural numbers:
$$y^3= x(x-\frac{a}{\gcd(a,b)})(x+\frac{b}{\gcd(a,b)})$$
Then the discriminant is given by $\Delta = \Delta(a,b) = 16 \left(\frac{ab(a+...
user6671
7
votes
0
answers
232
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 ...
- 3,328
7
votes
0
answers
264
views
Hilbert space from the Tate pairing
Fix an elliptic curve $E$ over ${\Bbb Q}$ (or if you prefer, something more general over something more general). For each extension $F$ of ${\Bbb Q}$, the Néron-Tate height pairing gives
an inner ...
- 17.5k
6
votes
0
answers
170
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
506
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,291
6
votes
0
answers
107
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
169
views
Functional calculus for the Dolbeault operator over Hilbert C*-modules
$\newcommand{\odd}{\mathrm{odd}}\newcommand{\even}{\mathrm{even}}$Let $X$ be a complex manifold, you can assume it's compact, if necessary. We have the Dolbeault complex $$0 \rightarrow \mathcal{A}^{0,...
- 146
6
votes
0
answers
232
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-...
- 483
5
votes
0
answers
824
views
Is such a Banach space $X$ isometrically isomorphic to a Hilbert space or not?
Let $X$ be a real or complex Banach space. $X$ satisfies:There exists real or complex series $\{a_k\}_{k=1}^n,\{b_k\}_{k=1}^n$ (which satisfies that:$\begin{cases}
a_k,b_k\in \mathbb{R}\ \forall k=1,\...
- 181
5
votes
0
answers
109
views
Multiplier algebra of Fock space
For any vector space, one may form the tensor algebra with multiplication being the tensor product. For a Hilbert space $\mathcal{H}$, the analogous construction is the Fock space
$$
\mathcal{F}(\...
- 439
5
votes
1
answer
403
views
Why is this nonlinear transformation of an RKHS also an RKHS?
I came across this paper (beginning of page 6) where they stated that if $f,h\in \mathcal{H}$, where $\mathcal{H}$ is an RKHS, then $l_{h,f}=\left|f(x)-h(x)\right|^q$ where $q\geq 1$ also belongs to ...
- 363
5
votes
0
answers
424
views
A stronger Cauchy-Schwarz in infinite dimensional Hilbert spaces?
In this MSE and question and this MO question, stronger variants of the classical Cauchy-Schwarz inequality have been suggested in finite dimensional spaces. Can we find similar results for infinite ...
- 597
5
votes
0
answers
177
views
Solutions to holonomic $D$-modules: when are they square-integrable?
I want to apply the theory of $D$-modules to solve operator equations of several variables in the Bargmann space
$$\mathcal H :=\bigg\{\psi \in \mathcal O^\text{an}_{\mathbb{C}^n}\,\,\bigg|\,\,\,\...
- 605
5
votes
0
answers
202
views
Is unitary group paracompact?
In this paper Martin Schottenloher notices that the unitary group $U(H)$ of a separable Hilbert space $H$ is metrizable in the strong operator topology. As a corollary (see R.Engelking, 5.1.3), it is ...
- 7,274
5
votes
1
answer
372
views
Sufficient criteria for $X \subset \mathcal{H}$ to be a Lipschitz (or unif. cont.) retract of $\mathcal{H}$
I am interested in sufficient criteria which ensure that a subset $X$ of a Hilbert space $\mathcal{H}$ is a Lipschitz (or at least uniformly continuous) retract of $\mathcal{H}$.
Under which ...
- 754
4
votes
0
answers
95
views
A question on products of linear combinations of complex matrices
Suppose that $A_1, \dots , A_n, B_1, \dots , B_n \in \Bbb C^{d \times d}$ and that, for every $x \in \mathbb{C}^n$, the following holds
$$\left( \sum_i x_i A_i \right) \left( \sum_i x_i A_i \right)^{...
- 69
4
votes
0
answers
120
views
Maximally fine topologies on $B(H)$ making the unit ball compact
Let $H$ be a Hilbert space, and $B(H)$ its algebra of bounded operators. One of the reasons the Ultraweak topology is (in a way) more useful than the weak operator topology is that the Ultraweak ...
- 180
4
votes
0
answers
167
views
Infinite dimensional topological quantum field theories?
A topological quantum field theory is a functor $Z:Cob(n) \to Hilb$ mapping from the $n$-dimensional cobordisms to $Hilb$, the category of Hilbert spaces with morphisms being bounded linear operators. ...
4
votes
0
answers
148
views
Drinfeld center of a tensor category
Firstly, apologies for the imprecise language, I'm a physicist trying to understand anyonic excitations from the lens of category theory.
If I have a category (say $\operatorname{Rep}(\mathbb{Z}_2)$) ...
- 539
4
votes
0
answers
92
views
What is the native Hilbert space associated with the kernel $\frac{\sum \min{(x_i,y_i)}}{\sum \max{(x_i,y_i)}}$?
In this answer on MSE it is shown that the function
$$ K:(\mathbb{R}^{>0})^n\times (\mathbb{R}^{>0})^n\rightarrow\mathbb{R}\,\quad K(x,y)=\frac{\sum_{i=1}^n\min{(x_i,y_i)}}{\sum_{i=1}^n\max{(x_i,...
- 316
4
votes
0
answers
155
views
Solution without using any k-theory tools
Let $A$ be the UHF-algebra of type $2^{\infty}$. Suppose that $p$ and $q$ are two projections in $A$ and $\tau(p) = \tau(q)$, where $\tau$ is the unique normalized trace. Then there is a partail ...
- 571
4
votes
1
answer
317
views
Boolean ring of unitary divisors / Structure of unitary divisors?
I hope this question is appropriate for MO:
Let $n$ be a natural number, $U_n := \{ d | d \text{ divides } n, \gcd(d,n/d)=1\}$ be the set of unitary divisors.
We can make $U_n$ to a boolean ring:
$$a \...
user6671
4
votes
0
answers
107
views
Is this subspace of $B(\mathcal{H})$ known?
Let $\mathcal{H}$ be a Hilbert space. Suppose that I take a fixed ONB of $\mathcal{H}$ let us call it $\{ e_i \}_{i\in \mathbb{N}}$ and then I define
\begin{align*}
\|T \|_{D} = \sup_{l_i, m_i} \sum_{...
4
votes
0
answers
2k
views
Eigenvalues and spectrum of the adjoint
In a finite-dimensional Hilbert space, the eigenvalues of the adjoint $A^*$ of an operator $A$ are the complex conjugates of the eigenvalues of $A$.
But in infinite dimensions this need no longer be ...
- 3,771
4
votes
0
answers
276
views
Metric projection on CAT(0) tangent cone
Let $(Y,d)$ be a complete and separable CAT(0) space, fix $y \in Y$. Then, consider the tanget cone $(T_yY,d_y)$ at $y$, i.e. the metric cone over the space of directions, and denote by $0_y$ the 'tip'...
- 136
4
votes
0
answers
227
views
Orthonormal Basis of Multi-Dimensional Sobolev Space of Different Orders without Reproducing Kernel
Let $\Omega$ be an open subset of $\mathbb{R}^d$. Under regularity conditions, we know that the $s$-th order Sobolev space $H^s(\Omega)$ with $s \geq d/2$ is a reproducing kernel Hilbert space. In ...
- 1,117
4
votes
0
answers
162
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}(\...
user127450
4
votes
0
answers
99
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(...
- 1,225
4
votes
0
answers
154
views
A modern reference for the "Intermediate Derivatives Theorem"
In the book Non-Homogeneous Boundary Value Problems and Applications I by Lions and Magenes, the Intermediate Derivative Theorem is stated as follows:
Intermediate Derivative Theorem: Let $X\subset ...
- 1,207
4
votes
0
answers
199
views
How can a sequence of functions be dense in L^2
Assume $\Omega$ is a bounded domain in $\mathbb R^d$ with sufficiently smooth boundary. Let $\{\lambda_n,\varphi_n\}_{n=1}^\infty$ be an orthonormal eigensystem of the Laplacian opertor $-\Delta$, ...
- 375
4
votes
0
answers
185
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: \...
- 3,972
4
votes
0
answers
372
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$ ...
- 289
4
votes
0
answers
269
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 ...
- 6,186