{
  "schema_version": 1,
  "kind": "ConceptView",
  "producer": "concept-view-1",
  "concept_id": "urn:uuid:4ae0743e-27f5-4211-ba73-7671ebc0738a",
  "labels": {
    "zh-CN": "对偶表示或逆变表示",
    "en": "Dual or contragredient representation"
  },
  "alternative_labels": [
    {
      "lang": "en",
      "value": "dual or contragredient representation"
    }
  ],
  "scope_note": "",
  "identity_status": "active",
  "identity_revision": "87ced53a6054df88c477671e1dad960de193d18604e2ab7fe95ad23c80a3405f",
  "occurrences": [
    {
      "concept_id": "urn:uuid:4ae0743e-27f5-4211-ba73-7671ebc0738a",
      "book_id": "woit-qtgr",
      "edition_id": "2025-10-20",
      "lang": "en",
      "route": "books/woit-qtgr/2025-10-20/en/chapter-04/02-dual-vector-spaces",
      "anchor": "first-5854b76d4f5dde5ced68-en",
      "chapter": "4",
      "section": "4.2",
      "offset": 5758,
      "range": [
        13036,
        13869
      ],
      "source_revision": "b22c3ff4ebb657bf1e6ea12bb32e608b2c606878c532aeaa3bee39833ba66c12",
      "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/02-dual-vector-spaces",
          "lang": "en",
          "section": "4.2",
          "signal": "named-definition",
          "label": "Dual or contragredient representation",
          "english": "Dual or contragredient representation",
          "offset": 5078
        }
      },
      "label": "> [!definition] Definition · <span class=\"definition-name\">Dual or contragredient representation</span>",
      "context": {
        "range": [
          13036,
          13869
        ],
        "quote": "\n\n> [!definition] Definition · <span class=\"definition-name\">Dual or contragredient representation</span>\n> <span id=\"source-block-050\" class=\"block-anchor\"></span>\n>\n> <span class=\"author-definition-label\" aria-hidden=\"true\">Definition (<u id=\"concept-4-dual-representation\" class=\"concept-term\" data-concept-id=\"concept-4-dual-representation\" data-concept-identity=\"urn:uuid:4ae0743e-27f5-4211-ba73-7671ebc0738a\" data-concept-route=\"/concept-identities#concept-4ae0743e-27f5-4211-ba73-7671ebc0738a\">Dual or contragredient representation</u>). </span>The dual or contragredient representation on $V ^ { * }$ is given by taking as linear operators\n>\n> <span id=\"source-block-051\" class=\"block-anchor\"></span>\n>\n> <span id=\"equation-4-2\" class=\"block-anchor\"></span>\n>\n> $$\n> (\\pi^ {- 1}) ^ {t} (g): V ^ {*} \\to V ^ {*}\\tag{4.2}\n> $$\n",
        "quote_sha256": "f9b48cf55a0ef3915de137dd5ef79dded575c15bea75a3ab46604aa1e409caf7",
        "environment": "definition",
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "books/woit-qtgr/2025-10-20/zh/chapter-04/02-dual-vector-spaces",
          "lang": "zh-CN",
          "source_category": "translation",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-56b0108cad5ba01a5e33d8dd"
    },
    {
      "concept_id": "urn:uuid:4ae0743e-27f5-4211-ba73-7671ebc0738a",
      "book_id": "woit-qtgr",
      "edition_id": "2025-10-20",
      "lang": "en",
      "route": "books/woit-qtgr/2025-10-20/en/chapter-04/02-dual-vector-spaces",
      "anchor": "concept-4-dual-representation",
      "chapter": "4",
      "section": "4.2",
      "offset": 5996,
      "range": [
        13274,
        13578
      ],
      "source_revision": "b22c3ff4ebb657bf1e6ea12bb32e608b2c606878c532aeaa3bee39833ba66c12",
      "source_category": "original_transcription",
      "review_status": "ai-transcription-compared",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "Dual or contragredient representation",
      "context": {
        "range": [
          13036,
          13869
        ],
        "quote": "\n\n> [!definition] Definition · <span class=\"definition-name\">Dual or contragredient representation</span>\n> <span id=\"source-block-050\" class=\"block-anchor\"></span>\n>\n> <span class=\"author-definition-label\" aria-hidden=\"true\">Definition (<u id=\"concept-4-dual-representation\" class=\"concept-term\" data-concept-id=\"concept-4-dual-representation\" data-concept-identity=\"urn:uuid:4ae0743e-27f5-4211-ba73-7671ebc0738a\" data-concept-route=\"/concept-identities#concept-4ae0743e-27f5-4211-ba73-7671ebc0738a\">Dual or contragredient representation</u>). </span>The dual or contragredient representation on $V ^ { * }$ is given by taking as linear operators\n>\n> <span id=\"source-block-051\" class=\"block-anchor\"></span>\n>\n> <span id=\"equation-4-2\" class=\"block-anchor\"></span>\n>\n> $$\n> (\\pi^ {- 1}) ^ {t} (g): V ^ {*} \\to V ^ {*}\\tag{4.2}\n> $$\n",
        "quote_sha256": "f9b48cf55a0ef3915de137dd5ef79dded575c15bea75a3ab46604aa1e409caf7",
        "environment": "definition",
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "books/woit-qtgr/2025-10-20/zh/chapter-04/02-dual-vector-spaces",
          "lang": "zh-CN",
          "source_category": "translation",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-0b9a32fdfeee15623d0d94f7"
    },
    {
      "concept_id": "urn:uuid:4ae0743e-27f5-4211-ba73-7671ebc0738a",
      "book_id": "woit-qtgr",
      "edition_id": "2025-10-20",
      "lang": "zh-CN",
      "route": "books/woit-qtgr/2025-10-20/zh/chapter-04/02-dual-vector-spaces",
      "anchor": "first-5854b76d4f5dde5ced68-zh",
      "chapter": "4",
      "section": "4.2",
      "offset": 7132,
      "range": [
        15154,
        16104
      ],
      "source_revision": "938d19d061a8b69c758beeb064276f3de2f0639a77ac963f124b6481149d29e7",
      "source_category": "translation",
      "review_status": "unreviewed",
      "role": "definition",
      "role_basis": {
        "kind": "registered-source-environment",
        "registered_position": {
          "route": "books/woit-qtgr/2025-10-20/zh/chapter-04/02-dual-vector-spaces",
          "lang": "zh-CN",
          "section": "4.2",
          "signal": "named-definition",
          "label": "对偶表示或逆变表示",
          "english": "dual or contragredient representation",
          "offset": 5507
        }
      },
      "label": "> [!definition] 定义 · <span class=\"definition-name\">对偶表示或逆变表示(dual or contragredient representation)</span>",
      "context": {
        "range": [
          15154,
          16104
        ],
        "quote": "\n\n> [!definition] 定义 · <span class=\"definition-name\">对偶表示或逆变表示(dual or contragredient representation)</span>\n> <span id=\"source-block-050\" class=\"block-anchor\"></span>\n>\n> <span class=\"author-definition-label\" aria-hidden=\"true\">定义（[<u id=\"concept-4-dual-representation\" class=\"concept-term\" data-concept-id=\"concept-4-dual-representation\" data-concept-role=\"definition\" data-concept-reference=\"concepts/representation-theory/dual-representation\" data-concept-identity=\"urn:uuid:4ae0743e-27f5-4211-ba73-7671ebc0738a\" data-concept-route=\"/concept-identities#concept-4ae0743e-27f5-4211-ba73-7671ebc0738a\">对偶表示或逆变表示(dual or contragredient representation)</u>](../../../../../concepts/representation-theory/dual-representation)）。</span>$V ^ { * }$ 上的对偶表示或反步表示由取作线性算符给出\n>\n> <span id=\"source-block-051\" class=\"block-anchor\"></span>\n>\n> <span id=\"equation-4-2\" class=\"block-anchor\"></span>\n>\n> $$\n> (\\pi^ {- 1}) ^ {t} (g): V ^ {*} \\to V ^ {*}\\tag{4.2}\n> $$\n",
        "quote_sha256": "7a38ef97a082edf364c450aa88924ceb3796ba3b1ceb6a70d9f73aabc3ef1e80",
        "environment": "definition",
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "books/woit-qtgr/2025-10-20/en/chapter-04/02-dual-vector-spaces",
          "lang": "en",
          "source_category": "original_transcription",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-b5aaad40d286eda6ab653cca"
    },
    {
      "concept_id": "urn:uuid:4ae0743e-27f5-4211-ba73-7671ebc0738a",
      "book_id": "woit-qtgr",
      "edition_id": "2025-10-20",
      "lang": "zh-CN",
      "route": "books/woit-qtgr/2025-10-20/zh/chapter-04/02-dual-vector-spaces",
      "anchor": "concept-4-dual-representation",
      "chapter": "4",
      "section": "4.2",
      "offset": 7365,
      "range": [
        15387,
        15809
      ],
      "source_revision": "938d19d061a8b69c758beeb064276f3de2f0639a77ac963f124b6481149d29e7",
      "source_category": "translation",
      "review_status": "unreviewed",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "对偶表示或逆变表示(dual or contragredient representation)",
      "context": {
        "range": [
          15154,
          16104
        ],
        "quote": "\n\n> [!definition] 定义 · <span class=\"definition-name\">对偶表示或逆变表示(dual or contragredient representation)</span>\n> <span id=\"source-block-050\" class=\"block-anchor\"></span>\n>\n> <span class=\"author-definition-label\" aria-hidden=\"true\">定义（[<u id=\"concept-4-dual-representation\" class=\"concept-term\" data-concept-id=\"concept-4-dual-representation\" data-concept-role=\"definition\" data-concept-reference=\"concepts/representation-theory/dual-representation\" data-concept-identity=\"urn:uuid:4ae0743e-27f5-4211-ba73-7671ebc0738a\" data-concept-route=\"/concept-identities#concept-4ae0743e-27f5-4211-ba73-7671ebc0738a\">对偶表示或逆变表示(dual or contragredient representation)</u>](../../../../../concepts/representation-theory/dual-representation)）。</span>$V ^ { * }$ 上的对偶表示或反步表示由取作线性算符给出\n>\n> <span id=\"source-block-051\" class=\"block-anchor\"></span>\n>\n> <span id=\"equation-4-2\" class=\"block-anchor\"></span>\n>\n> $$\n> (\\pi^ {- 1}) ^ {t} (g): V ^ {*} \\to V ^ {*}\\tag{4.2}\n> $$\n",
        "quote_sha256": "7a38ef97a082edf364c450aa88924ceb3796ba3b1ceb6a70d9f73aabc3ef1e80",
        "environment": "definition",
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "books/woit-qtgr/2025-10-20/en/chapter-04/02-dual-vector-spaces",
          "lang": "en",
          "source_category": "original_transcription",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-a97ef1040691492efb4976eb"
    }
  ],
  "registered_positions": [
    {
      "route": "books/woit-qtgr/2025-10-20/en/chapter-04/02-dual-vector-spaces",
      "lang": "en",
      "section": "4.2",
      "signal": "named-definition",
      "label": "Dual or contragredient representation",
      "english": "Dual or contragredient representation",
      "offset": 5078
    },
    {
      "route": "books/woit-qtgr/2025-10-20/en/chapter-04/02-dual-vector-spaces",
      "lang": "en",
      "section": "4.2",
      "signal": "term-mark",
      "label": "Dual or contragredient representation",
      "english": "Dual or contragredient representation",
      "offset": 5315
    },
    {
      "route": "books/woit-qtgr/2025-10-20/zh/chapter-04/02-dual-vector-spaces",
      "lang": "zh-CN",
      "section": "4.2",
      "signal": "named-definition",
      "label": "对偶表示或逆变表示",
      "english": "dual or contragredient representation",
      "offset": 5507
    },
    {
      "route": "books/woit-qtgr/2025-10-20/zh/chapter-04/02-dual-vector-spaces",
      "lang": "zh-CN",
      "section": "4.2",
      "signal": "term-mark",
      "label": "对偶表示或逆变表示",
      "english": "dual or contragredient representation",
      "offset": 5739
    }
  ],
  "statements": [],
  "resolved_references": [],
  "reading_order": [
    "occ-56b0108cad5ba01a5e33d8dd",
    "occ-0b9a32fdfeee15623d0d94f7",
    "occ-b5aaad40d286eda6ab653cca",
    "occ-a97ef1040691492efb4976eb"
  ],
  "recorded_dependencies": [],
  "reading_paths": [],
  "coverage": {
    "registered_positions": 4,
    "located_occurrences": 4,
    "whole_book_search_complete": false,
    "registered_positions_truncated": false,
    "independent_human_review_implied": false
  },
  "unresolved": [],
  "base_revision": "393e10c8ab3b1581eaf63a5e04ee426e22b2dfa6f790c32360132d52fc158d0b",
  "optional_enrichments": []
}