از ویکیپدیا، دانشنامه آزاد
پرش به ناوبریپرش به جستجو
دیسک پوانکاره با خطوط موازی هذلولی

مدل دیسک پوانکاره از کاشی کاری سه ضلعی کوتاه شده .
در هندسه، مدل دیسک پوانکاره ، که به آن مدل دیسک منسجم نیز میگویند، مدلی از هندسه هذلولی دو بعدی است که در آن نقاط هندسه در داخل دیسک واحد قرار دارند و خطوط مستقیم شامل تمام کمانهای دایرهای موجود در آن دیسک است. که بر روی مرز دیسک متعامد هستند ، به اضافه تمام قطرهای دیسک.
گروه ایزومتریک های حفظ جهت گیری مدل دیسک توسط گروه واحد ویژه SU(1,1) داده شده است .
همراه با مدل کلاین و مدل نیمه فضای پوانکاره ، توسط یوجنیو بلترامی پیشنهاد شد که از این مدل ها برای نشان دادن اینکه هندسه هذلولی با هندسه اقلیدسی همخوانی دارد، استفاده کرد . این نام به افتخار هانری پوانکاره گرفته شده است ، زیرا کشف مجدد این نمایش چهارده سال بعد بیشتر از اثر اصلی بلترامی شناخته شد. [1]
مدل توپ پوانکاره مدل مشابه است 3 یا N هندسه هذلولی بعدی که در آن نقطه از هندسه در می N بعدی واحد توپ .
فهرست

دیسک پوانکاره با 3 خط مستقیم فوق موازی (هذلولی).
خطوط مستقیم هذلولی شامل تمام کمانهای دایرههای اقلیدسی است که در داخل دیسک قرار دارند و با مرز دیسک متعامد هستند ، به اضافه تمام قطرهای دیسک.
قطب نما و ساخت و ساز مستقیم [ ویرایش ]
خط هذلولی منحصر به فرد از طریق دو نقطه P و Q که روی قطر دایره مرزی نیستند را می توان به صورت زیر ساخت :
- اجازه دهید P' وارونگی در دایره مرزی نقطه P باشد
- بگذارید Q' وارونگی در دایره مرزی نقطه Q باشد
- بگذارید M نقطه وسط قطعه PP باشد
- بگذارید N نقطه وسط قطعه QQ باشد
- رسم خط m تا M عمود بر قطعه PP'
- رسم خط n تا N عمود بر بخش QQ'
- اجازه دهید C جایی باشد که خط m و خط n قطع می شوند.
- دایره c را با مرکز C و عبور از P (و Q) رسم کنید.
- قسمتی از دایره c که داخل دیسک است خط هذلولی است.
اگر P و Q روی قطر دایره مرزی باشند، آن قطر خط هذلولی است.
راه دیگر این است:
- بگذارید M نقطه وسط قطعه PQ باشد
- خط m تا M را عمود بر قطعه PQ رسم کنید
- اجازه دهید P' وارونگی در دایره مرزی نقطه P باشد
- اجازه دهید N نقطه وسط قطعه PP باشد
- رسم خط n تا N عمود بر بخش PP'
- اجازه دهید C جایی باشد که خط m و خط n قطع می شوند.
- دایره c را با مرکز C و عبور از P (و Q) رسم کنید.
- قسمتی از دایره c که داخل دیسک است خط هذلولی است.
فاصله ها در این مدل معیارهای Cayley-Klein هستند . با توجه به دو نقطه مجزا ص و س در داخل دیسک، خط هذلولی منحصر به فرد اتصال آنها قطع مرز در دو نقطه ایده آل ، و ب ، آنها برچسب به طوری که نقاط هستند، به منظور، ، ص ، س ، ب و | ق | > | ap | و | pb | > | qb | .
فاصله هذلولی بین p و q پس از آن است
.
میله های عمودی نشان دهنده طول اقلیدسی پاره خطی است که نقاط بین آنها را در مدل به هم متصل می کند (نه در امتداد کمان دایره)، ln لگاریتم طبیعی است .

