12/08/19 14:08:04.11
>>449
>群論にて、一般的な除法「÷」に該当するものを定義せずにできる話じゃないよな？
こんな一般的な除法「÷」に該当するモノなんて一概に定義出来る訳がない。
こんなことも分からんのかw まあ、群Gに位相を入れてGを、
C^{×}、R^{×}、Q^{×}などの位相群として考えれば、
Gに乗法の二項演算・を定義したときに、G∋1(1はGの単位元)の任意の点aに対して
1÷aはaの逆元1・a^{-1}=a^{-1}を取ることにあたるで終わりだ。
そうすれば、Gの任意の点a、b≠0に対して定義される
除法「(a・1)÷b=a÷b」の商「(a・1)/b=a/b」は
a/b=(a・1)/b=a・(1/b)=a・b^{-1}=ab^{-1}
と定義される。
下らん言い訳はいいから、少しは杉浦解析入門みたいなのでも読んでこい。
解析概論でもいいぞ。