Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
Isaac's user avatar
  • 3,477
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 ...
Emerick's user avatar
  • 153
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 ...
erz's user avatar
  • 5,529
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 ...
i like math's user avatar
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)...
elmas's user avatar
  • 55
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_\...
A beginner mathmatician's user avatar
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^*...
Pietro Majer's user avatar
  • 60.5k
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$. ...
Zerox's user avatar
  • 1,543
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 $\{...
ABB's user avatar
  • 4,058
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 ...
Dongyang Chen's user avatar
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 ...
erz's user avatar
  • 5,529
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,\,...
Gregory D.'s user avatar
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. (...
erz's user avatar
  • 5,529
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 ~~ \...
Zhengmian Hu's user avatar
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 ...
erz's user avatar
  • 5,529
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)|...
Jorge E. Cardona's user avatar
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)=\...
Sergei Akbarov's user avatar
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\...
erz's user avatar
  • 5,529
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 ...
Alcen's user avatar
  • 11
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 ...
Richard Kim's user avatar
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}...
ABIM's user avatar
  • 5,405
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 ...
erz's user avatar
  • 5,529
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 ...
Jon-S's user avatar
  • 549
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 ...
ABIM's user avatar
  • 5,405
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\...
Jim Belk's user avatar
  • 8,493
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 ...
ABIM's user avatar
  • 5,405
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 ...
ABB's user avatar
  • 4,058
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 ...
Jon-S's user avatar
  • 549
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 $...
kaka Hae's user avatar
  • 117
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 (...
Will Sawin's user avatar
  • 148k
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 ...
Sergei Akbarov's user avatar
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 ...
user68620's user avatar
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\...
erz's user avatar
  • 5,529
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&...
erz's user avatar
  • 5,529
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, ...
erz's user avatar
  • 5,529
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 ...
erz's user avatar
  • 5,529
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 ...
erz's user avatar
  • 5,529
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 ...
Bedovlat's user avatar
  • 1,959
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 ...
asv's user avatar
  • 21.8k
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 ...
asv's user avatar
  • 21.8k
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), ...
Jacopo Belbo's user avatar