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

learn more… | top users | synonyms

5
votes
0answers
146 views

Extension operators for topological vector space-valued smooth functions on closed sets

There are many known results about extension theorems for real-valued functions on closed sets, with varying levels of differentiability and so on, all very roughly following the Whitney approach. For ...
8
votes
2answers
382 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
2answers
408 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
3answers
301 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
1answer
155 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
1answer
169 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
1answer
161 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
1answer
223 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
0answers
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?
6
votes
0answers
65 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
0answers
127 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
0answers
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
1answer
316 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
0answers
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$ ...
3
votes
1answer
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})$...
5
votes
1answer
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 ...
10
votes
2answers
419 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
2answers
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
2answers
203 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
1answer
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
1answer
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 ...
1
vote
1answer
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$...
2
votes
1answer
182 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
0answers
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 ...
1
vote
1answer
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 ...
2
votes
0answers
258 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
2answers
396 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
1answer
220 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 $\mathbb{C}^...
7
votes
1answer
211 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
0answers
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 ...
8
votes
1answer
392 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
0answers
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 ...
5
votes
1answer
218 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
0answers
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
2answers
173 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 $\...
15
votes
1answer
599 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 $d\in\...
3
votes
0answers
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 ...
4
votes
3answers
441 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
0answers
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
1answer
271 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
2answers
987 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
3answers
455 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 $\mathcal{D}(...
0
votes
1answer
109 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
199 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 $\mathscr{D}...
2
votes
2answers
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 ...
0
votes
2answers
154 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
1answer
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
3answers
492 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
1answer
202 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
1answer
192 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 ...