**3**

votes

**0**answers

100 views

### A question on metric characterization of approximation property

My question is: a Banach space $X$ has the approximation property if and only if for every $\epsilon>0$ and every compact subset $K\subset X$, there exists a Lipschitz map $T: X\rightarrow X$ with ...

**3**

votes

**4**answers

807 views

### Non-separable Banach space

The vector space $C_b(\mathbb R)$ of bounded continuous functions on $\mathbb R$ is non-separable: it is possible to produce a direct proof of this fact, mimicking the standard proof for the ...

**6**

votes

**1**answer

458 views

### Are $L^\infty(\Bbb R)$ and $L^2(\Bbb R)$ homeomorphic?

It's easy to see that, for $1\le p,q< \infty$ the spaces $L^p(\Bbb R)$ and $L^q(\Bbb R)$ of $p$-th and $q$-th power integrable functions on the real line are homeomorphic as topological spaces. In ...

**1**

vote

**1**answer

118 views

### Approximation Property: Decomposition

This thread originated from MSE: Approximation Property: Decomposition
Given a Banach space $E$.
Consider a finite rank operator $F\in\mathcal{F}(X,E)$.
Introduce a basis on the finite dimensional ...

**0**

votes

**0**answers

79 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 ...

**0**

votes

**0**answers

84 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 ...

**5**

votes

**1**answer

362 views

### Non-reflexive Banach space s.t. X,X*,X**,… are separable

Is there an infinite-dimensional Banach space $X$, which is not reflexive, such that all the spaces $X,X^{\ast},X^{\ast\ast}, X^{\ast\ast\ast},\dots$ are separable?

**7**

votes

**1**answer

169 views

### Dual of Banach-valued $L^p$ [duplicate]

