滑らかな関数の鏡像拡張と，境界付き多様体の座標変換

上半（超）平面で定義された滑らかな関数を滑らかに定義域の鏡像まで拡張できるという定理を紹介します．これは1964年のSeeleyによる定理です．この定理のちょっとした応用として境界付き多様体の座標変換に関する言い換えをちょっと考えてみました．

境界付き多様体の定義は何がスタンダードなのかよくわかりませんが，

この記事によって個人的に折り合いをつけた感じです．

pdfはこちら

www.dropbox.com