20/10/29 01:23:52.92 Pl+iDbhK.net
失礼。何箇所か訂正
>>436
f:x→y, ｛y|Ax｝と定め、
題意の変換行列をPと定めると
x'＝Px、y'＝Pyとなる。
このときy'の表現方法としては
一度fでx→yに移してからy→y'に変換して
y'＝Py＝PAx
一方で
g:x'→y'、{y'|Bx'}とおくと、
y'の表現方法はもう一つ可能で、
一度x→x'に移してからgでx'→y'に移す。
つまり、
y'＝Bx'＝BPx
という表現が可能
AとBが逆になったがあとは>>422に続く