>>558-559
おっちゃんだ。どうせ、f：R^N→M s→Γ(s) が R^N からMへの
全単射なることを示すには、やはり基本に忠実に
(1)：任意の Γ(s)∈M s∈R^N に対して f(s)＝Γ(s) なること
(2)：s,s'∈R^N に対して f(s)＝f(s') のとき s＝s' なること
の2点を示さないといけません、といいたい訳だろ。そのことは、お見通しだ。
一昨日>>558を見て気付いたよ。>>557書いたときも、
何かいつもと違う論法を使って全単射性を示していると感じたのだ。>>557の
>従って、f：R^N→M s→Γ(s) の定義から、fは R^N からMへの全単射になる。
という判断は(1)、(2)を示してなく飛躍があって間違いだ。