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

5
votes
2answers
215 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
248 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
176 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
339 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
924 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
207 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
178 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
629 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
683 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 ...
1
vote
1answer
125 views

Special kind of operators

Consider an operator $A: H \longrightarrow X$ ($H$ is a Hilbert space and $X$ is a Banach space) that has a representation $$ A = \sum_{j=0}^\infty a_j \langle \cdot, e_j\rangle \cdot x_j,$$ where ...
4
votes
3answers
302 views

radon-nikodým property of $\ell^\infty$

I am wondering whether $\ell^\infty(\mathbb N)$ has the Radon-Nikodým property. Of course $\ell^1(\mathbb N)$ does, but I was unable to find out whether (e.g.) duals of spaces with the R-N property ...
2
votes
2answers
220 views

Martingale-cotype vs cotype on super-reflexive spaces

I'm have difficultly nailing down the direction of some implications. For $2 \leq q < \infty$, there are (at least) two ways to say that a Banach space $B$ has "cotype $q$". $B$ has cotype q. ...
3
votes
1answer
99 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 ...
2
votes
2answers
145 views

Are compact sets in a Banach lattice order bounded?

Given a compact subset $A$ of a Banach lattice $E$, is the following true? There exist $u,v\in E$ so that $u\leq a\leq v$ for all $a\in A$. This is true in case $E=C(X)$, $X$ compact, with the ...
0
votes
1answer
184 views

Extensions of Carathéodory's theorem

We know about the Carathéodory's theorem which is on the convex bodies of $\mathbb{R}^d$. My question is, how far we can extend it? Is it true for say, any convex object of Banach space, or for convex ...
0
votes
0answers
130 views

isomophism, commutator

Let X be a Banach space. $B(X)$ is the algebra of all bounded linear operators on X. $\phi: B(X)\rightarrow B(X)$ is a isomoprphisn, $\varphi: B(X)\rightarrow B(X)$ is a isomorphism or negative ...
2
votes
0answers
239 views

Finite codimensional subspaces of L(X,Y)

Let $X$ and $Y$ be separable Banach spaces and $L(X,Y) $ be the Banach space of bounded linear operators from $X$ to $Y$. Suppose $A$ is a norm closed finite codimensional subspace of $L(X,Y)$. My ...
3
votes
2answers
292 views

On hyperplanes of $L\infty$

Consider the hyperplane $H=\{f\in L^\infty: \int f = 0\}$ of $L^\infty = L^\infty[0,1]$. My question is: 1. What is the Banach-Mazur distance between $H$ and $L^\infty$? Are there "natural" ...
0
votes
0answers
133 views

Gaussian width (or metric entropy) for the intersection of the $\ell_1$ and $\ell_2$ balls

Let $B_p := \{ x \in \mathbb{R}^d:\; \|x\|_p \le 1\}$ where $\|x\|_p := (\sum_{i=1}^d |x_i|^p)^{1/p}$ is the $\ell_p$ norm. (1) Let $t \in (0,1)$. Can we give an estimate on $$\mathbb{E} ...
4
votes
3answers
554 views

Is the set of the absolutely continuous functions a Borel set of the space of the continuous functions?

Does anyone knows whether the set of the absolutely continous functions $F :[0,1]\to \mathbb{R}^d$ of the form $$F(t)= a + \int_0^tf(s) ds$$ where $f$ is an integrable function is a Borel set of the ...
9
votes
2answers
401 views

B(H) as a direct sum of a closed two sided ideal and a subalgebra

Let $B(H)$ is the C*-algebra of all bounded linear operators on Hilbert space $H$. Are there a closed two-sided ideal $I$ and a subalgebra $A$ of $B(H)$ such that $B(H)=I \oplus A$ (direct sum I and ...
4
votes
0answers
262 views

Self-dual finite-dimensional complex normed spaces

Suppose $X$ is a complex normed space of dimension 2 or 3 and $X$ is isometrically isomorphic to its dual. Is $X$ a Hilbert space? Remarks: There are easy counterexamples in the real case, and in ...
4
votes
3answers
172 views

Quotients with unconditional bases

Gowers' dichotomy theorem asserts that every Banach space either contains an HI subspace or a subspace having an unconditional basis. There are examples of HI spaces without quotients having ...
1
vote
1answer
420 views

Is this result of Spain correct?

Let us have a look on the proof of Theorem 2 in [P. G. Spain, Boolean algebras of projections, Proceedings of the Edinburgh Mathematical Society (Series 2) 19, 03, March 1975, 287-289] The author ...
9
votes
2answers
530 views

Complexifying a real Banach space and its dual

A standard way to define the "complexification" $E_\mathbb{C}$ of a real Banach space $E$ is to define a complex linear structure on $E\times E$ by (1) $(x,y)+(u,v)=(x+u, y+v)$, (2) ...
1
vote
0answers
49 views

Extension of $S_+$ type operators

Let $X$ be a reflexive Banach space and $G\subset X$ a open bounded set. Let $F:\overline{G}\rightarrow X^\star$ be a $S_+$ operator, i.e., if for any sequence $x_n$ in $G$ for which ...
5
votes
0answers
154 views

Given that a conditional measure is Gaussian, how bad can the original measure be?

Let $X$ and $Y$ be Banach spaces, and let $\varphi : X \to Y$ be a continuous linear map. Suppose that $\mathbb P$ is a probability measure on $X$ which satisfies the continuous disintegration ...
2
votes
2answers
306 views

Banach lattice subspace of $C([0,1])$ not a sublattice

This is probably easy, but I did not see it in standard texts. Describe a closed subspace $V$ of $C([0,1])$ such that $V$ is a Banach lattice (in the pointwise ordering), but $V$ is not a sublattice ...
9
votes
1answer
285 views

Subspaces of $l_p$ and Banach-Mazur distance

This is a question I posted on SE, and I have been advised to post it here. http://math.stackexchange.com/questions/146427/subspaces-of-l-p-and-banach-mazur-distance It is well-known that every ...
2
votes
1answer
255 views

Decomposing bilinear forms in Hilbert spaces

You are given a complex Hilbert space $H$ with two equivalent Hilbert space structures $<,>$ and $<,>'$. Define $<,>''=<,> + <,>'$ to be the sum of our two scalar ...
0
votes
1answer
317 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 ...
3
votes
0answers
389 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 ...
0
votes
1answer
195 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\|, ...
4
votes
1answer
271 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 ...
7
votes
0answers
254 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 ...
4
votes
1answer
138 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}}$. ...
4
votes
0answers
346 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 ...
3
votes
1answer
175 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 ...
6
votes
0answers
295 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, ...
3
votes
1answer
144 views

Algebras with countable chains only

Is there an example of an uncountable Boolean algebra $B$ in which every chain is countable and such that $\ell_\infty$ embeds into the Banach space $C(\mbox{Stone }B)$? The latter requirement is not ...
2
votes
1answer
206 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$.
4
votes
1answer
197 views

Gaussian Valued Random Variables in Geometry of Banach Spaces

Why are Gaussian valued random variables so important in the Geometry of Banach spaces? I am reading the monograph by Pisier - "Probabilistic Methods in the Geometry of Banach Spaces" and in the very ...
2
votes
1answer
189 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 ...