>>634
>松坂和夫での無限降鎖で、それにa_ω=0を添加したもので、全体として二項関係>の無限降鎖
>はい、大間違い。
>二項関係>を独自再定義しない限りx>0のxが存在しないので降鎖になりません。
>>636
><無限降鎖 1>1/2>1/3>・・>1/n>・・ なんて分からん奴おらんし
><無限降鎖 1>1/2>1/3>・・>1/n>・・>0 なる間違い書いてるし

なんか、勘違いしているようだね
勘違いは、おサルだけかと思ったら
へんなやつ

下記の全順序を百回音読してよ
通常の不等号>の二項関係は、実数全体の成す集合 Rに使えるよ
だったら、”無限降鎖 1>1/2>1/3>・・>1/n>・・>0”が、なんで間違いなのかね?
それに、全順序の説明に、”関連する概念 鎖”と書かれていますよ

上記「二項関係>を独自再定義しない限りx>0のxが存在しないので降鎖になりません」って?
そんな考えなら、どうやれば、実数R全体が二項関係>に関して全順序になるって示せるんだ?
(整列可能定理も知らないのかもな)
実数R全体が二項関係>に関して全順序になるから、”1>1/2>1/3>・・>1/n>・・>0”も二項関係>に関して全順序列
列を”鎖”に読み替えるのは、単に用語の問題だ
本質的な問題は、降鎖の松坂の定義>>477での”列(a_n)n∈N”のNを、考える列に合わせて、どう拡張するかだけの話じゃん

つづく