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

314 questions
Filter by
Sorted by
Tagged with
211 views

### $M\otimes _{\mathbb{Z}_p}\mathbb{Q}_p$ is Banach if $M$ is $p$-adically complete

I was reading the paper On the interpolation of systems of eigenvalues attached to automorphic Hecke eigenforms of Emerton, in which at page 15 the following fact is claimed (in my notation). Let $p$ ...
94 views

### Larger possible chain of closed subspaces in the dual of a Banach space

In this question, is demonstrated that a separable space can have a chain (ordered by inclusion) of closed subspaces with uncountable many subspaces. My question is the following. If $X$ is an ...
• 53
277 views

### Looking for Mackey's PhD thesis, "The subspaces of the conjugate of an abstract linear space"

I'm looking for a copy of George Mackey's PhD thesis, The subspaces of the conjugate of an abstract linear space (Harvard Univ., 1942), but am currently struggling to find one online, with the only ...
• 11.3k
123 views

### Is the space $C_0^{k}(\Omega)$ a Montel space?

I asked this question in the MathStackExchange, but I think I'm not get any answer. I'm trying to find a reference for the following result: Theorem: Let $\Omega$ be a open subset of $\mathbb{R}^{d}$ ...
• 481
196 views

### Analogue of $\ell^2(X)$ over an arbitrary Banach ring

Let $X$ be a set. Over the Banach fields $F=\mathbb{R}$ or $F=\mathbb{C}$ we can define the Banach space$$\ell^2(X)=\{\xi\colon X\to F\mid \sum_{x\in X}|\xi(x)|^2<\infty\}$$which satisfies a list ...
• 1,367
167 views

### Factorization systems for vector bundles

Are there any well-known factorization systems for the category of vector bundles defined over topological spaces?
• 97
439 views

### Does the uniform boundedness principle holds for multilinear maps as well?

This question has been motivated by weak* completeness of distributions. According to the answer in the above post, any barrelled locally convex topological vector space $E$ satisfies the uniform ...
• 2,833
259 views

### If a Banach / Fréchet manifold $M$ happens to be a topological vector space, is $M$ just a Banach / Fréchet space?

In finite dimensions, if $M$ is a smooth manifold that happens to be a vector space, then it is indeed just the Euclidean space. I wonder if the same result holds valid in infinite dimensions. More ...
• 2,833
153 views

### Topology of ${\mathcal D}(\Omega)$ (space of test functions)

I have seen two approaches to the topology of ${\mathcal D}(\Omega)$: (i) Let $K$ be a compact subset of $\Omega$ and consider the subset ${\mathcal D}_K(\Omega)$ of test functions with support ...
• 81
141 views

### Reference request: an introduction to nuclear spaces

I am looking for a short introduction to nuclear spaces and nuclear operators. I am interested in these spaces as they often arise in mathematically rigorous quantum field theories. I have read the ...
• 481
213 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 ...
• 370
169 views

211 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 ...
• 51
195 views

### Do radially bounded sets form a bornology?

We call a subset $A$ in a real vector space $E$ radially bounded if it intersects every ray emanating from $0$ via a bounded set. It is easy to see that radially bounded sets in $E$ form a bornology, ...
• 5,457
1 vote
50 views

43 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-...
• 335
122 views

### Decomposition of weak* convergent nets into positive weak* convergent nets

Let $F$ be an order unit Banach space with order unit $e$ and topological dual space $F^*$ ordered by the dual cone. Let $E\subset F^*$ be a closed subspace that separates points of $F$ and such that ...
• 61
82 views

### Show that $\max_{P_X : X\in (0,1) } \left| \frac{\mathbb{E} [ f'(X) ]}{ \mathbb{E} [ f(X) ] } \right|$ is maximized by at most two mass points

