# Edit Create an Image Page: Cantor Set

To create an image page, simply complete the form below and then hit the 'Save Page' button at the bottom of the form. As you complete the form, remember that one of the main goals of the Math Images Project is to provide explanations of the images on our site at various levels, so that everyone can understand some of the math behind the images. Try to complete the form as fully as possible, but remember that other users will have the opportunity to add more information to your image pages in the future. Also, please note that by contributing to the Math Images Project, you agree to comply to the guidelines as stated in our general disclaimer.

As always, thank you for your contributions! --The Math Images Project

If you need help filling out this page, please consult our Help sections: Want to Contribute and Math Resources.

Note: * Indicates a required field.

Please note: When you are filling in the below explanations, you should feel free to use standard wikitext.

 Image Title*: Upload a Math Image A Cantor set is a simple [[Field:Fractals|fractal]] that laid the foundation for modern topology. The picture at right is an artistic representation of the Cantor set.

Creation of the Cantor Set

We highlight the first steps of construction here. We begin with a straight line, of length 1. [[Image:Cantor1.PNG]] We remove the middle third of the line. [[Image:Cantor2.PNG]] With the two newly separate line segments, we again remove the middle third of these lines. [[Image:Cantor3.PNG]] Here we have all three stages and more ... [[Image:755px-Cantor.png]] The process repeats onward infinitely, and what remains is the Cantor set. This construction is an example of an '''[[Iterated Functions| iterated process]]'''. ==Properties== ===Self Similar and Infinite=== Two important insights can be made from the infinitely iterating construction process. The first is that the set's construction goes on indefinitely. The second being its self similarity; when we look closer at any individual part, we find a copy of the original image. [[Image:Selfsimilarcantor1.PNG]] By being ''infinitely self-similar'', the Cantor set is a [[Field:Fractals|fractal]] by definition. The main image displayed is an artistic representation of the creation Cantor set using yolks. Each line of yolks has a diameter 1/3 of the yolk above. ===Length=== At every step in the construction process, we are removing 1/3 of the previous total length. This apparent since we are removing a third of the total length at every step. We may then relate the total length of the set at any given step by the function, $L_n=L_0 \centerdot (2/3)^n$, where $L_0$ is the initial length, $L_n$ is the nth iteration length, and n is the number of iterations of the process. For example, let's assume we have a starting length of 1. Then, $L_0=1, L_1=\frac{2}{3}, L_2 = \frac{4}{9}, L_3= \frac{8}{27}, L_4= \frac{16}{81}$ Since a true Cantor set is created by repeating this process an infinite number of times, we can calculate its final length as limit; $\lim_{n \to \infty}L_0 \centerdot (2/3)^{n} = 0$. Because the length of a Cantor set is 0, the Cantor set cannot contain sections of non-zero length. However, while a Cantor set has no length, it still contains an infinite number of points. This is because we do not remove endpoints when we remove the middle thirds. [[Image:Numberlinecantor.PNG]] For example, our first iteration removed the length between the points 1/3 and 2/3, but we did not remove the points 1/3 and 2/3 themselves. In mathematical notation, the part of the line we removed is [itex]1/3 :* A zooming animation, similar to the one on [[Sierpinski's Triangle| Sierpinski's triangle]], that illustrates how the set is infinitely self similar. :* A more fleshed out explanation about the topology parts from someone who has taken the course? Yes, it is.