The topological-vector-spaces tag has no wiki summary.

**4**

votes

**1**answer

199 views

### Isomorphisms between spaces of test functions and sequence spaces

I am in the process of writing some self-contained notes on probability theory in spaces of distributions, for the purposes of statistical mechanics and quantum field theory. Perhaps the simplest ...

**5**

votes

**0**answers

118 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 ...

**4**

votes

**1**answer

101 views

### $C^\infty$-vectors in general representations of Lie groups on locally convex spaces

This question is related to
this one. Let $G$ be a real Lie group (I should emphasize I only care about ordinary Lie groups, not Lie groups modeled on locally convex spaces or anything like that). In ...

**2**

votes

**0**answers

49 views

### Stronger version of linearity for functions of measures

Let $X$ be a standard Borel space, and $P(X)$ be space of Borel probability measures on $X$. It is also a standard Borel space if endowed with the topology of weak convergence, so we can integrate ...

**1**

vote

**2**answers

154 views

### Measures, orthogonal to holomorphic functions

Let $G$ be a domain in $\mathbb{C}^{d}$ and let $H\left(G\right)$ be the space of all holomorphic functions on $G$.
My question is how to characterize all such (Radon) measures $\mu$ on $G$, that ...

**13**

votes

**1**answer

316 views

### Bases for spaces of smooth functions

Let $S$ denote the space of rapidly decreasing sequences, which means sequences $a=(a_k)_{k=1}^\infty$ such that the numbers $p_d(a)=\sup\{k^d|a_k| : 1\leq k<\infty\}$ are finite for all ...

**3**

votes

**1**answer

222 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 ...

**2**

votes

**3**answers

185 views

### Frechet Derivative in General Topological Vector Space

If I have a two Hausdorff topological vector spaces, $E$ and $F$ and a mapping $f:E\to F$, is it possible to have a meaningful notion of the derivative of $f$ if the space cannot be endowed with a ...

**1**

vote

**0**answers

98 views

### Is the closed ball of a normed space closed in any Hausdorff locally convex topology, weaker than the norm topology?

Assume that we have a normed space $X$ and a subspace $Y$ of $X^{*}$ such that $Y^{\perp}=\{0\}$. They form a non-degenerate dual pare.
Moreover, $\|y\|=\sup_{x\in B_{X}}|\langle x,y\rangle|$, where ...

**3**

votes

**1**answer

145 views

### Is the space of smooth functions with compact support a DF space?

Is there a good criterion, when a (nuclear) LF space is DF (DFN)? What are references to find out about that? If not, is there a known way, to construct a projective resolution of LF spaces? Prosmans ...

**26**

votes

**1**answer

543 views

### Is Schauder's Conjecture Resolved?

Schauder's Conjecture: "Every continuous function, from a nonempty
compact and convex set in a (Hausdorff) topological vector space into
itself, has a fixed point." [Problem 54 in The Scottish ...

**3**

votes

**3**answers

227 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

**1**answer

65 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

**2**answers

161 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 ...

**2**

votes

**2**answers

119 views

### Generic topology on a field

I'm wondering if there is some generic topology that can be put on any field of characteristic zero which is similar to those induced by a norm on the field. I know that for vector spaces you can take ...

**0**

votes

**2**answers

117 views

### Semi-reflexive dual

I am looking for an example of a semi-reflexive locally convex topological vector space, whose strong dual is not semi-reflexive. Is there some well-known example ?

**0**

votes

**0**answers

65 views

### Open ideally convex sets

Background
Recall that a subset $A \subseteq X$ of a Banach$^{1}$ space $X$ is said to be ideally convex if, for every bounded sequence $(x_n)_{n \in {\mathbb N}}$ in $A$ and every sequence ...

**0**

votes

**1**answer

116 views

### Commutativity of convex hulls and closed balls

Let $X$ be a closed convex subset of a Banach space, and let $A\subseteq X$ be a Borel set. Denote
$$
B_r(A) :=\{y\in X:\exists x\in A \text{ such that }\|x-y\|\leq r\}
$$
and by $H(A)$ the convex ...

