Packing dimension and Cartesian products
HTML articles powered by AMS MathViewer
- by Christopher J. Bishop and Yuval Peres PDF
- Trans. Amer. Math. Soc. 348 (1996), 4433-4445 Request permission
Abstract:
We show that for any analytic set $A$ in $\mathbf {R}^d$, its packing dimension $\dim _{\mathrm {P}}(A)$ can be represented as $\; \sup _B \{ \dim _{\mathrm {H}} (A \times B) -\dim _{\mathrm {H}}(B) \} ,$ where the supremum is over all compact sets $B$ in $\mathbf {R}^d$, and $\dim _{\mathrm {H}}$ denotes Hausdorff dimension. (The lower bound on packing dimension was proved by Tricot in 1982.) Moreover, the supremum above is attained, at least if $\dim _{\mathrm {P}} (A) < d$. In contrast, we show that the dual quantity $\; \inf _B \{ \dim _{\mathrm {P}}(A \times B) -\dim _{\mathrm {P}}(B) \} ,$ is at least the “lower packing dimension” of $A$, but can be strictly greater. (The lower packing dimension is greater than or equal to the Hausdorff dimension.)References
- Itai Benjamini and Yuval Peres, Random walks on a tree and capacity in the interval, Ann. Inst. H. Poincaré Probab. Statist. 28 (1992), no. 4, 557–592 (English, with English and French summaries). MR 1193085
- Itai Benjamini and Yuval Peres, Tree-indexed random walks on groups and first passage percolation, Probab. Theory Related Fields 98 (1994), no. 1, 91–112. MR 1254826, DOI 10.1007/BF01311350
- A. R. Collar, On the reciprocation of certain matrices, Proc. Roy. Soc. Edinburgh 59 (1939), 195–206. MR 8, DOI 10.1017/S0370164600012281
- Kenneth Falconer, Fractal geometry, John Wiley & Sons, Ltd., Chichester, 1990. Mathematical foundations and applications. MR 1102677
- Falconer, K.J. and Howroyd, J. D. (1996). Projection theorems for Box and Packing dimension. To appear in Math. Proc. Camb. Phil. Soc. 119, 287–295.
- Xiaoyu Hu and S. James Taylor, Fractal properties of products and projections of measures in $\textbf {R}^d$, Math. Proc. Cambridge Philos. Soc. 115 (1994), no. 3, 527–544. MR 1269937, DOI 10.1017/S0305004100072285
- Joyce, H. and Preiss, D. (1995). On the existence of subsets of finite positive packing measure. To appear in Mathematika 42, 1–15.
- R. Kaufman, Entropy, dimension, and random sets, Quart. J. Math. Oxford Ser. (2) 38 (1987), no. 149, 77–80. MR 876265, DOI 10.1093/qmath/38.1.77
- Tadasi Nakayama, On Frobeniusean algebras. I, Ann. of Math. (2) 40 (1939), 611–633. MR 16, DOI 10.2307/1968946
- Mattila, P. (1995). Geometry of sets and measures in Euclidean space. Cambridge University Press.
- Mattila, P. and Mauldin, R. D. (1994). Measure and dimension functions: measurability and densities. University of Jyväskylä Preprint 175.
- S. James Taylor, The measure theory of random fractals, Math. Proc. Cambridge Philos. Soc. 100 (1986), no. 3, 383–406. MR 857718, DOI 10.1017/S0305004100066160
- Claude Tricot Jr., Rarefaction indices, Mathematika 27 (1980), no. 1, 46–57. MR 581995, DOI 10.1112/S002557930000992X
- Claude Tricot Jr., Two definitions of fractional dimension, Math. Proc. Cambridge Philos. Soc. 91 (1982), no. 1, 57–74. MR 633256, DOI 10.1017/S0305004100059119
- Tricot, C. (1991). Rectifiable and fractal sets. in Fractal Geometry and Analysis, NATO ASI Series C: v. 346, pp. 532–541, Edited by J. Bélair and S. Dubuc, Kluwer Academic Publishers.
Additional Information
- Christopher J. Bishop
- Affiliation: Department of Mathematics, SUNY at Stony Brook, Stony Brook, New York 11794-3651
- MR Author ID: 37290
- Email: bishop@math.sunysb.edu
- Yuval Peres
- Affiliation: Department of Statistics, University of California, Berkeley, California 94720
- Address at time of publication: Institute of Mathematics, The Hebrew University, Givat Ram, Jerusalem 91904, Israel
- MR Author ID: 137920
- Email: peres@math.huji.ac.il
- Received by editor(s): April 27, 1995
- Additional Notes: Supported in part by NSF grant # DMS 9204092 and by an Alfred P. Sloan Foundation Fellowship
Research partially supported by NSF grant # DMS-9404391 - © Copyright 1996 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 348 (1996), 4433-4445
- MSC (1991): Primary 28A80
- DOI: https://doi.org/10.1090/S0002-9947-96-01750-3
- MathSciNet review: 1376540