岡の原理ですが
たとえ話でいいのでしたら次のようになります
折り紙で、ある形(例えば鶴)を折って作ることを考えます
紙を折るのですからゴムのように伸ばしたり縮めたりせずに作るのですが
もし仮に伸縮自在な折り紙があればもっといろんな形を作ることが出来ますね
さて次の問題を考えましょう
作る過程で伸縮を許して出来上がった折り紙に
元の折り紙を伸縮変形した部分が無ければ
その形は普通に紙を折ったり開いたり曲げたりするだけでも作れるだろうか
答えはYESだと思いますが私には厳密な証明はわかりません
岡の原理はこれよりもう少しこみいった
二つの数学的な手続きについてのもので
ある種の自由度の大きい変形で移り合えるものは
実はもっと制約を加えた変形でも移り合うのだということを保証する定理です
これが多変数関数論において非常に基本的なので
「岡の原理」と呼ばれるのです。