Questions tagged [locally-convex-spaces]

Topological vector space with a locally convex topology, i.e. induced by a system of seminorms.

Filter by
Sorted by
Tagged with
1 vote
0 answers
87 views

What's the problem with the evaluation map not being continuous?

When introducing differentiable functions between locally convex spaces, many authors (e.g. Bastiani, Keller, Kriegl-Michor) notice that the evaluation map $$ E\times E^*\to\mathbb R,\qquad (x,L)\...
user avatar
3 votes
1 answer
150 views

Properties of $C_B(X)$ equipped with the strict topology

Let $X$ be a Polish space. $C_B(X)$ is the space of bounded continuous functions $X\to\mathbb{R}$ equipped with the strict topology, which is the finest locally convex topology that agrees with the ...
user avatar
2 votes
1 answer
121 views

Sequential separability on $C_p(X)$

Definition. Let $E$ be a topological space. Suppose that $E$ contains a sequence $\{x_n\}$ such that for every $x\in E$, there exists a subsequence $\{x_{n_k}\}$ of $\{x_n\}$ with $x=\lim x_{n_k}$. ...
user avatar
  • 3,343
6 votes
1 answer
149 views

Some special sequence in $C(\mathbb{R})$

Let us consider $C(\mathbb{R})$, the space of continuous functions on the reals. Q. Does there exist a sequence $\{f_n\}$ in $C(\mathbb{R})$ such that for every $f\in C(\mathbb{R})$ one may find a ...
user avatar
  • 3,343
1 vote
1 answer
201 views

An approximation property in a separable topological vector space

