浸透写像であることは、定理1.1の証明において重要です。浸透写像を持つことは、関数fが局所的に全単射であることを意味し、微分可能性やリップシッツ条件などの性質が保たれます。このような特性によって、凸包H(Y)の境界∂H(Y)がスムーズであり、タンジェント空間Ty∂H(Y)が適切に定義されます。したがって、凸包再構成の誤差バウンドを導出する際に必要不可欠な情報を提供します。