18/01/15 19:37:52.81 xsWEHCro.net
>>529 追加
元PDFを見て貰った方が話は早い
URLリンク(www.axfc.net) 「定理1.7 (422 に書いた定理)」の証明(>>145より)
で、(元PDFを見ている前提で)
(>>525より)「BfがB_N,Mで被覆されますので
あるB_N,Mの中に開区間が存在し
その区間内でリプシッツ連続になります」
と仰るが、B_N,Mは、定理1.7の証明中に出現するだけで、定理1.7の命題以前には出てきませんね
もし、定理1.7の主張で、「f はある開区間の上でリプシッツ連続」が、被覆側のB_N,Mの中で、開区間が存在し、その区間内でリプシッツ連続という主張なら、
被覆側のB_N,Mについての定義は、定理1.7の命題中、又は、その前に置かれるべきだ
また、定理1.7も
「・・・、 f は”B_N,Mの中の”ある開区間の上でリプシッツ連続である.」とでも書くべきでしょう
(”B_N,Mの中の”→”∪N ,M>=1BN,M の中の”と「∪N ,M>=1BN,M 」を使うべきかもしれませんが
(>>181より ”Bf ⊆ ∪N ,M>=1BN,M が成り立つ”ってことですからね ))
だから、定理1.7は、”Bf内に、リプシッツ連続なある開区間(a, b)の存在”を主張しているってことですね
ところが、仰るように(>>525)「あるB_N,Mの中に開区間が存在し