All Questions
1,222 questions
5
votes
3
answers
675
views
$L^{\infty}$ as colimit
I recently read a result (in Jarchow's book) that any ultrabornological space can be expressed as a colimit (in the category LCS) of Banach spaces. My question is the following.
Let $\mu$ be a ...
- 4,713
0
votes
1
answer
120
views
Breaking up dense subset in non-separable space
Let $X$ be a not necessarily separable (infinite-dimensional) Banach space and $D\subseteq X$ be dense linearly independent subset. Then does there exist a set of infinite-dimensional separable ...
- 16.5k
4
votes
1
answer
548
views
Two definitions of $L^p$ spaces that are not always equivalent
There are two definitions of $L^p(S, \Sigma,\mu)$ in the literature. (Here $S$ is a set, $\Sigma$ is a $\sigma$-algebra of subsets of $S$ and $\mu$ is a positive measure.) The two definitions are ...
- 37.8k
2
votes
0
answers
159
views
Explicit homeomorphism between $L^p$ and Sobolev Space
From the Anderson-Kadec theorem, we know that all separable infinite-dimensional Banach spaces are homeomorphic. I'm wondering, is there an explicit such homeomorphism between $W^{p,k}(\mathbb{R}^n)$ ...
- 63.9k
1
vote
0
answers
30
views
Hypercylic operators with sets of hypercyclic vectors almost covering the space
Let $\{T_i\}_{i \in I}$ be a family of hypercylic operators on a separable Banach space $X$. From the transitivity theorem, we know that $HC(T_i)$, the set of vectors $x \in X$ with $\{T_i^n(x):n \in ...
- 63.9k
1
vote
0
answers
55
views
$ \{x\in X:h(x)\leq r\} $ is sequentially compact subset of $X$?
Let $(X,\|.\|)$ be a reflexive Banach space and $(D,\|.\|)$ be a Suslin subspace of $X$ such that $D$ is weakly closed subset of $X$.
Take $h:X\to [0,+\infty]$ such that $h(x)=\|x\|$ if $x\in D$ and ...
- 117
-1
votes
1
answer
321
views
Existence of weak limit for bouded sequence $\{y_n\}$ such that for every weak limit point $\{y_n\}$ must equal $y$
Let $X$ be separable Banach space and $\{x_n\}$ be a bounded sequence, relatively weakly compact sequence in $X$. we set $y_n=\frac{1}{n}\sum_{i=1}^{n}{x_i}$, then (together with the Krein and ...
- 29.8k
6
votes
1
answer
377
views
quick question about renorming quasi-Banach spaces into p-Banach spaces
I have a quick question which is probably supposed to be obvious, but for some reason I just don't see it: How does one re-norm a quasi-Banach space to produce a $p$-Banach space ($0<p\leq 1$) ...
CommunityBot
- 1
1
vote
0
answers
48
views
Can we say that $f$ admits a $m(X,X^*)$-continuous extension to $X$?
Let $X$ be a Banach space equipped with the Mackey topology $m(X,X^*)$. We suppose that $\big(X,m(X,X^*)\big)$ is separable space. Let $H$ be a countable, $m(X,X^*)$-dense subset with $(H=-H)$.
Let $...
- 117
11
votes
0
answers
266
views
Quantifier swap in Banach space theory
The uniform boundedness principle and its corollaries from a logical point of view are statements of when one can swap quantifiers in Banach spaces. Take for instance the principle of condensation of ...
- 301
6
votes
3
answers
852
views
Are nuclear operators closed under extensions?
Given $X_i, Y_i$ Banach spaces, $f_j, g_j, T_i$ bounded linear operators for $i=1,2,3$ and $j=1,2$. We have the following diagram
$\require{AMScd}$
\begin{CD}
0 @>>> X_1 @>f_1>> X_2 ...
- 4,461
1
vote
0
answers
55
views
Operational quantities characterizing upper semi-Fredholm operators
An operator $T:X\rightarrow Y$ is said to be upper semi-Fredholm if its range is closed and its kernel is finite-dimensional. M. Schechter (1972) introduced a quantity $$\nu(T):=\sup_{\operatorname{...
- 63.9k
0
votes
1
answer
178
views
Convergence in LB-spaces
Edit:
Let $X$ be a strict LB-space described by $\lim X_n$ and suppose that $\{x_n\}_{n \in \mathbb{N}}$ converges in $X$. I'm looking for a reference showing that $x_n$ must converge in some $X_N$.
- 16.5k
2
votes
0
answers
520
views
Example of a non-reflexive Banach space and two sequences
Let $(E,\mathcal {A}, \mu ) $ be a finite measure space and $X$ be a Banach space. The set of all Bochner-integrable functions from $E$ into $X$ is denoted by $\mathcal{L}_X^1$.
If $X$ is reflexive, ...
CommunityBot
- 1
0
votes
1
answer
114
views
$ \overline{(A-A)}\cap\overline{B}(0,r)\text{ is weakly compact, }\forall r>0 $?
Let $X$ be a separable Banach space and $A$ is a subset of $X$ such that
$$
A\cap\overline{B}(0,r) \text{ is weakly compact, } \forall r>0.
$$
Can we say that :
$$
\overline{(A-A)}\cap\overline{...
- 31.5k
6
votes
0
answers
158
views
Quotients of subspaces of $C(\alpha)$
A well known problem, attributed to H. P. Rosenthal, asks whether or not every quotient of $C(\alpha)$, $\alpha$ countable ordinal, is $c_0$-saturated. As it is known, $C(\alpha)$ are $c_0$-saturated ...
- 986
4
votes
1
answer
428
views
Existence of an injective unbounded below operator
Given an infinite dimensional Banach space, can we always find an infinite dimensional Banach space $Y$ and an injective bounded operator $T:X\to Y$ such that $T$ is not bounded below?
If $X^{*}$ is ...
- 31.5k
8
votes
1
answer
894
views
Basis vs Schauder basis in normed spaces
Following the conventions from Heil: "A Basis Theory Primer" and Albiac, Kalton: "Topics in Banach Space Theory", we might define a basis of an (infinite-dimensional) normed space $V$ as a sequence $(...
- 4,713
5
votes
1
answer
923
views
Existence of injective compact operators
We know that if $X$ is a separable Banach space, then for every infinite dimensional Banach space $Y$, there exists an injective compact operator from $X$ to $Y$.
My query is for every Banach ...
- 11.3k
2
votes
2
answers
156
views
Can we say that : $ (A-B)\cap\overline{B}(0,r)\text{ is weakly compact, }\forall r>0 $
Let $X$ be a separable Banach space and $A,B$ are closed convex subsets of $X$ such that $B\subset A$ and
$$
A\cap\overline{B}(0,r) \text{ and } B\cap\overline{B}(0,r) \text{ are weakly compact, } \...
- 42.8k
7
votes
0
answers
124
views
The bidual of the space of divergence-free vector fields
Consider the Banach space $L_1(\mathbb R^n, \mathbb R^n)$ of integrable vector fields $(n>1$) together with its subspace $N$ formed by those vectors fields whose divergence (computed in the ...
- 11.3k
2
votes
1
answer
298
views
complemented subspace of the direct sum of two Banach spaces
When I was reading a paper, I saw something like:
If $F$ and $E$ are Banach spaces with symmetric bases (precisely, they are symmetric sequence spaces), and $F$ is isomorphic to a complemented ...
- 2,429
0
votes
0
answers
68
views
Closed graph theorem for cones?
In the paper "A strong open mapping theorem for surjections from cones onto Banach spaces, Marcel de Jeu and Miek Masserschmidt, Adv. Math." it is proved (among other things) that if $X, Y$ are ...
5
votes
2
answers
861
views
Injective continuous operators between Banach spaces
Suppose $X$ and $Y$ are two infinite dimensional Banach spaces. What can we say about the set of all injective continuous linear operators between $X$ and $Y$? Is it always nonempty?
- 11.3k
44
votes
1
answer
4k
views
Example of a compact set that isn't the spectrum of an operator
This question is somewhat ill-posed (due to the word easy) and is triggered by idle curiosity:
Is there an easy example of a (separable, infinite-dimensional) Banach space $X$ and a nonempty ...
- 355
8
votes
1
answer
162
views
closed ideals in L(L_1)
Denote $L_1=L_1[0,1]$ The lattice of closed ideals in $\mathcal{L}(L_1)$ includes the chain
$$
\{0\}\subsetneq\mathcal{K}(L_1)\subsetneq\mathcal{FS}(L_1)
\subsetneq\mathcal{J}_{\ell_1}(L_1)\subsetneq\...
- 31.5k
4
votes
3
answers
2k
views
Algebraic Dual / Continuous Dual
Let $E$ be an infinite dimensional Banach space, let $E^{\ast}$ denote
its continuous (i.e., Banach space) dual, and let $E'$ be its algebraic
dual. Clearly, $E^{\ast}$ is a proper vector subspace of $...
- 9
-1
votes
2
answers
510
views
inequivalent norms [closed]
I am thinking about the following question:
Let $X$ be a Banach space, say separable, e.g., $l_p$ or $c_0$.
When can I say that there exist inequivalent complete norms on $X$?
- 42.8k
0
votes
0
answers
154
views
Use of this space of very rapidly decreasing continuous functions
Let $C_n$ denote the subspace of continuous function on $[0,\infty)$ supported on $[n,n+1]$. Denote the $\ell^p$-direct sum Banach space
$$
V_p
:=
\left\{
f \in C([0,\infty)):\,
\sum_{n=1}^{\infty} ...
- 5,405
1
vote
0
answers
67
views
Comparison of inductive limit topology with very-rapidly decaying non-convex $L^{!/2}$-space topology
This is related to these posts and here.
Let $L^1([n,n+1])$ denote the subspace of $L^p$-functions on $[0,\infty)$ essentially supported on $[-n,n]$. Denote the accelerated $\ell^1$-direct sum ...
- 5,405
2
votes
1
answer
602
views
Separable Banach spaces isometric to quotient of a Banach space
We know that every separable Banach space is isometrically isomorphic to a quotient space of $(\ell^1,\|.\|_1)$. We also know that the norm defined by $\|x\|=(\|x\|_1^2+\|x\|_2^2)^{1/2}$ for all $x\in ...
- 31.5k
3
votes
1
answer
162
views
Lipschitz choice of "norm attaining maps'
I am not very sure if the following problem has been treated in the literature and if so, whether it always holds:
A Banach space $X$ is isomorphic to a Hilbert space if the 'norm attaining' map $F$...
CommunityBot
- 1
12
votes
1
answer
908
views
Equivalence of σ-convex hull and closed convex hull
Let $X$ be a locally convex topological space, and let $K \subset X$ be a compact set. Recalling that the standard convex hull is defined as
$$\text{co}(K) = \Big\{ \sum_{i=1}^n a_i x_i : a_i \geq 0,\,...
- 3,768
7
votes
1
answer
1k
views
Cartesian product of Banach spaces: all norms such that the inclusion is an isometry are equivalent?
Let $\mathcal{A}$ be an arbitrary (typically infinite-dimensional) Banach space with norm $\|\cdot\|_{\mathcal{A}}$ and let $\mathcal{A}^{n}$ be its Cartesian product. I came across the following ...
- 141
11
votes
1
answer
487
views
Is the spectrum of a "self adjoint" operator real on $\ell^p$?
There might be an obvious answer to the question, but it doesn't come to mind.
Suppose we have an infinite matrix $A=(a_{ij})$, which defines a bounded linear operator on $\ell^p$, i.e. for all ...
2
votes
0
answers
89
views
A quantitative characterization of bounded approximation property
Recall that a Banach space $X$ has the approximation property (AP for short ) if for every compact subset $K$ of $X$ and every $\varepsilon > 0$, there exists a finite rank operator $S$ on $X$ such ...
- 63.9k
7
votes
2
answers
276
views
Completeness of coefficient functionnals
My questions is about Schauder bases and more specifically about coefficient functionals.
Let $(x_n)$ be a Schauder basis of a Banach space $X$. Thus for all $x$ in $X$, $x = \sum f_n(x) x_n$. The $...
- 2,378
7
votes
0
answers
248
views
Isometries on the unit sphere
Suppose that $X$ and $Y$ are two Banach spaces, $S_{X}$ and $S_{Y}$ their unit spheres, and $f$ an onto isometry between $S_X$ and $S_Y$. Does it follow that $X$ and $Y$ are isometric?
- 11.3k
3
votes
1
answer
788
views
Higher order functional derivatives
Let $E, F$ be Banach spaces. A continuous bilinear functional ${\langle \cdot\,, \cdot \rangle }: E \times F \to \mathbb{R}$ is called $E$-non-degenerate if $\langle x,y\rangle = 0$ for all $y \in F$ ...
- 6,367
1
vote
1
answer
114
views
Example of a nonconvex Chebyshev set in a metric space with continuous projection?
Question: Is there an example of a nonconvex Chebyshev set $S$ in a metric space $(X,d)$ whose projection map is continuous?
For convexity to be well-defined, we need to assume that $X$ is a vector ...
- 4,034
7
votes
1
answer
122
views
Containment of $c_0$ in projective tensor products
Let $X$ and $Y$ be Banach spaces and denote by $X\hat{\otimes}_\pi Y$ the projective tensor product.
Question:
If $X\hat{\otimes}_\pi Y$ contains an isomorphic copy of $c_0$, must then $X$ or $Y$ ...
- 1,848
3
votes
1
answer
260
views
Reference request: completion of Banach norm on sum
Let $X_1,X_2$ be Banach subspaces of a locally convex space $X$. Then the subset
$$
X_1+X_2 = \left\{
x\in X:\, x= \beta_1 x_1 + \beta_2 x_2 \, \beta_i \in \mathbb{R},\, x_i \in X_i
\right\},
$$
a is ...
CommunityBot
- 1
1
vote
1
answer
234
views
Density and the projective tensor product
Let $X$ be a locally convex space (over $\mathbb{R}$), $D\subset X$ be dense, $B$ be a Banach space (again over $\mathbb{R}$) with Schauder basis $\{b_i\}_{i =1}^{\infty}$. Is the set
$$
D^+\...
- 16.5k
0
votes
1
answer
102
views
Law of a step function and its generalization to two dimensions on an appropriate spaces
Let's consider two discontinuous functions defined on $D$ and $D \times [0,T]$, respectively:
A step function: $u_1(x)=\begin{cases}
u_{L}, x<c_1, \\[2ex]
u_{R}, x>c_1,
\end{cases}$
A "...
- 128k
11
votes
0
answers
389
views
Von Neumann Inequality in Banach spaces
It is known that the only Banach space that satisfies the von-Neumann inequality is the Hilbert space:
Theorem (see e.g. Pisier, "Similarity Problems and Completely Bounded Maps", p 27) For a Banach ...
- 5,529
2
votes
0
answers
69
views
Banach lattices $X$ for which $L_p(\mu)\subset X$ or $X\subset L_q(\mu)$
It is well known (see vol. II of Lindenstrauss and Tzafriri's book) that an order continuous Banach lattice $X$ with a weak unit admits a representation as a (in general not closed) ideal of $L_1(\mu)$...
- 4,461
5
votes
1
answer
224
views
reference request: unbounded operators on normed spaces
I'm looking for books where the theory (basic properties, adjoints etc.) of unbounded linear operators between locally convex spaces or at least Banach spaces is developed. In Brezis' functional ...
- 902
2
votes
0
answers
109
views
Quotient Banach space whose dual map sends the ball onto a given convex subset
Let $X$ be a Banach space and let $A$ be a closed, convex and balanced subset of $B_{X^{*}}$ (where $B_{X^{*}}$ denotes the closed unit ball of the dual $X^{*}$). Is there a closed subspace $M$ of $X$ ...
- 63.9k
1
vote
1
answer
203
views
Continuous function on colimit
Let $X$ be a Banach space and $f:X\rightarrow \mathbb{R}$ be continuous. Suppose that $\{X_n\}_{n \in \mathbb{N}}$ is a strictly nested sequence of sub-Banach spaces, for which $\cup_{n \in \mathbb{N}...
- 5,562
2
votes
1
answer
252
views
type and cotype of spaces of continuous functions
I've recently read about the notion of (Rademacher) type and cotype of a Banach space in some article. In the books I checked afterwards, typical examples studied were $L^p$-spaces or the Schatten ...
- 1,848