Skip to main content

All Questions

Filter by
Sorted by
Tagged with
2 votes
1 answer
49 views

Is any submetrizable linear topology linearly submetrizable?

Let $E$ be a vector space. A topology $\tau$ on $E$ is called (linearly) submetrizable if there is a (linear) metrizable topology $\pi$ on $E$ which is weaker than $\tau$, i.e. $\pi\subset\tau$. Is ...
erz's user avatar
  • 5,529
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
3 votes
1 answer
449 views

Topological vector spaces in direct sum

A year ago, I asked this question here at Mathematics Stackexchange, but no one there managed to answer it. So I am elevating it to MathOverflow. This question had emerged as an offshoot of a bigger ...
Michael_1812's user avatar
2 votes
1 answer
183 views

On the equality $\{f\in C(X), f|_A=0\}+\{f\in C(X), f|_B=0\}=\{f\in C(X), f|_{A\cap B}=0\}$

Let $X$ be a Tychonoff space, let $A,B\subset X$ be closed. Let $J_A$ be the set of all continuous on $X$ real-valued functions which vanish on $A$. For which $X$'s is it true that $J_A+J_B=J_{A\cap ...
erz's user avatar
  • 5,529
3 votes
1 answer
352 views

Sequential separability on $C_p(X)$

Definition. Let $E$ be a topological space. Suppose that $E$ contains a sequence $\{x_n\}$ such that for every $x\in E$, there exists a subsequence $\{x_{n_k}\}$ of $\{x_n\}$ with $x=\lim x_{n_k}$. ...
ABB's user avatar
  • 4,058
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
5 votes
2 answers
359 views

Product of inductive limit topologies on $C_c(X)\times C_c(X)$

I have a stupid question about a topology on $C_c(X)$. Here $X$ is locally compact Hausdorff. Can assume $\sigma$-compact if it helps. Definition (topology on $C_c(X)$): For each compact $K \subset X$,...
Calamardo's user avatar
  • 675
0 votes
1 answer
536 views

About the normability of the space of continuous functions

Let $A$ be a subset of $\mathbb{R}^n$, and denote by $C(A)$ the space of complex-valued continuous functions defined on $A$. We know that if $A$ is compact then we can define a norm on $C(A)$ so that ...
Ho Man-Ho's user avatar
  • 1,173
2 votes
1 answer
172 views

Is $C_0(X) $ Frechet-Urysohn with respect to the compact-open topology?

Recall that a topological space is called Frechet-Urysohn if the operations of closure and sequential closure coincide. Let $X$ be a locally compact Hausdorff space. It is known that $C(X)$ is not ...
erz's user avatar
  • 5,529
5 votes
1 answer
421 views

Is the filtered colimit topology on the space of signed Radon measures linear and locally convex?

Let $X$ be a compact Hausdorff space. In chapter 3 of Peter Scholze's Lectures on Analytic Geometry he considers the space of signed Radon measures on $X$ equipped with the filtered colimit (aka ...
benjaminroos's user avatar
4 votes
2 answers
263 views

Sufficent condition for strict morphism of normed vector spaces

Let $K$ be a non-archimedean field of char 0 and a morphism $f:V \rightarrow W$ of normed $K$-vector spaces given. The map $f$ is said to be strict if $V/\ker(f)$ with the quotient topology is ...
KKD's user avatar
  • 473
3 votes
0 answers
67 views

Non-linear weak*-continuous left inverses

Let $T\colon X\to Y$ be a continuous linear surjection between Frechet spaces. Then it is possible to use Michael's selection theorem to show that there exists a continuous (non-linear) function $g\...
T. Milva's user avatar
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
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
0 votes
0 answers
101 views

Can a quotient space of a locally convex space have finer topology that its domain?

The following is related to this post. Let $X=X'$, as sets, and let $T:X \rightarrow X'$ be a surjective map from a countably infinite-dimensional LCS $X$ to itself and equip $X'$ with the final ...
ABIM's user avatar
  • 5,405
0 votes
0 answers
46 views

Show that $\big(s(. |C_n)\big)_n$ is equicontinuous on $X^*$

Let $(X,\|.\|)$ be a separable Banach space with dual $X^*$. $\mathcal{P}_{wkc}(X)$ be the class of nonempty, weakly-compact and convex subsets of $X$. For any $C\in\mathcal{P}_{wkc}(X)$ we define ...
Wer Wer'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
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
0 answers
122 views

Mackey topology characterising property

Let $V$ be a topological $k$-vector space. Let $V^{\star}$ denote the space of all linear functionals $V \rightarrow k$ and $V' \subset V^{\star}$ the subspace of all continuous linear functionals. ...
user120487's user avatar
5 votes
1 answer
333 views

Is the compact-open topology on the dual of a separable Frechet space sequential?

Let $X$ be a separable Frechet space (= Polish locally convex linear metric space) and $X'_c$ be the space of linear continuous functionals on $X$, endowed with the compact-open topology (= the ...
Taras Banakh's user avatar
  • 41.8k
2 votes
1 answer
352 views

The completeness of spaces of continuous functions with the compact-open topology

