A Banach space is a complete normed vector space: A vector space equipped with a norm such that every Cauchy sequence converges.

learn more… | top users | synonyms

12
votes
1answer
318 views

Quotients of $\ell_\infty$ by separable subspaces

Given a (closed) separable subspace $M$ of $\ell_\infty$, I am interested in conditions implying that the quotient $\ell_\infty/M$ is isomorphic to a subspace of $\ell_\infty$. It is not difficult ...
7
votes
1answer
120 views

Quasi-reflexive spaces which are not isometric to dual spaces

My question may sound weird and I have no deep motivation behind it other than curiosity. As is well-known, quasi-reflexive spaces have the Radon-Nikodym property hence their balls have lots of ...
16
votes
1answer
456 views

Meager subspaces of a Banach space and weak-* convergence

I previously asked a version of this question on Math.SE, but didn't receive an answer. (But there is a bounty there if you want to claim it!) Let $X$ be a Banach space. (If it helps, feel free to ...
4
votes
1answer
158 views

When does $\ell_1(\Gamma)$ embed into $L_1(\mu)$?

Suppose we are given an uncountable set $\Gamma$ and a measure space $(\Omega, \mathcal{F}, \mu)$. I would like to know when the Banach space $\ell_1(\Gamma)$ embeds into $L_1(\mu)$. Of course, this ...
6
votes
0answers
131 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, ...
10
votes
2answers
440 views

How hard (P, NP, NP-hard) is it to compute Schur norms of matrices (as multipliers)?

Given a matrix $A\in M_n(\mathbb{C})$, I will denote by $||A||_\infty$ the operator norm of $A$, as seen acting on the Hilbert space $\mathbb{C}^n$. This makes $M_n(\mathbb{C})$ into a Banach space ...
7
votes
3answers
336 views

Dual Banach space of $B(X,Y)$ when $X$ is finite dimensional

