Skip to main content

All Questions

Filter by
Sorted by
Tagged with
19 votes
2 answers
2k views

Can we take a supremum over all Hilbert spaces?

In my paper On the optimal error bound for the first step in the method of cyclic alternating projections, I defined functions $f_n:[0,1]\to\mathbb{R}$, $n\geqslant 2$, by $$ f_n(c)=\sup\{\|P_n\dotsm ...
Ivan Feshchenko's user avatar
21 votes
0 answers
732 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 ...
Pietro Majer's user avatar
  • 60.5k
16 votes
2 answers
731 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 &...
Taras Banakh's user avatar
  • 41.8k
13 votes
3 answers
1k views

Is the set of separable quantum states closed?

Let $\mathcal H,\mathcal H'$ be Hilbert spaces (not necessarily separable). A "separable state" is a trace-class operator of the form $\sum_i \rho_i\otimes\rho_i'$ where $\rho_i,\rho_i'$ are positive ...
Dominique Unruh's user avatar
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 $...
T. Le's user avatar
  • 577
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 ...
Ali Taghavi's user avatar
5 votes
1 answer
3k views

Inner product of linear bounded operators between Hilbert spaces

Let $X$ and $Y$ be Hilbert spaces, and let $L(X,Y)$ be the set of bounded linear operators between Hilbert spaces. Can we equip $L(X,Y)$ with a natural inner product? I think it should look like $\...
shuhalo's user avatar
  • 5,327
29 votes
6 answers
9k views

Nonseparable Hilbert spaces

Being nonseparable Banach space is in fact nothing special: one meets the first examples in the standard functional analysis course, when one learns about $\ell^p$ or $L^p[0,1]$ spaces-these spaces ...
truebaran's user avatar
  • 9,330
28 votes
2 answers
1k views

Can an operator have Exp(z) as its characteristic "polynomial"?

Let $\mathcal{H}$ be a Hilbert space, and let $T: \mathcal{H} \rightarrow \mathcal{H}$ be a trace-class operator. Define $$ f_T(z) = \sum_{i=0}^\infty \mbox{Tr}(\wedge^k T) \cdot z^k, $$ the ...
John Wiltshire-Gordon's user avatar
20 votes
12 answers
9k views

The role of completeness in Hilbert Spaces

Why do Hilbert spaces have to be complete? I've been studying (teaching myself about) Hilbert spaces for a while now as they have a habit of popping up in many of the papers I'm come across (I'm a ...
Olumide's user avatar
  • 661
18 votes
2 answers
1k views

compact-open topology on $B(H)$

In topology, it is common to use the compact-open topology on the set of continuous maps between two given topological spaces. Let now $H$ be a Hilbert space and $B(H)$ the set of continuous linear ...
André Henriques's user avatar
15 votes
4 answers
2k views

Naive questions about "matrices" representing endomorphisms of Hilbert spaces.

This is a very basic question and might be way too easy for MO. I am learning analysis in a very backwards way. This is a question about complex Hilbert spaces but here's how I came to it: I have in ...
Kevin Buzzard's user avatar
13 votes
4 answers
5k views

What is known about the Gaussian measure of the unit ball in a Hilbert Space?

Let $X$ be an infinite dimensional separable Hilbert Space with norm $||\cdot||$ and let $\mu$ be a Gaussian measure on $X$ such that $\mu(X) = 1$. What do we know about $\mu(B(0,1))$, where $B(0,1)$ ...
RadonNikodym's user avatar
11 votes
2 answers
2k views

Schur's Lemma for Hilbert spaces

Let $H$ be a complex Hilbert space and let a group $G$ act on $H$ such that there are no invariant closed subspaces besides $H$ and $(0)$. Let $D$ be the ring of bounded operators which commute with ...
David E Speyer's user avatar
10 votes
1 answer
899 views

Approximation of a compactly supported function by Gaussians

Let $f:\mathbb{R}\to\mathbb{R}$ be a smooth function whose support is a closed interval, e.g. $\text{supp}(f)=[a,b]$. Then $f$ can be approximated (e.g. in $L^2$) by a linear combination of Gaussian ...
JohnA's user avatar
  • 710
10 votes
1 answer
593 views

Density of smooth function in Hilbert spaces

I am looking for a simple reference to the following fact: If $f:\Omega\to\mathbb{R}$ is continuous, where $\Omega\subset H$ is an open subset of a separable Hilbert space $H$, then for any $\...
Piotr Hajlasz's user avatar
10 votes
2 answers
606 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 "bipartite" characterization of metric spaces that admit an isometric embedding into a Hilbert space. This Theorem (??)...
Taras Banakh's user avatar
  • 41.8k
9 votes
5 answers
870 views

Abelianization of GL(H)

This is related to Theo's question about the abelianizations of finite dimensionsal Lie groups. I am interested in a specific (infinite-dimensional) case of the above question. Let H be an infinite-...
Mike Hartglass's user avatar
8 votes
0 answers
6k 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?
Tom LaGatta's user avatar
  • 8,512
8 votes
1 answer
522 views

Are the following subsets of a Hilbert space always homeomorphic?

Let $F$ be a infinite-dimensional complex Hilbert space, with inner product $\langle\cdot\;| \;\cdot\rangle$, the norm $\|\cdot\|$, the 1-sphere $S(0,1)=\{x\in F;\;\|x\|=1\}$ and let $\mathcal{B}(F)$ ...
Schüler's user avatar
  • 724
7 votes
2 answers
464 views

Representing an $L^2$-functional by a non-$L^2$-function on a dense subspace

Let $(X, \mu)$ be your favourite measure space (finite or $\sigma$-finite if you like), let $g \in L^2$ (say, the scalar field of $L^2$ is $\mathbb{R}$, though this probably doesn't matter). Let $\...
Jochen Glueck's user avatar
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. ...
Zerox's user avatar
  • 1,543
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 ...
Sanchayan Dutta's user avatar
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 ...
erz's user avatar
  • 5,529
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 \...
Hheepp's user avatar
  • 371
5 votes
2 answers
310 views

Error estimate in the spectral theorem of compact operators on a Hilbert space

Given a compact self-adjoint operator $K$ mapping $L^2(\mathbb{R}^d) \rightarrow L^2(\mathbb{R}^d)$ as $f \rightarrow \int K(x,y) f(y) d\mu(y)$, let us define its eigenvalues $\lambda_i$ and eigen-...
gradstudent's user avatar
  • 2,246
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 (...
Arnold Neumaier's user avatar
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, ...
LCO's user avatar
  • 506
4 votes
2 answers
433 views

A homeomorphism between the unit interval $[0,1]$ and a linearly independent subset of a Hilbert space

Let $H$ be a infinite dimensional, separable Hilbert space over $\mathbb{C}$ Let $B$ a subset of $H$ such that $B$ is linearly independent and such that exists a homeomorphism $f : [0,1] \to B$ ...
Matey Math's user avatar
4 votes
3 answers
1k views

Set of invertible operators in B(H) is connected. Is it true? Is there a reference?

Suppose $H$ is a Hilbert space, $B(H)$ is the algebra of bounded linear operators on it, $K(H)$ is ideal of compact operators in $B(H)$, $Inv(B(H)/K(H))$ is the topological group of invertible ...
Fiktor's user avatar
  • 1,284
4 votes
2 answers
730 views

Finite dimensional approximations of operators on Hilbert spaces

Let $e_1,e_2,\dots$ be a Schauder basis for a Hilbert space $(V , \langle \cdot , \cdot \rangle)$. Let $A:V \to V$ be an operator. Finally, let $V_n = {\rm span}( e_1, \dots, e_n)$. Let $i_n : V_n \...
hoj201's user avatar
  • 614
4 votes
1 answer
386 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
4 votes
1 answer
174 views

A map into a Hilbert space with prescribed orthogonality

Let $X$ be a locally compact separable metric space, and let $L:X\times X\to \mathbb{C}$ be continuous and such that $L(x,x)=1$ and $L(y,x)=\overline{L(x,y)}$, for every $x,y$. Does there always ...
erz's user avatar
  • 5,529
2 votes
1 answer
958 views

Do kernels provide a basis for a RKHS?

Let $H$ be a Reproducing Kernel Hilbert Space with elements $f:X\rightarrow \mathbb{C}$, with kernel $K(x, y)$. My question is whether, for some choice of $x_i\in X$, it is the case that $u_i:=K(x_i, \...
gappy3000's user avatar
  • 461
2 votes
1 answer
238 views

Hilbert-irreducible Banach space

A Banach space $X$ is called Hilbert-irreducible if it satisfies the following condition: If a subspace $Y\subset X$ satisfies the parallelogram equality, then $Y$ is necessarilly a one ...
Ali Taghavi's user avatar
2 votes
1 answer
520 views

Fréchet derivative of evaluation-like functional (multivariate)

I'm fairly new to functional calculus but and posting here since the question seems more appropriate than for MSE. When coming across this post I could not help but wonder the following. Let $H$ be ...
ABIM's user avatar
  • 5,405
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
1 vote
2 answers
220 views

A question on unit norm elements of $\ell^2 \setminus \bigcup_{0<p<2 }\ell^p$

Let $A\subset \ell^2$ consist of all $x\in \ell^2$ with $|x|_2=1$ which does not belong to any $\ell^p$ for all $0<p<2$. Note that $A$ is non-empty with a Baire category argument. I ...
Ali Taghavi's user avatar
1 vote
0 answers
110 views

Properties of Sobolev spaces $W^{k,p}(\Omega, E)$ where $E$ is a Banach space

$\newcommand{\R}{\mathbb R}$Let $E$ be a Banach space with norm $\|\cdot\|_E$ and let $\Omega\subset \R^n$ be an open set. For $k\geq 0, p\geq 1$ we define $W^{k,p}(\Omega, E)$, the Sobolev space of ...
Overflowian's user avatar
  • 2,533
1 vote
0 answers
922 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(...
Rajesh D's user avatar
  • 698
0 votes
1 answer
421 views

Canonical embedding of Hilbert space in $L^2$ space

Let $H$ be a Hilbert space. I am interested in isometries $f\colon H\to L^2(X,\mu)$ where $\mu$ is a probability measure on some measure space $X=(X,\mathcal F)$ where $\mathcal F$ is a $\sigma$-...
pre-kidney's user avatar
  • 1,329
0 votes
0 answers
191 views

Canonical embedding of Hilbert space in random $L^2$

This question is a followup of Canonical embedding of Hilbert space in $L^2$ space, where it was essentially shown that there is no canonical way to construct, from an abstract Hilbert space $H$, a ...
pre-kidney's user avatar
  • 1,329
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,529
0 votes
0 answers
98 views

Does weak $L^2$ approximation implies $L^2$ approximation under a condition similar to convexity?

(Cross posted from Math StackExchange: Does weak $L^2$ approximation implies $L^2$ approximation under a condition similar to convexity?) Assume $(\Omega, \mu)$ is a probability space. Consider a ...
David Gao's user avatar
  • 2,830
-3 votes
1 answer
76 views

Minimal norm problem with linear combination of translation operator to be estimated

Follow up question from this one Suppose $X = L^2(G)$, where $G$ is some locally compact group. Let $x, y \in G$ I for fixed $n$ I am seeking for an operator $H \in B(X)$ of the form $$ H = H(\alpha_1,...
user8469759's user avatar
-4 votes
2 answers
530 views

Inverse square-law as a positive definite kernel?

Newtons law for gravity states that: $$F_{12} = \frac{G m_1 m_2} {|x_1-x_2|^2}$$ The function : $$k(x,y):=\exp(-| x-y|^2)$$ is known to be a positive definite function, called the RBF-kernel. It ...
mathoverflowUser's user avatar