This one came out much longer than expected as it was a more technical video, because of that I had to omit some things I'm going to include in this comment. 1) Since the cantor set is uncountable, that means there are points in it that are NOT endpoints in any of the C_n sets (I brought this up but never acknowledged the answer). In fact, the set being uncountable means there must be irrational numbers in the set since rational numbers are countable. 2) One example of a point in the cantor set which is not an endpoint is 1/4, if you put a dot at 1/4 and move it down, it'll always be in the next C_n set but it will never be an endpoint. 3) 1/4 is known to be in the set because it has a ternary (base 3) form that does not include the number 1 (1/4 = .020202020.... in base 3). I never discussed this in the video but the cantor set consists ONLY of numbers in [0,1] that can be written in base 3 form, without the number 1. (Note: Base 2 = binary, base 3 = ternary). 4) There's a cool property about the cantor set that can be proved graphically, and if you want a challenge try to prove it. Property: For ANY number between 0 and 2 (call it p), there exists two numbers in the cantor set (call them a and b), such that a+b=p. 5) Sorry for anything that wasn't to scale, told the animator to make everything as proportional as possible but he needed room to write everything

@TheSummerLab1

3 жыл бұрын

Video published 9 minutes ago, comment a week ago :V

@elizathegamer413

3 жыл бұрын

Facinating video, I feel like you're my math teacher! Though perhaps more interesting

@elizathegamer413

3 жыл бұрын

@@TheSummerLab1 yeah, KZreadrs can publish and then private a video but they can comment on it

@worldwarwitt2760

3 жыл бұрын

Huffman compression!

@joeyhardin5903

3 жыл бұрын

what is the value of that LRLRLRLRLRLRLRLRLRLRLRLRLRLRLRLRLRLR... number?

God: would you like to have length 0 or be uncountably infinite Cantor Set: *yes*

This is what makes science and math simply unforgettable for me. To learn about things like this is magnificent and surreal. Amazing!

@mattmahoney8659

3 жыл бұрын

Just major in Math

@donandremikhaelibarra6421

3 жыл бұрын

There are aleph null numbers between [0,1]

@l1mbo69

3 жыл бұрын

@@mattmahoney8659if I was smarter/ had done more math when I was younger I would

@mattmahoney8659

3 жыл бұрын