Denote $B(X,Y)$ the Banach space of bounded operators between Banach spaces $X$ and $Y$. When $X$ and $Y$ are both finite dimensional, it follows from the formula $$\|u\|_{B(X,Y)} = \sup_{\|x\|_X ...
4
votes
0answers
129 views

Is the space $U_{0}$ constructed by J.Lindenstrauss Lipschitz complemented in $l^{1}$?

In $l^{1}$, we let $x_{n}=e_{n}-\frac{e_{2n+1}+e_{2n+2}}{2}(n=1,2,...)$, where $(e_{n})_{n=1}^{\infty}$ is the unit vector basis in $l^{1}$. We let $U_{0}$ be the subspace generated by the monotone ...
1
vote
1answer
89 views

Banach Isomomorphic Cts Fucntion Algebras for two Non-Homeomorphic Top Spaces?

Can anyone provide me with an example of two non-homeomorphic locally-compact Hausdorff spaces $X$ and $Y$, such that $C(X)$ and $C(Y)$ are isomorphic as Banach algebras. Clearly, the ...
1
vote
0answers
141 views

Elements of Minimal Norm on an affine subset of a Banach Space

Let $v_1$ and $v_2$ be two elements of a real Banach space $(X,\lVert\;\rVert)$, each of unit norm. Consider the one-dimensional affine subspace $v_1+tv_2$ for real $t$. Is there a general formula for ...
7
votes
1answer
372 views

Non continuous Linear form on $E=C([0,1],\mathbb{R})$ without AC

Let's note $E=C([0,1],\mathbb{R})$ the Banach space of real continuous funtions from the [0,1] interval with the uniform norm. Is it possible to show a non-continuous linear form on $E$ exists ...
0
votes
0answers
163 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 ...
2
votes
1answer
154 views

Examples of non super-reflexive spaces

What are good examples of Banach spaces which are and aren't super-reflexive? Whenever properties of Banach spaces like super-reflexivity, uniform convexity etc. are discussed, my impression is that ...
3
votes
2answers
239 views

When $L^\infty$ is 1-injective

It is known that when $\mu$ is $\sigma$-finte measure, then $L^\infty(\mu)$ is $1$-injective. But I want to know whether it is right for any $L^\infty$ spaces.
8
votes
0answers
238 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, ...
2
votes
0answers
103 views

Projective tensor powers of Banach spaces over a normed field

Let $E$ be a Banach space over a complete normed field $\mathbb K$. Is it possible to classify all proper $E$ for which the projective seminorm $p_n$ defined on the $n$-th tensor power of $E$ is a ...
9
votes
2answers
340 views

Pull-back of generalized functions

Let $f\colon X\to Y$ be a smooth map between smooth manifolds. Then the pull-back operation $f^*\colon C^\infty(Y)\to C^\infty(X)$ is a linear continuous operator when $C^\infty$ is equipped with the ...
6
votes
1answer
165 views

Sequential continuity of linear operators

Let $u\colon L\to M$ be a linear map of locally convex linear topological vector spaces. Assume that $u$ is sequentually continuous, i.e. maps convergent sequences to convergent ones. (This notion is ...
1
vote
0answers
114 views

Is reflexive Banach space valued scalarwise Lebesgue space isomorphic to the Bochner space?

I first specify the setting and then formulate the question precisely. (A very long post follows.) Definitions 1. For $E$ a (real Hausdorff) locally convex space, say that $E$ is suitable iff there ...
0
votes
0answers
172 views

Closed-form expressions for dual norms of real normed vector spaces

Didn't get any biters over at MSE, so I figure this place might be more appropriate... Say that $V$ is a finite-dimensional real normed vector space, where for some $v \in V$ the norm is notated by ...
1
vote
0answers
70 views

Maximum Principle with Banach Control Space

This is a problem that seems very natural to me, but I couldn't find any formal statement in the literature for some time now. I am basically considering an autonomous optimal control problem in ...
3
votes
1answer
208 views

Orthonormal basis in $\ell^n_p$

Given a $k$-dimensional subspace in $\ell^n_p$, is there a way to bound the value of $$ \sum_{i=1}^k \|a_i\|_{\ell^p}^2 $$ for $a_i$ an orthonormal (for the "standard" underlying $\ell^n_2$) basis. ...
1
vote
0answers
83 views

Volume Function on Banach Spaces

I'm looking for a reference for the following so-called Volume Function $V_n$, which is intended to be a Banach/normed vector space generalization of the determinant. Let $X$ be a Banach space with ...
1
vote
0answers
87 views

Extenstions of Urysohn's inequality

A version of Urysohn's inequality states that for a symmetric convex body $K \subset \mathbb{R}^n$, one has $$ \left(\frac{\text{vol}(K)}{\text{vol}(B_2)} \right)^{1/n} \le \frac{1}{\sqrt{n}} E \; \| ...
3
votes
1answer
171 views

Does the topological Varopoulos algebra consist of functions that are continuous and Varopoulos norm bounded?

Let $X_1,\dots,X_n$ be compact Hausdorff spaces. Let's define the Varopoulos algebra as the projective tensor product: $$V(X_1,\dots,X_n) := C(X_1) \hat{\otimes} \dots \hat{\otimes} C(X_n),$$ i.e. the ...
1
vote
0answers
52 views

A question about the $C_\lambda$ condition in Banach spaces [closed]

Let $X$ be a Banach space and $K$ its non-empty subset. Let $S:K\to X$ be a single-valued mapping. Then $S$ satisfies the condition $(C_\lambda)$ if for $x,y\in K$ and $\lambda\in(0,1)$, ...
10
votes
1answer
435 views

Quotients of l^infty

Let $M$ be a closed subspace of $l^\infty$. Suppose that the quotient $l^{\infty}/M$ is isomorphic to $l^\infty$. Is it true that $M$ is complemented in $l^\infty$?
2
votes
0answers
180 views

Cameron Martin space

I have seen two definitions of Cameron Martin space of a Gaussian measure $\nu$ on a Banach space (say $W$) and am unable to establish their equivalence. Any help would be appreciated. 1) It is the ...
4
votes
1answer
225 views

Approximation of an integral over the unit ball of L_1

For every $\varepsilon>0$ find a piecewise continuous function $q:[0,1]\rightarrow \mathbb{R}$ such that $\int_0^1 q(x)dx=1$ and $$\int_{0}^1 \int_{0}^{s} \left|\frac{q(s)q(t/s)}{s}- ...
1
vote
1answer
59 views

Does every $\alpha$-normal ordered Banach space have minimal upper bounds?

Let $\alpha>0$ and $X$ be an $\alpha$-normal (meaning, for $x,y\in X$, $0\leq x\leq y$ implies $\|x\|\leq\alpha\|y\|$) ordered Banach space with closed generating cone $X_{+}$. If $X$ is reflexive, ...
4
votes
0answers
111 views

Hilbert metric of a sum of cones

Suppose that $K_{1}$ and $K_{2}$ are pointed closed cones in a finite-dimensional space $V$ whose Hilbert metrics $d_{1},d_{2}$ are known. Is there a way to express the Hilbert metric of $K_{1}+K_{2}$ ...
4
votes
1answer
259 views

extending compact operators to c0

Lindenstrauss has the following paper: http://www.ams.org/journals/bull/1962-68-05/S0002-9904-1962-10787-3/S0002-9904-1962-10787-3.pdf I would like to see the proof for the following theorem (from ...
8
votes
1answer
237 views

Uniqueness up to isometric isomorphism of predual of $(\sum_{\lambda\in\Lambda} H_\lambda)_{l_\infty}$ where $H_\lambda$ are Hilbert spaces

This fact is an easy consequence of results of the paper by Leon Brown and Takashi Ito, but it looks like an overkill. Does anyone know a simpler proof?
4
votes
0answers
447 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 ...
5
votes
2answers
212 views

Contractively complemented subspaces of $c_0(I)$

Does every contractively complemented subspace of $c_0(I)$ is isometric to $c_0(J)$ for some $J\subseteq I$? May be someone has a counterexample?
6
votes
0answers
228 views

Is there Ultracoproduct-like construction for topological spaces in general?

In http://arxiv.org/pdf/math/9704205.pdf they define the ultracoproduct of a sequence of compact Hausdorff spaces, $\sum_\mathcal{U}X_i$ along an ultrafilter $\mathcal{U}$ as the Wallman-Frink ...
5
votes
1answer
116 views

What Approximation Property does the space of Schatten-p class operators have?

Background This is a follow-up question to: What (classes of) Banach spaces are known to have Schauder basis? In the previous question, I asked about what spaces are known to have Schauder basis. It ...
4
votes
1answer
228 views

binary intersection property in finite dimension

I have recently discovered a survey article called "The Hahn-Banach Theorem: The Life and Times" by Narici and Beckenstein and I have read it with great amusement: I was particularly fascinated by ...
4
votes
1answer
175 views

Weak convergence in the intersection of Lebesgue spaces or Sobolev spaces

Let $B:=B_1\cap B_2\cap...\cap B_n$, where each $B_j$ is a reflexive Lebesgue space or Sobolev space (such as $L^4$, $H^1$, etc.) on a domain in $\mathbb{R}^d$. Then $B$ is a Banach space endowed with ...
1
vote
1answer
200 views

Agreement of two topologies on a linear space

I'm dealing with the formalism of an abstract Wiener space, and I'm not sure if two relevant topologies coincide. Let $X$ be a topological vector space, and let $X^*$ be its dual space of continuous ...
9
votes
1answer
336 views

What (classes of) Banach spaces are known to have Schauder basis?

Motivation: I am trying to see for what class of Banach spaces the following result is true: There exists an increasing sequence of finite dimensional subspace {$V_n$} of a Banach space X (with ...
6
votes
2answers
851 views

Direct proof of the separation theorem of Hahn-Banach

The "extension" (or "analytic") form of the theorem of Hahn-Banach has a natural and yet elegant proof. In just any textbook I have ever seen, it is proved first; the "separation" (or "geometric") ...
4
votes
1answer
203 views

series representation in injective tensor products

All books on tensor products of Banach spaces contain the well-known theorem of Grothendieck that every element of the completed projective tensor product $X \tilde{\otimes}_ \pi Y$ has a ...
3
votes
1answer
176 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 ...
3
votes
0answers
66 views

$x\in Ext(B_X)$ has the Kadec property, implies that the slices form a neighborhood base of the norm topology

This is question 3.87 from Fabian's Functional Analysis and Infinite-Dimensional Geometry. The result is credited to Lin and Troyanski. Where on the net can I read a proof of this lemma? Any help ...
14
votes
1answer
625 views

$(1+\epsilon)$-injective Banach spaces, complex scalars

It is well known that a real Banach space which is $(1+\epsilon)$-injective for every $\epsilon >0$ is already 1-injective (Lindenstrauss Memoirs AMS, 1964, download here). Using common ...
5
votes
0answers
149 views

almost projective Banach space, complex scalars

It is well-known that if a real Banach space $E$ is "almost metrically projective" then $E$ is isometrically isomorphic to some $\ell^1(\Gamma)$. We say $E$ is "almost metrically projective" if ...
1
vote
0answers
83 views

Is scalarwise measurability determined by the strong dual?

Since this question has not received an answer so far, I try to reformulate the question in a simpler manner as follows: Do there exist $E,F,\ell,f$ such that $E$ and $F$ are separable (real) ...
8
votes
3answers
675 views

Counterexample of non-negative sequence weakly converging in $\mathscr{M}^1$ but not $L^1$

Hi. Consider a a sequence of non-negative functions $(f_n)_n$, bounded in $L^1([-1,1])$ and weakly$-\star$ converging in $\mathscr{M}^1([-1,1])$ to some $f\in L^1([-1,1])$. What I mean by this ...
4
votes
0answers
94 views

Categorical notions involving $\ell_p$ spaces.

First of all, apologies for a somewhat vague question but let me give a try. We know what the projective objects in the category of Banach spaces are: these are precisely $\ell_1(\Gamma)$-spaces. (One ...