The tag has no wiki summary.

learn more… | top users | synonyms

4
votes
1answer
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
0answers
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
1answer
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
0answers
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
2answers
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
1answer
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
1answer
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
3answers
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
0answers
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
1answer
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
1answer
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
3answers
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
1answer
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
2answers
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
2answers
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
2answers
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
0answers
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
1answer
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
3answers
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
1answer
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
1answer
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
2answers
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
2answers
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
1answer
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
1answer
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
3answers
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
1answer
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
1answer
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
0answers
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
0answers
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
1answer
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 infinitely differentiable functions on $\mathbb{R}^n$. On the other hand, A ...
2
votes
0answers
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
1answer
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
4answers
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
0answers
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
2answers
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
2answers
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
2answers
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
0answers
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
0answers
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
1answer
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
1answer
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
6answers
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
3answers
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
1answer
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
2answers
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
1answer
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
1answer
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
1answer
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
2answers
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 ...