17/09/23 11:57:49.41 8lIM/3/v.net
>>527
>「集合族 Xn が単調減少である」とは「X1⊃X2⊃・・・」です。
それ、一般的な「単調減少」の用法なんですかね？ （＾＾
で、>>522に書いたように、”最近の記号、高校数学では、”⊂”は等号”＝”を含んでいるそうですよ
大学数学では、むかしから、そうでしたがね”
それで良いんですよね？
その定義なら
>＞つまり、濃度が等しいだけでは（狭義）単調減少を否定する根拠にはならないということです。
Yes
17/09/23 11:57:49.41 8lIM/3/v.net
>>527
>「集合族 Xn が単調減少である」とは「X1⊃X2⊃・・・」です。
それ、一般的な「単調減少」の用法なんですかね？ （＾＾
で、>>522に書いたように、”最近の記号、高校数学では、”⊂”は等号”＝”を含んでいるそうですよ
大学数学では、むかしから、そうでしたがね”
それで良いんですよね？
その定義なら
>＞つまり、濃度が等しいだけでは（狭義）単調減少を否定する根拠にはならないということです。
Yes