# Tagged Questions

A topological vector space is a vector space $V$ over a topological field $\mathbb{K}$ (typically $\mathbb{K}=\mathbb{R}$ or $\mathbb{K}=\mathbb{C}$), together with a topology on $V$ such that vector addition and scalar multiplication are both continuous. Hilbert spaces and Banach spaces are ...

44 views

143 views

### Continuous cohomology via model category

Is it possible to formulate notion of continuous cohomology in terms of model categories? If yes, then is there a reference for this?
68 views

### The abstract kernel theorem implies Schwartz kernel theorem. How exactly?

Let me first give a little rapid background prior to formulating the question. Let $\mathcal{D}$ be a Schwartz space of infinitely differentiable functions and $\mathcal{D}'$ is the space of ...
128 views

### Differential operators acting on the Schwartz space

I asked a similar question on math stack exchange but didn't get an answer so I will try to ask it here. Any help/suggestion is most than welcome! Let $D$ be a linear differential operator with ...
86 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. ...
318 views

### Two vector spaces with homeomorphic open subsets are isomorphic?

Is it true that if $E,F$ are two topological vector spaces (or say Banach spaces) over $\mathbb{R}$ such that they have nonempty open subsets $U\subset E, V\subset F$ which are homeomorphic, then the ...
102 views

### Convergence of convex combinations in topological vector spaces

I am studying certain quadratic forms on $L^0(m)$ equipped with the topology of (local) convergence in measure which in general is not locally convex. I am also interested in the situation where $m$ ...
144 views

### Real analysis on vector-valued spaces, $L^{p}(\mathbb{R}^N,E)$ ,$H^{s}(\mathbb{R}^N,E)$

I am dealing with some vector-valued Sobolev spaces $H^{s}(\mathbb{R}^N,E)$ where $E$ is a Banach space. I am looking for references about results for the scalar case $H^{s}(\mathbb{R}^N,\mathbb{C})$...
296 views

### Is the unitary group of a pre Hilbert space contractible?

I already posted my question on mathstackexchange For a separable Hilbert space $H$ it is known that the unitary group $U(H)$ is contractible, both for the norm topology (Kuiper's theorem) and for ...
424 views

### Do locally convex topological vector spaces embed into diffeological spaces?

The nLab casually remarks that locally convex tvs embed into diffeological spaces by (discussion around) a corollary in Kriegl and Michor, namely 3.14, but this deals with Boman's theorem and results ...
183 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$. ...
204 views

### Schwartz space of functions with values in a Frechet space

While reading some papers about $\psi$DOs I found some spaces of vector valued functions which I am not familiar with. I am looking for references about the Schwartz space of functions with values in ...
118 views

### Can you pair $H^s(\Omega)$ and $H^{-s}(\Omega)$ on a domain $\Omega$?

Consider the fractional Sobolev spaces on $\mathbb R^n$ $H^s(\mathbb R^n) := \left\{ u \in \mathcal S'(\mathbb R^n) \; : \; ( 1 + |\xi|^2 )^{s/2} \hat u \in L^2(\mathbb R^n) \right\}$. Let $\Omega$ ...
165 views

### Relation between dual of nuclear space $(\substack{\text{lim} \\ \leftarrow i} H_i)'$ and $\substack{\text{colim} \\ i \rightarrow } H_i$

Let $\substack{\text{lim} \\ \leftarrow i} H_i$ be a nuclear space, considered as the limit of the codirected diagram $$... \to H_2 \to H_1 \to H_0,$$ with $f_{ji}:H_i \to H_j$ being the trace class ...
117 views

### Inner product spaces without symmetry/hermitian axiom

Consider a vector space $X$ over $\mathbb R$ and a bilinear form $\langle \cdot, \cdot \rangle : X \times X \rightarrow \mathbb R$. We assume furthermore that for any $x \in X$ there exists $y \in X$...
183 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)$, ...
213 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 ...
144 views

### Is a Fréchet Montel space distinguished?

Based on a couple of references, it seems that the answer is yes, see for example Boneta-Dierolf, 1992 and Bierstedt-Bonet, 1989. However, from a comment to the answer of this MO question, I infer ...
277 views

### Inductive/Projective Limits of Topological Algebras

It is common to form inductive/projective limits of Banach/Frechet spaces in order to come up with natural topologies for common vector spaces. For instance, For $k \ge 0$ and $K_n$ compact ...
415 views

### Base of a cone in a vector space: can one always choose a convex base?

Let $C$ be a pointed convex cone in a vector space $V$. This means that $C$ satisfies the three following axioms: $C + C \subset C$, $\mathbb{R}_+ \cdot C \subset C$, and $C \cap (-C) = \{ 0 \}$. ...
222 views

133 views

### Invariant generalized sections of dual vector bundles

Assume X is a real smooth manifold with an action of the real Lie group G. Let E be a G-vector bundle over X. Consider the spaces of generalized sections over X of E, and of E^* (fiberwise dual). My ...
397 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 ...
172 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 ...
222 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 ...
53 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 ...
174 views

276 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 ...
445 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 ...
134 views

109 views

160 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 ...
157 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 ?
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 ...
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 ...