Return to Question

Let $L^1_{loc}$ denote the set of all functions from $\mathbb{R}$ to itself which are locally integrable. For every infinite compact subset $K\subseteq \mathbb{R}$, let $L^1_{m_K}$ denote the space of Lebesgue measurable functions supported on $K$.

Clearly the collection $\mathcal{K}$ of all such compact subsets of $\mathbb{R}$ form a poset wrt inclusion $i^{K_1}_{K_2}:K_1\hookrightarrow K_2$ if and only if $K_1\subseteq K_2$, for $K_i \in \mathcal{K}$. Therefore, we may define the colimit $$ \operatorname{colim}_{\mathcal{K}} L^1_{m_K}, $$ in Top.

How are $\operatorname{colim}_{\mathcal{K}} L^1_{m_K}$ and $L^1_{loc}$ related?

Note/Edit: Top is the category of topological spaces and continuous maps and LCS is the category of locally convex spaces and continuous linear maps.

Let $L^1_{loc}$ denote the set of all functions from $\mathbb{R}$ to itself which are locally integrable. For every infinite compact subset $K\subseteq \mathbb{R}$, let $L^1_{m_K}$ denote the space of Lebesgue measurable functions supported on $K$.

Clearly the collection $\mathcal{K}$ of all such compact subsets of $\mathbb{R}$ form a poset wrt inclusion $i^{K_1}_{K_2}:K_1\hookrightarrow K_2$ if and only if $K_1\subseteq K_2$, for $K_i \in \mathcal{K}$. Therefore, we may define the colimit $$ \operatorname{colim}_{\mathcal{K}} L^1_{m_K}, $$ in Top.

How are $\operatorname{colim}_{\mathcal{K}} L^1_{m_K}$ and $L^1_{loc}$ related?

Note/Edit: Top is the category of topological spaces and continuous maps and LCS is the category of locally convex spaces and continuous linear maps.

Related: $L^1_{\mu}$ as limit

Let $L^1_{loc}$ denote the set of all functions from $\mathbb{R}$ to itself which are locally integrable. For every infinite compact subset $K\subseteq \mathbb{R}$, let $L^1_{m_K}$ denote the space of Lebesgue measurable functions supported on $K$.

Clearly the collection $\mathcal{K}$ of all such compact subsets of $\mathbb{R}$ form a poset wrt inclusion $i^{K_1}_{K_2}:K_1\hookrightarrow K_2$ if and only if $K_1\subseteq K_2$, for $K_i \in \mathcal{K}$. Therefore, we may define the colimit $$ \operatorname{colim}_{\mathcal{K}} L^1_{m_K}, $$ in Top.

How are $\operatorname{colim}_{\mathcal{K}} L^1_{m_K}$ and $L^1_{loc}$ related?

Let $L^1_{loc}$ denote the set of all functions from $\mathbb{R}$ to itself which are locally integrable. For every infinite compact subset $K\subseteq \mathbb{R}$, let $L^1_{m_K}$ denote the space of Lebesgue measurable functions supported on $K$.

Clearly the collection $\mathcal{K}$ of all such compact subsets of $\mathbb{R}$ form a poset wrt inclusion $i^{K_1}_{K_2}:K_1\hookrightarrow K_2$ if and only if $K_1\subseteq K_2$, for $K_i \in \mathcal{K}$. Therefore, we may define the colimit $$ \operatorname{colim}_{\mathcal{K}} L^1_{m_K}, $$ in Top.

How are $\operatorname{colim}_{\mathcal{K}} L^1_{m_K}$ and $L^1_{loc}$ related?

Note/Edit: Top is the category of topological spaces and continuous maps and LCS is the category of locally convex spaces and continuous linear maps.

Let $L^1_{loc}$ denote the set of all functions from $\mathbb{R}$ to itself which are locally integrable. For every infinite compact subset $K\subseteq \mathbb{R}$, let define the measure $m_K$ by $\frac{dm_K}{dm}\triangleq 1_K$ (the indicator/characteristic function on $K$). Let $L^1_{m_K}$ denote the corresponding Lebesgue space.

Clearly the collection $\mathcal{K}$ of all such compact subsets of $\mathbb{R}$ form a poset wrt inclusion $i^{K_1}_{K_2}:K_1\hookrightarrow K_2$ if and only if $K_1\subseteq K_2$, for $K_i \in \mathcal{K}$. Therefore, we may define the colimit $$ \operatorname{colim}_{\mathcal{K}} L^1_{m_K}, $$ in Top.

How are $\operatorname{colim}_{\mathcal{K}} L^1_{m_K}$ and $L^1_{loc}$ related?

Let $L^1_{loc}$ denote the set of all functions from $\mathbb{R}$ to itself which are locally integrable. For every infinite compact subset $K\subseteq \mathbb{R}$, let $L^1_{m_K}$ denote the space of Lebesgue measurable functions supported on $K$.

Clearly the collection $\mathcal{K}$ of all such compact subsets of $\mathbb{R}$ form a poset wrt inclusion $i^{K_1}_{K_2}:K_1\hookrightarrow K_2$ if and only if $K_1\subseteq K_2$, for $K_i \in \mathcal{K}$. Therefore, we may define the colimit $$ \operatorname{colim}_{\mathcal{K}} L^1_{m_K}, $$ in Top.

How are $\operatorname{colim}_{\mathcal{K}} L^1_{m_K}$ and $L^1_{loc}$ related?