{
  "aliases": [
    "epsilon-nought-mathematics",
    "epsilon-number-mathematics",
    "epsilon-numbers",
    "epsilon-numbers-mathematics",
    "epsilon-zero-mathematics"
  ],
  "backlinks": null,
  "body": "\n## Summary\n\nIn mathematics, the **epsilon numbers** are a collection of transfinite numbers whose defining property is that they are fixed points of an **exponential map**. Consequently, they are not reachable from 0 via a finite series of applications of the chosen exponential map and of \"weaker\" operations like addition and multiplication. The original epsilon numbers were introduced by Georg Cantor in the context of ordinal arithmetic; they are the [[ordinal numbers|0RDJK7EQYY]] *ε* that satisfy the equation\n\n$$\\varepsilon = \\omega^\\varepsilon,$$\n\nin which $\\omega$ is the smallest infinite ordinal.\n",
  "commit": "4a3290d299c8b2cd6493fce2296920ba7f82d942",
  "front": {
    "aliases": [
      "epsilon-nought-mathematics",
      "epsilon-number-mathematics",
      "epsilon-numbers",
      "epsilon-numbers-mathematics",
      "epsilon-zero-mathematics"
    ],
    "inventory": [
      "90QV9H74EK"
    ],
    "kind": "concept",
    "name": "Epsilon number",
    "same_as": {
      "wikidata": "Q1403155",
      "wikipedia": "Epsilon number"
    },
    "sources": [
      {
        "locator": "Epsilon number",
        "mention": "wikipedia://en/3981747",
        "note": "adopted",
        "sections": [
          "Summary"
        ],
        "wikipedia": "en:3981747@r1353053180"
      }
    ],
    "tag": "PQSHBKCE7V"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/PQSHBKCE7V/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/PQSHBKCE7V.md",
  "msc": null,
  "name": "Epsilon number",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/PQS/PQSHBKCE7V.md",
  "status": null,
  "tag": "PQSHBKCE7V",
  "uri": "m2://PQSHBKCE7V",
  "url": "https://math2.tamnd.com/wiki/epsilon-number/",
  "writing": {
    "tag": "PQSHBKCE7V",
    "kind": "concept",
    "level": "W1",
    "next": [
      {
        "what": "edge defines in",
        "note": "at least one definition",
        "have": 0,
        "want": 1
      },
      {
        "what": "edge instance_of in",
        "note": "at least two examples",
        "have": 0,
        "want": 2
      },
      {
        "what": "edge not_instance_of in",
        "note": "at least one non-example",
        "have": 0,
        "want": 1
      },
      {
        "what": "edge specializes both",
        "note": "the more general notions and the special cases",
        "have": 0,
        "want": 1
      }
    ]
  }
}