"外点" meaning in 日本語

See 外点 in All languages combined, or Wiktionary

Noun

Forms: がいてん
  1. ある位相空間、その位相空間のある部分集合、その位相空間上の点、その部分集合の補集合を考えるとき、その点の近傍(開近傍)を適当の大きさに取れば、少なくとも一つの近傍はその補集合に含まれるという性質を持った点を、その部分集合の外点という。ある位相空間 X、ある部分集合 S ⊂ X について、S の外点とは、ある近傍 Uₚ が Uₚ ⊂ (X ∖ S) を満たす p ∈ X のこと。
    Sense id: ja-外点-ja-noun-5x4Zlmv9 Categories (other): 日本語 数学 Topics: mathematics
The following are not (yet) sense-disambiguated
Categories (other): 日本語, 日本語 名詞
{
  "antonyms": [
    {
      "word": "内点"
    }
  ],
  "categories": [
    {
      "kind": "other",
      "name": "日本語",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "日本語 名詞",
      "parents": [],
      "source": "w"
    }
  ],
  "forms": [
    {
      "form": "がいてん"
    }
  ],
  "lang": "日本語",
  "lang_code": "ja",
  "pos": "noun",
  "pos_title": "名詞",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "日本語 数学",
          "parents": [],
          "source": "w"
        }
      ],
      "glosses": [
        "ある位相空間、その位相空間のある部分集合、その位相空間上の点、その部分集合の補集合を考えるとき、その点の近傍(開近傍)を適当の大きさに取れば、少なくとも一つの近傍はその補集合に含まれるという性質を持った点を、その部分集合の外点という。ある位相空間 X、ある部分集合 S ⊂ X について、S の外点とは、ある近傍 Uₚ が Uₚ ⊂ (X ∖ S) を満たす p ∈ X のこと。"
      ],
      "id": "ja-外点-ja-noun-5x4Zlmv9",
      "topics": [
        "mathematics"
      ]
    }
  ],
  "word": "外点"
}
{
  "antonyms": [
    {
      "word": "内点"
    }
  ],
  "categories": [
    "日本語",
    "日本語 名詞"
  ],
  "forms": [
    {
      "form": "がいてん"
    }
  ],
  "lang": "日本語",
  "lang_code": "ja",
  "pos": "noun",
  "pos_title": "名詞",
  "senses": [
    {
      "categories": [
        "日本語 数学"
      ],
      "glosses": [
        "ある位相空間、その位相空間のある部分集合、その位相空間上の点、その部分集合の補集合を考えるとき、その点の近傍(開近傍)を適当の大きさに取れば、少なくとも一つの近傍はその補集合に含まれるという性質を持った点を、その部分集合の外点という。ある位相空間 X、ある部分集合 S ⊂ X について、S の外点とは、ある近傍 Uₚ が Uₚ ⊂ (X ∖ S) を満たす p ∈ X のこと。"
      ],
      "topics": [
        "mathematics"
      ]
    }
  ],
  "word": "外点"
}

Download raw JSONL data for 外点 meaning in 日本語 (0.8kB)


This page is a part of the kaikki.org machine-readable 日本語 dictionary. This dictionary is based on structured data extracted on 2025-03-09 from the jawiktionary dump dated 2025-03-02 using wiktextract (32c88e6 and 633533e). 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.