6
$\begingroup$

The multiplicative group $\Bbb Q^+$ can be viewed as a $\Bbb Z$-module. To see this, note that any rational can be decomposed into the form

$2^{n_2} \cdot 3^{n_3} \cdot 5^{n_5} \cdot ...$

The tuple of coefficients $(n_2, n_3, n_5, ...)$ is then an element in the module $\Bbb Z^{(\omega)}$, the set of integer sequences with finite support.

The dual module $Hom(\Bbb Q^+, \Bbb Z)$ mapping from rationals to integers is $\Bbb Z^\Bbb N$, the set of all integer sequences. For various reasons in musical tuning theory, an important class of these sequences are given by

$f_r = (\lfloor r \cdot \log(2) \rceil, \lfloor r \cdot \log(3) \rceil, \lfloor r \cdot \log(5) \rceil, ...)$

for $r \in \Bbb R$, and where $\lfloor x \rceil$ rounds x to the nearest integer.

It has sometimes proven useful to put the Euclidean topology on these functionals, because then we can find local maxima with respect to various functions on them.

This brings me to my questions:

  1. Is it possible, in a natural way, to extend the topology on the set of $f_r$ to the set of all finite $\Bbb Z$-linear combinations of that set?

  2. Likewise, is it possible to extend the topology for infinite $\Bbb Z$-linear combinations, when such sums converge?

  3. We can also treat the above as a discrete lattice of vectors embedded in a real vector space. Is it possible to extend the topology on the $f_r$ to the $\Bbb R$-linear span of finite weighted combinations?

  4. Likewise, is it possible to extend the topology to infinite $\Bbb R$-linear combinations, when they converge?

I have a hunch one may be able to use the product topology for this, but am not quite sure.

$\endgroup$

1 Answer 1

2
$\begingroup$

The answer to your questions 1 and 3 is that there is a universal way to do it, but I don't know how this works for infinite linear combinations.

Unfortunately, I only know how to do it in the category of compactly generated topological spaces (or any cartesian closed category of spaces, really). Hence by a topological ring I mean a ring $R$ equipped with a compactly generated topology making the operations continuous with respect to the compactly generated product (and similarly for topological $R$-modules).

My claim is that the forgetful functor from the category of topological $R$-modules to the category of (compactly generated) spaces has a left adjoint. Here is an explicit construction. Let $X$ be a compactly generated space and let $R X$ be the set of all $R$-linear combinations of the points of $X$. We topologize it as follows. For each $m \in \mathbb{N}$ we consider the function $\phi_m \colon R^m \times X^m \to R X$ defined as $\phi_m(a, x) = a_1 x_1 + \ldots + a_m x_m$. We take the finest topology on $R X$ making $\phi_m$ continuous for all $m$.

It is quite routine to verify that $R X$ satisfies the universal property of a free topological $R$-module on $X$. The only wrinkle appears when we check the continuity of the addition $R X \times R X \to R X$. Here we need to use the fact that products preserve colimits in order to show that the topology of $R X \times R X$ is generated by the maps $\phi_m \times \phi_n$.

If we work with all topological spaces, then the forgetful functor still has a left adjoint as follows by the Adjoint Functor Theorem. However, in this case I don't know how to explicitly describe the resulting topology. The construction above will sometimes fail, e.g. if $X$ is discrete of cardinality $\mathfrak{c}$ then the addition map on $\mathbb{R} X$ is discontinuous with respect to the standard product topology.

Note: this answer is based on a discussion from nForum.

$\endgroup$
7
  • $\begingroup$ Thank you Karol - this is a great point of departure. One question, though - what do you mean by discrete spaces of cardinality c not being compactly generated? Every discrete space is first-countable, and every first-countable space is compactly generated. $\endgroup$ Jun 29, 2016 at 21:30
  • $\begingroup$ Also, what topology are you putting on $\Bbb Z$ here - the discrete topology? The profinite topology? Something else? $\endgroup$ Jun 29, 2016 at 21:37
  • $\begingroup$ If $X$ is discrete of cardinality $\mathfrak{c}$, then it is obviously compactly generated. What I'm saying is that if you carry out the construction as I described in the category of all topological spaces, then $\mathbb{R} X$ will not be a TVS, but if you do it in the category of compactly generated spaces it will be a TVS. $\endgroup$ Jun 29, 2016 at 21:56
  • $\begingroup$ You can take any topology on $\mathbb{Z}$ that makes it into a (compactly generated) topological ring. $\endgroup$ Jun 29, 2016 at 21:56
  • $\begingroup$ still hung up by the choice of topology on $\Bbb Z$. What I was really getting at was a "natural" canonical way to extend the topology on a set to the free abelian group on that set. However, the results of this construction seem to depend on the topology placed on $\Bbb Z$. Is there some topology on $\Bbb Z$ that should be singled out as "natural" for this purpose, or are there as many topologies on the free abelian group on a set as there are compactly generated topologies on $\Bbb Z$? $\endgroup$ Jul 5, 2016 at 0:49

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.