Skip to main content

All Questions

Filter by
Sorted by
Tagged with
0 votes
0 answers
59 views

Restriction to Basis of Cadlag function

If $f \in L^2([0,T])$ then it can be written as $$ f(t) \triangleq \sum_{i \in \mathbb{N}} c_i e_i(t), $$ for some sequence $\{c_i\}$ of real numbers and a Schauder basis $\{e_i(t)\}$ of $L^2([0,T])$ ...
ABIM's user avatar
  • 5,405
2 votes
2 answers
1k views

Are coordinate functions on topological vector spaces always continuous?

Let $V$ be a Hausdorff locally convex topological vector space over the field $\mathbb{K}$. Let $B$ be a subset of $V$ such that $\;$ for all functions $c : B\to \mathbb{K}$, if $\displaystyle\sum_{...
user avatar
0 votes
0 answers
144 views

Unitarizability of group representations

Let $G$ be a Lie (or more general) group. Consider its continuous representation in a Banach space by isometries, i.e. preserving the Banach norm. Under what conditions this representation is ...
asv's user avatar
  • 21.8k
0 votes
2 answers
205 views

ANR Subsets of banach spaces

I need a reference for conditions on a closed subspace of a Banach space to have the homotopy type of an ANR.
Nicolas Boerger's user avatar
5 votes
0 answers
206 views

On a variant of Eidelheit's theorem

A theorem of Eidelheit from 1940's asserts that two Banach spaces $X$ and $Y$ are isomorphic if and only if $L(X)$ and $L(Y)$, the algebras of all bounded linear operators, are isomorphic as Banach ...
J.D. Bright's user avatar
6 votes
1 answer
1k views

Must a surjective isometry on a dual space have a pre-adjoint?

Background: Let $X$ be a Banach space. We know a linear map $h$ is a surjective isometry of $X$ if and only if its adjoint $h^*$ is a surjective isometry of $X^*$. In general, a linear map $g:X^* \...
user13391's user avatar
0 votes
0 answers
115 views

When do block sequences yield disjoint subspaces?

Let $X$ be a Banach space having a (unconditional, normalized) Schauder basis $(e_n)_n$. Suppose that $Y$ and $Z$ are (closed) block subspaces of $X$ having normalized block bases (with respect to $(...
Iian Smythe's user avatar
  • 3,115
6 votes
0 answers
307 views

a question about Tsirelson's space

NOTE: I asked this question over at math.stackexchange.com but got no answer or comments after 3 days, probably because it's a bit specialized. Hopefully it is interesting enough to ask over here. ...
Ben W's user avatar
  • 1,591
9 votes
1 answer
893 views

Perturbations of an operator that disconnect the spectrum

The following question came to me while working on a technical matter about transversality in infinite dimension, and I'm really curious to know whether it has an affirmative answer at least under ...
Pietro Majer's user avatar
  • 60.5k
5 votes
0 answers
598 views

Do the banded operators check the invariant subspace problem?

Let $H$ be an infinite dimensional separable Hilbert space and $B(H)$ the algebra of bounded operators. Invariant subspace problem: Let $T \in B(H)$. Is there a non-trivial closed $T$-invariant ...
6 votes
1 answer
249 views

What is the doubling dimension of convex functions?

I am interested in the complexity of convex functions, specifically the "doubling dimension" of the class of convex functions defined on a compact subset of Euclidean space, when compared using the $L^...
sd234's user avatar
  • 173
6 votes
0 answers
3k views

Projective and injective tensor product

It is well known that for arbitrary Banach spaces $X$ and $Y$ we have that the dual space $(X \hat{\otimes}_{\pi} Y)^* = \mathcal{L}(X, Y^*)$. If we take $\ell^p$ and $\ell^q$ such that $p < q^{\...
3 votes
2 answers
340 views

Perturbing upper-semi Fredholm operators

Let $T\colon X\to X$ be an upper-semi Fredholm operator acting on a $B$-space $X$ (the range of $T$ is closed and kernel is finite-dimensional) with complemented range. Suppose $S\colon X\to X$ is ...
Olaf Kummers's user avatar
1 vote
0 answers
174 views

Estimates of entropy of functional spaces

Let $M^n$ be a compact $n$-dimensional manifold. For $k\geq 0$ let us denote by $C^k(M)$ the Banach space of $k$ times continuously differentiable functions, and $B_{C^k}$ denote the unit ball of it. ...
asv's user avatar
  • 21.8k
1 vote
0 answers
80 views

Uniform limit of m-homogeneous polynomials over compact subsets of a Banach Space

I am trying to solve problem 1.2.A from Mujica's book "Complex Analysis in Banach Spaces". We denote by $\mathcal{P}_a(^mE;F)$ the space of all $m-$homogeneous polynomials from $E$ into $F$, ...
Victor Ronchim's user avatar
1 vote
0 answers
281 views

Clarkson's inequalities for Banach space valued functions

In standard analysis, Clarkson's inequalities expresses the norms of the sum and difference of two functions in $L^p$ in terms of the norms of the individual functions. In particular, one may use the ...
Joakim Arnlind's user avatar
4 votes
2 answers
519 views

Factorization through $\ell_{1}$ and operator ideals

Recently, I bumped into the class of operators that factor through $\ell_{1}(X)$ for some set $X$. For now, $X$ is a set with arbitrary cardinality but if it leads to a more concrete answer to my ...
G. Rodrigues's user avatar
  • 1,848
6 votes
1 answer
404 views

Unique preduals up to (nonisometric) isomorphism?

It's well known that there are Banach spaces which has a unique isometric predual-- for example, any von Neumann algebra. As other questions on here (for example, Isomorphisms of Banach Spaces ) ...
Matthew Daws's user avatar
  • 18.7k
3 votes
1 answer
389 views

Continuity of lattice operations in Banach lattices

Let $L$ be a Dedekind-complete Banach lattice. Let $\mathcal{B}$ be the family of nonempty norm-compact subsets of $L$ that are bounded from below. Endow $\mathcal{B}$ with the topology induced by ...
Rabee Tourky's user avatar
9 votes
1 answer
996 views

Topological "Interpolation" ?

Let E be a normed space, and let $T$:E * $\rightarrow$ E * be a nonlinear operator. Suppose that : 1) $T$ is continuous from (E *, ||.||) to itself (i.e., it is norm-continuous). and 2) $T$ is ...
Ady's user avatar
  • 4,060
5 votes
1 answer
599 views

Closed operators and duality

Usually we would define a "densely defined, closed operator" on a Banach space $E$ to be a linear map $T:D(T)\rightarrow E$, where $D(T)$ is a dense subspace of $E$, and the graph of $T$, $G(T)=\{ (x,...
Matthew Daws's user avatar
  • 18.7k
4 votes
1 answer
521 views

Basic sequences in $\ell_p$

Let $p\in [1,\infty)\setminus\{2\}$. Suppose $(e_n)$ is a basic sequence in $\ell_p$ (or $L_p$) equivalent to the basis of $\ell_p$ ($L_p$). Is there a subsequence $(e_{n_k})$ such that $[e_{n_k}]$ is ...
Olaf Kummers's user avatar
3 votes
0 answers
168 views

Norm condition in a Banach lattice

Consider the following "condition (J)" on the norm of a (real or complex) Banach lattice $E$: whenever $x$ and $y$ are disjoint (i.e., $|x|\wedge |y|=0$) then $\|x+y\|+\|x-y\|=2\|x\|+2\|y\|$. ...
Fred Dashiell's user avatar
0 votes
0 answers
156 views

Compact Approximation

This thread originated from MSE: Compact Approximation This is meant as lemma for: Approximation Property Given a Banach space $E$. Denote compact domains by $\mathcal{C}$. Denote compact ...
C-star-W-star's user avatar
1 vote
0 answers
163 views

The category of discontinuous Banach spaces

A banach space is discontinuous if it is isometric to $DC(X)$ for some Hausdorff topological space $X$. ($DC(X)$ is defined here. We denote by $DBan$, the category of all discontinuous ...
Ali Taghavi's user avatar
4 votes
2 answers
707 views

Selecting basic sequences

Suppose $(x_\alpha)_\alpha$ is an uncountable, linearly independent family of norm one vectors in a Banach space. Can one always select a basic sequence (or at least a minimal system) from this family?...
Adi Tcaciuc's user avatar
11 votes
1 answer
654 views

Nonseparable Hilbert spaces as quotients of spaces of bounded functions

Is the following result true: the Hilbert space $\ell^{2}\left(2^{\Gamma}\right)$ is a quotient of $\ell^{\infty}\left(\Gamma\right)$ for any uncountable $\Gamma$ ? [I think it is, but cannot remember ...
Ady's user avatar
  • 4,060
2 votes
2 answers
816 views

Principle of Local Reflexivity

I'm having a hard time trying to understand a proof of the Principle of Local Reflexivity. I'm following the proofs from 1) Topics in Banach Space Theory (by Fernando Albiac, Nigel J. Kalton) 2) ...
Rafael's user avatar
  • 151
2 votes
0 answers
267 views

Banach space interpolation theory in terms of categories

I have recently learned a bit about higher category theory. And there is a question I would like to ask. Can we enrich banach space interpolation theory by using higher category theory? Is it ...
Rauan Akylzhanov's user avatar
3 votes
0 answers
642 views

question about bidual normed space

Consider a Banach $\mathbb{R}$-space E and an element $u\in E''$ such that : for all sequence $\phi_n\in E'$ which $\sigma(E',E)$-converges to $\phi \in E'$, one has $\lim u(\phi_n)=u(\phi)$. Is it ...
Terry Grashin's user avatar
4 votes
1 answer
360 views

Density character of $\ell_\infty(\kappa, S)$

Let $S$ be an uncountable set. Consider the subspace $\ell_\infty(\kappa, S)$ of $\ell_\infty(S)$ formed by all functions with support of cardinality at most $\kappa$ (here $\kappa<|S|$). Certainly,...
Jan Veselý's user avatar
5 votes
1 answer
484 views

Complemented Subspaces and Riesz-Thorin interpolation

Riesz-Thorin interpolation may sometimes be applied to subspaces (of $\ell^p$ or $L^p$) when these are complemented and the spaces in the complementation comes from a common dense subspace. To be a ...
ARG's user avatar
  • 4,432
-1 votes
2 answers
407 views

Almost isometric subspaces of $\ell_p$

1) Given $p\in (1,\infty)$. 2) Let us fix two, non-isometric subspaces $X,Y\subseteq \ell_p$ isomorphic to $\ell_p$. 3) Are there an $\varepsilon\in (0,1)$ and an isomorphism $S\colon X\to Y$ such ...
Jan Veselý's user avatar
1 vote
1 answer
340 views

