All Questions
Tagged with fa.functional-analysis banach-spaces
1,222 questions
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 ...
- 1,591
4
votes
1
answer
950
views
Predual of a Direct Sum of Banach Spaces
This may be basic, and if it is I apologize, but I have found no references to it in literature. I would appreciate a reference at least if I am wrong. I have supplied background for those interested, ...
CommunityBot
- 1
6
votes
1
answer
824
views
Open problems in Banach spaces, universality
I have gathered a list of universality problems in Banach spaces which have been solved:
1.The non existence of a separable reflexive space universal for the class of separable reflexive spaces.
2....
- 1,073
3
votes
2
answers
298
views
Basis equivalent with a monotone basis
Given a basis in a Banach space $X$, can one find, for every $\varepsilon>0$, an equivalent basis with basis constant at most $1+\varepsilon$?
In $L_p[0,1]$ with $1<p<\infty$ any monotone ...
- 146
4
votes
0
answers
242
views
SubGROUPs of Banach spaces, when are they dense in a vector subspace?
It’s relatively easy to show that if $J$ is a closed subgroup of a finite-dimensional real Banach space, $B$, then it is a vector subspace iff for all bounded linear functionals $\sigma$ of $B$, $\...
- 4,679
5
votes
1
answer
345
views
Location of a Banach Space inside its bidual
Let $X$ be a Banach Space and let $Y$ be a closed subspace of $X^{**}$ such that $X\bigcap Y=0$. Let $P$ be the quotient map from $X^{**}$ onto $X^{**}/ Y$. I need to prove or refute that $P\left|_{X}\...
- 4,878
17
votes
1
answer
2k
views
Are "most" operators on an infinite-dimensional complex Banach space "diagonalizable"?
This is true for finite-dimensional spaces: the diagonal operators on a finite dimensional complex vector space form contain a dense open set and the nondiagonalizable operators have measure 0.
To be ...
CommunityBot
- 1
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.
...
- 4,878
16
votes
2
answers
682
views
Ultraweak topology on B(X): Is the map X\otimes X* -> B(X)* isometric?
Let $X$ be a Banach space. Consider the map
$$
\alpha\colon X\hat{\otimes} X^* \to B(X)^*,
$$
defined one simple tensors as
$$
\alpha(\xi\otimes\eta)(a) = \eta(a(\xi)).\quad (\xi\in X, \eta\in X^*, a\...
- 3,497
6
votes
3
answers
2k
views
reflexive banach space
I want to ask this non-expert question:
What does it mean geometrically for a Banach space to be reflexive?
Well, we could say a Banach space is reflexive iff unit ball is weakly compact. Or some ...
5
votes
4
answers
4k
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 non-...
- 6,206
2
votes
2
answers
186
views
Infinite direct sum of $l_2^{(n_k)}$ contains a complemented isometric copy of $l_2$
How do I show that for any increasing sequence $(n_k) \subseteq \mathbb{N}$, the space $\left( \oplus _{k=1} ^\infty l_2 ^{(n_k)} \right) _\infty$ contains a complemented isometric copy of $l_2$?
CommunityBot
- 1
2
votes
1
answer
232
views
Is this structure a Banach bundle?
Let $X$ be a Banach space. Put $Y=\{ \phi\in X^{*}\mid\;\; \parallel \phi \parallel\leq 1\;\; \&\;\; \phi \neq 0\}$ which is a locally compact Hausdorf space with the weak star topology.
...
- 25.3k
0
votes
1
answer
277
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 ...
CommunityBot
- 1
13
votes
1
answer
911
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 ...
- 353
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 ...
CommunityBot
- 1
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 ...
CommunityBot
- 1
6
votes
1
answer
826
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?
- 54.2k
7
votes
1
answer
698
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: ...
- 1,697
11
votes
4
answers
1k
views
Example of noncomplete quotient of complete lcs mod closed subspace
The following statement is well-known: for a Fréchet space $V$ and a closed subspace $W \subseteq V$ the quotient $V / W$ is again complete and hence a Fréchet space. For the particular case of a ...
- 16.4k
2
votes
1
answer
327
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 ...
- 58
8
votes
0
answers
421
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 finite-...
- 6,206
1
vote
0
answers
91
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
$$...
- 1,329
2
votes
1
answer
294
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$ ...
CommunityBot
- 1
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 ...
- 51
0
votes
0
answers
302
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 semi-...
- 11.3k
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 ...
CommunityBot
- 1
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\|$.
...
- 1,704
16
votes
0
answers
542
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 ...
CommunityBot
- 1
15
votes
1
answer
4k
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 ...
- 29.8k
0
votes
2
answers
291
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.
- 41.1k
3
votes
1
answer
657
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$
$$\...
- 356
12
votes
2
answers
948
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 ...
- 11.3k
17
votes
0
answers
488
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 $\{x_i\...
- 4,878
6
votes
1
answer
418
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]$ ...
- 11.3k
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)$...
CommunityBot
- 1
4
votes
4
answers
631
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 ...
- 16.2k
5
votes
2
answers
353
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?
- 25.8k
9
votes
4
answers
1k
views
Boundedness of nonlinear continuous functionals
Let $K$ be the closed unit ball of $C[0,1]$, and let $f$ in $C(K,\mathbb{\, R})$.
Is it true that there exists an infinite dimensional reflexive subspace
$E$ of $C[0,1]$ s.t. $f(K\cap E)$ is bounded ?
...
- 123
9
votes
1
answer
1k
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 ...
- 53.3k
1
vote
1
answer
251
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 ...
CommunityBot
- 1
6
votes
0
answers
365
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 ...
- 1,396
4
votes
2
answers
311
views
Is the space of trace class operators finitely representable in an $L^1$-space?
I am interested in knowing whether the space of trace class operators is (crudely) finitely representable in an $L^1$-space. I suspect that the answer is negative but I am unable to find any argument ...
- 769
3
votes
2
answers
470
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 ...
CommunityBot
- 1
3
votes
3
answers
579
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 \...
CommunityBot
- 1
5
votes
1
answer
298
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 ...
- 60.5k
3
votes
1
answer
368
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 ...
CommunityBot
- 1
7
votes
1
answer
433
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 ...
- 31.5k
3
votes
1
answer
640
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 L^1\,s.t.\,\...
- 452
5
votes
1
answer
586
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 ...
- 2,378