نمایش مبدأ برای منیفلد (هندسه)

{{تغییرمسیر|منیفولد}}
[[پرونده:BoysSurfaceTopView.PNG|جایگزین=رویهٔ Boy|بندانگشتی|صفحه تصویری حقیقی یک منیفلد دو بعدی است که نمی‌توان آن را در سه بعد جا داد بدون این که خود را قطع کند، در اینجا رویه Boy نشان داده شده‌است.]]
[[پرونده:Polar stereographic projections.jpg|جایگزین=چارت‌های کره زمین به عنوان یک منیفلد|بندانگشتی|این سطح کره زمین است که نیازمند (حداقل) دو چارت برای دربرگرفتن تمام نقاط آن است. در اینجا کره به دو چارت حول قطب شمال و جنوب تجزیه شده‌است.]]
'''خمینه''' یا '''منیفلد''' ({{lang-en|Manifold}})؛ [[فضای توپولوژی]] است که در هر نقطه به صورت موضعی شبیه فضای [[هندسه اقلیدسی|اقلیدسی]] است. به‌طور دقیق تر، هر نقطه از فضای n-بعدی دارای همسایگی هومئومورف با فضای اقلیدسی n بعدی است؛ بنابراین اگر بخواهیم دقیق تر بگوییم یک منیفلد بر اساس توصیف فوق یک n-منیفلد است.

یک منیفلد یک بعدی شامل خطوط و دوایر است، اما شکل عدد هشت انگلیسی منیفلد یک بعدی نیست (چرا که در مرکز عدد هشت انگلیسی دو خم با هم برخورد کرده‌اند و هیچ همسایگی آن با فضای اقلیدسی یک بعدی [[همسان‌ریختی|هومئومورف]] نیست). منیفلدهای دو بعدی را رویه می‌نامند. به عنوان مثالی از منیفلدهای دو بعدی می‌توان به [[صفحه]]، [[کره (هندسه)|کره]]، [[چنبره]] اشاره کرد که تمام آن‌ها را می‌توان در [[فضای سه‌بعدی|فضای سه بعدی]] نشاند (بدون این که از خودشان عبور کنند) اما [[بطری کلاین]] و صفحه تصویری حقیقی هم منیفلد دو بعدی هستند که نمی‌توانند برعکس مثال‌های قبلی در فضای سه بعدی بنشینند (immersion) چون در این صورت الزاماً خودشان را قطع خواهند کرد.

گرچه که یک منیفلد به صورت موضعی شباهت به فضای اقلیدسی دارد، یعنی هر نقطه از آن همسایگی ای دارد که با یک زیرمجموعه باز از فضای اقلیدسی هومئومورف است، اما به‌طور سراسری ممکن است با فضای اقلیدسی هومئومورف نباشد. به عنوان مثال، رویه کره با صفحه اقلیدسی هومئومورف نیست، چرا که (علاوه بر خواص دیگر) خاصیت توپولوژیکی سرتاسری فشردگی را داشته در حالی که فضای اقلیدسی متناظر با آن فشرده نیست، اما در یک ناحیه از کره می‌توان بوسیلهٔ نگاشت‌های تصویری چارت‌هایی ساخت بین آن ناحیه از کره و صفحه دو بعدی اقلیدسی. زمانی که یک ناحیه در دو چارت همسایه پدیدار گردند، آن دو نمایش به‌طور دقیق با هم یکی نمی‌شوند و تبدیلی بینشان نیاز است که به آن ''نگاشت انتقال'' می‌گویند.

مفهوم منیفلد در بسیاری از بخش‌های [[هندسه]] و [[ریاضی فیزیک|ریاضی-فیزیک]] مدرن نقش محوری دارد، چرا که امکان توصیف و فهم ساختارهای پیچیده‌تر را به وسیله خواص توپولوژیکی موضعی ساده‌تر هندسهٔ اقلیدسی را می‌دهد. منیفلدها به‌طور طبیعی در حل مجموعه دستگاه‌های معادلاتی و نمودار توابع ظاهر می‌شوند.

