Preimage theorem

Preimage theorem In mathematics, particularly in the field of differential topology, the preimage theorem is a variation of the implicit function theorem concerning the preimage of particular points in a manifold under the action of a smooth map.[1][2] Statement of Theorem Definition. Laisser {style d'affichage f:Xe Y} be a smooth map between manifolds. We say that a point {displaystyle yin Y} is a regular value of {style d'affichage f} if for all {displaystyle xin f^{-1}(y)} the map {displaystyle df_{X}:T_{X}Xto T_{y}Oui} is surjective. Ici, {style d'affichage T_{X}X} et {style d'affichage T_{y}Oui} are the tangent spaces of {style d'affichage X} et {style d'affichage Y} at the points {style d'affichage x} et {displaystyle y.} Théorème. Laisser {style d'affichage f:Xe Y} be a smooth map, et laissez {displaystyle yin Y} be a regular value of {displaystyle f.} Alors {style d'affichage f^{-1}(y)} is a submanifold of {style d'affichage X.} Si {displaystyle yin {texte{je suis}}(F),} then the codimension of {style d'affichage f^{-1}(y)} is equal to the dimension of {style d'affichage Y.} Aussi, the tangent space of {style d'affichage f^{-1}(y)} à {style d'affichage x} est égal à {displaystyle ker(df_{X}).} There is also a complex version of this theorem:[3] Théorème. Laisser {style d'affichage X^{n}} et {style d'affichage Y^{m}} be two complex manifolds of complex dimensions {displaystyle n>m.} Laisser {style d'affichage g:Xe Y} be a holomorphic map and let {displaystyle yin {texte{je suis}}(g)} be such that {style d'affichage {texte{rang}}(dg_{X})=m} pour tous {displaystyle xin g^{-1}(y).} Alors {style d'affichage g^{-1}(y)} is a complex submanifold of {style d'affichage X} of complex dimension {displaystyle n-m.} See also Fiber (mathématiques) – Set of all points in a function's domain that all map to some single given point Level set – Subset of a function's domain on which its value is equal References ^ Tu, Loring W. (2010), "9.3 The Regular Level Set Theorem", An Introduction to Manifolds, Springer, pp. 105–106, ISBN 9781441974006. ^ Banyaga, Augustin (2004), "Corollaire 5.9 (The Preimage Theorem)", Lectures on Morse Homology, Texts in the Mathematical Sciences, volume. 29, Springer, p. 130, ISBN 9781402026959. ^ Ferrari, Michèle (2013), "Théorème 2.5", Variétés complexes - Lecture notes based on the course by Lambertus Van Geemen (PDF). masquer les collecteurs vte (Glossaire) Concepts de base Variété topologique Atlas Variété différentielle/lisse Structure différentielle Atlas lisse Sous-variété Variété riemannienne Carte lisse Submersion Pousser vers l'avant Espace tangent Forme différentielle Champ vectoriel Principaux résultats (liste) Indice Atiyah–SingerDarboux'sDe Rham'sFrobeniusGeneralized StokesHopf–RinowNoether'sSard'sWhitney embedding Maps CurveDiffeomorphism LocalGeodesicExponential map in Lie theoryFoliationImmersionIntegral curveLie deriveSectionSubmersion Types of manifolds Closed(Presque) Complexe(Presque) ContactFibréFinslerPlatG-structureHadamardHermitienHyperboliqueKählerKenmotsuGroupe de Lie Algèbre de LieVariété avec limiteOrientéParallélisablePoissonPrimeQuaternioniqueHypercomplexe(Pseudo−, Sous−) RiemannianRizza(Presque) SymplecticTame Tensors Vecteurs DistributionLie bracketPushforwardTangent space bundleTorsionVector fieldVector flow Covectors Closed/ExactCovariant derivéeCovariant space bundleDe Rham cohomologyForme différentielle Vector-valuedDerivée extérieureInterior productPullbackRicci curvature flowRiemann curvature tensorTensor field densityVolume formWedge product Bundles AdjointAffineAssociatedCotangentDualFiber(Co) FibrationJetAlgèbre de Lie(Écurie) NormalPrincipalSpinorSubbundleTangentTensorVector Connections AffineCartanEhresmannFormGeneralizedKoszulLevi-CivitaPrincipalVectorParallel transport Related Classification of manifoldsGauge theoryHistoryMorse theoryMoving frameSingularity theory Generalizations Banach manifoldDiffeologyDiffietyFréchet manifoldK-theoryOrbifoldSecondary calculus over commutative algebrasSheafStratifoldSupermanifoldTopologically stratified space This topology-related article is a stub. Vous pouvez aider Wikipédia en l'agrandissant.

Catégories: Topology stubsTheorems in differential topology