Selectionable distributions for a random set

1990 ◽  
Vol 108 (2) ◽  
pp. 405-408 ◽  
Author(s):  
David Ross
Keyword(s):  
Compact Subset ◽  
Metric Space ◽  
Random Set ◽  
Complete Separable Metric Space ◽  
Separable Metric Space

AbstractArtstein has given a characterization of the distributions induced by selections of a random compact subset of a complete separable metric space. In this paper, Artstein's results are extended to spaces which may be neither metric nor separable.

scholarly journals On limit theorems for random fields

2009 ◽  
Vol 50 ◽  
Author(s):  
Rimas Banys
Keyword(s):  
Metric Space ◽  
Random Fields ◽  
Limit Theorems ◽  
Characteristic Property ◽  
Complete Separable Metric Space ◽  
Separable Metric Space

A complete separable metric space of functions defined on the positive quadrant of the plane is constructed. The characteristic property of these functions is that at every point x there exist two lines intersecting at this point such that limits limy→x f (y) exist when y approaches x along any path not intersecting these lines. A criterion of compactness of subsets of this space is obtained.

Martin's axiom and Hausdorif measures

1974 ◽  
Vol 75 (2) ◽  
pp. 193-197 ◽  
Author(s):  
A. J. Ostaszewski
Keyword(s):  
Metric Space ◽  
Measure Zero ◽  
Continuum Hypothesis ◽  
Martin's Axiom ◽  
Martin’S Axiom ◽  
Complete Separable Metric Space ◽  
Separable Metric Space ◽  
The Continuum

AbstractA theorem of Besicovitch, namely that, assuming the continuum hypothesis, there exists in any uncountable complete separable metric space a set of cardinality the continuum all of whose Hausdorif h-measures are zero, is here deduced by appeal to Martin's Axiom. It is also shown that for measures λ of Hausdorff type the union of fewer than 2ℵ0 sets of λ-measure zero is also of λ-measure zero; furthermore, the union of fewer than 2ℵ0 λ-measurable sets is λ-measurable.

A theorem about countable decomposability

1982 ◽  
Vol 91 (3) ◽  
pp. 457-458 ◽  
Author(s):  
Roy O. Davies ◽  
Claude Tricot
Keyword(s):  
Topological Space ◽  
Metric Space ◽  
Continuous Functions ◽  
Perfect Set ◽  
Baire Function ◽  
Separable Metric Space

A function f:X → ℝ is countably decomposable (into continuous functions) if the topological space X can be partitioned into countably many sets An with each restriction f│ An continuous. According to L. V. Keldysh(2), the question whether every Baire function is countably decomposable was first raised by N. N. Luzin, and answered by P. S. Novikov. The answer is negative even for Baire-1 functions, as is shown in (2) (see also (1). In this paper we develop a characterization of the countably decomposable functions on a separable metric space X (see Corollary 1). We deduce that when X is complete they include all functions possessing the property P defined by D. E. Peek in (3): each non-empty σ-perfect set H contains a point at which f│ H is continuous. The example given by Peek shows that not every countably decomposable Baire-1 function has property P.

Distance Sets of Urysohn Metric Spaces

2013 ◽  
Vol 65 (1) ◽  
pp. 222-240 ◽  
Author(s):  
N.W. Sauer
Keyword(s):  
Metric Space ◽  
Metric Spaces ◽  
Finite Metric Space ◽  
Distance Set ◽  
Distance Sets ◽  
Separable Metric Space

Abstract.A metric space M = (M; d) is homogeneous if for every isometry f of a finite subspace of M to a subspace of M there exists an isometry of M onto M extending f . The space M is universal if it isometrically embeds every finite metric space F with dist(F) ⊆ dist(M) (with dist(M) being the set of distances between points in M).A metric space U is a Urysohn metric space if it is homogeneous, universal, separable, and complete. (We deduce as a corollary that a Urysohn metric space U isometrically embeds every separable metric space M with dist(M) ⊆ dist(U).)The main results are: (1) A characterization of the sets dist(U) for Urysohn metric spaces U. (2) If R is the distance set of a Urysohn metric space and M and N are two metric spaces, of any cardinality with distances in R, then they amalgamate disjointly to a metric space with distances in R. (3) The completion of every homogeneous, universal, separable metric space M is homogeneous.

scholarly journals On constructing completions

2005 ◽  
Vol 70 (3) ◽  
pp. 969-978 ◽  
Author(s):  
Laura Crosilla ◽  
Hajime Ishihara ◽  
Peter Schuster
Keyword(s):  
Set Theory ◽  
Metric Space ◽  
Ordered Set ◽  
Proper Class ◽  
Original Space ◽  
Full Form ◽  
Dedekind Cuts ◽  
Complete Separable Metric Space ◽  
Separable Metric Space

AbstractThe Dedekind cuts in an ordered set form a set in the sense of constructive Zermelo–Fraenkel set theory. We deduce this statement from the principle of refinement, which we distill before from the axiom of fullness. Together with exponentiation, refinement is equivalent to fullness. None of the defining properties of an ordering is needed, and only refinement for two–element coverings is used.In particular, the Dedekind reals form a set: whence we have also refined an earlier result by Aczel and Rathjen, who invoked the full form of fullness. To further generalise this, we look at Richman's method to complete an arbitrary metric space without sequences, which he designed to avoid countable choice. The completion of a separable metric space turns out to be a set even if the original space is a proper class: in particular, every complete separable metric space automatically is a set.

scholarly journals Spaces with σ-locally finite Lindelöf sn-networks

2013 ◽  
Vol 93 (107) ◽  
pp. 145-152
Author(s):  
Luong Tuyen
Keyword(s):  
Metric Space ◽  
Locally Finite ◽  
Weak Bases ◽  
Locally Countable ◽  
Separable Metric Space

We prove that a space X has a ?-locally finite Lindel?f sn-network if and only if X is a compact-covering compact and mssc-image of a locally separable metric space, if and only if X is a sequentially-quotient ? and mssc-image of a locally separable metric space, where ?compact-covering? (or ?sequentially-quotient?) can not be replaced by ?sequence-covering?. As an application, we give a new characterization of spaces with locally countable weak bases.

Reverse Mathematics and Π12 Comprehension

2005 ◽  
Vol 11 (4) ◽  
pp. 526-533 ◽  
Author(s):  
Carl Mummert ◽  
Stephen G. Simpson
Keyword(s):  
Topological Space ◽  
Metric Space ◽  
Reverse Mathematics ◽  
Second Order ◽  
Converse Statement ◽  
Second Order Arithmetic ◽  
Order Arithmetic ◽  
Complete Separable Metric Space ◽  
Separable Metric Space ◽  
Metrization Theorem

AbstractWe initiate the reverse mathematics of general topology. We show that a certain metrization theorem is equivalent to Π12 comprehension. An MF space is defined to be a topological space of the form MF(P) with the topology generated by {Np ∣ p ϵ P}. Here P is a poset, MF(P) is the set of maximal filters on P, and Np = {F ϵ MF(P) ∣ p ϵ F }. If the poset P is countable, the space MF(P) is said to be countably based. The class of countably based MF spaces can be defined and discussed within the subsystem ACA0 of second order arithmetic. One can prove within ACA0 that every complete separable metric space is homeomorphic to a countably based MF space which is regular. We show that the converse statement, “every countably based MF space which is regular is homeomorphic to a complete separable metric space,” is equivalent to . The equivalence is proved in the weaker system . This is the first example of a theorem of core mathematics which is provable in second order arithmetic and implies Π12 comprehension.

Sign in / Sign up

Export Citation Format

Share Document