数学 › 有限体と符号 › 線形符号

二元エントロピー関数

定義 7.1（「線形符号」§7）

0<λ<10 < \lambda < 1 に対し

H(λ)=−λlog⁡2λ−(1−λ)log⁡2(1−λ)H(\lambda) = -\lambda \log_2 \lambda - (1 - \lambda)\log_2(1 - \lambda)

と定め、H(0)=H(1)=0H(0) = H(1) = 0 とする。HH を二元エントロピー関数という。

本文で読む（前後の説明と例）→

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。

これを使っている定理

証明で明示的に参照している定理は、まだありません。