>>135
>一歩手前の点の集合をSとする。Sから出ている道は、3/4が原点から
>遠ざかる。したがって、そこからさらにランダムに一歩進めば
>75%は原点から遠ざかる。それだけの理屈。
やっぱりこの粗い考察も意味がよく分からんな
Sから一歩進むのよね？
それがF2∋abを表すためには（aは(1,0)方向bは(0,1)方向への移動ね）
w∈W(e)aW(e)bW(e)
でなくてはいけない
1つ前の位置は(1,0),(0,1),(1,2),(2,1)の4ヶ所で
そこから1歩で(1,1)に移動するのだけど
(1,0)の位置からならb
(0,1)の位置からならa
(1,2)の位置からならd（=b^-1）
(2,1)の位置からならc（=a^-1）
での移動
(1,0)の位置からbで移動するウォークは何でもOK
(0,1)の位置からaで移動するウォークがab∈F2を表すためには
そのウォークは
w∈W(e)aW(e)bW(e)cW(e)a
でなくてならないけれど
この最後の一歩は君のいうところの「短くする一歩」よね
あと2つも「短くする一歩」が最後で無くてはF2でabを表すことはできないんだけど
まあいいか
良くわからん粗い考察を追究しても仕方ないか