{
  "schema_version": 1,
  "kind": "ConceptView",
  "producer": "concept-view-1",
  "concept_id": "urn:uuid:47072eab-eb7b-4766-b00a-0bf3fe867c5e",
  "labels": {
    "zh-CN": "自由向量空间",
    "en": "free vector space"
  },
  "alternative_labels": [],
  "scope_note": "",
  "identity_status": "active",
  "identity_revision": "3a7da153f58faf18b5374422946fadff8dba526cfa29a859cafd86b150e0c02d",
  "occurrences": [
    {
      "concept_id": "urn:uuid:47072eab-eb7b-4766-b00a-0bf3fe867c5e",
      "book_id": "szekeres",
      "edition_id": "source-snapshot-bc3404156f6e",
      "lang": "zh-CN",
      "route": "zh/chapter-07/01-free-vector-spaces-and-tensor-spaces",
      "anchor": "first-7ea590de5c999a6681ac-zh",
      "chapter": "7",
      "section": "7.1",
      "offset": 648,
      "range": [
        6449,
        6693
      ],
      "source_revision": "724009ba3be50eb7848a22be25a944d8dcc36fc25a0a8a39f383d373f899b86b",
      "source_category": "translation",
      "review_status": "unreviewed",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "自由向量空间(free vector space)",
      "context": {
        "range": [
          6433,
          6791
        ],
        "quote": "更严格地说，集合 $S$ 上的 <u class=\"concept-term\" data-concept-identity=\"urn:uuid:47072eab-eb7b-4766-b00a-0bf3fe867c5e\" data-concept-route=\"/concept-identities#concept-47072eab-eb7b-4766-b00a-0bf3fe867c5e\" id=\"first-7ea590de5c999a6681ac-zh\">自由向量空间(free vector space)</u> $F ( S )$ 定义为所有函数 $f:S\\to\\mathbb K$ 的集合，这些函数在 $S$ 的除有限个元素外的所有元素处取值为零。显然，$F ( S )$ 在通常的定义下是一个向量空间，",
        "quote_sha256": "9251e9223e6c6851ab8a72dc150f36ce276812c6432c87499f7bd0cd7a44b03a",
        "environment": null,
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "en/chapter-07/01-free-vector-spaces-and-tensor-spaces",
          "lang": "en",
          "source_category": "original_transcription",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-b359fc01721e836f84bab6f2"
    },
    {
      "concept_id": "urn:uuid:47072eab-eb7b-4766-b00a-0bf3fe867c5e",
      "book_id": "szekeres",
      "edition_id": "source-snapshot-bc3404156f6e",
      "lang": "en",
      "route": "en/chapter-07/01-free-vector-spaces-and-tensor-spaces",
      "anchor": "first-7ea590de5c999a6681ac-en",
      "chapter": "7",
      "section": "7.1",
      "offset": 920,
      "range": [
        6244,
        6480
      ],
      "source_revision": "5975ff488ab3c30cf5496df825f7f213a867478d71c61476831ea0a9e7b76c64",
      "source_category": "original_transcription",
      "review_status": "unreviewed",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "free vector space",
      "context": {
        "range": [
          6223,
          6683
        ],
        "quote": "More rigorously, the <u class=\"concept-term\" data-concept-identity=\"urn:uuid:47072eab-eb7b-4766-b00a-0bf3fe867c5e\" data-concept-route=\"/concept-identities#concept-47072eab-eb7b-4766-b00a-0bf3fe867c5e\" id=\"first-7ea590de5c999a6681ac-en\">free vector space</u> $F ( S )$ on a set $S$ is defined as the set of all functions $f:S\\to\\mathbb K$ that vanish at all but a finite number of elements of $S$. Clearly $F ( S )$ is a vector space with the usual definitions,",
        "quote_sha256": "344097f0fe338922b51ec6d3414fc6ccb78723c09861928f620b9c89d5244079",
        "environment": null,
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "zh/chapter-07/01-free-vector-spaces-and-tensor-spaces",
          "lang": "zh-CN",
          "source_category": "translation",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-f21c2c41ce8e6c7f0388e383"
    }
  ],
  "registered_positions": [
    {
      "route": "en/chapter-07/01-free-vector-spaces-and-tensor-spaces",
      "lang": "en",
      "section": "7.1",
      "signal": "term-mark",
      "label": "free vector space",
      "english": "free vector space",
      "offset": 920
    },
    {
      "route": "zh/chapter-07/01-free-vector-spaces-and-tensor-spaces",
      "lang": "zh-CN",
      "section": "7.1",
      "signal": "term-mark",
      "label": "自由向量空间",
      "english": "free vector space",
      "offset": 648
    }
  ],
  "statements": [],
  "resolved_references": [],
  "reading_order": [
    "occ-b359fc01721e836f84bab6f2",
    "occ-f21c2c41ce8e6c7f0388e383"
  ],
  "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": "38b3fe522d311f1789b737ce66494d3dfb64f453aa176f76936aec62a9d6b1dd",
  "optional_enrichments": []
}