{
"schema_version": 1,
"kind": "ConceptView",
"producer": "concept-view-1",
"concept_id": "urn:uuid:68b6758f-5f71-444b-8fa4-ff25e8ccdd6b",
"labels": {
"en": "Inner product, complex case"
},
"alternative_labels": [],
"scope_note": "",
"identity_status": "active",
"identity_revision": "03e68265abfd6035f12a59d96fb289e064053423016ec220ea142e46cba36a60",
"occurrences": [
{
"concept_id": "urn:uuid:68b6758f-5f71-444b-8fa4-ff25e8ccdd6b",
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"lang": "en",
"route": "books/woit-qtgr/2025-10-20/en/chapter-04/04-inner-products",
"anchor": "first-8c9bd1ba0928e81d7e3d-en",
"chapter": "4",
"section": "4.4",
"offset": 2274,
"range": [
11152,
12562
],
"source_revision": "3977807e255d2714286f744389ed0a4b92c7ca420946f9f415e6e63c1b284cdf",
"source_category": "original_transcription",
"review_status": "ai-transcription-compared",
"role": "definition",
"role_basis": {
"kind": "registered-source-environment",
"registered_position": {
"route": "books/woit-qtgr/2025-10-20/en/chapter-04/04-inner-products",
"lang": "en",
"section": "4.4",
"signal": "named-definition",
"label": "Inner product, complex case",
"english": "Inner product, complex case",
"offset": 1719
}
},
"label": "> [!definition] Definition · Inner product, complex case",
"context": {
"range": [
11152,
12562
],
"quote": "\n\n> [!definition] Definition · Inner product, complex case\n> \n>\n> Definition (Inner product, complex case). A Hermitian inner product on a complex vector space $V$ is a map\n>\n> \n>\n> $$\n> \\langle \\cdot , \\cdot \\rangle : V \\times V \\to \\mathbf {C}\n> $$\n>\n> \n>\n> that is conjugate symmetric\n>\n> \n>\n> $$\n> \\langle v, w \\rangle = \\overline {{\\langle w , v \\rangle}}\n> $$\n>\n> \n>\n> non-degenerate in both variables, linear in the second variable, and antilinear in the first variable: for $\\alpha \\in \\mathbf { C }$ and $u , v , w \\in V$.\n>\n> \n>\n> $$\n> \\langle u + v, w \\rangle = \\langle u, w \\rangle + \\langle v, w \\rangle , \\quad \\langle \\alpha u, v \\rangle = \\overline {{\\alpha}} \\langle u, v \\rangle\n> $$\n",
"quote_sha256": "83d9d72525c3ca5b4e121f48f8652c5f80c070472a4bf10cc9d561d3e12b7d85",
"environment": "definition",
"excerpt_omitted": false
},
"parallel_readings": [
{
"route": "books/woit-qtgr/2025-10-20/zh/chapter-04/04-inner-products",
"lang": "zh-CN",
"source_category": "translation",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-03dbebd1a9398562448f3ef1"
},
{
"concept_id": "urn:uuid:68b6758f-5f71-444b-8fa4-ff25e8ccdd6b",
"book_id": "woit-qtgr",
"edition_id": "2025-10-20",
"lang": "en",
"route": "books/woit-qtgr/2025-10-20/en/chapter-04/04-inner-products",
"anchor": "concept-4-complex-inner-product",
"chapter": "4",
"section": "4.4",
"offset": 2502,
"range": [
11380,
11678
],
"source_revision": "3977807e255d2714286f744389ed0a4b92c7ca420946f9f415e6e63c1b284cdf",
"source_category": "original_transcription",
"review_status": "ai-transcription-compared",
"role": "occurrence",
"role_basis": {
"kind": "explicit-source-uuid-marker"
},
"label": "Inner product, complex case",
"context": {
"range": [
11152,
12562
],
"quote": "\n\n> [!definition] Definition · Inner product, complex case\n> \n>\n> Definition (Inner product, complex case). A Hermitian inner product on a complex vector space $V$ is a map\n>\n> \n>\n> $$\n> \\langle \\cdot , \\cdot \\rangle : V \\times V \\to \\mathbf {C}\n> $$\n>\n> \n>\n> that is conjugate symmetric\n>\n> \n>\n> $$\n> \\langle v, w \\rangle = \\overline {{\\langle w , v \\rangle}}\n> $$\n>\n> \n>\n> non-degenerate in both variables, linear in the second variable, and antilinear in the first variable: for $\\alpha \\in \\mathbf { C }$ and $u , v , w \\in V$.\n>\n> \n>\n> $$\n> \\langle u + v, w \\rangle = \\langle u, w \\rangle + \\langle v, w \\rangle , \\quad \\langle \\alpha u, v \\rangle = \\overline {{\\alpha}} \\langle u, v \\rangle\n> $$\n",
"quote_sha256": "83d9d72525c3ca5b4e121f48f8652c5f80c070472a4bf10cc9d561d3e12b7d85",
"environment": "definition",
"excerpt_omitted": false
},
"parallel_readings": [
{
"route": "books/woit-qtgr/2025-10-20/zh/chapter-04/04-inner-products",
"lang": "zh-CN",
"source_category": "translation",
"basis": "registered-book-edition-section-language-context; not-concept-equivalence"
}
],
"id": "occ-7f1c0073d91289767665a0c6"
}
],
"registered_positions": [
{
"route": "books/woit-qtgr/2025-10-20/en/chapter-04/04-inner-products",
"lang": "en",
"section": "4.4",
"signal": "named-definition",
"label": "Inner product, complex case",
"english": "Inner product, complex case",
"offset": 1719
},
{
"route": "books/woit-qtgr/2025-10-20/en/chapter-04/04-inner-products",
"lang": "en",
"section": "4.4",
"signal": "term-mark",
"label": "Inner product, complex case",
"english": "Inner product, complex case",
"offset": 1946
}
],
"statements": [],
"resolved_references": [],
"reading_order": [
"occ-03dbebd1a9398562448f3ef1",
"occ-7f1c0073d91289767665a0c6"
],
"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": "ca11d912b6af61d6e3a10d9b8431d198512141e3c70fbeb736aee773d89aff64",
"optional_enrichments": []
}