@@l1mbo69 No time like the present. One of the neat and unique things about Math is that it ages well, no single idea ever becomes obsolete as new ideas emerge unlike with Technology, medicine, and to some extent Physics and Chemistry. That's because Math eventually became based on proof and statements of truth which remain true forever. ( if proven correctly ) That's a long way of saying you can always lean it. There is nothing uniquely special about majoring in it in college anymore. To learn what Math majors know you need 2.5 things. (1) Source material like this video, (2) Practice ( old textbooks, (maybe) brilliant.org, (maybe) myopenmath courses (if that's still around) and (2.5) patience because learning math can be hard at times in a way like a foreign language or a sport can be and requires one to push through its hard parts. In all likelihood, if your like me, you probably dont have the time/energy/resources to teach yourself all the math you wish you knew but never got to learn. But I wanted to put out there that it's not an impossible thing just in case anyone wanted to try. It's a lot easier to try something when you know its possible.

@l1mbo69

3 жыл бұрын

@@mattmahoney8659 thanks for the to the point structure. But I have tried, and it's not that I am terrible but I am far from good enough to justify majoring in it. I'm not going to be completely leaving it behind, though. I have decided to get a degree in Physics (and I'll try to minor in mathematics). I seem to be much better at it (judging from how I fare in international olympiads) and like it almost as much as maths. I think the issue is that Mathematics, other than logic, also involved a lot of creativity. What is it that clicks in your brain, exactly? To me it seems to be really mysterious. All the progress I have made in maths has only been by practicing similar problems till I know the tricks used. Basically I just become familiar with that particular topic and I don't feel like I am making any progress with my core mathematical intuition. Does that make sense?

Teacher: this exam will be straight forward. The exam:

@Ennar

3 жыл бұрын

... is straight forward?

@sebastianp4023

3 жыл бұрын

... but with the third and every third of every subset removed.

@pinchus2714

3 жыл бұрын

@@sebastianp4023 you mean every third of the exam is removed. If every third question was removed and there were n questions, what would the last question left be?

@aweeb7029

3 жыл бұрын

It's "straight forward" upto infinity, so the exam never ends...

@hybmnzz2658

3 жыл бұрын

Why is this lame joke on every popular math video. It's especially cringe when the math presented is not even about a problem but more of a lecture.

I can't believe binge watching 3Blue1Brown got me so ahead that I was completely ok with everything in this video

@juliekrizkova546

Жыл бұрын

Same here. Im in high school watching math and physics videos on yt (3b1B, Mathloger, Numberphile, Veritasium...) just for fun and I understood everything in this video. So maybe I actually learned some math or it wasnt so complicated, but I cant tell :D

@karunathakur1920

9 ай бұрын

​@@juliekrizkova546 same bro

Fun fact: LRLRLRLR... = 1/4 so it's not just numbers that have a denominator that is a power of 3

@nerdiconium1365

3 жыл бұрын

Also, 4/9 is n the first middle third, so it’s not in their either. For people looking for a formal explanation, the set contains all number from [0,1] where the ternary (base 3) expansion has no ternary digit 1, except at the last decimal place, if it terminates. PS, sorry if you didn’t get what I said, look it up if you really wanna know.

@piezomofo

3 жыл бұрын

L, after the first iteration is the segment between 0 and 1/3, inclusive. In the second iteration, LL would be the segment between 0 and 1/9, inclusive, and LR would be 2/9 to 1/3, inclusive. 1/4 falls on the segment between LL and LR which would be between 1/9 and 2/9, non-inclusive, and that section is removed in just the second iteration. 1/4 is NOT part of the Cantor set. This video has a couple mistakes, but this is not one of them. All numbers in the cantor set have a denominator that is divisible by 3, with the only two exceptions being 0 and 1. I'm open to hearing an argument that says I'm wrong and the op is right, but I'd need to see a proof. Edit: I think the fault in your logic relies on L and R being equal to 1/2 each. Both L and R are in fact representative of 1/3 each, and a silent C is the missing variable that has been removed from the set in the middle of each L and R. Edit #2: I was wrong. Read below if you want to know why. I'm editing my comment to note that I was wrong, but leaving it up as-is besides this note, in case others may have been mistaken, like me.

@samuelthecamel

3 жыл бұрын

@@piezomofo I'm sorry to call you out, but when you said that 1/4 falls in between 1/9 and 2/9 it actually falls in between 2/9 and 3/9. 1/9 = 0.11111... 2/9 = 0.22222... 1/4 = 0.25 3/9 = 0.33333... Also if you are curious about how I found that 1/4 is in the set, it has to do with this infinite sum: 1/3 - 1/9 + 1/27 - 1/81 ... = 1/4

@piezomofo

3 жыл бұрын

@@samuelthecamel no, by all means, you're right to call me out. I wasn't doing the math and was quick to throw out a reply. You're right about 1/4 being between 2/9 and 3/9, and I was wrong saying it was removed at that point. Also, I understand what you're saying about the infinite sum, but I can't wrap my head around it. I'm not saying you're wrong, in fact, it's highly likely that you're much smarter than me. I just have to imagine, though, that at some point 1/4 must be excluded because it's denominator isn't divisible by 3. I'm probably going to drive myself nuts trying to figure this out now. What you say makes sense, but it's also contrary to this idea that the only way to end up a number in the Cantor set is to be between 0 and 1 with a denominator that's divisible by 3. Either way, my mind has been sufficiently blown. I'll let you know if I make any progress, and thank you for correcting me. Now I've got a challenge.

@piezomofo

3 жыл бұрын

@@samuelthecamel wow, I just read a paper from faculty.math.illinois.edu/~reznick/496-1-16-19.pdf It explained the same thing you said and went a little further, obviously easier to go further in a paper than in a KZread comment. The paper also says that in an informal survey (sample size 12) 9 out of 12 did not know or did not remember the fact that 1/4 is in fact in the Cantor set. That made me feel a little better about being wrong, myself. I would imagine that it stands to reason that 3/4 is also part of the set, since the set is symmetrical. I wonder what other numbers might fall within the set that are not so obvious. Anyway, thanks again for your original fun fact, and for setting me straight. I wouldn't have otherwise done the further research and may not have learned about this interesting non-intuitive point.

I like that this shows that a set can be uncountable and still have length 0, cause I've always wondered whether that was possible

@EpicMathTime

3 жыл бұрын

Yep, it is the most prominent example of such a creature. In fact, coming up with such a creature without building up from the Cantor set, or its idea, is rather difficult..

@JoeyFaller

3 жыл бұрын

@@EpicMathTime have you made any vids on this topic?

@livedandletdie

3 жыл бұрын

I prefer the inverse Cantor set. It has length 1, is still uncountable, and as it's length is 0+1/3+2/9+4/27... and as (1/3+2/9+4/27+..) = 1 Despite missing every number in the Cantor set, a few numbers that aren't in the inverse cantor set include 1/4 and 3/4.

@minecrafting_il

2 жыл бұрын

@@livedandletdie i know im 10 months late, but as another comment in this comment section said, 1/4 and 3/4 are actually in the cantor set, so that is probably why the inverse cantor set does not have them

@superraegun2649

Жыл бұрын

​@@livedandletdie 1/4 = LRLRLRLRLRLRLRLRLRLR... and 3/4 = RLRLRLRLRLRLRLRLRLRLRLRLRLRL... in the cantor set.

Wow the intermission part really worked well

12:03 I feel successfully intermissed.

"No one shall expel us from the Paradise that Cantor has created" - David Hilbert 1925

@segmentsAndCurves

3 жыл бұрын

Cantor is really a game changer.

Oh yes, time to get confused

Fun fact: at 7:13 you mention that you could think of the elements of the Cantor set as binary numbers, with 0's in place of the L's and 1's in place of the R's. However, if you instead replace the R's with 2's, you actually get the element of the Cantor set written in base 3. That's another way to think of how to construct the Cantor set: you take all the numbers from 0-1 written in base 3, and at each step you remove all numbers with a 1 in that digit after the decimal point.

im jens herro

@maxwellsequation4887

3 жыл бұрын

Hi Jens herro

The best way to think about the length is that every C_n has 2/3 the length of C_n-1. If you start with 1 and multiply by 2/3 on every step, C_n will have length (2/3)^n. Since the cantor set is the limit of C_n as n approaches infinity, the length is the limit of (2/3)^n as n approaches infinity, wich is also know as zero.

@lynnrathbun

3 жыл бұрын

BUT you are NOT removing 1/3 every time because you leave the end points. The "1/3" that you remove is smaller than each of the "1/3" segments that you remove.

@victorscarpes

3 жыл бұрын

@@lynnrathbun those end points have a Lebesgue measure of zero, they make no difference to the length. Just like the intervals (0, 1), (0, 1], [0, 1) and [0, 1] all have the same length of 1 unit. It's not 1- or 1+ or anything infinitesimaly close to 1, it's exactly 1. The length of an individual point is zero.

@stdsfromspace4560

3 жыл бұрын

@@victorscarpes thats why a point is called dimensionless

@victorscarpes

3 жыл бұрын

@@stdsfromspace4560 Yes, exactly!

@simohayha6031

3 жыл бұрын

Or that's the cantor set only can contain points and a point is 1 dimensional essentially, thus having no length. So zero obviously comes to mind.

This testing if a number is in the cantor set reminds me of the "The terrible sound you never want to hear when working on turbine engines" meme.

@WofWca

3 жыл бұрын

I don't get why.

3:17 Fun fact: The set of all fractions with denominators that are whole powers of three (i.e. the endpoints of the Cantor set) is a countable set. This means that *almost all* the points left behind are not endpoints.

@KokeBeast23

2 жыл бұрын

Would the other numbers be non-computable numbers?

@benweieneth1103

2 жыл бұрын

@Jorge Hernandez, all non-computable numbers are not endpoints, but there are computable non-endpoints as well. As explained in the video, every infinite sequence of L and R describes a point in the set. All endpoints will have some initial sequence and then either infinite L's or infinite R's. Any sequence with a different end behavior, such as LRLRLR... will be a non-endpoint, and plenty of those are constructable.

@zTheBigFishz

Жыл бұрын

This is the weird part. The set seems to be just a collection of rational numbers which is countable regardless of any other caveats. So the set is countable as you are constructing it until it hits the point at infinity then it goes uncountable?

@benweieneth1103

Жыл бұрын

If you're constructing it by the remove-the-middle method, all the intermediate sets are uncountable. (Any segment of non-vanishing length contains an uncountable number of points.)

@zTheBigFishz

Жыл бұрын

@@benweieneth1103 Yea, a few minutes ago I made a comment above to that effect. At each step you get a list of end points, and some open intervals.

One takeaway from this is that "infinity" doesn't necessarily mean "all". Merely, infinity is an indicator that there is some sort of unending procedure that can be used to generate numbers, and this procedure can be used unendingly. If you remove an infinite number of numbers between 0 and 1, there will still be infinitely many numbers left over. And correct me if I'm wrong here, but the distance between negative infinity and positive infinity is the same as the distance from zero to infinity.

@killmeister2271

3 жыл бұрын

i dont think you're wrong depending on what you consider a distance, but honestly it's hard to tell because infinity is such a big number that it's hardly even a number at all. the distance between 0 and 1 is 1, and the distance between negative infinity and infinity is 2*infinity, and the distance between 0 and infinity is infinity/2. the problem of course is identifying whether any of these numbers are different at all after some point. of course, it would be incorrect to state that 1=infinity or infinity/2=infinity. it's like saying 0=1, or 1/2=1, even though 0/2=0, and 1=1. fractals are amazing

Mate, the end part on the fractional dimension was absolutely gold. I learnt the "box counting dimension" at university but it really glossed over my head when I was an undergrad. Your analogy is so simple to understand, that I'll probably use it to explain it to my students. Thank you :)

9:00 What baffles me is you could do the same thing with infinitely long decimal integers and discover that there are uncountably many of them. Despite the fact that there are countably many decimal integers total.

@jinjunliu2401

3 жыл бұрын

The problem then is that you'd get a real number which actually isn't an integer (or fraction if you will) thus not in that set, so you haven't reached a contradiction with this new number you made

@kaiblack4489

2 ай бұрын

The reason this doesn't work with the integers is that every integer has a finite length. The set of integers contains elements that are arbitrarily large, but every individual element is finite in length. If you try to apply the diagonalization method with the integers, you will end up with a number of infinite length, so it won't be a valid integer.

@alansmithee419

2 ай бұрын

@@kaiblack4489 Yeah I don't know what I was thinking to be honest. Me 3 years ago not as smart as me now I guess (hopefully at least). What I described appears to be akin to 10-adic numbers, which is a representation of reals, not just integers.

you are only the second one that explained the "I can always find a number thats not on your list" in an understandable way, thanks!

I doubt 0 has more L’s than my life

I read about this in Chaos: a new science. Nice!

It is easy to find a number written in the LRLR form. Just replace all the L's with 0's and all the R's with 2's, and you will get the number in base-3. For example, 1/3 = LRRRRRRRRRRRRRRR = 0.0222222222222222 (base-3) = 0.33333333333 (base-10) You could also go the other way around to find the LRLR form from the number. For example, 1/4 = 0.25 (base-10) = 0.02020202020202020202... (base-3) = LRLRLRLRLRLRLRLRLRLR... in the cantor set.

@tomerwolberg37

3 жыл бұрын

Why use base 3 instead of base 2? Actually you have to use base 2 instead of 3 otherwise you can't represent numbers like 4/9 which in base 3 is 0.11 or 0.102222222 both of which contains '1', but since you can't represent 1 in your method you can't represent 4/9. If you changed to base 2 it would solve that problem (i.e. L=0,R=1 like he did in the video).

@karan_jain

3 жыл бұрын

@@tomerwolberg37 But that's exactly what makes it convenient. Any number which has a '1' in its base-3 representation will never be in the cantor set (4/9 for example is not in the set). It is also possible that it is an endpoint in the set (e.g. 1/3 is 0.1 in base-3, but the convenient part is that it can be written as 0.02222... which makes it a part of the set as an endpoint).

@tomerwolberg37

3 жыл бұрын

@@karan_jain oh, I thought you were trying to show it's the same size as the real numbers. Now I see what you mean, clever.

@erictko85

3 жыл бұрын

karan jan thanks for your example, yet i am a bit lost and because you clearly have a grasp of deep mathematics maybe you could help. what is this all about? Why was Cantor showing this "set"? I ask because i can somewhat follow along witht this video, but I dont know what its all about. Why are we talking about this set? What is its significance? I know its EXTREMELY significant, yet as I am ignorant i cant figure out why. Maybe you would have interest answering?

Bro, youre a hell of a teacher. I listen to your videos while driving (being a father and husband really limits the time frame i have to focus on myself, so i do what i can) and despite that, im able to grasp everything youre talking about clearly. I wish i had a teacher that was as good as you are, back when i was in school, maybe i would have pursued higher education.

I just was researching fractional dimensions this morning, and this video comes out no more than 6 hours later. What a coincidence

@the_hanged_clown

3 жыл бұрын

not likely. abc corp is just really good at tracking your behavior.

@nashleydias1597

3 жыл бұрын

The algorithm is doing a good job

I've just invented the non-inclusive cantor set, where instead of including the endpoints you exclude them. The full list of non-inclusive cantor numbers is as follows:

@minecrafting_il

Жыл бұрын

One year late: 1/4

This is great stuff. Hope you get much bigger in the Mathematics KZread sphere. This is good for showing one of the absurdities of infinite sets and real numbers. Personally, I like to refer to things like this to complain about the naming convention of "real numbers" and "imaginary numbers". The reals are completely nuts!

One curious thing about the Cantor set, is that, yes, it contains all the endpoints of the C0, C1, C2, ... sequence, but it does not ONLY contain those endpoints. This is clear, because there are countably many such endpoints---they can be enumerated. The Cantor set contains uncountably many points which are not endpoints of any such interval.

Thanks for being an awesome channel

"The size of the Cantor set gets doubled when its side length is tripled." Could you please elaborate on how do you define double here? If you use cardinality, it is always that of R; if you use Lebesgue measure, it is always 0.

@robinbernardinis

3 жыл бұрын

Having seen the video by 3blue1brown he references, I think that the size he is talking about is defined as the limit as `l` approaches 0 of the amount of line segments that contain at least one element of the set when you partition the number line in segments of length `l`

@pbj4184

3 жыл бұрын

I think he is using cardinality. You said both their cardinalities were R. Can you bijectively map the elements of the L Cantor set and the 3L Cantor set?

@amaarquadri

3 жыл бұрын

@@pbj4184 I think you can. Just like how you can map the reals between 0 and 1 to the reals between 0 and 2 (by multiplying by 2), you can do the same with the cantor set. As a concrete mapping, take the number written in base 3, and multiply it by 3 (i.e. shift the decimal place). Now it covers numbers from 0 to 3 instead of 0 to 1, and all numbers are still made of 0s and 2s.

@pbj4184

3 жыл бұрын

@@amaarquadri You are correct. I wonder what he meant then 🤔

@nachiketagrawal5154

3 жыл бұрын

If you extend the original interval from 0..1 to 0.. 3 then you basically tripled side length. But you'd only take the section 0.. 1 and 2.. 3 so you just doubled the cantor set

Awesome explanation! Thanks. I have watched both vsauce and numberphile. I personally like your channel better. Keep up the good work!

I remember seeing this is college. Fun times!

Lovely!! Thanks, Zach.

This is a wonderful video. Well-done.

11:50, never been mad before for having KZread premium

@aienbalosaienbalos4186

3 жыл бұрын

I didn't get an ad either, no premium. Hope that makes you feel better :)

This video should get love as much as the size of cantor set...❤

I had never heard of fractional dimensions before. Mind expanded. Thanks!

We spend 1/3 of our lives sleeping, and the other 2/3 in the dark.

Please.. Continue your efforts to increase curiosity in every student about science and math...I thank KZread for recommending your channel😍

very neat introduction to the properties of the Cantor set. wish it had existed when I was learning analysis for the first time.

Me at 2 Am: Casually studying about how Cantor Set has log_3(2) dimension

this and your last video were awesome dude -- really accessible introduction to Hausdorff's definition of dimensionality, and answered some of my musings about the Cantor set that I haven't had time to investigate. thanks!

Great video. I'd like to see another one that explores this topic even more At about 9:58 you said that the Cantor set has the same cardinality as the real numbers, but I think this statement may involve the assumption of the continuum hypothesis. You showed that the Cantor set is uncountable so it has greater cardinality than the countable rational numbers. I think the continuum hypothesis states that there are no orders of infinity between the cardinality of the integers and the real numbers, but CH has been shown to be independent of the other axioms of set theory.

You've made a very good video. Congrats!

if a set has dimension n

Coming to the realization that each split of the cantor set becomes its own cantor set without him having to tell me was a fun thing

A genially simple way to bring our thinking to a higher level.

It is almost like Infinity raised to the infinity and that pattern itself also expands infinitely! Dang. This truly gives me a whole new perspective of numbers! :)

I think your argument for uncountability is missing something. If we assumed that only the endpoints are part of the set then it would definitely be possible to enumerate them: - On the i-th iteration (with i > 0) you are adding 2^i new endpoints, which you can easily enumerate from smallest to largest. - This means that before the i-th iteration you would have 2^i points already in the set. Then you could assign labels [2^i + 0, 2^i + 1, ..., 2^i + 2^i - 1 = 2^(i+1) - 1] to the new points. It is easy to show that this would be a bijection between the endpoints and the naturals, which would mean that the set would be countable. The reason why the cantor set is uncountable is because some points that are not endpoints are also part of the set. The actual proof uses a similar idea. First you look at the expansion of the number in base 3. Just like numbers can be written in base 10 like 0.1 or 0.9562, you can think of numbers in base 3 being written as 0.0. 0.1, 0.2, 1 and so forth. A number is only ever removed if a 1 appears in the numbers after the decimal point. 0.1 in base 3, the equivalent of 2/3 in base 10, gets removed in the first iteration and you can see that in the notation. This means that the cantor set is essentially the union of all numbers with only 0s and 2s after the "decimal point". Then you can use the same argument of having infinite lists of numbers.

@Ennar

3 жыл бұрын

Zach's argument is simply that there is a bijection between elements of Cantor set and binary sequences and 2^(aleph_0) is uncountable.

@rfMarinheiro

3 жыл бұрын

​@@Ennar I agree that there's a bijection between the Cantor set and binary sequences of infinite size, but that's not what he showed in the video. What he showed was an injective mapping from a subset of the Cantor set (the boundaries) into the set of binary sequences of infinite size. That particular subset of the Cantor set is actually countable (see sketch of proof just above). You can't make any conclusions regarding the countability of that set from this argument alone.

@Ennar

3 жыл бұрын

@@rfMarinheiro, take a look at 7:02. Zach says: "The Cantor set is every single combination of infinite L's and R's you could possibly have," which clearly includes points that are not endpoints. He just explained what a sequence of L's and R's represents on the example of endpoints, since they are easy to visualize and never claimed that endpoints are uncountable.

@EpicMathTime

3 жыл бұрын

@@rfMarinheiro Any point in the Cantor set can be identified with these {L,R} sequences, not just the endpoints. The endpoints in particular are identified with {L,R} sequences that are eventually constant. So, the described {L,R} sequences puts the Cantor set in bijection with binary sequences. It puts the endpoints in particular in bijection with finite binary sequences.

@vojtechstrnad1

3 жыл бұрын

I came looking for this. Thanks for the explanation, I was confused because I understood that only the endpoints make it to the Cantor set, which would make it countably infinite.

12:00 That's really nice man, I appreciate it

That's a really good way to think about dimensions!

I’m a math teacher who spent way too long in college and graduate school. Congratulations, you finally got me to care about the Cantor set!! 🎉

Your videos are so underrated.

Very simple explanation.. thanks a lot sir

The length being zero isn't surprising at all if you realise how length is defined. It doesn't have much to do with the amount of points in the set. Those remain infinite throughout. It's just the sum of all the max - min of largest subsets that are continuous in nature, at each step. At first step, all points in the range [0,1] are included. So the largest subset that is continuous is [0,1] itself. 1-0 = 1. At second step, the largest subsets that are continuous are [0,1/3], [2/3,1]. 1/3 - 0 + 1 - 2/3 == 2/3. So it's no surprise that in the limiting case, when all the points become discrete and are no longer continuous, the largest length is the length of a single point itself. Which is x - x == 0.

Really amazing video

But this set has to be countable if we agree on the structure of the numbers, and we can easily show that every number in this set has to, at some point in the LR representation, become stable and exclusively have L's, or exclusively R's from that point on, that position would also denote the C_n on which it was added to the set. This also means that if you attempt to create a representation as shown in the counterexample of flipping the L/R at the specific position, you would never reach a point in which the tail stabilises at exclusively L's or exclusively R's, thus the created counterexample is not in the set (by definition we would never reach the C_n in which it would be created, because at some point it would flip positions from L to R or back.

the intermition. great idea!! 👍❤️😃

The Cantor set (or Cantor discontinuum) is the set of all numbers in an interval whose base-3 representation does not contain the digit 1. Then, how about the set of all numbers whose base-3 representation contains finitely many digits 1? It can be seen that this set is a union of countably many scaled down copies of the Cantor set; and so it has measure 0. (Basically: every gap in the set is filled by another copy of the Cantor set.) It's also a dense set (and, of course, uncountably infinite like Cantor set itself). I don't know if this set has a name, or what are its other topological properties.

This is soooo amazing 😍

The most intriguing for me is that probably infinity just exists in math but not in the real world, assuming that the space-time is discrete rather than continuous, and maybe that could be the reason of the tiny errors in many mathematical models of physical systems

All infinites are equal, but some infinites are more equal than others.

Wow definitely many teachers should play this before a given class but it brings too many things together I guess hahaha yeah wow excellent illustration of fractal dimension calculation in particular! Thank you!!

great video, thank you very much

Sounds like somebody's taking Intro to the Theory of Computation this semester lol (such as CS520 if you go to UW-Madison)

This is insane. Fractional dimensions? I’ve never even heard about that before!

@wyboo2019

Жыл бұрын

relevant search term: Hausdorff Dimension two years late but oh well

@jacksonhunt6410

Жыл бұрын

@@wyboo2019 I’ll look that up. Thanks

Bro this would have been nice to see last year in my Dyamics and Chaos theory class. That w/o a doubt the hardest math course in my life.

That’s beautiful

I got a dominos ad right after staring at the screen while zooming into the cantor set and now I really want pizza.

when a is an integer, a=3^n, and m

YOU ARE THE BEST !

Finally! Someone that can include their mid roll ad spam at a break point that makes some sense

Something that wasn’t mentioned: if you add the cantor set C to itself, you get the interval [0,1], I.e. every number between 0 and 2 is the sum of two numbers in C!

I am absolutely scared shitless when it comes to arithmetic. I've never been good at it so never tried. As a college student with degrees I can honestly say I have calculators going back some years. Being one of the 1st in my area to carry a mobile, I did so because they had a built in calculator. So why do I love these types of video?? They more convoluted the better. I'm just starting to get it.

What happens at infinity? NOTHING, BECAUSE YOU CAN NOT GET THERE.

It's worth noting that the LRLRL... example you gave corresponds to 1/4, which is in the Cantor set. So, adding to the weirdness, although all the endpoints of the intervals have denominators that are powers of 3, in the limit, the Cantor set contains rationals whose denominators are not power of 3.

Very fascinating! :)

Another way to break it down... If you write all of the real numbers in the interval [0,1) in base 3, they are all of the numbers of the form 0.dddddddd where each digit d is either 0 or 2. This set of numbers is isomorphic to all numbers of the form 0.dddddd where d is 0 or 1 (0 0 and 1 2 defines a unique 1-1 mapping between the sets). But the latter is the binary representation of ALL real numbers in the interval [0,1). We can toss 1 back into the sets and conclude that the Cantor set is isomorphic to the original set of real numbers on [0,1].

Sometimes I like to add a dimension to sets. To see in what way they might be bigger or smaller than other sets. So, you would get the illusion of "bigger and smaller" infinities. What I like to do is to have a distance of 1 between every new line. And calculate the surface area between the new line and the previous line. What I mean is that the real numbers between 0 and 1. Will add a surface area of 1 with each new line. The Cantor set would be having a surface area of 2/3th (2 x 1/3th), then 4/9th added to it. Then 8/27th added to it. Etc. The result is that the real numbers between 0 and 1 will give a result of an infinite area. The result of the Cantor set between 0 and 1 will give a result of 3. Now, multiply the length and width by 3. The real numbers will between 0 and 3, but between the lines there will be a distance of 3. Let's say the result is now 9 times infinite (you build up to infinite, 9 times as fast). The Cantor set will... well, before we use the distance of 3 between each line. We double the cantor set. And we are adding a new surface area with a length of 2x1 (where the 1 is 3 x the 1/3th of the smaller cantor set) The previous area was 3, so we can double this and multiply it then by the distance of 3 between the lines. This gives us 18. We add that length of 2x1, multiplied by 3. Which is 6. So the total is now 24. This is 8 times bigger than the smaller version. The dimensions for the real numbers between 0 and 1 remains 2. But I find a number of 1.89279 as dimension for the cantor set. I don't know if it is a fair approach. But I like these kind of calculations any wyay. :)

I had seen the 3Blue1Brown video on fractals but this explained the dimension thing way better

Amazing explanation...............

If I understand right, the Cantor set consists of the endpoints of the line segments described in this video. They can all be expressed as fractions where the denominator is a power of 3. Therefore they are a subset of all rationals , a countably infinite set. These endpoints can be expressed as an infinite set of infinite strings of 'L"s and "R"s that contain all the possible combinations of these "L"s and "R"s. These strings can be converted to binary by converting to '1"s and '0"s giving us an infinite set of binary numbers containing all the possible combinations of binary digits. Applying Cantor's diagonal argument, we can create a new binary number that can be added to a list that already has all the possible combinations possible. But we have already shown that this set is a subset of the rationals and therefore countable. Somewhere in here there is a proof by contradiction. Am I missing something?

@fullfungo

Жыл бұрын

Yes, you are missing something. You said “the set consist of the endpoints of the line segments”, which is not true. It is true that all segment endpoints will be in the set. However, there are other numbers in it as well. Consider a number in base-3: 0.200202200220020020020… that does not terminate. It will not by an endpoint of any segment. (only the numbers that end with 000… and 222… are the endpoints)

Amazing dude👍🏻👍🏻👍🏻

12:00 In the quest to add a midroll ad the right way, I never though it would be solved by a mathmatition.

that intermission music didn't make me stop wondering about infinity

When we needed him most, he returned

@LeoHsieh

3 жыл бұрын

Your header, nice bro😂

@shotto9167

3 жыл бұрын

"(...) Only the avatar, master of all four elements, could stop them. But when we needed him the most, he vanished.(...)"

Weird things happen when you go beyond countable infinity.

@SlimThrull

3 жыл бұрын

Weird things happen when you get to countable infinity.

@aienbalosaienbalos4186

3 жыл бұрын

Weird things happen when you turn on your wifi.

@donandremikhaelibarra6421

3 жыл бұрын

Aleph null,omega omega+1....

There is an error in the video about how to conclude the infinite size of the cantor set. The mapping of the endpoints to strings of ones and zeroes makes it a countable set which is much smaller than the set between 0 and 1. However the numbers between the endpoints remain uncountable and is therefore much larger.

9:10 This however works only because you have a length of the number that is equally long or longer as the entries in the list of numbers you have. So in fact, you can never find any new number that way, as you would need an infinite amount of time to create one, i.e. your attempt to create a new number would never end, and as such no new number at all would be made.

@aligator7181

2 жыл бұрын

Do yourself a favor and don't try to make sense of it. The entire lecture is total nonsense, nothing can ever be proven. This guy is just goes on and on without any proof or any solid examples...pure gibberish

This looks like one of those cube fractals

Very cool and interesting video

I keep hearing the Kanto set and having to catch them all

"Can't Counter Count Counter Cantor." is a complete sentence.

This strikes me as being vaguely similar to the Zeno paradox...in a different context though of course...imagine Zeno trying to get his head around the idea of uncountable infinities...never mind not being able to make the final step, he would not even be able to make the first lol

multiplies the Cantor set by 3 Olivia Octavius: There's two, actually

What would be the actual number that corresponds to LRLRLRLRLRLRLR... in the Cantor set?

@omerd602

3 жыл бұрын

2/7 I think? You can find that through a geometric series

@jimi02468

3 жыл бұрын

What about this, LRRLLLRRRRLLLLLRRRRRRLLLLLLLRRRRRRRRLLLLLLLLLRRRRRRRRRRLLLLLLLLLL... Alternating sequences of L's and R's and the next sequence is always one longer than the previous one.

@Ennar

3 жыл бұрын

To answer that, include M for middle as well. Then, any number in the segment [0,1] can be written as a sequence of L's, M's and R's. Of course, Cantor set is the set of those numbers in [0,1] which has no M in its representation. Now, replace L with 0, M with 1 and R with 2 as digits in ternary (base 3), and LRLRLR... becomes 0.02020202... in ternary, which can be computed as the sum of the series 0 * 1/3 + 2 * (1/3)^2 + 0 * (1/3)^3 + 2 * (1/3)^4 + ... = 1/4. See Zach's comment.

@Ennar

3 жыл бұрын

There is also a simple way to calculate it analogous to how we calculate periodic numbers in decimal. So, let me start with decimal system: 0.111111... = 1/9 = 1/(10^1-1) 0.55555... = 5/9 = 5/(10^1-1) 0.23232323... = 23/99 = 23/(10^2 - 1) 0.123123123123... = 123/999 = 123/(10^3-1) etc. Notice that you look at the length of the period and use it as exponent in the denominator. LRLRLR... is 0.020202... in ternary, so it is equal to 2/(3^2 - 1) = 2/8 = 1/4.

@the_hanged_clown

3 жыл бұрын

I think I just wooshed myself

What happens at infinity? The possibilities are endless.

i think you can use the LR explanation for finite numbers. personally i think rounding the number down is how this can work. for example, if i have 001, that's LLR which is any number between 2/9 and 1/3 so if you were to round down it can just be 2/9. EDIT: i am currently trying to make an encoder and decoder to turn strings into numbers and that number back into the string data. i have completed the encoder, but the decoder is a bit difficult. this, however, is possible.

not gonna lie this is the first time I've seen a youtuber make an intermission for an ad lol

Where do you have the zoom into the cantor set animation from? I can't find anything even close to it! It's mesmerizing