Hausdorff ultrafilters

We give the name Hausdorff to those ultrafilters that provide ultrapowers whose natural topology (-topology) is Hausdorff, e.g. selective ultrafilters are Hausdorff. Here we give necessary and sufficient conditions for product ultrafilters to be Hausdorff. Moreover we show that no regular ultrafilter over the ``small' uncountable cardinal can be Hausdorff. ( is the least size of an ultrafilter basis on .) We focus on countably incomplete ultrafilters, but our main results also hold for -complete ultrafilters.

     

Hausdorff measures, dimensions and mutual singularity

Let be a metric space. For a probability measure on a subset of and a Vitali cover of , we introduce the notion of a -Vitali subcover , and compare the Hausdorff measures of with respect to these two collections. As an application, we consider graph directed self-similar measures and in satisfying the open set condition. Using the notion of pointwise local dimension of with respect to , we show how the Hausdorff dimension of some general multifractal sets may be computed using an appropriate stochastic process. As another application, we show that Olsen's multifractal Hausdorff measures are mutually singular.

     

The geometric realization of a simplicial Hausdorff space is Hausdorff

We show that the thin geometric realization of a simplicial Hausdorff space is Hausdorff. This proves a long-standing conjecture of Graeme Segal stating that the thin geometric realization of a simplicial k-space is a k-space.     

Hausdorff Dimension and Hausdorff Measures of Julia Sets of Elliptic Functions

It is proved here that if is an elliptic function and q is the maximal multiplicity ofall poles of f, then the Hausdorff dimension of the Julia setof f is greater than 2 q/(q + 1), and the Hausdorff dimensionof the set of points that escape to infinity is less than orequal to 2q/(q + 1). In particular, the area of this latterset is equal to 0. 2000 Mathematics Subject Classification 37F35(primary); 37F10, 30D30 (secondary).     

Sierpinski锥及其Hausdorff维数与Hausdorff测度

首先给出了 Sierpinski锥的概念及构造过程 ,然后求出其计盒维数、Hausdorff维数和 Hausdorff测度 .     

Hausdorff measures, capacities and compact composition operators

It is shown that there exist analytic self-maps ϕ of the unit disc inducing compact composition operators on the Hardy space , 1 ≤ p < ∞ such that the Hausdorff dimension of the set is one; sharpening a classical result due to Schwartz. Moreover, the same holds in the weighted Dirichlet spaces with 0 < α < 1. As a consequence, we deduce that there exist symbols ϕ inducing compact composition operators on such that the α-capacity of E_ϕ is positive, which is no longer true for those just inducing Hilbert-Schmidt composition operators on . First author is partially supported by Plan Nacional I+D grant no. BFM2003-00034, and Gobierno de Aragón research group Análisis Matemático y Aplicaciones, ref. DGA E-64 . Second author is partially supported by Plan Nacional I+D grant no. BFM2002-00571 and Junta de Andalucía RNM-314.     

Projective Hausdorff gaps

Todor?evi? (Fund Math 150(1):55–66, 1996) shows that there is no Hausdorff gap (A, B) if A is analytic. In this note we extend the result by showing that the assertion “there is no Hausdorff gap (A, B) if A is coanalytic” is equivalent to “there is no Hausdorff gap (A, B) if A is ${{\bf \it{\Sigma}}^{1}_{2}}$ ”, and equivalent to ${\forall r \; (\aleph_1^{L[r]}\,< \aleph_1)}$ . We also consider real-valued games corresponding to Hausdorff gaps, and show that ${\mathsf{AD}_\mathbb{R}}$ for pointclasses Γ implies that there are no Hausdorff gaps (A, B) if ${{\it{A}} \in {\bf \it{\Gamma}}}$ .     

RN中某些分形子集的Hausdorff维数与Hausdorff测度

给出了RN中某些分形子集的Hausdorff维数及其Hausdorff测度估计式.     

The Hausdorff problem

It is proved that if the set of points of discontinuity of a real and everywhere symmetrically continuous functionf(x), x (a, b), is closed, then it is not more than countable.Translated from Matematicheskie Zametki, Vol. 14, No. 2, pp. 197–200, August, 1973.     

AC-Removability,Hausdorff dimension,and property (N)

Translated fromSibirskiî Matematicheskiî Zhurnal, Vol. 35, No. 6, pp. 1325–1334, November–December, 1994.     

Transfinite Hausdorff dimension

Making extensive use of small transfinite topological dimension trind, we ascribe to every metric space X an ordinal number (or −1 or Ω) tHD(X), and we call it the transfinite Hausdorff dimension of X. This ordinal number shares many common features with Hausdorff dimension. It is monotone with respect to subspaces, it is invariant under bi-Lipschitz maps (but in general not under homeomorphisms), in fact like Hausdorff dimension, it does not increase under Lipschitz maps, and it also satisfies the intermediate dimension property (Theorem 2.7). The primary goal of transfinite Hausdorff dimension is to classify metric spaces with infinite Hausdorff dimension. Indeed, if tHD(X)?ω₀, then HD(X)=+∞. We prove that tHD(X)?ω₁ for every separable metric space X, and, as our main theorem, we show that for every ordinal number α<ω₁ there exists a compact metric space Xα (a subspace of the Hilbert space l₂) with tHD(Xα)=α and which is a topological Cantor set, thus of topological dimension 0. In our proof we develop a metric version of Smirnov topological spaces and we establish several properties of transfinite Hausdorff dimension, including its relations with classical Hausdorff dimension.     

Hausdorff separation in categories

Considering subobjects, points and a closure operator in an abstract category, we introduce a generalization of the Hausdorff separation axiom for topological spaces: the notion ofT ₂-object. We discuss the properties ofT ₂-objects, which depend essentially on the behaviour of points, and finally we relate them to the well-known separated objects.The results of this paper are essentially taken from the author's Ph. D. Thesis written under the supervision of Professors M. Sobral and W. Tholen and partially supported by a scholarship of I.N.I.C.-Instituto Nacional de Investigação Científica.