Skip to main content
MathOverflow

Questions tagged [locally-convex-spaces]

Ask Question

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

174 questions
Newest Active Bountied Unanswered
Filter by
Sorted by
Tagged with
4 votes
0 answers
112 views

In what follows, all vector spaces are over the field of scalars $\mathbb{K}=\mathbb{R}$ or $\mathbb{C}$. One has as basic facts in functional analysis that: Any bounded linear operator $T:E\...
Pedro Lauridsen Ribeiro's user avatar
  • 9,148
4 votes
1 answer
295 views

Let $\{H_i\}_{i\in I}$ be a directed system of Hilbert spaces over a poset $I$ such that $H_i\subset H_j$ whenever $i\leq j$. We consider the direct limit $H=\bigcup_{i\in I} H_i$ and equip it with ...
Knowvice's user avatar
  • 63
2 votes
0 answers
85 views

Definition: A locally convex topological vector space is called quasi-barrelled if every bornivorous barrel is a neighborhood of 0. A bornivorous set in a tvs is a subset which absorbs all bounded ...
Knowvice's user avatar
  • 63
1 vote
0 answers
88 views

Let $X$ be a locally convex space, let $(p_t)_{t\in T}$ be a net of Borel probability measures on $(X,\sigma(X,X^*))$, and let $p$ be a $\tau$-additive (in particular, Radon) with respect to the weak ...
Zlyp's user avatar
  • 341
1 vote
0 answers
152 views

Let $X$ be a locally convex topological vector space and let $X^*$ denote its dual. Let $T \subset X^*$ be a Hamel basis of $X^*$. Consider the canonical map $$ \Phi\colon X \to \mathbb{R}^T, \qquad \...
Zlyp's user avatar
  • 341
7 votes
2 answers
458 views

