{
  "aliases": null,
  "backlinks": [
    {
      "field": "illustrates",
      "target": "AW16MYJV5Q"
    },
    {
      "field": "uses",
      "target": "AW16MYJV5Q"
    },
    {
      "field": "defines",
      "target": "G653QANYYD"
    },
    {
      "field": "about",
      "target": "NSS3XW4BYZ"
    }
  ],
  "body": "\n## Summary\n\nA set of uniqueness is a subset $E$ of the circle with the following property.\nA [[trigonometric series|FZK2M8KGXQ]] that converges to $0$ at every point outside $E$ must have all coefficients equal to $0$.\nA set without this property is a set of multiplicity.\n[[Cantor's uniqueness theorem|NSS3XW4BYZ]] says that the empty set is a set of uniqueness.\nThe question of which exceptional sets are allowed led Cantor to his theory of sets and ordinals.\nThe study of these sets connects harmonic analysis with measure theory, number theory and descriptive set theory.\n\n## Explanations\n\n### L1 human\n\nSuppose a sum of waves is known to be $0$ everywhere except on a set $E$, where nothing is known.\nIf $E$ is a set of uniqueness, this already forces every wave in the sum to vanish.\nSmall sets, such as finite or countable sets, are sets of uniqueness.\nLarge sets, such as intervals, are not.\nSurprisingly, Menshov found a closed set of length zero that is not a set of uniqueness, so being small in length is not enough.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "42A63"
    ],
    "name": "Set of uniqueness",
    "same_as": {
      "wikidata": "Q7456288",
      "wikipedia": "Set of uniqueness"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Set_of_uniqueness"
      }
    ],
    "tag": "K7CNWXF9SN"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/K7CNWXF9SN/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/K7CNWXF9SN.md",
  "msc": [
    "42A63"
  ],
  "name": "Set of uniqueness",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/K7C/K7CNWXF9SN.md",
  "status": null,
  "tag": "K7CNWXF9SN",
  "uri": "m2://K7CNWXF9SN",
  "url": "https://tamnd.github.io/math2/wiki/set-of-uniqueness/",
  "writing": {
    "tag": "K7CNWXF9SN",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      },
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}