Questions tagged [locally-convex-spaces]
Topological vector space with a locally convex topology, i.e. induced by a system of seminorms.
23
questions
16
votes
3
answers
3k
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 satisfactory answer.
I was reading this ...
14
votes
2
answers
1k
views
Are smooth functions tame?
I know the article of Hamilton on the inverse function theorem of Nash and Moser (with the same title) where he proves that $C^\infty(M)$ is a tame Fréchet space, when $M$ is closed or compact with ...
9
votes
2
answers
988
views
Do Hausdorff locally convex inductive limits always exist?
The following is from Schaefer, "Topological Vector Spaces", 1999, p. 56/57:
Let $(E_\alpha)_{\alpha \in A}$ be a family of locally convex spaces with $\alpha$ in a directed poset $A$ and $h_{\beta \...
9
votes
2
answers
1k
views
Test functions with "wrong" topology not locally convex?
I didn't find it in any book, although it seems that this should be standard: Endow the space $C^\infty_c(\mathbb{R})$ of compactly supported functions with the inductive topology coming from the ...
26
votes
2
answers
2k
views
When is a locally convex topological vector space normal or paracompact?
All locally convex topological vector spaces (LCTVS) are completely regular, since their topology is given by a family of semi-norms. I'm interested in conditions that imply that a LCTVS is ...
18
votes
1
answer
2k
views
Borel Lemma for vector-valued functions
The classical Borel Lemma states that for an arbitrary sequence $(v_n)_{n \in \mathbb{N}_0}$ of complex numbers there is a smooth function $f\colon \mathbb{R} \longrightarrow \mathbb{C}$ with Taylor ...
11
votes
4
answers
1k
views
Example of noncomplete quotient of complete lcs mod closed subspace
The following statement is well-known: for a Fréchet space $V$ and a closed subspace $W \subseteq V$ the quotient $V / W$ is again complete and hence a Fréchet space. For the particular case of a ...
10
votes
1
answer
639
views
Are functions of moderate growth a bornological space?
I was thinking a bit about distribution theory the last weeks and stumbled across the following question:
There are two natural locally convex topologies on the space of smooth functions of moderate ...
8
votes
2
answers
350
views
Metrizability of a topological vector space where every sequence can be made to converge to zero
This is a follow-up to this answer.
If $E$ is a (real or complex) topological vector space, we say that a sequence $\{x_n\}_{n=1}^\infty$ in $E$ can be made to converge to zero if there exists a ...
7
votes
1
answer
741
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|$$
...
6
votes
1
answer
607
views
Closed convex hull in infinite dimensions vs. continuous convex combinations
tl;dr: When is the closed convex hull of a set $K$ equal to the set of "continuous" convex combinations of $K$?
I am essentially asking for the most general, infinite-dimensional analogue of ...
4
votes
3
answers
644
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
votes
4
answers
642
views
On Köthe sequence spaces
I asked this a week ago at math.stackexchange, but without success.
As far as I understand, there are several meanings of the notion of the Köthe sequence space, in particular, Hans Jarchow in his "...
4
votes
1
answer
238
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 ...
4
votes
2
answers
524
views
Existence of a countable linear combination with positive coefficients
Consider a (Hausdorff and complete) locally convex topological vector space $V$ and a countable subset $(v_k)_{k=1}^\infty \subset V$ of non-zero vectors.
$(*)$ Under what conditions on this subset ...
3
votes
2
answers
888
views
Topologies on space of compactly supported continuous functions
Let $X$ be a locally compact Hausdorff space. As far as I understand, the space $C_c(X) = C_c(X; \mathbb{C})$ of compactly supported continuous complex-valued functions on $X$ is (most?) often ...
3
votes
0
answers
150
views
Elements of vector-valued $L^1$-spaces
Let $E$ be a complete locally convex space and let $(X, \Sigma, \mu)$ be a measure space where $\mu$ is a Radon measure. Then the space $L^{1}(X,E)$ is defined as a the completion of the space $S(X,E)$...
2
votes
1
answer
444
views
Weak convergence of probability measures on weak versus strong dual
The space of temperate distributions $S'(\mathbb{R}^d)$ is often equipped with the weak-$\ast$ or with the strong topology. When defining the notion of a probability measure on $S'(\mathbb{R}^d)$, ...
2
votes
0
answers
70
views
Gluing together mixed normed vector spaces with mixed topologies
This is a variant of this question.
Definitions/Facts
$Ball_1(X)$ denotes the unit ball (about $0$) in a normed vector space $X$.
MixTop of triples of pairs $(X,\tau)$ of normed vector spaces $X$ ...
1
vote
0
answers
93
views
Seminorms ported by a compact
Let $X$ be a Banach space, and $U\subset X$ an open balanced set. A seminorm $\rho$ in $\mathcal{H}(U)$ is said to be ported by a compact $K\subset U$ if for all open set $V$ such as $K\subset V \...
1
vote
0
answers
161
views
Example of locally convex space such that its weak and initial topology coincide
If $X$ is a normed space than it is well known that its norm topology and its weak topology coincide if and only if $X$ is finite-dimensional.
Now I asked myself the same question about general ...
1
vote
0
answers
96
views
Gluing together dense subset of Projective Limit in $Ban_1$
Let $(X_n,\pi_n^{m})$ be a countable projective system in the category Ban$_1$ of Banach spaces and short linear maps (is (continuous) linear constructions). Then (co)-completeness of this category ...
0
votes
2
answers
403
views
Sufficient condition such that weak and initial topology coincide for a locally convex space
This is the opposite question to this one: Example of locally convex space such that its weak and initial topology coincide.
If we have a normed vector space $X$ than its norm topology and weak ...