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

learn more… | top users | synonyms

3
votes
1answer
78 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 ...
3
votes
1answer
95 views

Generalized functions on a product of two manifolds

Let $X,Y$ be smooth compact manifolds. Let $C^\infty(X)$ and $C^{-\infty}(X)$ denote the spaces of smooth and generalized functions on $X$ respectively. We have the obvious canonical linear map ...
2
votes
1answer
148 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)$, ...
1
vote
1answer
119 views

Relation between locally convex calculus and Kriegl & Michor's “convenient setting”

I have a very general question regarding the book "Kriegl, Michor: The Convenient Setting of Global Analysis.": Is the differential calculus of locally convex spaces (see here, for instance) ...
0
votes
0answers
67 views

Restriction of derivations on $C^\infty(X)$

In 'Kriegl, Michor - A convenient setting for global infintite-dimensional analysis', they say that for an element $x$ in a convenient (i.e. Mackey-complete locally convex) space $X$, a bounded ...
1
vote
0answers
111 views

Universal property of (k-fold) differential $d^k$

does the differential $d^k:C^\infty(U,\mathbb{R}) \to C^\infty(U,S^k(X)^*)$ for $U \subseteq X$ fulfill some kind of (strict) universal property under all '$k$-fold derivations' (you know what i ...
1
vote
0answers
80 views

Restricted strong convexity for biconvex functions

Recently, it has been shown (arxiv paper) that non-convex functions with the restricted strong convexity (RSC) property has the interesting property that their local minima lie within a small ball of ...
5
votes
0answers
143 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 ...
3
votes
2answers
216 views

Is every Montel locally convex vector space compactly generated?

Let $X$ be a Hausdorff locally convex vector space. Recall (my reference is the book of H. Jarchow, Locally Convex Spaces. B.G. Teubner, 1981) that we say that $X$ is a semi-Montel space if every ...
6
votes
1answer
219 views

Tensor product of certain Sobolev spaces on non-compact manifolds

Let $M$ be a non-compact Riemannian manifold of bounded geometry (i.e., its injectivity radius is uniformly positive and the curvature tensor and all its covariant derivatives are bounded in ...
5
votes
0answers
138 views

Topology for bounded operators quotiented by Schatten ideal

I saw this particular question on stackexchange. Since there has been zero answers and since I've been interested in this question myself I want to ask it here. Given the $C^{\ast}$-algebra of bounded ...
4
votes
1answer
194 views

Topology on the dual of a Frechet space

If $F$ is a Frechet space, is there any locally convex space topology on the dual $F'$, such that for each local diffeomorphism $f$ from an open subset $U$ of $F$ to $F$, the map $U \times F' ...
5
votes
3answers
237 views

Sequential closure of a set: standard terminology, notation, and properties

Let $X$ be a topological vector space (or, perhaps, more generally uniform space). Let $A\subset X$ be a subset. Let $A^s$ denote the set of limits of all convergent sequences (I guess $A^s$ is called ...
5
votes
1answer
185 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 ...
3
votes
3answers
310 views

When sequentially continuous linear functional is continuous?

Let $C^\infty(X)$ denote the space of infinitely smooth functions on a compact manifold $X$ (at the beginning one may assume that $X$ is a circle, though I need a more general case). Let ...
0
votes
1answer
81 views

Extending affine maps defined on weakly closed sets to the whole topological space

Given $C$ a weakly closed convex subset of a (real) Banach space $B$, with $0\in C$ and $\varphi:C\longrightarrow \mathbb{R}$ weakly continuous, with $\varphi(0)=0$, can we extend $\varphi$ to a ...
3
votes
2answers
176 views

Linear operators on distributions with different topologies

Denote by $\mathscr{D}^\prime$ and $\mathscr{D}^\prime_b$ the space of distributions on $\mathbb{R}^n$ equipped with the weak and the strong topology, respectively. Because the topology of ...
5
votes
1answer
483 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 ...
0
votes
2answers
159 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 ...
0
votes
0answers
89 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
1answer
283 views

Interior of a dual cone

Let $K$ be a closed convex cone in $\mathbb{R}^n$. Its dual cone (which is also closed and convex) is defined by $K' = \{ \phi\ |\ \phi(x) \geq 0,\ \ \forall x \in K\}$. I know that the interior of ...
4
votes
1answer
177 views

Extending a Certain Result from Locally Convex Topological Vector Spaces to General Topological Vector Spaces

In this Math Stack Exchange post, I proved the following result. Theorem: Let $ X $ be a locally convex topological vector space. Let $ x \in X $ and suppose that $ (x_{n})_{n \in \mathbb{N}} $ is ...
9
votes
2answers
452 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 ...
6
votes
1answer
189 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 ...
5
votes
1answer
156 views

closed subspaces of locally convex inductive limits

It's a duplicate of this question, since I really want to get an explanation. Let $\left(V_{n},\phi_{n,n+1}\right)_{n\in\mathbb{N}}$ be an inductive sequence of LCTV spaces. A locally convex ...
12
votes
2answers
493 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 ...
2
votes
1answer
366 views

Measurability of subspace of set of all functions

Set $X=\mathbb{R}^n$ and let $X^{I}$, the space of maps from the (bounded or unbounded) interval $I$ to $X$, be endowed with the locally convex topology of pointwise convergence. Is it true that the ...
4
votes
1answer
304 views

Hahn-Banach restricted to a pre-dual

If $V$ is a locally convex topological space, the Hahn-Banach theorem shows that a continuous linear functional on a closed subspace can be extended to a continuous linear functional on all of $V$, ...
11
votes
3answers
522 views

finding the most-isolated point in a high-dimensional cube

I have a set of points {$x_1,\ldots,x_n$} located in the d-dimensional unit cube $[0,1]^d$. $n$ is about 1000 and $d$ is about 25. I'd like to find $\max_{\omega\in [0,1]^d}\min_{i=1,\ldots,n} ...
4
votes
1answer
279 views

Entire calculus and clmc algebras

If $\mathcal{A}$ is a complete locally convex (Hausdorff) associative unital algebra (over $\mathbb{C}$) one is interested in defining "transcendental" functions of a given algebra element $a \in ...
5
votes
1answer
432 views

The space $H(D)$ of holomorphic functions.

A very natural example of a nuclear Montel space is the space $H(D)$ of all holomorphic functions on the open disc topologized by the family of seminorms $$p_n(f)=\sup\{|f(z)|\colon |z|\leq ...
1
vote
0answers
227 views

Adjoint operators in LCS

Before my main question let me start with the following notions. Let $X$ and $Y$ be locally convex spaces and let $T \colon X \rightarrow Y$ be a linear mapping. The adjoint of $T$ is an operator ...
1
vote
1answer
324 views

Metrizable dual space

I've got the following questions concerning the theory of locally convex spaces : Let $X$ be a locally convex metrizable space, what is the necessary and sufficient condition to have its dual $X^*$ ...
2
votes
0answers
262 views

Are affine continuous functions on Bauer sub-simplices of the probability measures given by integration over continuous functions?

Let $X$ be a compact (non-metrizable) Hausdorff space and $\mathcal{P}(X)$ the set of Radon probability measures with weak-$*$ topology (weak topology induced by the continuous functions). Consider a ...
1
vote
1answer
211 views

“L^2_loc mod constants” as a reflexive space

In an article of Sten Kaijser ("A note on dual Banach spaces") I find the assertion that $E = L^2_{\text{loc}}({\mathbb R})$ modulo constants is a reflexive space. Question 1: which is the ...
6
votes
4answers
528 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 ...
13
votes
0answers
1k 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 ...