There is a nice result due to Santaló that says that if a (finite) collection of axis-parallel rectangles is such that any small subcollection is aligned, then the whole collection is aligned. This is kind of surprising at first, because the condition only says that there is a line, but this line might be different for any choice of subcollection. The precise statement is as follows:
Theorem. Let be a collection of rectangles with sides parallel to the axes (possibly intersecting). If for every choice of 6 rectangles of there exists a line intersecting all of them, then there exists a line intersecting all rectangles of at once.
To be precise, I should clarify that by line intersection it is meant intersection with the interior of the rectangle – so a line touching only the boundary is not allowed. The number 6 doesn’t have any special esoteric meaning here, to the best of my understanding – it just makes the argument work.
Pdf version here: link.
I had a nice discussion with Tuomas after the very nice analysis seminar he gave for the harmonic analysis working group a while ago – he talked about the behaviour of Hausdorff dimension under projection operators and later we discussed the connection with Fourier restriction theory. Turns out there are points of contact but the results one gets are partial, and there are some a priori obstacles.
What follows is an account of the discussion. I will summarize his talk first.
1. Summary of the talk
1.1. Projections in
The problem of interest here is to determine whether there is any drop in the Hausdorff dimension of fractal sets when you project them on a lower dimensional vector space, and if so what can be said about the set of these “bad” projections. This is a very hard problem in general, so one has to start with low dimensions first. In the projections are associated to the points in , namely for one has , and so for a given compact set of Hausdorff dimension one asks what can be said about the set of projections for which the dimension is smaller, i.e. . For , define the set of directions
We refer to it as to the set of exceptional directions (of parameter ). One preliminary result is Marstrand’s theorem:
Theorem 1 (Marstrand) For any compact in s.t. , one has
In other words, the dimension is conserved for a.e. direction. The proof of the theorem relies on a characterization of dimension in terms of energy:
Theorem 2 (Frostman’s lemma) For compact in , it is if and only if there exists a finite positive Borel measure supported in such that
I had many courses in my undergraduate studies, but for one reason or another never got to see some riemannian geometry. Which is really a shame, because I always wanted to learn some general relativity. So, here I am, studying riemann geometry for the first time. Since there’s lots of things in it, what follows is really just a summary, primarily for my own understanding.
Let be a smooth manifold of dimension , his tangent bundle, the cotangent bundle, and let denote the space of smooth sections of (i.e. the smooth vector fields on ). Analogously, will denote the smooth sections of the tensor bundle – that is, the smooth tensor fields . Tensors fields are multilinear with respect to . For example, , while are the -forms. We also impose .
1. Riemannian metrics
A Riemannian metric on is a -tensor field (in ) – given in local coordinates by – which is:
- symmetric: for every ;
- positive definite: for every .
It induces an inner product on every tangent space. Continue reading