ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Borel Liftings of Borel Sets: Some Decidable and Undecidable Statements

دانلود کتاب بلند کردن Borel از مجموعه Borel: برخی از اظهارات قابل تصمیم گیری و غیر قابل تصمیم گیری

Borel Liftings of Borel Sets: Some Decidable and Undecidable Statements

مشخصات کتاب

Borel Liftings of Borel Sets: Some Decidable and Undecidable Statements

دسته بندی: منطق
ویرایش:  
نویسندگان:   
سری: Memoirs of the American Mathematical Society 
ISBN (شابک) : 0821839713, 9780821839713 
ناشر: American Mathematical Society 
سال نشر: 2007 
تعداد صفحات: 134 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 12 مگابایت

قیمت کتاب (تومان) : 36,000



کلمات کلیدی مربوط به کتاب بلند کردن Borel از مجموعه Borel: برخی از اظهارات قابل تصمیم گیری و غیر قابل تصمیم گیری: توپولوژی، هندسه و توپولوژی، ریاضیات، علوم و ریاضیات، نظریه مجموعه ها، ریاضیات محض، ریاضیات



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 10


در صورت تبدیل فایل کتاب Borel Liftings of Borel Sets: Some Decidable and Undecidable Statements به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب بلند کردن Borel از مجموعه Borel: برخی از اظهارات قابل تصمیم گیری و غیر قابل تصمیم گیری نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب بلند کردن Borel از مجموعه Borel: برخی از اظهارات قابل تصمیم گیری و غیر قابل تصمیم گیری

یکی از اهداف این کار بررسی برخی خواص طبیعی مجموعه‌های بورل است که در $ZFC$ غیرقابل تصمیم‌گیری هستند. نقطه شروع نویسندگان نتیجه ابتدایی، هرچند غیر پیش پا افتاده زیر است: $X \subset 2omega\times2omega$ را در نظر بگیرید، $Y=\pi(X)$ را تنظیم کنید، که در آن $\pi$ نشان‌دهنده پیش‌بینی متعارف $2omega\ است. times2omega$ روی فاکتور اول، و فرض کنید که $(\star)$ : \"\"هر زیرمجموعه جمع و جور از $Y$ پیش بینی برخی از زیر مجموعه های فشرده $X$\"\ است. علاوه بر این، اگر $X$ $\mathbf{\Pi 0 2$ باشد، $(\star\star)$: \"\"محدودیت $\pi$ به زیر مجموعه نسبتا بسته از $X$ برای $Y عالی است. $\"\" نتیجه می شود که در مورد فعلی $Y$ نیز $\mathbf{\Pi 0 2$ است. توجه داشته باشید که معنای معکوس $(\star\star)\Rightarrow(\star)$ برای هر $X$ و $Y$ بی اهمیت است. اما مفهوم $(\star)\Rightarrow (\star\star)$ برای مجموعه Borel دلخواه $X \subset 2omega\times2omega$ معادل عبارت \"\"$\forall \alpha\in \omegaomega, \ ,\aleph 1$ در $L(\alpha)$\"\" غیرقابل دسترسی است. به طور دقیق تر، نویسندگان ثابت می کنند که اعتبار $(\star)\Rightarrow(\star\star)$ برای همه $X \in \varSigma0 {1 \xi 1 $، معادل \"\"$\aleph \xi است. \aleph 1$\"\". با این حال، به طور مستقل نشان خواهیم داد که وقتی $X$ Borel باشد، می‌توان در $ZFC$، از $(\star)$ نتیجه ضعیف‌تری گرفت که $Y$ نیز Borel و از همان کلاس Baire با $X$ است. این آخرین نتیجه یک مشکل قدیمی در مورد نگاشت پوشش فشرده را حل می کند. در واقع این نتایج با اصل کرانه کلی زیر ارتباط نزدیکی دارند Lift$(X,Y)$: \"\"اگر زیرمجموعه فشرده $Y$ افزایش مداوم را در $X$ بپذیرد، آنگاه $Y$ یک پیوسته را می پذیرد. برداشتن در $X$\"\"، که در آن با برداشتن $Z\subset \pi(X)$ در $X$ منظور ما نقشه برداری در $Z$ است که نمودار آن در $X$ موجود است. نتیجه اصلی این کار مجموعه دقیق قدرت نظری این اصل را بسته به پیچیدگی توصیفی X$ و $Y$ نشان خواهد داد. نویسندگان همچنین نتیجه مشابهی را برای تغییری از Lift$(X, Y)$ اثبات کرده‌اند که در آن \"\"بالا بردن مداوم\"\" با \"\"بالابر Borel\"\" جایگزین می‌شود و به یک سؤال پاسخ می‌دهد. از اچ فریدمن. در میان برنامه‌های کاربردی دیگر، نویسندگان یک راه‌حل کامل برای مسئله‌ای که به لوسین مربوط می‌شود، در مورد وجود مجموعه‌های $\mathbf{\Pi 1 1$ با همه اجزاء در برخی از کلاس‌های معین $\mathbf{\Gamma $ از مجموعه‌های Borel، به دست می‌آورند. نتایج قبلی توسط J. Stern و R. Sami. اثبات نتیجه اصلی متکی به یک نمایش بی اهمیت از مجموعه های Borel (در $ZFC$) از نوع جدیدی است که شامل مقدار زیادی \"\"جبر انتزاعی\"\ است. این نمایش در ابتدا برای اهداف این اثبات توسعه داده شد، اما چندین کاربرد دیگر نیز دارد.


