यह आलेख बाह्य कलन में कई समरूपताओं (गणित) का सारांश प्रस्तुत करता है।[1] [2] [3] [4] [5]
संकेतन
इस प्रकार से निम्नलिखित संक्षिप्त परिभाषाओं और संकेतनों का सारांश प्रस्तुत करता है जिनका उपयोग इस आलेख में किया गया है।
मैनिफोल्ड
M {\displaystyle M} , N {\displaystyle N} n {\displaystyle n} -विमीय समतल (स्मूथ) मैनिफोल्ड हैं, जहां n ∈ N {\displaystyle n\in \mathbb {N} } । अर्थात्, भिन्न-भिन्न मैनिफोल्ड जिन्हें इस पृष्ठ पर प्रयोजनों के लिए पर्याप्त एक बार विभेदित किया जा सकता है।
इस प्रकार से p ∈ M {\displaystyle p\in M} , q ∈ N {\displaystyle q\in N} प्रत्येक मैनिफोल्ड पर एक बिंदु दर्शाता है।
मैनिफोल्ड M {\displaystyle M} की सीमा मैनिफोल्ड ∂ M {\displaystyle \partial M} है , जिसकी विमा n − 1 {\displaystyle n-1} है। M {\displaystyle M} पर एक अभिविन्यास ∂ M {\displaystyle \partial M} पर एक अभिविन्यास प्रेरित करता है।
अतः हम सामान्यतः उपमैनिफोल्ड को Σ ⊂ M {\displaystyle \Sigma \subset M} से निरूपित करते हैं।
स्पर्शरेखा और कोटिस्पर्श रेखा बंडल
इस प्रकार से T M {\displaystyle TM} , T ∗ M {\displaystyle T^{*}M} समतल मैनिफोल्ड M {\displaystyle M} के क्रमशः स्पर्शरेखा बंडल और कोटिस्पर्श रेखा बंडल को दर्शाता है।
अतः T p M {\displaystyle T_{p}M} , क्रमशः बिंदु p {\displaystyle p} , q {\displaystyle q} , पर M {\displaystyle M} , N {\displaystyle N} के स्पर्शरेखा समष्टि को दर्शाता है। T p ∗ M {\displaystyle T_{p}^{*}M} बिंदु p {\displaystyle p} पर M {\displaystyle M} के कोटिस्पर्श रेखा समष्टि को दर्शाता है।
स्पर्शरेखा बंडलों का खंड (फाइबर बंडल), जिसे सदिश क्षेत्र के रूप में भी जाना जाता है, इसको सामान्यतः X , Y , Z ∈ Γ ( T M ) {\displaystyle X,Y,Z\in \Gamma (TM)} के रूप में दर्शाया जाता है जैसे कि बिंदु p ∈ M {\displaystyle p\in M} पर हमारे निकट X | p , Y | p , Z | p ∈ T p M {\displaystyle X|_{p},Y|_{p},Z|_{p}\in T_{p}M} है। इस प्रकार से कोटिस्पर्श रेखा बंडल के अनुभाग, जिन्हें विभेदक रूप (या सहसदिश क्षेत्र) के रूप में भी जाना जाता है, इसको सामान्यतः α , β ∈ Γ ( T ∗ M ) {\displaystyle \alpha ,\beta \in \Gamma (T^{*}M)} के रूप में दर्शाया जाता है जैसे कि बिंदु p ∈ M {\displaystyle p\in M} पर हमारे निकट α | p , β | p ∈ T p ∗ M {\displaystyle \alpha |_{p},\beta |_{p}\in T_{p}^{*}M} है। Γ ( T ∗ M ) {\displaystyle \Gamma (T^{*}M)} के लिए एक वैकल्पिक संकेतन Ω 1 ( M ) {\displaystyle \Omega ^{1}(M)} है।
विभेदक k-रूप
विभेदक k {\displaystyle k} -रूप, जिसे हम यहां मात्र k {\displaystyle k} -रूप के रूप में संदर्भित करते हैं, T M {\displaystyle TM} पर परिभाषित विभेदक रूप हैं। हम सभी k {\displaystyle k} -रूपों के समुच्चय को Ω k ( M ) {\displaystyle \Omega ^{k}(M)} के रूप में निरूपित करते हैं। 0 ≤ k , l , m ≤ n {\displaystyle 0\leq k,\ l,\ m\leq n} के लिए हम सामान्यतः α ∈ Ω k ( M ) {\displaystyle \alpha \in \Omega ^{k}(M)} , β ∈ Ω l ( M ) {\displaystyle \beta \in \Omega ^{l}(M)} , γ ∈ Ω m ( M ) {\displaystyle \gamma \in \Omega ^{m}(M)} लिखते हैं।
इस प्रकार से 0 {\displaystyle 0} -रूप f ∈ Ω 0 ( M ) {\displaystyle f\in \Omega ^{0}(M)} M {\displaystyle M} पर मात्र अदिश फलन C ∞ ( M ) {\displaystyle C^{\infty }(M)} हैं। 1 ∈ Ω 0 ( M ) {\displaystyle \mathbf {1} \in \Omega ^{0}(M)} प्रत्येक समष्टि 1 के बराबर स्थिरांक 0-रूप को दर्शाता है।
अनुक्रम के छोड़े गए अवयव
जब हमें ( k + 1 ) {\displaystyle (k+1)} निवेश X 0 , … , X k {\displaystyle X_{0},\ldots ,X_{k}} और k {\displaystyle k} -रूप α ∈ Ω k ( M ) {\displaystyle \alpha \in \Omega ^{k}(M)} दिया जाता है तो हम
α ( X 0 , … , X ^ i , … , X k ) := α ( X 0 , … , X i − 1 , X i + 1 , … , X k ) {\displaystyle \alpha (X_{0},\ldots ,{\hat {X}}_{i},\ldots ,X_{k}):=\alpha (X_{0},\ldots ,X_{i-1},X_{i+1},\ldots ,X_{k})} लिखकर i {\displaystyle i} वीं प्रविष्टि के लोप को दर्शाते हैं।
इस प्रकार से बाह्य गुणनफल को वेज गुणनफल के रूप में भी जाना जाता है। इसे ∧ : Ω k ( M ) × Ω l ( M ) → Ω k + l ( M ) {\displaystyle \wedge :\Omega ^{k}(M)\times \Omega ^{l}(M)\rightarrow \Omega ^{k+l}(M)} से दर्शाया जाता है। अतः k {\displaystyle k} -रूप α ∈ Ω k ( M ) {\displaystyle \alpha \in \Omega ^{k}(M)} और l {\displaystyle l} -रूप β ∈ Ω l ( M ) {\displaystyle \beta \in \Omega ^{l}(M)} का बाह्य गुणनफल ( k + l ) {\displaystyle (k+l)} -रूप α ∧ β ∈ Ω k + l ( M ) {\displaystyle \alpha \wedge \beta \in \Omega ^{k+l}(M)} उत्पन्न करता है। इसे { 1 , … , n } {\displaystyle \{1,\ldots ,n\}} के सभी क्रमपरिवर्तन σ {\displaystyle \sigma } के समुच्चय S ( k , k + l ) {\displaystyle S(k,k+l)} का उपयोग करके लिखा जा सकता है जैसे कि σ ( 1 ) < … < σ ( k ) , σ ( k + 1 ) < … < σ ( k + l ) {\displaystyle \sigma (1)<\ldots <\sigma (k),\ \sigma (k+1)<\ldots <\sigma (k+l)} को
( α ∧ β ) ( X 1 , … , X k + l ) = ∑ σ ∈ S ( k , k + l ) sign ( σ ) α ( X σ ( 1 ) , … , X σ ( k ) ) ⊗ β ( X σ ( k + 1 ) , … , X σ ( k + l ) ) {\displaystyle (\alpha \wedge \beta )(X_{1},\ldots ,X_{k+l})=\sum _{\sigma \in S(k,k+l)}{\text{sign}}(\sigma )\alpha (X_{\sigma (1)},\ldots ,X_{\sigma (k)})\otimes \beta (X_{\sigma (k+1)},\ldots ,X_{\sigma (k+l)})} के रूप में है।
इस प्रकार से अनुभाग X ∈ Γ ( T M ) {\displaystyle X\in \Gamma (TM)} के अनुदिश 0-रूप f ∈ Ω 0 ( M ) {\displaystyle f\in \Omega ^{0}(M)} का दिशात्मक व्युत्पन्न 0-रूप निरूपित ∂ X f {\displaystyle \partial _{X}f} है।
अतः बाह्य व्युत्पन्न d k : Ω k ( M ) → Ω k + 1 ( M ) {\displaystyle d_{k}:\Omega ^{k}(M)\rightarrow \Omega ^{k+1}(M)} को सभी 0 ≤ k ≤ n {\displaystyle 0\leq k\leq n} के लिए परिभाषित किया गया है। हम सामान्यतः सबस्क्रिप्ट को तब छोड़ देते हैं जब वह संदर्भ से स्पष्ट हो।
0 {\displaystyle 0} -रूप f ∈ Ω 0 ( M ) {\displaystyle f\in \Omega ^{0}(M)} के लिए हमारे निकट 1 {\displaystyle 1} -रूप के रूप में d 0 f ∈ Ω 1 ( M ) {\displaystyle d_{0}f\in \Omega ^{1}(M)} है जो दिशात्मक व्युत्पन्न देता है, अर्थात, अनुभाग X ∈ Γ ( T M ) {\displaystyle X\in \Gamma (TM)} के लिए हमारे निकट ( d 0 f ) ( X ) = ∂ X f {\displaystyle (d_{0}f)(X)=\partial _{X}f} है, जो X {\displaystyle X} के साथ f {\displaystyle f} का दिशात्मक व्युत्पन्न है।[6]
0 < k ≤ n {\displaystyle 0<k\leq n} के लिए,[6]
( d k ω ) ( X 0 , … , X k ) = ∑ 0 ≤ j ≤ k ( − 1 ) j d 0 ( ω ( X 0 , … , X ^ j , … , X k ) ) ( X j ) + ∑ 0 ≤ i < j ≤ k ( − 1 ) i + j ω ( [ X i , X j ] , X 0 , … , X ^ i , … , X ^ j , … , X k ) . {\displaystyle (d_{k}\omega )(X_{0},\ldots ,X_{k})=\sum _{0\leq j\leq k}(-1)^{j}d_{0}(\omega (X_{0},\ldots ,{\hat {X}}_{j},\ldots ,X_{k}))(X_{j})+\sum _{0\leq i<j\leq k}(-1)^{i+j}\omega ([X_{i},X_{j}],X_{0},\ldots ,{\hat {X}}_{i},\ldots ,{\hat {X}}_{j},\ldots ,X_{k}).}
लाई कोष्ठक
इस प्रकार से अनुभागों X , Y ∈ Γ ( T M ) {\displaystyle X,Y\in \Gamma (TM)} के लाई कोष्ठक को अद्वितीय अनुभाग [ X , Y ] ∈ Γ ( T M ) {\displaystyle [X,Y]\in \Gamma (TM)} के रूप में परिभाषित किया गया है जो
∀ f ∈ Ω 0 ( M ) ⇒ ∂ [ X , Y ] f = ∂ X ∂ Y f − ∂ Y ∂ X f {\displaystyle \forall f\in \Omega ^{0}(M)\Rightarrow \partial _{[X,Y]}f=\partial _{X}\partial _{Y}f-\partial _{Y}\partial _{X}f} को संतुष्ट करता है।
स्पर्शरेखा प्रतिचित्र
यदि ϕ : M → N {\displaystyle \phi :M\rightarrow N} एक समतल प्रतिचित्र है, तो d ϕ | p : T p M → T ϕ ( p ) N {\displaystyle d\phi |_{p}:T_{p}M\rightarrow T_{\phi (p)}N} M {\displaystyle M} से N {\displaystyle N} तक एक स्पर्श रेखा प्रतिचित्र को परिभाषित करता है। अतः इसे व्युत्पन्न γ ′ ( 0 ) = X ∈ T p M {\displaystyle \gamma '(0)=X\in T_{p}M} के साथ M {\displaystyle M} पर वक्र γ {\displaystyle \gamma } के माध्यम से परिभाषित किया गया है जैसे कि
d ϕ ( X ) := ( ϕ ∘ γ ) ′ . {\displaystyle d\phi (X):=(\phi \circ \gamma )'.}
ध्यान दें कि ϕ {\displaystyle \phi } N {\displaystyle N} में मानों के साथ 0 {\displaystyle 0} -रूप है।
पुल-बैक
यदि ϕ : M → N {\displaystyle \phi :M\rightarrow N} समतल प्रतिचित्र है, तो k {\displaystyle k} -रूप α ∈ Ω k ( N ) {\displaystyle \alpha \in \Omega ^{k}(N)} का पुलबैक (विभेदक ज्यामिति) इस प्रकार परिभाषित किया गया है कि किसी भी k {\displaystyle k} -विमीय उपमैनिफोल्ड Σ ⊂ M {\displaystyle \Sigma \subset M}
∫ Σ ϕ ∗ α = ∫ ϕ ( Σ ) α {\displaystyle \int _{\Sigma }\phi ^{*}\alpha =\int _{\phi (\Sigma )}\alpha } के लिए है।
इस प्रकार से पुल-बैक को
( ϕ ∗ α ) ( X 1 , … , X k ) = α ( d ϕ ( X 1 ) , … , d ϕ ( X k ) ) {\displaystyle (\phi ^{*}\alpha )(X_{1},\ldots ,X_{k})=\alpha (d\phi (X_{1}),\ldots ,d\phi (X_{k}))} के रूप में भी व्यक्त किया जा सकता है।
आंतरिक व्युत्पन्न के रूप में भी जाना जाता है, अनुभाग Y ∈ Γ ( T M ) {\displaystyle Y\in \Gamma (TM)} दिया गया आंतरिक गुणनफल एक प्रतिचित्र ι Y : Ω k + 1 ( M ) → Ω k ( M ) {\displaystyle \iota _{Y}:\Omega ^{k+1}(M)\rightarrow \Omega ^{k}(M)} है जो प्रभावी रूप से Y {\displaystyle Y} के साथ ( k + 1 ) {\displaystyle (k+1)} -रूप के पहले निवेश को प्रतिस्थापित करता है। इस प्रकार से यदि α ∈ Ω k + 1 ( M ) {\displaystyle \alpha \in \Omega ^{k+1}(M)} और X i ∈ Γ ( T M ) {\displaystyle X_{i}\in \Gamma (TM)} है, तो
( ι Y α ) ( X 1 , … , X k ) = α ( Y , X 1 , … , X k ) {\displaystyle (\iota _{Y}\alpha )(X_{1},\ldots ,X_{k})=\alpha (Y,X_{1},\ldots ,X_{k})} ।
मापन टेंसर
प्रत्येक T p M {\displaystyle T_{p}M} पर एक गैर-अपक्षयी द्विरेखीय रूप g p ( ⋅ , ⋅ ) {\displaystyle g_{p}(\cdot ,\cdot )} दिया गया है जो कि M {\displaystyle M} पर सतत है, मैनिफोल्ड एक छद्म-रीमैनियन मैनिफोल्ड बन जाता है। हम मापन टेंसर g {\displaystyle g} को निरूपित करते हैं, जिसे g ( X , Y ) | p = g p ( X | p , Y | p ) {\displaystyle g(X,Y)|_{p}=g_{p}(X|_{p},Y|_{p})} द्वारा बिंदुवार परिभाषित किया गया है। इस प्रकार से हम s = sign ( g ) {\displaystyle s=\operatorname {sign} (g)} को मापन का संकेत कहते हैं। अतः रीमैनियन मैनिफोल्ड में s = 1 {\displaystyle s=1} है, जबकि मिन्कोवस्की समष्टि में s = − 1 {\displaystyle s=-1} है।
संगीत समरूपता
मापन टेंसर g ( ⋅ , ⋅ ) {\displaystyle g(\cdot ,\cdot )} सदिश क्षेत्र और एक-रूपों के बीच द्वंद्व प्रतिचित्रण को प्रेरित करता है: ये संगीतमय समरूपताएं समतल ♭ {\displaystyle \flat } और तीव्र ♯ {\displaystyle \sharp } हैं। एक अनुभाग A ∈ Γ ( T M ) {\displaystyle A\in \Gamma (TM)} अद्वितीय एक-रूप A ♭ ∈ Ω 1 ( M ) {\displaystyle A^{\flat }\in \Omega ^{1}(M)} से मेल खाता है जैसे कि सभी अनुभागों X ∈ Γ ( T M ) {\displaystyle X\in \Gamma (TM)} के लिए, हमारे निकट:
A ♭ ( X ) = g ( A , X ) {\displaystyle A^{\flat }(X)=g(A,X)} है।
एक रूप α ∈ Ω 1 ( M ) {\displaystyle \alpha \in \Omega ^{1}(M)} अद्वितीय सदिश क्षेत्र α ♯ ∈ Γ ( T M ) {\displaystyle \alpha ^{\sharp }\in \Gamma (TM)} से मेल खाता है जैसे कि सभी X ∈ Γ ( T M ) {\displaystyle X\in \Gamma (TM)} के लिए, हमारे निकट:
α ( X ) = g ( α ♯ , X ) {\displaystyle \alpha (X)=g(\alpha ^{\sharp },X)} है।
इस प्रकार से ये प्रतिचित्रण बहुरेखीयता के माध्यम से k {\displaystyle k} -सदिश क्षेत्र से k {\displaystyle k} -रूप और k {\displaystyle k} -रूप से k {\displaystyle k} -सदिश क्षेत्र तक
( A 1 ∧ A 2 ∧ ⋯ ∧ A k ) ♭ = A 1 ♭ ∧ A 2 ♭ ∧ ⋯ ∧ A k ♭ {\displaystyle (A_{1}\wedge A_{2}\wedge \cdots \wedge A_{k})^{\flat }=A_{1}^{\flat }\wedge A_{2}^{\flat }\wedge \cdots \wedge A_{k}^{\flat }}
( α 1 ∧ α 2 ∧ ⋯ ∧ α k ) ♯ = α 1 ♯ ∧ α 2 ♯ ∧ ⋯ ∧ α k ♯ {\displaystyle (\alpha _{1}\wedge \alpha _{2}\wedge \cdots \wedge \alpha _{k})^{\sharp }=\alpha _{1}^{\sharp }\wedge \alpha _{2}^{\sharp }\wedge \cdots \wedge \alpha _{k}^{\sharp }} के माध्यम से प्रतिचित्रण तक विस्तारित होती है।
हॉज स्टार
इस प्रकार से एन-मैनिफोल्ड M के लिए, हॉज स्टार संक्रियक ⋆ : Ω k ( M ) → Ω n − k ( M ) {\displaystyle {\star }:\Omega ^{k}(M)\rightarrow \Omega ^{n-k}(M)} एक द्वैत प्रतिचित्रण है, जो k {\displaystyle k} -रूप α ∈ Ω k ( M ) {\displaystyle \alpha \in \Omega ^{k}(M)} को ( n − k ) {\displaystyle (n{-}k)} -रूप ( ⋆ α ) ∈ Ω n − k ( M ) {\displaystyle ({\star }\alpha )\in \Omega ^{n-k}(M)} में ले जाता है।
अतः इसे T M {\displaystyle TM} के लिए अभिविन्यस्त संरचना ( X 1 , … , X n ) {\displaystyle (X_{1},\ldots ,X_{n})} के संदर्भ में परिभाषित किया जा सकता है, जो दिए गए मापन टेंसर g {\displaystyle g} :
( ⋆ α ) ( X 1 , … , X n − k ) = α ( X n − k + 1 , … , X n ) {\displaystyle ({\star }\alpha )(X_{1},\ldots ,X_{n-k})=\alpha (X_{n-k+1},\ldots ,X_{n})} के संबंध में प्रसामान्य लांबिक है।
सह-विभेदक संक्रियक
इस प्रकार से n {\displaystyle n} विमीय मैनिफोल्ड M {\displaystyle M} पर हॉज स्टार संक्रियक δ : Ω k ( M ) → Ω k − 1 ( M ) {\displaystyle \delta :\Omega ^{k}(M)\rightarrow \Omega ^{k-1}(M)} को
δ := ( − 1 ) k ⋆ − 1 d ⋆ = ( − 1 ) n k + n + 1 ⋆ d ⋆ {\displaystyle \delta :=(-1)^{k}{\star }^{-1}d{\star }=(-1)^{nk+n+1}{\star }d{\star }} द्वारा परिभाषित किया गया है।
अतः हॉज-डिरैक संक्रियक, d + δ {\displaystyle d+\delta } , एक डिरैक संक्रियक है जिसका अध्ययन क्लिफोर्ड विश्लेषण में किया गया है।
अभिविन्यस्त मैनिफोल्ड
एक n {\displaystyle n} -विमीय अभिविन्यसनीय मैनिफोल्ड M एक ऐसा मैनिफोल्ड है जिसे n -रूप μ ∈ Ω n ( M ) {\displaystyle \mu \in \Omega ^{n}(M)} के विकल्प से संगत किया जा सकता है जो M पर प्रत्येक समष्टि सतत और गैर-शून्य है।
आयतन रूप
इस प्रकार से एक अभिविन्यसनीय मैनिफोल्ड M {\displaystyle M} पर मापन टेंसर g {\displaystyle g} दिए गए आयतन रूप के विहित चयन और अभिविन्यास (सदिश समष्टि) से मेल खाने के लिए किसी भी आधार d X 1 , … , d X n {\displaystyle dX_{1},\ldots ,dX_{n}} के लिए अभिविन्यास d e t := | det g | d X 1 ♭ ∧ … ∧ d X n ♭ {\displaystyle \mathbf {det} :={\sqrt {|\det g|}}\;dX_{1}^{\flat }\wedge \ldots \wedge dX_{n}^{\flat }} है।
क्षेत्रफल
अतः एक आयतन रूप d e t {\displaystyle \mathbf {det} } और इकाई सामान्य सदिश N {\displaystyle N} को देखते हुए हम boundary ∂ M {\displaystyle \partial M} पर एक क्षेत्र रूप σ := ι N det {\displaystyle \sigma :=\iota _{N}{\textbf {det}}} को भी परिभाषित कर सकते हैं।
k {\displaystyle k} -रूप पर द्विरैखिक रूप
इस प्रकार से मापन टेंसर का सामान्यीकरण, दो k {\displaystyle k} -रूप α , β ∈ Ω k ( M ) {\displaystyle \alpha ,\beta \in \Omega ^{k}(M)} के बीच सममित द्विरेखीय रूप , M {\displaystyle M} पर
⟨ α , β ⟩ | p := ⋆ ( α ∧ ⋆ β ) | p {\displaystyle \langle \alpha ,\beta \rangle |_{p}:={\star }(\alpha \wedge {\star }\beta )|_{p}} द्वारा बिंदुवार परिभाषित किया गया है।
k {\displaystyle k} -रूप Ω k ( M ) {\displaystyle \Omega ^{k}(M)} की समष्टि के लिए L 2 {\displaystyle L^{2}} द्विरेखीय रूप को
⟨ ⟨ α , β ⟩ ⟩ := ∫ M α ∧ ⋆ β {\displaystyle \langle \!\langle \alpha ,\beta \rangle \!\rangle :=\int _{M}\alpha \wedge {\star }\beta } द्वारा परिभाषित किया गया है।
अतः रीमैनियन मैनिफोल्ड की स्थिति में, प्रत्येक आंतरिक गुणनफल है (अर्थात धनात्मक-निश्चित है)।
हम किसी दिए गए खंड X ∈ Γ ( T M ) {\displaystyle X\in \Gamma (TM)} के लिए कार्टन के अवधि सूत्र के माध्यम से लाइ व्युत्पन्न L : Ω k ( M ) → Ω k ( M ) {\displaystyle {\mathcal {L}}:\Omega ^{k}(M)\rightarrow \Omega ^{k}(M)} को
L X = d ∘ ι X + ι X ∘ d {\displaystyle {\mathcal {L}}_{X}=d\circ \iota _{X}+\iota _{X}\circ d} के रूप में परिभाषित करते हैं।
इस प्रकार से यह अनुभाग X {\displaystyle X} से सम्बद्ध प्रवाह ϕ t {\displaystyle \phi _{t}} के साथ k {\displaystyle k} -रूप (गणित) के परिवर्तन का वर्णन करता है।
पुल-बैक गुण
d ( ϕ ∗ α ) = ϕ ∗ ( d α ) {\displaystyle d(\phi ^{*}\alpha )=\phi ^{*}(d\alpha )} (d {\displaystyle d} के साथ क्रमविनिमेय)
ϕ ∗ ( α ∧ β ) = ( ϕ ∗ α ) ∧ ( ϕ ∗ β ) {\displaystyle \phi ^{*}(\alpha \wedge \beta )=(\phi ^{*}\alpha )\wedge (\phi ^{*}\beta )} (∧ {\displaystyle \wedge } पर वितरित करता है)
( ϕ 1 ∘ ϕ 2 ) ∗ = ϕ 2 ∗ ϕ 1 ∗ {\displaystyle (\phi _{1}\circ \phi _{2})^{*}=\phi _{2}^{*}\phi _{1}^{*}} (विपरीत)
f ∈ Ω 0 ( N ) {\displaystyle f\in \Omega ^{0}(N)} के लिए ϕ ∗ f = f ∘ ϕ {\displaystyle \phi ^{*}f=f\circ \phi } (फलन रचना)
संगीत समरूपता गुण
( X ♭ ) ♯ = X {\displaystyle (X^{\flat })^{\sharp }=X}
( α ♯ ) ♭ = α {\displaystyle (\alpha ^{\sharp })^{\flat }=\alpha }
आंतरिक गुणनफल गुण
ι X ∘ ι X = 0 {\displaystyle \iota _{X}\circ \iota _{X}=0} (निलपोटेंट)
ι X ∘ ι Y = − ι Y ∘ ι X {\displaystyle \iota _{X}\circ \iota _{Y}=-\iota _{Y}\circ \iota _{X}}
ι X ( α ∧ β ) = ( ι X α ) ∧ β + ( − 1 ) k α ∧ ( ι X β ) {\displaystyle \iota _{X}(\alpha \wedge \beta )=(\iota _{X}\alpha )\wedge \beta +(-1)^{k}\alpha \wedge (\iota _{X}\beta )} के लिए α ∈ Ω k ( M ) , β ∈ Ω l ( M ) {\displaystyle \alpha \in \Omega ^{k}(M),\ \beta \in \Omega ^{l}(M)} (लीबनिज नियम)
α ∈ Ω 1 ( M ) {\displaystyle \alpha \in \Omega ^{1}(M)} के लिए ι X α = α ( X ) {\displaystyle \iota _{X}\alpha =\alpha (X)}
f ∈ Ω 0 ( M ) {\displaystyle f\in \Omega ^{0}(M)} के लिए ι X f = 0 {\displaystyle \iota _{X}f=0}
f ∈ Ω 0 ( M ) {\displaystyle f\in \Omega ^{0}(M)} के लिए ι X ( f α ) = f ι X α {\displaystyle \iota _{X}(f\alpha )=f\iota _{X}\alpha }
हॉज स्टार गुण
λ 1 , λ 2 ∈ R {\displaystyle \lambda _{1},\lambda _{2}\in \mathbb {R} } के लिए ⋆ ( λ 1 α + λ 2 β ) = λ 1 ( ⋆ α ) + λ 2 ( ⋆ β ) {\displaystyle {\star }(\lambda _{1}\alpha +\lambda _{2}\beta )=\lambda _{1}({\star }\alpha )+\lambda _{2}({\star }\beta )} (रैखिकता)
α ∈ Ω k ( M ) {\displaystyle \alpha \in \Omega ^{k}(M)} के लिए ⋆ ⋆ α = s ( − 1 ) k ( n − k ) α {\displaystyle {\star }{\star }\alpha =s(-1)^{k(n-k)}\alpha } , n = dim ( M ) {\displaystyle n=\dim(M)} , और मापन का संकेत s = sign ( g ) {\displaystyle s=\operatorname {sign} (g)}
⋆ ( − 1 ) = s ( − 1 ) k ( n − k ) ⋆ {\displaystyle {\star }^{(-1)}=s(-1)^{k(n-k)}{\star }} (व्युत्क्रम)
f ∈ Ω 0 ( M ) {\displaystyle f\in \Omega ^{0}(M)} के लिए ⋆ ( f α ) = f ( ⋆ α ) {\displaystyle {\star }(f\alpha )=f({\star }\alpha )} (0 {\displaystyle 0} -रूपों के साथ क्रमविनिमेय)
α ∈ Ω 1 ( M ) {\displaystyle \alpha \in \Omega ^{1}(M)} के लिए ⟨ ⟨ α , α ⟩ ⟩ = ⟨ ⟨ ⋆ α , ⋆ α ⟩ ⟩ {\displaystyle \langle \!\langle \alpha ,\alpha \rangle \!\rangle =\langle \!\langle {\star }\alpha ,{\star }\alpha \rangle \!\rangle } (हॉज स्टार 1 {\displaystyle 1} -रूप मानदंड को संरक्षित रखता है)
⋆ 1 = d e t {\displaystyle {\star }\mathbf {1} =\mathbf {det} } (स्थिर फलन 1 का हॉज द्वैत आयतन रूप है)
सह-विभेदक संक्रियक गुण
δ ∘ δ = 0 {\displaystyle \delta \circ \delta =0} (निलपोटेंट)
⋆ δ = ( − 1 ) k d ⋆ {\displaystyle {\star }\delta =(-1)^{k}d{\star }} और ⋆ d = ( − 1 ) k + 1 δ ⋆ {\displaystyle {\star }d=(-1)^{k+1}\delta {\star }} (हॉज d {\displaystyle d} से सम्बद्ध है)
⟨ ⟨ d α , β ⟩ ⟩ = ⟨ ⟨ α , δ β ⟩ ⟩ {\displaystyle \langle \!\langle d\alpha ,\beta \rangle \!\rangle =\langle \!\langle \alpha ,\delta \beta \rangle \!\rangle } यदि ∂ M = 0 {\displaystyle \partial M=0} (δ {\displaystyle \delta } d {\displaystyle d} से सम्बद्ध है)
सामान्य रूप में, ∫ M d α ∧ ⋆ β = ∫ ∂ M α ∧ ⋆ β + ∫ M α ∧ ⋆ δ β {\displaystyle \int _{M}d\alpha \wedge \star \beta =\int _{\partial M}\alpha \wedge \star \beta +\int _{M}\alpha \wedge \star \delta \beta }
f ∈ Ω 0 ( M ) {\displaystyle f\in \Omega ^{0}(M)} के लिए δ f = 0 {\displaystyle \delta f=0}
लाई व्युत्पन्न गुण
d ∘ L X = L X ∘ d {\displaystyle d\circ {\mathcal {L}}_{X}={\mathcal {L}}_{X}\circ d} (d {\displaystyle d} के साथ क्रमविनिमेय)
ι X ∘ L X = L X ∘ ι X {\displaystyle \iota _{X}\circ {\mathcal {L}}_{X}={\mathcal {L}}_{X}\circ \iota _{X}} (ι X {\displaystyle \iota _{X}} के साथ क्रमविनिमेय)
L X ( ι Y α ) = ι [ X , Y ] α + ι Y L X α {\displaystyle {\mathcal {L}}_{X}(\iota _{Y}\alpha )=\iota _{[X,Y]}\alpha +\iota _{Y}{\mathcal {L}}_{X}\alpha }
L X ( α ∧ β ) = ( L X α ) ∧ β + α ∧ ( L X β ) {\displaystyle {\mathcal {L}}_{X}(\alpha \wedge \beta )=({\mathcal {L}}_{X}\alpha )\wedge \beta +\alpha \wedge ({\mathcal {L}}_{X}\beta )} (लीबनिज नियम)
( δ α ) ( X 1 , … , X k − 1 ) = − ∑ i = 1 n ( ι E i ( ∇ E i α ) ) ( X 1 , … , X ^ i , … , X k ) {\displaystyle (\delta \alpha )(X_{1},\ldots ,X_{k-1})=-\sum _{i=1}^{n}(\iota _{E_{i}}(\nabla _{E_{i}}\alpha ))(X_{1},\ldots ,{\hat {X}}_{i},\ldots ,X_{k})} को धनात्मक रूप से अभिविन्यस्त प्रसामान्य लांबिक संरचनाE 1 , … , E n {\displaystyle E_{1},\ldots ,E_{n}} दिया गया है।
( L Y α ) ( X 1 , … , X k ) = ( ∇ Y α ) ( X 1 , … , X k ) − ∑ i = 1 k α ( X 1 , … , ∇ X i Y , … , X k ) {\displaystyle ({\mathcal {L}}_{Y}\alpha )(X_{1},\ldots ,X_{k})=(\nabla _{Y}\alpha )(X_{1},\ldots ,X_{k})-\sum _{i=1}^{k}\alpha (X_{1},\ldots ,\nabla _{X_{i}}Y,\ldots ,X_{k})}
हॉज अपघटन
यदि ∂ M = ∅ {\displaystyle \partial M=\emptyset } , ω ∈ Ω k ( M ) ⇒ ∃ α ∈ Ω k − 1 , β ∈ Ω k + 1 , γ ∈ Ω k ( M ) , d γ = 0 , δ γ = 0 {\displaystyle \omega \in \Omega ^{k}(M)\Rightarrow \exists \alpha \in \Omega ^{k-1},\ \beta \in \Omega ^{k+1},\ \gamma \in \Omega ^{k}(M),\ d\gamma =0,\ \delta \gamma =0} जैसे कि
ω = d α + δ β + γ {\displaystyle \omega =d\alpha +\delta \beta +\gamma }
पोंकारे लेम्मा
इस प्रकार से यदि एक सीमाहीन मैनिफोल्ड M {\displaystyle M} में तुच्छ सह समरूपता H k ( M ) = { 0 } {\displaystyle H^{k}(M)=\{0\}} है, तो कोई भी संवृत ω ∈ Ω k ( M ) {\displaystyle \omega \in \Omega ^{k}(M)} यथार्थ है। अतः यह स्थिति है यदि M अनुबंध योग्य समष्टि है।
सदिश कलन से संबंध
यूक्लिडियन 3-समष्टि में समरूपता
मान लीजिए यूक्लिडियन मापन g ( X , Y ) := ⟨ X , Y ⟩ = X ⋅ Y {\displaystyle g(X,Y):=\langle X,Y\rangle =X\cdot Y} ।
अतः इस प्रकार से हम α ∈ Ω 1 ( M ) {\displaystyle \alpha \in \Omega ^{1}(M)} के लिए ∇ = ( ∂ ∂ x , ∂ ∂ y , ∂ ∂ z ) {\displaystyle \nabla =\left({\partial \over \partial x},{\partial \over \partial y},{\partial \over \partial z}\right)} डेल R 3 {\displaystyle \mathbb {R} ^{3}}
ι X α = g ( X , α ♯ ) = X ⋅ α ♯ {\displaystyle \iota _{X}\alpha =g(X,\alpha ^{\sharp })=X\cdot \alpha ^{\sharp }} का उपयोग करते हैं।
d e t ( X , Y , Z ) = ⟨ X , Y × Z ⟩ = ⟨ X × Y , Z ⟩ {\displaystyle \mathbf {det} (X,Y,Z)=\langle X,Y\times Z\rangle =\langle X\times Y,Z\rangle } (अदिश त्रिगुण गुणनफल)
X × Y = ( ⋆ ( X ♭ ∧ Y ♭ ) ) ♯ {\displaystyle X\times Y=({\star }(X^{\flat }\wedge Y^{\flat }))^{\sharp }} (अनुप्रस्थ गुणनफल )
ι X α = − ( X × A ) ♭ {\displaystyle \iota _{X}\alpha =-(X\times A)^{\flat }} यदि α ∈ Ω 2 ( M ) , A = ( ⋆ α ) ♯ {\displaystyle \alpha \in \Omega ^{2}(M),\ A=({\star }\alpha )^{\sharp }}
X ⋅ Y = ⋆ ( X ♭ ∧ ⋆ Y ♭ ) {\displaystyle X\cdot Y={\star }(X^{\flat }\wedge {\star }Y^{\flat })} (अदिश गुणनफल )
∇ f = ( d f ) ♯ {\displaystyle \nabla f=(df)^{\sharp }} (प्रवणता)
X ⋅ ∇ f = d f ( X ) {\displaystyle X\cdot \nabla f=df(X)} (दिशात्मक व्युत्पन्न)
∇ ⋅ X = ⋆ d ⋆ X ♭ = − δ X ♭ {\displaystyle \nabla \cdot X={\star }d{\star }X^{\flat }=-\delta X^{\flat }} (विचलन )
∇ × X = ( ⋆ d X ♭ ) ♯ {\displaystyle \nabla \times X=({\star }dX^{\flat })^{\sharp }} (कर्ल (गणित) )
⟨ X , N ⟩ σ = ⋆ X ♭ {\displaystyle \langle X,N\rangle \sigma ={\star }X^{\flat }} जहाँ N {\displaystyle N} , ∂ M {\displaystyle \partial M} का इकाई सामान्य सदिश है और σ = ι N d e t {\displaystyle \sigma =\iota _{N}\mathbf {det} } , ∂ M {\displaystyle \partial M} पर क्षेत्र का रूप है।
∫ Σ d ⋆ X ♭ = ∫ ∂ Σ ⋆ X ♭ = ∫ ∂ Σ ⟨ X , N ⟩ σ {\displaystyle \int _{\Sigma }d{\star }X^{\flat }=\int _{\partial \Sigma }{\star }X^{\flat }=\int _{\partial \Sigma }\langle X,N\rangle \sigma } (विचलन प्रमेय )
लाई व्युत्पन्न
L X f = X ⋅ ∇ f {\displaystyle {\mathcal {L}}_{X}f=X\cdot \nabla f} (0 {\displaystyle 0} -रूप)
L X α = ( ∇ X α ♯ ) ♭ + g ( α ♯ , ∇ X ) {\displaystyle {\mathcal {L}}_{X}\alpha =(\nabla _{X}\alpha ^{\sharp })^{\flat }+g(\alpha ^{\sharp },\nabla X)} (1 {\displaystyle 1} -रूप)
⋆ L X β = ( ∇ X B − ∇ B X + ( div X ) B ) ♭ {\displaystyle {\star }{\mathcal {L}}_{X}\beta =\left(\nabla _{X}B-\nabla _{B}X+({\text{div}}X)B\right)^{\flat }} यदि B = ( ⋆ β ) ♯ {\displaystyle B=({\star }\beta )^{\sharp }} (2 {\displaystyle 2} -रूप 3 {\displaystyle 3} -मैनिफोल्ड पर)
⋆ L X ρ = d q ( X ) + ( div X ) q {\displaystyle {\star }{\mathcal {L}}_{X}\rho =dq(X)+({\text{div}}X)q} यदि ρ = ⋆ q ∈ Ω 0 ( M ) {\displaystyle \rho ={\star }q\in \Omega ^{0}(M)} (n {\displaystyle n} -रूप)
L X ( d e t ) = ( div ( X ) ) d e t {\displaystyle {\mathcal {L}}_{X}(\mathbf {det} )=({\text{div}}(X))\mathbf {det} }
↑ Crane, Keenan; de Goes, Fernando; Desbrun, Mathieu; Schröder, Peter (21 July 2013). असतत बाहरी कलन के साथ डिजिटल ज्यामिति प्रसंस्करण . pp. 1–126. doi :10.1145/2504435.2504442 . ISBN 9781450323390 . S2CID 168676 .
↑ Schwarz, Günter (1995). Hodge Decomposition – A Method for Solving Boundary Value Problems . Springer. ISBN 978-3-540-49403-4 .
↑ Cartan, Henri (26 May 2006). विभेदक रूप (Dover ed.). Dover Publications. ISBN 978-0486450100 .
↑ Bott, Raoul; Tu, Loring W. (16 May 1995). बीजगणितीय टोपोलॉजी में विभेदक रूप . Springer. ISBN 978-0387906133 .
↑ Abraham, Ralph; J.E., Marsden; Ratiu, Tudor (6 December 2012). मैनिफोल्ड्स, टेंसर विश्लेषण और अनुप्रयोग (2nd ed.). Springer-Verlag. ISBN 978-1-4612-1029-0 .
↑ 6.0 6.1 Tu, Loring W. (2011). अनेक गुनाओं का परिचय (2nd ed.). New York: Springer. pp. 34, 233. ISBN 9781441974006 . OCLC 682907530 .