{
  "schema_version": 1,
  "kind": "ConceptView",
  "producer": "concept-view-1",
  "concept_id": "urn:uuid:61fd4411-3d4a-4e1d-8127-2b7adfd4ce07",
  "labels": {
    "zh-CN": "链",
    "en": "chain"
  },
  "alternative_labels": [],
  "scope_note": "",
  "identity_status": "active",
  "identity_revision": "516e1e151eb5073091e1a0d2c411e0b61447bc8220b682617b4bbdde180ada33",
  "occurrences": [
    {
      "concept_id": "urn:uuid:61fd4411-3d4a-4e1d-8127-2b7adfd4ce07",
      "book_id": "szekeres",
      "edition_id": "source-snapshot-bc3404156f6e",
      "lang": "zh-CN",
      "route": "zh/chapter-01/05-infinite-sets",
      "anchor": "first-f400ddf3c821a7c31818-zh",
      "chapter": "1",
      "section": "1.5",
      "offset": 8036,
      "range": [
        12665,
        12892
      ],
      "source_revision": "de98ef3b57633eb615044c4c10101bc445e6695597e0d0703fc5fd583f6a2664",
      "source_category": "translation",
      "review_status": "unreviewed",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "链(chain)",
      "context": {
        "range": [
          12537,
          13385
        ],
        "quote": "\n\n> [!theorem] <a class=\"object-permalink\" href=\"#theorem-1-6\">定理 1.6</a> · 佐恩引理 (Zorn’s lemma)\n>\n> 设 $(P,\\leq)$ 是非空偏序集，且每个全序子集（<u class=\"concept-term\" data-concept-identity=\"urn:uuid:61fd4411-3d4a-4e1d-8127-2b7adfd4ce07\" data-concept-route=\"/concept-identities#concept-61fd4411-3d4a-4e1d-8127-2b7adfd4ce07\" id=\"first-f400ddf3c821a7c31818-zh\">链(chain)</u>）在 $P$ 中都有<u class=\"concept-term\" data-concept-identity=\"urn:uuid:831ad068-9b9d-44d5-bf37-2ad01936ba60\" data-concept-route=\"/concept-identities#concept-831ad068-9b9d-44d5-bf37-2ad01936ba60\" id=\"first-96bc35f3513f48ffce16-zh\">上界(upper bound)</u>，则 $P$ 有<u class=\"concept-term\" data-concept-identity=\"urn:uuid:76dbfbbc-79a6-4b5a-88d3-c31378d27611\" data-concept-route=\"/concept-identities#concept-76dbfbbc-79a6-4b5a-88d3-c31378d27611\" id=\"first-67f091608ab977a826ea-zh\">极大元(maximal element)</u>。\n",
        "quote_sha256": "53b8c9d98bad601271abfdefdb4cb77b52772f5adf7a232b1e528d3dbb3e196b",
        "environment": "theorem",
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "en/chapter-01/05-infinite-sets",
          "lang": "en",
          "source_category": "original_transcription",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-8afa2291978128e0f34e2dbc"
    },
    {
      "concept_id": "urn:uuid:61fd4411-3d4a-4e1d-8127-2b7adfd4ce07",
      "book_id": "szekeres",
      "edition_id": "source-snapshot-bc3404156f6e",
      "lang": "zh-CN",
      "route": "zh/chapter-17/04-homology-and-cohomology",
      "anchor": "first-5c41f4360a795b0315ca-zh",
      "chapter": "17",
      "section": "17.4",
      "offset": 3189,
      "range": [
        7486,
        7678
      ],
      "source_revision": "962da89618680522177106de9b1899c86eb3dedc9484f12c33659d432388a117",
      "source_category": "translation",
      "review_status": "unreviewed",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "链(chain)",
      "context": {
        "range": [
          7480,
          7950
        ],
        "quote": "一个$p$-<u class=\"concept-term\" data-concept-identity=\"urn:uuid:61fd4411-3d4a-4e1d-8127-2b7adfd4ce07\" data-concept-route=\"/concept-identities#concept-61fd4411-3d4a-4e1d-8127-2b7adfd4ce07\">链(chain)</u>是形式和$\\begin{array} { r } { C = \\sum _ { \\mu = 1 } ^ { M } c ^ { \\mu } \\Delta _ { \\mu } } \\end{array}$，其中$a _ { \\mu }$是实数，$\\Delta _ { \\mu }$是$\\mathbb { R } ^ { n }$中的$p$-单形。$\\mathbb { R } ^ { n }$上所有$p$-链的集合显然是一个向量空间，记作${ \\mathcal { C } } _ { p } ( \\mathbb { R } ^ { n } )$",
        "quote_sha256": "f7d212233cb85013201b936d3136cab172b2ee3f86a1409c98faae20de4b8504",
        "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-16e9589ef4970ad3285a053d"
    },
    {
      "concept_id": "urn:uuid:61fd4411-3d4a-4e1d-8127-2b7adfd4ce07",
      "book_id": "szekeres",
      "edition_id": "source-snapshot-bc3404156f6e",
      "lang": "en",
      "route": "en/chapter-17/04-homology-and-cohomology",
      "anchor": "first-f400ddf3c821a7c31818-en",
      "chapter": "17",
      "section": "17.4",
      "offset": 4311,
      "range": [
        8135,
        8359
      ],
      "source_revision": "bcdaffd9c93fa5d4dbb16ac427fef782512ff58c5d5472ea282c7769a2173a3d",
      "source_category": "original_transcription",
      "review_status": "unreviewed",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "chain",
      "context": {
        "range": [
          8129,
          8725
        ],
        "quote": "A $p$-<u class=\"concept-term\" data-concept-identity=\"urn:uuid:61fd4411-3d4a-4e1d-8127-2b7adfd4ce07\" data-concept-route=\"/concept-identities#concept-61fd4411-3d4a-4e1d-8127-2b7adfd4ce07\" id=\"first-f400ddf3c821a7c31818-en\">chain</u> is a formal sum $\\begin{array} { r } { C = \\sum _ { \\mu = 1 } ^ { M } c ^ { \\mu } \\Delta _ { \\mu } } \\end{array}$ where $a _ { \\mu }$ are real numbers and $\\Delta _ { \\mu }$ are $p$-simplices in $\\mathbb { R } ^ { n }$ . The set of all $p$-chains on $\\mathbb { R } ^ { n }$ is obviously a vector space, denoted ${ \\mathcal { C } } _ { p } ( \\mathbb { R } ^ { n } )$",
        "quote_sha256": "ff7296a424d369c7cdbc244b732bf8f5c225fb20ae22a0e53cc68be010caa1d6",
        "environment": null,
        "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-0ef33e5a06b5a23ffcaee407"
    }
  ],
  "registered_positions": [
    {
      "route": "zh/chapter-01/05-infinite-sets",
      "lang": "zh-CN",
      "section": "1.5",
      "signal": "term-mark",
      "label": "链",
      "english": "chain",
      "offset": 6082
    },
    {
      "route": "en/chapter-17/04-homology-and-cohomology",
      "lang": "en",
      "section": "17.4",
      "signal": "term-mark",
      "label": "chain",
      "english": "chain",
      "offset": 3738
    },
    {
      "route": "zh/chapter-17/04-homology-and-cohomology",
      "lang": "zh-CN",
      "section": "17.4",
      "signal": "term-mark",
      "label": "链",
      "english": "chain",
      "offset": 2616
    }
  ],
  "statements": [],
  "resolved_references": [
    {
      "raw": "href=\"#theorem-1-6\"",
      "href": "#theorem-1-6",
      "range": [
        12580,
        12599
      ],
      "relation": "references",
      "target_route": "zh/chapter-01/05-infinite-sets",
      "target_anchor": "theorem-1-6",
      "resolved": true,
      "reason": null,
      "source_revision": "de98ef3b57633eb615044c4c10101bc445e6695597e0d0703fc5fd583f6a2664",
      "source_route": "zh/chapter-01/05-infinite-sets",
      "occurrence_id": "occ-8afa2291978128e0f34e2dbc"
    }
  ],
  "reading_order": [
    "occ-8afa2291978128e0f34e2dbc",
    "occ-16e9589ef4970ad3285a053d",
    "occ-0ef33e5a06b5a23ffcaee407"
  ],
  "recorded_dependencies": [],
  "reading_paths": [],
  "coverage": {
    "registered_positions": 3,
    "located_occurrences": 3,
    "whole_book_search_complete": false,
    "registered_positions_truncated": false,
    "independent_human_review_implied": false
  },
  "unresolved": [],
  "base_revision": "27e79439102f8009276f02e21a7d3fadbc0ebd1aa60c35322a227c329223c534",
  "optional_enrichments": []
}