منیفلدها را می‌توان با ساختارهای اضافی مجهز کرد. یک دسته منیفلدهای مهم، منیفلدهای دیفرانسیل پذیر می‌باشند؛ این ساختار دیفرانسیل پذیر امکان انجام [[حسابان|حساب دیفرانسیل و انتگرال]] را بر روی منیفلدها می‌دهد. یک متر ریمانی روی منیفلد امکان می‌دهد تا فواصل و زاویه‌ها را اندازه‌گیری کرد. منیفلدهای سیمپلکتیک به عنوان فضای فازی در فرمالیسم همیلتونی [[مکانیک کلاسیک]] عمل می‌کنند، در حالی که منیفلدهای لورنتزی [[فضازمان]] را در [[نسبیت عام]] مدل می‌کنند.

== مثال‌های انگیزشی ==
یک رویه، منیفلدی دو بعدی است، به این معنا که به صورت موضعی در همسایگی هر نقطه مشابه یک صفحه اقلیدسی می‌باشد. به عنوان مثال، سطح یک کره را می‌توان به صورت مجموعه ای از نگاشت‌ها (که به آن‌ها چارت می‌گویند) توصیف کرد، که این چارت‌ها به کمک هم دیگر اطلسی را برای آن کره تشکیل می‌دهند. گرچه که هیچ تک نگاشتی کل یک کره را پوشش نمی‌دهد، هر نقطه از کره با حداقل یک چارت پوشش داده می‌شود.

بسیاری از مکان‌های کره در بیش از یک چارت ظاهر می‌شوند. به عنوان مثال، نگاشت [[آمریکای شمالی]] احتمالاً بخش‌هایی از آمریکای جنوبی و [[قطب شمال]] را شامل می‌شود. این نواحی از کره، توسط چارت‌های جداگانه ای که آن‌ها نیز بخش‌هایی از آمریکای شمالی را در بر می‌گیرند، به‌طور کامل توصیف می‌شوند. نگاشتی بین چارت‌های مجاور وجود دارد که به آن ''نگاشت گذار'' می‌گویند. نگاشت گذار امکان چسباندن چارت‌های مختلف را به شکل مناسب می‌دهد، به گونه ای که چارت‌ها با هم سازگاری داشته باشند و کل کره را پوشش دهند.

توصیف چارت‌های مختصاتی روی رویه‌ها، نیازمند دانش توابع دو متغیره است، چرا که این توابع باید ناحیه ای از صفحه را به ناحیه دیگری از صفحه بچسبانند. با این حال، مثال‌های یک بعدی منیفلدها (یا همان خم‌ها) را می‌توان تنها با توابع تک متغیره توصیف کرد.

منیفلدها کاربردهایی در گرافیک رایانه ای و واقعیت افزوده دارند، مثل تعریف کردن مختصات بر روی تصاویر (بافت‌ها) در تصاویر سی تی اسکن. در واقعیت افزوده، یک تصویر (صفحه [[مماس]]) را می‌توان به صورت یک شیء مختصات دار دید و با استفاده از سنسورها و تشخیص حرکت و دوران، می‌توان موقعیت تصویر در فضا را تشخیص داد.

