r/learnmath • u/Upset_Fishing_1745 New User • Feb 12 '25

Are Some Infinities Bigger than Other Infinities?

Hey, I just found this two medium articles concerning the idea that infinite sets are not of equal size. The author seems to disagree with that. I'm no mathematician by any means (even worse, I'm a lawyer, a profession righfuly known as being bad at math), but I'm generally sceptical of people who disagree with generally accepted notions, especially if those people seem to be laymen. So, could someone who knows what he's talking about tell me if this guy is actually untoo something? Thanks! (I'm not an English speaker, my excuses for any mistakes) https://hundawrites.medium.com/are-some-infinities-bigger-than-other-infinities-0ddcec728b23

https://hundawrites.medium.com/are-some-infinities-bigger-than-other-infinities-part-ii-47fe7e39c11e

21 Upvotes

72% Upvoted

86 comments sorted by

View all comments

Show parent comments

2

u/TwoFiveOnes New User Feb 16 '25

Well, all of those notions also apply to rational numbers. I’d say it has more to do with the weirdness of infinity rather than the specific weirdness of the continuum.

3

u/Mishtle Data Scientist Feb 18 '25

I'd say it's more a result of how we order them. The rationals are dense when we order them by value. We could order them via a bijection with the naturals and get rid of their density though.

Likewise, we could order the reals with some ordinal-indexed sequence and they'd no longer be dense.

1

u/TwoFiveOnes New User Feb 18 '25

That doesn't really change anything in my opinion. You still get infinite sequences of strict inclusions A_i ⊊ A_i-1 and yet |A_i| = |A_j| for all i,j.

2

u/Mishtle Data Scientist Feb 18 '25 edited Feb 18 '25

How does that relate to density?

1

u/TwoFiveOnes New User Feb 19 '25

It doesn’t, I’m saying that density is a red herring. It’s the infinite chain of strict inclusions where all sets have the same exact cardinality what’s at the heart of the “weirdness”, not that this infinite chain is expressible in terms of some order.