{
  "schema_version": 1,
  "kind": "ConceptView",
  "producer": "concept-view-1",
  "concept_id": "urn:uuid:c7b763c7-2046-4023-85d1-954aaaf12c0d",
  "labels": {
    "zh-CN": "恰当形式",
    "en": "exact form"
  },
  "alternative_labels": [],
  "scope_note": "",
  "identity_status": "active",
  "identity_revision": "ab4314d5804f253f35be2ca1e80492d7684f661956988c3ae38003b0eb3d706c",
  "occurrences": [
    {
      "concept_id": "urn:uuid:c7b763c7-2046-4023-85d1-954aaaf12c0d",
      "book_id": "szekeres",
      "edition_id": "source-snapshot-bc3404156f6e",
      "lang": "zh-CN",
      "route": "zh/chapter-17/04-homology-and-cohomology",
      "anchor": "first-21de2db070b1774c8490-zh",
      "chapter": "17",
      "section": "17.4",
      "offset": 13478,
      "range": [
        17775,
        18010
      ],
      "source_revision": "962da89618680522177106de9b1899c86eb3dedc9484f12c33659d432388a117",
      "source_category": "translation",
      "review_status": "unreviewed",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "恰当形式(exact form)",
      "context": {
        "range": [
          17426,
          18697
        ],
        "quote": "一个微分 $r$-形式 $\\alpha$ 若满足 $\\mathrm{d}\\alpha=0$，则称为 <u class=\"concept-term\" data-concept-identity=\"urn:uuid:4f8194d3-f4b1-47a6-8101-aa8cd016f6e1\" data-concept-route=\"/concept-identities#concept-4f8194d3-f4b1-47a6-8101-aa8cd016f6e1\" id=\"first-0bbe12462b1c9456320e-zh\">闭形式(closed form)</u>；若存在一个 $(r-1)$-形式 $\\beta$ 使得 $\\alpha = \\mathrm { d } \\beta$，则称为 <u class=\"concept-term\" data-concept-identity=\"urn:uuid:c7b763c7-2046-4023-85d1-954aaaf12c0d\" data-concept-route=\"/concept-identities#concept-c7b763c7-2046-4023-85d1-954aaaf12c0d\" id=\"first-21de2db070b1774c8490-zh\">恰当形式(exact form)</u>。显然，每个恰当 $r$-形式都是闭的，因为 $\\mathbf { d } ^ { 2 } { \\boldsymbol { \\beta } } = 0$。用上链的语言，这些定义可表述如下：一个 $r$-上链 $\\alpha$ 若是一个闭微分形式，则称为 $r$-<u class=\"concept-term\" data-concept-identity=\"urn:uuid:c26a11a5-b8bb-4cd7-8920-cd092b71eb06\" data-concept-route=\"/concept-identities#concept-c26a11a5-b8bb-4cd7-8920-cd092b71eb06\" id=\"first-6a9d37016a96e22681a4-zh\">上闭链(cocycle)</u>；而若它是恰当的，则称为 $r$-<u class=\"concept-term\" data-concept-identity=\"urn:uuid:91f394ee-b446-4502-be7d-9d5169bdd21e\" data-concept-route=\"/concept-identities#concept-91f394ee-b446-4502-be7d-9d5169bdd21e\" id=\"first-0b1865b872f69033467f-zh\">上边界链(coboundary)</u>。我们将 $r$-上闭链的向量子空间记为 $Z ^ { r } ( M )$，将 $r$-上边界链的子空间记为 $B ^ { r } ( M )$",
        "quote_sha256": "a64d4ca0e402858f600eee2874942dbd9eff0bea000fa0bbaa387f12ab9c88c6",
        "environment": null,
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "en/chapter-17/04-homology-and-cohomology",
          "lang": "en",
          "source_category": "original_transcription",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-ec24768adfa3e2a414cb3093"
    }
  ],
  "registered_positions": [
    {
      "route": "zh/chapter-17/04-homology-and-cohomology",
      "lang": "zh-CN",
      "section": "17.4",
      "signal": "term-mark",
      "label": "恰当形式",
      "english": "exact form",
      "offset": 10718
    }
  ],
  "statements": [],
  "resolved_references": [],
  "reading_order": [
    "occ-ec24768adfa3e2a414cb3093"
  ],
  "recorded_dependencies": [],
  "reading_paths": [],
  "coverage": {
    "registered_positions": 1,
    "located_occurrences": 1,
    "whole_book_search_complete": false,
    "registered_positions_truncated": false,
    "independent_human_review_implied": false
  },
  "unresolved": [],
  "base_revision": "b01e887f2dea88b65e351fd22d755401338db01aae8c0b9c8bf02132b0013b46",
  "optional_enrichments": []
}