For a Tychonoff space $X$ let $C_k(X)$ denote the space of continuous real-valued functions on $X$, endowed with the compact-open topology. Problem. Is the space $C_k(X)$ Polish if it is Polishable ...
Taras Banakh's user avatar
  • 41.8k
6 votes
1 answer
567 views

Is restriction a closed map?

Originally asked on MSE. Let $X$ be a normal (or even metrizable) topological space and let $Y$ be a closed subset of $X$. Let $C(X)$ be the linear space of all continuous scalar functions on $X$ ...
erz's user avatar
  • 5,529
3 votes
1 answer
199 views

Are second-countable subsets of topological vector spaces metrizable?

Let $X$ be a topological vector space of size $\mathfrak{c}$. Assume that there exists a countable union $X=\cup X_n$ such that all subsets $X_n$'s are relatively second countable. Q. Does there ...
ABB's user avatar
  • 4,058
2 votes
1 answer
151 views

Boundedness of Dirac deltas

Suppose that $X$ is a metric space and let $C_k(X)$ denote the space of real functions on $X$ with the topology of uniform convergence on compact sets. Then $C_k(X)$ is a topological vector space. Let ...
user124321's user avatar
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
2 votes
1 answer
365 views

Why is an inductive limit of bornological spaces bornological?

Let $(E_\alpha,\tau_\alpha,g_\alpha)$ be a family of bornological (locally convex) topological vector spaces $(E_\alpha,\tau_\alpha)$, where a LCTVS $E$ is said to be bornological if every circled, ...
Dominic Wynter's user avatar
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
5 votes
0 answers
211 views

A strict directed colimit of Hausdorff locally-convex spaces that is not Hausdorff

We work in the category of locally-convex spaces (morphisms are the continuous linear maps). Let $\Lambda$ be a directed set, for every $\lambda \in \Lambda$ let $V_{\lambda}$ be a locally-convex ...
Jonathan Gleason's user avatar
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
98 views

How Universal is the Topological $\mathbb K$-algebra $C(\Omega, \mathbb K)$?

For $\Omega$ an arbitrary set the family $C(\Omega, \mathbb K)$ of all functions $\Omega \to \mathbb K$ becomes a complete topological $\mathbb K$-algebra under the topology of uniform convergence. ...
Daron's user avatar
  • 1,955
3 votes
2 answers
326 views

Examples of TVS with no non-trivial open convex subsets

I give here the classical example of the space $E = L^p([0,1])$ which has no open convex subsets apart from $\emptyset$ and $E$. Consequently, there is no non-trivial continuous linear form on $E$. ...
mathcounterexamples.net's user avatar
2 votes
0 answers
459 views

Weak topology on subsets of a normed space

I have few questions about the subsets of a normed space $X$ endowed with the weak topology. Let $E$ be such subset. When is the norm a continuous function on $E$? When is the metric induced by the ...
erz's user avatar
  • 5,529
8 votes
1 answer
505 views

Examples of topologies compatible with a given dual pair

Let $\langle X, Y \rangle$ be a pair of vector spaces put in duality by a non-degenerate bilinear form $\langle \cdot, \cdot \rangle: X \times Y \to \mathbb{R}$. A topology $\tau$ on $X$ is called ...
Tobias Diez's user avatar
  • 5,824
3 votes
0 answers
373 views

Closed Graph Theorem and Spaces Of Continuous Functions

Let $X$ be a (Tychonoff) topological space. Consider $C\left(X\right)$ being a topological vector space of all continuous scalar-valued functions with the compact-open topology. Assume that $Y$ is a ...
erz's user avatar
  • 5,529
4 votes
1 answer
520 views

Compactly generated Banach spaces

Suppose that $X$ is a Banach space (or more generally, Frechet space) such that $X$ is the closure of the span of a compact (in the original topology) subset $K$. Do we know anything "nice" about $X$, ...
Iian Smythe's user avatar
  • 3,115
2 votes
3 answers
538 views

General theory for p-normed spaces

Hello, in functional analysis and operator theory, you encounter several (at first glance, at least) similar constructions of normed spaces that can be indexed with some $ p \in [1,\infty]$, and ...
shuhalo's user avatar
  • 5,327
5 votes
3 answers
843 views

Topology on the set of linear subspaces

Hello, let $X$ be a seperable Hilbert space. Let $(e_i)_i$ be a Hilbert basis, and for each index let $E_i = \langle e_1,\dots,e_i \rangle \subset X$ the span of the first $i$ basis vectors. For any $...
shuhalo's user avatar
  • 5,327
4 votes
4 answers
1k views

An example of a non-paracompact tvs (over the reals, say)

What is an example of a non-paracompact topological vector space? I'm aware of this question, but I don't care if my tvs is locally convex. In fact the wilder the better. The only criterion is that ...
David Roberts's user avatar
  • 35.4k
6 votes
3 answers
2k views

Sequential topological vector spaces

Since I'm dealing with the distinction between sequential continuous and continuous maps at the moment I came to ask myself once again what can be said about spaces where these two notions agree (...
Johannes Hahn's user avatar