出版物マニフェスト

目次:

1. ベクトル空間
   <ベクトル空間序>
1.1. ベクトル空間の公理 <公理>
1.2. ベクトル空間の実例 <実例>
2. 基底
2.1 基底の定義
2.2 次元
    (次元の一意性定理) <次元一意性>
2.2 有限次元ベクトル空間

用語:

  1. ベクトル空間 -(has_alias)-> 線形空間
  2. ベクトル
  3. スカラー
  4. ベクトル/の/加法
  5. スカラー乗法
  6. ユークリッド//ベクトル空間
  7. ベクトル空間/の/基底
  8. 一次独立 -(has_alias)-> 線形独立
  9. ベクトル空間/の/生成系
  10. ベクトル空間/の/次元
  11. 有限次元//ベクトル空間

外部参照と未解決ターム

  1. 体/の/公理 -(refers-to)-> https​://ja.wikipedia.org/wiki/%E5%8F%AF%E6%8F%9B%E4%BD%93
  2. アーベル群 -(has_alias)-> 可換群
  3. 集合/の/基数

タグ:

  1. 線形代数
  2. ベクトル空間
  3. 線形空間
  4. 次元
{
  "provide" : {
    "item": [
      "",
      "ベクトル空間", "ベクトル空間序", "公理",  "実例",
      "基底", "基底の定義", "次元", "次元一意性", "有限次元ベクトル空間"
    ],
    "term": [
      {"ベクトル空間" : ["ベクトル空間序", "公理"]}, {"線形空間" : "公理"},
      {"ベクトル" : "公理"},
      {"スカラー" :  "公理"},
      {"ベクトル/の/加法" : "公理"},
      {"スカラー乗法" : "公理"},
      {"ユークリッド//ベクトル空間" : "実例"},
      {"ベクトル空間/の/基底" : "基底の定義"},
      {"一次独立" : "基底の定義"},
      {"線形独立" : "基底の定義"},
      {"ベクトル空間/の/生成系": "基底の定義"},
      {"ベクトル空間/の/次元" : "次元"},
      {"有限次元//ベクトル空間" : "有限次元ベクトル空間"}
    ],
    "tag": [
      "線形代数", "ベクトル空間", "線形空間", "次元"
    ]
  },
  "use" : {
    "item": [
       {"可換体" : "https://ja.wikipedia.org/wiki/%E5%8F%AF%E6%8F%9B%E4%BD%93"}
    ],
    "term": [
       {"体/の/公理" : "https://ja.wikipedia.org/wiki/%E5%8F%AF%E6%8F%9B%E4%BD%93"}
    ],
    "tag": [
      {"math.RA" : "https://arxiv.org/category_taxonomy"}
    ]
  },
  "require" : {
    "term": [
      "アーベル群", "可換群", "集合/の/基数"
    ]
  }
}

YAMLのほうが人間可読性はいいので、https://codebeautify.org/json-to-yaml で変換すると:

provide:
  item:
    - ''
    - ベクトル空間
    - ベクトル空間序
    - 公理
    - 実例
    - 基底
    - 基底の定義
    - 次元
    - 次元一意性
    - 有限次元ベクトル空間
  term:
    - ベクトル空間:
        - ベクトル空間序
        - 公理
    - 線形空間: 公理
    - ベクトル: 公理
    - スカラー: 公理
    - ベクトル/の/加法: 公理
    - スカラー乗法: 公理
    - ユークリッド//ベクトル空間: 実例
    - ベクトル空間/の/基底: 基底の定義
    - 一次独立: 基底の定義
    - 線形独立: 基底の定義
    - ベクトル空間/の/生成系: 基底の定義
    - ベクトル空間/の/次元: 次元
    - 有限次元//ベクトル空間: 有限次元ベクトル空間
  tag:
    - 線形代数
    - ベクトル空間
    - 線形空間
    - 次元
use:
  item:
    - 可換体: https://ja.wikipedia.org/wiki/%E5%8F%AF%E6%8F%9B%E4%BD%93
  term:
    - 体/の/公理: https://ja.wikipedia.org/wiki/%E5%8F%AF%E6%8F%9B%E4%BD%93
  tag:
    - math.RA: https://arxiv.org/category_taxonomy
require:
  term:
    - アーベル群
    - 可換群
    - 集合/の/基数