Reflexive Besov spaces

I don't know whether the Besov space $B^1_{1,1}$ on a one dimensional torus is reflexive or not? Can someone help me please?
Tan Bui's user avatar
  • 13
1 vote
0 answers
198 views

Measurability of a map that takes a functional to its composition with a linear operator

Let $(X,\Sigma_X)$ be a measurable space such that $\Sigma_X$ is countably generated. Let $B_b(X)$ be the Banach space of all bounded $\Sigma_X$-measurable functions $X\to\mathbb{R}$ equipped with the ...
user avatar
3 votes
0 answers
104 views

independent symmetric 3-valued random variables in Lp

Consider the following excerpt from this paper: Given $1<p<2$, $0<w\leq 1$ and $n\in\mathbb{N}$, we fix once and for all a sequence $f_j^{(n)}=f_{p,w,j}^{(n)}$, $1\leq j\leq n$, of ...
Ben W's user avatar
  • 1,591
8 votes
0 answers
357 views

Ultrapowers of Banach spaces without the continuum hypothesis

Let $\mathcal{U}$ be a non-trivial ultrafilter on the set of integers $\mathbb{N}$, and let $C(K)$ denote the Banach space of continuous functions on a compact $K$. Under the continuum hypothesis CH, ...
M.González's user avatar
  • 4,461
