All Questions
63 questions
2
votes
0
answers
63
views
Lipschitz retraction constant of $B^+$ into $S^+$ in $L^2([0,1])$
In Hilbert space modeled by $L^2([0,1])$ we can define a set $B^+=\{x\in B(0,1): x(t)\geq0 \quad \forall t\in [0,1] \}$ and $S^+=\{x\in S(0,1): x(t)\geq0 \quad \forall t\in [0,1] \}$ where where $B(...
5
votes
1
answer
206
views
Compactness in trace class operators space
Let $H$ be a separable Hilbert space. Let $L_1$ denote the space of trace class operators on $H$ with the trace-class norm $\|\cdot\|_1$, i.e. $\|K\|_1=Tr|K|$ for all $K\in L_1$.
Are there easy ...
- 59
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 ...
- 356
2
votes
0
answers
88
views
Dependence and $L^2$ projections of functions
tl;dr: Is it possible that the best approximation to a nonnegative function of three variables with a bivariate function is no better than the best univariate function?
Let $w$ be a density on $\...
- 21
2
votes
1
answer
136
views
Is there a scalar product which makes orthonormal the family of complex functions $ (f_n)_{ n \geq 1 } $?
Let $ (f_n)_{ n \geq 1 } $ be a family of complex functions defined as follow,
$ \forall n \geq 1 $,
$$ f_n (z) = \dfrac{1}{n^{z}} $$
I would like to ask you if it is possible to construct a ( non-...
- 595
2
votes
1
answer
126
views
Subspaces of $C_0$ on which $p$-norm are equivalent?
I have a question concerning the generalization of the following fact.
Let $E = C^0([0,1],\mathbb{R})$ endowed with the $\|.\|_\infty$ norm. One can show that if $F$ is a subspace of $E$ for which ...
- 125
-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,...
- 115
5
votes
0
answers
899
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
2
votes
2
answers
167
views
LF or LB space that happens to be finite dimensional
Let $\{V_n\}_{n=1}^\infty$ be a collection of finite dimensional vector subspaces of $L^2[0,1]$ such that $V_n \subset V_{n+1}$ and $\bigcup_{n=1}^\infty V_n$ is dense in $L^2[0,1]$. Suppose further ...
- 3,477
1
vote
1
answer
89
views
Representing an $L^2$-functional by a non-$L^2$-function on a dense subspace - Part II
This is a follow-up to this previous question, but under stronger assumptions.
Let $(X, \mu)$ be a (say, $\sigma$-finite) measure space, let $g \in L^2$ (say, over the real
scalar field). Let $\tilde ...
- 12.5k
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
3
votes
3
answers
319
views
Do these properties characterize Hilbert spaces?
Suppose $X$ is a Banach space with the following property: For any $x\in X$ there exists a two dimensional subspace $E$ isometric with $l_2^2$ such that $x\in E$. Does this property characterize a (...
- 1,361
5
votes
1
answer
385
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
0
votes
1
answer
278
views
A reproducing kernel Hilbert space
A functional Hilbert space $\mathscr H=\mathscr H(\Omega)$ is a Hilbert space of complex valued functions on a (nonempty) set $\Omega$, which has the property that point evaluations are continuous i.e....
- 1,154
8
votes
1
answer
446
views
Parallelogram law for vectors of equal length
Does the parallelogram law for vectors of equal length imply the full parallelogram law? That is,
if for all norm one vectors $x$ and $y$ in a Banach space $X$ it holds that $\lVert x-y\rVert^2+\lVert ...
- 1,361
0
votes
1
answer
267
views
Determine if an integral expression is in $L^2(\mathbb{R})$
Note: This is a simplified version of the following question. I did not get a full response and realized can make it simpler to have my main interrogation answered. I decided to write it as a ...
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 ...
- 2,533
3
votes
2
answers
135
views
Unicellular compact operators
An operator $T$ on a separable Hilbert space $H$ is called unicellular if any two closed invariant subspaces $M$ and $N$ are comparable; that is either $M\subseteq N$ or $N\subseteq M$. There are many ...
- 1,361
4
votes
1
answer
273
views
Name for certain property of equivalent norms on finite-dimensional subspaces of a Banach space
Let $X=(X,\|\cdot\|)$ be a Banach space and suppose that $F\subset X$ is a finite-dimensional subspace. There is then an equivalent norm $|\cdot|$ on $F$ such that $|\cdot|$ is induced by an inner ...
- 201
3
votes
1
answer
261
views
norm estimates for Schatten class
Let $C
_p$ be the Schatten-p-classes on a separable Hilbert spaces, $p\ge 1$.
Let ${\rm Tr}$ be the standard trace.
Let $y\in C_p$ be a self-adjoint operator (or even a positive operator) and let $...
- 617
3
votes
1
answer
157
views
Operator in the commutant which is small on a given vector
Suppose $x$ is a non-zero vector in a Banach space, and $T$ is a fixed operator. Is the following true:
For any $\varepsilon, \delta$, there exists $S$ in the commutant of $T$ such that $1\leq\|S\|<...
- 1,361
4
votes
1
answer
377
views
Closure of the space of Fredholm operators
Let $X,Y$ be two Banach spaces.
A bounded operator $A$ is Fredholm if $\ker A$ and $\mathrm{coker} A$ are finite dimensional. Denote by $Fred(X,Y) \subset \mathcal{L}(X,Y)$ the space of Fredholm ...
- 2,533
1
vote
1
answer
144
views
What's the size of non standard monad for weak topology?
There have been several works characterizing weak topology by nonstandard analysis, which give rise to the following monad ($X$ is a Hilbert space):
$$\mu(0) = \{y\in{}^{*}X: \forall x\in X ~~ \...
- 75
11
votes
0
answers
388
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,529
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 ...
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,873
2
votes
0
answers
55
views
A holomorphic map into a Hilbert space with prescribed orthogonality
This is a variation of my previous question.
Let $X\subset \mathbb{C}^n$ be a domain, and let $L:X\times X\to \mathbb{C}$ be such that $L(x,x)>0$, $L(y,x)=\overline{L(x,y)}$ and $L(\cdot,y)$ is ...
- 5,529
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 ...
- 5,529
3
votes
1
answer
285
views
Closable unbounded operators and Banach space adjoints
For an unbounded operator $T:\mathcal{H}_1 \to \mathcal{H}_2$, if its adjoint $T^*$ is densely defined, then we know that $T$ is closable. What happens if we replace $\mathcal{H}_1$ or $\mathcal{H}_2$ ...
- 969
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
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 ...
- 710
0
votes
1
answer
80
views
Vectors concentrated on one coordinate
Suppose $X$ is a Banach space, $(e_i)$ a normalized basis, $(e_i^*)$ the biorthogonal functionals, and $Y$ a finite codimensional subspace of $X$. Given $N$ and $\varepsilon$, can we find $x\in Y$ ...
- 247
2
votes
1
answer
397
views
Can a bijection between function spaces be continuous if the space's domains are different?
It is well-known that any bijection $\mathbb{R} \rightarrow \mathbb{R}^2$ cannot be continuous. But suppose we have the two spaces $A = \{f(x):\mathbb{R^2}\rightarrow \mathbb{R} \}$ and $B = \{f(x):\...
- 545
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
4
votes
2
answers
244
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 ...
- 41.8k
15
votes
2
answers
660
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 ...
- 247
1
vote
1
answer
153
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-...
- 119
1
vote
1
answer
112
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^{-...
- 13
8
votes
1
answer
305
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,361
5
votes
1
answer
197
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$.
...
- 4,058
2
votes
1
answer
387
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 ...
- 433
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)$ ...
- 724
1
vote
0
answers
127
views
A point in Ion Suciu's paper on semigroups of isometric operators
My question is concerned a point in this 1968 paper by Ion Suciu which is given in Theorem 2. In the last paragraph of page 104, it is claimed that $N$ (given in the formula 2.5) is a wandering ...
- 4,058
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$ ...
- 433
1
vote
1
answer
200
views
The intersection of closure of span of infinite, linearly independent, closed, bounded, separated subsets of $\ell^2$
Let $X$ and $Y$ be two subsets of $\ell^2$ space over $\mathbb{C}$ such that: $X \cup Y$ is linearly independent, $X \cap Y = \emptyset$ and $\inf_{x \in X, y \in Y} \| x-y \|>0$ and such that each ...
- 433
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
3
votes
3
answers
2k
views
Determining if a set is a Basis for l^2
For each $ n\ge 1$ Define the vectors $e_n = (e_{nk})$ where $ k\ge 1$ and $ e_{nk} = \frac{1}{k^n}$
Is this set a basis for $l^2$?
Thanks,
- 4,135
4
votes
1
answer
411
views
Abstract Definition of a Reproducing Kernel Hilbert Space
This is a very basic question about the definition of a reproducing kernel Hilbert space (RKHS).
It seems the standard definition of a RKHS is as a Hilbert space $H$ of functions on some set $X$ ...
- 1,307
0
votes
0
answers
263
views
Does AX+XA=0 have any non-trivial solutions?
Let $X$ be a continuous linear self-adjoint operator on some Hilbert space $H$ and for arbitrary compact operators $A$ we have: $XA+AX=0.$ Does this imply that $X=0$ or can there be non-trivial ...
- 305
1
vote
0
answers
220
views
About the projection on the unit sphere
Let $H$ be a Hilbert Space and let $A\subset H$ be a connected set such that any two elements of $A$ are linearly independent and also $A^{\bot}=\left\{0\right\}$ (this seems to be immaterial). Is ...
- 5,529