{
  "schema_version": 1,
  "kind": "ConceptView",
  "producer": "concept-view-1",
  "concept_id": "urn:uuid:2733ca54-c706-432a-b96d-195c3a4e7fb4",
  "labels": {
    "zh-CN": "双线性形式",
    "en": "Bilinear forms"
  },
  "alternative_labels": [],
  "scope_note": "",
  "identity_status": "active",
  "identity_revision": "fb89f3f2a3dc2edf3351e13c75963205d8ef42437a2e64d8f02d936aa2f407e4",
  "occurrences": [
    {
      "concept_id": "urn:uuid:2733ca54-c706-432a-b96d-195c3a4e7fb4",
      "book_id": "woit-qtgr",
      "edition_id": "2025-10-20",
      "lang": "zh-CN",
      "route": "books/woit-qtgr/2025-10-20/zh/chapter-09/08-bilinear-forms-and-tensor-products",
      "anchor": "first-db16e626bde79def3d73-zh",
      "chapter": "9",
      "section": "9.5",
      "offset": 199,
      "range": [
        6695,
        7232
      ],
      "source_revision": "587ca892a60d5cf86f38cdac56433b5538fa9197271b5379113132b28a3e94bb",
      "source_category": "machine_draft",
      "review_status": "machine-draft-not-reviewed",
      "role": "definition",
      "role_basis": {
        "kind": "registered-source-environment",
        "registered_position": {
          "route": "books/woit-qtgr/2025-10-20/zh/chapter-09/08-bilinear-forms-and-tensor-products",
          "lang": "zh-CN",
          "section": "9.5",
          "signal": "named-definition",
          "label": "双线性形式",
          "english": "",
          "offset": 129
        }
      },
      "label": "> [!definition] 定义（双线性形式）",
      "context": {
        "range": [
          6695,
          7232
        ],
        "quote": "\n\n> [!definition] 定义（双线性形式）\n> 域$k$上的向量空间$V$上的双线性形式$B$是一个映射，其中本书取$k=\\mathbf R$或$\\mathbf C$：\n>\n> $$\n> B:V\\times V\\to k\n> $$\n>\n> 它对两个自变量分别线性，即\n>\n> $$\n> \\begin{aligned}\n> B(v+v^{\\prime},v^{\\prime\\prime})&=B(v,v^{\\prime\\prime})+B(v^{\\prime},v^{\\prime\\prime}), & B(cv,v^{\\prime})&=cB(v,v^{\\prime}),\\\\\n> B(v,v^{\\prime}+v^{\\prime\\prime})&=B(v,v^{\\prime})+B(v,v^{\\prime\\prime}), & B(v,cv^{\\prime})&=cB(v,v^{\\prime}),\n> \\end{aligned}\n> $$\n>\n> 其中$c\\in k$。若$B(v^{\\prime},v)=B(v,v^{\\prime})$，则称$B$为对称形式；若$B(v^{\\prime},v)=-B(v,v^{\\prime})$，则称其为反对称形式。\n",
        "quote_sha256": "e36b57db28220c13ec7ad28f17655636c910873806a6438522fd5a7731fc5090",
        "environment": "definition",
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "books/woit-qtgr/2025-10-20/en/chapter-09/08-bilinear-forms-and-tensor-products",
          "lang": "en",
          "source_category": "machine_draft",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-8a68df25f07305007eb6c2c3"
    },
    {
      "concept_id": "urn:uuid:2733ca54-c706-432a-b96d-195c3a4e7fb4",
      "book_id": "woit-qtgr",
      "edition_id": "2025-10-20",
      "lang": "en",
      "route": "books/woit-qtgr/2025-10-20/en/chapter-09/08-bilinear-forms-and-tensor-products",
      "anchor": "first-570976711025e90451ed-en",
      "chapter": "9",
      "section": "9.5",
      "offset": 324,
      "range": [
        5979,
        6638
      ],
      "source_revision": "6b2a4c6eade5849ed53f16d0244db3d1ad8599adf1097551554973a67b74fc13",
      "source_category": "machine_draft",
      "review_status": "machine-draft-not-reviewed",
      "role": "definition",
      "role_basis": {
        "kind": "registered-source-environment",
        "registered_position": {
          "route": "books/woit-qtgr/2025-10-20/en/chapter-09/08-bilinear-forms-and-tensor-products",
          "lang": "en",
          "section": "9.5",
          "signal": "named-definition",
          "label": "Bilinear forms",
          "english": "Bilinear forms",
          "offset": 254
        }
      },
      "label": "> [!definition] Definition (Bilinear forms)",
      "context": {
        "range": [
          5979,
          6638
        ],
        "quote": "\n\n> [!definition] Definition (Bilinear forms)\n> A bilinear form $B$ on a vector space $V$ over a field $k$ (for us, $k=\\mathbf R$ or $\\mathbf C$) is a map\n>\n> $$\n> B:V\\times V\\to k,\n> $$\n>\n> that is linear in each argument; that is,\n>\n> $$\n> \\begin{aligned}\n> B(v+v^{\\prime},v^{\\prime\\prime})&=B(v,v^{\\prime\\prime})+B(v^{\\prime},v^{\\prime\\prime}), & B(cv,v^{\\prime})&=cB(v,v^{\\prime}),\\\\\n> B(v,v^{\\prime}+v^{\\prime\\prime})&=B(v,v^{\\prime})+B(v,v^{\\prime\\prime}), & B(v,cv^{\\prime})&=cB(v,v^{\\prime}),\n> \\end{aligned}\n> $$\n>\n> where $c\\in k$. The form is symmetric if $B(v^{\\prime},v)=B(v,v^{\\prime})$, and antisymmetric if $B(v^{\\prime},v)=-B(v,v^{\\prime}).$\n",
        "quote_sha256": "1a6d81f2f316a8a7c8363e95f430345038b92b0f9fe55c36cca9ea02651ebaec",
        "environment": "definition",
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "books/woit-qtgr/2025-10-20/zh/chapter-09/08-bilinear-forms-and-tensor-products",
          "lang": "zh-CN",
          "source_category": "machine_draft",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-a03caf17a43ace7b0d34c4c0"
    }
  ],
  "registered_positions": [
    {
      "route": "books/woit-qtgr/2025-10-20/en/chapter-09/08-bilinear-forms-and-tensor-products",
      "lang": "en",
      "section": "9.5",
      "signal": "named-definition",
      "label": "Bilinear forms",
      "english": "Bilinear forms",
      "offset": 254
    },
    {
      "route": "books/woit-qtgr/2025-10-20/zh/chapter-09/08-bilinear-forms-and-tensor-products",
      "lang": "zh-CN",
      "section": "9.5",
      "signal": "named-definition",
      "label": "双线性形式",
      "english": "",
      "offset": 129
    }
  ],
  "statements": [],
  "resolved_references": [],
  "reading_order": [
    "occ-8a68df25f07305007eb6c2c3",
    "occ-a03caf17a43ace7b0d34c4c0"
  ],
  "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": "a9ee7b46e6c515a75109c33f5aadd8cb5a2e40cf065f650c45439e52433e8a22",
  "optional_enrichments": []
}