미분 기하학 의 수학적 분야에서 거의 접촉하는 구조 는 매끄러운 다지관 의 어떤 종류의 기하학적 구조다.그러한 구조물은 1960년 사사키 시게오 에 의해 도입되었다.
정확하게, 부드러운 다지관 M , {\displaystyle M ,} 을(를) 볼 때, 거의 접촉 구조는 Q , {\displaystyle Q, {\displaystyle Q,} 의 거의 복합 구조 J {\displaysty J} 와 Q . {\displaystystyle 에 가로로 구성된 벡터 필드 ξ {\\\\daystypage }로 구성된다. Q.} That is, for each point p {\displaystyle p} of M , {\displaystyle M,} one selects a codimension-one linear subspace Q p {\displaystyle Q_{p}} of the tangent space T p M , {\displaystyle T_{p}M,} a linear map φ p : Q p → Q p {\displaystyle \varphi _{p}: Q_{p}\to Q_{p}} such that J p ∘ J p = − id Q p , {\displaystyle J_{p}\circ J_{p}=-\operatorname {id} _{Q_{p}},} and an element ξ p {\displaystyle \xi _{p}} of T p M {\displaystyle T_{p}M} which is not contained in Q p . {\displaystyle Q_{p}. }
이러한 데이터를 고려할 때, 각 p {\displaystyle p} 의 M , {\displaystyle M} 선형 지도 map p : T p M → R {\ displaystyle \eta _{p} 에 대해 정의할 수 있다. T_{p}M\to \mathb {R} 및 선형 지도 φ p : T p M → T p {\displaystyle \varphi _{p}: T_{p}M\to T_{p}M} by
η p ( u ) = 0 만일 u ∈ Q p η p ( ξ p ) = 1 φ p ( u ) = J p ( u ) 만일 u ∈ Q p φ p ( ξ ) = 0. {\displaystyle {\begin{aligned}\eta _{p}(u)&=0{\text{ if }}u\in Q_{p}\\\eta _{p}(\xi _{p})&=1\\\varphi _{p}(u)&=J_{p}(u){\text{ if }}u\in Q_{p}\\\varphi _{p}(\xi )&=0. \end{정렬}}} This defines a one-form η {\displaystyle \eta } and (1,1)-tensor field φ {\displaystyle \varphi } on M , {\displaystyle M,} and one can check directly, by decomposing v {\displaystyle v} relative to the direct sum decomposition T p M = Q p ⊕ { k ξ p : k ∈ R } , {\displaystyle T_{p}M=Q_{p}\oplus \left\{k\xi _{p:k\in \mathb {R} \right\}} 이 (가) η p ( v ) ξ p = φ p ∘ φ p ( v ) + v {\displaystyle {\regated}\eta _{p}(v)\xi _{p}&=\varphi _{p}\varphi _{p}(v)+v\end}}}}} T p M . {\displaystyle T_{p}M.} 의 v {\displaystyle v } 에 대해 반대로 거의 접촉하는 구조를 두 조건을 만족하는 3중(ξ , η, η , η, η )으로 정의할 수 있다.
η p ( v ) ξ p = φ p φ p ( v ) + v {\displaystyle \eta _{p}(v)\xi _{p}=\varphi \circircle \ vpvi \\displaysty v\in T_{p}M } η p ( ξ p ) = 1 {\displaystyle \eta _{p}(\xi _{p}=1} Then one can define Q p {\displaystyle Q_{p}} to be the kernel of the linear map η p , {\displaystyle \eta _{p},} and one can check that the restriction of φ p {\displaystyle \varphi _{p}} to Q p {\displaystyle Q_{p}} is valued in Q p , {\displaystyle Q_{p},} thereby defining J p . {\displaystyle J_{p}. }
참조