{
"schema_version": 1,
"kind": "ConceptView",
"producer": "concept-view-1",
"concept_id": "urn:uuid:5064fac9-6eab-41ae-8c95-5afae9141140",
"labels": {
"zh-CN": "微分外代数",
"en": "differential exterior algebra"
},
"alternative_labels": [],
"scope_note": "",
"identity_status": "active",
"identity_revision": "5f9ec896412e675e70329086544ec99aab69838455769ff81bc4c79d7dd5880c",
"occurrences": [
{
"concept_id": "urn:uuid:5064fac9-6eab-41ae-8c95-5afae9141140",
"book_id": "szekeres",
"edition_id": "source-snapshot-bc3404156f6e",
"lang": "zh-CN",
"route": "zh/chapter-16/01-differential-forms-and-exterior-derivative",
"anchor": "first-d5afcc7bdb65e60eec5a-zh",
"chapter": "16",
"section": "16.1",
"offset": 1557,
"range": [
6460,
6715
],
"source_revision": "99404fb238033729b2b2fade3d5c6ef44c94009716c34971d915ad643b107be9",
"source_category": "translation",
"review_status": "unreviewed",
"role": "occurrence",
"role_basis": {
"kind": "explicit-source-uuid-marker"
},
"label": "微分外代数(differential exterior algebra)",
"context": {
"range": [
5806,
6719
],
"quote": "一个 微分形式(differential form) $r$-形式 $\\alpha$ 在开子集 $U \\subseteq M$ 上是一个 $r$-形式场，即在每一点 $p \\in U$ 处指定一个 $r \\mathrm { - f o r m ~ } \\alpha _ { p }$，使得对于 $U$ 上的所有光滑向量场 $X _ { 1 } , X _ { 2 } , \\ldots , X _ { r }$，函数 $\\alpha ( X _ { 1 } , X _ { 2 } , \\ldots , X _ { r } ) ( p ) \\equiv \\alpha _ { p } ( ( X _ { 1 } ) _ { p } , ( X _ { 2 } ) _ { p } , \\ldots , ( X _ { r } ) _ { p } )$ 可微。$U$ 上所有微分 $r$-形式的集合记为 $\\Lambda _ { r } ( U )$），而 $U$ 上的 微分外代数(differential exterior algebra) 是直和",
"quote_sha256": "5805b6d9c32806109f2a67ac0c056880d88cef09ac615ee123a10b29ea25f467",
"environment": null,
"excerpt_omitted": false
},
"parallel_readings": [
{
"route": "en/chapter-16/01-differential-forms-and-exterior-derivative",
"lang": "en",
"source_category": "original_transcription",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-40b2589a183e6655615f3b15"
},
{
"concept_id": "urn:uuid:5064fac9-6eab-41ae-8c95-5afae9141140",
"book_id": "szekeres",
"edition_id": "source-snapshot-bc3404156f6e",
"lang": "en",
"route": "en/chapter-16/01-differential-forms-and-exterior-derivative",
"anchor": "first-d5afcc7bdb65e60eec5a-en",
"chapter": "16",
"section": "16.1",
"offset": 1849,
"range": [
6277,
6525
],
"source_revision": "d4c614a8552b7dfb450aec5d6f226ef3ba36a5bafdb2b6df55bcc1d855e2b892",
"source_category": "original_transcription",
"review_status": "unreviewed",
"role": "occurrence",
"role_basis": {
"kind": "explicit-source-uuid-marker"
},
"label": "differential exterior algebra",
"context": {
"range": [
5499,
6550
],
"quote": "A differential $r$-form $\\alpha$ on an open subset $U \\subseteq M$ is an $r$-form field, or assignment of an $r \\mathrm { - f o r m ~ } \\alpha _ { p }$ at every point $p \\in U$ , such that the function $\\alpha ( X _ { 1 } , X _ { 2 } , \\ldots , X _ { r } ) ( p ) \\equiv \\alpha _ { p } ( ( X _ { 1 } ) _ { p } , ( X _ { 2 } ) _ { p } , \\ldots , ( X _ { r } ) _ { p } )$ is differentiable for all smooth vector fields $X _ { 1 } , X _ { 2 } , \\ldots , X _ { r }$ on $U$. The set of all differential $r$-forms on $U$ is denoted $\\Lambda _ { r } ( U )$ ) and the differential exterior algebra on $U$ is the direct sum",
"quote_sha256": "a29abf92a68feacf8491836acde4f2d3582c1c22606a2292909aa26de320a50a",
"environment": null,
"excerpt_omitted": false
},
"parallel_readings": [
{
"route": "zh/chapter-16/01-differential-forms-and-exterior-derivative",
"lang": "zh-CN",
"source_category": "translation",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-895329330b7eba31604d4b20"
}
],
"registered_positions": [
{
"route": "en/chapter-16/01-differential-forms-and-exterior-derivative",
"lang": "en",
"section": "16.1",
"signal": "term-mark",
"label": "differential exterior algebra",
"english": "differential exterior algebra",
"offset": 1658
},
{
"route": "zh/chapter-16/01-differential-forms-and-exterior-derivative",
"lang": "zh-CN",
"section": "16.1",
"signal": "term-mark",
"label": "微分外代数",
"english": "differential exterior algebra",
"offset": 1366
}
],
"statements": [],
"resolved_references": [],
"reading_order": [
"occ-40b2589a183e6655615f3b15",
"occ-895329330b7eba31604d4b20"
],
"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": "6ea4eedac36bd86094d847a3d9a00216d982dfb58013fd601897ba0f95ec70af",
"optional_enrichments": []
}