{
  "schema_version": 1,
  "kind": "ConceptView",
  "producer": "concept-view-1",
  "concept_id": "urn:uuid:897523c4-d8fb-48f8-8a4c-e059d6fb978b",
  "labels": {
    "en": "Inner product, real case"
  },
  "alternative_labels": [],
  "scope_note": "",
  "identity_status": "active",
  "identity_revision": "b111744201d095184cc29db23df11393edaedc1893ad57813734eacea6631417",
  "occurrences": [
    {
      "concept_id": "urn:uuid:897523c4-d8fb-48f8-8a4c-e059d6fb978b",
      "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-30023cefe1a0aa6b0bbc-en",
      "chapter": "4",
      "section": "4.4",
      "offset": 618,
      "range": [
        9496,
        10348
      ],
      "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, real case",
          "english": "Inner product, real case",
          "offset": 548
        }
      },
      "label": "> [!definition] Definition · <span class=\"definition-name\">Inner product, real case</span>",
      "context": {
        "range": [
          9496,
          10348
        ],
        "quote": "\n\n> [!definition] Definition · <span class=\"definition-name\">Inner product, real case</span>\n> <span id=\"source-block-076\" class=\"block-anchor\"></span>\n>\n> <span class=\"author-definition-label\" aria-hidden=\"true\">Definition (<u id=\"concept-4-real-inner-product\" class=\"concept-term\" data-concept-id=\"concept-4-real-inner-product\" data-concept-identity=\"urn:uuid:897523c4-d8fb-48f8-8a4c-e059d6fb978b\" data-concept-route=\"/concept-identities#concept-897523c4-d8fb-48f8-8a4c-e059d6fb978b\">Inner product, real case</u>). </span>An inner product on a real vector space $V$ is a symmetric $( ( v , w ) = ( w , v ) )$ map\n>\n> <span id=\"source-block-077\" class=\"block-anchor\"></span>\n>\n> $$\n> (\\cdot , \\cdot): V \\times V \\to \\mathbf {R}\n> $$\n>\n> <span id=\"source-block-078\" class=\"block-anchor\"></span>\n>\n> that is non-degenerate and linear in both variables.\n",
        "quote_sha256": "dc56f868c1fd3509e71087cb077a6f77fc8119b122ed349aa31e70bbf7fc207f",
        "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-cadbf839263834f4d4dfcc3b"
    },
    {
      "concept_id": "urn:uuid:897523c4-d8fb-48f8-8a4c-e059d6fb978b",
      "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-real-inner-product",
      "chapter": "4",
      "section": "4.4",
      "offset": 843,
      "range": [
        9721,
        10010
      ],
      "source_revision": "3977807e255d2714286f744389ed0a4b92c7ca420946f9f415e6e63c1b284cdf",
      "source_category": "original_transcription",
      "review_status": "ai-transcription-compared",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "Inner product, real case",
      "context": {
        "range": [
          9496,
          10348
        ],
        "quote": "\n\n> [!definition] Definition · <span class=\"definition-name\">Inner product, real case</span>\n> <span id=\"source-block-076\" class=\"block-anchor\"></span>\n>\n> <span class=\"author-definition-label\" aria-hidden=\"true\">Definition (<u id=\"concept-4-real-inner-product\" class=\"concept-term\" data-concept-id=\"concept-4-real-inner-product\" data-concept-identity=\"urn:uuid:897523c4-d8fb-48f8-8a4c-e059d6fb978b\" data-concept-route=\"/concept-identities#concept-897523c4-d8fb-48f8-8a4c-e059d6fb978b\">Inner product, real case</u>). </span>An inner product on a real vector space $V$ is a symmetric $( ( v , w ) = ( w , v ) )$ map\n>\n> <span id=\"source-block-077\" class=\"block-anchor\"></span>\n>\n> $$\n> (\\cdot , \\cdot): V \\times V \\to \\mathbf {R}\n> $$\n>\n> <span id=\"source-block-078\" class=\"block-anchor\"></span>\n>\n> that is non-degenerate and linear in both variables.\n",
        "quote_sha256": "dc56f868c1fd3509e71087cb077a6f77fc8119b122ed349aa31e70bbf7fc207f",
        "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-36d66334ffadd7888f387aeb"
    }
  ],
  "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, real case",
      "english": "Inner product, real case",
      "offset": 548
    },
    {
      "route": "books/woit-qtgr/2025-10-20/en/chapter-04/04-inner-products",
      "lang": "en",
      "section": "4.4",
      "signal": "term-mark",
      "label": "Inner product, real case",
      "english": "Inner product, real case",
      "offset": 772
    }
  ],
  "statements": [],
  "resolved_references": [],
  "reading_order": [
    "occ-cadbf839263834f4d4dfcc3b",
    "occ-36d66334ffadd7888f387aeb"
  ],
  "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": "e2be49dcddd43322b61c82744780aaafa62c926fc529a06b71e504b23de3e058",
  "optional_enrichments": []
}