数学 › 有限体と符号 › 線形符号
Hamming 距離は距離
命題 2.2（「線形符号」§2） ・ ✓公理まで証明済み
すべての x,y,z∈Fqn について次が成り立つ。
- d(x,y)≥0 で、d(x,y)=0⟺x=y。
- d(x,y)=d(y,x)。
- d(x,z)≤d(x,y)+d(y,z)。
- d(x+z,y+z)=d(x,y)=wt(x−y)。また a∈Fq× なら wt(ax)=wt(x)。
本文で読む（証明と前後の説明）→
閉包の状態
✓ 公理まで証明済み
証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています。
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義
証明は Rikai の他の定理を参照していません（定義と論理だけで示されています）。
これを使っている定理 証明で参照している 3 件