Abstract. It is shown that, for nested fractals [31], the main structural data, such as the Hausdorff dimension and measure, the geodesic distance (when it exists) induced by the immersion in R n , and the self-similar energy can all be recovered by the description of the fractals in terms of the spectral triples considered in [18].
IntroductionIn this note, we analyze the class of nested fractals [31,37,34,35] by making use of the spectral triples introduced in [13] for the case of the Cantor set, and in [18] for a wide class of fractals, and prove that such noncommutative geometric description reproduces the classical notions of Hausdorff dimension and measure, the self-similar Dirichlet form, and also, when the fractal is finitely arcwise connected [26], the corresponding geodesic distance.Starting with the first examples given by Connes in [13] and the early papers of Lapidus [28,29], many papers are now available concerning the noncommutative approach to fractals [5,16,17,18,7,2,8,9,15,12,30]. It turns out that noncommutative geometry can be fruitfully applied to smooth as well as singular spaces, since it gives a universal procedure which associates with a spectral triple a metric dimension, an integration, a distance and an energy. In all of the above mentioned papers notions of noncommutative dimension and/or measure were studied, while few of them [17,2,8,9, 30] could fully recover a natural distance on some class of fractals. A noncommutative construction of the Dirichlet energy for fractals starting from geometric data was only considered in [12] for the case of the Sierpinski gasket. The idea of constructing a spectral triple on a fractal as a countable direct sum of finite dimensional spectral triples has been extended from fractals to general compact metric spaces in [33], where the Hausdorff dimension and measure, and the metric were recovered from their noncommutative analogues. More recently,in [20] a different approach to constructing spectral triples on metric spaces was taken, based on [10,11], so the starting point is a regular symmetric Dirichlet form on a locally compact separable metric space, endowed with a nonnegative Radon measure, and the intrinsic (or Carnot-Carathéodory) metric is recovered.The basic requirements for a spectral triple T = (A, H, D), where A is a self-adjoint algebra of operators and D is an unbounded self-adjoint operator, both acting on the Hilbert space H, are the boundedness of the commutators [D, a], a ∈ A, and the compactness of the resolvents of D [13]. Based on these hypotheses, one may associate with