=== دایره ===
[[پرونده:Circle with overlapping manifold charts.svg|جایگزین=چارت‌های دایره با کمک نگاشت تصویر|بندانگشتی|شکل ۱: چهار چارت، هر کدام بخشی از دایره را روی یک بازه باز می‌نگارند و همه آن‌ها با هم کل دایره را پوشش می‌دهند.]]
بعد از خط، دایره ساده‌ترین مثال از منیفلدهای توپولوژیک اند. توپولوژی خمیدگی‌ها را در نظر نمی‌گیرد، لذا بین قطعه ای از دایره و قطعه ای از یک خط تفاوتی قائل نمی‌شود. به عنوان مثال، بالای دایره واحد ''x''<sup>2</sup> + ''y''<sup>2</sup> = ۱ را در نظر بگیرید، آنجا که محور ''y'' ها مثبت هستند (این قسمت در شکل ۱ به صورت کمان زرد رنگ نشان داده شده‌است) هر نقطه از این کمان را می‌توان به صورت منحصر به فردی توسط مختصات ''x'' آن توصیف کرد؛ لذا، تصویر آن روی اولین محور مختصاتی، نگاشتی پیوسته و معکوس پذیر خواهد بود که کمان بالایی را به بازهٔ باز (۱, ۱-):
{{وسط‌چین}}
: <math> \chi_{\mathrm{top}}(x,y) = x . \,</math>
<!-- The \, is to keep the formula rendered as PNG instead of HTML. Please don't remove it. -->
{{پایان وسط‌چین}}
چنین توابعی به همراه نواحی بازی که می‌نگارند را ''چارت'' گویند. به‌طور مشابه، چارت‌هایی برای قسمت پایین (قرمز)، چپ (آبی) و راست (سبز) دایره وجود دارد:
{{وسط‌چین}}
: <math>\begin{align}
  \chi_\mathrm{bottom}(x, y) &= x \\
    \chi_\mathrm{left}(x, y) &= y \\
   \chi_\mathrm{right}(x, y) &= y.
\end{align}</math>
{{پایان وسط‌چین}}
همه این قسمت‌ها با هم کل دایره را پوشش داده و این چهار چارت یک اطلس را برای دایره تشکیل می‌دهند.

چارت‌های بالایی و سمت راست، به ترتیب <math>\chi_\mathrm{top}</math> و <math>\chi_\mathrm{right}</math> در دامنهٔ خود همپوشانی دارند: اشتراک آن‌ها در یک چهارم از دایره قرار داشته، آنجا که مختصات <math>x</math> و <math>y</math> مثبت هستند. هر کدام از چارت‌های مذکور این بخش را به شکل متفاوتی بر روی بازهٔ <math>(0,1)</math> می‌نگارند؛ لذا می‌توان تابع <math> T:(0,1)\rightarrow(0,1)=\chi_\mathrm{right} \circ \chi^{-1}_\mathrm{top}</math> را ساخت، به گونه ای که معکوس <math>\chi_\mathrm{top}</math> مقادیر هم-دامنهٔ را به دایره برمی‌گرداند، سپس نگاشت <math>\chi_\mathrm{right}</math> آن قسمت از دایره را به بازه برمی‌گرداند. فرض کنید ''a'' یک عدد دلخواه در بازه <math>(0,1)</math> باشد:
{{وسط‌چین}}
: <math>\begin{align}
 T(a) &= \chi_\mathrm{right}\left(\chi_\mathrm{top}^{-1}\left[a\right]\right) \\
      &= \chi_\mathrm{right}\left(a, \sqrt{1 - a^2}\right) \\
      &= \sqrt{1 - a^2}
\end{align}</math>
{{پایان وسط‌چین}}
چنین تابعی را ''نگاشت گذار'' گویند.

 [[پرونده:Circle manifold chart from slope.svg|جایگزین=پوشش دایره با دو چارت و استفاده از نگاشت شیب خط|بندانگشتی|شکل ۲: یک منیفلد دایره ای، چارت‌ها در اینجا به صورت خطوط هستند که کل دایره به جز یک نقطه را پوشش می‌دهند.]]
