Skip to main content

All Questions

Filter by
Sorted by
Tagged with
3 votes
1 answer
353 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}$. ...
2 votes
0 answers
103 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 ...
4 votes
0 answers
481 views

Generalized Jensen's inequality for positively homogeneous functions

The function $f:V \to \hat{\mathbb{R}}$ is said to be positively homogeneous iff $f(\alpha v) = \alpha f(v)$ for every $\alpha \in \mathbb{R}_{++}$. Here $V$ is a real vector space and $\hat{\mathbb{R}...
4 votes
2 answers
770 views

smooth functions on closed intervals with values in infinite-dimensional spaces

There are three ways to define when a ($\mathbb{R}$-valued) function on a closed interval is smooth: $f$ can be extended to a smooth function on $(a - \epsilon, b + \epsilon)$ for some $\epsilon > ...
7 votes
1 answer
754 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 ...
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 ...
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 $\...