14/04/25 02:42:53.01
>>247
なんか前のほうでも、抽象化だの具象化だのポエムを吐いていたようだか、
二項演算は、乗法の「一般化」。それを有理数や実数の乗法へ「特殊化」するには
満たすべき法則を追加する必要があり、そこに交換法則も含まれる。
乗法可換を含めずに、どうやって実数を定義するのさ？
14/04/25 02:42:53.01
>>247
なんか前のほうでも、抽象化だの具象化だのポエムを吐いていたようだか、
二項演算は、乗法の「一般化」。それを有理数や実数の乗法へ「特殊化」するには
満たすべき法則を追加する必要があり、そこに交換法則も含まれる。
乗法可換を含めずに、どうやって実数を定義するのさ？