An Elementary Course in Synthetic Projective Geometry by Derrick Norman Lehmer
page 14 of 156 (08%)
page 14 of 156 (08%)
|
*4. One-to-one correspondence and enumeration.* If a one-to-one correspondence has been set up between the objects of one set and the objects of another set, then the inference may usually be drawn that they have the same number of elements. If, however, there is an infinite number of individuals in each of the two sets, the notion of counting is necessarily ruled out. It may be possible, nevertheless, to set up a one-to-one correspondence between the elements of two sets even when the number is infinite. Thus, it is easy to set up such a correspondence between the points of a line an inch long and the points of a line two inches long. For let the lines (Fig. 1) be _AB_ and _AâBâ_. Join _AAâ_ and _BBâ_, and let these joining lines meet in _S_. For every point _C_ on _AB_ a point _Câ_ may be found on _AâBâ_ by joining _C_ to _S_ and noting the point _Câ_ where _CS_ meets _AâBâ_. Similarly, a point _C_ may be found on _AB_ for any point _Câ_ on _AâBâ_. The correspondence is clearly one-to-one, but it would be absurd to infer from this that there were just as many points on _AB_ as on _AâBâ_. In fact, it would be just as reasonable to infer that there were twice as many points on _AâBâ_ as on _AB_. For if we bend _AâBâ_ into a circle with center at _S_ (Fig. 2), we see that for every point _C_ on _AB_ there are two points on _AâBâ_. Thus it is seen that the notion of one-to-one correspondence is more extensive than the notion of counting, and includes the notion of counting only when applied to finite assemblages. *5. Correspondence between a part and the whole of an infinite assemblage.* In the discussion of the last paragraph the remarkable fact |
|