호모토피 원리

편미분 방정식 이론에서, 호모토피 원리(homotopy原理, , )는 특별한 편미분 방정식의 경우, 그 해의 존재 등의 성질이 호모토피 이론으로 결정된다는 성질이다.

정의 
매끄러운 올다발

가 주어졌다고 하자. 이제, 그 차 제트 다발

및 (단사 함수인) 제트 연장

을 생각하자.

의 단면에 대한 차 편미분 방정식은 제트 다발 의 매끄러운 부분 다양체

이며, 그 해의 공간은

이다.

편미분 방정식 의 비홀로노믹 해(非holonomic解, )의 공간은

이다. 그렇다면, 제트 다발에 의하여 단사 함수

가 주어진다. (비홀로노믹 해와 구별하기 위하여, 의 참된 해는 “홀로노믹 해”라고 한다.)

만약 다음 조건이 성립한다면, 가 호모토피 원리를 만족시킨다고 한다.
모든 비홀로노믹 해의 공간은 (홀로노믹) 해의 공간과 호모토피 동치이다. 즉, 의 모든 경로 연결 성분이 의 원소를 하나 이상 포함한다.

성질 
매끄러운 올다발 의 차 편미분 방정식

가 호모토피 원리를 만족시킨다고 하자. 그렇다면, 의 해가 존재할 필요 충분 조건은 가 공집합이 아닌지 여부이다. 이는 보통 의 해를 찾는 것보다 더 쉬우며, 보통 호모토피 이론에만 의존한다.

예 
두 매끄러운 다양체 , 에 대하여, 몰입

의 존재는 일종의 1차 편미분 방정식

이다. 이는 호모토피 원리를 만족시키며, 따라서 몰입의 존재 및 몰입의 호모토피류들의 분류는 호모토피 이론만으로 결정된다.

역사 
스티븐 스메일이 원래 몰입에 대한 호모토피 원리를 증명하였으나, 그는 “호모토피 원리”라는 개념이나 용어를 사용하지 않았다. 스메일은 이를 바탕으로, 2차원 구의 3차원 유클리드 공간으로의 몰입의 호모토피류가 하나 밖에 없음을 계산하였다.

이후, 야코프 마트베예비치 엘리아시베르크(, 1946~)와 미하일 그로모프, 앤서니 필립스(, 1938~)가 스메일의 업적을 일반화하여 호모토피 이론의 이론을 제창하였다.

참고 문헌 
 

편미분방정식
호모토피 이론