0 votes
0 answers
127 views

Approximation Property: Characterization

Problem Given a Banach space $E$. Denote compact sets by $\mathcal{C}$, compact operators by $\mathcal{C}(X,Y)$, and finite rank operators by $\mathcal{F}(X,Y)$. Suppose it has the approximation ...
C-star-W-star's user avatar
5 votes
1 answer
578 views

Infimum over all vector-valued L^2 spaces

Suppose I have a Banach space $E$ (which may be finite dimensional if you wish), a Hilbert space $H$ and a tensor $\tau \in H\otimes E$ in the algebraic tensor product. There are lots of ways to ...
Matthew Daws's user avatar
  • 18.7k
3 votes
1 answer
653 views

Converse of the taylor's theorem in Banach Spaces

I would like to known if the following converse of the taylor's theorem is true: Let $E$, $F$ Banach spaces, and $f:E\rightarrow F$ continuous. Suppose there are $k$ continuous functions $T_i: E \...
Ferraiol's user avatar
  • 121
5 votes
2 answers
765 views

Can we distinguish the algebraic and continuous duals of a Banach space without choice (or HBT)?

The algebraic dual of a normed vector space is the space of all linear functionals to the ground field (either $\mathbb{R}$ or $\mathbb{C}$ for this question). The continuous dual is the subspace of ...
Andrew Stacey's user avatar
0 votes
1 answer
382 views

Double duals characteristic [closed]

Recall that (for $1\le p<\infty$), $\ell^p = \{\{a_n\}_{n=1}^\infty:\sum\limits_{i=1}^\infty|a_i|\lt\infty\}$, with norm $||\{a_n\}||=(\sum\limits_{i=1}^\infty|a_i|^p)^{\frac{1}{p}}$. It is well ...
student's user avatar
  • 13
0 votes
0 answers
362 views

Banach-Mazur distance estimate finite-dimensional $\ell_p$ spaces

Hey my fellow Banach space guys. Sorry for another elementary question, and yes I have looked for the past hour and a half to see if I can find it on Google or in my books at home. Fix $n\in\mathbb{...
Ben W's user avatar
  • 1,591
2 votes
1 answer
207 views

tensorial product with Lp

Let us consider E a finite-dimensional normed space on $\mathbb{R}$ and a real number $p\geq 1$. Is it true that the projective tensorial product $E \widehat{\otimes}_\pi L^p(\mathbb{R},\mathbb{R})$ ...
django's user avatar
  • 111
4 votes
2 answers
340 views

Embeddings of Weighted Banach Spaces

Let be $d$ a positive integer, $\Omega=\mathbb{R}^{\mathbb{Z}^d}$ and fix $R\geq 2$. We define weighted Banach spaces $$ \Omega_p:=\left\{ x\in \Omega\left| \left[\sum_{i\in\mathbb{Z}^d}\frac{|x_i|^...
Leandro's user avatar
  • 2,044
8 votes
0 answers
1k views

Strictly singular operators and their adjoints

This is a question I thought about a while back and figured I'd throw it out there to see if anyone has some insight that I am missing. Let $X$ and $Y$ be infinite dimensional separable Banach ...
Kevin Beanland's user avatar
1 vote
0 answers
85 views

Coersivity of a bilinear form [closed]

I need to proof the coersivity of the following bilinear form. a,b and c are scalars, u is the velocity vector field and p is the pressure. Any help is much appreciated! $$ B(\textbf{u},\textbf{v}) = ...
mica's user avatar
  • 11
1 vote
1 answer
160 views

Contractively complemented subspaces without contractively complemented complement

Can someone give me an example of a Banach space $X$ and contractive projection $P\in\mathcal{B}(X)$ such that $\ker P$ is not a range of any contractive projection $Q\in\mathcal{B}(X)$?
Norbert's user avatar
  • 1,697
2 votes
1 answer
372 views

Complementable subspaces of $(c_{00}(S),\Vert\cdot\Vert_1)$

Let $\ell_{1,0}(S)=(c_{0,0}(S),\Vert\cdot\Vert_1)$ be a space of functions on a set $S$ with finite support, endowed with $\ell_1$ norm. Could you answer the at least one of the following questions ...
Norbert's user avatar
  • 1,697
7 votes
0 answers
293 views

Complex interpolation of a Banach space and its antidual when the space has a basis

Given a complex Banach space $X$ and its antidual $\hat X^*$, it is possible in some cases to apply the complex interpolation method, and get as $(X,\hat X^*)_{1/2}$ a Hilbert space. See [F. Watbled, ...
M.González's user avatar
  • 4,461