{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Definition\n\nLet $X$ be a [[topological space|0CQHFPGJ45]].\nA subset $Y \\subseteq X$, with the subspace topology, is *irreducible* if $Y$ is nonempty and has the following property.\n$Y$ is not the union of two [[closed subsets|0ZCK8DQYN1]] of $Y$ that are both different from $Y$.\nAn *irreducible component* of $X$ is an irreducible subset $Y \\subseteq X$ that is maximal: no irreducible subset of $X$ contains $Y$ strictly.\n\n## Remarks\n\nEquivalently, a nonempty space is irreducible when any two nonempty open subsets meet, that is, when every nonempty open subset is dense.\nThe closure of an irreducible subset is irreducible, so irreducible components are closed.\nBy Zorn's lemma every irreducible subset lies in an irreducible component, so $X$ is the union of its irreducible components.\n\nExample: the [[algebraic set|VHFMQQYSTN]] $X = V(xy) \\subseteq \\C^2$ is the union of the axes $V(x)$ and $V(y)$.\nEach axis is irreducible, since it is homeomorphic to $\\C$ with the topology whose proper closed sets are the finite sets, and two finite sets cannot cover an infinite set.\nNeither axis contains the other, and $X$ itself is not irreducible, so the two axes are the irreducible components of $X$.\n\nNon-example: the set $\\set{0, 1} \\subseteq \\C$ is not irreducible, because it is the union of the closed sets $\\set{0}$ and $\\set{1}$.\n\nIn a [[Noetherian topological space|2VQX2E8EAH]], there are only finitely many irreducible components, and none of them lies in the union of the others.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "defines": "SY2MWC434Z",
    "kind": "definition",
    "msc": [
      "14A10",
      "14A15"
    ],
    "name": "Irreducible component",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Irreducible_component"
      }
    ],
    "tag": "ZPVRRQDYRB",
    "uses": [
      "0CQHFPGJ45",
      "0ZCK8DQYN1",
      "2VQX2E8EAH",
      "VHFMQQYSTN"
    ]
  },
  "kind": "definition",
  "link": "https://tamnd.github.io/math2/node/ZPVRRQDYRB/",
  "links": [
    {
      "field": "defines",
      "target": "SY2MWC434Z"
    },
    {
      "field": "uses",
      "target": "0CQHFPGJ45"
    },
    {
      "field": "uses",
      "target": "0ZCK8DQYN1"
    },
    {
      "field": "uses",
      "target": "2VQX2E8EAH"
    },
    {
      "field": "uses",
      "target": "VHFMQQYSTN"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/ZPVRRQDYRB.md",
  "msc": [
    "14A10",
    "14A15"
  ],
  "name": "Irreducible component",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/ZPV/ZPVRRQDYRB.md",
  "status": null,
  "tag": "ZPVRRQDYRB",
  "uri": "m2://ZPVRRQDYRB",
  "url": "https://tamnd.github.io/math2/wiki/irreducible-component-definition/",
  "writing": {
    "tag": "ZPVRRQDYRB",
    "kind": "definition",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}