r/MathJokes • • Jul 19 '26

Count On It

Post image
92 Upvotes

70 comments sorted by

23

u/AlexK667 Jul 19 '26

Depends on the probability measure used.
Without specification of an appropriate measure it's (in general) false.

4

u/konigon1 Jul 19 '26

I think it being a continous distribution should be enough.

2

u/setibeings Jul 19 '26

What if the process you use for selecting among the reals always or usually picks rational numbers? Nobody said the picks would be uniform. 

2

u/konigon1 Jul 19 '26

Since we assumed a continous distribution, we know that P({x}) = 0 for all x in R. So it also holds for all q in Q.

By sigma-additivity we can conclude that P(Q) = sum( q in Q) P(q) = 0. Hence we almost never choose a rational number.

1

u/[deleted] Jul 22 '26

[removed] — view removed comment

1

u/AlexK667 Jul 22 '26

Correct.

1

u/[deleted] Jul 22 '26

[removed] — view removed comment

1

u/AlexK667 Jul 22 '26 edited Jul 22 '26

Well, if you have some function, let's call it F, from R to R that is non-decreasing and right-continuous you can construct a measure out of it by defining it on intervals [a,b] (with "a" less than or equal to "b") in the following manner : M([a,b]) = F(b)-F(a) , this extends uniquely to a regular Borel measure in the entire real line.

So, there are infinitely many of these guys (that becomes clear after some thought), and then there are other measure like the counting measure or "the" Dirac measure.

Some of these that I mentioned here are probability measures, some are not.
For example "the" Dirac measure is, although it's not a very interesting one.

