 # On Infinity 3 - CurvesTue, 27 Dec 2011 22:00:00 GMT

This is part 3 of my series on infinity.

In part 2 we have seen that there are infinitary processes with a finite outcome. In this part, we will see something, which can at least "philosophically" be considered as the other way around: How to embed infinity into finite objects.

In the end of part 1, we have already seen the following bijection:  The length of the isosceles lines (blue in the graphic) of the -th triangle have length (which follows by one of Pythagoras' theorems), but the important fact is that it is always strictly greater than , since the height is already , and each of the two lines must trivially be longer. All of the isosceles lines together form a line, the line colored blue in the graphic, and this line must be of infinite length. So in fact, it is possible for a square to contain an infinite line.

Here, the special character of lines must be taken to account: Lines have no width. Lines are ideal objects, which only have a length, but do not have a width. Of course, every line we draw is not ideal, in the sense that - to be able to see it - it needs to have a width. Every line which is actually drawn is only an approximation of lines. Still, the ideal object "line" is not useless: It is a formal object which can be approximated with (probably) arbitrary precision, and its definition was a success and is implicitly used in huge parts of science.

Let us consider another graphic: Assume you draw a square of side length 1. Then centrized into this square, you draw a square of side length 0.5, and inside this, you draw a further square of side length 0.25, and so on. The following graphic shows this: The circumference of  the -th square has length . So the sum of the lengths is a geometric series, as we saw in Part 2, and we have , that is, all the lines we have drawn together are of length . So, informally speaking, we can draw this "with a pen": We will not need an infinite amount of color to draw it, even though it has infinitely many parts.

So far for this time. We have seen some nice examples of the interplay between finity and infinity, when talking about lengt. Next time it gets a bit harder, we will again look at the countability of sets.