3 ms·

You have an interesting and perhaps useful conceptual point, but your language is at odds with current usage. The concepts of infinite sizes of sets and point

You have an interesting and perhaps useful conceptual point, but your language is at odds with current usage. The concepts of infinite sizes of sets and point "at infinity" are different, and should be separated. The thing is, there are multiple infinities even in the sense you're thinking about. For example, you can have one at the end of every line in the complex plane. That gives you the projective plane. Again, in topology. The one you're thinking of is the one-point compactification of the plane, but it's not the only one.

lmkg 17y ago
Actually, having an infinity at the end of every line on the complex plane just gives you a simple disc. To get the projective plane, you have to associate antipodal points, like associating +/-infinity on the real line to a single infinity, but for every line that runs through the origin separately. But in topology, whether these points are 'at infinity' or not is arbitrary, because the complex plane is indistinguishable from the unit disc, until you start adding some more structure to it like a differential structure. And trust me, you do not want to be doing any sort of calculus on the complex plane with anything other than a single infinity. Conformal mappings really don't work well without that simplification. And with that simplification, everything is magical and you can integrate rainbows to get unicorns and candy canes. Nonetheless, your point is valid, it's possible to have more than a single point at infinity. However, regardless, it's more conventional to think of infinity as a particular point with some unusual properties, and in these cases with multiple infinities they're all basically the same. You don't have classes of infinities the same way you have classes of infiniteness.
- RiderOfGiraffes 17y ago
  > Actually, having an infinity at the end of > every line on the complex plane just gives > you a simple disc. Er, judging from the rest of your comment you must simply have misunderstood me. For every line through 0 in the complex plane, take a point and define it to be at both ends of the line. That is doing as you say, associating antipodal points. And I do do calculus (well, equivalent procedures) on such objects. It's clear from your comments that you know about these things - trust me that I do as well. So we're agreed that the concept of infinite sized sets and the concept of "points at infinity" are different, and for teaching about "infinity" it might be useful to separate them explicitly. Interesting observation. Thanks.
  - lmkg 17y ago
    Glad we cleared that up, and glad I could provide some insight =). Also, thanks for being civil in response to my show-off-y reply.

lmkg 17y ago

Actually, having an infinity at the end of every line on the complex plane just gives you a simple disc. To get the projective plane, you have to associate antipodal points, like associating +/-infinity on the real line to a single infinity, but for every line that runs through the origin separately. But in topology, whether these points are 'at infinity' or not is arbitrary, because the complex plane is indistinguishable from the unit disc, until you start adding some more structure to it like a differential structure. And trust me, you do not want to be doing any sort of calculus on the complex plane with anything other than a single infinity. Conformal mappings really don't work well without that simplification. And with that simplification, everything is magical and you can integrate rainbows to get unicorns and candy canes. Nonetheless, your point is valid, it's possible to have more than a single point at infinity. However, regardless, it's more conventional to think of infinity as a particular point with some unusual properties, and in these cases with multiple infinities they're all basically the same. You don't have classes of infinities the same way you have classes of infiniteness.

RiderOfGiraffes 17y ago
> Actually, having an infinity at the end of > every line on the complex plane just gives > you a simple disc. Er, judging from the rest of your comment you must simply have misunderstood me. For every line through 0 in the complex plane, take a point and define it to be at both ends of the line. That is doing as you say, associating antipodal points. And I do do calculus (well, equivalent procedures) on such objects. It's clear from your comments that you know about these things - trust me that I do as well. So we're agreed that the concept of infinite sized sets and the concept of "points at infinity" are different, and for teaching about "infinity" it might be useful to separate them explicitly. Interesting observation. Thanks.
- lmkg 17y ago
  Glad we cleared that up, and glad I could provide some insight =). Also, thanks for being civil in response to my show-off-y reply.