arXiv++ Combinatorics

Erdős asked the following question: given $n$ points in the plane in almost general position (no 4 collinear), how large a set can we guarantee to find that is in general position (no 3 collinear)? Füredi constructed a set of $n$ points in almost general position with no more than $o(n)$ points in general position. Cardinal, Tóth and Wood extended this result to $\mathbb{R}^3$, finding sets of $n$ points with no 5 on a plane whose subsets with no 4 points on a plane have size $o(n)$, and asked the question for higher dimensions: for given $n$, is it still true that the largest subset in general position we can guarantee to find has size $o(n)$? We answer their question for all $d$ and derive improved bounds for certain dimensions.

A family $f_1,...,f_n$ of operators on a complete metric space $X$ is called contractive if there exists a positive $λ< 1$ such that for any $x,y$ in $X$ we have $d(f_i(x),f_i(y)) \leq λd(x,y)$ for some $i$. Austin conjectured that any commuting contractive family of operators has a common fixed point, and he proved this for the case of two operators. Our aim in this paper is to show that Austin's conjecture is true for three operators, provided that $λ$ is sufficiently small.

A family f_1,...,f_n of operators on a complete metric space X is called contractive if there exists lambda < 1 such that for any x,y in X we have d(f_i(x),f_i(y)) leq lambda d(x,y) for some i. Stein conjectured that for any contractive family there is some composition of the operators f_i that has a fixed point. Austin gave a counterexample to this, and asked if Stein's conjecture is true if we restrict to compact spaces. Our aim in this paper is to show that, even for compact spaces, Stein's conjecture is false.