8 Reflection (Similarity) Shape Spaces ぱらぱらめくる『Nonparametric Inference on Manifolds: With Applications to Shape Spaces』

  • m次元k個の座標xを、preshape S_m^k上のzに変換し、\sigma(z) = \{Az | A \in O(m)\}というS_m^kの集合をorbitと呼ぶ。ただしO(m)は直交変換
  • このときR\Sigma_m^k = \{\sigma(z) \in S_m^k, rank(z) = m\} = NS_m^k/O(m)という同相関係にある
    • ただしS_m^k = \{z \in R^{m\times k} | Trace(z z^T) = 1,z 1_k = 0\}で、NS_m^kはそのnon-singular な部分
    • これは、\Sigma_m^kのうちのnon-singularな部分(これは回転同一視)であって、さらにReflectionについてだけ同一視条件を付加したものになる(R\Sigma_m^k=\Sigma_{0m}^k/G,GはReflection
  • 左右眼球の神経乳頭の形とかは、Reflection同一視の対象