All Questions
Tagged with fa.functional-analysis topological-vector-spaces
213 questions
3
votes
1
answer
228
views
The sheaf of generalized functions on compact subsets
For $K\subseteq \mathbb{R}^d$ compact, let $C_{\mathrm{c}}^{\infty}(K)$ denote the space of smooth functions on (an open neighborhood of) $K$ with compact support contained in $K$ with the usual ...
- 16.4k
4
votes
1
answer
177
views
DF-spaces and F spaces
It is well known that when $E$ is a $DF$-space and $F$ is a Fréchet space, the space $\mathcal{L}_{b} (E,F)$ is Fréchet. The converse, that is the fact that $\mathcal{L}_{b} (F,E)$ would be $DF$, is ...
- 16.4k
5
votes
0
answers
104
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 ...
- 5,529
17
votes
1
answer
759
views
Classification of non-Hausdorff topological vector spaces
It is well-known that up to topological isomorphism there is exactly one Hausdorff topological vector space (say, over $\mathbb{C}$) of a given dimension $n$, namely $\mathbb{C}^n$ with the euclidean ...
- 60.5k
1
vote
1
answer
998
views
Subspaces of Quotient Spaces
Let $X$ be a topological vector space (not necessarily Hausdorff), with topology $\tau$, and $M, N$ linear subspaces of $X$. Let $\pi:X \rightarrow X/N$ be the quotient map, which associates to each $...
CommunityBot
- 1
1
vote
0
answers
66
views
Characterization of the weak completion of $L^2(\mathbb{R}^d)$
The completion $\overline{L^2_w(\mathbb{R}^d)}$ of $L^2_w(\mathbb{R}^d)$ (i.e. the completion of $L^2(\mathbb{R}^d)$ endowed with the $\sigma(L^2(\mathbb{R}^d),L^2(\mathbb{R}^d))$ topology) is ...
- 488
4
votes
1
answer
180
views
Productivity of certain sequential subcategories of topological vector spaces
Consider the usual sequential modifications of topologies (spaces) in the categories of topological spaces $\text{Top}$, topological vector spaces $\text{TVS}$ and locally convex spaces $\text{LCS}$ :
...
- 3,816
5
votes
2
answers
1k
views
Are bounded sets always weakly metrizable in reflexive separable spaces?
It is known that if a Banach space is reflexive and separable, its unit ball is weakly metrizable.
My question is about the generalization of this property :
1) Is it true that for all reflexive ...
- 16.4k
6
votes
2
answers
3k
views
Closed convex bounded sets are weakly compact for which spaces?
It is known that for all reflexive Banach spaces, closed convex bounded sets are weakly compact (compact for the weak topology).
What is the general class of topological vector spaces for which this ...
- 11.6k
4
votes
1
answer
615
views
Construction of a codimension 1 dense subspace without Zorn
Suppose $X$ is an infinite dimensional topological vector space
and $v\in X$ is non-zero. It is then not difficult to construct
a vector space $U\subset X$ so that
1) $U$ is dense in $X$.
2) $U+{...
- 31.5k
6
votes
0
answers
272
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 ...
- 35.5k
12
votes
2
answers
811
views
Nuclear operators/spaces and transfer operators
While studying for my thesis (in dynamical systems) I've encountered multiple times with the concept of nuclear operators and nuclear spaces, often linked with the works of Grothendieck. For example, ...
- 1,805
8
votes
2
answers
590
views
Attempted Banachification of a space
In a recent blog post, Terry Tao mentioned the question of how to tell if a Hausdorff topological vector space admits a finer topological structure which happens to be the topology of a Banach space (...
CommunityBot
- 1
4
votes
1
answer
376
views
Is the topological dual of a Banach space weakly* closed in its algebraic dual?
The question is completely contained in the title :)
I can only add, that it is not difficult to give a counterexample for normed spaces, and also Banach-Steinhaus theorem implies the sequential ...
- 217
4
votes
1
answer
395
views
Linear extension operators for smooth functions: from compact sets to compact sets
I'm considering a situation where I have the linear restriction map of Fréchet spaces
$$
C^\infty(C_1) \to C^\infty(C_2)
$$
where $C_2 \hookrightarrow C_1$ are a pair of compact, connected subsets ...
- 25.8k
7
votes
1
answer
2k
views
Topology in space of test functions $\mathcal{D}(\Omega)$ and space of distributions $\mathcal{D}'(\Omega)$
We can concluded that $\mathcal{D}(\Omega):=\bigcup_{K \in \mathcal{K}(\Omega)} \mathcal{D}_K(\Omega)$ (where $\mathcal{K}(\Omega)$ denotes the union of all compacts set content in a open subset $\...
- 3,085
4
votes
1
answer
380
views
Relation between dual of nuclear space $(\substack{\text{lim} \\ \leftarrow i} H_i)'$ and $\substack{\text{colim} \\ i \rightarrow } H_i$
Let $\substack{\text{lim} \\ \leftarrow i} H_i$ be a nuclear space, considered as the limit of the codirected diagram $$... \to H_2 \to H_1 \to H_0,$$
with $f_{ji}:H_i \to H_j$ being the trace class ...
CommunityBot
- 1
5
votes
0
answers
322
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 ...
- 81
3
votes
0
answers
98
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. ...
- 1,955
5
votes
0
answers
295
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$ ...
12
votes
2
answers
647
views
Do locally convex topological vector spaces embed into diffeological spaces?
The nLab casually remarks that locally convex tvs embed into diffeological spaces by (discussion around) a corollary in Kriegl and Michor, namely 3.14, but this deals with Boman's theorem and results ...
CommunityBot
- 1
5
votes
1
answer
491
views
Is the unitary group of a pre Hilbert space contractible?
I already posted my question on mathstackexchange
For a separable Hilbert space $H$ it is known that the unitary group $U(H)$ is contractible, both for the norm topology (Kuiper's theorem) and for ...
- 43.2k
21
votes
3
answers
3k
views
Can you tell whether a space is Banach from the unit ball?
Let $V$ be a real vector space. It is well known that a subset $B\subset V$ is the unit ball for some norm on $V$ if and only if $B$ satisfies the following conditions:
$B$ is convex, i.e. if $v,w\...
- 356
3
votes
2
answers
326
views
Examples of TVS with no non-trivial open convex subsets
I give here the classical example of the space $E = L^p([0,1])$ which has no open convex subsets apart from $\emptyset$ and $E$. Consequently, there is no non-trivial continuous linear form on $E$.
...
CommunityBot
- 1
4
votes
1
answer
204
views
Can you pair $H^s(\Omega)$ and $H^{-s}(\Omega)$ on a domain $\Omega$?
Consider the fractional Sobolev spaces on $\mathbb R^n$
$H^s(\mathbb R^n) := \left\{ u \in \mathcal S'(\mathbb R^n) \; : \; ( 1 + |\xi|^2 )^{s/2} \hat u \in L^2(\mathbb R^n) \right\}$.
Let $\Omega$ ...
2
votes
1
answer
453
views
Weak convergence of probability measures on weak versus strong dual
The space of temperate distributions $S'(\mathbb{R}^d)$ is often equipped with the weak-$\ast$ or with the strong topology. When defining the notion of a probability measure on $S'(\mathbb{R}^d)$, ...
CommunityBot
- 1
2
votes
0
answers
459
views
Weak topology on subsets of a normed space
I have few questions about the subsets of a normed space $X$ endowed with the weak topology. Let $E$ be such subset.
When is the norm a continuous function on $E$?
When is the metric induced by the ...
- 5,529
2
votes
1
answer
269
views
Is a Fréchet Montel space distinguished?
Based on a couple of references, it seems that the answer is yes, see for example
Boneta-Dierolf, 1992 and Bierstedt-Bonet, 1989.
However, from a comment to the answer of this MO question, I infer ...
CommunityBot
- 1
6
votes
0
answers
697
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 ...
- 6,210
5
votes
1
answer
608
views
Are polynomials dense in holomorphic $L^p(\mathrm{Gauss})$ for $p < 1$?
Let $\mu$ be standard Gaussian measure on $\mathbb{C}^n$, i.e. $d\mu = \frac{1}{(2 \pi)^n} e^{-|z|^2/2}\,dz$, and fix $0 < p < 1$ (note carefully).
Suppose $g$ is holomorphic on $\mathbb{C}^n$...
- 29.7k
2
votes
2
answers
252
views
Measures, orthogonal to holomorphic functions
Let $G$ be a domain in $\mathbb{C}^{d}$ and let $H\left(G\right)$ be the space of all holomorphic functions on $G$.
My question is how to characterize all such (Radon) measures $\mu$ on $G$, that $\...
- 201
15
votes
1
answer
2k
views
Bases for spaces of smooth functions
Let $S$ denote the space of rapidly decreasing sequences, which means sequences $a=(a_k)_{k=1}^\infty$ such that the numbers $p_d(a)=\sup\{k^d|a_k| : 1\leq k<\infty\}$ are finite for all $d\in\...
- 25.3k
3
votes
0
answers
373
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 ...
- 201
1
vote
0
answers
218
views
Is the closed ball of a normed space closed in any Hausdorff locally convex topology, weaker than the norm topology?
Assume that we have a normed space $X$ and a subspace $Y$ of $X^{*}$ such that $Y^{\perp}=\{0\}$. They form a non-degenerate dual pare.
Moreover, $\|y\|=\sup_{x\in B_{X}}|\langle x,y\rangle|$, where $...
3
votes
1
answer
860
views
Is the space of smooth functions with compact support a DF space?
Is there a good criterion, when a (nuclear) LF space is DF (DFN)? What are references to find out about that? If not, is there a known way, to construct a projective resolution of LF spaces? Prosmans ...
- 25.8k
3
votes
3
answers
2k
views
When sequentially continuous linear functional is continuous?
Let $C^\infty(X)$ denote the space of infinitely smooth functions on a compact manifold $X$ (at the beginning one may assume that $X$ is a circle, though I need a more general case). Let $\mathcal{D}(...
- 21.8k
3
votes
2
answers
349
views
Linear operators on distributions with different topologies
Denote by $\mathscr{D}^\prime$ and $\mathscr{D}^\prime_b$ the space of distributions on $\mathbb{R}^n$ equipped with the weak and the strong topology, respectively. Because the topology of $\mathscr{D}...
- 16.4k
0
votes
1
answer
130
views
Extending affine maps defined on weakly closed sets to the whole topological space
Given $C$ a weakly closed convex subset of a (real) Banach space $B$, with $0\in C$ and $\varphi:C\longrightarrow \mathbb{R}$ weakly continuous, with $\varphi(0)=0$, can we extend $\varphi$ to a $\...
- 31.5k
5
votes
1
answer
510
views
The space $H(D)$ of holomorphic functions.
A very natural example of a nuclear Montel space is the space $H(D)$ of all holomorphic functions on the open disc topologized by the family of seminorms
$$p_n(f)=\sup\{|f(z)|\colon |z|\leq 1-\tfrac{...
- 249
5
votes
3
answers
510
views
What is the definition of being smooth for a function from a Lie group to a Fréchet space?
In representation theory of real groups, one is confronted with the notion of smoothness for functions defined on a Lie group with values in a Fréchet space (e.g. see Wallach's Real Reductive Groups I,...
- 249
1
vote
2
answers
326
views
Semi-reflexive dual
I am looking for an example of a semi-reflexive locally convex topological vector space, whose strong dual is not semi-reflexive. Is there some well-known example ?
- 31.5k
6
votes
1
answer
509
views
closed subspaces of locally convex inductive limits
It's a duplicate of this question, since I really want to get an explanation.
Let $\left(V_{n},\phi_{n,n+1}\right)_{n\in\mathbb{N}}$ be an inductive sequence of LCTV spaces. A locally convex ...
CommunityBot
- 1
4
votes
1
answer
286
views
Extending a Certain Result from Locally Convex Topological Vector Spaces to General Topological Vector Spaces
In this Math Stack Exchange post, I proved the following result.
Theorem: Let $ X $ be a locally convex topological vector space. Let $ x \in X $ and suppose that $ (x_{n})_{n \in \mathbb{N}} $ is ...
CommunityBot
- 1
6
votes
2
answers
678
views
How general is the convergence of the exponential function's power series?
I asked essentially this over two weeks ago on MSE, and nothing was else was posted to that question.
Let $\mathbf{V}$ be a Fréchet space whose underlying set is $V$.
Let $\;\; \beta \: : \: V\times ...
CommunityBot
- 1
10
votes
2
answers
2k
views
Pull-back of generalized functions
Let $f\colon X\to Y$ be a smooth map between smooth manifolds. Then the pull-back operation
$f^*\colon C^\infty(Y)\to C^\infty(X)$ is a linear continuous operator when $C^\infty$ is equipped with the ...
- 21.8k
6
votes
1
answer
353
views
Sequential continuity of linear operators
Let $u\colon L\to M$ be a linear map of locally convex linear topological vector spaces.
Assume that $u$ is sequentually continuous, i.e. maps convergent sequences to convergent ones.
(This notion is ...
- 7,500
2
votes
1
answer
324
views
$c^\infty$-topologies on spaces of compactly supported sections and their products
Let $E$ be locally convex topological vector space. Let $c^\infty E$ denote the same
vector space equipped with the $c^\infty$-topology (i.e. the finest topology on it, s.t.
all smooth curves $\mathbb{...
CommunityBot
- 1
4
votes
1
answer
908
views
Schwartz space defined on locally convex spaces
This is my first post here, so bear with me ;)
In wikipedia and other references, Schwartz space is defined as the set of infinitely differentiable functions on $\mathbb{R}^n$. On the other hand, A ...
- 2,442
4
votes
1
answer
520
views
Compactly generated Banach spaces
Suppose that $X$ is a Banach space (or more generally, Frechet space) such that $X$ is the closure of the span of a compact (in the original topology) subset $K$. Do we know anything "nice" about $X$, ...
- 25.8k
6
votes
4
answers
1k
views
Reference for integral of functions taking values in a topological vector space.
(Note that I am interested in the Gelfand-Pettis integral specifically, as opposed to, for example, the Bochner integral.) I have tried Googling things like "integral topological vector space", "...
- 41.1k