{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nA family $\\mathcal{A}$ of [[sets|0SJ3RX9TXA]] is a Δ-system if there is a set $r$, the root, with $a \\cap b = r$ for all distinct $a, b \\in \\mathcal{A}$.\nLet $\\mathcal{A}$ be an [[uncountable|0X55M9XET4]] family of finite sets.\nThen there is an uncountable subfamily $\\mathcal{B} \\subseteq \\mathcal{A}$ that is a Δ-system.\n\n## Remarks\n\nThe proof first passes to an uncountable subfamily whose sets all have the same size $n$.\nThis is possible since $\\mathcal{A}$ is the union of [[countably|0ZG61TFBES]] many subfamilies, one for each size.\nThen it inducts on $n$.\nIf some element lies in uncountably many sets, remove it, apply the induction hypothesis to those sets, and add it back to the root.\nOtherwise each element lies in countably many sets, and a recursion of length $\\omega_1$ picks uncountably many pairwise disjoint sets, a Δ-system with empty root.\nExample: the family $\\set{\\set{0, \\alpha} : 0 \u003c \\alpha \u003c \\omega_1}$ is a Δ-system with root $\\set{0}$.\nFiniteness matters: the countable ordinals $\\alpha \u003c \\omega_1$ are countable sets, and they have no uncountable Δ-subsystem.\nIndeed $\\alpha \\cap \\beta = \\min(\\alpha, \\beta)$, and this set is not the same for all pairs in an uncountable subfamily.\nA general form: let $\\kappa$ be an infinite cardinal and $\\theta \u003e \\kappa$ a regular cardinal with $\\abs{\\alpha}^{\u003c\\kappa} \u003c \\theta$ for all $\\alpha \u003c \\theta$.\nThen each family of at least $\\theta$ sets, each of size less than $\\kappa$, has a Δ-subsystem of size $\\theta$.\nThe finite analogue is the [[sunflower lemma|N6TH42TD7F]] of Erdős and Rado, where a Δ-system is called a sunflower.\n\n## Explanations\n\n### L1 human\n\nA Δ-system is a family of sets that all overlap in exactly the same common part.\nThe lemma says that from uncountably many finite sets one can always pick uncountably many that form such a pattern.\nSo, after throwing some sets away, the overlaps become as simple as possible.\n\n### L2 human\n\nThe Δ-system lemma is a standard tool in forcing.\nIt is the usual way to show that a forcing notion satisfies the countable chain condition, for example the forcing that adds Cohen reals.\nGiven uncountably many finite conditions, one finds uncountably many whose domains form a Δ-system, and then two of them agree on the root and are compatible.\n",
  "commit": "5fc425f97f1f6b11da5892c2948ef8c5d8805665",
  "front": {
    "about": [
      "0SJ3RX9TXA"
    ],
    "kind": "statement",
    "msc": [
      "03E05",
      "05D05"
    ],
    "name": "Δ-system lemma",
    "role": "lemma",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Sunflower_(mathematics)"
      }
    ],
    "tag": "9GKS3RBZ8V",
    "uses": [
      "0SJ3RX9TXA",
      "0X55M9XET4",
      "0ZG61TFBES",
      "N6TH42TD7F"
    ]
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/9GKS3RBZ8V/",
  "links": [
    {
      "field": "about",
      "target": "0SJ3RX9TXA"
    },
    {
      "field": "uses",
      "target": "0SJ3RX9TXA"
    },
    {
      "field": "uses",
      "target": "0X55M9XET4"
    },
    {
      "field": "uses",
      "target": "0ZG61TFBES"
    },
    {
      "field": "uses",
      "target": "N6TH42TD7F"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/9GKS3RBZ8V.md",
  "msc": [
    "03E05",
    "05D05"
  ],
  "name": "Δ-system lemma",
  "prov": null,
  "role": "lemma",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/9GK/9GKS3RBZ8V.md",
  "status": null,
  "tag": "9GKS3RBZ8V",
  "uri": "m2://9GKS3RBZ8V",
  "url": "https://math2.tamnd.com/wiki/system-lemma/",
  "writing": {
    "tag": "9GKS3RBZ8V",
    "kind": "statement",
    "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
      }
    ]
  }
}