Skip to main content
K12 LibreTexts

7.18: Self-Similarity and Fractals

  • Page ID
    5952
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)

    One part of an object can be enlarged or shrunk to look like the whole object.

    Self-Similarity

    When one part of an object can be enlarged (or shrunk) to look like the whole object it is self-similar.

    To explore self-similarity, we will go through some examples. Typically, each step of a process is called an iteration. The first level is called Stage 0.

    What if you were given an object, like a triangle or a snowflake, in which a part of it could be enlarged (or shrunk) to look like the whole object? What would each successive iteration of that object look like?

    Example \(\PageIndex{1}\)

    The Sierpinski triangle iterates a triangle by connecting the midpoints of the sides and shading the central triangle (Stage 1). Repeat this process for the unshaded triangles in Stage 1 to get Stage 2.

    f-d_544981997fcbf4120b476154db63cfe52721cd9935235ca1ba3fa2b2+IMAGE_TINY+IMAGE_TINY.png
    Figure \(\PageIndex{1}\)

    Example \(\PageIndex{2}\)

    Determine the number of shaded and unshaded triangles in each stage of the Sierpinkski triangle. Determine if there is a pattern.

    Stage 0 Stage 1 Stage 2 Stage 3
    Unshaded 1 3 9 27
    Shaded 0 1 4 13

    Solution

    The number of unshaded triangles seems to be powers of \(3:\: 3^{0},\: 3^{1},\: 3^{2},\: 3^{3},\: ….\) The number of shaded triangles is the sum the number of shaded and unshaded triangles from the previous stage. For Example, the number of shaded triangles in Stage 4 would equal \(27 + 13 = 40\).

    Example \(\PageIndex{3}\)

    Like the Sierpinski triangle, a fractal is another self-similar object that is repeated at smaller scales. Below are the first three stages of the Koch snowflake.

    f-d_e89ba495df3dfe3277948ddb0e0a92dfb462edd5bb6faf8ddbec1585+IMAGE_TINY+IMAGE_TINY.png
    Figure \(\PageIndex{2}\)

    Example \(\PageIndex{4}\)

    Determine the number of edges and the perimeter of each snowflake shown in Example 3. Assume that the length of one side of the original (stage 0) equilateral triangle is 1.

    Stage 0 Stage 1 Stage 2
    Number of Edges 3 12 48
    Edge Length 1 \(\dfrac{1}{3}\) \(\dfrac{1}{9}\)
    Perimeter 3 4 \(\dfrac{48}{9}=\dfrac{15}{3}\)

    Example \(\PageIndex{5}\)

    The Cantor set is another example of a fractal. It consists of dividing a segment into thirds and then erasing the middle third.

    f-d_9fb958f0528d884b2dc31f4e89a5bb7a5a639abb9e59e024f801df9b+IMAGE_TINY+IMAGE_TINY.png
    Figure \(\PageIndex{3}\)

    Review

    1. Draw Stage 4 of the Cantor set.
    2. Use the Cantor Set to fill in the table below.
    Number of Segments Length of each Segment Total Length of the Segments
    Stage 0 1 1 1
    Stage 1 2 \(\dfrac{1}{3}\) \(\dfrac{2}{3}\)
    Stage 2 4 \(\dfrac{1}{9}\) \(\dfrac{4}{9}\)
    Stage 3
    Stage 4
    Stage 5
    1. How many segments are in Stage \(n\)?
    2. Draw Stage 3 of the Koch snowflake.
    3. A variation on the Sierpinski triangle is the Sierpinski carpet, which splits a square into 9 equal squares, coloring the middle one only. Then, split the uncolored squares to get the next stage. Draw the first 3 stages of this fractal.
    4. How many colored vs. uncolored square are in each stage?
    5. Fractals are very common in nature. For example, a fern leaf is a fractal. As the leaves get closer to the end, they get smaller and smaller. Find three other examples of fractals in nature.
    f-d_a3e71883dff558cf8bf97594ca7687a346d82ab1c6ecb79d6b66e742+IMAGE_TINY+IMAGE_TINY.png
    Figure \(\PageIndex{4}\)

    Review (Answers)

    To see the Review answers, open this PDF file and look for section 7.13.

    Vocabulary

    Term Definition
    self-similar When one part of an object can be enlarged (or shrunk) to look like the whole object.
    Iteration An iteration is a single step within a process.
    midpoint The midpoint of a line segment is the point on the line segment that splits the segment into two congruent parts.

    Additional Resources

    Interactive Element

    Video: Self-Similarity Examples - Basic

    Activities: Self-Similarity Discussion Questions

    Study Aids: Self-Similarity Study Guide

    Practice: Self-Similarity and Fractals

    Real World: Fractals Everywhere


    This page titled 7.18: Self-Similarity and Fractals is shared under a CK-12 license and was authored, remixed, and/or curated by CK-12 Foundation via source content that was edited to the style and standards of the LibreTexts platform.

    CK-12 Foundation
    LICENSED UNDER
    CK-12 Foundation is licensed under CK-12 Curriculum Materials License
    • Was this article helpful?