푸아송 다양체: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
79번째 줄:
* <math>\sim</math>은 [[동치 관계]]를 이룬다.
* <math>\sim</math>의 각 [[동치류]]는 <math>M</math>의 부분 [[매끄러운 다양체]]를 이루며, 이는 [[연결 공간]]이다.
* 푸아송 구조 <math>\pi</math>를 <math>\sim</math>의 동치류 <math>\iota_i\colon M_i\hookrightarrow M</math>에 제한하여 얻어지는 푸아송 다양체 <math>(M_i,\iota</math>는 푸아송 다양체를 이루며, 이는다양체는 사실 [[심플렉틱 다양체]]를 이룬다. 이를 <math>M</math>의 '''심플렉틱 잎'''({{llang|en|symplectic leaf}})이라고 한다.
* 심플렉틱 잎 <math>M_i</math>의 임의의 점 <math>x\in M_i</math>에 대하여, <math>\operatorname{rank} \pi|_x = \dim M_i</math>이다. 특히, <math>\operatorname{rank}\pi</math>는 각 심플렉틱 잎 위에서 [[상수 함수]]이다.
다시 말해, 푸아송 다양체를 서로 다른 차원일 수 있는 [[심플렉틱 다양체]]들을 짜깁기하여 얻는 공간으로 여길 수 있다.