Combinatorics - Chapter 3 defs and theorems Flashcards
convex set (def 1)
A set X⊆ℝᵈ is convex if for any points x₁,x₂ϵX and λϵ[0,1] then the point λx₁ +(1-λ)x₂ belongs to X.
convex set (def 2)
A set X⊆ℝᵈ is convex if for any points x₁,x₂,..,xₙϵX and λ₁,…,λₙ ≥ 0 with the sum over i in [n] λᵢ = 1 then the point given by the sum over i in [n] λᵢxᵢ is in X
convex hull (def 1)
The convex hull of a set X⊆ℝᵈ denoted conv(X) is the set of all convex combinations of all points in X.
convex hull (def 2)
The convex hull of X is the intersection of all convex sets in ℝᵈ containing X
Radons Lemma
Let A be a set of d+2 points in ℝᵈ. Then there exists two distinct subsets A₁,A₂⊆A such that conv(A₁)∩conv(A₂)≠Ø
radon point of A
a point xϵconv(A₁)∩conv(A₂)
radon partition
(A₁,A₂)
hellys theorem
Let c₁,c₂,..,cₙ be convex sets in ℝᵈ and n≥d+1. Suppose that the intersection of every d+1 of these sets is no-empty then the intersection of all cᵢs is non-empty.
caratheodorys theorem
Let X⊆ℝᵈ. Then each point xϵconv(X) is a convex combination of at most d+1 points of X
incidence
let P be a set of m points and L a set of n lines in the plane. An incidence is a pair (p,l)ϵPxL such that p lies in l
I(P,L)
the number of incidences for P and L
I(m,n)
the maximum of I(P,L) over all choices of an m-element set P and an n-element set L.
trivially, I(m,n)≤
I(m,n)≤ mn
proposition 3.6. I(3,3).
I(3,3)=6.
lemma 3.7. bound on I(m,n).
For all m,nϵℕ I(m,n)≤n √(m) + m
cauchy schwarz inequality
(sum over i in [m] of xᵢyᵢ)² ≤ (sum over i in [m] of xᵢ²)(sum over i in [m] of yᵢ²)
cauchy schwarz inequality for yᵢ=1
(sum over i in [m] of xᵢ)²≤ (sum over i in [m] of xᵢ²)m
theorem 3.8. Szemeredi Trotter theorem
For all m,nϵℕ I(m,n)≤ 4 (m²/³n²/³+m+n)
proposition 3.9. bound on szemeredi trotter is asymptotically tight for m=n=4k³
For n=4k³ I(n,n) ≥ (n⁴/³) / (³√4)
corollary 3.10. Erdos and Purdy 1971.
For any set P of n points in the plane. The number of triples spanning a triangle of unit area is at most 20n⁷/³
sum set
For any finite sets A,B⊆ℝ, A+B is the sum set defined as {a+b: aϵA, bϵB}.
product set
For any finite sets A,B⊆ℝ, A.B is the product set defined as {a.b: aϵA, bϵB}.
proposition 3.11. bound on sum and product sets.
Let A be a finite set in ℝ. Then, 2|A|-1 ≤ |A+A|,|A.A|≤ |A|(|A|+1)/2
Theorem 3.12. Maximum of product and sum sets.
For any finite set A⊆ℝ, then max{|A+A|,|A.A|}≥1/8|A|⁵/⁴
Drawing
A drawing of a graph G in the plane where the vertices of G are represented by definite points in the plane and every edge xyϵG is represented by a curve joining the two points corresponding to c and y.
Crossing Number
The crossing number cr(G) of a graph is the smallest number of pairs of crossing edges in a drawing of G in the plane.
Theorem 3.14. Lower bound on cr(G) (used in szemeredi proof)
Let G be a graph of |V(G)| vertices and |E(G)| edges. Then the crossing number of G is given by
cr(G)≥ |E(G)|³/64|V(G)|² - |V(G)|
Theorem 3.15. Szemeredi Trotter Theorem for circles.
There exists a constant c such that I₁꜀ᵢᵣ꜀ₗₑ(m,n)≤c(m²/³n²/³+m+n) for all n,mϵℕ.