**4**

votes

**3**answers

265 views

### Convex hulls of families of probability measures

Let $X$ be a standard Borel space, so that the space of Borel probability measures on $X$ is also a standard Borel space. We denote it by $\mathcal P(X)$.
In this paper for any family of probability ...

**2**

votes

**1**answer

124 views

### Tensor product of topological abelian groups with the reals

Given an abelian group A, the tensor product $A \otimes R$, where R are the reals, is naturally an R-vector space.
Now suppose that A is a topological abelian group (if necessary, we can assume it ...

**4**

votes

**1**answer

165 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 ...

**5**

votes

**2**answers

302 views

### How general is the convergence of the exponential function's power series?

I asked essentially this over two weeks ago on MSE, and nothing was else was posted to that question.
Let $\mathbf{V}$ be a Fréchet space whose underlying set is $V$.
Let $\;\; \beta \: : \: V\times ...

**9**

votes

**2**answers

367 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

**1**answer

175 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 ...

**2**

votes

**1**answer

223 views

### Browder's fixed point theorem in non-Hausdorff topological vector spaces

Browder proved the following fixed point theorem in his 1968 Mathematische Annelen paper (Theorem 1):
Theorem. Let $K$ be a non-empty compact convex subset of a topological vector space $E$ (where we ...

**5**

votes

**3**answers

269 views

### What is the definition of being smooth for a function from a Lie group to a Fréchet space?

In representation theory of real groups, one is confronted with the notion of smoothness for functions defined on a Lie group with values in a Fréchet space (e.g. see Wallach's Real Reductive Groups ...

**5**

votes

**1**answer

132 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 ...

**2**

votes

**1**answer

187 views

### $c^\infty$-topologies on spaces of compactly supported sections and their products

Let $E$ be locally convex topological vector space. Let $c^\infty E$ denote the same
vector space equipped with the $c^\infty$-topology (i.e. the finest topology on it, s.t.
all smooth curves ...

**4**

votes

**0**answers

114 views

### Hilbert metric of a sum of cones

Suppose that $K_{1}$ and $K_{2}$ are pointed closed cones in a finite-dimensional space $V$ whose Hilbert metrics $d_{1},d_{2}$ are known. Is there a way to express the Hilbert metric of $K_{1}+K_{2}$ ...

**9**

votes

**0**answers

160 views

### Is it possible to take “limits up to homotopy”?

Before I begin, an apology: it's been a while since I've done much analysis, so I might be misusing (or just missing) terminology.
I have a chain complex $(V_\bullet,\partial)$ of topological vector ...

**4**

votes

**1**answer

173 views

### Schwartz space defined on locally convex spaces

This is my first post here, so bear with me ;)
In wikipedia and other references, Schwartz space is defined as the set of inﬁnitely differentiable functions on $\mathbb{R}^n$. On the other hand, A ...

**2**

votes

**0**answers

192 views

### Is it true that a solid, minihedral cone in infinite dimensions cannot be regular?

Background
Consider a real Banach$^1$ space $V$. We'll call a subset $V_+ \subseteq V$ a cone if
$V$ is closed,
$\alpha V_+ \subseteq V_+$ for every $\alpha \geqslant 0$ and
$V_+ \cap (-V_+) = ...

**4**

votes

**1**answer

258 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$, ...

**4**

votes

**4**answers

355 views

### Reference for integral of functions taking values in a topological vector space.

(Note that I am interested in the Gelfand-Pettis integral specifically, as opposed to, for example, the Bochner integral.) I have tried Googling things like "integral topological vector space", ...

**2**

votes

**0**answers

142 views

### Density of adjoint operators

I am interested in operators on a non-reflexive Banach space. Let $X$ be a Banach space and let $L(X)$ be the algebra of operators acting on $X$. We may embed $L(X)$ into $L(X^{\ast\ast})$ by ...

**2**

votes

**2**answers

314 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), ...

**4**

votes

**2**answers

300 views

### Limits of von Neumann algebras

Consider (abstract) von Neumann algebras topologised by their weak*-topology arising from the unique predual.
In the theory of topological vector spaces, there is a natural notion of an inductive ...

**7**

votes

**2**answers

294 views

### non-artificial examples of non-smooth and non-admissible representations of GL_2

Let $F$ be a finite degree extension over $\mathbf{Q}_p$ and consider the locally profinite group $G:=GL_2(\mathbf{Q}_p)$.
P1: Give an interesting example (non-artificial one, i.e., one that arises ...

**2**

votes

**0**answers

217 views

### questions about the Riemann-Lebesgue integral

(Assume Countable Choice.)
Generalizing arxiv.org/pdf/math/9903103 and www.um.es/beca/papers/BirkhoffBourgain.pdf,
the Riemann-Lebesgue integral can be defined as follows:
For $V$ a real ...

**2**

votes

**0**answers

626 views

### Regarding a proof in Bourbaki's Topological Vector Spaces

On Bourbaki's TVS Chapter IV pages 33-34, the last part of Proposition 2 can be formulated as follows:
Notations:
$K$ - The underlying field which is the real or complex number field;
$X$ - A ...

**5**

votes

**1**answer

435 views

### A fact about finite-dimensional manifolds I fear does not hold for Frechet manifolds (what's new?)

Let $M$ be a manifold equipped with a pair of surjective submersions $N_1 \stackrel{p_1}{\leftarrow} M \stackrel{p_2}{\rightarrow} N_2$ where $dim N_1 = dim N_2 = n$. Then we can find, for any point ...

**5**

votes

**1**answer

347 views

### Extreme points of a compact convex set are a $G_\delta$?

Dear All,
I'm reading a paper (Residuality of Dynamical Morphisms by Burton, Keane and Serafin) that makes a claim that I've been unable to verify or find a reference for. The claim is made that the ...

**13**

votes

**6**answers

2k views

### Grothendieck on Topological Vector Spaces

In a short biography article on Alexander Grothendieck, it is mentioned that after Grothendieck submitted his first thesis on Topological Vector Spaces (TVS), apparently, he told Bernard Malgrange ...

**4**

votes

**3**answers

859 views

### Topological vector spaces that are isomorphic to their duals

After reviewing the (locally convex)
topological vector spaces that I know,
the only examples I could find where there is an isomorphism from the
space to its (anti)dual, are Hilbert spaces.
So my ...

**3**

votes

**1**answer

103 views

### Independence of the axiomatics of metric cones

A metric cone $C$ is a nonempty metric space (whose distance is denoted $d$) together with a map $\cdot\colon \mathbf{R}\times C \mapsto C$ satisfying these axioms:
$a\cdot(b\cdot x) = (ab)\cdot x$ ...

**3**

votes

**2**answers

473 views

### Sequences of linear combinations of measures

Let $X$ be a Polish space. Let $J\in\mathbb{N}$.
Let $\lbrace a^n_1\rbrace_n,\dots,\lbrace a^n_J\rbrace_n$ be $J$ sequences of reals.
Let $\lbrace \mu^n_1\rbrace_n,\dots,\lbrace \mu^n_J\rbrace_n$ be ...

**11**

votes

**1**answer

420 views

### Status of the compact AR problem?

The so-called "compact AR Problem" reads:
Is every compact convex set in a metrizable topological vector space an absolute retract?
It is open according to the chapter by T. Banakh, R. Cauty ...

**5**

votes

**1**answer

425 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

**1**answer

793 views

### Strong topology

Let $E$ and $F$ be a locally convex topological vector spaces (LCS) and let $E^{\star}$ and $F^{\star}$ denote the strong duals of $E$ and $F$, respectively.
A dual of $E^{\star}$ given by the ...

**-2**

votes

**2**answers

595 views

### Question on Linear Operators

Let $V$ be a normed infinite dimensional vector space. Let $L: V \longrightarrow V$ be a bounded linear operator. Moreover assume that $L$ is 'locally nilpotent' that is:
$$ \forall v \in V \quad ...