数学 › フーリエ解析と超関数 › 標本化定理とウェーブレット

Bezout 型の恒等式

補題 5.1（「標本化定理とウェーブレット」§5） ・ ✓公理まで証明済み

N≥1N\ge1 について Q(y)=∑k=0N−1(2N−1k)(1−y)N−1−kykQ(y)=\sum_{k=0}^{N-1}\binom{2N-1}{k}(1-y)^{N-1-k}y^k とおくと、QQ は [0,1][0,1] 上で正の、次数 N−1N-1 以下の多項式で

(1−y)NQ(y)+yNQ(1−y)=1.(1-y)^NQ(y)+y^NQ(1-y)=1 .

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

閉包の状態

✓ 公理まで証明済み

証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています。

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

前提をたどる 証明が使う定理・定義

証明は Rikai の他の定理を参照していません（定義と論理だけで示されています）。

これを使っている定理 証明で参照している 1 件

関連するノック 1 問