{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "3N54R6HR05"
    },
    {
      "field": "uses",
      "target": "93VXAB8JYS"
    }
  ],
  "body": "\n## Statement\n\nOrder the positive integers by the *Sharkovskii ordering* $\\triangleright$:\n$$3 \\triangleright 5 \\triangleright 7 \\triangleright \\cdots \\triangleright 2 \\cdot 3 \\triangleright 2 \\cdot 5 \\triangleright \\cdots \\triangleright 2^2 \\cdot 3 \\triangleright 2^2 \\cdot 5 \\triangleright \\cdots \\triangleright 2^3 \\triangleright 2^2 \\triangleright 2 \\triangleright 1.$$\nFirst come the odd numbers greater than $1$ in increasing order, then $2$ times them, then $2^2$ times them, and so on.\nAt the end come the powers of $2$ in decreasing order.\nLet $I \\subseteq \\R$ be an [[interval|0Q1D85B8G6]] and let $f \\colon I \\to I$ be a [[continuous map|0VGFHTM75Y]].\n\n1. If $f$ has a [[periodic point|T75CZ5H47N]] of [[minimal period|VFZRVZ9SD8]] $m$ and $m \\triangleright n$, then $f$ has a periodic point of minimal period $n$.\n2. Conversely, for each integer $m \\ge 1$ some continuous $f \\colon \\R \\to \\R$ has a point of minimal period $m$ but none of minimal period $k$ when $k \\triangleright m$.\n\n## Remarks\n\nThe proof of part 1 uses the intermediate value theorem in the form: if $f(J) \\supseteq K$ for closed intervals $J, K$, then $J$ contains a closed interval mapped onto $K$.\nThe points of a periodic orbit cut the interval into pieces, and a directed graph records which pieces cover which.\nCycles in this graph give periodic points of the required periods.\nExample: since $3$ is the first number in the ordering, a continuous map of an interval with a point of period $3$ has points of every period.\nThe hypothesis that the space is an interval is necessary: the rotation of the circle by $1/3$ has every point of period $3$ and no other periods.\nFor a continuous map of a compact interval, the set of minimal periods is therefore of one of two kinds.\nIt is either a tail $\\set{k : m \\trianglerighteq k}$ of the ordering for some $m$, or the set of all powers of $2$.\n\n## Explanations\n\n### L1 human\n\nThe theorem says that the periods of a continuous map of a line segment come in a fixed order.\nIf a period appears, then every period further down the list appears as well.\nPeriod $3$ is at the top of the list, so period $3$ forces all periods.\nPeriod $1$, a fixed point, is at the bottom: it is forced by any other period.\n\n### L2 human\n\nThe theorem is purely one-dimensional: its proof uses the order of the real line through the intermediate value theorem, and it fails on the circle and in the plane.\nIt refines the Li–Yorke result that period three implies chaos.\nIn families like the logistic map, the passage from maps with only power-of-two periods to the others is where period doubling turns into chaos.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "T75CZ5H47N"
    ],
    "kind": "statement",
    "msc": [
      "37E15",
      "37E05"
    ],
    "name": "Sharkovskii's theorem",
    "role": "theorem",
    "same_as": {
      "wikidata": "Q2226855",
      "wikipedia": "Sharkovskii's theorem"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Sharkovskii%27s_theorem"
      }
    ],
    "tag": "YBCZ9VY7SX",
    "uses": [
      "0Q1D85B8G6",
      "0VGFHTM75Y",
      "T75CZ5H47N",
      "VFZRVZ9SD8"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/YBCZ9VY7SX/",
  "links": [
    {
      "field": "about",
      "target": "T75CZ5H47N"
    },
    {
      "field": "uses",
      "target": "0Q1D85B8G6"
    },
    {
      "field": "uses",
      "target": "0VGFHTM75Y"
    },
    {
      "field": "uses",
      "target": "T75CZ5H47N"
    },
    {
      "field": "uses",
      "target": "VFZRVZ9SD8"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/YBCZ9VY7SX.md",
  "msc": [
    "37E15",
    "37E05"
  ],
  "name": "Sharkovskii's theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/YBC/YBCZ9VY7SX.md",
  "status": null,
  "tag": "YBCZ9VY7SX",
  "uri": "m2://YBCZ9VY7SX",
  "url": "https://tamnd.github.io/math2/wiki/sharkovskiis-theorem/",
  "writing": {
    "tag": "YBCZ9VY7SX",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}