Help With Some Short Proofs

In summary, the following holds:- There exists a constant k such that f:A \rightarrow B is a bijection where f(a) = a - k.- For each v in V, there exists a unique v \sim k such that f(a) = a - k.
  • #1
AplanisTophet
89
4
I am sure these are wrong given what is 'proven,' I just can't put my finger on it. Any insight into what is wrong is most appreciated. Thank you in advance!:1) Let [itex]q_1, q_2, q_3,[/itex] … be an enumeration of [itex]A = \mathbb{Q} \cap (0,1)[/itex].2) Select a real number [itex]r \in (0,1)[/itex] uniformly at random. Note: A common way of doing this cited by mathematicians is the theoretical flipping of a coin infinitely many times followed by some trivial 'clean-up' given that there are two binary expansions of each dyadic rational, e.g. 0.1 = 0.01111111...3) Let [itex]B = \mathbb{Q} \cap (-r, 1-r)[/itex]. Note that [itex]r \in (0,1) \Rightarrow 0 \in B[/itex]. Also note that the length of [itex](-r, 0)[/itex] is completely dependent upon [itex]r[/itex] which was selected uniformly at random, so the length has likewise been selected uniformly at random.4) Let [itex]f:A \rightarrow B[/itex] be a bijection where a constant [itex]k \in A[/itex] such that [itex]f(a) = a - k[/itex].* This step is to relate some [itex]q_i[/itex] to the element [itex]0 \in B[/itex] in a way that allows any [itex]i \in \mathbb{N}[/itex] a chance of being selected uniformly at random, just as [itex]r[/itex] and the length of [itex](-r, 0)[/itex] were. There will be one and only one possible constant [itex]k[/itex] for any [itex]r \in \mathbb{R}(0, 1)[/itex] such that [itex]f[/itex] is a bijection given [itex]f(a) = a - k[/itex].5) Let [itex]C = \{ r + q : q \in B \}[/itex]. Note that [itex]0 \in B \Rightarrow r \in C[/itex].6) Let [itex]g:B \rightarrow C[/itex] be a bijective function: [itex]g(b) = b + r[/itex]. Note that [itex]0 \in B \Rightarrow \exists g(0) = r[/itex].7) [itex]\exists i \in \mathbb{N} : f(q_i) = 0 \Rightarrow g(f(q_i)) = g(0) = r[/itex]. Therefore, where [itex]r[/itex] was selected uniformly at random, so was [itex]i[/itex].
* The cardinality of A is equal to the cardinality of B, so a bijection can exist. There is something interesting here, however. Note that [itex]z:\mathbb{R}(0,1) \rightarrow \mathbb{R}(-r, 1-r)[/itex] is a bijection where [itex]z(x) = x - r[/itex], but [itex]q \in A \Rightarrow z(q) \notin B[/itex] if [itex]r \notin \mathbb{Q}[/itex] because any rational less an irrational is not rational. I therefore suggest that [itex]\exists k \in A[/itex] such that [itex]f:A \rightarrow B[/itex] is a bijection where [itex]f(a) = a - k[/itex]. This poses the question, what is the result [itex]t[/itex] of the equation: [itex](1/3 - 0) - (f(1/3) - z(0)) = 1/3 - ((1/3 - k) - (0 - r)) = 1/3 - 1/3 + k - r = k - r = t[/itex]? What is unusual is that [itex]k - r = t[/itex] must be all but infinitesimal… It is the smallest difference between two disjoint “shifted copies” of the rational numbers in [itex]\mathbb{R}[/itex] \ [itex]\mathbb{Q}[/itex].In keeping with the above definitions, we can continue:1) For each [itex]r \in \mathbb{R}(0,1)[/itex], there will exist a constant [itex]k \in A[/itex] such that [itex]f:A \rightarrow B[/itex] is a bijection where [itex]f(a) = a - k[/itex].2) A Vitali set [itex]V[/itex] would produce a different [itex]k[/itex] for each [itex]v \in V[/itex]. More specifically, the length of [itex](0, k) = k[/itex] will be unique for any element from each disjoint “shifted copy” of the rationals in the quotient group [itex]\mathbb{R} / \mathbb{Q}[/itex] (where each element of the quotient group is of a form [itex]\mathbb{Q} + r = \{ r + q : q \in \mathbb{Q} \}[/itex] for some [itex]r \in \mathbb{R}[/itex]), and there exists one and only one [itex]v \in V[/itex] for each element of [itex]\mathbb{R} / \mathbb{Q}[/itex]. Note: Vitali sets are usually restricted to [0, 1], not (0, 1), be we can trivially assume such a restriction to (0,1) here. I use them here for simplicity despite their creation relying on the axiom of choice, noting this proof could also be carried out without the use of Vitali sets and the axiom of choice.3) For each [itex]v \in V[/itex], let [itex]v \sim k \Rightarrow f(a) = a - k[/itex] is a bijection from [itex]A[/itex] onto [itex]B = \mathbb{Q} \cap (-v, 1-v)[/itex].4) Where each possible [itex]k \in A[/itex], the set [itex]D = \{ k : \exists v \in V[/itex] where [itex]v \sim k \}[/itex] has a cardinality equal to the cardinality of [itex]\mathbb{N}[/itex].5) Let [itex]d_1, d_2, d_3, [/itex] … be an enumeration of [itex]D[/itex].6) Let [itex]\mathbb{R}(0,1) / \mathbb{Q} = \{ x \cap \mathbb{R}(0, 1) : x \in \mathbb{R} / \mathbb{Q} \}[/itex]. The elements of [itex]\mathbb{R}(0,1) / \mathbb{Q}[/itex] therefore partition [itex]\mathbb{R}(0,1)[/itex] by definition (just as [itex]\mathbb{R} / \mathbb{Q}[/itex] is a partition of [itex]\mathbb{R}[/itex]) and each element of [itex]\mathbb{R}(0,1) / \mathbb{Q}[/itex] is enumerable because it is merely a shifted copy of [itex]A[/itex] equal to [itex]v + B = C = \{ v + q : q \in B \}[/itex] for some [itex]v \in V[/itex].7) Let [itex]E = \bigcup_{i = 1}^\infty (C_{d_i})[/itex], where [itex]C_{d_i} = \{ v + q : v \sim d_i \land q \in B = \mathbb{Q} \cap (-v, 1-v) \}[/itex].8 ) Each [itex]C_{d_i}[/itex] is enumerable by definition so the union [itex]E[/itex] is a countable union of countable sets that is also enumerable.9) The union [itex]E[/itex] is also equal to [itex]\mathbb{R}(0,1)[/itex] because [itex]\{ C_{d_i} : i \in \mathbb{N} \} = \mathbb{R}(0,1) / \mathbb{Q}[/itex] is a partition of [itex]\mathbb{R}(0,1)[/itex] by definition.10) The fact that [itex]E[/itex] is enumerable and [itex]E = \mathbb{R}(0,1)[/itex] by definition [itex]\Rightarrow \mathbb{R}(0,1)[/itex] is enumerable.Ok, this contradicts Cantor’s Theorem, so unless math is broken (which I doubt), please help me find what’s wrong with the above!
 
