Loading [MathJax]/extensions/MathZoom.js
Displaying 701 –
720 of
1678
We prove that, assuming MA, every crowded space is -resolvable if it satisfies one of the following properties: (1) it contains a -network of cardinality constituted by infinite sets, (2) , (3) is a Baire space and and (4) is a Baire space and has a network with cardinality and such that the collection of the finite elements in it constitutes a -locally finite family. Furthermore, we prove that the existence of a Baire irresolvable space is equivalent to the existence of...
We show that the existence of a non-trivial category base on a set of regular cardinality with each subset being Baire is equiconsistent to the existence of a measurable cardinal.
We investigate whether in the setting of approach spaces there exist measures of relative compactness, (relative) sequential compactness and (relative) countable compactness in the same vein as Kuratowski's measure of compactness. The answer is yes. Not only can we prove that such measures exist, but we can give usable formulas for them and we can prove that they behave nicely with respect to each other in the same way as the classical notions.
It is shown that Čech completeness, ultracompleteness and local compactness can be defined by demanding that certain equivalences hold between certain classes of Baire measures or by demanding that certain classes of Baire measures have non-empty support. This shows that these three topological properties are measurable, similarly to the classical examples of compact spaces, pseudo-compact spaces and realcompact spaces.
We show that pointwise bounds on the Menger curvature imply Lipschitz parametrization for general compact metric spaces. We also give some estimates on the optimal Lipschitz constants of the parametrizing maps for the metric spaces in Ω(ε), the class of bounded metric spaces E such that the maximum angle for every triple in E is at least π/2 + arcsinε. Finally, we extend Peter Jones's travelling salesman theorem to general metric spaces.
We prove a number of results involving categories enriched over CMet, the category of complete metric spaces with possibly infinite distances. The category CPMet of path complete metric spaces is locally -presentable, closed monoidal, and coreflective in CMet. We also prove that the category CCMet of convex complete metric spaces is not closed monoidal and characterize the isometry--generated objects in CMet, CPMet and CCMet, answering questions by Di Liberti and Rosický. Other results include...
Currently displaying 701 –
720 of
1678