{
"schema_version": 1,
"kind": "ConceptView",
"producer": "concept-view-1",
"concept_id": "urn:uuid:1ee2a9ac-e285-44ea-b156-a143a1875246",
"labels": {
"zh-CN": "佐恩引理",
"en": "Zorn’s lemma"
},
"alternative_labels": [],
"scope_note": "",
"identity_status": "active",
"identity_revision": "4e8eea64facd159188012204bb4a913f9c43853d68cdbf6704440b40ab0c5a40",
"occurrences": [
{
"concept_id": "urn:uuid:1ee2a9ac-e285-44ea-b156-a143a1875246",
"book_id": "szekeres",
"edition_id": "source-snapshot-bc3404156f6e",
"lang": "zh-CN",
"route": "zh/chapter-01/05-infinite-sets",
"anchor": "first-3096d224960591128aad-zh",
"chapter": "1",
"section": "1.5",
"offset": 7908,
"range": [
12537,
13385
],
"source_revision": "de98ef3b57633eb615044c4c10101bc445e6695597e0d0703fc5fd583f6a2664",
"source_category": "translation",
"review_status": "unreviewed",
"role": "theorem",
"role_basis": {
"kind": "registered-source-environment",
"registered_position": {
"route": "zh/chapter-01/05-infinite-sets",
"lang": "zh-CN",
"section": "1.5",
"signal": "named-theorem",
"label": "佐恩引理",
"english": "Zorn’s lemma",
"offset": 5955
}
},
"label": "> [!theorem] 定理 1.6 · 佐恩引理 (Zorn’s lemma)",
"context": {
"range": [
12537,
13385
],
"quote": "\n\n> [!theorem] 定理 1.6 · 佐恩引理 (Zorn’s lemma)\n>\n> 设 $(P,\\leq)$ 是非空偏序集，且每个全序子集（链(chain)）在 $P$ 中都有上界(upper bound)，则 $P$ 有极大元(maximal element)。\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-15a16753e86ebef0aeaa1a5d"
},
{
"concept_id": "urn:uuid:1ee2a9ac-e285-44ea-b156-a143a1875246",
"book_id": "szekeres",
"edition_id": "source-snapshot-bc3404156f6e",
"lang": "zh-CN",
"route": "zh/chapter-01/05-infinite-sets",
"anchor": "first-3702a271341dea7573ff-zh",
"chapter": "1",
"section": "1.5",
"offset": 9142,
"range": [
13771,
13978
],
"source_revision": "de98ef3b57633eb615044c4c10101bc445e6695597e0d0703fc5fd583f6a2664",
"source_category": "translation",
"review_status": "unreviewed",
"role": "occurrence",
"role_basis": {
"kind": "explicit-source-uuid-marker"
},
"label": "佐恩引理(Zorn's lemma)",
"context": {
"range": [
13735,
14046
],
"quote": "\n> [!proof]- 证明说明 · 本章未给出\n>\n> 原书没有证明佐恩引理(Zorn's lemma)，而是指出它与选择公理等价，并把读者引向 Halmos [4] 与 Kelley [6]。这里保留这一说明，不补写原书没有提供的证明。\n",
"quote_sha256": "ed0b40a19151f61fd54c89a80d7622d5842b7a21448ff9afff34147659a331d0",
"environment": "proof",
"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-4906c47b7447279353e4bcc2"
},
{
"concept_id": "urn:uuid:1ee2a9ac-e285-44ea-b156-a143a1875246",
"book_id": "szekeres",
"edition_id": "source-snapshot-bc3404156f6e",
"lang": "en",
"route": "en/chapter-01/05-infinite-sets",
"anchor": "first-3096d224960591128aad-en",
"chapter": "1",
"section": "1.5",
"offset": 14282,
"range": [
18442,
18726
],
"source_revision": "27efee5adb2e2567a0fdd6715104753719073cb31112900b51f8cd48f8ff280d",
"source_category": "original_transcription",
"review_status": "unreviewed",
"role": "theorem",
"role_basis": {
"kind": "registered-source-environment",
"registered_position": {
"route": "en/chapter-01/05-infinite-sets",
"lang": "en",
"section": "1.5",
"signal": "named-theorem",
"label": "Zorn’s lemma",
"english": "Zorn’s lemma",
"offset": 13857
}
},
"label": "> [!theorem] Theorem 1.6 · Zorn’s lemma",
"context": {
"range": [
18442,
18726
],
"quote": "\n\n> [!theorem] Theorem 1.6 · Zorn’s lemma\n>\n> (Zorn’s lemma) Let $\\{ P , { \\leq } \\}$ be a nonempty partially ordered set (poset) with the property that every totally ordered subset is bounded above. Then $P$ has a maximal element.\n",
"quote_sha256": "0e3e6fb05105288f596d5640e33e92aafaf7ec90fc4ebf27c800d31d6b2b056f",
"environment": "theorem",
"excerpt_omitted": false
},
"parallel_readings": [
{
"route": "zh/chapter-01/05-infinite-sets",
"lang": "zh-CN",
"source_category": "translation",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-0fda2656ee3922bd386f3cca"
}
],
"registered_positions": [
{
"route": "en/chapter-01/05-infinite-sets",
"lang": "en",
"section": "1.5",
"signal": "named-theorem",
"label": "Zorn’s lemma",
"english": "Zorn’s lemma",
"offset": 13857
},
{
"route": "zh/chapter-01/05-infinite-sets",
"lang": "zh-CN",
"section": "1.5",
"signal": "named-theorem",
"label": "佐恩引理",
"english": "Zorn’s lemma",
"offset": 5955
},
{
"route": "zh/chapter-01/05-infinite-sets",
"lang": "zh-CN",
"section": "1.5",
"signal": "term-mark",
"label": "佐恩引理",
"english": "Zorn's lemma",
"offset": 6424
}
],
"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-15a16753e86ebef0aeaa1a5d"
},
{
"raw": "href=\"#theorem-1-6\"",
"href": "#theorem-1-6",
"range": [
18485,
18504
],
"relation": "references",
"target_route": "en/chapter-01/05-infinite-sets",
"target_anchor": "theorem-1-6",
"resolved": true,
"reason": null,
"source_revision": "27efee5adb2e2567a0fdd6715104753719073cb31112900b51f8cd48f8ff280d",
"source_route": "en/chapter-01/05-infinite-sets",
"occurrence_id": "occ-0fda2656ee3922bd386f3cca"
}
],
"reading_order": [
"occ-15a16753e86ebef0aeaa1a5d",
"occ-4906c47b7447279353e4bcc2",
"occ-0fda2656ee3922bd386f3cca"
],
"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": "6c270c92ebefc3754ae9d08940712ee4059c880055a080d150103fd5c927e829",
"optional_enrichments": []
}