Questions tagged [topological-vector-spaces]

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 examples of topological vector spaces.

97 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
16 votes
0 answers
514 views

Reference request for Grothendieck's work on "Integration with values in a topological group"

Disclaimer. This question was already asked in Mathematics Stack Exchange (see the link here). I wanted the question to be migrated here but I was told by a moderator that a question that old is ...
user avatar
14 votes
0 answers
670 views

strong topologies on $C_c^\infty$

UPDATE (27/08/2020): I realized after a comment from Jochen Wengenroth that there was at least one false premise behind my question, owing to the fact that analysts sometimes use the words "...
Chris Wendl's user avatar
11 votes
0 answers
200 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 ...
Theo Johnson-Freyd's user avatar
9 votes
0 answers
675 views

Infinite-dimensional affine space in algebraic geometry and algebraic topology

In topology, there are of course many different infinite-dimensional topological vector spaces over $\mathbb R$ or $\mathbb C$. Luckily, in algebraic topology, one rarely needs to worry too much about ...
Tim Campion's user avatar
  • 60.6k
8 votes
0 answers
183 views

On "linearly independent" metric spaces

Urysohn's universal metric space $\Bbb U$ satisfies the following surprising property: Whenever $i\colon\Bbb U\to E$ is an isometric embedding into a normed vector space such that $0\not\in i(\Bbb U)$...
Alessandro Codenotti's user avatar
8 votes
0 answers
437 views

When is the sigma-algebra generated by closed convex sets the same as the Borel sigma-algebra

For which topological vector spaces $E$ do we have the equality between the sigma algebra generated by the closed convex subsets of $E$ and the Borel sigma algebra of $E$ ? More precisely, do we have ...
LCO's user avatar
  • 496
7 votes
0 answers
205 views

Simultaneous Strong Law of Large Number classes?

Say that $C$ is a SSLLN class of subsets of some topological space $V$ provided that for every sequence of i.i.d.r.v.s $X_1,X_2,...$ with values in $V$, we almost surely have: For every $A$ in $C$, $\...
Alexander R Pruss's user avatar
6 votes
0 answers
177 views

Infinite-dimensional BRST reduction

Fix a base field $k$. First let me loosely describe the BRST reduction in the finite-dimensional setting. For a finite-dimensional Lie algebra $\mathfrak{n}$, we can form the Clifford algebra $\...
Estwald's user avatar
  • 1,187
6 votes
0 answers
148 views

Cech cohomology on product covers & Fréchet sheaves

My question is about the paper [Ka67]. Let $S, T$ be sheaves of nuclear Fréchet spaces over paracompact topological spaces $X, Y$, respectively; in particular, if $V \subset U$ are open subsets in $X$,...
Lukas Miaskiwskyi's user avatar
6 votes
0 answers
1k views

Condensed/liquid vector spaces and path integrals

[Edited to take into account comments.] Background One approach to the problem of making rigorous various measures on spaces of paths (for example, the Wiener or Feynman measure) is the time-slicing ...
curioser's user avatar
6 votes
0 answers
269 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 ...
David Roberts's user avatar
  • 33.8k
6 votes
0 answers
347 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 ...
Rauan Akylzhanov's user avatar
6 votes
0 answers
686 views

distributions on Lie groups and representations

Let $G$ be a Lie group and $\pi$ a continuous action on $V$, a Fréchet space. This action induces a representation of the space of compactly supported functions, $C_c(G)$, with convolution as product ...
Yul Otani's user avatar
  • 342
5 votes
0 answers
206 views

Is the Taylor map continuous?