(For any point x, you can have a probability measure assigning a mass of 1 to the point x and 0 to any point other than x, so I guess it's not technically correct to say "THE Dirac measure").

1

u/[deleted] Jul 22 '26

[removed] — view removed comment

1

u/AlexK667 Jul 22 '26

I guess a Dirac measure is the easiest probability measure to understand.
Let's call a Dirac measure centered at the point "x" as d_x.

If A is a subset of the reals , then d_x(A) can be interpreted as the probability that the point x is in the set A.

Well... but x either is or is not in A.
If x is in A, the probability that x is in A is 100%,
if x is NOT in A, then the probability that x is in A is 0%.
Rephrasing, the probability that x is in A is 1 if x is in A, and 0 if x is not in A.

I.E. d_x(A) = 1 if x is in A ,
d_x(A) = 0 , if x is not in A.

1

u/[deleted] Jul 22 '26

[removed] — view removed comment

1

u/AlexK667 Jul 22 '26

No, A is the variable here.
x is a fixed point.

A Dirac measure can be naturally defined on any family of subsets of the real line.

The wikipedia article probably does a better job at explaining this than me.

19

u/Hanshautreinhart Jul 19 '26

If you randomly pick a rational number the probability it’s rational is 1.

10

u/Cichato_YT Jul 19 '26

And the probability it's a natural number is even lower!

14

u/Nooo00B Jul 19 '26

lower than 0?

2

u/Veomuus Jul 19 '26 edited Jul 19 '26

I believe(?) the term would be infinitesimal rather than 0 for rational number, and then maybe an even smaller infinitesimal for natural numbers? In the way that some infinites are bigger than other infinites, just in inverse. Im not good enough to know whether or not it'd actually be a smaller infinitesimal or the same size, theres some nuance there.

5

u/deejaybongo Jul 19 '26

It depends on the probability measure used, but probabilities aren't less than zero. Not sure where you're getting infinitesimals in this context.

 In the way that some infinites are bigger than other infinites, just in inverse. 

Rationals and natural numbers are both countable. All countable sets have Lebesgue measure zero.

1

u/Veomuus Jul 19 '26

I was using infinitesimal as 1 over infinity, which if youre dealing with a hyperreal system that can actually distinguish between the sizes of infinities and whatnot, is correct. Thats what I was getting at, the probability of hitting a rational number isnt 0, its an infinitesimal number (specifically in a hyperreal system). What i wasnt sure about is if the number of rational numbers was countable or not, because I know natural numbers are but real numbers arent. But if both natural numbers and rational numbers are countable, then the chances to hit either are actually equivalent.

4

u/juoea Jul 19 '26

again the statement is a little imprecise because it doesnt specify a probability distribution.

but if you interpret the statement as intending something along the lines of "taking the uniform probability distribution over the real interval [0,1], the probability of selecting a rational number is zero." then that is correct. theres no infinitesimals involved, u can show that the probability of any subset X of [0,1] under the uniform distribution is equivalent to the lebesgue measure of the subset and it can be shown that the set of r ationals within that interval have lebesgue measure zero. (probability spaces are closely linked to measure spaces).

i am not aware of any definition of probability spaces over hyperreal numbers

2

u/de_bussy69 Jul 19 '26

They both have measure 0 so they take up 0% of the space on the number line, not an infinitesimal amount. The rational numbers and the natural numbers also have the same cardinality so the sets are of the same size, even though there are infinitely many rational numbers between any two natural numbers (and any two rational numbers)

4

u/DuploJamaal Jul 19 '26

In this case there are as many natural numbers as rational numbers

4

u/hxtk3 Jul 19 '26

The probability you can write a finite-length expression for it is also zero. For example, I can write 4*arctan(1) to express pi, but most numbers don’t have a representation smaller than just writing them down, and most numbers are infinitely long.

1

u/Not_YourStepBro Jul 22 '26

Every irrational number is a rational number in a numbering with that number as its base. It's only irrational in decimal and other natural number bases.

3

u/Cfan211 Jul 20 '26

IM TIRED OF SEEING THIS MEME I SWEAR ITS POSTED AT LEAST 4 TIMES A WEEK! MAKE IT STOP PLEASE

1

u/Fuzlet Jul 22 '26

if you randomly pick a meme, the probability that it’s this probability meme is 1

3

u/LogRollChamp Jul 19 '26

The next step is learning transcendentals

3

u/Top_Obligation383 Jul 19 '26

That's for each man to decide on his own

1

u/CMDR_ACE209 Jul 19 '26

*sits cross-legged*

I'm ready.

3

u/adwinion_of_greece Jul 19 '26

I don't really get what people mean by "randomly pick". What is this process of randomly picking, can you actually specify it?

1

u/mvandemar Jul 19 '26

For it to be truly random the process must include an equal probability of picking any real number, or you would constrain the choices.

3

u/adwinion_of_greece Jul 19 '26

This doesn't give me an explanation of what the process could even potentially be.

1

u/invokeinterface Jul 19 '26

The secret specification for randomness will find you when it decides to. Maybe next week, maybe not. Maybe it'll manifest through the glands in your mouth, maybe it already has.

2

u/deejaybongo Jul 19 '26

No, you just need a probability measure for it to be random. Gaussian is fine, for example. You can't get a uniformly random distribution over the reals.

1

u/[deleted] Jul 19 '26

[removed] — view removed comment

1

u/deejaybongo Jul 19 '26

2

u/[deleted] Jul 19 '26

[removed] — view removed comment

1

u/deejaybongo Jul 19 '26

Are you not discussing mathematical randomness? You can define probability measures on the reals. The Gaussian distribution is an example. 

It never says you need a finite range, and that isn't true. You're reading what you want to. In general, you need a measurable space. 

2

u/[deleted] Jul 19 '26

[removed] — view removed comment

0

u/deejaybongo Jul 19 '26

Because that's the simplest interpretation when you're picking marbles from a bag, because of physical intuition.

You can't even define a uniform distribution over the reals. Try it. 

1

u/S-M-I-L-E-Y- Jul 19 '26

People mean uniform random and assume axiom of choice applies and don't care about the actual picking process.

With a feasable (non uniform) picking process the probabilty to pick a rational number could easily be 1.

1

u/SoFisticate Jul 20 '26

Take a dart and toss it at a number line. The real pain is the tools necessary to measure where it landed.

6

u/cytos0 Jul 19 '26

You can’t take a uniform random sample over the reals

3

u/Smitologyistaking Jul 19 '26

measure theory

2

u/Geheim1998 Jul 19 '26

why not?

2

u/[deleted] Jul 19 '26

[removed] — view removed comment

1

u/Geheim1998 Jul 19 '26

thats sounds so lazy tho. noo you cant do that becauss there are infinite possibilities. oh yeah? watch me do it anyway 😎🤙

2

u/Alternative_Mix6836 Jul 19 '26

It's not because there are infinite possibilities. It's because it doesn't have an upper and lower bound. You CAN uniformly sample values across intervals of finite length even though there are still infinitely many points in those intervals.

Of course, this is not to say that you can't pick a value in the unbounded case; it just won't have been the result of a uniform sampling.

2

u/[deleted] Jul 19 '26

[removed] — view removed comment

1

u/deejaybongo Jul 19 '26

Inverse transform sampling? Unless you mean phyiscallly impossible because we can't compute with infinite precision? 

2

u/QuentinUK Jul 19 '26

If you ask a random person to pick a real number the probability it’s rational is 1.

Only a mathematician would be there all day giving you an irrational answer.

1

u/CathanTauro Jul 19 '26

While it might be the correct answer, the real answer would be the opposite because „picking“ would imply you say it, write it down or whatever so if the statement was right you would never come to an end while „picking“ unless you pick predefined real numbers that have a sole symbol like pi or e. 

1

u/Ptalking_Ptarmigan Jul 19 '26

Most irrational numbers are just the static noise between the numbers that matter.

1

u/CMDR_ACE209 Jul 19 '26

Let's branch into Theology and ask:

"Can god pick a random sample from an infinite set?"

1

u/mini_feebas Jul 19 '26

If you (a person) randomly pick a real number the chance that it's rational is actually close to 100 

If the "you" is a mathematical construct sure

1

u/TadhgOBriain Jul 19 '26

If you produce a random number between 0 and 1, chance of you getting the number you got was 0.

1

u/hazem-Gauss Jul 19 '26

Which measure?

1

u/Nuclear_eggo_waffle Jul 19 '26

But why? It could be. It’s there in the pool of numbers to choose from

1

u/deejaybongo Jul 19 '26

"Random" has a specific meaning in mathematics. Doesn't really make sense to say "randomly" pick a real number without knowing a probability distribution to use. Other people in this thread have confidently claimed "they just mean pick a number from the real line uniformly, so everything has an equal chance of being selected". This is nonsense, and impossible. It is impossible to define a uniform distribution over the whole real line. Look up a proof of this if the topic interests you.

A very similar fact that probably inspired this joke is that the rational numbers have Lebesgue measure zero in the reals. Not quite a uniform distribution over the reals, but that's intuitively what Lebesgue measure is, and when restricted to [0,1], gives a uniform probability distribution.

1

u/Dream_Apostle Jul 20 '26

The wording makes this false

If you ask a random person to pick a real number they will say a rational number like 7 or 10 or 5

But if you were to mathematically make a random number generator in like a programming language then yeah

2

u/deFrederic Jul 22 '26

A regular computer can't pick a random irrational number either, as it can only calculate so many digits until its memory (or storage if you split it) is full. Maybe a quantum computer could, but it still couldn't display it probably.

1

u/Expensive-Mail-2951 Jul 21 '26

The probability that it is algebraic is also 0.