مطالعه نشاننده های cr-epic و فضاهای cr-epic مطلق

پایان نامه
چکیده

مطابق معمول حلقه توابع پیوسته حقیقی مقدار روی فضای تیخونوف x را با c(x) نمایش می دهیم. اگر برای هر نشاننده ی توپولوژیکf : x?y نگاشت القایی ?:c(y)?c(x) اپی مورفیس در کاتگوری حلقه های جابجایی باشد. آنگاه فضای xرا فضایی cr-epic مطلق می نامند.فضا های تقریبا فشرده و p-فضاهای لیندلوف از ساده ترین این نوع فضاها می باشند.

منابع مشابه

مطالعه ی نشاننده های cr-epic و فضاهای cr-epic مطلق

مطابق معمول حلقه ی توابع پیوسته حقیقی مقدار روی فضای تیخونوف x را با( c(x نمایش می دهیم . اگر برای هر نشاننده ی توپولوژیکf:x?(??( ) y) ?: c(y) ?(??( ) )c(x) اپی مورفیسم در کاتگوری حلقه ها ی جابجایی باشد آن گاه فضای x را فضایی cr- epic مطلق می نامند. فضاهای تقریبا فشرده و فضاهای لیندلوف از ساده ترین این نوع فضاها می باشند-p در این پایان نامه شرایطی که یک فضا تحت آن cr-epic مطلق است مورد ...

Searching for More Absolute Cr-epic Spaces

We continue our examination of absolute CR -epic spaces, or spaces with the property that any embedding induces an epimorphism, in the category of commutative rings, between their rings of continuous functions. We examine more closely the deleted plank construction, which generalizes the Dieudonné construction, and yields absolute CR -epic spaces which are not Lindelöf. For the Lindelöf case, a...

متن کامل

Photoionization transition Cr 3 + → Cr 2 + in GaAs : Cr

2014 The photoionization absorption spectrum of the strongly Cr-doped GaAs samples was measured in the energy region 5 500-11 000 cm-1 under hydrostatic pressure up to 9 kbar at 300 K and 77 K. The EPR measurements with 1.09 03BCm laser excitation shows that this absorption is due to the charge transfer Cr3+ ~ Cr2+ transitions. The theoretical model which takes into account the lattice relaxati...

متن کامل

EPiC Series in Computing

We present the results of a friendly competition for formal verification of continuous and hybrid systems with nonlinear continuous dynamics. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in 2017. This year, three tools CORA, Flow* and Isabelle/HOL (in alphabetic order) participated. They are applied to solve the reacha...

متن کامل

EPiC Series in Computing

Although clausal propositional proofs are significantly smaller compared to resolution proofs, their size on disk is still too large for several applications. In this paper we present several methods to compress clausal proofs. These methods are based on a two phase approach. The first phase consists of a light-weight compression algorithm that can easily be added to satisfiability solvers that...

متن کامل

EPiC Series in Computing

We describe our initial experiments with several state-of-the-art automated theorem provers on the problems in Tarskian Geometry created by Beeson and Wos. In comparison to the manually-guided OTTER proofs by Beeson and Wos, we can solve a large number of problems fully automatically, in particular thanks to the recent large-theory reasoning methods.

متن کامل

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


نوع سند: پایان نامه

وزارت علوم، تحقیقات و فناوری - دانشگاه کردستان - دانشکده علوم پایه

کلمات کلیدی

میزبانی شده توسط پلتفرم ابری doprax.com

copyright © 2015-2023