内積の公理から「(x|x) = 0 ⇒ x = 0」だけを外した二次形式を何と呼ぶか？ 見当たらない。「非退化」を仮定しないことなので「退化」という形容詞を付けてもいいが、「退化している」ではなくて「退化を許す」だから、ちょっと違和感がある。半ノルム（semi-…

トレースの公理で、p = 2, 4, 8, 16, ... と2のベキ乗だけを考えて、「τ(fp)1/p が有界である」だけでいいようだ。|f|p := τ(fp)1/p としてpノルム（pは2のベキ）を定義して、次の変形ヘルダーの不等式を示す。 |fg|p ≦ |f|2p|g|2p これのベースとなるのがコ…