05/03/04 13:31:02
Ｐ29の定理14の証明の中で有界なる閉区域Ｋにおいて連続なるρ（Ｐ）は
最小値を有する。それをρ_0とすれば，ρ（Ｐ）＞０だから，ρ_0＞０で
ｖ（Ｐ，ρ_0／2）≦ｖ（Ｐ，ρ/2）＜ε．すなわちＰＱ＜ρ_0なるとき
｜ｆ（Ｐ）－ｆ（Ｑ）｜≦ｖ（Ｐ，ρ_0）≦ε．となっているのですが，
｜ｆ（Ｐ）－ｆ（Ｑ）｜≦εより，｜ｆ（Ｐ）－ｆ（Ｑ）｜＝εとなって
しまうことはないのでしょうか？よろしくお願いします。
05/03/04 13:31:02
Ｐ29の定理14の証明の中で有界なる閉区域Ｋにおいて連続なるρ（Ｐ）は
最小値を有する。それをρ_0とすれば，ρ（Ｐ）＞０だから，ρ_0＞０で
ｖ（Ｐ，ρ_0／2）≦ｖ（Ｐ，ρ/2）＜ε．すなわちＰＱ＜ρ_0なるとき
｜ｆ（Ｐ）－ｆ（Ｑ）｜≦ｖ（Ｐ，ρ_0）≦ε．となっているのですが，
｜ｆ（Ｐ）－ｆ（Ｑ）｜≦εより，｜ｆ（Ｐ）－ｆ（Ｑ）｜＝εとなって
しまうことはないのでしょうか？よろしくお願いします。