چارت‌های بالا، پایین، چپ و راست نشان می‌دهند که دایره یک منیفلد است، اما آن‌ها تنها اطلس ممکن را برای دایره تشکیل نمی‌دهند. نیاز نیست چارت‌ها به صورت نگاشت‌های تصویری تعریف شوند و تعداد چارت‌ها نیز تا حدی سلیقه ای می‌باشند. این چارت‌ها را در نظر بگیرید:
{{وسط‌چین}}
: <math>\chi_\mathrm{minus}(x, y) = s = \frac{y}{1 + x}</math>
{{پایان وسط‌چین}}
و
{{وسط‌چین}}
: <math>\chi_\mathrm{plus}(x, y) = t = \frac{y}{1 - x}</math>
{{پایان وسط‌چین}}
در اینجا ''s'' شیب خطی است که از نقطه ای به مختصات (''x'',''y'') به نقطهٔ ثابت (۱-, ۰) رسم شده‌است؛ ''t'' نیز به همین شکل تعریف شده‌است، با این تفاوت که نقطه ثابت آن (۱+, ۰)، نگاشت معکوس از ''s'' به نقطهٔ (''x'', ''y'') به این شکل می‌باشد:
{{وسط‌چین}}
: <math>\begin{align}
  x &= \frac{1 - s^2}{1 + s^2} \\[5pt]
  y &= \frac{2s}{1 + s^2}
\end{align}</math>
{{پایان وسط‌چین}}
به سادگی می‌توان بررسی کرد که برای تمام مقادیر ''s'' معادلهٔ ''x''<sup>2</sup> + ''y''<sup>2</sup> = ۱ برقرار خواهد بود. این دو چارت اطلس دوم را برای دایره مثال ما فراهم می‌کنند که در آن رابطه بین s و t به این شکل خواهد بود:
{{وسط‌چین}}
: <math>t = \frac{1}{s}</math>
{{پایان وسط‌چین}}
هر چارت فاقد یک نقطه می‌باشد، یکی فاقد نقطه (۱-, ۰) برای ''s''، دیگری فاقد نقطه (۱+, ۰) برای ''t'' بوده، لذا هیچ‌کدام از چارت‌ها به تنهایی برای پوشش کل دایره کافی نیستند. این نکته که دایره کامل را با یک چارت نمی‌توان پوشش داد قابل اثبات است. به عنوان مثال گرچه که امکان ساخت یک دایره از یک بازه باز با چسباندن و همپوشانی انتهای آن‌ها وجود دارد، اما با این کار یک چارت نساخته‌ایم، چرا که بخشی از دایره همزمان به دو انتهای بازه نگاشته شده و لذا چارت‌ها معکوس پذیر نخواهند بود.

== جستارهای وابسته ==
* [[واریته جبری]]