Following on from my previous question, assume that we have a sequential Hausdorff lctvs $V$, and use the Michal–Bastiani calculus for notions of differentiability, if needed (though probably not for ...
David Roberts's user avatar
  • 37k
4 votes
0 answers
102 views

I know that the quotient of a Fréchet space by a closed subspace is Fréchet (see for example https://math.stackexchange.com/questions/4735928/is-the-fr%C3%A9chet-quotient-space-given-by-the-induced-...
Omar Mohsen's user avatar
  • 113
10 votes
1 answer
344 views

Let $\Omega\subset\mathbb{R}^{d}$ be some open set. The following density result is very well-known in distribution theory and can probably be find in many resources: Proposition 1: For every $u\in\...
user avatar
9 votes
2 answers
441 views

PS: I already asked this question in MSE, and someone said I have better chances to get an answer here than there! (Keyword: Spaces of distribution people!) If $\{A_n\}$ is a strict inductive sequence ...
Anupam Datta's user avatar
  • 293
4 votes
0 answers
155 views

This question has been cross-posted to MSE. This question stems from the article "Fourier transform for mean periodic functions" by Lázsló Székelyhidi, on which I had already made two MSE ...
Bruno B's user avatar
  • 91
4 votes
1 answer
283 views

Let $X$ be a locally compact Hausdorff topological space, and let $C_c(X)$ be the space of compactly supported $\mathbf{R}$-valued continuous functions. It is a well-known fact that this space is not ...
jfhk's user avatar
  • 43
3 votes
1 answer
281 views

Let $X$ be a locally convex space, and $\{Y_i;\ i\in I\}$ a covariant system of locally convex spaces over a partially ordered set $I$, i.e. a system of linear continuous mappings is given $\sigma^j_i:...
Sergei Akbarov's user avatar
  • 7,476
3 votes
1 answer
251 views

We consider a locally compact abelian group $G$. We equip the real vector space $A(G)$ of continuous group homomorphisms $\mathbb{R}\to G$ with the topology of uniform convergence on compact subsets ...
Hans's user avatar
  • 3,091
4 votes
0 answers
133 views

Let $S$ be a set and let $V_s$ be a family of locally convex topological vector spaces (LCSs) indexed by $s \in S$. Let $V$ be a vector space (without topology) and let $T_s:V_s \to V$ be a family of ...
James Tener's user avatar
  • 498
1 vote
1 answer
137 views

I have the following question: Let $X$ be a barrelled locally convex space (every absolutely convex, absorbing and closed set is a neighborhood of zero) and let $(T(t))_{t\geq0}$ be a $C_0$-semigroup, ...
Sonam Idowu's user avatar
  • 129
1 vote
1 answer
126 views

I recently stumbled across this old publication which defines the local completion of a Hausdorff locally convex space. The construction is as follows: A Hausdorff locally convex space $E$ is locally ...
iolo's user avatar
  • 755
2 votes
0 answers
356 views

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
  • 19
2 votes
1 answer
288 views

Let $\mathscr{D}(\mathbb{R})$ be the set $C_0^\infty(\mathbb{R})$ of smooth functions with compact support endowed with the following topology: The initial topology with respect to the family maps $(\...
CoffeeArabica's user avatar
  • 19
3 votes
0 answers
295 views

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
  • 51
3 votes
0 answers
93 views

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
  • 529
2 votes
1 answer
342 views

Let $X=\mathbb{R}$, and $\mathcal{A}:=\mathbb{R}[x]$ be the subalgebra (of $C(X)$) of univariate polynomials. Given $\varphi\in C_b(X)$ and $K\subset X$ compact, we know from Stone-Weierstrass that $$\...
fsp-b's user avatar
  • 453
4 votes
0 answers
154 views

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....
David Gao's user avatar
  • 5,085
2 votes
1 answer
509 views

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 ...
Andromeda's user avatar
  • 257
5 votes
1 answer
225 views

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 $\...
Jochen Glueck's user avatar
  • 13k
5 votes
2 answers
993 views

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. ...
asv's user avatar
  • 23.1k
4 votes
1 answer
365 views

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$....
amilton moreira's user avatar
  • 51
1 vote
0 answers
231 views

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 ...
Nicolay Avendaño's user avatar
  • 203
1 vote
0 answers
121 views

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 \...
Nicolay Avendaño's user avatar
  • 203
4 votes
1 answer
714 views

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 \...
Nicolay Avendaño's user avatar
  • 203
2 votes
0 answers
113 views

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{\...
J_P's user avatar
  • 439
1 vote
0 answers
93 views

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}$ ...
AB_IM's user avatar
  • 4,842
8 votes
1 answer
945 views

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)\...
Lorenzo Cecchi's user avatar
  • 131
5 votes
1 answer
667 views

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 ...
Alex Appel's user avatar
  • 353
4 votes
1 answer
414 views

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}$. ...
ABB's user avatar
  • 4,150
6 votes
1 answer
210 views

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 ...
ABB's user avatar
  • 4,150
1 vote
1 answer
292 views

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 $\{...
ABB's user avatar
  • 4,150
0 votes
1 answer
269 views

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 ...
ABB's user avatar
  • 4,150
3 votes
1 answer
195 views

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 ...
Sergei Akbarov's user avatar
  • 7,476
5 votes
0 answers
202 views

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^{*}$ ...
JustWannaKnow's user avatar
  • 3,645
3 votes
0 answers
153 views

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
  • 7,476
4 votes
1 answer
279 views

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$, ...
Andromeda's user avatar
  • 257
1 vote
0 answers
73 views

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 ...
Alcen's user avatar
  • 11
2 votes
0 answers
85 views

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 ...
Peter Kravchuk's user avatar
  • 1,498
3 votes
0 answers
97 views

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$ ...
Peter Kravchuk's user avatar
  • 1,498
1 vote
1 answer
270 views

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'...
Alex Appel's user avatar
  • 353
1 vote
0 answers
118 views

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 ...
Catologist_who_flies_on_Monday's user avatar
  • 313
2 votes
0 answers
288 views

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 $...
John_Algorithm's user avatar
  • 109
4 votes
2 answers
2k views

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 ...
epitaph's user avatar
  • 99
3 votes
1 answer
354 views

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 ...
AB_IM's user avatar
  • 4,842
7 votes
0 answers
328 views

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 ...
Jannik Pitt's user avatar
  • 1,584

1
2 3 4