部分多様体にならない例(カスプを持つ曲線)

Wathematicaアドベントカレンダーの12月3日の記事です．

部分多様体とかを知っている人向けです．定義などはトゥー多様体のものに準拠しています．

pdfはこちらから：

https://drive.google.com/file/d/13cp2DNYw8croHzZm8whjRekhi7WdoVUL/view?usp=sharing