== منابع ==
{{چپچین}}
{{refbegin|2}}
* [[Michael Freedman|Freedman, Michael H.]], and Quinn, Frank (1990) ''Topology of 4-Manifolds''. Princeton University Press. {{isbn|0-691-08577-3|en}}.
* [[Victor Guillemin|Guillemin, Victor]] and Pollack, Alan (1974) ''Differential Topology''. Prentice-Hall. {{isbn|0-13-212605-2|en}}. Advanced undergraduate / first-year graduate text inspired by Milnor.
* Hempel, John (1976) ''3-Manifolds''. Princeton University Press. {{isbn|0-8218-3695-1|en}}.
* [[Morris Hirsch|Hirsch, Morris]], (1997) ''Differential Topology''. Springer Verlag. {{isbn|0-387-90148-5|en}}. The most complete account, with historical insights and excellent, but difficult, problems. The standard reference for those wishing to have a deep understanding of the subject.
* [[Robion Kirby|Kirby, Robion C.]] and Siebenmann, Laurence C. (1977) ''Foundational Essays on Topological Manifolds. Smoothings, and Triangulations''. Princeton University Press. {{isbn|0-691-08190-5|en}}. A detailed study of the [[category theory|category]] of topological manifolds.
* Lee, John M. (2000) ''Introduction to Topological Manifolds''. Springer-Verlag. {{isbn|0-387-98759-2|en}}. Detailed and comprehensive first-year graduate text.
* Lee, John M. (2003) ''[https://archive.org/details/GraduateTextsInMathematics218LeeJ.M.IntroductionToSmoothManifoldsSpringer2012 Introduction to Smooth Manifolds]''. Springer-Verlag. {{isbn|0-387-95495-3|en}}. Detailed and comprehensive first-year graduate text; sequel to ''Introduction to Topological Manifolds''.
* [[William S. Massey|Massey, William S.]] (1977) ''Algebraic Topology: An Introduction''. Springer-Verlag. {{isbn|0-387-90271-6|en}}.
* [[John Milnor|Milnor, John]] (1997) ''Topology from the Differentiable Viewpoint''. Princeton University Press. {{isbn|0-691-04833-9|en}}. Classic brief introduction to differential topology.
* [[James Munkres|Munkres, James R.]] (1991) ''[https://archive.org/details/MunkresJ.R.AnalysisOnManifolds Analysis on Manifolds]''. Addison-Wesley (reprinted by Westview Press) {{isbn|0-201-51035-9|en}}. Undergraduate text treating manifolds in '''R'''''<sup>n</sup>.''
* [[James Munkres|Munkres, James R.]] (2000) ''Topology''. Prentice Hall. {{isbn|0-13-181629-2|en}}.
* Neuwirth, L. P. , ed. (1975) ''Knots, Groups, and 3-Manifolds. Papers Dedicated to the Memory of R. H. Fox''. Princeton University Press. {{isbn|978-0-691-08170-0|en}}.
* [[Bernhard Riemann|Riemann, Bernhard]], ''Gesammelte mathematische Werke und wissenschaftlicher Nachlass'', Sändig Reprint. {{isbn|3-253-03059-8|en}}.
** ''[http://www.maths.tcd.ie/pub/HistMath/People/Riemann/Grund/ Grundlagen für eine allgemeine Theorie der Functionen einer veränderlichen complexen Grösse.]'' The 1851 doctoral thesis in which "manifold" (''Mannigfaltigkeit'') first appears.
** ''[http://www.maths.tcd.ie/pub/HistMath/People/Riemann/Geom/ Ueber die Hypothesen, welche der Geometrie zu Grunde liegen.]'' The 1854 Göttingen inaugural lecture (''Habilitationsschrift'').
* [[Michael Spivak|Spivak, Michael]] (1965) ''[https://archive.org/details/SpivakM.CalculusOnManifoldsPerseus2006Reprint Calculus on Manifolds: A Modern Approach to Classical Theorems of Advanced Calculus]''. W.A. Benjamin Inc. (reprinted by Addison-Wesley and Westview Press). {{isbn|0-8053-9021-9|en}}. [[Calculus on Manifolds (book)|Famously terse]] advanced undergraduate / first-year graduate text.
* [[Michael Spivak|Spivak, Michael]] (1999) ''A Comprehensive Introduction to Differential Geometry'' (3rd edition) Publish or Perish Inc. Encyclopedic five-volume series presenting a systematic treatment of the theory of manifolds, Riemannian geometry, classical differential geometry, and numerous other topics at the first- and second-year graduate levels.
* {{cite book|last1=Tu|first1=Loring W.|title=An Introduction to Manifolds|date=2011|publisher=Springer|location=New York|isbn=978-1-4419-7399-3|edition=2nd|url=https://www.springer.com/gb/book/9781441973993}}. Concise first-year graduate text.
{{refend}}
{{پایان چپچین}}
* {{یادکرد-ویکی
|پیوند = https://en.wikipedia.org/w/index.php?title=Manifold&oldid=915669964
|عنوان = Manifold
|زبان = انگلیسی
|بازیابی = 14 سپتامبر 2019}}

{{موضوعات ابعاد}}
{{توپولوژی}}
{{داده‌های کتابخانه‌ای}}

[[رده:منیفلدها]]
[[رده:پردازش هندسی]]