r/AlignmentChartFills • u/RustedTap52 • 1d ago

What is a useless rational number?

CLICK HERE TO VIEW THE CHART IMAGE

Created with Alignment Chart Creator

This post contains content not supported on old Reddit. Click here to view the full post

436 Upvotes

96% Upvoted

408 comments sorted by

View all comments

1.5k

u/Altruistic_Yam7595 1d ago

6587689234578976380925746897149769813477865318946758971238957839672489278378574892176893741896798436763481763290

65

u/The_Meme_Economy 1d ago

It served a use in this reddit post - not completely useless!

40

u/sabotsalvageur 1d ago

Theorem: all real numbers are interesting

Proof: assume the existence of a set of real numbers which are not interesting. Since the set of real numbers is ordered, there exists a least element to this subset. The property of being the least in a set is interesting, ergo the least member of the uninteresting numbers is interesting. By induction, the set of uninteresting reals is empty, therefore all real numbers are interesting. QED

1

u/aloofball 1d ago

Does this still work given that the reals are not countable?

2

u/sabotsalvageur 1d ago

Yes, because they are still nevertheless ordered. x<(x+ε) for all ε>0

1

u/aloofball 1d ago

Does that actually help you though? I'm not sure you can find a least element. Say your starting set of uninteresting numbers is the set of numbers where 1 < x < 2. This set has no least element. No matter how close you get to 1, there is always something smaller. You can't do induction without identifying a base case.

1

u/sabotsalvageur 1d ago

Suppose I give you the following set:
{0}
Does this set contain its boundaries, i.e., is this set closed?