3
$\begingroup$

$N$ the positive natural numbers has one infinity. $Z$ the integers has 2 infinities.

What object would as "naturally" as possible have 3 infinities?

This probably can be answered in many ways. Yet for me the algebraic side would be more important than the topological one, though this does not exclude both.

What troubles me is that $Z$ is natural as being final in the category of rings) and moreover it is the completion ( in fractional sense) of $N$.

$\endgroup$
4
  • 2
    $\begingroup$ en.wikipedia.org/wiki/End_(topology)#Ends_of_a_group $\endgroup$ Sep 22, 2010 at 1:04
  • 19
    $\begingroup$ I would like to point out Stallings theorem that 3 is impossible for groups. He showed there are only 4 possibilities for the "number of infinities" in your terminology, or the space of ends, in standardd definition. (The "ends" of a space is the inverse limit of the collection of components of complements of compact sets). Stallings proved that every group has either 0 (for finite groups), 1, 2 (implies virtually Z) or a Cantor set of ends. Cf. en.wikipedia.org/wiki/Stallings_theorem_about_ends_of_groups $\endgroup$ Sep 22, 2010 at 1:10
  • $\begingroup$ Precisely if we require only order I guess any K infinity can be achieved. But where does the limit stands between order and group ? $\endgroup$ Sep 22, 2010 at 10:50
  • $\begingroup$ You can extend the real line with two infinities (affinely) or with 1 infinity (projectively). You can extend complex numbers in even more ways (unsigned infinity, 2 real and 2 imaginary infinities, one real and one imaginary infinity, infinite number of directed infinities, etc). $\endgroup$
    – Anixx
    Oct 15, 2019 at 17:17

4 Answers 4

4
$\begingroup$

The obvious first answer: take three copies of $\mathbb{N}$ as total orders, then join them at the bottom element to get an unbounded poset with bottom. This of course isn't satisfactory as it doesn't give $\mathbb{Z}$ for two copies of $\mathbb{N}$. This strikes me as a sort of 'what about a 3-dimensional version of the complex numbers?' question, and could benefit from considering 'four infinities'...

$\endgroup$
4
  • $\begingroup$ You may take $k$ copies of$N$ with an added bottom element. I think this still works with more structure than that of an order, for example that of a semi-lattice. The question is not so much for $k=3$ but more about how much structure you may add (more than semi lattice) while retaining the existence of $k$ infinity say for each $k$ ? When you impose a group structure this does not work as mentioned above by Bill Thurston. So what could be found in between that still works?. $\endgroup$ Sep 23, 2010 at 14:54
  • $\begingroup$ Well take $\mathbb{Z} \cup_{\{0\}} i\mathbb{Z}$: the axes in the complex numbers. This is a monoid under multiplication and has a partially defined addition that distributes over arbitrary multiplication. Not sure what you'd call this though. $\endgroup$
    – David Roberts
    Sep 24, 2010 at 0:50
  • $\begingroup$ What does the union sign with 0 in index means ? I guess it is a kind of product. Which ? $\endgroup$ Sep 24, 2010 at 1:28
  • $\begingroup$ Bit of a hybrid there! At the level of sets, it's just the pushout of Z <- {0} -> iZ. Or one could be a little slack and just say it's the union. I don't know what the operation 'is' at an algebraic level. $\endgroup$
    – David Roberts
    Sep 24, 2010 at 4:39
5
$\begingroup$

This may not be algebraic enough for you, but after some 150 years of people thinking the plane, catenoid, and the helicoid the only possible examples, Celso Costa found the Weierstrass representation for a new complete minimal surface in $R^3,$ which happened to have three ends. I will try to put the Wikipedia link. I see, if there is punctuation within the Wikipedia name, we need to click on the hyperlink icon (picture of the Earth with an arrow) and do a little extra, but then it works.

http://en.wikipedia.org/wiki/Costa's_minimal_surface

$\endgroup$
1
$\begingroup$

What about a three-point compactification of the Eisenstein integers? It wouldn't be a group, but it seems fairly natural.

$\endgroup$
3
  • 2
    $\begingroup$ What about it? What actually is it? To me it doesn't appear fairly natural, but rather daft. $\endgroup$ Sep 22, 2010 at 6:42
  • 1
    $\begingroup$ @Robin: It's the Eisenstein integers, $\mathbb{Z}[\omega]$ with $\omega$ a third root of unity, together with three distinguished elements which, for lack of better names, I will call "$\infty$" = $1+1+\cdots$, "$\omega\infty$" = $\omega\cdot\infty$, and "$\omega^2\infty$" = $\omega^2\cdot\infty$. Conceptually, it's somewhere between $\mathbb{CP}^1$, where there is a continuum of infinite elements, and the extended reals, where there are only two. $\endgroup$
    – Charles
    Sep 23, 2010 at 0:23
  • $\begingroup$ The term "compactification" suggests you are thinking of this structure as a (compact) topological space. Do you have a specific topology in mind? $\endgroup$
    – Wojowu
    Dec 15, 2016 at 5:55
0
$\begingroup$

What about extending real numbers with both affine and projective elements, that is positive infinity, negative infinity and unsigned infinity? Technically, it will bring three infinities, although not symmetric.

$\endgroup$

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.