Physics news on Phys.org
  • #2
In step 4, ##k## must equal ##r## because if it's less (more) than ##r##, the lowest (highest) numbers in ##B## will not be in the image of ##f##. Since ##k\in A## we observe that it must be rational. So it is not true that there will be one ##k## for each ##r##. When ##r## is irrational there will be no possible ##k##.

I didn't read beyond there because I assume that in what follows it somewhere relies on that invalid claim.

To find the flaw in a purported proof like this, it often suffices to just look at every assertion of existence or uniqueness and question whether the proof justifies it. Not only is no justification offered for the claim in the last line of 4, but it is easy to see why the claim is incorrect.
 
  • Like
Likes AplanisTophet
  • #3
andrewkirk said:
When ##r## is irrational there will be no possible ##k##.

Thank you. How can I show this?

The length of (0, 1) is the same as the length of (-r, 1-r). If you shift the rationals in either of these two sets by any arbitrary constant, they should align with the intersection of an interval of length 1 and some element of the quotient group R/Q (where each element of the quotient group R/Q takes the form of a coset r + Q = { r + q : q is in Q }). We know that constant must be a rational number if going from A to B, so while I'm inclined to agree that this may be what is wrong I don't see how.

Also, we know that there is a bijection between A and B because they are both sets of rationals. Any predefined bijection should suffice for the first proof even if there is no such constant k as you say, so feel free to read on. If correct, you have successfully killed the second proof so that is good. In the unlikely event that you are incorrect, then the second proof should be much, much, much simpler (please read number 3 in its entirety):

  1. Let [itex]q_1, q_2, q_3,[/itex] … be an enumeration of [itex]A = \mathbb{Q} \cap \mathbb{R}(0, 1)[/itex].
  2. For any [itex]r \in \mathbb{R}(0, 1)[/itex], let [itex]B_r = \mathbb{Q} \cap \mathbb{R}(-r, 1-r)[/itex].
  3. (This should be the faulty statement then --->) For each [itex]r \in \mathbb{R}(0,1)[/itex], there exists one and only one [itex]k_r \in A[/itex] such that [itex]f:A \rightarrow B_r[/itex] is a bijection where [itex]f(a) = a - k_r[/itex]. Note that [itex]z:\mathbb{R}(0, 1) \rightarrow \mathbb{R}(-r, 1-r)[/itex] is a bijection where [itex]z(x) = x – r[/itex]. If [itex]q \in A \land r \notin A[/itex], then [itex]z(q) = q – r \notin B_r[/itex] because the difference between a rational number and an irrational number is not a rational number. Therefore, [itex]f(q) \neq z(q) \Rightarrow k_r – r = t \land t \neq 0[/itex].
  4. If [itex]r, s \in \mathbb{R}(0,1)[/itex], then [itex]r \neq s \Rightarrow k_r \neq k_s[/itex].
  5. If [itex]r, s \in \mathbb{R}(0,1)[/itex], then [itex]k_r \neq k_s \Rightarrow r \neq s[/itex].
  6. Therefore, [itex]r, s \in \mathbb{R}(0,1) \land r \neq s \iff k_r \neq k_s[/itex]. Let [itex]g(k_r) = r[/itex] for any [itex]r \in \mathbb{R}(0, 1)[/itex].
  7. Let [itex]C = g(q_1), g(q_2), g(q_3),[/itex] … = [itex]\mathbb{R}(0,1)[/itex].
 
  • #4
