"sober space" meaning in All languages combined

See sober space on Wiktionary

Noun [English]

Forms: sober spaces [plural]
Head templates: {{en-noun}} sober space (plural sober spaces)
  1. (topology) A topological space of which every join-irreducible closed subset is the closure of exactly one point of the space. Wikipedia link: sober space Categories (topical): Topology Hypernyms (topological space): Kolmogorov space, topological space Hyponyms (topological space): Hausdorff space Related terms: soberification (english: latter form apparently more common), sobrification (english: latter form apparently more common)

Inflected forms

{
  "forms": [
    {
      "form": "sober spaces",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "sober space (plural sober spaces)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Entries with translation boxes",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with 1 entry",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with entries",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "langcode": "en",
          "name": "Topological spaces",
          "orig": "en:Topological spaces",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Topology",
          "orig": "en:Topology",
          "parents": [
            "Mathematics",
            "Formal sciences",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        }
      ],
      "examples": [
        {
          "ref": "1975, Mathematica Scandinavica, Societates Mathematicae, page 318:",
          "text": "For a reader more interested in function spaces than in functors, this concludes the description of content except to add that the classification of coadjoint G’s by sets B bearing a topological topology relativizes to T₀ spaces. For other readers: and trivially to sober spaces.",
          "type": "quote"
        },
        {
          "text": "1983, Houston Journal of Mathematics, Volume 9, University of Houston, page 192,\nIn the Hofmann and Lawson paper, it is proved that the topological space Spec(L) is a locally quasicompact sober space […] ."
        },
        {
          "ref": "2002, P. T. Johnstone, Sketches of an Elephant: A Topos Theory Compendium, volume 2, Oxford University Press, page 492:",
          "text": "Thus sober spaces are necessarily T₀.",
          "type": "quote"
        },
        {
          "ref": "2003, A. Pultr, S. E. Rodabaugh, “Chapter 6: Lattice-Valued Frames, Functor Categories, And Classes of Sober Spaces”, in Stephen Ernest Rodabaugh, Erich Peter Klement, editors, Topological and Algebraic Structures in Fuzzy Sets: A Handbook of Recent Developments in the Mathematics of Fuzzy Sets, Springer, page 155:",
          "text": "How rich are sober and L-sober spaces, are there important examples? It is well-known [25] that Hausdorff spaces, and hence compact T₀ (and so finite T₀ spaces), are sober spaces in the traditional setting. Furthermore, the soberification of a space—the spectrum of the topology of a space—is always sober; and if the original space is not Hausdorff, then its soberification is a sober space which is not Hausdorff. So there are many non-Hausdorff sober spaces as well.",
          "type": "quote"
        },
        {
          "ref": "2004, Ofer Gabber, “Notes on some t-structures”, in Alan Adolphson, Francesco Baldassarri, Pierre Berthelot, Nicholas Katz, François Loeser, editors, Geometric Aspects of Dwork Theory, volume 1, Walter de Gruyter, page 711:",
          "text": "When X is a noetherian sober space the construction of loc. cit. can be extended to an arbitrary lower-semicontinuous function for the constructible topology.",
          "type": "quote"
        }
      ],
      "glosses": [
        "A topological space of which every join-irreducible closed subset is the closure of exactly one point of the space."
      ],
      "hypernyms": [
        {
          "sense": "topological space",
          "word": "Kolmogorov space"
        },
        {
          "sense": "topological space",
          "word": "topological space"
        }
      ],
      "hyponyms": [
        {
          "sense": "topological space",
          "word": "Hausdorff space"
        }
      ],
      "id": "en-sober_space-en-noun-H4cqBfkT",
      "links": [
        [
          "topology",
          "topology"
        ],
        [
          "topological space",
          "topological space"
        ],
        [
          "join",
          "join"
        ],
        [
          "irreducible",
          "irreducible"
        ],
        [
          "closed",
          "closed"
        ],
        [
          "closure",
          "closure"
        ]
      ],
      "raw_glosses": [
        "(topology) A topological space of which every join-irreducible closed subset is the closure of exactly one point of the space."
      ],
      "related": [
        {
          "english": "latter form apparently more common",
          "word": "soberification"
        },
        {
          "english": "latter form apparently more common",
          "word": "sobrification"
        }
      ],
      "topics": [
        "mathematics",
        "sciences",
        "topology"
      ],
      "wikipedia": [
        "sober space"
      ]
    }
  ],
  "word": "sober space"
}
{
  "forms": [
    {
      "form": "sober spaces",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "sober space (plural sober spaces)",
      "name": "en-noun"
    }
  ],
  "hypernyms": [
    {
      "sense": "topological space",
      "word": "Kolmogorov space"
    },
    {
      "sense": "topological space",
      "word": "topological space"
    }
  ],
  "hyponyms": [
    {
      "sense": "topological space",
      "word": "Hausdorff space"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "related": [
    {
      "english": "latter form apparently more common",
      "word": "soberification"
    },
    {
      "english": "latter form apparently more common",
      "word": "sobrification"
    }
  ],
  "senses": [
    {
      "categories": [
        "English countable nouns",
        "English entries with incorrect language header",
        "English lemmas",
        "English multiword terms",
        "English nouns",
        "English terms with quotations",
        "Entries with translation boxes",
        "Pages with 1 entry",
        "Pages with entries",
        "Quotation templates to be cleaned",
        "en:Topological spaces",
        "en:Topology"
      ],
      "examples": [
        {
          "ref": "1975, Mathematica Scandinavica, Societates Mathematicae, page 318:",
          "text": "For a reader more interested in function spaces than in functors, this concludes the description of content except to add that the classification of coadjoint G’s by sets B bearing a topological topology relativizes to T₀ spaces. For other readers: and trivially to sober spaces.",
          "type": "quote"
        },
        {
          "text": "1983, Houston Journal of Mathematics, Volume 9, University of Houston, page 192,\nIn the Hofmann and Lawson paper, it is proved that the topological space Spec(L) is a locally quasicompact sober space […] ."
        },
        {
          "ref": "2002, P. T. Johnstone, Sketches of an Elephant: A Topos Theory Compendium, volume 2, Oxford University Press, page 492:",
          "text": "Thus sober spaces are necessarily T₀.",
          "type": "quote"
        },
        {
          "ref": "2003, A. Pultr, S. E. Rodabaugh, “Chapter 6: Lattice-Valued Frames, Functor Categories, And Classes of Sober Spaces”, in Stephen Ernest Rodabaugh, Erich Peter Klement, editors, Topological and Algebraic Structures in Fuzzy Sets: A Handbook of Recent Developments in the Mathematics of Fuzzy Sets, Springer, page 155:",
          "text": "How rich are sober and L-sober spaces, are there important examples? It is well-known [25] that Hausdorff spaces, and hence compact T₀ (and so finite T₀ spaces), are sober spaces in the traditional setting. Furthermore, the soberification of a space—the spectrum of the topology of a space—is always sober; and if the original space is not Hausdorff, then its soberification is a sober space which is not Hausdorff. So there are many non-Hausdorff sober spaces as well.",
          "type": "quote"
        },
        {
          "ref": "2004, Ofer Gabber, “Notes on some t-structures”, in Alan Adolphson, Francesco Baldassarri, Pierre Berthelot, Nicholas Katz, François Loeser, editors, Geometric Aspects of Dwork Theory, volume 1, Walter de Gruyter, page 711:",
          "text": "When X is a noetherian sober space the construction of loc. cit. can be extended to an arbitrary lower-semicontinuous function for the constructible topology.",
          "type": "quote"
        }
      ],
      "glosses": [
        "A topological space of which every join-irreducible closed subset is the closure of exactly one point of the space."
      ],
      "links": [
        [
          "topology",
          "topology"
        ],
        [
          "topological space",
          "topological space"
        ],
        [
          "join",
          "join"
        ],
        [
          "irreducible",
          "irreducible"
        ],
        [
          "closed",
          "closed"
        ],
        [
          "closure",
          "closure"
        ]
      ],
      "raw_glosses": [
        "(topology) A topological space of which every join-irreducible closed subset is the closure of exactly one point of the space."
      ],
      "topics": [
        "mathematics",
        "sciences",
        "topology"
      ],
      "wikipedia": [
        "sober space"
      ]
    }
  ],
  "word": "sober space"
}

Download raw JSONL data for sober space meaning in All languages combined (3.5kB)


This page is a part of the kaikki.org machine-readable All languages combined dictionary. This dictionary is based on structured data extracted on 2024-11-06 from the enwiktionary dump dated 2024-10-02 using wiktextract (fbeafe8 and 7f03c9b). The data shown on this site has been post-processed and various details (e.g., extra categories) removed, some information disambiguated, and additional data merged from other sources. See the raw data download page for the unprocessed wiktextract data.

If you use this data in academic research, please cite Tatu Ylonen: Wiktextract: Wiktionary as Machine-Readable Structured Data, Proceedings of the 13th Conference on Language Resources and Evaluation (LREC), pp. 1317-1325, Marseille, 20-25 June 2022. Linking to the relevant page(s) under https://kaikki.org would also be greatly appreciated.