جایی که
و
فاصله p مربوط به q تا مرکز دیسک است،
فاصله بین ص و س ،
شعاع دایره مرزی دیسک و
است تابع وارون هذلولوی از کسینوس هایپربولیک .
هنگامی که دیسک مورد استفاده دیسک واحد باز باشد و یکی از نقاط مبدا باشد و فاصله اقلیدسی بین نقاط r باشد، فاصله هذلولی برابر است با:
جایی که
است تابع وارون هذلولوی از تانژانت هایپربولیک .
هنگامی که دیسک استفاده می شود دیسک واحد باز و نقطه است
بین مبدا و نقطه قرار دارد
(یعنی دو نقطه در یک شعاع هستند، زاویه قطبی یکسانی دارند و
، فاصله هذلولی آنها است
. این به فرمول قبلی کاهش می یابد اگر
.
دایره (مجموعه ای از تمام نقاط در یک هواپیما که در یک فاصله معین از یک نقطه داده شده، مرکز آن) یک دایره را به طور کامل در داخل دیسک لمس کردن و یا متقاطع مرز آن است. مرکز هذلولی دایره در مدل به طور کلی با مرکز اقلیدسی دایره مطابقت ندارد، اما آنها در همان شعاع دایره مرزی هستند.
ابر چرخه ها [ ویرایش ]
hypercycle (مجموعه ای از تمام نقاط در یک هواپیما که در یک طرف و در یک فاصله معین از یک خط داده شده، محور خود هستند) قوس دایره اقلیدسی یا وتر دایره مرز این است که از فاصله دایره مرزی در یک غیر حق زاویه . محور آن خط هذلولی است که در دو نقطه ایده آل مشترک است . این منحنی با فاصله همسان نیز شناخته می شود.
طالع بینی [ ویرایش ]
horocycle (یک منحنی که طبیعی و یا عمود بر ژئودزیک همگی مجانبی در همان جهت)، یک دایره در داخل دیسک که از لمس دایره حاشیه قرص است. نقطه ای که دایره مرزی را لمس می کند، بخشی از چرخه طالع بینی نیست. این یک نقطه ایده آل است و مرکز هذلولی هوروسیکلت است.
خلاصه اقلیدسی [ ویرایش ]
دایره اقلیدسی:
- که به طور کامل در داخل دیسک است یک دایره هذلولی است .
(زمانی که مرکز دیسک داخل دایره نباشد، مرکز اقلیدسی همیشه به مرکز دیسک نزدیکتر از مرکز هذلولی است، یعنی
دارای.)
- که داخل دیسک است و مرز را لمس می کند، یک هوروسیکل است .
- که مرز را به صورت متعامد قطع می کند یک خط هذلولی است . و
- که مرز را به صورت غیر متعامد قطع می کند یک ابر چرخه است .
وتر اقلیدسی دایره مرزی:
- که از مرکز می گذرد یک خط هذلولی است. و
- که از مرکز نمی گذرد یک هایپرسیکل است.
متریک و انحنا [ ویرایش ]

نمای مدل « توپ » پوانکاره از لانه زنبوری منتظم هذلولی ، {3،5،3}
اگر u و v دو بردار در فضای برداری n بعدی واقعی R n با هنجار اقلیدسی معمولی باشند، که هر دو هنجار کمتر از 1 دارند، ممکن است یک متغیر ایزومتریک را با

جایی که
نشان دهنده هنجار اقلیدسی معمول است. سپس تابع فاصله است

چنین تابع فاصله ای برای هر دو بردار هنجار کمتر از یک تعریف می شود و مجموعه این بردارها را به فضای متریک تبدیل می کند که مدلی از فضای هذلولی با انحنای ثابت -1 است. این مدل دارای خاصیت همسانی است که زاویه بین دو منحنی متقاطع در فضای هذلولی با زاویه مدل یکسان است.
مرتبط تانسور متریک از مدل دیسک پوانکاره داده شده است [2]

که در آن x i مختصات دکارتی فضای اقلیدسی محیطی است. ژئودزیک از مدل دیسک محافل عمود بر حوزه مرز S N -1 .
یک قاب متعارف با توجه به این متریک ریمانی توسط

با قاب دوگانه 1-فرم

در دو بعد [ ویرایش ]
مقاله اصلی: متریک پوانکاره
در دو بعد، با توجه به این قاب ها و اتصال Levi-Civita، فرم های اتصال توسط ماتریس متقارن متقارن 1 شکل منحصر به فرد ارائه شده است.
که بدون پیچش است، یعنی معادله ماتریس را برآورده می کند
. حل این معادله برای
بازده - محصول

که در آن ماتریس انحنا قرار دارد

بنابراین، انحنای دیسک هیپربولیک است

ارتباط با مدل های دیگر هندسه هذلولی [ ویرایش ]
همچنین ببینید: هندسه هایپربولیک § اتصال بین مدل ها

مدل دیسک پوانکاره (خط P )، و روابط آنها با مدل های دیگر
ارتباط با مدل دیسک کلاین [ ویرایش ]
مدل کلاین دیسک (همچنین به عنوان مدل بلترامی-کلین شناخته می شود) و مدل دیسک پوانکاره هر دو مدل که پروژه طیف هواپیما اغراقی در یک هستند دیسک . این دو مدل از طریق یک طرح ریزی روی یا از مدل نیمکره به هم مرتبط هستند . مدل دیسک کلاین یک پیش بینی املایی به مدل نیمکره است در حالی که مدل دیسک پوانکاره یک طرح ریزی استریوگرافی است .
مزیت مدل دیسک کلاین این است که خطوط در این مدل آکوردهای مستقیم اقلیدسی هستند . اشکال آن این است که مدل دیسک کلاین است منسجم (دایره و زاویه ها تحریف شده).
هنگامی که خطوط یکسان در هر دو مدل بر روی یک دیسک نمایش داده می شود، هر دو خط از دو نقطه ایده آل مشابه عبور می کنند . (نقاط ایده آل در همان نقطه باقی می مانند) همچنین قطب وتر در مدل دیسک کلاین مرکز دایره ای است که در مدل دیسک پوانکاره حاوی قوس است.
یک نقطه ( x , y ) در مدل دیسک پوانکاره به نگاشت می شود
در مدل کلاین
یک نقطه ( x , y ) در مدل کلاین به{
در مدل دیسک پوانکاره
برای امتیاز ایده آل
و فرمول ها تبدیل می شوند
بنابراین نقاط ثابت هستند.
اگر
یک بردار هنجار کوچکتر از یک است که نقطه ای از مدل دیسک پوانکاره را نشان می دهد، سپس نقطه متناظر مدل دیسک کلاین با:

برعکس، از یک بردار
هنجار کمتر از یک نشان دهنده نقطه ای از مدل بلترامی-کلاین است، نقطه متناظر مدل دیسک پوانکاره به صورت زیر به دست می آید:

رابطه با مدل نیم صفحه پوانکاره [ ویرایش ]
همچنین نگاه کنید به: تبدیل Cayley § Conformal map
مدل دیسک پوانکاره و مدل نیم صفحه پوانکاره هر دو به نام هانری پوانکاره نامگذاری شده اند .
اگر
بردار هنجار کوچکتر از یک است که نقطه ای از مدل دیسک پوانکاره را نشان می دهد، سپس نقطه متناظر مدل نیم صفحه به صورت زیر به دست می آید:

یک نقطه (x,y) در مدل دیسک به
در مدل نیمه هواپیما [3]
یک نقطه (x,y) در مدل نیم صفحه به نگاشت می شود
در مدل دیسک
ارتباط با مدل هایپربولوئید [ ویرایش ]

مدل hyperboloid می تواند به عنوان تی معادله نشان 2 = X 1 2 + X 2 2 1، تی> 1. می توان از آن برای ساخت یک مدل دیسک پوانکاره به عنوان یک طرح مشاهده شده از (t=-1, x 1 =0, x 2 =0) استفاده کرد و نیمه هایپربولوئید بالایی را روی دیسک واحد در t=0 نمایش داد. ژئودزیک قرمز در مدل دیسک پوانکاره به ژئودزیک قهوهای روی هیپربولوئید سبز نشان میدهد.

انیمیشن یک کاشی کاری هذلولی جزئی {7،3} از هایپربولوئید که در چشم انداز پوانکر چرخیده است.
مدل دیسک پوانکاره و همچنین مدل کلاین به صورت تصویری به مدل هایپربولوئید مربوط می شوند . اگر یک نقطه [ t , x 1 , ..., x n ] در صفحه بالای هیپربولوئید مدل هایپربولوئید داشته باشیم، بدین ترتیب یک نقطه در مدل هایپربولوئید تعریف می کنیم، ممکن است آن را بر روی صفحه t = 0 قرار دهیم. تقاطع آن با یک خط کشیده شده از [-1، 0، ...، 0]. نتیجه نقطه متناظر مدل دیسک پوانکاره است.
برای مختصات دکارتی ( t , x i ) در هیپربولوئید و ( y i ) در صفحه، فرمول های تبدیل عبارتند از:


فرمول های نمایش استریوگرافیک بین کره و صفحه را مقایسه کنید.
ساختارهای هندسه تحلیلی در صفحه هذلولی [ ویرایش ]
ساختار اصلی هندسه تحلیلی یافتن خطی از دو نقطه داده شده است. در مدل دیسک پوانکاره، خطوط در صفحه توسط بخشهایی از دایرههایی که معادلات شکلی دارند، تعریف میشوند.

که شکل کلی یک دایره متعامد به دایره واحد یا بر اساس قطر است. با توجه به دو نقطه u و v در دیسک که روی قطر قرار ندارند، می توانیم دایره این شکل را که از هر دو نقطه می گذرد حل کنیم و به دست آوریم.
![{\displaystyle {\begin{aligned}x^{2}+y^{2}&{}+{\frac {v_{1}(u_{2}^{2}+v_{2}^{2} +1)-v_{2}(u_{1}^{2}+v_{1}^{2}+1)}{u_{1}v_{2}-u_{2}v_{1}}} x\\[8pt]&{}+{\frac {u_{2}(u_{1}^{2}+v_{1}^{2}+1)-u_{1}(u_{2}^ {2}+v_{2}^{2}+1)}{u_{1}v_{2}-u_{2}v_{1}}}y+1=0\,.\end{تراز شده}} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f65eb0e73ee28b703a59b3fdfcc8eb28facd52a6)
اگر نقاط u و v نقاطی در مرز دیسک هستند که در نقاط انتهایی قطر قرار ندارند، موارد فوق ساده می شود

میتوانیم زاویه بین قوس دایرهای را که نقاط انتهایی آن ( نقاط ایدهآل ) با بردارهای واحد u و v داده شدهاند ، و کمانی که نقاط انتهایی آن s و t هستند را با استفاده از یک فرمول محاسبه کنیم. از آنجایی که نقاط ایده آل در مدل کلاین و مدل دیسک پوانکاره یکسان است، فرمول ها برای هر مدل یکسان است.
اگر خطوط هر دو مدل دارای قطر باشند، به طوری که v = − u و t = − s ، آنگاه ما فقط زاویه بین دو بردار واحد را پیدا می کنیم و فرمول زاویه θ است.

اگر v = - u اما t = - s نباشد ، فرمول بر حسب حاصلضرب گوه تبدیل می شود (
)

جایی که



اگر هر دو آکورد قطر نباشند، فرمول کلی به دست می آید

جایی که



با استفاده از هویت بینه-کوشی و این واقعیت که این بردار واحد ما ممکن است بالاتر از عبارت صرفا از نظر بازنویسی هستند محصول از نقطه ، به عنوان



تحقق هنری [ ویرایش ]

کاشی کاری هذلولی مثلثی (6،4،2) که الهام بخش MC Escher بود
همچنین ببینید: MC Escher و Circle Limit III
MC Escher مفهوم نمایش بی نهایت را در یک صفحه دو بعدی بررسی کرد. بحث و گفتگو با HSM Coxeter ریاضیدان کانادایی در حدود سال 1956 باعث الهام بخش علاقه اشر به تسلسل های هذلولی شد ، که کاشی کاری های منظم صفحه هایپربولیک هستند. حکاکیهای چوبی اشر Circle Limit I–IV این مفهوم را بین سالهای 1958 و 1960 نشان میدهد، آخرین مورد، Circle Limit IV: Heaven and Hell در سال 1960 است. [4] به گفته برونو ارنست، بهترین آنها Circle Limit III است .
همچنین ببینید [ ویرایش ]
منابع
https://en.wikipedia.org/wiki/Poincar%C3%A9_disk_model