19
$\begingroup$

Is the Alexandroff one-point compactification of a locally compact Hausdorff space ($\mathbf{LCHaus}$) a functor to the category of compact Hausdorff spaces ($\mathbf{CHaus}$)? It seems to me that one has to consider only proper continuous maps as morphisms.

If one does so, then the most natural definition for the induced map $\hat f\colon\hat X\to \hat Y$ seems to work (just send $x\mapsto f(x)$ and $\infty_X\mapsto \infty_Y$, continuity has to be checked only on open sets containing $\infty$) but a lot of interesting situations seem to be excluded: one hopes that (e.g.) a map $h\colon (0,1)\to \mathbb R$ such that $$\lim_{x\to 1^-}h(x)=\lim_{x\to 0^+}h(x)$$ admits an extension $\hat h\colon \widehat{(0,1)}\to \mathbb R$; but what if $h$ is not proper? It is "outside" the category I'm considering. So:

  1. How can one define suitable topological categories between which $\widehat{(-)}$ is a functor?

  2. Morally a compactification should be a left adjoint to an inclusion (in this case $\iota\colon \mathbf{CHaus}\hookrightarrow\mathbf{LCHaus}$), but even if it seems evident that (taking only proper maps) $$\hom_{\mathbf{CHaus}}(\hat X,Y)\cong \hom_{\mathbf{LCHaus}}(X,\iota Y)$$ the Alexandroff correspondence seems to be ill-behaved with respect to colimits... is there any hope to make $X\mapsto \hat X$ adjoint to something?

Thanks for your attention

  • 0
    Just looking at coproducts, the target category would have to be some category of pointed spaces, with coproducts given by wedge sums.2012-08-26
  • 0
    Indeed, according to the wikipedia page http://en.wikipedia.org/wiki/Alexandroff_extension#The_one-point_compactification the Alexandroff extension can be viewed as a functor from the category of topological spaces to the category whose objects are continuous maps $c: X \rightarrow Y$ and for which the morphisms from $c_1: X_1 \rightarrow Y_1$ to $c_2: X_2 \rightarrow Y_2$ are pairs of continuous maps $f_X: X_1 \rightarrow X_2, \ f_Y: Y_1 \rightarrow Y_2$ such that $f_Y \circ c_1 = c_2 \circ f_X$... This seems highly unsatisfactory.2012-08-26
  • 0
    I was asking you to check if my argument is correct. Does restricting to proper maps affect colimits in such a way that the one-point compactification functor respects them? I was also asking if the categories I'm considering are "the right ones", in view of the wiki page I quoted...2012-08-26
  • 2
    the "evident" adjunction you state can't be true for yet another reason: pre-images of compact sets under proper maps are compact and as $Y$ is compact, $X$ would have to be...2012-08-26
  • 0
    Thank you t.b., this is another point I forgot to write down in the OP... So, is all gone?2012-08-26
  • 0
    Let $Y$ be a compact and $X$ a non compact, locally compact space. Maybe $\hom(X,Y)$ is empty if I restrict only to proper maps, which seems to sensibly trivialize the adjunction...2012-08-26
  • 1
    One should carefully distinguish Alexandroff **compactification** (that is defined for non-compact spaces only) and Alexandroff **extension** (that is defined on any topological space, but introduces a new connectivity component if it was already compact). The former is certainly not a functor on **LCHaus**.2014-08-11

2 Answers 2