"パラコンパクト" meaning in 日本語

See パラコンパクト in All languages combined, or Wiktionary

Noun

  1. 位相空間の任意の開被覆に対し、局所有限な細分が存在すること。位相空間 X の任意の開被覆 𝒰 に対し、𝒰 の細分でなおかつ局所有限であるような被覆 𝒱 が取れるとき、X はパラコンパクトであるという。
    Sense id: ja-パラコンパクト-ja-noun-Mm1-TxiI Categories (other): 日本語 位相空間論
The following are not (yet) sense-disambiguated
{
  "categories": [
    {
      "kind": "other",
      "name": "日本語",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "日本語 名詞",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "日本語 英語由来",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "日本語_英語借用語",
      "parents": [],
      "source": "w"
    }
  ],
  "etymology_texts": [
    "英語 paracompact からの借用語"
  ],
  "lang": "日本語",
  "lang_code": "ja",
  "pos": "noun",
  "pos_title": "名詞",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "日本語 位相空間論",
          "parents": [],
          "source": "w"
        }
      ],
      "glosses": [
        "位相空間の任意の開被覆に対し、局所有限な細分が存在すること。位相空間 X の任意の開被覆 𝒰 に対し、𝒰 の細分でなおかつ局所有限であるような被覆 𝒱 が取れるとき、X はパラコンパクトであるという。"
      ],
      "id": "ja-パラコンパクト-ja-noun-Mm1-TxiI",
      "raw_tags": [
        "位相空間論"
      ]
    }
  ],
  "word": "パラコンパクト"
}
{
  "categories": [
    "日本語",
    "日本語 名詞",
    "日本語 英語由来",
    "日本語_英語借用語"
  ],
  "etymology_texts": [
    "英語 paracompact からの借用語"
  ],
  "lang": "日本語",
  "lang_code": "ja",
  "pos": "noun",
  "pos_title": "名詞",
  "senses": [
    {
      "categories": [
        "日本語 位相空間論"
      ],
      "glosses": [
        "位相空間の任意の開被覆に対し、局所有限な細分が存在すること。位相空間 X の任意の開被覆 𝒰 に対し、𝒰 の細分でなおかつ局所有限であるような被覆 𝒱 が取れるとき、X はパラコンパクトであるという。"
      ],
      "raw_tags": [
        "位相空間論"
      ]
    }
  ],
  "word": "パラコンパクト"
}

Download raw JSONL data for パラコンパクト meaning in 日本語 (0.7kB)


This page is a part of the kaikki.org machine-readable 日本語 dictionary. This dictionary is based on structured data extracted on 2024-12-21 from the jawiktionary dump dated 2024-12-20 using wiktextract (d8cb2f3 and 4e554ae). 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.