Let $X$ be a topological vector space. Let us say that $X$ enjoys sequential separablity if there exists a sequence $\{x_n\}$ in $X$ such that for every $x\in X$ there exists a subsequence of $\{...
user avatar
  • 3,343
0 votes
0 answers
44 views

Definition of locally uniformly differentiable maps

Recently, I came across the notion of locally uniformly differentiable maps between Banach spaces, which goes as follows. Let $X, Y$ be Banach and $U \subseteq X$ open. We say that $f: U \to Y$ is ...
user avatar
0 votes
1 answer
124 views

Borel sigma algebra coming from the weak topology on TVS

Let $(X,\tau)$ be a topological vector space. Suppose that, there is a sequence of subsets $X_n\subseteq X$ with, For every $n\in \mathbb{N}$, the topology $\tau$ on $X_n$ is second countable and ...
user avatar
  • 3,343
3 votes
1 answer
145 views

$\varepsilon$-product in Bierstedt's paper

I am reading K.D.Bierstedt's paper Gewichtete Räume stetiger vektorwertiger Funktionen und das injektive Tensorprodukt. I. Journal für die reine und angewandte Mathematik 259 (1973): 186-210. It is ...
user avatar
5 votes
0 answers
102 views

Bochner–Minlos Theorem for locally convex spaces and their duals

Let $(X,\tau)$ be a locally convex space and $(X^{*},\tau_{s})$ be its topological dual space equipped with the strong topology. Denote by $S(X,X^{*})$ the collection of operators from $X$ to $X^{*}$ ...
user avatar
  • 2,707
3 votes
0 answers
92 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 ...
user avatar
4 votes
1 answer
176 views

Reference for Choquet-like theorem

While reading a paper, I encountered the following statement: Let $K$ be a convex compact subset of a locally convex topological vector space. If $\mu \in P(K)$ is a Radon probability measure on $K$, ...
user avatar
  • 263
1 vote
0 answers
41 views

Nested nets of closed bounded star-shaped sets in a semi-reflexive space

Among Hausdorff locally convex spaces, semi-reflexivity is characterized by the weak topology having the Heine-Borel property. It follows that, in a semi-reflexive space, every nested net of closed ...
user avatar
  • 11
1 vote
0 answers
45 views

Smooth representations of a direct product of groups

Let $G_1, G_2$ be Lie groups, and let $E_i$, $i=1,2$ be a smooth representation of $G_i$ in a locally convex complete Hausdorff TVS. Then $E_1\hat\otimes E_2$ is a smooth representation of $G_1\times ...
user avatar
3 votes
0 answers
77 views

Bilinear maps on smooth vectors of unitary representations

Let $G$ be a connected semi-simple real Lie group with finite center. Let $R_i$ ($i=1,2,3$) be unitary irreducible representations of $G$. Let $R_i^\infty$ be the corresponding representations of $G$ ...
user avatar
1 vote
1 answer
84 views

Hyperplane separation of a concave functional and a point, in Domain Theory

Problem: Let $D$ be an $\omega$-BC domain, and $[D\to[0,\infty]]$ be the space of Scott-continuous nonnegative functions on $D$, equipped with the obvious ordering and the Scott-topology. EDIT: I don'...
user avatar
2 votes
0 answers
69 views

Dual of essentially compactly supported functions on a hemi-compact Radon space

Let $X$ be a hemicompact Radon space and fix a $\sigma$-finite Radon measure $\mu$ on $X$. Let $L(X_n)$ denote the subspace of $L_{\mu}^1(X)$ of "functions" which are $\mu$-essentially ...
user avatar
1 vote
0 answers
51 views

Effect of dualization of density

Let $D\subset X$ be a dense subset of a complete separable locally convex space $X$ over $\mathbb{R}$. Though the question seems simple enough, I can't seem to find the answer in the literature: If $...
user avatar
1 vote
2 answers
273 views

Topologies on space of compactly supported continuous functions

Let $X$ be a locally compact Hausdorff space. As far as I understand, the space $C_c(X) = C_c(X; \mathbb{C})$ of compactly supported continuous complex-valued functions on $X$ is (most?) often ...
user avatar
  • 39
2 votes
1 answer
78 views

Semi-norms on LCS inductive limit of Banach Spaces

Let $(E_n,i_n)_{n\in\mathbb{N}}$ be an direct system of Banach spaces in the category of locally convex spaces (LCSs) with continuous linear maps and let $E_{\infty}$ by their inductive limit. What ...
user avatar
7 votes
0 answers
267 views

Weaker version of the Borel lemma for vector-valued functions

Borel's lemma for Frechét-spaces $V$ says: (i) For every $(v_j)_{j \in \mathbb{N}} \in V^\mathbb{N}$ there exists a smooth $f: \mathbb{R} \to V$ such that $$f^{(j)}(0) = v_j.$$ For general locally ...
user avatar
4 votes
1 answer
132 views

Compatibility of inductive and projective limits with dualization in functional analysis

Assume $(A_i)_{i \in I}$ is a family of locally convex topological vector spaces which are all moreover assumed to be Banach spaces. We assume moreover that $(A_i)_{i \in I}$ has additional structure ...
user avatar
2 votes
1 answer
66 views

Subspaces of quasi-complete locally convex spaces

Let $V$ be a quasi-complete Hausdorff locally convex space. (By quasi-complete, one means that every bounded closed subset of $V$ is complete.) For a bounded closed absolutely convex subset $B$, ...
user avatar
  • 183
0 votes
1 answer
65 views

Are bounded sets in second duals of locally convex spaces weak* pre-compact?

Let $X$ be a locally convex Hausdorff space. Then $X$ injects into $X^{**}$ via the canonical map $\kappa: X\to X^{**}$. Now, $X^{**}$ carries the weak* topology. Let $B$ be a bounded set in $X$. Is $\...
user avatar
1 vote
0 answers
54 views

Good source for Jordan Fréchet algebras

Is there any good source for Jordan Fréchet (or more generally, Jordan locally convex) algebras? I'm looking for something on the level similar to the level of the book "Banach and Locally Convex ...
user avatar
3 votes
1 answer
86 views

Characterizing 'very homogeneous' finitely valued stochastic processes

Fix a positive integer $n$. Let $X = \{X_i\}_{i \in \mathbb{N}}$ be a discrete time stochastic process such that each $X_i$ is a $\{0,\dots,n-1\}$-valued random variable. Suppose that the joint ...
user avatar
  • 6,354
6 votes
1 answer
374 views

Closed convex hull in infinite dimensions vs. continuous convex combinations

tl;dr: When is the closed convex hull of a set $K$ equal to the set of "continuous" convex combinations of $K$? I am essentially asking for the most general, infinite-dimensional analogue of ...
user avatar
1 vote
0 answers
77 views

Is the Vietoris topology on compact subsets of $\mathbb R^n$ locally convex?

The title question says it all really. If the question is negative for compact subsets of $\mathbb R^n$, is it affirmative for compact and convex subsets of $\mathbb R^n$? How about for all nonempty ...
user avatar
  • 719
0 votes
1 answer
68 views

Ultrabornological representation for the space of uniformly continuous functions?

Let $\{\omega_i\}_{i\in I}$ be a non-empty set of increasing (not necessarily strictly) continuous functions preserving $0$. Then, for each $i \in I$ define the space $$ C_{\omega_i}(\mathbb{R}^n,\...
user avatar
1 vote
1 answer
368 views

Known dense subset of Schwartz-like space and $C_c^{\infty}$?

After reading this question, which asked for some examples of commonly used (proper) dense subsets of $C_0^{\infty}(\mathbb{R}^n)$ with the $L^p$-norm I wonder. What are some "well-known" ...
user avatar
5 votes
1 answer
196 views

Are linear continuous mappings open on totally bounded sets?

Let $X$ and $Y$ be locally convex spaces, and $\varphi: X\to Y$ a linear continuous mapping. Suppose first that $S$ is a compact set in $X$. Then $\varphi$, being considered as a mapping from $S$ to $\...
user avatar
4 votes
4 answers
394 views

On Köthe sequence spaces

I asked this a week ago at math.stackexchange, but without success. As far as I understand, there are several meanings of the notion of the Köthe sequence space, in particular, Hans Jarchow in his "...
user avatar
6 votes
1 answer
109 views

Infra-Pták space that is not Pták

From reading the literature of the 1970s heyday of locally convex spaces, it seems that it was an important open question whether there is an infra-Pták (i.e. $B_r$-complete) space that is not Pták (i....
user avatar
5 votes
0 answers
174 views

Useful notion for locally convex spaces - well known?

In my current work the following property of maps between locally convex spaces showed up at several places and proved to be useful. It seems quite elementary to me, so I would like to know whether it ...
user avatar
  • 523
7 votes
2 answers
261 views

Metrizability of a topological vector space where every sequence can be made to converge to zero

This is a follow-up to this answer. If $E$ is a (real or complex) topological vector space, we say that a sequence $\{x_n\}_{n=1}^\infty$ in $E$ can be made to converge to zero if there exists a ...
user avatar
1 vote
1 answer
146 views

Density and the projective tensor product

Let $X$ be a locally convex space (over $\mathbb{R}$), $D\subset X$ be dense, $B$ be a Banach space (again over $\mathbb{R}$) with Schauder basis $\{b_i\}_{i =1}^{\infty}$. Is the set $$ D^+\...
user avatar
2 votes
0 answers
66 views

Associated barrelled topology of norm topology on $C_c(X)$

Let $X$ be a locally compact Hausdorff space, $C(X; K)$ the Banach space of continuous functions on $X$ with support in $K$, for compact $K \subseteq X$, and $C_c(X) = \lim_K C(X; K)$ the locally ...
user avatar
  • 1,601
1 vote
1 answer
140 views

Continuous function on colimit

Let $X$ be a Banach space and $f:X\rightarrow \mathbb{R}$ be continuous. Suppose that $\{X_n\}_{n \in \mathbb{N}}$ is a strictly nested sequence of sub-Banach spaces, for which $\cup_{n \in \mathbb{N}...
user avatar
4 votes
3 answers
574 views

$L^{\infty}$ as colimit

I recently read a result (in Jarchow's book) that any ultrabornological space can be expressed as a colimit (in the category LCS) of Banach spaces. My question is the following. Let $\mu$ be a ...
user avatar
1 vote
0 answers
51 views

Refinement: Can $L^1_{loc}$ be represented as colimit?

Let $\mu$ be a $\sigma$-finite measure on a measure space $(\mathbb{R}^d,\Sigma)$. Can $L^1_{\mu,loc}$ be represented as an injective-limit in the category of LCS (locally convex spaces and ...
user avatar
2 votes
0 answers
67 views

Gluing together mixed normed vector spaces with mixed topologies

This is a variant of this question. Definitions/Facts $Ball_1(X)$ denotes the unit ball (about $0$) in a normed vector space $X$. MixTop of triples of pairs $(X,\tau)$ of normed vector spaces $X$ ...
user avatar
1 vote
0 answers
74 views

Gluing together dense subset of Projective Limit in $Ban_1$

Let $(X_n,\pi_n^{m})$ be a countable projective system in the category Ban$_1$ of Banach spaces and short linear maps (is (continuous) linear constructions). Then (co)-completeness of this category ...
user avatar
6 votes
0 answers
120 views

Does every locally convex space with a Schauder basis have the approximation property?

For Banach spaces, the existence of a Schauder basis implies that this space has the approximation property. Since both the notion of Schauder bases and of the approximation property are well ...
user avatar
  • 699
1 vote
0 answers
47 views

A different kind of weighted Hardy space

Let $\mathbb{D}$ denote the open unit disk in $\mathbb{C}$, let $\mathcal{A}\left(\mathbb{D}\right)$ denote the vector space of all complex-valued functions which are holomorphic on $\mathbb{D}$, and ...
user avatar
  • 1,216
3 votes
0 answers
131 views

Elements of vector-valued $L^1$-spaces

Let $E$ be a complete locally convex space and let $(X, \Sigma, \mu)$ be a measure space where $\mu$ is a Radon measure. Then the space $L^{1}(X,E)$ is defined as a the completion of the space $S(X,E)$...
user avatar
  • 699
3 votes
3 answers
350 views

Is the strong topology of a locally convex space always barrelled?

For a locally convex space $E$ let $E_\beta$ be the space $E$ endowed with the locally convex topology $\beta(E,E')$ whose neighborhood base at zero consists of barrels, i.e., closed absolutely convex ...
user avatar
  • 32.9k
2 votes
0 answers
106 views

A new topology on the dual of a locally convex space?

Working with the separable quotient problem for locally convex spaces we (with Saak Gabriyelyan) arrived to an interesting topology on the dual of a locally convex space and we would like to know if ...
user avatar
  • 32.9k
6 votes
1 answer
187 views

Inductive limit commutes with topological tensor product

Consider $H \left(U \right); U \subset \mathbb{C}$ - space of holomorphic functions with compact-open topology. In this topology, this space is Montel, nuclear and Frechet. I want to take the ...
user avatar
  • 181
2 votes
0 answers
51 views

direct limit in locally convex modules and continuous map

Let we have short exact sequences of LCM over LC algebra $A$ with continuous linear maps $$ 0\to B_j\;{\xrightarrow {\ f_j\ }}\;C_j\;{\xrightarrow {\ g_j\ }}\;D_j\to 0. $$ We can take inductive limit (...
user avatar
  • 181
4 votes
0 answers
146 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 ...
user avatar
8 votes
1 answer
422 views

When does the dual to the space $K(X)$ of compact operators consist of nuclear functionals?

Let $X$ be a Banach space and $B(X)$ be its space of all (bounded) operators. A nuclear functional on $B(X)$ is a linear functional $u:B(X)\to{\mathbb C}$ that can be represented in the form $$ u(A)=\...
user avatar