Skip to main content
added 113 characters in body
Source Link
ABIM
  • 5.4k
  • 3
  • 19
  • 41

Interpreting the question as Dmitri Pavlov I assume that $L^1_K$ is the space of $L^1$-functions with support in $K$ so that we have an inductive spectrum of Banach spaces (identifying almost everywhere equal functions). The colimit (=inductive limit) in the category of locally convex spaces (i.e., the union endowed with the finest locally convex topology making the inclusions from all $L^1_K$ continuous) is then a complete locally convex space (by a classical result of Dieudonne and Schwartz about strict countable inductive limits -- instead of all compact sets it is of course enough to consider a countable exhaustion). On the other hand it is dense in $L^1_{loc}$ (the projective limit of all $L^1_K$ with respect to the restrictions). Therefore, the inductive limit topology is strictly finer. (There are several other ways to see this. For example, a countable inductive limit of normed spaces $X_n$ such that $X_n\neq X_{n+1}$ is never metrizablenever metrizable.)

The limit topology in the category TOP is even finer than that in LCS.

If you consider uncountable colimits in LCS the situation is slightly different: As a Frechet spaces $L^1_{loc}$ is ultrabornological and hence the inductive limit of Banach spaces, namely of all Banach spaces generated by absolutely convex closed bounded sets (generated means that you take the linear span endowed with the Minkowski functional). You can describe these spaces as weighted $L^1$-spaces $\{f\in L^1: \int |f|wd\mu<\infty\}$ with suitable weights.

Interpreting the question as Dmitri Pavlov I assume that $L^1_K$ is the space of $L^1$-functions with support in $K$ so that we have an inductive spectrum of Banach spaces (identifying almost everywhere equal functions). The colimit (=inductive limit) in the category of locally convex spaces (i.e., the union endowed with the finest locally convex topology making the inclusions from all $L^1_K$ continuous) is then a complete locally convex space (by a classical result of Dieudonne and Schwartz about strict countable inductive limits -- instead of all compact sets it is of course enough to consider a countable exhaustion). On the other hand it is dense in $L^1_{loc}$ (the projective limit of all $L^1_K$ with respect to the restrictions). Therefore, the inductive limit topology is strictly finer. (There are several other ways to see this. For example, a countable inductive limit of normed spaces $X_n$ such that $X_n\neq X_{n+1}$ is never metrizable.)

The limit topology in the category TOP is even finer than that in LCS.

If you consider uncountable colimits in LCS the situation is slightly different: As a Frechet spaces $L^1_{loc}$ is ultrabornological and hence the inductive limit of Banach spaces, namely of all Banach spaces generated by absolutely convex closed bounded sets (generated means that you take the linear span endowed with the Minkowski functional). You can describe these spaces as weighted $L^1$-spaces $\{f\in L^1: \int |f|wd\mu<\infty\}$ with suitable weights.

Interpreting the question as Dmitri Pavlov I assume that $L^1_K$ is the space of $L^1$-functions with support in $K$ so that we have an inductive spectrum of Banach spaces (identifying almost everywhere equal functions). The colimit (=inductive limit) in the category of locally convex spaces (i.e., the union endowed with the finest locally convex topology making the inclusions from all $L^1_K$ continuous) is then a complete locally convex space (by a classical result of Dieudonne and Schwartz about strict countable inductive limits -- instead of all compact sets it is of course enough to consider a countable exhaustion). On the other hand it is dense in $L^1_{loc}$ (the projective limit of all $L^1_K$ with respect to the restrictions). Therefore, the inductive limit topology is strictly finer. (There are several other ways to see this. For example, a countable inductive limit of normed spaces $X_n$ such that $X_n\neq X_{n+1}$ is never metrizable.)

The limit topology in the category TOP is even finer than that in LCS.

If you consider uncountable colimits in LCS the situation is slightly different: As a Frechet spaces $L^1_{loc}$ is ultrabornological and hence the inductive limit of Banach spaces, namely of all Banach spaces generated by absolutely convex closed bounded sets (generated means that you take the linear span endowed with the Minkowski functional). You can describe these spaces as weighted $L^1$-spaces $\{f\in L^1: \int |f|wd\mu<\infty\}$ with suitable weights.

Bounty Ended with 50 reputation awarded by ABIM
Source Link
Jochen Wengenroth
  • 16.4k
  • 2
  • 42
  • 82

Interpreting the question as Dmitri Pavlov I assume that $L^1_K$ is the space of $L^1$-functions with support in $K$ so that we have an inductive spectrum of Banach spaces (identifying almost everywhere equal functions). The colimit (=inductive limit) in the category of locally convex spaces (i.e., the union endowed with the finest locally convex topology making the inclusions from all $L^1_K$ continuous) is then a complete locally convex space (by a classical result of Dieudonne and Schwartz about strict countable inductive limits -- instead of all compact sets it is of course enough to consider a countable exhaustion). On the other hand it is dense in $L^1_{loc}$ (the projective limit of all $L^1_K$ with respect to the restrictions). Therefore, the inductive limit topology is strictly finer. (There are several other ways to see this. For example, a countable inductive limit of normed spaces $X_n$ such that $X_n\neq X_{n+1}$ is never metrizable.)

The limit topology in the category TOP is even finer than that in LCS.

If you consider uncountable colimits in LCS the situation is slightly different: As a Frechet spaces $L^1_{loc}$ is ultrabornological and hence the inductive limit of Banach spaces, namely of all Banach spaces generated by absolutely convex closed bounded sets (generated means that you take the linear span endowed with the Minkowski functional). You can describe these spaces as weighted $L^1$-spaces $\{f\in L^1: \int |f|wd\mu<\infty\}$ with suitable weights.