اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدSaturating directed spaces
281
0
0.0
(
0
)
تأليف
Andre Hirschowitz
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
Directed topology is a refinement of standard topology, where spaces may have non-reversible paths. It has been put forward as a candidate approach to the analysis of concurrent processes. Recently, a wealth of different frameworks for, i.e., categories of, directed spaces have been proposed. In the present work, starting from Grandiss notion of directed space, we propose an additional condition of saturation for distinguished sets of paths and show how it allows to rule out exotic examples without any serious collateral damage. Our saturation condition is local in a natural sense, and is satisfied by the directed interval (and the directed circle). Furthermore we show in which sense it is the strongest condition fulfilling these two basic requirements. Our saturation condition selects a full, reflective subcategory of Grandiss category of d-spaces, which is closed under arbitrary limits of d-spaces, has arbitrary colimits (obtained by saturating the corresponding colimits of d-spaces), and has nice cylinder and cocylinder constructions. Finally, the forgetful functor to plain topological spaces has both a right and a left adjoint.
قيم البحث
اقرأ أيضاً
A theorem by Norman L. Noble from 1970 asserts that every product of completely regular, locally pseudo-compact k_R-spaces is a k_R-space. As a consequence, all direct products of locally compact Hausdorff spaces are k_R-spaces. We provide a streamlined proof for this fact.
W. Hurewicz proved that analytic Menger sets of reals are $sigma$-compact and that co-analytic completely Baire sets of reals are completely metrizable. It is natural to try to generalize these theorems to projective sets. This has previously been ac
complished by $V = L$ for projective counterexamples, and the Axiom of Projective Determinacy for positive results. For the first problem, the first author, S. Todorcevic, and S. Tokgoz have produced a finer analysis with much weaker axioms. We produce a similar analysis for the second problem, showing the two problems are essentially equivalent. We also construct in ZFC a separable metrizable space with $omega$-th power completely Baire, yet lacking a dense completely metrizable subspace. This answers a question of Eagle and Tall in Abstract Model Theory.
We have defined almost separable space. We show that like separability, almost separability is $c$ productive and converse also true under some restrictions. We establish a Baire Category theorem like result in Hausdorff, Pseudocompacts spaces. We in
vestigate few relationships among separability, almost separability, sequential separability, strongly sequential separability.
A space $X$ is called $CCS$-normal space if there exist a normal space $Y$ and a bijection $f: Xmapsto Y$ such that $flvert_C:Cmapsto f(C)$ is homeomorphism for any cellular-compact subset $C$ of $X$. We discuss about the relations between $C$-normal
, $CC$-normal, $Ps$-normal spaces with $CCS$-normal.
Our main problem is to find finite topological spaces to within homeomorphism, given (also to within homeomorphism) the quotient-spaces obtained by identifying one point of the space with each one of the other points. In a previous version of this pa
per, our aim was to reconstruct a topological space from its quotient-spaces; but a reconstruction is not always possible either in the sense that several non-homeomorphic topological spaces yield the same quotient-spaces, or in the sense that no topological space yields an arbitrarily given family of quotient-spaces. In this version of the paper we present an algorithm that detects, and deals with, all these situations.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
