دانلود کتاب Intuitionistic General Topology [PhD Thesis]
دسته: منطق
کتاب توپولوژی عمومی شهودی [پایان نامه دکتری] نسخه زبان اصلی
دانلود کتاب توپولوژی عمومی شهودی [پایان نامه دکتری] بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Intuitionistic General Topology [PhD Thesis]
نام کتاب : Intuitionistic General Topology [PhD Thesis]
عنوان ترجمه شده به فارسی : توپولوژی عمومی شهودی [پایان نامه دکتری]
سری :
نویسندگان : A.S. Troelstra
ناشر :
سال نشر : 1966
تعداد صفحات : 0
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 5 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
در ریاضیات کلاسیک، کم و بیش می توان نظریه مجموعه ها را در کلی ترین شکل آن از توپولوژی به عنوان تخصص نظریه مجموعه های عمومی متمایز کرد. (اما ما از عدم وجود یک مرز تیز آگاه هستیم.) در شهودگرایی، ایجاد چنین تمایزی بسیار دشوارتر است. محمولاتی که ممکن است از دیدگاه کلاسیک به نظریه مجموعه ها در کلی ترین شکل آن تعلق داشته باشند، می توانند برای توصیف ویژگی های «معمولاً توپولوژیک» در شهودگرایی استفاده شوند. محتویات این پایان نامه تقریباً در توپولوژی کلاسیک با مطالب دو فصل اول de VRIES 1958 مطابقت دارد.
فهرست مطالب :
Cover ......Page 1
Voorwoord ......Page 5
List of notations and conventions ......Page 6
List of notions ......Page 8
Bibliography ......Page 12
Introductory survey ......Page 14
1. Intuitionistic notions ......Page 20
2. Topological spaces ......Page 22
3. Metric spaces ......Page 26
4. Located pointspecies ......Page 29
1. Definitions ......Page 34
2. Basic pointspecies and point representations ......Page 36
3. Located compact spaces ......Page 38
1. Definition of intersection spaces ......Page 45
2. Representation and separation postulates ......Page 57
3. CIN- and PIN-spaces ......Page 70
4. Topological products ......Page 75
5. Examples ......Page 79
1. DFTK-spaces ......Page 88
2. LDFTK-spaces ......Page 97
3. Covering theorems ......Page 101
4. Located pointspecies and completeness ......Page 105
5. Topological products ......Page 108
Samenvatting ......Page 112
Stellingen ......Page 113
توضیحاتی در مورد کتاب به زبان اصلی :
In classical mathematics, one can more or less distinguish set theory in its most general form from topology as a specialization of general set theory. (We are aware, however, of the absence of a sharp borderline.) In intuitionism, it is much more difficult to make such a distinction; predicates which might be considered as to belong to set theory in its most general form from a classical point of view can be used to describe "typically topological" properties in intuitionism. The contents of this thesis roughly correspond in classical topology to the contents of the first two chapters of de VRIES 1958.