05/08/20 08:08:49
ベクトルでもない順序対に足し算も何もないですよ
>>272の例で言うなら(2.C)+(1,A)なんて言っても意味不明ですよね
普通の数学の用語でも分数の足し算くらい扱えます
同値類の足し算を定義してwell-definednessを確認するだけです
そんな理由で普通の数学と違う用語を使う意義があるとまでは思えません
05/08/20 08:08:49
ベクトルでもない順序対に足し算も何もないですよ
>>272の例で言うなら(2.C)+(1,A)なんて言っても意味不明ですよね
普通の数学の用語でも分数の足し算くらい扱えます
同値類の足し算を定義してwell-definednessを確認するだけです
そんな理由で普通の数学と違う用語を使う意義があるとまでは思えません