Let $X$ be an infinite-dimensional Banach space and let $p\in(1,+\infty)$. We may define $L^p(\mathbb R;X)$. Is it always true that the topological dual of $L^p(\mathbb R;X)$ is $L^{p'}(\mathbb ...

**0**

votes

**0**answers

54 views

### Completeness of spaces $\Lambda(\varphi, p)$

Definition 1. Let $f$ be measurable function on a mesurable subset $E\subset \mathbb R^n$. Non-increasing rearrangement of $f$ is a function $f^\ast(x)=\inf\{s>0: \operatorname{mes} E[|f| > s] ...

**7**

votes

**0**answers

124 views

### Approximate singular value decomposition in Banach spaces

I am interested in generalisations to Banach spaces of the following construction, which relates to the singular value decomposition of a finite-dimensional linear map. If $V$, $W$ are ...

**1**

vote

**0**answers

77 views

### A reasonable framework to study properties of operator $A \mapsto KAK$ on Banach space

Let $K$ be a continuous linear operator on $C[0,1]$ (more, precisely, it is a linear integral operator). Then $K$ defines a continous linear operator $\widehat K$ on $\mathcal L(C[0,1])$ by the rule
...

**2**

votes

**1**answer

220 views

### Integration in C^* algebra

Let $\mathfrak{A}$ be a C${}^*$ algebra and $\mathbb{R}\ni s \mapsto \alpha_s$ a continuous family of its automorphisms. Is it true that
$$
\int d s \, f(s)\, \alpha_s(A)
$$
is well defined as a ...

**3**

votes

**0**answers

96 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 ...

**0**

votes

**0**answers

65 views

### Can sum of two (co)type $p$ subspaces fail to have the same (co)type?

Type and cotype are very pleasant invariants of Banach spaces. However answer to the following question seems to be missing from the literature.
Let $X$ be a Banach space and suppose that $Y,Z$ are ...

**9**

votes

**2**answers

284 views

### ODE properties true in finite dimension but not in Banach spaces of infinite dimension

Some properties of Ordinary Differential Equations - ODE are true in finite dimension spaces but not in Banach spaces of infinite dimension.
The first one I know is the Peano existence theorem. I ...

**-3**

votes

**1**answer

307 views

### Hilbert space vector representation for data in a metric space. Where am i wrong in this experiment?

Consider the function space $M$ such that all its elements are of bounded variation, square integrable and of unit norm. An equivalence class is defined over this set as, $f \sim g$ iff for some ...

**1**

vote

**0**answers

113 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 ...

**3**

votes

**0**answers

125 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\|$.
...

**13**

votes

**0**answers

322 views

### $C^*$-algebra generated by those operators that are bounded on every $\ell_p$

Suppose $T: c_{00} \to c_{00}$ is a linear map such that, when regarded as an infinite matrix, there is a uniform bound on the $\ell_1$-norms of its columns, and a uniform bound on the $\ell_1$-norms ...

**0**

votes

**0**answers

249 views

### Banach space of discontinuous functions on a product space

Edit: According to comments of Eric Wofsy and Yemon Choi I edit the question.
For a (compact) topological space $X$, we put $A=\{f:X\to \mathbb{C}\mid f\text{ is bounded}\}$. We define a ...

**6**

votes

**1**answer

279 views

### Dual or pre-dual of BV

Was there any relevant work to determine the dual (or more likely the predual) of the space of bounded variation functions $BV(\mathbb{R}^n)$ (I recall the definition : a function in ...

**0**

votes

**2**answers

123 views

### Book and Papers for properties of uniformly convex and locally uniformly convex and strictly convex Banach spaces.

I am looking for reference books and research articles which cover analysis of uniformly convex and locally uniformly convex and strictly convex Banach spaces.

**10**

votes

**1**answer

634 views

### Is there a simple direct proof of the Open Mapping Theorem from the Uniform Boundedness Theorem?

The Open Mapping Theorem, the Bounded Inverse Theorem, and the Closed Graph Theorem are equivalent theorems in that any can be easily obtained from any other. The Closed Graph Theorem also easily ...

**2**

votes

**1**answer

312 views

### Banach space of discontinuous functions(Killing continuous functions)

Edit: According to the comment of Prof. Majer, I revise the question:
For a metric space $X$, we put $A=\{f:X\to \mathbb{C}\mid \text{f is bounded}\}$. We define two semi norm on $A$
...

**7**

votes

**1**answer

588 views

### When $C(X)$ is an injective $C(X)$-module? Current answer is erroneous

It is an old question if every injective Banach space is isomorphic as Banach space to $C(X)$-space.
I would like to know if the weakened module version of this question is answered. More precisely: ...

**4**

votes

**2**answers

231 views

### Can one show that the dual of a quasi-Banach space separates points without explicitly identifying the dual?

I'm interested in a question regarding the identification of some duals of quasi-Banach spaces.
However, I'm not familiar with the quasi-Banach literature, so I'm hoping somebody can point me in the ...

**10**

votes

**2**answers

568 views

### Banach space modulo a one-dimensional subspace =?

My question is the following:
Given an infinite dimensional Banach space $E$ and a one-dimensional linear subspace $F\subset E$. It is well-known that this one-dimensional linear subspace is closed ...

**5**

votes

**1**answer

188 views

### Reflexive subspaces of non-separable abstract $L_1$ spaces

An abstract $L_1$ space is a Banach lattice $E$ such that $\|x+y\|=\|x\|+\|y\|$ for disjoint $x,y\in E$. The space $L_1[0,1]$ is a separable example that contains subspaces isomorphic to $L_p[0,1]$ ...

**17**

votes

**0**answers

318 views

### Large almost equilateral sets in finite-dimensional Banach spaces

Question: Does there exist a function $C:~(0,1)\to
(0,\infty)$ such that for each $\varepsilon\in(0,1)$ every Banach space
$X$ of dimension $\ge C(\varepsilon)\log n$ contains an $n$-point
set ...

**4**

votes

**4**answers

375 views

### Continuity in Banach space for non-linear maps

I want to find an example of a Banach space $X$ and a continuous map $f:X\rightarrow X$ such that $f$ is not bounded on the unit ball. I do not doubt that such an example exists, but I cannot make it ...

**2**

votes

**1**answer

172 views

### Necessary conditions for optimality in Banach spaces

Let $X$ denote the non-negative "orthant" of the Banach space $L^2$ (or whatever you call the set of functions in $L^2$ that are non-negative), and let $C$ be a closed, convex subset of $X$. Let $f$ ...

**9**

votes

**1**answer

719 views

### Counterintuitive consequences of the Hahn-Banach theorem

The axiom of choice has many counterintuitive consequences like the Banach-Tarski paradox.
The Hahn-Banach theorem is a consequence of the axiom of choice, but it is weaker.
I would like to know ...

**0**

votes

**1**answer

179 views

### Aronszajn measure

In a geometric measure theory (GMT) course I'm following this year, the professor told us about the Aronszajn measure, and asked us to go check by ourselves what it reprensents (the course was about ...

**1**

vote

**1**answer

182 views

### James $\ell_1$-theorem

This question was asked at MSe before but with no answer.
I am struggling with the very last estimate in the proof of James' $\ell_1$-theorem. (Please see below an excerpt from Albiac and Kalton's ...

**3**

votes

**3**answers

504 views

### What should be considered a finite size of an infinite dimensional space? [closed]

I've got a map between two infinite dimensional spaces, $f: A\to B$, where $A$ seems "larger" than $B$. For the sake of conversation let's assume that $A$ is the set of smooth maps $\mathbb R^3\to ...

**2**

votes

**2**answers

291 views

### If $ F(x,\bullet) \in {L^{2}}(G,B) $ for all $ x \in G $, then is $ x \mapsto F(x,\bullet) $ strongly measurable?

This question is related to something that I asked yesterday: If $ F(x,\bullet) \in {L^{\infty}}(G,B) $ for all $ x \in G $, then is $ x \mapsto F(x,\bullet) $ strongly measurable?
Pietro Majer ...

**3**

votes

**2**answers

163 views

### A lower bound on $\|\cdot\|_{p_{\ast}}$ image of $\ell^{q_{\ast}}$ vectors

The motivation for this question comes from this paper where we study lower bounds on the complexity of convex optimization algorithms (BTW, if you find a better title for my question, please let me ...

**4**

votes

**1**answer

134 views

### If $ F(x,\bullet) \in {L^{\infty}}(G,B) $ for all $ x \in G $, then is $ x \mapsto F(x,\bullet) $ strongly measurable?

Let $ (X,\Sigma,\mu) $ be a $ \sigma $-finite measure space and $ B $ a Banach space. A function $ f: X \to B $ is said to be strongly $ \mu $-measurable iff it is the almost-everywhere pointwise ...

**3**

votes

**1**answer

127 views

### Extreme unit linear functional not norming a vector

If $E$ is a non-reflexive Banach space then there exists a linear functional $\lambda \in E^*$ of norm one such that $\lambda v < 1$ for all $v \in E$ of norm one. However, in the only ...

**6**

votes

**1**answer

240 views

### Extending compact operators

Let $X$ be a separable, infinite-dimensional complex Banach space and $Y\subseteq X$ an infinite-dimensional closed subspace. Suppose $K:Y\to X$ is an arbitrary compact operator. I would like to ...

**3**

votes

**1**answer

254 views

### Is $L(\ell_2,\ell_2)$ dense in $L(\ell_2,c_0)$?

Let $\ell_2:=\{ x:\mathbb{N} \to \mathbb{R}: \sum_{j=1}^\infty x_j^2<\infty\}$ and
$c_0:=\{ x:\mathbb{N} \to \mathbb{R}: \lim_{j\to\infty}x_j=0,\, \sup_{j\in\mathbb{N}}|x_j|<\infty\}$ denote the ...

**5**

votes

**2**answers

563 views

### Are Banach space norms (up to equivalence) unique?

Here is a naive question: is a "completing" norm of a vector space unique (up to equivalence) or can one find a vector space and two non-equivalent norms $\|.\|$ and $|||.|||$ that both induce a ...

**5**

votes

**1**answer

192 views

### A Banach space with all Hilbertian subspaces complemeneted

Assume that $X$ is a Banach space in which every Hilbertian subspace is complemented (let's say that all the projections are uniformly bounded). What can we say about $X$? It has to be K-convex. By ...

**1**

vote

**1**answer

212 views

### Relationship between LlogL and Hardy spaces

I think that for positive, one-dimensional, periodic functions, the following statement is true:
$$
f\in L log L(\mathbb{T})\Leftrightarrow f\in H^1(\mathbb{T}),
$$
where
$$
LlogL=\{f\in ...

**6**

votes

**0**answers

252 views

### Approximating a measurable function from a second-countable, locally compact Hausdorff group to a separable Banach space

Let $ G $ be a second-countable, locally compact Hausdorff group and $ B $ a separable Banach space.
We say that a function $ f: G \to B $ is Bochner-measurable if and only if it is the everywhere ...

**4**

votes

**1**answer

175 views

### Infinite dimensional subspaces of $L^1$

Suppose that $X$ is an infinite dimensional subspace of $L^{1}$. In some cases it is true that $X$ contains an isomorphic copy of an infinite dimensional Hilbert space. However, it is not the case ...

**5**

votes

**1**answer

152 views

### The Notion of Strong Measurability for Separable Banach Spaces

Let $ (X,\Sigma,\mu) $ be a measure space and $ B $ a Banach space. According to my understanding, a function $ f: X \to B $ is said to be strongly $ \mu $-measurable if and only if it is the ...

**4**

votes

**3**answers

412 views

### Generalized Hardy-Littlewood-Sobolev Inequality

The Hardy-Littlewood-Sobolev Inequality says that
$$\text{for $p,q,r\in (1,+\infty)$ such that }\quad
1-\frac1p+1-\frac1q=1-\frac1r,\tag {$\sharp$}
$$
$$
\exists C, \forall u\in L^p(\mathbb ...

**3**

votes

**2**answers

201 views

### Operators on $\ell_\infty(\Gamma)$ and almost disjoint families of subsets

It is well known that given an operator $T:\ell_\infty\to\ell_\infty$ such that $Tx=0$ for each $x\in c_0$ there exists an infinite subset $M$ of the positive integers so that $Tx=0$ for each $x\in ...

**2**

votes

**1**answer

107 views

### Two basic questions on $p-$summable sequences

Let $X$ be a Banach space and $(x_{n})_{n=1}^{\infty}$ be a $p-$summable sequence in $X$. My basic questions are the following:
For any $\epsilon>0$, is there a sequence ...