{
  "schema_version": 1,
  "kind": "ConceptView",
  "producer": "concept-view-1",
  "concept_id": "urn:uuid:60fba077-e5c2-4328-a0d1-5f983d5cd780",
  "labels": {
    "zh-CN": "德拉姆定理",
    "en": "de Rham’s theorem"
  },
  "alternative_labels": [],
  "scope_note": "",
  "identity_status": "active",
  "identity_revision": "35fb382d19e7ff2f9d2bc58dae7c848800ba03faa7bafa4477a04a3c61e9a668",
  "occurrences": [
    {
      "concept_id": "urn:uuid:60fba077-e5c2-4328-a0d1-5f983d5cd780",
      "book_id": "szekeres",
      "edition_id": "source-snapshot-bc3404156f6e",
      "lang": "zh-CN",
      "route": "zh/chapter-17/04-homology-and-cohomology",
      "anchor": "first-923e873f2eef96f84eb1-zh",
      "chapter": "17",
      "section": "17.4",
      "offset": 18687,
      "range": [
        22984,
        23339
      ],
      "source_revision": "962da89618680522177106de9b1899c86eb3dedc9484f12c33659d432388a117",
      "source_category": "translation",
      "review_status": "unreviewed",
      "role": "theorem",
      "role_basis": {
        "kind": "registered-source-environment",
        "registered_position": {
          "route": "zh/chapter-17/04-homology-and-cohomology",
          "lang": "zh-CN",
          "section": "17.4",
          "signal": "named-theorem",
          "label": "德拉姆定理",
          "english": "de Rham’s theorem",
          "offset": 14902
        }
      },
      "label": "> [!theorem] <a class=\"object-permalink\" href=\"#theorem-17-4\">定理 17.4</a> · 德拉姆定理 (de Rham’s theorem)",
      "context": {
        "range": [
          22984,
          23339
        ],
        "quote": "\n\n> [!theorem] <a class=\"object-permalink\" href=\"#theorem-17-4\">定理 17.4</a> · 德拉姆定理 (de Rham’s theorem)\n>\n> (德拉姆) 由 $( [ C ] , [ \\alpha ] ) \\mapsto \\langle [ C ] , [ \\alpha ] \\rangle$ 定义的 $H _ { r } ( M ) \\times H ^ { r } ( M ) \\to \\mathbb { R }$ 上的双线性映射在两个自变量中均非退化。也就是说，$H$ ($M$) 上的每个线性泛函都具有 $f _ { [ \\alpha ] } f o r$ 一个唯一确定的 $r$-上同调类 [$\\alpha$] 的形式。\n>\n",
        "quote_sha256": "7130992174a36c39cf9bfd1d295427ec198e99f51abb2a364492939ba9805e90",
        "environment": "theorem",
        "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-5d0f995fe4ec596f43d0d8d3"
    },
    {
      "concept_id": "urn:uuid:60fba077-e5c2-4328-a0d1-5f983d5cd780",
      "book_id": "szekeres",
      "edition_id": "source-snapshot-bc3404156f6e",
      "lang": "en",
      "route": "en/chapter-17/04-homology-and-cohomology",
      "anchor": "first-923e873f2eef96f84eb1-en",
      "chapter": "17",
      "section": "17.4",
      "offset": 23268,
      "range": [
        27092,
        27542
      ],
      "source_revision": "bcdaffd9c93fa5d4dbb16ac427fef782512ff58c5d5472ea282c7769a2173a3d",
      "source_category": "original_transcription",
      "review_status": "unreviewed",
      "role": "theorem",
      "role_basis": {
        "kind": "registered-source-environment",
        "registered_position": {
          "route": "en/chapter-17/04-homology-and-cohomology",
          "lang": "en",
          "section": "17.4",
          "signal": "named-theorem",
          "label": "de Rham’s theorem",
          "english": "de Rham’s theorem",
          "offset": 19413
        }
      },
      "label": "> [!theorem] <a class=\"object-permalink\" href=\"#theorem-17-4\">Theorem 17.4</a> · de Rham’s theorem",
      "context": {
        "range": [
          27092,
          27542
        ],
        "quote": "\n\n> [!theorem] <a class=\"object-permalink\" href=\"#theorem-17-4\">Theorem 17.4</a> · de Rham’s theorem\n>\n> (de Rham) The bilinear map on $H _ { r } ( M ) \\times H ^ { r } ( M ) \\to \\mathbb { R }$ defined by $( [ C ] , [ \\alpha ] ) \\mapsto \\langle [ C ] , [ \\alpha ] \\rangle$ is non-degenerate in both arguments. That is, every linear func tional on $H$ ($M$) has theform $f _ { [ \\alpha ] } f o r$ a uniquely defined $r$-cohomology class [$\\alpha$].\n>\n",
        "quote_sha256": "ff188ba43dabf22268c20d1ee4a4ab73cdc87529d6b95a64a88642f471aa5b64",
        "environment": "theorem",
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "zh/chapter-17/04-homology-and-cohomology",
          "lang": "zh-CN",
          "source_category": "translation",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-06256f1c32bd9b53d80719ad"
    }
  ],
  "registered_positions": [
    {
      "route": "en/chapter-17/04-homology-and-cohomology",
      "lang": "en",
      "section": "17.4",
      "signal": "named-theorem",
      "label": "de Rham’s theorem",
      "english": "de Rham’s theorem",
      "offset": 19413
    },
    {
      "route": "zh/chapter-17/04-homology-and-cohomology",
      "lang": "zh-CN",
      "section": "17.4",
      "signal": "named-theorem",
      "label": "德拉姆定理",
      "english": "de Rham’s theorem",
      "offset": 14902
    }
  ],
  "statements": [],
  "resolved_references": [
    {
      "raw": "href=\"#theorem-17-4\"",
      "href": "#theorem-17-4",
      "range": [
        23027,
        23047
      ],
      "relation": "references",
      "target_route": "zh/chapter-17/04-homology-and-cohomology",
      "target_anchor": "theorem-17-4",
      "resolved": true,
      "reason": null,
      "source_revision": "962da89618680522177106de9b1899c86eb3dedc9484f12c33659d432388a117",
      "source_route": "zh/chapter-17/04-homology-and-cohomology",
      "occurrence_id": "occ-5d0f995fe4ec596f43d0d8d3"
    },
    {
      "raw": "href=\"#theorem-17-4\"",
      "href": "#theorem-17-4",
      "range": [
        27135,
        27155
      ],
      "relation": "references",
      "target_route": "en/chapter-17/04-homology-and-cohomology",
      "target_anchor": "theorem-17-4",
      "resolved": true,
      "reason": null,
      "source_revision": "bcdaffd9c93fa5d4dbb16ac427fef782512ff58c5d5472ea282c7769a2173a3d",
      "source_route": "en/chapter-17/04-homology-and-cohomology",
      "occurrence_id": "occ-06256f1c32bd9b53d80719ad"
    }
  ],
  "reading_order": [
    "occ-5d0f995fe4ec596f43d0d8d3",
    "occ-06256f1c32bd9b53d80719ad"
  ],
  "recorded_dependencies": [],
  "reading_paths": [],
  "coverage": {
    "registered_positions": 2,
    "located_occurrences": 2,
    "whole_book_search_complete": false,
    "registered_positions_truncated": false,
    "independent_human_review_implied": false
  },
  "unresolved": [],
  "base_revision": "2993a726558d5ec51cc3f481126fdc2dfd9abb0dbdde9346989da0faff47cde2",
  "optional_enrichments": []
}