23/03/16 22:59:53.45 Q1UFNRPI.net
>>414
φ: A→B、ψ: B→A
φ(1_A)=1_B、ψ(1_B)=1_A
a, b∈Bならば、
φ(ψ(a+b))=φ￮ψ(a+b)=a+b
a+b=φ￮ψ(a)+φ￮ψ(b)=φ(ψ(a)+ψ(b))
よってψ(a+b)=ψ(a)+ψ(b)
23/03/16 22:59:53.45 Q1UFNRPI.net
>>414
φ: A→B、ψ: B→A
φ(1_A)=1_B、ψ(1_B)=1_A
a, b∈Bならば、
φ(ψ(a+b))=φ￮ψ(a+b)=a+b
a+b=φ￮ψ(a)+φ￮ψ(b)=φ(ψ(a)+ψ(b))
よってψ(a+b)=ψ(a)+ψ(b)