{
"schema_version": 1,
"kind": "ConceptView",
"producer": "concept-view-1",
"concept_id": "urn:uuid:63dd968e-0dae-45a0-98ba-06b83032ed48",
"labels": {
"zh-CN": "卡当公式",
"en": "Cartan’s formulas"
},
"alternative_labels": [],
"scope_note": "",
"identity_status": "active",
"identity_revision": "229e6b3a56c5536f69ae1f646f4e20d20a75ab4664d91285c24215279a536cbc",
"occurrences": [
{
"concept_id": "urn:uuid:63dd968e-0dae-45a0-98ba-06b83032ed48",
"book_id": "szekeres",
"edition_id": "source-snapshot-bc3404156f6e",
"lang": "zh-CN",
"route": "zh/chapter-16/02-properties-of-exterior-derivative",
"anchor": "first-01140c9e890f6fe291ec-zh",
"chapter": "16",
"section": "16.2",
"offset": 5382,
"range": [
10976,
15688
],
"source_revision": "07787b3fe2cdc5cfb76b39ae00430046967984c9701260e8c54dd583c9261af7",
"source_category": "translation",
"review_status": "unreviewed",
"role": "theorem",
"role_basis": {
"kind": "registered-source-environment",
"registered_position": {
"route": "zh/chapter-16/02-properties-of-exterior-derivative",
"lang": "zh-CN",
"section": "16.2",
"signal": "named-theorem",
"label": "卡当公式",
"english": "Cartan’s formulas",
"offset": 5241
}
},
"label": "> [!theorem] 定理 16.3 · 卡当公式 (Cartan’s formulas)",
"context": {
"range": [
10976,
15688
],
"quote": null,
"quote_sha256": "54304c8904002cbfd7bdb50dcf63a2953521524d67aa142f3b9e1c3225bd515e",
"environment": "theorem",
"excerpt_omitted": true
},
"parallel_readings": [
{
"route": "en/chapter-16/02-properties-of-exterior-derivative",
"lang": "en",
"source_category": "original_transcription",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-324fb368382e21d890136ed8"
},
{
"concept_id": "urn:uuid:63dd968e-0dae-45a0-98ba-06b83032ed48",
"book_id": "szekeres",
"edition_id": "source-snapshot-bc3404156f6e",
"lang": "en",
"route": "en/chapter-16/02-properties-of-exterior-derivative",
"anchor": "first-01140c9e890f6fe291ec-en",
"chapter": "16",
"section": "16.2",
"offset": 6204,
"range": [
11325,
17078
],
"source_revision": "52911a90f33781ff093ad2aeac54374f36150c8931ee5b928eadca106ec49a98",
"source_category": "original_transcription",
"review_status": "unreviewed",
"role": "theorem",
"role_basis": {
"kind": "registered-source-environment",
"registered_position": {
"route": "en/chapter-16/02-properties-of-exterior-derivative",
"lang": "en",
"section": "16.2",
"signal": "named-theorem",
"label": "Cartan’s formulas",
"english": "Cartan’s formulas",
"offset": 6063
}
},
"label": "> [!theorem] Theorem 16.3 · Cartan’s formulas",
"context": {
"range": [
11325,
17078
],
"quote": null,
"quote_sha256": "7fd22db368e898154c7883172b216cfdc613e02d534d841729af8f41f2678caa",
"environment": "theorem",
"excerpt_omitted": true
},
"parallel_readings": [
{
"route": "zh/chapter-16/02-properties-of-exterior-derivative",
"lang": "zh-CN",
"source_category": "translation",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-ca966d2373e096b7aa16ccbd"
}
],
"registered_positions": [
{
"route": "en/chapter-16/02-properties-of-exterior-derivative",
"lang": "en",
"section": "16.2",
"signal": "named-theorem",
"label": "Cartan’s formulas",
"english": "Cartan’s formulas",
"offset": 6063
},
{
"route": "zh/chapter-16/02-properties-of-exterior-derivative",
"lang": "zh-CN",
"section": "16.2",
"signal": "named-theorem",
"label": "卡当公式",
"english": "Cartan’s formulas",
"offset": 5241
}
],
"statements": [],
"resolved_references": [
{
"raw": "href=\"#theorem-16-3\"",
"href": "#theorem-16-3",
"range": [
11019,
11039
],
"relation": "references",
"target_route": "zh/chapter-16/02-properties-of-exterior-derivative",
"target_anchor": "theorem-16-3",
"resolved": true,
"reason": null,
"source_revision": "07787b3fe2cdc5cfb76b39ae00430046967984c9701260e8c54dd583c9261af7",
"source_route": "zh/chapter-16/02-properties-of-exterior-derivative",
"occurrence_id": "occ-324fb368382e21d890136ed8"
},
{
"raw": "href=\"../chapter-15/05-commutators-flows-and-lie-derivatives#problem-15-24\"",
"href": "../chapter-15/05-commutators-flows-and-lie-derivatives#problem-15-24",
"range": [
11918,
11993
],
"relation": "references",
"target_route": "zh/chapter-15/05-commutators-flows-and-lie-derivatives",
"target_anchor": "problem-15-24",
"resolved": true,
"reason": null,
"source_revision": "07787b3fe2cdc5cfb76b39ae00430046967984c9701260e8c54dd583c9261af7",
"source_route": "zh/chapter-16/02-properties-of-exterior-derivative",
"occurrence_id": "occ-324fb368382e21d890136ed8"
},
{
"raw": "href=\"#equation-16-13\"",
"href": "#equation-16-13",
"range": [
12538,
12560
],
"relation": "references",
"target_route": "zh/chapter-16/02-properties-of-exterior-derivative",
"target_anchor": "equation-16-13",
"resolved": true,
"reason": null,
"source_revision": "07787b3fe2cdc5cfb76b39ae00430046967984c9701260e8c54dd583c9261af7",
"source_route": "zh/chapter-16/02-properties-of-exterior-derivative",
"occurrence_id": "occ-324fb368382e21d890136ed8"
},
{
"raw": "href=\"#equation-16-11\"",
"href": "#equation-16-11",
"range": [
12901,
12923
],
"relation": "references",
"target_route": "zh/chapter-16/02-properties-of-exterior-derivative",
"target_anchor": "equation-16-11",
"resolved": true,
"reason": null,
"source_revision": "07787b3fe2cdc5cfb76b39ae00430046967984c9701260e8c54dd583c9261af7",
"source_route": "zh/chapter-16/02-properties-of-exterior-derivative",
"occurrence_id": "occ-324fb368382e21d890136ed8"
},
{
"raw": "href=\"01-differential-forms-and-exterior-derivative#equation-16-3\"",
"href": "01-differential-forms-and-exterior-derivative#equation-16-3",
"range": [
13047,
13113
],
"relation": "references",
"target_route": "zh/chapter-16/01-differential-forms-and-exterior-derivative",
"target_anchor": "equation-16-3",
"resolved": true,
"reason": null,
"source_revision": "07787b3fe2cdc5cfb76b39ae00430046967984c9701260e8c54dd583c9261af7",
"source_route": "zh/chapter-16/02-properties-of-exterior-derivative",
"occurrence_id": "occ-324fb368382e21d890136ed8"
},
{
"raw": "href=\"#equation-16-14\"",
"href": "#equation-16-14",
"range": [
14371,
14393
],
"relation": "references",
"target_route": "zh/chapter-16/02-properties-of-exterior-derivative",
"target_anchor": "equation-16-14",
"resolved": true,
"reason": null,
"source_revision": "07787b3fe2cdc5cfb76b39ae00430046967984c9701260e8c54dd583c9261af7",
"source_route": "zh/chapter-16/02-properties-of-exterior-derivative",
"occurrence_id": "occ-324fb368382e21d890136ed8"
},
{
"raw": "href=\"#equation-16-13\"",
"href": "#equation-16-13",
"range": [
14521,
14543
],
"relation": "references",
"target_route": "zh/chapter-16/02-properties-of-exterior-derivative",
"target_anchor": "equation-16-13",
"resolved": true,
"reason": null,
"source_revision": "07787b3fe2cdc5cfb76b39ae00430046967984c9701260e8c54dd583c9261af7",
"source_route": "zh/chapter-16/02-properties-of-exterior-derivative",
"occurrence_id": "occ-324fb368382e21d890136ed8"
},
{
"raw": "href=\"#equation-16-14\"",
"href": "#equation-16-14",
"range": [
15332,
15354
],
"relation": "references",
"target_route": "zh/chapter-16/02-properties-of-exterior-derivative",
"target_anchor": "equation-16-14",
"resolved": true,
"reason": null,
"source_revision": "07787b3fe2cdc5cfb76b39ae00430046967984c9701260e8c54dd583c9261af7",
"source_route": "zh/chapter-16/02-properties-of-exterior-derivative",
"occurrence_id": "occ-324fb368382e21d890136ed8"
},
{
"raw": "href=\"#problem-16-5\"",
"href": "#problem-16-5",
"range": [
15549,
15569
],
"relation": "references",
"target_route": "zh/chapter-16/02-properties-of-exterior-derivative",
"target_anchor": "problem-16-5",
"resolved": true,
"reason": null,
"source_revision": "07787b3fe2cdc5cfb76b39ae00430046967984c9701260e8c54dd583c9261af7",
"source_route": "zh/chapter-16/02-properties-of-exterior-derivative",
"occurrence_id": "occ-324fb368382e21d890136ed8"
},
{
"raw": "href=\"#theorem-16-3\"",
"href": "#theorem-16-3",
"range": [
11368,
11388
],
"relation": "references",
"target_route": "en/chapter-16/02-properties-of-exterior-derivative",
"target_anchor": "theorem-16-3",
"resolved": true,
"reason": null,
"source_revision": "52911a90f33781ff093ad2aeac54374f36150c8931ee5b928eadca106ec49a98",
"source_route": "en/chapter-16/02-properties-of-exterior-derivative",
"occurrence_id": "occ-ca966d2373e096b7aa16ccbd"
},
{
"raw": "href=\"../chapter-15/05-commutators-flows-and-lie-derivatives#problem-15-24\"",
"href": "../chapter-15/05-commutators-flows-and-lie-derivatives#problem-15-24",
"range": [
12423,
12498
],
"relation": "references",
"target_route": "en/chapter-15/05-commutators-flows-and-lie-derivatives",
"target_anchor": "problem-15-24",
"resolved": true,
"reason": null,
"source_revision": "52911a90f33781ff093ad2aeac54374f36150c8931ee5b928eadca106ec49a98",
"source_route": "en/chapter-16/02-properties-of-exterior-derivative",
"occurrence_id": "occ-ca966d2373e096b7aa16ccbd"
},
{
"raw": "href=\"#equation-16-13\"",
"href": "#equation-16-13",
"range": [
13100,
13122
],
"relation": "references",
"target_route": "en/chapter-16/02-properties-of-exterior-derivative",
"target_anchor": "equation-16-13",
"resolved": true,
"reason": null,
"source_revision": "52911a90f33781ff093ad2aeac54374f36150c8931ee5b928eadca106ec49a98",
"source_route": "en/chapter-16/02-properties-of-exterior-derivative",
"occurrence_id": "occ-ca966d2373e096b7aa16ccbd"
},
{
"raw": "href=\"#equation-16-11\"",
"href": "#equation-16-11",
"range": [
13521,
13543
],
"relation": "references",
"target_route": "en/chapter-16/02-properties-of-exterior-derivative",
"target_anchor": "equation-16-11",
"resolved": true,
"reason": null,
"source_revision": "52911a90f33781ff093ad2aeac54374f36150c8931ee5b928eadca106ec49a98",
"source_route": "en/chapter-16/02-properties-of-exterior-derivative",
"occurrence_id": "occ-ca966d2373e096b7aa16ccbd"
},
{
"raw": "href=\"01-differential-forms-and-exterior-derivative#equation-16-3\"",
"href": "01-differential-forms-and-exterior-derivative#equation-16-3",
"range": [
13672,
13738
],
"relation": "references",
"target_route": "en/chapter-16/01-differential-forms-and-exterior-derivative",
"target_anchor": "equation-16-3",
"resolved": true,
"reason": null,
"source_revision": "52911a90f33781ff093ad2aeac54374f36150c8931ee5b928eadca106ec49a98",
"source_route": "en/chapter-16/02-properties-of-exterior-derivative",
"occurrence_id": "occ-ca966d2373e096b7aa16ccbd"
},
{
"raw": "href=\"#equation-16-14\"",
"href": "#equation-16-14",
"range": [
15339,
15361
],
"relation": "references",
"target_route": "en/chapter-16/02-properties-of-exterior-derivative",
"target_anchor": "equation-16-14",
"resolved": true,
"reason": null,
"source_revision": "52911a90f33781ff093ad2aeac54374f36150c8931ee5b928eadca106ec49a98",
"source_route": "en/chapter-16/02-properties-of-exterior-derivative",
"occurrence_id": "occ-ca966d2373e096b7aa16ccbd"
},
{
"raw": "href=\"#equation-16-13\"",
"href": "#equation-16-13",
"range": [
15509,
15531
],
"relation": "references",
"target_route": "en/chapter-16/02-properties-of-exterior-derivative",
"target_anchor": "equation-16-13",
"resolved": true,
"reason": null,
"source_revision": "52911a90f33781ff093ad2aeac54374f36150c8931ee5b928eadca106ec49a98",
"source_route": "en/chapter-16/02-properties-of-exterior-derivative",
"occurrence_id": "occ-ca966d2373e096b7aa16ccbd"
},
{
"raw": "href=\"#equation-16-10\"",
"href": "#equation-16-10",
"range": [
16127,
16149
],
"relation": "references",
"target_route": "en/chapter-16/02-properties-of-exterior-derivative",
"target_anchor": "equation-16-10",
"resolved": true,
"reason": null,
"source_revision": "52911a90f33781ff093ad2aeac54374f36150c8931ee5b928eadca106ec49a98",
"source_route": "en/chapter-16/02-properties-of-exterior-derivative",
"occurrence_id": "occ-ca966d2373e096b7aa16ccbd"
},
{
"raw": "href=\"#equation-16-14\"",
"href": "#equation-16-14",
"range": [
16465,
16487
],
"relation": "references",
"target_route": "en/chapter-16/02-properties-of-exterior-derivative",
"target_anchor": "equation-16-14",
"resolved": true,
"reason": null,
"source_revision": "52911a90f33781ff093ad2aeac54374f36150c8931ee5b928eadca106ec49a98",
"source_route": "en/chapter-16/02-properties-of-exterior-derivative",
"occurrence_id": "occ-ca966d2373e096b7aa16ccbd"
},
{
"raw": "href=\"#equation-16-14\"",
"href": "#equation-16-14",
"range": [
16759,
16781
],
"relation": "references",
"target_route": "en/chapter-16/02-properties-of-exterior-derivative",
"target_anchor": "equation-16-14",
"resolved": true,
"reason": null,
"source_revision": "52911a90f33781ff093ad2aeac54374f36150c8931ee5b928eadca106ec49a98",
"source_route": "en/chapter-16/02-properties-of-exterior-derivative",
"occurrence_id": "occ-ca966d2373e096b7aa16ccbd"
},
{
"raw": "href=\"#problem-16-5\"",
"href": "#problem-16-5",
"range": [
16934,
16954
],
"relation": "references",
"target_route": "en/chapter-16/02-properties-of-exterior-derivative",
"target_anchor": "problem-16-5",
"resolved": true,
"reason": null,
"source_revision": "52911a90f33781ff093ad2aeac54374f36150c8931ee5b928eadca106ec49a98",
"source_route": "en/chapter-16/02-properties-of-exterior-derivative",
"occurrence_id": "occ-ca966d2373e096b7aa16ccbd"
}
],
"reading_order": [
"occ-324fb368382e21d890136ed8",
"occ-ca966d2373e096b7aa16ccbd"
],
"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": "ebe5f0d2f73083e2b5811d5ed0f86e5961ec9ca3c7e73184a506cd5d4814875d",
"optional_enrichments": []
}