0
$\begingroup$

Let $1\leq \ell \leq \binom{k}{2}$. It seems that there should exist some set $\mathcal{P}$ of $kd-\ell+1$ points in $\mathbb{R}^d$ which do not lie on the union of any $k$ hyperplanes $H_1,\ldots, H_k$, exactly $\ell$ of which are orthogonal. Indeed, this should be generic.

If $\ell=1$, this is easily seen: put the points in general position and chosen so that the affine hulls of any two subsets of the points are not orthogonal. But this argument doesn't seem to work for 7 points in $\mathbb{R}^3$.

Any suggestions, or reference for something similar?

$\endgroup$
2
  • 4
    $\begingroup$ What's wrong with the measure considerations (meaning that there is no Lipschitz mapping of a $20$-dimensional manifold onto $\mathbb R^{21}$ because the Lebesgue measure of the image is $0$)? $\endgroup$
    – fedja
    Commented Jun 29, 2017 at 23:02
  • $\begingroup$ For sure, that certainly works. $\endgroup$
    – Bob
    Commented Jun 30, 2017 at 8:23

1 Answer 1

4
$\begingroup$

Of course, fedja's measure theoretic argument works. Here is another way to see that $7$ general points in $\mathbb{R}^3$ don't lie on $3$ mutually orthogonal planes. For $7$ generic points we will have

  1. No $3$ on a line and no $4$ on a hyperplane.

  2. For any two triples of points, the hyperplanes they span will not be orthogonal.

  3. For any triple of points, the projections of the remaining $4$ points onto the hyperplane it spans do not lie on $2$ orthogonal lines.

The first condition means that we cannot put $4$ points on a hyperplane, and we may speak uniquely of the hyperplane through any $3$ points.

The second condition means that we cannot put $3$ points on one hyperplane and $3$ on another orthogonal hyperplane.

The last means that we cannot put $3$ points on one hyperplane and $2$ on each of two other hyperplanes, orthogonal to each other and to it.

$\endgroup$
2
  • $\begingroup$ Just so it is blindingly clear, you might insert '(orthogonal)' strategically in each of your two final paragraphs to minimize misinterpretation. Gerhard "Also Likes Using 'Awfully Good'" Paseman, 2017.06.29. $\endgroup$ Commented Jun 30, 2017 at 0:29
  • $\begingroup$ @David: OK; that's great. It was condition 3 that I was missing. Thanks! $\endgroup$
    – Bob
    Commented Jun 30, 2017 at 8:22

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .