Skip to main content

All Questions

Filter by
Sorted by
Tagged with
0 votes
1 answer
861 views

Norms agreeing on dense subspace [closed]

Suppose $(B,\|\cdot\|)$ is a Banach space, $V\subset B$ a dense subspace, and $V$ is equipped with a norm $\|\cdot\|_V$ such that $\|x\|_V = \|x\|$ for all $x\in V$. Is $(B,\|\cdot\|)$ a completion ...
Nemis L.'s user avatar
  • 143
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
0 votes
1 answer
483 views

Absolute norms and 1-unconditional sums

Absolute norm Let $X$ and $Y$ be Banach spaces. Let $Z=X\times Y$ a norm $\|\cdot\|_N$ on $Z$ is called absolute if there is a function $N\colon R^2\rightarrow R$ such that $$ \|(x,y)\|_N=N((\|x\|, \|...
Joss's user avatar
  • 3
6 votes
1 answer
548 views

Non-super reflexive space

Suppose $X$ is a reflexive space (possibly non-separable) which is not super-reflexive. Then (by definition) there exists a non-reflexive Banach space $Y$ which is non-reflexive but is finitely ...
Bojan Kwitek's user avatar
12 votes
0 answers
435 views

Uniform closure of subspaces of Baire class 1

Describe a uniformly closed linear subspace $A \subset C([0,1])$ such that the space $B_1(A)$ is not uniformly complete. Here $B_1(A)$ is the set of all bounded functions $f$ which are pointwise ...
Fred Dashiell's user avatar
4 votes
1 answer
498 views

Generator of a $C_0$-semigroup restricted to a subspace

Suppose we have a decreasing filtration of Banach spaces $(E_t)_{t\geq0}$, inclusions $V_{s+t,t}:E_{s+t}\to E_t$ and projections $P_{t,s+t}:E_t\to E_{s+t}$ such that $P_{t,s+t}V_{s+t,t}=I_{E_{s+t}}$. ...
Ollie's user avatar
  • 1,411
5 votes
0 answers
425 views

Reflexive-saturated Banach spaces

Say that a Banach space $X$ is strongly saturated by reflexive subspaces if every closed subspace $Y\subset X$ contains a further reflexive subspace $Z\subset Y$ with $\mbox{dens }Y=\mbox{dens Z}$. If ...
Bojan Kwitek's user avatar
4 votes
1 answer
351 views

split of s.e.s. of Banach spaces

Let $l^{\infty}$ be the Banach space of all bounded real sequences with the $sup$-norm and $c$ the closed subspace of convergent sequences. Is there a continuous linear map $T: l^{\infty} \rightarrow ...
Jens Reinhold's user avatar
7 votes
0 answers
708 views

Minkowski's Inequality for Integrals in Orlicz spaces

EDIT: I have changed the question to have less parameters, fitting it into the context of Orlicz spaces. Suppose $f:[0,\infty)\to[0,\infty)$ is convex and increasing, $f^{-1}:[0,\infty)\to[0,\infty)$...
Daniel Spector's user avatar
3 votes
1 answer
236 views

Embedding of $\ell_p$ into infinite direct sums

Let $p\in (1,\infty)$ and let $q$ be conjugate to $p$. Is there a subspace of $\ell_1(\ell_p)$ isomorphic to $\ell_q$? Of course, I am uninterested in the case $p=2$.
Bojan Kwitek's user avatar
4 votes
1 answer
419 views

Pitt's theorem for non-separable $\ell_p$ spaces

A short variant of Pitt's theorem is the followig: for $1\leq p < r <\infty$ holds $$ \mathcal{B}(\ell_r(\mathbb{N}),\ell_p(\mathbb{N}))=\mathcal{K}(\ell_r(\mathbb{N}),\ell_p(\mathbb{N})) $$ Now ...
Norbert's user avatar
  • 1,697
6 votes
2 answers
426 views

Ultrapowers of operators

Can we prove that for each infinite dimensional Banach space $X$ and any free ultrafilter (possibly over uncountable set of indices) $\mathcal{U}$ the obvious embedding $$({\mathcal{L}(X)})_{\mathcal{...
Slavoj Žižek's user avatar
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
0 votes
1 answer
229 views

Complemented subspaces of $\ell_p(I)$ for uncountable $I$

I was looking for an article mimicing result of Pelczynski for $\ell_p$. I have found this one Rodriguez-Salinas, B. (1994). On the Complemented Subspaces of $c_0(I)$ and $\ell_p(I)$ for $1 < p &...
Norbert's user avatar
  • 1,697
9 votes
3 answers
4k views

Projections in Banach spaces

Dear All, I am absolutely lost in the following problem: Let $P_s, \: s \in [0,1],$ be a uniformly bounded family of projections (idempotents) in a Banach space $X$ such that $P_s P_t = P_{{\rm min}...
zoltan.leka's user avatar
2 votes
1 answer
132 views

Form of finite dimensional contractive projection in $L_p$

Let $P$ be a finite dimensional contractive (norm 1) projection in $L_p$, $1 < p < \infty$. Then $P$ is of the following form: $Pf = \sum_{k=1}^n g_k \int h_kf$ Where $\|g_k\|_p = \|h_k\|_q = \...
robibok's user avatar
  • 311
4 votes
1 answer
615 views

Isometric embeddings of $\ell_q^m$ into $\ell_p$ and $L_p$ for $p,q\in[1,+\infty]$

I'm looking for articles describing or proving nonexistence of isometric embeddings of $m$-dimensional space $\ell_q^m$ into $L_p$ and $\ell_p$ for $q,p\in[1,+\infty]$. Since $\ell_q^m$ is finite ...
Norbert's user avatar
  • 1,697
12 votes
2 answers
3k views

Direct proof of injectivity of $L_\infty$

I would like to know a simple proof of isometric injectivity of $L_\infty$. The proof I've found in Topics in Banach space theory. F. Albiac, N. Kalton uses two deep result. $L_\infty$ as ...
Norbert's user avatar
  • 1,697
3 votes
0 answers
163 views

Isometric automorphism of $c_0$ different than coordinate permutation

Does there exist an isometric automorphism of $c_0$ which is not a permutation of coordinates?
robibok's user avatar
  • 311
3 votes
2 answers
599 views

Weak topology of WOT

Let $E$ be a reflexive Banach space and let $B(E)$ be the space of bounded operators on $E$ endowed with the weak operator topology. In particular, the unit ball of $B(E)$ is then WOT-compact. $(B(E), ...
Jacopo Belbo's user avatar
9 votes
2 answers
524 views

Projections onto $n$-codimensional subspaces of a Banach space: norms.

Hello, I'd like some help to find an answer I've been looking for since this morning. Let $X$ be a Banach space and let $Y$ be an $n$-codimensional subspace of $X$. Let $P$ be a projection from $X$ ...
LaTortoise's user avatar
2 votes
1 answer
240 views

BM-distances between $B(\ell_p^n)$ and $\ell^{n^2}_p$

Let $\ell_p^n$ be the $n$-dimensional real or complex $\ell_p$-space and let $\mathscr{B}(\ell_p^n)$ be the space of matrices on $\ell_p^n$ endowed with the operator norm. I am looking for any ...
Tomasz Kania's user avatar
  • 11.3k
11 votes
1 answer
633 views

Inequivalent complete norms and the axiom of choice

Hi, I've been wondering about the following : Is it possible, without the axiom of choice, to have two inequivalent complete norms on a vector space? All the examples of inequivalent complete norms ...
Malik Younsi's user avatar
  • 2,154
2 votes
1 answer
224 views

Subalgebras of $B(E)$

Let me fix an infinite-dimensional (complex) Banach space $E$. There is a cute result of Bracic and Kuzma which says that every maximal abelian subalgebra of $\mathscr{B}(E)$, the algebra of bounded ...
Tomasz Kania's user avatar
  • 11.3k
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
10 votes
1 answer
929 views

Non-probabilistic proof of the Johnson–Lindenstrauss lemma

The Johnson–Lindenstrauss lemma states that a small set of points in a high-dimensional space can be embedded into a space of much lower dimension in such a way that distances between the points are ...
Dany Galicer'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
255 views

Convergence of a function in a metric space to its metric.

Given a metric space $(\mathbb{A},d)$ in $\mathbb{R^n}$ with a metric $d$ being the Euclidean metric: If $\lim_{t \rightarrow \infty}||A_{t+1}-A_t||\rightarrow 0$ is a convergent sequence where $A$ ...
hearse's user avatar
  • 101
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
0 votes
1 answer
2k views

Infinite linear span vs closed linear span

Hi, Suppose we have a (real, separable) Banach space $V$ and a (linear) set $A\subseteq V$. I presume in general it might not be possible to write every element of the closed span of $A$ as an ...
Algernon's user avatar
  • 1,769
30 votes
3 answers
3k views

Surjectivity of operators on $\ell^\infty$

Can anyone give me an example of an bounded and linear operator $T:\ell^\infty\to \ell^\infty$ (the space of bounded sequences with the usual sup-norm), such that T has dense range, but is not ...
Amir's user avatar
  • 301
9 votes
0 answers
885 views

Continuous projections in $\ell_1$ with norm $>1$

I was trying to find papers and articles about non-contractive continuous projections in $\ell_1(S)$ where $S$ is an arbitrary set. If it is not studied yet, I would like to know results for the case $...
Norbert's user avatar
  • 1,697
4 votes
1 answer
902 views

Separable $L_1$-predual

Some isometric preduals of $\ell_1$ are of the form $C_0(K)$ where $K$ is countable. I am wondering whether this is a general rule. Question: Is there a measure $\mu$ and a (preferably separable) ...
Jan Vardøen's user avatar
8 votes
0 answers
452 views

Preduals of $\ell_1$

The space $\ell_1$ has loads of (isomorphic) predulas. They can be as weird as possible but I am interested in Banach lattices. Question: Let $X$ be a Banach lattice with dual isomorphic to $\ell_1$. ...
Jan Vardøen's user avatar
7 votes
2 answers
1k views

Weak*-closed and complemented subspaces of dual Banach spaces

We consider a Banach space $X$ and its dual $X^*$. Let $Q\colon X^\ast \to X^\ast$ be an idempotent operator. Question: Can we find an idempotent operator $P\colon X^\ast \to X^\ast$ which is weak$...
Jan Vardøen's user avatar
6 votes
0 answers
257 views

What is the intersection of the closures of left invertible operators and right invertible operators?

From Douglas Zare's answer (see Does $X$ embed in $Y$, and $Y$ embed in $X$, always imply that $X$ isomorphic onto $Y$?), one know that $$ \overline{G_{l}(X,Y)} \bigcap \overline{G_{r}(X,Y) } = \...
Qingping Zeng's user avatar
16 votes
3 answers
1k views

A natural center of a convex weakly compact set in Banach space

Question: Let $S$ be a convex weakly compact set in Banach space $H$. Propose a natural way to define the unique center $O \in S$. Motivation: A lot! For example, in game theory $S$ can be a set of ...
Bogdan's user avatar
  • 161
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
271 views

When Pelczynski's property (V*) forces (V) in the dual space?

Recently, I have been asked if are there any sufficient conditions for a Banach space with Pelczynski property (V*) to have dual with property (V). Since it was a long standing open problem, I guess ...
Abelardo Morell 's user avatar
1 vote
1 answer
201 views

Reference request for sums of Grothendieck spaces

I much appreciate your help with my previous question. Now, I'd like to ask about a reference. I need a fact asserting that if $p\in (1,\infty]$ (with emphasis on the case $p=\infty$) then the $\ell_p$...
Alfredo Ortuño's user avatar
11 votes
1 answer
504 views

Do ultrapowers of classical Banach spaces have unconditional bases?

I am trying to imagine (to some extent, of course) the geometry of ultrapowers of certain 'easy-to-handle' Banach spaces. Let me start with $X = \ell_p$, $p\in (1,\infty)$ or $X=c_0$. Since the ...
Alfredo Ortuño's user avatar
0 votes
0 answers
272 views

L_2-norm representation

Let $$ f^{\alpha}_+(x)=\frac{1}{\Gamma(\alpha+1)}\sum_{k\ge 0}(-1)^k{\alpha+1 \choose k}(x-k)^{\alpha}_+, $$ where $\alpha > -\frac 12$. I am wondering if one can get nice representation of $L^2$-...
David's user avatar
  • 71
-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
3 votes
2 answers
362 views

Invariant subspaces for compact restrictions

Suppose $Y$ is a closed hyperplane in $X$, so we can write $X=Y\oplus[x_0]$. Let $y_n$ be a normalized basis of $Y$. Define an operator $S:Y\to Y\oplus[x_0]$ by $Sy_n=\alpha_ny_n+\beta_nx_0$, for any $...
Mathy's user avatar
  • 31
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
3 votes
1 answer
502 views

Determining continuous functions on Banach spaces

Let $X$ be a real Banach space. For a continuous (not necessarily linear) function $g:X \to \mathbb{R}$ and a family $\mathcal{F} \subseteq X^*$, we´ll say that $\mathcal{F}$ determines $g$ if ...
Ramiro de la Vega'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
508 views

Projections which are not completely bounded

There are 'canonical' examples of maps on operator spaces which are not completely bounded. Nevertheless, I couldn't produce any examples of bounded projections on relatively easy to understand ...
Olaf Kummers's user avatar
5 votes
2 answers
404 views

Do (Banach) ultrapowers carry some sort of 'elementary equivalence'?

The (model-theoretic) ultrapowers had been used for studying elementary equivalnce of first-order structures. Then, they have been adapted to Banach spaces, which are, let me say, second-order ...
Olaf Kummers's user avatar
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