توضیحاتی درمورد کتاب به خارجی

One of the aims of this work is to investigate some natural properties of Borel sets which are undecidable in $ZFC$. The authors' starting point is the following elementary, though non-trivial result: Consider $X \subset 2omega\times2omega$, set $Y=\pi(X)$, where $\pi$ denotes the canonical projection of $2omega\times2omega$ onto the first factor, and suppose that $(\star)$ : ""Any compact subset of $Y$ is the projection of some compact subset of $X$"". If moreover $X$ is $\mathbf{\Pi 0 2$ then $(\star\star)$: ""The restriction of $\pi$ to some relatively closed subset of $X$ is perfect onto $Y$"" it follows that in the present case $Y$ is also $\mathbf{\Pi 0 2$. Notice that the reverse implication $(\star\star)\Rightarrow(\star)$ holds trivially for any $X$ and $Y$. But the implication $(\star)\Rightarrow (\star\star)$ for an arbitrary Borel set $X \subset 2omega\times2omega$ is equivalent to the statement ""$\forall \alpha\in \omegaomega, \,\aleph 1$ is inaccessible in $L(\alpha)$"". More precisely The authors prove that the validity of $(\star)\Rightarrow(\star\star)$ for all $X \in \varSigma0 {1 \xi 1 $, is equivalent to ""$\aleph \xi \aleph 1$"". However we shall show independently, that when $X$ is Borel one can, in $ZFC$, derive from $(\star)$ the weaker conclusion that $Y$ is also Borel and of the same Baire class as $X$. This last result solves an old problem about compact covering mappings. In fact these results are closely related to the following general boundedness principle Lift$(X, Y)$: ""If any compact subset of $Y$ admits a continuous lifting in $X$, then $Y$ admits a continuous lifting in $X$"", where by a lifting of $Z\subset \pi(X)$ in $X$ we mean a mapping on $Z$ whose graph is contained in $X$. The main result of this work will give the exact set theoretical strength of this principle depending on the descriptive complexity of $X$ and $Y$. The authors also prove a similar result for a variation of Lift$(X, Y)$ in which ""continuous liftings"" are replaced by ""Borel liftings"", and which answers a question of H. Friedman. Among other applications the authors obtain a complete solution to a problem which goes back to Lusin concerning the existence of $\mathbf{\Pi 1 1$ sets with all constituents in some given class $\mathbf{\Gamma $ of Borel sets, improving earlier results by J. Stern and R. Sami. The proof of the main result will rely on a nontrivial representation of Borel sets (in $ZFC$) of a new type, involving a large amount of ""abstract algebra"". This representation was initially developed for the purposes of this proof, but has several other applications.





نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی