Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [locally-convex-spaces]

Topological vector space with a locally convex topology, i.e. induced by a system of seminorms.

4
votes
0answers
63 views

Is the Baireness a 3-space property of topological groups

It is known that the product of two Baire spaces can be meager. On the other hand, by a recent result of Li and Zsilinszky the product of two Baire spaces is Baire if one of the spaces is countably ...
8
votes
2answers
264 views

Can smoothness of curves into a convenient locally convex vector space be tested with just a dense subspace of the dual?

Let $E$ be a (Hausdorff) locally convex vector space (from now on just "lcs" for short). We say that $E$ is convenient (also called locally complete, Mackey-complete or $c^\infty$-complete) if, given ...
3
votes
1answer
70 views

Openness of invertibility in Fréchet spaces for families parameterized by compact spaces

Consider the following setup. Let $K$ be a compact topological space, $X$ a Fréchet space and $T:K \times X \to X$ a continuous family of linear maps (i.e. $T$ is a continuous map and $T_k \equiv T(k, ...
2
votes
0answers
88 views

A sufficient condition for subdifferentiability

Corollary 9 in here (page 31) states that a proper convex function $g:Y\rightarrow \mathbb{R}\cup\{\infty\}$ (not necessarily continuous) on a locally convex space $Y$ is subdifferentiable on a point $...
1
vote
1answer
66 views

A property on some unbounded metric spaces

Suppose that $(X,d)$ is a metric spaces. Which condition(s) can guaranties the following property: $\forall x, \forall y \in X, \exists \{z_n\}$ such that $\lim_{n\to +\infty } d(x,z_n)=+\infty$ and $\...
1
vote
1answer
116 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 ...
5
votes
3answers
146 views

Continuity and sequential continuity of a linear functional

Let $E = C_c^0(\mathbb{R}^n;\mathbb{R}^m)$ be the space of compactly supported continuous functions on $\mathbb{R}^n$ with values on $\mathbb{R}^m$. There is a natural norm on this space: given $\...
4
votes
0answers
46 views

$L^p$-spaces for locally convex spaces

Let $(X,\sigma)$ be a locally convex space, say generated by a family of seminorms $\mathfrak{P}$. I know that there is the notion of the space of integrable functions $f:\Omega\rightarrow(X,\sigma)$ ...
4
votes
1answer
82 views

Hereditary Lindelöfness in $C_p$-spaces

Let $X$ be a (infinite) separable topological space and consider $C_p(X)$, the space of continuous functions on $X$ endowed with the point-wise convergence topology. Q. I am looking for ...
4
votes
1answer
137 views

Does separability of the strong operator topology imply separability of the underlying space?

Let $X$ be a Banach space and $B(X)$ be the space of bounded operators on $X$. Suppose that the strong operator topology on $B(X)$ is separable and that the cardinal number of $B(X)$ is continuum. ...
2
votes
1answer
154 views

Relation between the weak star topology and hereditary Lindelöfness

Let $X$ be a Banach space. Is the following implication valid? $$ (X,w) \textrm{ is hereditarily Lindelöf}~ \Rightarrow X^*~ \textrm{is separable} $$ The converse is clearly true, since the ...
4
votes
2answers
190 views

pointwise convergence to the identity

Let $X$ be a separable topological vector space with size (cardinal number) no larger than $\mathfrak{c}$. Does there exist any sequence of finite rank linear maps $\phi_n:X\to X$ pointwise converging ...
4
votes
0answers
84 views

point-wise approximation of the identity in hereditary Lindelof spaces

Let $X$ be a topological vector space. Assume that there exists a sequence of finite range measurable functions $\phi_n:X\to X$ with $\lim\phi_n(x)=x$. Q. Can we concluded that $X$ is hereditery ...
5
votes
0answers
211 views

The second dual of $C(X)$ with the compact-open topology

Let $X$ be a compact Hausdorff space. Then $C(X)$ is a Banach algebra with the supremum norm and so is $A=C(X)^{**}$ under either Arens product. Moreover, it is easy to verify that $A\cong C(Z)$ for ...
4
votes
1answer
210 views

Approximation of the identity by finite range functions in topological vector spaces

Let $X$ be a topological vector space. Assume that there exists a sequence $\phi_n:X\to X$ of finite range measurable functions with $\lim\phi_n(x)=x$ for every $x\in X$. Can we concluded there exists ...
3
votes
1answer
140 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 ...
4
votes
0answers
107 views

A point concerning Fremlin's example on Borel sets in non-separable Banach spaces

Let $E$ be a Banach space. Let us consider the following three sigma algebras on $E$. $~~~~\mathcal{B}$= The $\sigma$-algebra coming from the norm topology. $~~\mathcal{M}$= The sigma algebra ...
2
votes
1answer
132 views

A particular separation example

Q1. Does there exist a separable Banach space $X$ satisfying in the following property? 1- $X^*$ is non separable. 2- For every countable subset $F\subset X^*$ there exists $0\neq x_F\in X$ ...
6
votes
3answers
364 views

Point-wise limit of finite valued functions

Let $X$ be a second countable topological vector space. Does there exist any sequence of finite valued functions $f_n\colon X\to X$ converging point-wise to the identity mapping on $X$?
4
votes
1answer
196 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 ...
3
votes
1answer
197 views

A particular example of topological vector spaces

I am looking for a topological vector space $(X,\tau)$ enjoying the following conditions: 1- $(X,\tau)$ is not locally convex. 2- There exists a metric $d$ on $X$ and a sequence $\{X_n\}$ of ...
8
votes
3answers
858 views

Is the strong operator topology metrizable?

Let $X$ be a separable Banach space. Is the strong operator topology metrizable on $B(X)$, the space of all bounded operators on $X$? SOT-$\lim T_i=0~$ if and only if $~\lim \|T_ix\|=0$ for every $x\...
1
vote
0answers
53 views

Given projection PP is weak-star to weak-star continuous [closed]

Let $X$ be a Banach space, and $P$ be a projection of $X^*$ such that $\Vert P \Vert\leq 1$ and $\ker(P)$, ${\bf ran}(1-p)$ are weak-star closed. Show that $P$ is weak-star to weak-star continuous. ...
9
votes
2answers
314 views

Does $End(V)$ remember $V$, where $V$ is a locally convex space?

Let $V$ be a locally convex topological vector space over $\mathbb C$, and let $A=\mathrm{End}(V)$ be its algebra of continuous linear endomorphisms (viewed just as a $\mathbb{C}$-algebra, not as a ...
5
votes
0answers
304 views

Dual of representation is irreducible implies the representation is irreducible?

Suppose $V$ is an infinite dimensional $\mathbb{Q}_p$-representation of Lie algebra $\mathfrak{g}$ over $\mathbb{Q}_p$. If its dual representation $V^{\prime}$ is irreducible then, is it always true ...
0
votes
0answers
81 views

On compactness of composition of a non-compact operator with a projection

Let $E$ be a locally convex space, and let $F$ be a complete locally convex space (which is not Banach, not separable), so we can consider $F$ as a projective limit of Banach spaces, that is, $F=\text{...
3
votes
1answer
131 views

Recognizing locally convex spaces on which all bounded linear functionals are continuous

Is it possible to characterize the Hausdorff locally convex spaces on which all bounded linear functionals are continuous? It is known that a space is bornological if and only if the space is Mackey ...
11
votes
2answers
383 views

Who first defined locally convex topological vector spaces?

Who first defined the class of locally convex topological vector spaces?
1
vote
1answer
90 views

When is the strict topology bornological?

Let $X$ be a completely regular Hausdorff space. Are there known conditions under which the algebra of bounded continuous functions on $X$, endowed with the strict topology, is bornological? (Of ...
0
votes
0answers
112 views

Continuity under various topologies for positive linear functionals

It is known that if $\mathcal A$ is a unital $\mathbb C$-$*$-algebra and $A$ is a unital subalgebra closed under $*$, and if $f : A \to \mathbb C$ is linear, then $f$ is positive if and only if $f$ is ...
7
votes
1answer
315 views

An equivalent condition for separability of $X^*$

Let $X$ be a Banach space. By the weak operator topology on $B(X)$, we mean the locally convex topology implemented by the following semi-norms: $$B(X)\to[0,\infty) : T\to|\langle Tx,x^*\rangle|$$ ...
1
vote
0answers
56 views

Working in coordinates with topologies on the algebra of continuous functions

Let $X$ be a Hausdorff completely regular topological space, and let $C_b (X)$ be its algebra of continuous bounded functions. Endow $C_b (X)$ with a topology given by some seminorms, that contains ...
2
votes
0answers
57 views

An equivalent condition for second countable locally convex spaces

Let $(X,\tau)$ be a locally convex topological vector space. Assume for any arbitrary topological base $\mathcal{E}$ of $\tau$ we have that: the Borel sigma algebras coming from $\mathcal{E}$ and $\...
1
vote
0answers
36 views

Analogues of properties (DN) and (Ω) for more general locally convex spaces

In the structure theory of Fréchet spaces, especially results around splitting short exact sequences, the properties (DN) and (Ω) play a major rôle. There are many variants, but they are phrased in ...
5
votes
1answer
196 views

Are separable F-spaces (completely metrizable topological vector space) homeomorphic to $l_2$?

An F-space is a completely metrizable topological vector space, i.e. the vector topology is induced by a complete metric. A Fréchet space is, by definition, a locally convex F-space. It is known that ...
4
votes
1answer
419 views

Fixed point of a group action

Let $\mathbb{R}^\infty$ be the product of countably many real lines. Assume that a finitely generated group $\Gamma$ acts on $\mathbb{R}^\infty$ (linearly and continuously) and there is a nonempty ...
4
votes
0answers
123 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 ...
3
votes
1answer
137 views

The sheaf of generalized functions on compact subsets

For $K\subseteq \mathbb{R}^d$ compact, let $C_{\mathrm{c}}^{\infty}(K)$ denote the space of smooth functions on (an open neighborhood of) $K$ with compact support contained in $K$ with the usual ...
2
votes
1answer
84 views

Is there any dual relationship between quasi-completeness and barrelledness?

In the theory of stereotype spaces, it is known that for a locally convex space $X$, If $X$ is pseudocomplete, then $X^{\star}$ is pseudosaturated, and If $X$ is pseudosaturated, then $X^{\star}$ ...
5
votes
0answers
182 views

Tensors and Nuclear/Fredholm Operators

For a locally convex Hausdorff spaces $E$, consider the canonical map $$\overline{\psi}:E^\prime \hat{\otimes}_\pi E \longrightarrow L(E_\sigma)$$ that maps the projective tensor product to the space ...
7
votes
1answer
194 views

Strictly finer bornological topology on Hilbert space

Question: Let $E$ be a Hilbert space. Can there exist a strictly finer bornological topology on $E$? The background to my question is as follows. I am looking at locally complete, locally convex ...
0
votes
0answers
68 views

Non-B-completeness of finest locally convex topology

For an index set $A$ consider the locally convex direct sum $X_A := \bigoplus_{\alpha \in A} \mathbb{R}_\alpha$ of $|A|$-many lines $\mathbb{R}_\alpha = \mathbb{R}$. Then $X_A$ is complete. It is ...
3
votes
1answer
120 views

Does the Banach algebra of jets have the approximation property?

To formulate my question I need the construction of the algebra $J^n_M(K)$ of jets of degree $n$ on a compact set $K$ of a smooth manifold $M$. I'll describe it for the simplest case of $M={\mathbb R}$...
2
votes
1answer
115 views

A variant of the approximation property?

The following looks like a strengthening of the approximation property, but I don't know, maybe this is equivalent. I would be grateful if somebody could explain this. Let $X$ be a Banach space with ...
6
votes
2answers
360 views

The topology of pointwise convergence with the adjoint operator on a von Neumann algebra

Let $H$ be a Hilbert space and ${\mathcal A}$ a von Neumann algebra in $B(H)$. Let us endow ${\mathcal A}$ with the topology of pointwise convergence with the Hermitian adjoint operator, i.e. a net $...
14
votes
0answers
225 views

Admissible relations in a Banach algebra

Suppose that $\mathbb{C}\left\langle x, y \right\rangle = R$ is a free (associative and unital) algebra and $f \in R$. I wonder whether there exists a (unital) Banach algebra $A$ and a non-zero pair $...
4
votes
2answers
408 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
2answers
773 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 ...
3
votes
1answer
217 views

Is the equicontinuous weak-star topology locally convex on the dual of an LF-space?

The Banach-Dieudonné theorem states that if $X$ is a metrizable locally convex Hausdorff space then the equicontinuous weak-* topology $ew^*$ on $X'$ coincides with the topology of precompact ...
12
votes
3answers
849 views

Why is multiplication on the space of smooth functions with compact support continuous?

I asked the question Why is multiplication on the space of smooth functions with compact support continuous? on M.SE sometime ago but i didn't receive a satisfatory answer. I was reading this post ...