All Questions
41 questions
21
votes
3
answers
3k
views
Can you tell whether a space is Banach from the unit ball?
Let $V$ be a real vector space. It is well known that a subset $B\subset V$ is the unit ball for some norm on $V$ if and only if $B$ satisfies the following conditions:
$B$ is convex, i.e. if $v,w\...
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,\,...
10
votes
2
answers
2k
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 ...
8
votes
2
answers
590
views
Attempted Banachification of a space
In a recent blog post, Terry Tao mentioned the question of how to tell if a Hausdorff topological vector space admits a finer topological structure which happens to be the topology of a Banach space (...
8
votes
1
answer
687
views
When does the dual to the space $K(X)$ of compact operators consist of nuclear functionals?
Let $X$ be a Banach space and $B(X)$ be its space of all (bounded) operators. A nuclear functional on $B(X)$ is a linear functional $u:B(X)\to{\mathbb C}$ that can be represented in the form
$$
u(A)=\...
7
votes
1
answer
1k
views
Inductive/Projective Limits of Topological Algebras
It is common to form inductive/projective limits of Banach/Frechet spaces in order to come up with natural topologies for common vector spaces. For instance,
For $k \ge 0$ and $K_n$ compact ...
6
votes
2
answers
3k
views
Closed convex bounded sets are weakly compact for which spaces?
It is known that for all reflexive Banach spaces, closed convex bounded sets are weakly compact (compact for the weak topology).
What is the general class of topological vector spaces for which this ...
6
votes
1
answer
353
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 ...
6
votes
2
answers
509
views
A question on Grothendieck space
A Banach space $X$ is said to be Grothendieck if the weak and the weak* convergence of sequences in $X^{*}$ coincide. I have the following two questions.
Question 1. A Banach space $X$ is Grothendieck ...
6
votes
2
answers
290
views
If a Banach / Fréchet manifold $M$ happens to be a topological vector space, is $M$ just a Banach / Fréchet space?
In finite dimensions, if $M$ is a smooth manifold that happens to be a vector space, then it is indeed just the Euclidean space.
I wonder if the same result holds valid in infinite dimensions. More ...
5
votes
2
answers
1k
views
Are bounded sets always weakly metrizable in reflexive separable spaces?
It is known that if a Banach space is reflexive and separable, its unit ball is weakly metrizable.
My question is about the generalization of this property :
1) Is it true that for all reflexive ...
5
votes
2
answers
247
views
Is there a topology that makes every basic sequence null?
Let $E$ be a Banach space. Let $F$ be the collection of all $f\in E^*$ such that $\left<f,e_n\right>\to 0$, for every normalized basic sequence $\{e_n\}$. It is easy to see that $F$ is a closed ...
4
votes
1
answer
574
views
Criterion for weak convergence of sequences
Let $E$ be a normed space and let $F\subset E^{*}$. It is known that $F$ is dense if and only if the restriction of $\sigma(E,F)$ on $B_E$ coincides with the weak topology.
Hence, if $F$ is dense and ...
4
votes
1
answer
394
views
Separable Lindelöf locally convex spaces that are not second-countable
A Lindelöf space is a topological space in which every open cover has a countable subcover.
Does there exists a Lindelöf locally convex space which is not second countable?
I am also looking for a ...
4
votes
1
answer
376
views
Is the topological dual of a Banach space weakly* closed in its algebraic dual?
The question is completely contained in the title :)
I can only add, that it is not difficult to give a counterexample for normed spaces, and also Banach-Steinhaus theorem implies the sequential ...
4
votes
0
answers
108
views
Larger possible chain of closed subspaces in the dual of a Banach space
In this question, is demonstrated that a separable space can have a chain (ordered by inclusion) of closed subspaces with uncountable many subspaces.
My question is the following. If $X$ is an ...
4
votes
0
answers
147
views
A characterization of nuclear functionals in terms of continuity with respect to some special topologies on $B(X)$?
I think, nuclear functionals on the space of operators $B(X)$ (on a Banach space $X$) must have a characterization in terms of some special continuity. I would be grateful if somebody could help me ...
3
votes
1
answer
298
views
Pointwise convergence and disjoint sequences in $C(K)$
Let $K$ be a Hausdorff compact space and let $C(K)$ be the space of continuous real-valued functions on $K$. A sequence $(h_n)$ in $C(K)$ is called almost disjoint if there is a sequence $(g_n)$ with ...
3
votes
2
answers
599
views
Weak topology of WOT
Let $E$ be a reflexive Banach space and let $B(E)$ be the space of bounded operators on $E$ endowed with the weak operator topology. In particular, the unit ball of $B(E)$ is then WOT-compact. $(B(E), ...
3
votes
0
answers
125
views
Commutative discrete cyclic operator groups on topological vector spaces
Let $V$ be a complex Hausdorff separable topological vector space of infinite dimensions. Does there exist a commutative discrete subgroup $A\subset\mathcal{L}(V)$ of continuous operators on $V$ with ...
2
votes
1
answer
188
views
Dual fixed point
Let $E$ be a Banach space, let $T:E\to E$ have norm $1$ and let $\nu\in E^*\setminus\{0\}$ be such that $T^*\nu=\nu$. Under which conditions there is $e\in E$ such that $Te=e$ and $\langle e,\nu\...
2
votes
1
answer
103
views
Is $B \cap L^2\big( (0,T) \times (0,1)\big)$ closed in $L^2\big( (0,T) \times (0,1)\big)$?
I need help proving that the set $B \cap L^2\big( (0,T) \times (0,1)\big)$ is a closed subset of $L^2\big( (0,T) \times (0,1)\big)$, where $B$ is defined as:
$$B=\Big\{x \in L^{\infty}\big(0,T;L^1(0,1)...
2
votes
1
answer
189
views
Biorthogonal weakly null basic sequences
Let $E$ be a Banach space, let $e_{n}\in E$ and $g_{n}\in E^{*}$ be biorthogonal basic sequences (i.e. $\left<e_n,g_m\right>=\delta_{mn}$ ). Moreover, both of these sequences are weakly null. (...
2
votes
1
answer
70
views
Equicontinuity-like property of a convex compact set
Let $X$ be a Tychonoff topological space and let $x\in X$. Let $B\subset C(X)$ be convex and compact in the topology of pointwise convergence, and such that $f(x)=1$, for every $f\in B$.
Is there an ...
2
votes
2
answers
374
views
A criterion for norming sets
Let $F$ be a Banach space with the closed unit ball $B$. Let $E\subset F^*$ be a total subspace such that $B$ is complete with respect to the norm $|||f|||=\sup \limits_{e\in E,~e\ne 0} \frac{|\left&...
2
votes
0
answers
1k
views
Bounded weak and weak-$\star$ topologies and metrics
Let $X$ be a reflexive and separable Banach space. Let $(h_n)$ be a sequence dense in $\overline{B^*_1}$ (the closed ball in $X^*$ of radius $1$). Set
$$
d(x,y) := \sum_{n=1}^\infty 2^{-n} |(x-y, h_n)|...
1
vote
1
answer
189
views
Complemented subspaces in a dual Banach space
Let $Y$ be a complemented subspace in a dual Banach space $X$. Is it true that $Y$ is itself isomorphic to a dual?
This is the case of a $w^*$-closed subspace $Y$, but a complemented subspace of $X^*...
1
vote
1
answer
232
views
An approximation property in a separable topological vector space
Let $X$ be a topological vector space.
Let us say that $X$ enjoys sequential separablity if there exists a sequence $\{x_n\}$ in $X$ such that for every $x\in X$ there exists a subsequence of $\{...
1
vote
1
answer
214
views
An explicit description for a certain type of infinite-dimensional homogeneous polynomials
This is a side question from Infinite-dimensional "algebraic varieties".
Denote by $X_p$ ($1 \le p \le \infty$) the Banach spaces of complex sequences with finite $p$-norm and limit $0$. ...
1
vote
1
answer
144
views
What's the size of non standard monad for weak topology?
There have been several works characterizing weak topology by nonstandard analysis, which give rise to the following monad ($X$ is a Hilbert space):
$$\mu(0) = \{y\in{}^{*}X: \forall x\in X ~~ \...
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}...
1
vote
1
answer
124
views
Compactness of operators and norming sets
Originally asked on MSE.
Let $T$ be a linear map from a normed space $E$ into a Banach space $F$.
Let $D\subset \overline{B}_{F^{\ast}}$ be norming, i.e., there is $r>0$ such that $\sup\limits_{v\...
1
vote
1
answer
220
views
Criterion of reflexivity
Let $E$ be a Banach space.
It is known that if for any equivalent norm on $E^*$ the closed unit ball of $E^*$ is weakly* closed, then $E$ is reflexive (a very short proof is in the book by Fabian, ...
1
vote
1
answer
164
views
Complex interpolation of subspaces
Let $(X_0,X_1)$ be an interpolation couple of Banach spaces. Using complex interpolation we can form Banach spaces $X_\theta:=(X_0,X_1)_\theta$ where $0<\theta<1.$ Let $E_\theta\subseteq X_\...
1
vote
1
answer
183
views
Criterion of reflexivity 2
Originally I meant to ask this question here, but got confused and ended up asking another question, which had some mathematical meaning, but was not what I vaguely had in mind.
Let me restate the ...
1
vote
0
answers
50
views
Nested nets of closed bounded star-shaped sets in a semi-reflexive space
Among Hausdorff locally convex spaces, semi-reflexivity is characterized by the weak topology having the Heine-Borel property. It follows that, in a semi-reflexive space, every nested net of closed ...
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 $...
0
votes
2
answers
344
views
subspace topology and strong topology
Suppose $X$ is a locally convex space and $Y$ is a subspace of the strong dual of $X$, is the induced topology on Y equivalent to the strong topology $b(Y,Y')$ on $Y$? If this is not correct, then on ...
0
votes
1
answer
242
views
When do the weak-star and compact convergence (compact-open) topology coincide on the dual of a Banach space?
In Measures Which Agree on Balls by Hoffmann-Jørgenson, it is claimed on page 323 that for an arbitrary Banach space $E$, if $\pi$ is the topology on $E^*$ of uniform convergence on compact subsets of ...
0
votes
0
answers
45
views
Critical Growth of Dimension for Dense Cover by Linear Subspaces
Let $X$ be a separable Banach space of dimensional $>2$. When does there exist a sequence positive integers $\{N_n\}_{n \in \mathbb{n}}$ such that
For any sequence of distinct finite-dimensional ...
0
votes
0
answers
170
views
Limit of balls in $L^p$
Setup:
Let $\mu$ be a measure on a measurable space $(X,\Sigma)$, such that for every $p ,q\in [1,\infty)$, $L^p_{\mu}(\Sigma)\subseteq L^q_{\mu}(\Sigma)$ if $p\geq q$. Furthermore, the inclusions ...