A Geometric Proof of the Definability of Hausdorff Limits
نویسندگان
چکیده
We give a geometric proof of the following well-established theorem for o-minimal expansions of the real field: the Hausdorff limits of a compact, definable family of sets are definable. While previous proofs of this fact relied on the model-theoretic compactness theorem, our proof explicitely describes the family of all Hausdorff limits in terms of the original family.
منابع مشابه
On the Sphericity of Scaling Limits of Random Planar Quadrangulations
We give a new proof of a theorem by Le Gall & Paulin, showing that scaling limits of random planar quadrangulations are homeomorphic to the 2-sphere. The main geometric tool is a reinforcement of the notion of Gromov-Hausdorff convergence, called 1-regular convergence, that preserves topological properties of metric surfaces.
متن کاملThe Basic Theorem and its Consequences
Let T be a compact Hausdorff topological space and let M denote an n–dimensional subspace of the space C(T ), the space of real–valued continuous functions on T and let the space be equipped with the uniform norm. Zukhovitskii [7] attributes the Basic Theorem to E.Ya.Remez and gives a proof by duality. He also gives a proof due to Shnirel’man, which uses Helly’s Theorem, now the paper obtains a...
متن کاملRegularity Properties and Definability in the Real Number Continuum Idealized forcing, polarized partitions, Hausdorff gaps and mad families in the projective hierarchy
135
متن کاملDimension and natural parametrization for SLE curves
Some possible definitions for the natural parametrization of SLE paths are proposed in terms of various limits. One of the definitions is used to give a new proof that the Hausdorff dimension of SLEκ paths is 1 + κ 8 for κ < 8.
متن کاملTruth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کامل