نظریه توپوس
توپوس یک رده است که مانند رده مجموعهها رفتار میکند و از یک منطق درونی پشتیبانی میکند و نظریه مجموعهها و نظریه بافهها را تعمیم میدهد و بستری برای مبانی ردهای ریاضیات فراهم میآورد.
Definition
یک توپوس مقدماتی، ردهای با حدود متناهی، اشیاء نمایی، و یک طبقهبندیکننده زیرشیء است؛ این رده ساختار کافی برای تفسیر یک منطق شهودی مرتبه بالاتر را دارد، بنابراین به عنوان یک جهان تعمیمیافته از مجموعهها با ریاضیات درونی خود عمل میکند.
Scope
این موضوع توپوسهای مقدماتی تعریفشده با حدود متناهی، توابع نمایی، و یک طبقهبندیکننده زیرشیء، توپوسهای گروتندیک به عنوان ردههای بافهها بر روی یک سایت، منطق شهودی مرتبه بالاتر درونی یک توپوس، و نقش توپوسها در ارائه مبانی ساختاری و جایگزین و در پیوند دادن هندسه به منطق را پوشش میدهد.
Core questions
- چه ساختار ردهای باعث میشود یک رده مانند رده مجموعهها رفتار کند؟
- چگونه یک توپوس یک منطق درونی را حمل میکند، و چرا این منطق شهودی است؟
- چگونه توپوسهای گروتندیک بافهها را تعمیم میدهند و هندسه را کدگذاری میکنند؟
- به چه معنا یک توپوس میتواند به عنوان بنیادی برای ریاضیات عمل کند؟
Key theories
- طبقهبندیکننده زیرشیء و منطق درونی
- یک طبقهبندیکننده زیرشیء، زیرشیءها را با نگاشتهایی به یک شیء مقدار-حقیقت نمایش میدهد، و به هر توپوس یک منطق مرتبه بالاتر درونی میدهد که به طور کلی شهودی است تا کلاسیک.
- توپوسهای گروتندیک
- ردههای بافهها بر روی یک سایت، توپوسهای گروتندیک را تشکیل میدهند، که فضاهای توپولوژیک را تعمیم میدهند و چارچوب ردهای را که گروتندیک برای کوهمولوژی در هندسه جبری توسعه داد، فراهم میکنند.
- توپوسها به عنوان مبانی
- یک توپوس خوشنشاندار (well-pointed topos) که اصل انتخاب را برآورده میکند، یک نظریه مجموعههای ساختاری را مدلسازی میکند، بنابراین نظریه توپوس یک جایگزین ردهای برای مبانی مبتنی بر عضویت ریاضیات ارائه میدهد.
Clinical relevance
نظریه توپوس هندسه و منطق را یکپارچه میکند: توپوسهای گروتندیک زیربنای هندسه جبری مدرن و کوهمولوژی هستند، منطق شهودی درونی توپوسها ریاضیات سازنده را مدلسازی میکند و معناشناسی برای نظریه نوع (type theory) فراهم میآورد، و توپوسهای مقدماتی یک توصیف ساختاری از مبانی ریاضیات ارائه میدهند.
History
گروتندیک و همکارانش در دهه ۱۹۶۰ توپوسها را به عنوان ردههای بافهها برای پشتیبانی از کوهمولوژی طرحها معرفی کردند. سپس لاویر و تیرنی در اوایل دهه ۱۹۷۰، اصلبندی مقدماتی و کاملاً ردهای را ارائه دادند که منطق درونی یک توپوس را آشکار کرد و نظریه توپوس را به عنوان پلی بین هندسه، منطق، و مبانی ریاضیات تثبیت کرد.
Key figures
- Alexander Grothendieck
- F. William Lawvere
- Myles Tierney
- Peter Johnstone
Related topics
Seminal works
- maclanemoerdijk1994
- johnstone2002
- awodey2010
Frequently asked questions
- چرا منطق درونی یک توپوس شهودی است؟
- طبقهبندیکننده زیرشیء لزوماً قانون طرد شق ثالث را برآورده نمیکند، زیرا شبکه مقادیر حقیقت در یک توپوس عمومی یک جبر هیتینگ (Heyting algebra) است تا یک جبر بولی. در نتیجه، منطق معتبر درونی شهودی است و منطق کلاسیک تنها در توپوسهای خاص بازیابی میشود.
- چگونه یک توپوس رده مجموعهها را تعمیم میدهد؟
- رده مجموعهها سادهترین توپوس است، و یک توپوس عمومی ویژگیهای ساختاری کلیدی آن، حدود متناهی، فضاهای تابع، و یک طبقهبندیکننده زیرمجموعهها را حفظ میکند، در حالی که امکان تغییر در یک فضا یا یک نظریه منطقی را فراهم میآورد. این امر به فرد اجازه میدهد تا ریاضیات شبیه به مجموعه را در زمینههایی مانند بافهها که حقیقت محلی است، انجام دهد.