20/07/19 11:18:42.97 WEugrWCX.net
なんで任意の変換が2つの変換の積で表せるかと言うと、ユークリッド運動群E(n)が
平行移動群T(n)と直交群O(n)の半直積
E(n)= T(n) ⋊ O(n)
だから、という事実ほとんどそのもの。
ただ、回転=特殊直交群SO(n)と限定して、鏡映を別に考えることにすると多少話が難しくなる。
20/07/19 11:18:42.97 WEugrWCX.net
なんで任意の変換が2つの変換の積で表せるかと言うと、ユークリッド運動群E(n)が
平行移動群T(n)と直交群O(n)の半直積
E(n)= T(n) ⋊ O(n)
だから、という事実ほとんどそのもの。
ただ、回転=特殊直交群SO(n)と限定して、鏡映を別に考えることにすると多少話が難しくなる。