Questions tagged [function-spaces]

Questions about spaces of functions, such as continuous functions between topological spaces or certain reproducing kernel Hilbert spaces. Does not concern equivalent classes of functions such as $L^p$ spaces.

A function space is a set of functions between two fixed sets. Often, the domain and/or codomain will have additional structure which is inherited by the function space. For example, the set of functions from any set $X$ into a vector space has a natural vector space structure given by pointwise addition and scalar multiplication. In other scenarios, the function space might inherit a topological or metric structure, hence the name function space.

Let $V$ be a vector space over a field $F$ and let $X$ be any set. The functions $X \to V$ can be given the structure of a vector space over $F$ where the operations are defined pointwise, that is, for any $f, g : X \to V$, any $x$ in $X$, and any $c$ in $F$, define

$$ \begin{aligned}(f+g)(x)&=f(x)+g(x)\\\\(c\cdot f)(x)&=c\cdot f(x)\end{aligned} $$

When the domain $X$ has additional structure, one might consider instead the subset (or subspace) of all such functions which respect that structure. For example, if $X$ is also a vector space over $F$, the set of linear maps $X \to V$ form a vector space over F with pointwise operations (often denoted $\operatorname {Hom}(X,V)$). One such space is the dual space of $V$: the set of linear functionals $V \to F$ with addition and scalar multiplication defined pointwise.

163 questions
11
votes
1 answer

On the map $\operatorname{Top}(X,Y \times Z) \longrightarrow \operatorname{Top}(X,Y) \times \operatorname{Top}(X,Z)$

Disclaimer: We define a topological space $X$ to be compact if every open cover has a finite subcover, but $X$ is otherwise allowed to be arbitrary. I have been faced with the following problem: Let $X, Y, Z$ be arbitrary (nonempty) topological…
11
votes
2 answers

When is the compact-open topology locally compact?

Let $X$ and $Y$ be topological spaces, and consider the compact-open topology on $C(X,Y)$, which is generated by open sets of the form $$\{\text{continuous }f\colon X\to Y:f(K)\subseteq U\}\text{ for compact }K\subseteq X\text{ and open }U\subseteq…
9
votes
1 answer

Help understanding Reproducing Kernel Hilbert spaces?

I am trying to wrap my head around some concepts of Reproducing Kernel Hilbert Spaces (RKHS) without having a formal background in functional analysis. Since I am trying to form an intuition about what this space is and how it does what it does, I…
8
votes
1 answer

What is the motivation for Besov spaces?

I am trying to understand the definition of Besov spaces. With such a complicated definition I wonder what is the motivation behind them and why are they so often used in PDE? What advantage do they give over Sobolev spaces? Are there any nice…
8
votes
0 answers

Convergence Spaces in Algebraic Topology

I often come across materials discussing convergence spaces and their relevance in various contexts. It's commonly mentioned that the existence of a natural convergence on the space of continuous functions (turning them into exponential objects)…
8
votes
2 answers

Prove that $C_0(X)$ is separable given that X is locally compact metric space

I'm struggling to prove the following fact: Suppose that $X$ is locally compact metric space. Let us denote with $C_0(X)$ the space of functions vanishing at infinity (i.e., $\forall f \in C_0(X)$ $\forall \varepsilon > 0$ $\exists \, E\subset X$…
7
votes
1 answer

Is $T$ totally bounded when $C_u(T)$ is separable?

I'm seeking help with a question regarding the space of bounded and uniformly continuous functions $C_u(T,d)$, where $(T,d)$ is a metric space. In this context, $C_u(T)$ is a closed subspace of $C_b(T)$, therefore it is a Banach space as well. In…
6
votes
0 answers

An example of an admissible topology on compacta that doesn't coincide with the compact-open topology

Given two topological spaces $X$ and $Y$, the set $Y^X=\{f:X\rightarrow Y : f \textrm{ is a function} \}$ is the set of all (not necesarily continuous) functions from $X$ to $Y$. The subsets $U^K=\{f\in Y^X:f(K)\subset U\}$ can be defined in $Y^X$…
6
votes
1 answer

Is the smooth mapping space a deformation-retract of the continuous one?

Let $X,Y$ be smooth manifolds. Let $F \subset G$ denote the spaces of, respectively, smooth and continuous functions $X\rightarrow Y$; we give $F,G$ the compact-open topologies. (This should be compatible with the subspace topology on $F$ from…
5
votes
2 answers

How is it possible for the L² norm of f − g to measure the area between the graphs of f and g?

Here is the definition of a norm given by my textbook; (This is from Fourier Series and Boundary Value Problems by James Ward Brown and Ruel V. Churchill, Chapter 7) I'm confused by what authors say after (9). I was under the impression that the…
5
votes
1 answer

How does pointwise Hölder continuous on compact subsets not imply locally Hölder continuous?

When Gilbarg and Trudinger introduced the Hölder spaces, they mentioned on page 52 that Furthermore note that local Hölder continuity is a stronger property than pointwise Hölder continuity in compact subsets. without further elaboration. Can…
5
votes
1 answer

Dimension of $r$-jets of maps from manifolds $M$ to $N$

Differential Topology Hirsch Chapter 2 Section 4 Problem 11: Compute the Dimension of $J^r(M, N)$ $J^r(M, N)$ is the set of all $r$-jets from $M$ to $N$. This is an equivalence class $[x, f, U]_r$ of triples $(x, f, U)$, where $U \subset M$ is an…
5
votes
1 answer

Difference quotient for Hölder continuous functions

Let $\Omega\subset\mathbb{R}^n$ be a bounded open set and $u\in C^\alpha_{\mathrm{loc}}(\Omega)$. For $h>0$, $1\leq k\leq n$, let $$D_k^hu(x)=\frac{u(x+he_k)-u(x)}{h}$$ where $e_k$ is the $k$-th coordinate vector. Suppose for each…
5
votes
1 answer

Is possible to show that the linear operator $T(\varphi)(x) = \int_{V_x\cap M} \varphi(y)\text{d}y$ has spectral radius $>0$.

Fix some $σ>2/(3\sqrt{3})$, let $M$ be the interval $[x_-,x_+]$, where $$x_- = \text{unique real root of $x^3 + \sigma = x$}$$ and $$x_+ = \text{unique real root of $x^3 - \sigma = x$}.$$ Moreover, define the set $$V_x=\{z\in \mathbb{R};\ z =…
4
votes
1 answer

What is the boundary of $ A=\{u : |u^{\prime}|\le 2 \text{ and } u(x)\neq k\pi,\forall k\in\mathbb{Z}, \forall x\in [0, 1] \}$?

Let $u:[0, 1]\to\mathbb R$ be of class $C^1$ over $[0, T]$. As an exercise I have to determine the boundary of the set $$ A=\{u : |u^{\prime}|\le 2 \text{ and } u(x)\neq k\pi,\forall k\in\mathbb{Z}, \forall x\in [0, 1] \}.$$ Here is considered on…
user603537
1
2 3
10 11