(Skip to the bolded theorem below for my question, if you'd like) Some context on asymptotic expansions and the Taylor map In the setting of irregular singularities of meromorphic connections on the ...
Brian Hepler's user avatar
5 votes
0 answers
202 views

Duality and compactness for pro vector spaces

I have a somewhat basic question which I haven't been able to piece together from the literature. Background. We work over a field $\bf{k}$. Consider the category, $\bf{Pro}_{k}$, of pro- vector ...
E.B.'s user avatar
  • 51
5 votes
0 answers
164 views

Topological localisations of algebras and solidification

Let $A$ be a (topologically discrete) commutative ring and consider the topological ring $A((z))$. Let $\underline{A((z))}$ denote the corresponding condensed ring, and let $a(z)$ be a non-zero ...
user avatar
5 votes
0 answers
180 views

Logarithm on formal power series continuous?

Denote $V:=\mathbb{R}^d$ and consider the Cartesian product $V^\infty:=\prod_{k=0}^\infty V^{\otimes k}$ together with its canonical projections $\pi_k : V^\infty\rightarrow V^{\otimes k}, (v_0, v_1, \...
fsp-b's user avatar
  • 421
5 votes
0 answers
115 views

Continuous and bornological Hochschild homology

As far as I understand, given a complex algebra $A$ with a locally convex topology $\mathcal{T}_A$ (e.g. $A=C^{\infty}(M, \mathbb C)$ for some manifold M), the topology induces a complete convex ...
Flavius Aetius's user avatar
5 votes
0 answers
207 views

Extension of Vector Field in the $\mathcal{C}^r$ topology

This question was previously posted on MSE. Let $M\subset \mathbb{R}^n$ be a compact smooth manifold embedded in $\mathbb{R}^n$, we define $$\mathfrak{X}(M) := \{X: M \to \mathbb{R}^n;\ X\mbox{ is ...
Matheus Manzatto's user avatar
5 votes
0 answers
409 views

Spectral theory without topology

How much of spectral theory can be developed just working with vector spaces (finite or infinite dimensional) without referring to a choice of topology ? Something along these lines, for example: ...
gdm's user avatar
  • 51
5 votes
0 answers
118 views

References on categorical TVS theory

A survey by Castillo lists results on the category of Banach spaces and on Banach space constructions, such as: Existence of limits in Banach spaces or suitable subcategories Demonstrations of ...
Cloudscape's user avatar
5 votes
0 answers
204 views

A strict directed colimit of Hausdorff locally-convex spaces that is not Hausdorff

We work in the category of locally-convex spaces (morphisms are the continuous linear maps). Let $\Lambda$ be a directed set, for every $\lambda \in \Lambda$ let $V_{\lambda}$ be a locally-convex ...
Jonathan Gleason's user avatar
5 votes
0 answers
103 views

On the embedding of manifolds into infinite-dimensional spaces

Let $X$ be a (connected, finitely dimensional) topological/smooth/complex manifold and let $i$ be a weakly continuous/continuous/smooth/holomorphic map from $X$ into the dual $F^{*}$ of a real or ...
erz's user avatar
  • 5,385
5 votes
0 answers
192 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?
quinque's user avatar
  • 375
5 votes
0 answers
296 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 ...
Pea's user avatar
  • 81
5 votes
0 answers
285 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$ ...
Marcel Schmidt's user avatar
4 votes
0 answers
164 views

Is the test function topology a Mackey topology?

I am a physicist, and I have lately been thinking about distributions as they appear in quantum field theory. In the standard development of the theory of distributions, one considers the space $C^{\...
Jon's user avatar
  • 41
4 votes
0 answers
355 views

Generalized Jensen's inequality for positively homogeneous functions

The function $f:V \to \hat{\mathbb{R}}$ is said to be positively homogeneous iff $f(\alpha v) = \alpha f(v)$ for every $\alpha \in \mathbb{R}_{++}$. Here $V$ is a real vector space and $\hat{\mathbb{R}...
Nik Bren's user avatar
  • 499
4 votes
0 answers
159 views

Pointwise vs. local homotopy equivalences of continuous and smooth complexes of real vector bundles

Let $(E^\bullet,d_E)$ and $(F^\bullet,d_F)$ be two complexes of real vector bundles on a topological manifold $X$, and let $f^\bullet\colon E^\bullet\to F^\bullet$ be a morphism of complexes, i.e. a ...
domenico fiorenza's user avatar
4 votes
0 answers
147 views

A characterization of nuclear functionals in terms of continuity with respect to some special topologies on $B(X)$?

I think, nuclear functionals on the space of operators $B(X)$ (on a Banach space $X$) must have a characterization in terms of some special continuity. I would be grateful if somebody could help me ...
Sergei Akbarov's user avatar
4 votes
0 answers
384 views

Locally compact vector space over a finite field

In the wikipedia article titled "topological vector space", there is a line saying the following. "Let $K$ be a locally compact topological field, for example to real or complex numbers. A ...
Daps's user avatar
  • 540
4 votes
0 answers
145 views

Basic calculus on topological fields

Let $K$ be a a topological field (I am mainly interested in the cases when K is either an ordered field or a valued field, e.g. $K = \mathbb Q$ or $ \mathbb Q_p$). 1) Let $f: K^n \to K$ be a ...
Antongiulio Fornasiero's user avatar
4 votes
0 answers
132 views

Question on this extension of abelian topological groups

A question on abelian topological groups: Let $G$ be an abelian topological (Hausdorff) group and let $N$ be a closed subgroup of $G$. Assume that $N$ is (as a topological group) isomorphic to $(\...
Neslihan's user avatar
  • 495
4 votes
0 answers
158 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}$ ...
Felix Goldberg's user avatar
3 votes
0 answers
248 views

Equality of topologies in the spaces of section of a vector bundle

In this notes Geometric Wave Equations by Stefan Waldmann at page 7 he has Let $E \longrightarrow M$ be a vector bundle of rank $N$. For a chart $(U, \psi)$ we consider a compact subset $K \subseteq ...
amilton moreira's user avatar
3 votes
0 answers
41 views

Quasi-completion of a locally convex space as a space of linear functionals on its dual

A locally convex topological vector space is said to be quasi-complete if its closed bounded subsets are complete. Given a locally convex space $E$, one can show the existence of a Hausdorff quasi-...
P. P. Tuong's user avatar
3 votes
0 answers
111 views

Approximation of a linear functional by linear continuous functionals

Let $X$ be a locally convex space, $T$ a balanced convex compact set in $X$, and $f:X\to\mathbb{C}$ a linear functional which is (not necessarily continuous on $X$, but) continuous on $T$. It is not ...
Sergei Akbarov's user avatar
3 votes
0 answers
52 views

Continuous differentiations of functional algebras

Let $A$ be some algebra (infinite-dimensional) of analytic functions on $\mathbb{C}^n$, and $D$ be some derivation of $A$, i.e. $D(fg)=Df \cdot g + f \cdot Dg)$ (so A may be considered as a ...
Vladimir47 's user avatar
3 votes
0 answers
73 views

The Loday-Quillen-Tsygan theorem for topological (Fréchet) algebras

In "Additive K-theory" by Tsygan and Feigin, Section 0.4, a statement is given which seems to generalize (cohomological version of) the well-known Loday-Quillen-Tsygan theorem $$H_{\text{CE}}...
Lukas Miaskiwskyi's user avatar
3 votes
0 answers
81 views

"Weakly" nuclear operators (terminology)

Recently, I'd come across the following kind of operators and I wonder if they have been considered before and given a name. Let's say that a linear map $T:V\to W$ between locally convex topological ...
Pea's user avatar
  • 81
3 votes
0 answers
146 views

Can every contractible space be embedded as a convex subset of a vector space?

Given a contractible topological space $X$, is there (or what are some conditions for the existence of) a continuous embedding $\iota:X\hookrightarrow V$ into some topological vector space $V$ such ...
Qfwfq's user avatar
  • 22.7k
3 votes
0 answers
67 views

Non-linear weak*-continuous left inverses

Let $T\colon X\to Y$ be a continuous linear surjection between Frechet spaces. Then it is possible to use Michael's selection theorem to show that there exists a continuous (non-linear) function $g\...
T. Milva's user avatar
3 votes
0 answers
46 views

A complete metric space with some convex-type property

Let $(X,d)$ be a complete metric space with this property: for each $x∈X$, $r>0$ and $y∈X$ with $d(x,y)<r$, there exists $z∈X$ such that $d(x,y)+d(y,z)=d(x,z)=r$. I want to know if the family ...
M. Reza. K's user avatar
3 votes
0 answers
57 views

Convergence of sesqui-holomorphic kernels on the diagonal

Let $X\subset \mathbb{C}^d$ be a domain. A function (kernel) $K:X\times X\to \mathbb{C}$ is called sesqui-holomorphic if it is holomorphic in the first variable, and anti-holomorphic in the second ...
erz's user avatar
  • 5,385
3 votes
0 answers
156 views

Topology of the Hamel basis in a TVS

Let $V$ be a complex topological vector space, and let $I$ be a Hamel basis of it. Then as a subset $I\subset V$ acquires an induced topology, becoming a topological space. For a topological space $X$ ...
Bedovlat's user avatar
  • 1,939
3 votes
0 answers
125 views

Commutative discrete cyclic operator groups on topological vector spaces

Let $V$ be a complex Hausdorff separable topological vector space of infinite dimensions. Does there exist a commutative discrete subgroup $A\subset\mathcal{L}(V)$ of continuous operators on $V$ with ...
Bedovlat's user avatar
  • 1,939
3 votes
0 answers
97 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. ...
Daron's user avatar
  • 1,761
3 votes
0 answers
365 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 ...
erz's user avatar
  • 5,385
3 votes
0 answers
393 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_+) = \{0\}$...
orlandoweber's user avatar
2 votes
0 answers
317 views

Why is a certain projective limit of weighted symmetric Fock space, namely $\bigcap\limits_{\tau \in T, p\ge 1 } \mathcal{F}(H_\tau,p)$, separable

I have a question regarding separability of a certain locally convex space. Let $H_{\tau}:=H^{\tau_1}(\mathbb{R}^n,\tau_2(x)dx)$ the weighted Sobolev Hilbert space with $\tau_1 \in \mathbb{N}, \tau_2(...
CoffeeArabica's user avatar