This is a really good and concise explanation of Dedekind cuts - well done! For those who are interested, here's a bit of discussion around multiplication of cuts. (I'll let S denote the cut representing the real number s in the following.) Let's use the naive definition of cut multiplication that _S*T_ simply represents all products of rational numbers in _S_ and _T._ Now, if _s_ and _t_ are both strictly positive rational numbers, then in particular, _-2s_ and _-t_ are in _S_ and _T,_ respectively, and so their product is in _S*T_ - however, that product is _2st,_ and so it is larger than _s*t,_ which means our "cut" actually goes beyond the rational number it is meant to represent. In fact, if you've understood this step, it'll be pretty easy for you to show that the product (as we defined it) of two rational cuts greater than the zero cut will actually yield the entirety of the rationals, and so it's not even a cut - which is pretty bad because it violates the field axioms. Since negative numbers really mess up the whole thing, defining the multiplication of two cuts is a bit more subtle. You first start by only considering cuts greater than the zero cut (more precisely, cuts of which the zero cut is a strict subset) and only the rationals greater than 0 in these cuts. Then, the product of _S_ and _T_ may be defined as simply being the union of the zero cut and the set of all products of strictly positive elements of _S_ and _T._ Now, multiplying subsets of the zero cut can simply be defined using established consequences of the field axioms, such as _(-a)*b = -a*b._ Related to that is a technical nuance not discussed in this video - the definition of the additive inverse itself. It's pretty natural to define _-A_ as the cut such that _A + (-A) = 0_ (the zero cut) - but that is not quite it. For instance, if you choose _A_ to be the zero cut, then _-A_ is not a cut because it has a greatest element of _0_ (straightforward exercise to the reader). However, our good friend Weierstrass comes to the rescue - instead defining _-A_ such that, given an element _q_ of _-A,_ there exists a strictly negative real number _ε_ such that, for all _p_ in _A,_ _p + q < ε_ will do the trick. I hope this explanation satisfies those looking for more details - though there are still some things I left out. However, I hope I gave a basic idea of how to deal with these technicalities.
I just had a crazy thought? If there was a collab with Dr Peyam and Masahiro Sakurai the universe would implode and projective geometry division by zero would become the new norm.
I think a bit more care could be taken in discussing how Dedikind is using the set of everything BELOW the irrational number itself to stand in for the number, and then defining operations on SETS (which don't include the number) to construct a field Q* that we later just swap out for R. It's a subtle point that may be lost on the viewer.
From a computational pov, Dedekind cuts and their arithmetic have a problem. We could implement them as a triple, consisting of a member (proof of non-emptiness), a non-member (proof of non-totality) and a characteristic function for set-membership. One can then define the characteristic function of a summation with a bit of approximation trickery, and the member/nonmember come in handy at that stage. Only problem is: this will not work completely when two irrational numbers add up to a rational one. Because in that case the constructed characteristic function will be undefined on one rational number, the actual summation result itself.
Here is a definition of π* that doesn't depend on any trigonometric functions: We know π/4=1-1/3+1/5-1/7+.... (the Leibniz formula for π, which is the Maclaurin series for arctan(1)) We can write this alternating series as a sum of positive terms by grouping the terms in pairs: π/4=(1-1/3) + (1/5-1/7) + (1/9-1/11) + .... Or π/4=2/(1×3) + 2/(5×7) + 2/(9×11) +... So π=8/(1×3) + 8/(5×7) + 8/(9×11) +... Now that we have written π as the sum of a series of positive terms, it is the limit and also the supremum of the partial sums of the series. Hence π* is the union of the cuts corresponding to the partial sums of the series. This method can be used to define the cut for any real number expressed as the sum of a series of non-negative terms, for example for e=1+1/2!+1/3!+... .
@@drpeyam Sure, you need real numbers to prove that my cut works, but the definition of my cut (as the union of the cuts of rational numbers) doesn't require any knowledge of real numbers.
at 4:45 in condition 2, the s that is a rational number less than r, is that the same S as the real number? if not, why use the same variable, and if it is, then I do not understand condition 2.
I was looking at my old lecture notes a few months ago it would of been good if these videos were around then , I know the construction were to do with dedekind cuts
You say that any subset of elements greater than a given subset is not a cut. However in my textbook, cuts are defined exactly the other way around, where they have no upper limit and no smallest element. It would make sense that you could define it both ways right?
@@fellipeparreiras4435 Correct me if I’m wrong, but this is circular logic. The limit of a sequence (epsilon-delta) requires a definition of a real number, since we start from the assumption that epsilon and delta are real. ayou can’t use limits to define the reals if you’ve already used the reals to define limits.
@@s1mppeli I guess you're right. I just searched this at the time and thought it made sense. Im curious to see a solution to this. I think we just take as an axiom that the set of Dedekind cuts has as many elements as R in the naive idea of real numbers
@@s1mppeli said "Correct me if I’m wrong, but this is circular logic." Yes and no. One does not need to justify how one got to such a sequence a_n. One can write down that sequence without mentioning limits. Thus, { x in Q | x > a_n for all n} is well-defined and one can show that it is an upper Dedekind cut. However, all of this is moot. After one has defined the real numbers as Dedekind cuts and showed that they form a complete ordered field and that the least upper bound theorem is true and limits of real numbers can be defined using epsilon-delta, the notion of real numbers as Dedekind cuts is no longer at the forefront and the theorems from being a complete ordered field go to the forefront. That is, particular real numbers like pi and e are not defined as Dedekind cuts but instead each is defined as a limit of a particular sequence of real numbers. Consider the following example. One wants to solve the differential equation dy/dx = y. One finds the series solution exp(x) = 1 + x + x^2/ 2 + .... Note that exp(x) is defined for all real numbers x (not just rational numbers x). Then, e is defined as exp(1) where 1 is the real number 1 (not the rational number 1). Note that e = exp(1) is not defined as a Dedekind cut (although one can "unwind" things and work out what the Dedekind cut for e = exp(1) actually is, but this is not necessary). Compare with the usual definition of negative integers as being equivalence classes of ordered pairs (n, m) of natural numbers. For example, -5 = { (0, 5), (1, 6), (2, 7), ...}. After one shows that the integers form a ring, one forgets about them being ordered pairs since the negative of the integer 5 works just fine for negative 5 (and there is no longer the need for the equivalence class of ordered pairs of natural numbers).
@@billh17 Thanks for taking the time to reply. I'm really eager to understand this, since the definition of real numbers has been a real sore spot for me lately. I still can't quite seem to wrap my head around it. You say: "One can write down that sequence without mentioning limits", could you elaborate? I don't believe that to be true. Without limits, the only way to define such a sequence would seem to be to actually list all the terms. There is an infinity of them, so you cannot, in fact, ever list them all. It seems you are pretty much using the same circular logic as before with an extra step of axiomatically saying "this sequence exists" without the tools to define it unambiguously. Then using the existence of this unjustifiable sequence, you formulate tools to actually define it. This feels baseless. What am I missing?
Hi dr.Peyam can you make a video if possible on constructing the lebesgue measure?But like without using the "caratheodory approach" i.e. restricting the lebesgue outer measure to the lebesgue sigma algebra,and instead using the riesz representation theorem approach just like in paparudin.
Why is the cut defined from less than a number? Surely the same logic could be use to create a cut from a number greater than instead of less than to negative infinity of all rational numbers?
K H asked "Any recommendations of online discussions on how to multiply two cuts, divide, square, etc.?" A well known trick is to define just the positive real numbers (as Dedekind cuts of positive rational numbers). If R1 is a (positive) Dedekind cut and R2 is a (positive) Dedekind cut, then: a) R1 + R2 = { x in Q+ | (Ea)(Eb)( a in R1 and b in R2 and x = a + b) } b) R1 * R2 = { x in Q+ | (Ea)(Eb)( a in R1 and b in R2 and x = a * b) } c) R1 / R2 = { x in Q+ | (Ea)(Eb)( a in R1 and b in R2 and x = a / b) } Note: not sure about this one. d) R1 * R1 = { x in Q+ | (Ea)(Eb)( a in R1 and b in R1 and x = a * b) } Then, the negative real numbers can be defined in a similar way that negative natural numbers are defined (as ordered pairs of natural numbers).
Is it true that for all cuts and every rational number eps>0 then there is a number x in X such that x+eps is not in X? I’m pretty sure this is true and have a proof written up but i’m just trying to make sure. So is it true dr peyam. I thank your response if you do respond.
I think you can prove this by proving that for such a set, x,x+eps,x+2eps,x+3eps,… is in here assuming x is a member of X. so basically the whole rationals are covered by cut axioms. since for any n in whole numbers x+n*eps is in here. Its a matter of using the archemedian property to conclude that any y in rationals is in this set and get a contradiction with this set being a cut.
im a little confused, if we're allowed to define a real number as a set of other numbers, then why couldnt we have done that when defining the rational numbers themselves? instead of inventing an equivalence class, why not just say 1/2 = {(1,2), (2,4), (3,6)...} isnt that basically like defining the number as a set of a bunch of pairs of other numbers? how is that different than the idea of a cut for example?
Hmmmm, not sure, but I think it’s because if you just defined rational numbers as pairs of integers, then addition wouldn’t be well-defined. It’s by taking equivalence classes that you can define [(a,b)] + [(c,d)] = [(ad+bc,bd)]. In general for sets you wouldn’t be able to do this (although again I might be mistaken).
And the idea of cuts wouldn’t work for rational numbers because you’d be able to define rational numbers as cuts of integers, but the set of integers < 1/2 is the same as the set of integers < 1/3, so it wouldn’t distinguish 1/2 from 1/3 really.
You'd have to do something to avoid including as rational numbers {(1,2), (2,5), (4,7), ...} or {(1,2), (2,4)}. Once you've worked out which sets are rational numbers and which don't follow the rules, you've made an equivalence class by hand. Like, your a/b is {(c,d), for c,d in Z where bc=ad}, which is just putting the equivalence relation definition inside the definition of an equivalence class. An equivalence class for (S, ~=) equivalent to r is {s in S where s ~= r}, and defining the rationals as equivalence classes just lets you skip proving the properties of equivalence classes specifically for the rationals.
0.5 isnt in the 0 cut, but anything in the 0 cut is in the cut representing 1, since 1>0>anything less than 0. So anything in the 0 cut is in the 1 cut.
Please don’t get it wrong but this is not a construction of R. You give examples of cuts and defined the dedekind cut but you didn’t construct R from Q. First of all you get sets and not numbers, so if you think about how you construct Q from Z then the new rational numbers look like the numbers we already knew. That’s not the case with the cuts. You actually have sets and not numbers as Elements and that’s why you can picture or visualize them good but are difficult to handle for implementing the idea in other theories. That’s also the reason why the Dedekind cuts can only be used in Dimension 1 and not higher. For calculating or implementation in other theories it makes more sense to use Cantor’s definition via Cauchy sequences. Another notice is that you don’t make a difference between the cuts of Q and R, what I mean by that is for example the rational number 2 is written as the cut r_2={r element of Q | r
@@VS-is9yb that’s right but it’s still not a construction of IR. First of all he defines irrational numbers as Sets of Q and there is no converting from sets to numbers! Secondly he is telling that there is no way to show pi as a set of Q like he showed for root 2. why is there no cut example for pi? Lastly there are a lot of books who are claiming to construct IR through Dedekinds cut but all of them are showing the same example of root 2 but no one have a cut for pi or e or infinite other irrational numbers. By the way Most of the books don’t show that you have to convert the sets to numbers! Some do and therefore the construction of IR is incomplete in this video. Hope it’s more clear now.
I don't know why, but the more I watch this and the more I think about it the more I think this is nonsense and the real number line makes no sense to me. I'll write this for an exam sure, but I'm not believing this made up construction 😅 For example you say we can do addition and multiplication to real numbers. What's e + pi + sqrt 2 then? Oh yeah you gotta use these cuts that make no actual Computational sense. This seems so flawed
my prediction: this will have to do with the fact that, between any two real numbers, there exists a rational number. So, if you change a real number even a little bit, you will jump over at least one rational number. so the set of rationals associated with the real number will change, and so the rational numbers associated with the real number is what matters
Ha King Dededede: Dedekind Cuts - punny. Dr. Peyam if you ever have free time try looking at Kirby lore. It's actually pretty damn crazy. Kirby is a god that fights against eldritch abominations.
This is a really good and concise explanation of Dedekind cuts - well done!
For those who are interested, here's a bit of discussion around multiplication of cuts. (I'll let S denote the cut representing the real number s in the following.) Let's use the naive definition of cut multiplication that _S*T_ simply represents all products of rational numbers in _S_ and _T._ Now, if _s_ and _t_ are both strictly positive rational numbers, then in particular, _-2s_ and _-t_ are in _S_ and _T,_ respectively, and so their product is in _S*T_ - however, that product is _2st,_ and so it is larger than _s*t,_ which means our "cut" actually goes beyond the rational number it is meant to represent. In fact, if you've understood this step, it'll be pretty easy for you to show that the product (as we defined it) of two rational cuts greater than the zero cut will actually yield the entirety of the rationals, and so it's not even a cut - which is pretty bad because it violates the field axioms.
Since negative numbers really mess up the whole thing, defining the multiplication of two cuts is a bit more subtle. You first start by only considering cuts greater than the zero cut (more precisely, cuts of which the zero cut is a strict subset) and only the rationals greater than 0 in these cuts. Then, the product of _S_ and _T_ may be defined as simply being the union of the zero cut and the set of all products of strictly positive elements of _S_ and _T._ Now, multiplying subsets of the zero cut can simply be defined using established consequences of the field axioms, such as _(-a)*b = -a*b._
Related to that is a technical nuance not discussed in this video - the definition of the additive inverse itself. It's pretty natural to define _-A_ as the cut such that _A + (-A) = 0_ (the zero cut) - but that is not quite it. For instance, if you choose _A_ to be the zero cut, then _-A_ is not a cut because it has a greatest element of _0_ (straightforward exercise to the reader). However, our good friend Weierstrass comes to the rescue - instead defining _-A_ such that, given an element _q_ of _-A,_ there exists a strictly negative real number _ε_ such that, for all _p_ in _A,_ _p + q < ε_ will do the trick.
I hope this explanation satisfies those looking for more details - though there are still some things I left out. However, I hope I gave a basic idea of how to deal with these technicalities.
How about this definition of "-A": Take the set of all rationals greater than every element of A, then take the set of opposites of this set.
Very good comment!
The anime profile pic made it hard to give the thumbs up, but you earned. (Just a joke, enjoy what you enjoy.)
Equivalence classes of Cauchy sequences are bae and you wont convince me otherwise.
You have an Interesting style of writting. You always start off with such big letters and somehow manage to write everything without cluttering it.
I think you're a really good teacher for foundational mathematics
I am Brazilian and I study mathematics here. I love watching your videos to improve my English. Kisses dear!
🥰
I just had a crazy thought? If there was a collab with Dr Peyam and Masahiro Sakurai the universe would implode and projective geometry division by zero would become the new norm.
I think a bit more care could be taken in discussing how Dedikind is using the set of everything BELOW the irrational number itself to stand in for the number, and then defining operations on SETS (which don't include the number) to construct a field Q* that we later just swap out for R. It's a subtle point that may be lost on the viewer.
From a computational pov, Dedekind cuts and their arithmetic have a problem. We could implement them as a triple, consisting of a member (proof of non-emptiness), a non-member (proof of non-totality) and a characteristic function for set-membership. One can then define the characteristic function of a summation with a bit of approximation trickery, and the member/nonmember come in handy at that stage. Only problem is: this will not work completely when two irrational numbers add up to a rational one. Because in that case the constructed characteristic function will be undefined on one rational number, the actual summation result itself.
Thanks a lot professor ❤ respect!
At 3:03, real numbers are subset of rational numbers? Isn't it the other way around?
*A* real number is a subset of the rational numbers. The reals are the set of all of those real numbers
Thank you so much, finally understood it!!!!
Didn’t get that the cuts are the actual reel numbers!!!
As soon as you start involving infinite sets your mathematics is skating on thin ice.
this is really well done! could you do the construction of surreal numbers as well? as a tribute to John Conway, who died from covid19 a while ago.
Here is a definition of π* that doesn't depend on any trigonometric functions:
We know π/4=1-1/3+1/5-1/7+.... (the Leibniz formula for π, which is the Maclaurin series for arctan(1))
We can write this alternating series as a sum of positive terms by grouping the terms in pairs:
π/4=(1-1/3) + (1/5-1/7) + (1/9-1/11) + ....
Or π/4=2/(1×3) + 2/(5×7) + 2/(9×11) +...
So π=8/(1×3) + 8/(5×7) + 8/(9×11) +...
Now that we have written π as the sum of a series of positive terms, it is the limit and also the supremum of the partial sums of the series.
Hence π* is the union of the cuts corresponding to the partial sums of the series.
This method can be used to define the cut for any real number expressed as the sum of a series of non-negative terms, for example for e=1+1/2!+1/3!+... .
Except you need limits to define series and you need Sup and real numbers to define limits :)
@@drpeyam Sure, you need real numbers to prove that my cut works, but the definition of my cut (as the union of the cuts of rational numbers) doesn't require any knowledge of real numbers.
at 4:45 in condition 2, the s that is a rational number less than r, is that the same S as the real number? if not, why use the same variable, and if it is, then I do not understand condition 2.
Seems like you changed your thumbnail format. This looks colourful and attractive!
Yeah u are correct
I think the former thumbnails were better tbh,reminds me of BPRP's thumbs,which are great
I was looking at my old lecture notes a few months ago it would of been good if these videos were around then , I know the construction were to do with dedekind cuts
Can C be constructed by taking the cartesian product of R with itself and then forcing the addition and multiplication properties?
I mean that’s kind of what C is
You the man Dr Peyam!!!!!!
Very intelligent
You say that any subset of elements greater than a given subset is not a cut. However in my textbook, cuts are defined exactly the other way around, where they have no upper limit and no smallest element. It would make sense that you could define it both ways right?
How do you define pi with the cuts?
Let a_n converge to pi, with a_n < pi for all n. Then the dedekind cut that represents pi is {x in Q | x > a_n for all n}.
@@fellipeparreiras4435 Correct me if I’m wrong, but this is circular logic. The limit of a sequence (epsilon-delta) requires a definition of a real number, since we start from the assumption that epsilon and delta are real. ayou can’t use limits to define the reals if you’ve already used the reals to define limits.
@@s1mppeli I guess you're right. I just searched this at the time and thought it made sense. Im curious to see a solution to this. I think we just take as an axiom that the set of Dedekind cuts has as many elements as R in the naive idea of real numbers
@@s1mppeli said "Correct me if I’m wrong, but this is circular logic."
Yes and no. One does not need to justify how one got to such a sequence a_n. One can write down that sequence without mentioning limits. Thus, { x in Q | x > a_n for all n} is well-defined and one can show that it is an upper Dedekind cut.
However, all of this is moot. After one has defined the real numbers as Dedekind cuts and showed that they form a complete ordered field and that the least upper bound theorem is true and limits of real numbers can be defined using epsilon-delta, the notion of real numbers as Dedekind cuts is no longer at the forefront and the theorems from being a complete ordered field go to the forefront. That is, particular real numbers like pi and e are not defined as Dedekind cuts but instead each is defined as a limit of a particular sequence of real numbers.
Consider the following example. One wants to solve the differential equation dy/dx = y. One finds the series solution exp(x) = 1 + x + x^2/ 2 + .... Note that exp(x) is defined for all real numbers x (not just rational numbers x). Then, e is defined as exp(1) where 1 is the real number 1 (not the rational number 1). Note that e = exp(1) is not defined as a Dedekind cut (although one can "unwind" things and work out what the Dedekind cut for e = exp(1) actually is, but this is not necessary).
Compare with the usual definition of negative integers as being equivalence classes of ordered pairs (n, m) of natural numbers. For example, -5 = { (0, 5), (1, 6), (2, 7), ...}. After one shows that the integers form a ring, one forgets about them being ordered pairs since the negative of the integer 5 works just fine for negative 5 (and there is no longer the need for the equivalence class of ordered pairs of natural numbers).
@@billh17 Thanks for taking the time to reply. I'm really eager to understand this, since the definition of real numbers has been a real sore spot for me lately.
I still can't quite seem to wrap my head around it.
You say: "One can write down that sequence without mentioning limits", could you elaborate? I don't believe that to be true. Without limits, the only way to define such a sequence would seem to be to actually list all the terms. There is an infinity of them, so you cannot, in fact, ever list them all.
It seems you are pretty much using the same circular logic as before with an extra step of axiomatically saying "this sequence exists" without the tools to define it unambiguously. Then using the existence of this unjustifiable sequence, you formulate tools to actually define it.
This feels baseless. What am I missing?
Very helpful, thank you!!
Can every algebraic number be written as a cut in a similar fashion to sqrt(2)? If so how would you prove it?
Hi, this "real numbers" playlist, are the videos in the correct order?
Yes
@@drpeyam Wow thanks for your reply!! Youre an amazing teacher, I love all your videos
Thank you ❤️
Ok. Thank you very much.
BRILLIANT, but what does all that mean?
Hi dr.Peyam can you make a video if possible on constructing the lebesgue measure?But like without using the "caratheodory approach" i.e. restricting the lebesgue outer measure to the lebesgue sigma algebra,and instead using the riesz representation theorem approach just like in paparudin.
Very helpful thank you
Why is the cut defined from less than a number? Surely the same logic could be use to create a cut from a number greater than instead of less than to negative infinity of all rational numbers?
Yeah sure, it’s symmetric
I’ve always wondered about dedekind cut math. Any recommendations of online discussions on how to multiply two cuts, divide, square, etc.?
K H asked "Any recommendations of online discussions on how to multiply two cuts, divide, square, etc.?"
A well known trick is to define just the positive real numbers (as Dedekind cuts of positive rational numbers).
If R1 is a (positive) Dedekind cut and R2 is a (positive) Dedekind cut, then:
a) R1 + R2 = { x in Q+ | (Ea)(Eb)( a in R1 and b in R2 and x = a + b) }
b) R1 * R2 = { x in Q+ | (Ea)(Eb)( a in R1 and b in R2 and x = a * b) }
c) R1 / R2 = { x in Q+ | (Ea)(Eb)( a in R1 and b in R2 and x = a / b) } Note: not sure about this one.
d) R1 * R1 = { x in Q+ | (Ea)(Eb)( a in R1 and b in R1 and x = a * b) }
Then, the negative real numbers can be defined in a similar way that negative natural numbers are defined (as ordered pairs of natural numbers).
Is it true that for all cuts and every rational number eps>0 then there is a number x in X such that x+eps is not in X? I’m pretty sure this is true and have a proof written up but i’m just trying to make sure. So is it true dr peyam. I thank your response if you do respond.
I think you can prove this by proving that for such a set, x,x+eps,x+2eps,x+3eps,… is in here assuming x is a member of X. so basically the whole rationals are covered by cut axioms. since for any n in whole numbers x+n*eps is in here. Its a matter of using the archemedian property to conclude that any y in rationals is in this set and get a contradiction with this set being a cut.
I meant that for such a set where there is eps>0 such that x in X->x+eps in X.
So from the first point of dedekind cut -∞ and ∞ are not real numbers. Is my conclusion correct?
Yes
@@drpeyam Wow! You replied so quickly! Thank you so much!
im a little confused, if we're allowed to define a real number as a set of other numbers, then why couldnt we have done that when defining the rational numbers themselves? instead of inventing an equivalence class, why not just say 1/2 = {(1,2), (2,4), (3,6)...} isnt that basically like defining the number as a set of a bunch of pairs of other numbers? how is that different than the idea of a cut for example?
Hmmmm, not sure, but I think it’s because if you just defined rational numbers as pairs of integers, then addition wouldn’t be well-defined. It’s by taking equivalence classes that you can define [(a,b)] + [(c,d)] = [(ad+bc,bd)]. In general for sets you wouldn’t be able to do this (although again I might be mistaken).
And the idea of cuts wouldn’t work for rational numbers because you’d be able to define rational numbers as cuts of integers, but the set of integers < 1/2 is the same as the set of integers < 1/3, so it wouldn’t distinguish 1/2 from 1/3 really.
Aren't equivalence classes special case of sets? With the notion of equality added in: so that [1/2] = [3/6]
You'd have to do something to avoid including as rational numbers {(1,2), (2,5), (4,7), ...} or {(1,2), (2,4)}. Once you've worked out which sets are rational numbers and which don't follow the rules, you've made an equivalence class by hand. Like, your a/b is {(c,d), for c,d in Z where bc=ad}, which is just putting the equivalence relation definition inside the definition of an equivalence class. An equivalence class for (S, ~=) equivalent to r is {s in S where s ~= r}, and defining the rationals as equivalence classes just lets you skip proving the properties of equivalence classes specifically for the rationals.
Thanks mate :3
The cut for root 2 seemed like a bit of a hack :(
Real awesome!
Can an irrational number times an irrational number ever be an irrational number?
Yes, sqrt(2) x sqrt(3) = sqrt(6)
Is this Dedekind Cut?
Yes
its pronounced, precisely, “King DeeeeeeDeeeeeDeeeeee”
how do I formally show that pi is a cut? because it is transcendental, so we want use a logic sentence to construct this number
It’s the cut that contains rational numbers like 3, 2.5, 3.1, 3.1415, -2, 0.01 (basically all rational numbers < pi)
17:09
...smaller then the area of a unit circle.
Dedede cut
try prooving 0
0.5 isnt in the 0 cut, but anything in the 0 cut is in the cut representing 1, since 1>0>anything less than 0. So anything in the 0 cut is in the 1 cut.
Please don’t get it wrong but this is not a construction of R. You give examples of cuts and defined the dedekind cut but you didn’t construct R from Q. First of all you get sets and not numbers, so if you think about how you construct Q from Z then the new rational numbers look like the numbers we already knew. That’s not the case with the cuts. You actually have sets and not numbers as Elements and that’s why you can picture or visualize them good but are difficult to handle for implementing the idea in other theories. That’s also the reason why the Dedekind cuts can only be used in Dimension 1 and not higher. For calculating or implementation in other theories it makes more sense to use Cantor’s definition via Cauchy sequences. Another notice is that you don’t make a difference between the cuts of Q and R, what I mean by that is for example the rational number 2 is written as the cut r_2={r element of Q | r
?
It’s the standard construction of R actually
@@User_Name.1He used only rational numbers to define Dedekind cuts
@@VS-is9yb that’s right but it’s still not a construction of IR. First of all he defines irrational numbers as Sets of Q and there is no converting from sets to numbers! Secondly he is telling that there is no way to show pi as a set of Q like he showed for root 2. why is there no cut example for pi? Lastly there are a lot of books who are claiming to construct IR through Dedekinds cut but all of them are showing the same example of root 2 but no one have a cut for pi or e or infinite other irrational numbers. By the way Most of the books don’t show that you have to convert the sets to numbers! Some do and therefore the construction of IR is incomplete in this video. Hope it’s more clear now.
Looks like surreal numbers
Love the video, just a bit too quiet
Are you Iranian?
I don't know why, but the more I watch this and the more I think about it the more I think this is nonsense and the real number line makes no sense to me.
I'll write this for an exam sure, but I'm not believing this made up construction 😅
For example you say we can do addition and multiplication to real numbers.
What's e + pi + sqrt 2 then?
Oh yeah you gotta use these cuts that make no actual Computational sense.
This seems so flawed
my prediction: this will have to do with the fact that, between any two real numbers, there exists a rational number. So, if you change a real number even a little bit, you will jump over at least one rational number. so the set of rationals associated with the real number will change, and so the rational numbers associated with the real number is what matters
Actually not?
umm what
???
Dr Peyam I love you more than my drumset.
Drumset??
The ultimate compliment, thank you 🥰
NaMIstAyscr DR
O hi! I am the only recent reply?
Ha King Dededede: Dedekind Cuts - punny. Dr. Peyam if you ever have free time try looking at Kirby lore. It's actually pretty damn crazy. Kirby is a god that fights against eldritch abominations.
I love the Kirby games, they’re my fave 😁