Questions tagged [locally-convex-spaces]
Topological vector space with a locally convex topology, i.e. induced by a system of seminorms.
154
questions
4
votes
0
answers
94
views
Extreme points in the space of ucp maps
Suppose $M$ and $N$ are $\mathrm{II}_1$ factors. Let $\tau\mathrm{UCP}(M,N)$ be the convex space of trace-preserving UCP maps from $M$ to $N$, equipped with the topology of pointwise weak* convergence....
- 455
1
vote
1
answer
286
views
Takesaki lemma: existence Gelfand-Pettis integral
Consider the following fragment from Takesaki's second volume of "Theory of operator algebras" (lemma 2.4, chapter VI "Left Hilbert algebras").
In another post, it was explained ...
- 83
5
votes
1
answer
171
views
Large ideally convex sets
Let $E$ be a Banach space. A set $C \subseteq E$ is called ideally convex if for every bounded sequence $(x_n)$ in $C$ and for every sequence $(\lambda_n)$ in $[0,1]$ that sums up to $1$ the vector $\...
- 10.4k
5
votes
2
answers
254
views
Separate continuity implies (joint) continuity
I believe that the following fact is true and I am looking for a reference.
Let $X$ be a locally compact Hausdorff topological space (may be assumed to be metrizable). Let $V$, $W$ be Fréchet spaces.
...
- 20.3k
4
votes
1
answer
275
views
Why Gateaux derivative is a distribution?
Thanks to Jan Bohr answer and comment I edited this question.
Let $E$ be a vector bundle , $E^*$ the dual bundle and $D$ a density bundle. Denote by $\Gamma(E)$ the space of section of the bundle $E$....
- 129
1
vote
0
answers
177
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 ...
- 103
1
vote
0
answers
84
views
Seminorms ported by a compact
Let $X$ be a Banach space, and $U\subset X$ an open balanced set. A seminorm $\rho$ in $\mathcal{H}(U)$ is said to be ported by a compact $K\subset U$ if for all open set $V$ such as $K\subset V \...
- 103
4
votes
1
answer
287
views
Weak* bounded and strong bounded are the same?
I have this problem at the moment which the strong topology $\beta (E;E^* )$ is defined, when $E$ is a locally convex space. This topology is generated by the basic open sets:
$$U=\{x \in E : \sup_{f \...
- 103
0
votes
0
answers
48
views
Properties on morphism of locally convex vector spaces
Let $K$ be a finite extension of $\mathbb{Q}_p$. Let $U,V,W,W'$ $K$-vector spaces, such that $U$ is a Banach-space and $W,W'$ are finite dimensional. Further we have an (algebraic) short exact ...
- 451
2
votes
0
answers
68
views
Pullbacks of LCS-valued distributions
Suppose $X$ is a locally convex space. Since the distributions $\mathcal{D}'\!(M)$ ($M$ a manifold) are a nuclear space, there is a canonical meaning to the topological tensor product $X\,\widehat{\...
- 243
1
vote
0
answers
41
views
When is the metric on a Fréchet space homogeneous
Let $(F,d)$ be a Fréchet space over $\mathbb{F}\in \{\mathbb{C},\mathbb{R}\}$. Are there conditions under which, there exists some $C,d>0$ such that: for every $f\in F$ and every $k\in \mathbb{F}$ ...
- 4,883
3
votes
0
answers
313
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)\...
3
votes
1
answer
237
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 ...
- 83
2
votes
1
answer
192
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}$. ...
- 3,774
6
votes
1
answer
163
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 ...
- 3,774
1
vote
1
answer
206
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 $\{...
- 3,774
0
votes
1
answer
169
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 ...
- 3,774
3
votes
1
answer
148
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 ...
- 7,091
5
votes
0
answers
117
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^{*}$ ...
- 2,961
3
votes
0
answers
105
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 ...
- 7,091
4
votes
1
answer
197
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$, ...
- 83
1
vote
0
answers
45
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 ...
- 11
1
vote
0
answers
54
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 ...
- 1,398
3
votes
0
answers
81
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$ ...
- 1,398
1
vote
1
answer
144
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'...
- 83
1
vote
0
answers
86
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 ...
1
vote
0
answers
98
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 $...
3
votes
2
answers
598
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 ...
- 69
2
votes
1
answer
121
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 ...
- 4,883
7
votes
0
answers
281
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 ...
- 944
4
votes
1
answer
199
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 ...
- 4,994
2
votes
1
answer
73
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$, ...
- 183
0
votes
1
answer
74
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 $\...
- 1
1
vote
0
answers
61
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 ...
3
votes
1
answer
88
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 ...
- 8,036
6
votes
1
answer
478
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 ...
- 61
1
vote
0
answers
86
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 ...
- 839
0
votes
1
answer
70
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,\...
- 4,883
1
vote
1
answer
536
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" ...
- 4,883
5
votes
1
answer
199
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 $\...
- 7,091
4
votes
4
answers
508
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 "...
- 7,091
6
votes
1
answer
113
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....
- 3,172
5
votes
0
answers
182
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 ...
- 753
7
votes
2
answers
292
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 ...
1
vote
1
answer
183
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^+\...
- 4,883
2
votes
0
answers
74
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 ...
- 1,671
1
vote
1
answer
166
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}...
- 4,883
4
votes
3
answers
610
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 ...
- 4,883
1
vote
0
answers
57
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 ...
- 4,883
2
votes
0
answers
68
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$ ...
- 4,883