We give measure estimates for sets appearing in the study of dynamical systems, such as preimages of Diophantine classes.

We consider classes of subsets of [0, 1], originally introduced by Falconer, that are closed under countable intersections, and such that every set in the class has Hausdorff dimension at least s. We provide a Frostman-type lemma to determine if a limsup set is in such a class. Suppose that E = lim sup En ⊂ [0, 1], and that μn are probability measures with support in En. If there exists a constant C such that

for all n, then, under suitable conditions on the limit measure of the sequence (μn), we prove that the set E is in the class .

As an application we prove that, for α > 1 and almost all λ ∈ (½, 1), the set

where and ak ∈ {0, 1}}, belongs to the class . This improves one of our previously published results.

The Hausdorff dimension of the set of simultaneously τ-well-approximable points lying on a curve defined by a polynomial P(X) + α, where P(X) ∈ ℤ[X] and α ∈ ℝ, is studied when τ is larger than the degree of P(X). This provides the first results related to the computation of the Hausdorff dimension of the set of well-approximable points lying on a curve that is not defined by a polynomial with integer coefficients. The proofs of the results also include the study of problems in Diophantine approximation in the case where the numerators and the denominators of the rational approximations are related by some congruential constraint.

Let be a non-degenerate planar curve. We show that the curve is of Khintchine-type for convergence in the case of simultaneous approximation in with two independent approximation functions; that is if a certain sum converges then the set of all points (x,y) on the curve which satisfy simultaneously the inequalities ||qx|| < ψ1(q) and ||qy|| < ψ2(q) infinitely often has induced measure 0. This completes the metric theory for the Lebesgue case. Further, for multiplicative approximation ||qx|| ||qy|| < ψ(q) we establish a Hausdorff measure convergence result for the same class of curves, the first such result for a general class of manifolds in this particular setup.

We show that for a given base $b$ and a proper subset $E\subset\{0,\dots,b-1\}$, $\#E\ltb-1$, the set of numbers $x\in[0,1]$ that have no digits from $E$ in their expansion to base $b$ consists almost exclusively of $S^*$-numbers of type at most $\min\{2,\log b/\log(b-\#E)\}$. We also give upper bounds on the Hausdorff dimension of some exceptional sets.

An inhomogeneous version of a general form of the Jarník-Besicovitch Theorem is proved.