Let $f$ be some given well-behaved function. Consider the following optimization problem overall probability distribution on $[0,1]$ \begin{align} \max_{P_X : X\in [0,1] } \left| \frac{\mathbb{E} [ ...
• 631
202 views

### Parametrization of topological algebraic objects

There are several results of the following form: if an algebraic objects is endowed with a topology (or rather uniformity) which is somehow compatible with the algebraic structure, this uniformity is ...
• 5,457
100 views

### Schwartz kernel theorem for restricted operators

Let $(M,g)$ be a smooth Riemannian manifold. The celabrated kernel theorem of Schwartz shows that for any linear and continuous operator $A:C_{c}^{\infty}(M)\to C^{\infty}(M)$, there exists a ...
• 1,077
103 views

### Is $B \cap L^2\big( (0,T) \times (0,1)\big)$ closed in $L^2\big( (0,T) \times (0,1)\big)$?

I need help proving that the set $B \cap L^2\big( (0,T) \times (0,1)\big)$ is a closed subset of $L^2\big( (0,T) \times (0,1)\big)$, where $B$ is defined as: B=\Big\{x \in L^{\infty}\big(0,T;L^1(0,1)...
• 55
1 vote
47 views

### Neighborhoods of idempotents in topological inverse semigroups

In a topological group, for any neighborhood $U$ of the origin, there is another such neighborhood with the property that $V.V\subseteq U.$ I conjecture a similar property for topological inverse ...
• 1,019
179 views

378 views

### Topological vector spaces in direct sum

A year ago, I asked this question here at Mathematics Stackexchange, but no one there managed to answer it. So I am elevating it to MathOverflow. This question had emerged as an offshoot of a bigger ...
• 603
1 vote
162 views

### Reference for Schwartz kernel theorem on vector bundles

In this notes Linear Analysis on Manifolds by Chris Kottke at page 20 he has Theorem $1.16$ (Schwartz kernel theorem, c.f. [Hör85] Thm. 5.2.1). Let $M$ and $N$ be a compact Riemannian manifolds with ...
1 vote
68 views

### Projective limit of Fréchet reflexive spaces

I am reading this paper, constructing spaces of functions and distributions with exponential growth on Fréchet nuclear spaces and their dual. Un théorème de dualité entre espaces de fonctions ...
• 61
100 views

### Fréchet and DF spaces

Is there a canonical way to make a DF-space Fréchet while keeping the same vectorial structure? Or the converse? I've been looking in the classical books for locally convex spaces but haven't found ...
• 61
90 views

### Is identity map on the space of smooth maps smooth?

I'm curious about the identity map on the space of all smooth maps (between two locally convex topological vector spaces in the sense of convenient calculi) when we equip the space with different ...
• 143
1 vote
185 views

### Is the strong topology the strongest?

Let $X$ be a topological vector space. We know that the weak topology $\sigma(X,X^*)$ is the weakest locally convex topology in $X$ that make every $f \in X^*$ continuous. Consequently, if $\tau$ is ...
1 vote
165 views

• 5,457
1 vote
75 views

### Morphism in commutative square strict?

Let $G,H$ be topological groups and $f:G\rightarrow H$ a continuous group homomorphism. Then $f$ is said to be strict if $G/\mathrm{Ker}(f) \cong \mathrm{Im}(f)$ is an isomorphism of topological ...
• 463
339 views

### Weakly sequentially closed convex cone which is not weakly closed

Let $V$ be the real vector space of finitely supported functions $f: \Omega\to \mathbf{R}$ such that $\sum_\omega f(\omega)=0$, where $\Omega$ is a given uncountable set. Endow $V$ with the weak ...
• 1,441
1 vote
61 views

### Consequences of having unbounded points in a bornology

For a set $X$ a bornology $\mathcal{B}$ is essentially an ideal in the power set $\mathcal{P}(X)$. Many sources including Wikipedia state additional property that $X = \bigcup \mathcal{B}$. Call it a ...
• 519
1 vote
131 views

### Splitting of a topological vector space (TVS) into an (a) countable sum and (b) direct integral of subspaces

I thought that this would be a simpe question, and placed it here at the Mathematics Stackexchange. Now have to elevate it to Mathoverflow. LANGUAGE TVS = topological vector space. Any subspace of a ...
• 603
328 views

### Are there "pathological convex sets" over ultravalued fields of char 2?

In their book Topological Vector Spaces (2nd ed.) Lawrence Narici and Edward Beckenstein generalise convex sets for TVS over ultravalued field $K$ as $K$-convex sets. The definition goes as following:...
• 519
1 vote
172 views

### $\sigma$-compactness of some locally compact Hausdorff topological groups

Is the topological group $(\mathbf{Q}_p/\mathbf{Z}_p)^{\oplus k}$, $k\ge 1$, a $\sigma$-compact topological group when endowed with its natural $p$-adic topology? More generally, I'm looking for a ...
1 vote
245 views

### Why can any open subset $U$ of $\mathbb{Q}^\infty$ be written as disjoint union of basic clopen subsets?

I am reading Engelen´s paper and have trouble with this proof of Lemma 2.1 (a) (link is below). It is easily seen that any non-empty open subspace $U$ of $\mathbb{Q}^\infty$ can be written as an ...
385 views

1 vote
64 views

### Looking for an electronic copy of Trèves and Martineau books

I would like to know if anyone has an electronic copy of the following books: MR0177291 Martineau, A.; Trèves, F. Éléments de la théorie des espaces vectoriels topologiques et des distributions. Fasc....
• 481