AplanisTophet said:
Thank you. How can I show this?
If ##k<r## then, because the rational numbers are dense in the reals, there exists a rational number ##c## such that ##-r<c<-k##. This ##c## is in ##B## but is not in the image of ##f## because if ##f(a)=c## then ##a=c+k\leq -k+k=0## so ##a## is not in ##A##.

The argument for the case ##k>r## is very similar, just changing a few signs and directions.
 
  • #5
AplanisTophet said:
(This should be the faulty statement then --->) For each [itex]r \in \mathbb{R}(0,1)[/itex], there exists one and only one [itex]k_r \in A[/itex] such that [itex]f:A \rightarrow B_r[/itex] is a bijection where [itex]f(a) = a - k_r[/itex].
As identified earlier, investigate any claim that is not proven to be true - regardless of how much it may `feel' as if it should be true. This is such a claim. There is no justification for the claim that ##k_r\in A##. I doubt it is true. If it leads to a conclusion that Cantor's Theorem is false then we know it is not true, since we have a proof of Cantor's Theorem (Reductio as Absurdam).
 
  • #6
andrewkirk said:
If ##k<r## then, because the rational numbers are dense in the reals, there exists a rational number ##c## such that ##-r<c<-k##. This ##c## is in ##B## but is not in the image of ##f## because if ##f(a)=c## then ##a=c+k\leq -k+k=0## so ##a## is not in ##A##.

The argument for the case ##k>r## is very similar, just changing a few signs and directions.

Thank you again. Unfortunately, [itex]k_r < c < r \Rightarrow c[/itex] cannot exist because [itex]1 – c > 1 – r \Rightarrow (1 – c) \notin B_r[/itex] despite your ability to assert that if such a [itex]c[/itex] did exist then [itex]a = c + k_r < 0[/itex] when [itex]c[/itex] is negative. Likewise, [itex]r < c < k_r \Rightarrow c[/itex] cannot exist because [itex]-c < -r \Rightarrow c \notin B_r[/itex] despite your ability to assert that if such a [itex]c[/itex] did exist then [itex]a = c + k_r > 1[/itex] when [itex]c[/itex] is positive. The former argument is “shifted” too far to the right while the latter is “shifted” too far to the left but group theory demands that there is a [itex]k_r[/itex] that is just right as I’ll show the proof for below. On the other hand, [itex]k_r > r[/itex] can exist because [itex]f(a) = a - k_r > -r[/itex] and likewise [itex]k_r < r[/itex] can exist because [itex]f(a) = a - k_r < 1 - r[/itex]. Therein lies the rub because you are of course correct in that the rationals are dense so if [itex]k_r – r \neq 0[/itex] what is going on?

IMHO, this ‘proof’ is clever if nothing else but appears remarkable in that [itex]k_r – r = t[/itex] literally is defined to be the smallest difference between any two correlating elements of “shifted copies” of the rationals in [itex]\mathbb{R}/\mathbb{Q}[/itex]. The number [itex]t[/itex] is the rough equivalent of [itex]dx[/itex] itself (it technically would be in some cases thus allowing for the supposed enumeration of [itex]\mathbb{R}(0, 1)[/itex] assuming it were properly defined, not that I am asserting that at this point).

The proof of the existence of [itex]k_r[/itex] that you assert does not exist follows from the remainder of step 3 that you omitted from your quote above. Namely, [itex]z(q) \notin B_r[/itex] when [itex]q \in A \land r \notin A[/itex] necessitates the existence of [itex]k_r[/itex] based on group theory. Here is why:
  1. Let [itex]w, x \in A \land y, z \in B_r[/itex] for an [itex]r \in \mathbb{R}(0, 1)[/itex] such that [itex]w - x = y - z[/itex].
  2. Given the above, it is easily proven that [itex]w - y = x - z = k \in \mathbb{Q}[/itex].
  3. Because the rationals are dense and the length of [itex](0, 1) = (-r, 1-r) = 1[/itex], given any [itex]q_a \in A[/itex] there is a corresponding [itex]q_b \in B_r[/itex] such that [itex]X_{q_a} = \{ q_a - z : z \in A \} = X_{q_b} = \{ q_b - z : z \in B_r \}[/itex]. Let [itex]q_a \sim q_b \Rightarrow X_{q_a} = X_{q_b}[/itex].
  4. If [itex]w \sim y \land x \sim z[/itex] in addition to their above properties from step 1, we can assert from step 2 that [itex]k = k_r[/itex].

Does this help to spell out my hesitation in accepting your logic? I assume we are correct in that something isn't right, but I trust you'll understand if I'm not quite ready to accept what you wrote despite seeing it too. This one is really making me think and I very much appreciate your consideration so far.
 
  • #7
AplanisTophet said:
[itex]k_r < c < r \Rightarrow c[/itex] cannot exist because [itex]1 – c > 1 – r \Rightarrow (1 – c) \notin B_r[/itex]
That 'because' is not correct. Since it was never assumed or asserted that ##1-c## is in ##B_r##, no contradiction can be derived from the fact that it isn't. It was ##c## that we assumed was in ##B_r##, not ##1-c##.
 
  • Like
Likes AplanisTophet
  • #8
andrewkirk said:
That 'because' is not correct. Since it was never assumed or asserted that ##1-c## is in ##B_r##, no contradiction can be derived from the fact that it isn't. It was ##c## that we assumed was in ##B_r##, not ##1-c##.

Yes, ok. I’ve thought it through now too. Thank you again. The way I see it is this. If (0, 1) is “shifted” to the left by a constant that is rational, we end up with a set that is (-rational, 1 – rational). The rationals contained on an interval defined by rationals cannot align with an interval defined by irrationals, e.g., (-irrational, 1-irrational). Interesting. :)As for the first proof, I believe that still works if a proper way of defining a bijection in step 4 is defined. Surely a bijection can exist, but we want one to be 'predefined' so as to preserve the randomness. Just as a Vitali set can exist with one and only one element for each element of R/Q using the axiom of choice, we could use choice to select a bijection for each possible r prior to selecting it that would preserve the proof. What do you think? Does that mean if we accept the axiom of choice we can assert that it is possible to select a natural number uniformly at random? What's wrong there...?
 
  • #9
AplanisTophet said:
As for the first proof, I believe that still works if a proper way of defining a bijection in step 4 is defined.
That 'if' is the whole problem. Assuming that the remainder of the proof attempt is valid (which I have not checked) we know that no such bijection can exist, because if it did we would have arrived at a contradiction.

Intuition is a great thing, and indispensable in maths. But sometimes it can lead us astray, and we need to be careful of that. That is what seems to be happening here. You have an intuition that, because there is a bijection from A to B, there must also be a bijection of the particular type that you specify, which is ##q\mapsto q-k_r##, where ##k_r\in\mathbb Q##. That intuition is misleading. There is no bijection of that type if ##r## is not rational..

Consider the sets ##\mathbb N## and ##\mathbb N\times \mathbb N##, where ##\mathbb N## is the natural numbers. There are plenty of bijections between these, for example, one ordering of the 2D set is (0,0), (0,1), (1,0), (2,0), (1,1),(0,2), (0,3),(1,2),(2,1),... This zig-zag diagonal covering of the 2D number quadrant covers all the pairs that add to 0, then all that add to 1, then all that add to 2, and so on. But this bijection does not preserve the dictionary order of the 2D set. One might have an intuition that there must be some order-preserving bijection. But one would be wrong.

Including the axiom of choice in our system will not help. If it did, all it would mean is that ZFC is inconsistent.
 
  • #10
andrewkirk said:
You have an intuition that, because there is a bijection from A to B, there must also be a bijection of the particular type that you specify

That's just it though: the type of bijection doesn't matter for the first proof. It just needs to be a bijection and we can forget all this [itex]k_r[/itex] nonsense (truly, I'm on board and I get it now thanks to you!), so could you please look over the first proof past step 4? More specifically, we know a bijection exists and anyone will do, so the only crux for the proof to work is that the bijection must be at the ready prior to picking [itex]r[/itex] because defining the bijection after we pick [itex]r[/itex] kills the whole notion of randomness. That is why I suggested the axiom of choice (because we literally just need to assert the existence of a bijection in step 4 for each possible [itex]B_r[/itex], where any old bijection will do for each, prior to picking [itex]r[/itex]).
 
  • #11
Here is what I mean (no [itex]k_r[/itex] funny business). Thank you again!1) Let [itex]q_1, q_2, q_3,[/itex] … be an enumeration of [itex]A = \mathbb{Q} \cap [0,1][/itex].2) Let [itex]V[/itex] be a Vitali set, which contains one and only one element [itex]v[/itex] from each coset [itex]\{ r + q : q \in \mathbb{Q} \} \in \mathbb{R}/\mathbb{Q}[/itex] such that [itex]0 \leq v \leq 1[/itex]. Note that the creation of a Vitali set requires use of the axiom of choice.3) Select a real number [itex]r \in [0,1][/itex] uniformly at random. Note: A common way of doing this cited by mathematicians is the theoretical flipping of a coin infinitely many times followed by some trivial 'clean-up' given that there are two binary expansions of each dyadic rational, e.g. 0.1 = 0.01111111...
4) Let [itex]v_r \in V \Rightarrow v_r, r \in \{ r + q : q \in \mathbb{Q} \}[/itex].5) Let [itex]B = \mathbb{Q} \cap [-|v_r-r|, 1-|v_r-r|][/itex]. Note that [itex]v, r \in [0,1] \Rightarrow 0 \in B[/itex]. Also note that the length of [itex][-|v-r|, 0][/itex] is dependent upon [itex]r[/itex], which was selected uniformly at random, so the length has likewise been selected uniformly at random.6) Let [itex]f:A \rightarrow B[/itex] be a bijection such that [itex]f(a) = a - |v_r-r|[/itex].7) Let [itex]C = \{ r + q : q \in B \}[/itex]. Note that [itex]0 \in B \Rightarrow r \in C[/itex].8) Let [itex]g:B \rightarrow C[/itex] be a bijective function: [itex]g(b) = b + r[/itex]. Note that [itex]0 \in B \Rightarrow \exists g(0) = r[/itex].9) [itex]\exists i \in \mathbb{N} : f(q_i) = 0 \Rightarrow g(f(q_i)) = g(0) = r[/itex]. Therefore, where [itex]r[/itex] was selected uniformly at random, so was [itex]i[/itex].
 
  • #12
Aplanis Tophet: You wrote

"Let f:A→B be a bijection where a constant k∈A such that f(a)=a−k."

and

"The cardinality of A is equal to the cardinality of B, so a bijection can exist."

But wait: How do you know that a bijection not only exists, but exists of the form f(a) = a - k for some constant k ?

Yes, you wrote something about this at your asterisk, but you did not find any contradiction as far as I can tell.

But suppose r is irrational, say r = √(1/2).

Then (-r, 1-r) is the interval (-√(1/2), 1-√(1/2)).

For any constant k, then if the map f(a) of the form f(a) = k-a is going to carry

Q ∩ (0, 1)​

bijectively onto

Q ∩ (-√(1/2), 1-√(1/2))​

then it must clearly have k = 1 - √(1/2).

But why must such a map carry rational numbers to rational numbers? For example, this f applied to a = 1/2 takes the value

f(1/2) = 1 - √(1/2) - 1/2 = 1/2 - √(1/2)​

which is not rational.

This shows to me that your original statement 4) makes a false assumption.
 
Last edited:
  • #13
I cannot understand (4). It is not clear whether it is a definition, a claim, or something else. It uses a symbol ##v_r## that has not been defined.
 
  • #14
andrewkirk said:
I cannot understand (4). It is not clear whether it is a definition, a claim, or something else. It uses a symbol ##v_r## that has not been defined.

It could read:
4) Where [itex]v \in V \land r \in \mathbb{R}[0, 1][/itex], if both [itex]v[/itex] and [itex]r[/itex] are also in [itex]\{ r + q : q \in \mathbb{Q} \}[/itex], then let [itex]v = v_r[/itex]. Note that by definition of a Vitali set, there is one and only one [itex]v \in V[/itex] such that for any given [itex]r \in \mathbb{R}[0, 1][/itex], [itex]v \in \{ r + q : q \in \mathbb{Q} \} \Rightarrow v = v_r.[/itex]
 
  • #15
The latest version doesn't seem to touch on Cantor at all. Note that ##r-v_r## is rational since they are both in the coset ##r+\mathbb Q##, so we can write ##r-v_r## as ##q(r)##. Then we have three sets:
$$A=\mathbb Q\cap[0,1]$$
$$B_r=A-q(r)$$
$$C_r=B_r+r=A+v_r$$
These three sets all have the cardinality of ##\mathbb Q##.

How does that say anything about the cardinality of ##\mathbb R##?
 
  • #16
andrewkirk said:
How does that say anything about the cardinality of ##\mathbb R##?

It doesn't. The point is to select a natural number uniformly at random. This cannot be done in general because there is no uniform probability measure on the naturals where the sum of 0's is 0. Only the second proof dealt with cardinalities and we've debunked that one already. This is the first proof yet to be debunked.
 
  • #17
What this is doing is, given a random ##r\in[0,1]##, finding ##h(r)## which is the index, in an enumeration of ##\mathbb Q##, of the rational number ##r-v_r##.

Note that the map ##h## may be surjective, but it cannot be injective.

It would be necessary to formalise the statements about 'selected a number at random' in order to make a coherent claim about probability. 'Select at random' is not a well-defined concept. It is not at all clear what is meant by 'a uniform probability measure on the naturals'. I know what a probability measure is, but I don't know what adding the word 'uniform' does, if the sample space is not continuous.

EDIT: It might help to consider a much simpler surjective map from ##\mathbb [0,1]## to ##\mathbb Q##. Let ##f:\mathbb N\to\mathbb Q## be a bijection. Define ##g:[0,1]\to\mathbb N## by ##g(x)=n## where ##n## is the largest natural number such that ##x\leq 1-2^{-n}##. Then ##h=f\circ g## is a surjection from ##[0,1]## to ##\mathbb Q##. If ##U## is a random variable that is uniformly distributed on ##[0,1]## then ##X=h(U)## is a random variable that takes values in ##\mathbb Q##, with the probability of each value being ##2^{-k}## for some ##k\in\mathbb N##. So every rational number has a nonzero probability of occurring as an outcome of ##X##. But there is nothing unusual or contradictory about this.
 
Last edited:
  • #18
andrewkirk said:
What this is doing is, given a random ##r\in[0,1]##, finding ##h(r)## which is the index, in an enumeration of ##\mathbb Q##, of the rational number ##r-v_r##.

Yes (well, it finds the index of [itex]|v_r - r|[/itex] in an enumeration of [itex]\mathbb{Q} \cap [0, 1][/itex] and [itex]r[/itex] is selected uniformly at random, but close enough I suppose).

I think for this purpose, "selecting a number uniformly at random from a set" means that each number in the set has an equal chance of being selected given a method of selecting one and only one number from the set.

andrewkirk said:
EDIT: It might help to consider a much simpler surjective map from ##\mathbb [0,1]## to ##\mathbb Q##. Let ##f:\mathbb N\to\mathbb Q## be a bijection. Define ##g:[0,1]\to\mathbb N## by ##g(x)=n## where ##n## is the largest natural number such that ##x\leq 1-2^{-n}##. Then ##h=f\circ g## is a surjection from ##[0,1]## to ##\mathbb Q##. If ##U## is a random variable that is uniformly distributed on ##[0,1]## then ##X=h(U)## is a random variable that takes values in ##\mathbb Q##, with the probability of each value being ##2^{-k}## for some ##k\in\mathbb N##. So every rational number has a nonzero probability of occurring as an outcome of ##X##. But there is nothing unusual or contradictory about this.

That is not going to select a natural uniformly at random given the above definition, no, so you're right, nothing unusual, but then again that is specifically why the proof does not do what you suggest... Make sense? I actually don't think there is anything wrong with the proof at this point. I believe you can in fact select a natural uniformly at random given the above definition of what it means to select a number uniformly at random and the stipulation that you may first select a real in [0, 1] uniformly at random. Maybe I'm wrong though.
 
  • #19
AplanisTophet said:
I believe you can in fact select a natural uniformly at random given the above definition of what it means to select a number uniformly at random and the stipulation that you may first select a real in [0, 1] uniformly at random. Maybe I'm wrong though.

It figures that I'd say something wrong and only afterwards realize it, lol. There are only two ways in which [itex]|v_r - r|[/itex] can equal 1, but there are an infinite number of ways that it can be, say, 1/2. The distribution is therefore not uniform. Both proofs are debunked as they were written.

Thank you again for your time. I really respect it. These made me think quite a bit and without your help I'd probably have 'spun my wheels' quite a bit more than I did. Have a great weekend!
 

What is "Help With Some Short Proofs"?

"Help With Some Short Proofs" is a service or resource that provides assistance with completing short proofs in mathematics or other fields that require proof-based reasoning. This can include step-by-step guidance, tips and strategies, or direct support from a tutor or mentor.

Why do people need help with short proofs?

Short proofs can be challenging and require a specific set of skills and techniques. Many people may struggle with understanding the concepts, identifying the appropriate strategies, or organizing their thoughts in a logical and concise manner. As a result, they may seek help to improve their understanding and performance in this area.

Who can benefit from "Help With Some Short Proofs"?

Anyone who is learning or studying a subject that involves short proofs can benefit from this service. This can include students at any level, from high school to graduate school, as well as professionals who use proof-based reasoning in their work.

What can I expect from "Help With Some Short Proofs"?

The specific offerings and services may vary, but in general, you can expect to receive guidance, support, and resources to help you improve your skills and understanding of short proofs. This may include direct assistance from a tutor, step-by-step examples and explanations, or practice problems with solutions.

Is "Help With Some Short Proofs" only for math proofs?

No, "Help With Some Short Proofs" can be beneficial for any subject that requires proof-based reasoning, including fields such as physics, computer science, or philosophy. The principles and strategies for short proofs can be applied to various disciplines, so this service can be helpful for a wide range of subjects.

Similar threads

  • Set Theory, Logic, Probability, Statistics
Replies
6
Views
1K
  • Set Theory, Logic, Probability, Statistics
Replies
1
Views
1K
  • Set Theory, Logic, Probability, Statistics
Replies
9
Views
2K
  • Set Theory, Logic, Probability, Statistics
Replies
1
Views
1K
  • Set Theory, Logic, Probability, Statistics
Replies
1
Views
4K
  • Set Theory, Logic, Probability, Statistics
Replies
1
Views
698
  • Set Theory, Logic, Probability, Statistics
Replies
7
Views
2K
  • Calculus and Beyond Homework Help
Replies
1
Views
522
  • Set Theory, Logic, Probability, Statistics
Replies
9
Views
5K
Back
Top