On sets of directions determined by subsets of \(\mathbb R^d\) (Q351365): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Alexander Iosevich / rank | |||
Property / author | |||
Property / author: Alexander Iosevich / rank | |||
Normal rank | |||
Property / review text | |||
Given a subset \(E\) of \(\mathbb R^d\), with \(d\geq 2\), define \[ \mathcal D(E):= \left\{\frac{x-y}{|x-y|}:x,y\in E \text{ and }x\neq y \right\} \] to be the set of directions determined by \(E\). It is proved in Theorem 1.2 that if the Hausdorff dimension of \(E\) is strictly greater than \(d-1\), then \(\sigma(\mathcal D(E))>0\), where \(\sigma\) denotes the Lebesgue measure on the \((d-1)\)-dimensional unit sphere \(S^{d-1}\). The conclusion does not hold in general for \((d-1)\)-dimensional subsets of \(\mathbb R^d\) (as an obvious counter-example, consider a \((d-1)\)-dimensional hyperplane). A less trivial counterexample can be constructed following \textit{K. Simon} and \textit{B. Solomyak} [Real Anal. Exch. 32(2006-2007), No. 1, 67--87 (2007; Zbl 1126.28009)]: there exists a subset \(E\) of \(\mathbb R^d\) with Hausdorff dimension \(d-1\) that is not contained in a hyperplane and for which the Lebesgue measure of \(\mathcal D(E)\) is zero. On the other hand, \textit{T. Orponen} and \textit{T. Sahlsten} [Ann. Acad. Sci. Fenn., Math. 36, No. 2, 677--681 (2011; Zbl 1236.28003)] have recently proved that if \(E\) is a rectifiable subset of \(\mathbb R^d\) that has Hausdorff dimension \(d-1\) and is not contained in any hyperplane, then \(\sigma(\mathcal D(E))>0\). Theorem 1.2 is viewed by the authors as the continuous analog of a result of \textit{J. Pach, R. Pinchasi} and \textit{M. Sharir} [Discrete Comput. Geom. 38, No. 2, 399--441 (2007; Zbl 1146.52011)] on directions determined by finite subsets of \(\mathbb R^d\) (an explicit quantitative connection between the continuous and the discrete counterparts of this problem is given in the third section of the paper). (The authors report at the beginning that \textit{P. Mattila} has recently pointed out to them that their main result can be derived from Theorem 10.11 in his book [Geometry of sets and measures in Euclidean spaces. Fractals and rectifiability. Cambridge: Univ. Press (1995; Zbl 0819.28004)]; however, their method, based on Fourier analysis, allows a more detailed information about the direction set measure and the associated Radon-Nikodym derivative.) | |||
Property / review text: Given a subset \(E\) of \(\mathbb R^d\), with \(d\geq 2\), define \[ \mathcal D(E):= \left\{\frac{x-y}{|x-y|}:x,y\in E \text{ and }x\neq y \right\} \] to be the set of directions determined by \(E\). It is proved in Theorem 1.2 that if the Hausdorff dimension of \(E\) is strictly greater than \(d-1\), then \(\sigma(\mathcal D(E))>0\), where \(\sigma\) denotes the Lebesgue measure on the \((d-1)\)-dimensional unit sphere \(S^{d-1}\). The conclusion does not hold in general for \((d-1)\)-dimensional subsets of \(\mathbb R^d\) (as an obvious counter-example, consider a \((d-1)\)-dimensional hyperplane). A less trivial counterexample can be constructed following \textit{K. Simon} and \textit{B. Solomyak} [Real Anal. Exch. 32(2006-2007), No. 1, 67--87 (2007; Zbl 1126.28009)]: there exists a subset \(E\) of \(\mathbb R^d\) with Hausdorff dimension \(d-1\) that is not contained in a hyperplane and for which the Lebesgue measure of \(\mathcal D(E)\) is zero. On the other hand, \textit{T. Orponen} and \textit{T. Sahlsten} [Ann. Acad. Sci. Fenn., Math. 36, No. 2, 677--681 (2011; Zbl 1236.28003)] have recently proved that if \(E\) is a rectifiable subset of \(\mathbb R^d\) that has Hausdorff dimension \(d-1\) and is not contained in any hyperplane, then \(\sigma(\mathcal D(E))>0\). Theorem 1.2 is viewed by the authors as the continuous analog of a result of \textit{J. Pach, R. Pinchasi} and \textit{M. Sharir} [Discrete Comput. Geom. 38, No. 2, 399--441 (2007; Zbl 1146.52011)] on directions determined by finite subsets of \(\mathbb R^d\) (an explicit quantitative connection between the continuous and the discrete counterparts of this problem is given in the third section of the paper). (The authors report at the beginning that \textit{P. Mattila} has recently pointed out to them that their main result can be derived from Theorem 10.11 in his book [Geometry of sets and measures in Euclidean spaces. Fractals and rectifiability. Cambridge: Univ. Press (1995; Zbl 0819.28004)]; however, their method, based on Fourier analysis, allows a more detailed information about the direction set measure and the associated Radon-Nikodym derivative.) / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Enrico Zoli / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 28A78 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 52C10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 31B15 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6186970 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
directions set | |||
Property / zbMATH Keywords: directions set / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Hausdorff dimension | |||
Property / zbMATH Keywords: Hausdorff dimension / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Radon-Nikodym derivative | |||
Property / zbMATH Keywords: Radon-Nikodym derivative / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2147932046 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1009.4169 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Szemerédi type theorem for sets of positive density in \(\mathbb R^k\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hausdorff dimension and distance sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5694422 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Hausdorff dimensions of distance sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Realization of small Distances in Plane Sets of Positive Measure / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3972759 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Analytic capacity, bilipschitz maps and Cantor sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Averages over hyperplanes, sum-product theory in vector spaces over finite fields and the Erdős-Falconer distance conjecture / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Circular averages and Falconer/Erdös distance conjecture in the plane for random metrics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3377511 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Directions Determined by Subsets of Vector Spaces over Finite Fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Spherical averages of Fourier transforms of measures with finite energy; dimensions of intersections and distance sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4328334 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Radial projections of rectifiable sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Directions in combinatorial geometry / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the number of directions determined by a three-dimensional points set / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Solution of Scott's problem on the number of directions determined by a point set in 3-space / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4657590 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Crossing Numbers and Hard Erdős Problems in Discrete Geometry / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4261672 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4250346 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Nilfactors of \(\mathbb R^m\) and configurations in sets of positive upper density in \(\mathbb R^m\) / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 15:47, 6 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On sets of directions determined by subsets of \(\mathbb R^d\) |
scientific article |
Statements
On sets of directions determined by subsets of \(\mathbb R^d\) (English)
0 references
11 July 2013
0 references
Given a subset \(E\) of \(\mathbb R^d\), with \(d\geq 2\), define \[ \mathcal D(E):= \left\{\frac{x-y}{|x-y|}:x,y\in E \text{ and }x\neq y \right\} \] to be the set of directions determined by \(E\). It is proved in Theorem 1.2 that if the Hausdorff dimension of \(E\) is strictly greater than \(d-1\), then \(\sigma(\mathcal D(E))>0\), where \(\sigma\) denotes the Lebesgue measure on the \((d-1)\)-dimensional unit sphere \(S^{d-1}\). The conclusion does not hold in general for \((d-1)\)-dimensional subsets of \(\mathbb R^d\) (as an obvious counter-example, consider a \((d-1)\)-dimensional hyperplane). A less trivial counterexample can be constructed following \textit{K. Simon} and \textit{B. Solomyak} [Real Anal. Exch. 32(2006-2007), No. 1, 67--87 (2007; Zbl 1126.28009)]: there exists a subset \(E\) of \(\mathbb R^d\) with Hausdorff dimension \(d-1\) that is not contained in a hyperplane and for which the Lebesgue measure of \(\mathcal D(E)\) is zero. On the other hand, \textit{T. Orponen} and \textit{T. Sahlsten} [Ann. Acad. Sci. Fenn., Math. 36, No. 2, 677--681 (2011; Zbl 1236.28003)] have recently proved that if \(E\) is a rectifiable subset of \(\mathbb R^d\) that has Hausdorff dimension \(d-1\) and is not contained in any hyperplane, then \(\sigma(\mathcal D(E))>0\). Theorem 1.2 is viewed by the authors as the continuous analog of a result of \textit{J. Pach, R. Pinchasi} and \textit{M. Sharir} [Discrete Comput. Geom. 38, No. 2, 399--441 (2007; Zbl 1146.52011)] on directions determined by finite subsets of \(\mathbb R^d\) (an explicit quantitative connection between the continuous and the discrete counterparts of this problem is given in the third section of the paper). (The authors report at the beginning that \textit{P. Mattila} has recently pointed out to them that their main result can be derived from Theorem 10.11 in his book [Geometry of sets and measures in Euclidean spaces. Fractals and rectifiability. Cambridge: Univ. Press (1995; Zbl 0819.28004)]; however, their method, based on Fourier analysis, allows a more detailed information about the direction set measure and the associated Radon-Nikodym derivative.)
0 references
directions set
0 references
Hausdorff dimension
0 references
Radon-Nikodym derivative
0 references
0 references
0 references