{
  "schema_version": 1,
  "kind": "ConceptView",
  "producer": "concept-view-1",
  "concept_id": "urn:uuid:253d9f09-01fb-4357-9e2c-0221063865de",
  "labels": {
    "zh-CN": "欧氏向量空间",
    "en": "Euclidean vector space"
  },
  "alternative_labels": [],
  "scope_note": "",
  "identity_status": "active",
  "identity_revision": "703ecef884fd4e70e1dcacba222814105388aa68a916bb14fd862f1e16543057",
  "occurrences": [
    {
      "concept_id": "urn:uuid:253d9f09-01fb-4357-9e2c-0221063865de",
      "book_id": "szekeres",
      "edition_id": "source-snapshot-bc3404156f6e",
      "lang": "zh-CN",
      "route": "zh/chapter-05/01-real-inner-product-spaces",
      "anchor": "concept-5-euclidean-vector-space",
      "chapter": "5",
      "section": "5.1",
      "offset": 2533,
      "range": [
        8022,
        8274
      ],
      "source_revision": "b0905ca500407f5be9e556fa6537e88d1d774fe93ee3047ac3c1ce4bc6352512",
      "source_category": "translation",
      "review_status": "unreviewed",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "欧氏向量空间(Euclidean vector space)",
      "context": {
        "range": [
          7753,
          8396
        ],
        "quote": "此时称该内积为<u id=\"concept-5-positive-definite\" class=\"concept-term\" data-concept-identity=\"urn:uuid:60808942-4f7a-44c9-85de-4b3cf47ec7dd\" data-concept-route=\"/concept-identities#concept-60808942-4f7a-44c9-85de-4b3cf47ec7dd\">正定(positive definite)</u>或欧氏内积，而定义了这种内积的向量空间$V$称为<u id=\"concept-5-euclidean-vector-space\" class=\"concept-term\" data-concept-identity=\"urn:uuid:253d9f09-01fb-4357-9e2c-0221063865de\" data-concept-route=\"/concept-identities#concept-253d9f09-01fb-4357-9e2c-0221063865de\">欧氏向量空间(Euclidean vector space)</u>。条件(RIP3')蕴含条件(RIP3)，因为若存在非零向量$u$使得对所有$v \\in V$都有$u \\cdot v = 0$，则$u \\cdot u = 0$（取$v = u )$，这违反(RIP3')）。因此正定性是比非奇异性更强的要求。",
        "quote_sha256": "2507da321e8b0f61b134693f3da072222bc84f7f9b868f0d42e61365e7228b5a",
        "environment": null,
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "en/chapter-05/01-real-inner-product-spaces",
          "lang": "en",
          "source_category": "original_transcription",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-a9f2425f5d0537872a326188"
    }
  ],
  "registered_positions": [
    {
      "route": "zh/chapter-05/01-real-inner-product-spaces",
      "lang": "zh-CN",
      "section": "5.1",
      "signal": "term-mark",
      "label": "欧氏向量空间",
      "english": "Euclidean vector space",
      "offset": 1597
    }
  ],
  "statements": [],
  "resolved_references": [],
  "reading_order": [
    "occ-a9f2425f5d0537872a326188"
  ],
  "recorded_dependencies": [],
  "reading_paths": [],
  "coverage": {
    "registered_positions": 1,
    "located_occurrences": 1,
    "whole_book_search_complete": false,
    "registered_positions_truncated": false,
    "independent_human_review_implied": false
  },
  "unresolved": [],
  "base_revision": "d120bfd045b337a9f00aa04074ebd6ac3491dd25c5c91e86bcb59b6cb5b55e7c",
  "optional_enrichments": []
}