**7**

votes

**2**answers

361 views

### Attempted Banachification of a space

In a recent blog post, Terry Tao mentioned the question of how to tell if a Hausdorff topological vector space admits a finer topological structure which happens to be the topology of a Banach space ...

**12**

votes

**2**answers

387 views

### Nuclear operators/spaces and transfer operators

While studying for my thesis (in dynamical systems) I've encountered multiple times with the concept of nuclear operators and nuclear spaces, often linked with the works of Grothendieck. For example, ...

**8**

votes

**3**answers

290 views

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

I asked this question
http://math.stackexchange.com/questions/1680725/why-is-multiplication-on-the-space-of-smooth-functions-with-compact-support-cont
sometime ago but i didn't receive a satisfatory ...

**4**

votes

**1**answer

152 views

### Is the topological dual of a Banach space weakly* closed in its algebraic dual?

The question is completely contained in the title :)
I can only add, that it is not difficult to give a counterexample for normed spaces, and also Banach-Steinhaus theorem implies the sequential ...

**10**

votes

**1**answer

165 views

### Meaning of topological tensor products in Frenkel-Gaitsgory

The appendix to http://arxiv.org/abs/math/0508382 by Frenkel & Gaitsgory (following an earlier work of Beilinson) describes three different monoidal structures, denoted by $\otimes^!,\otimes^*,$ ...

**4**

votes

**1**answer

159 views

### Linear extension operators for smooth functions: from compact sets to compact sets

I'm considering a situation where I have the linear restriction map of Fréchet spaces
$$
C^\infty(C_1) \to C^\infty(C_2)
$$
where $C_2 \hookrightarrow C_1$ are a pair of compact, connected subsets ...

**3**

votes

**1**answer

207 views

### Topology in space of test functions $\mathcal{D}(\Omega)$ and space of distributions $\mathcal{D}'(\Omega)$

We can concluded that $\mathcal{D}(\Omega):=\bigcup_{K \in \mathcal{K}(\Omega)} \mathcal{D}_K(\Omega)$ (where $\mathcal{K}(\Omega)$ denotes the union of all compacts set content in a open subset ...

**5**

votes

**0**answers

141 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?

**6**

votes

**0**answers

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

**5**

votes

**0**answers

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

**3**

votes

**0**answers

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

**6**

votes

**1**answer

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

**5**

votes

**0**answers

97 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$ ...

**3**

votes

**1**answer

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

**5**

votes

**1**answer

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

**10**

votes

**2**answers

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

**3**

votes

**2**answers

182 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$.
...

**5**

votes

**2**answers

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

**3**

votes

**1**answer

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

**4**

votes

**1**answer

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

**1**

vote

**1**answer

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

**2**

votes

**1**answer

180 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

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

**1**

vote

**1**answer

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

**2**

votes

**0**answers

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

**2**

votes

**2**answers

372 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 \}$. ...

**5**

votes

**1**answer

218 views

### Are polynomials dense in holomorphic $L^p(\mathrm{Gauss})$ for $p < 1$?

Let $\mu$ be standard Gaussian measure on $\mathbb{C}^n$, i.e. $d\mu = \frac{1}{(2 \pi)^n} e^{-|z|^2/2}\,dz$, and fix $0 < p < 1$ (note carefully).
Suppose $g$ is holomorphic on ...

**7**

votes

**1**answer

208 views

### Is the space $S'(\mathbb{N})$ of slowly increasing sequences the projective limit of Hilbert sequence spaces?

Let $S(\mathbb{N})$ be the space of rapidly decreasing sequences and $S'(\mathbb{N})$ its topological dual, the space of sequences bounded by a polynomial.
For $m\in \mathbb{Z}$, we also define ...

**2**

votes

**0**answers

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

**7**

votes

**1**answer

382 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

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

**5**

votes

**1**answer

216 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

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

**1**

vote

**2**answers

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

**14**

votes

**1**answer

581 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

**0**answers

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

**3**

votes

**3**answers

437 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

134 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

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

**36**

votes

**2**answers

969 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

439 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

108 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

198 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

159 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

153 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

**1**answer

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

**5**

votes

**3**answers

484 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

196 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

190 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

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