{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Definition\n\nLet $X$ be a [[topological space|0CQHFPGJ45]].\nA set $A \\subseteq X$ is sequentially closed when the following holds.\nIf a sequence $(x_n)$ in $A$ [[converges|0W4CN9E2W5]] in $X$ to a point $x$, then $x \\in A$.\n$X$ is a *sequential space* when every sequentially closed subset of $X$ is [[closed|0ZCK8DQYN1]].\n\n## Remarks\n\nEvery closed set is sequentially closed, so in a sequential space the two notions agree.\nEquivalently, a set $U$ is [[open|02BH3MCBQB]] if and only if every sequence that converges to a point of $U$ is eventually in $U$.\nIn a sequential space, a map to any topological space is continuous if and only if it preserves limits of convergent sequences.\nQuotients of sequential spaces are sequential, and the sequential spaces are exactly the quotients of first-countable spaces.\n\nExample: every [[first-countable space|0CP5NDD21C]] is sequential.\nIf $x \\in \\overline{A}$ and $U_1 \\supseteq U_2 \\supseteq \\cdots$ is a neighbourhood base at $x$, choose $x_n \\in A \\cap U_n$; then $x_n \\to x$, so a sequentially closed $A$ contains $x$.\n\nNon-example: let $X$ be an uncountable set whose closed sets are $X$ and the countable subsets.\nA convergent sequence in $X$ is eventually constant, so every subset of $X$ is sequentially closed.\nBut an uncountable proper subset is not closed, so $X$ is not sequential.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "defines": "WMB2MAEDX4",
    "kind": "definition",
    "msc": [
      "54D55"
    ],
    "name": "Sequential space",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Sequential_space"
      }
    ],
    "tag": "GFADRKMQ51",
    "uses": [
      "0CQHFPGJ45",
      "0W4CN9E2W5",
      "0ZCK8DQYN1",
      "02BH3MCBQB",
      "0CP5NDD21C"
    ]
  },
  "kind": "definition",
  "link": "https://math2.tamnd.com/node/GFADRKMQ51/",
  "links": [
    {
      "field": "defines",
      "target": "WMB2MAEDX4"
    },
    {
      "field": "uses",
      "target": "0CQHFPGJ45"
    },
    {
      "field": "uses",
      "target": "0W4CN9E2W5"
    },
    {
      "field": "uses",
      "target": "0ZCK8DQYN1"
    },
    {
      "field": "uses",
      "target": "02BH3MCBQB"
    },
    {
      "field": "uses",
      "target": "0CP5NDD21C"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/GFADRKMQ51.md",
  "msc": [
    "54D55"
  ],
  "name": "Sequential space",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/GFA/GFADRKMQ51.md",
  "status": null,
  "tag": "GFADRKMQ51",
  "uri": "m2://GFADRKMQ51",
  "url": "https://math2.tamnd.com/wiki/sequential-space-definition/",
  "writing": {
    "tag": "GFADRKMQ51",
    "kind": "definition",
    "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
      }
    ]
  }
}