横チェーンつづき - henjin1goの日記

$\psi^2_{c_n\rightarrow b_{n+1}}$ とn=2とすればよい

というのがこの前の話でしたが、n=2ならば $b_n\rightarrow c_{n+2}$ となるわけです

しかし $c_n\rightarrow d_{n}\rightarrow c_{n+1}$ を考慮すると、

$b_n\rightarrow c_{n+1}\rightarrow d_{n+1}\rightarrow c_{n+2}$

なわけですから、
この制約は $\psi^\infty_{c_n\rightarrow b_{n+1}}$ だけで十分なわけです。つまりn=∞

というわけで横チェーンは

$\psi^\infty_{c_n\rightarrow b_{n+1}}\wedge \psi^\infty_{d_n\rightarrow a_{n+1}}$

という風情になります。追い越し制限が∞ということはOW型の制約ということなので、、、