前回の続きです。 とおきます。このとき で が成り立ちます。ところで に対して 補題 2 ある定数 が存在して、任意の に対して *1 (実際は で良い) が成り立つので、任意の に対して … (*) が成り立ちます。そこで、関数解析学でよく知られるように、任意の …