Radon’s theorem

E506848

Radon’s theorem is a fundamental result in convex geometry stating that any set of sufficiently many points in Euclidean space can be partitioned into two disjoint subsets whose convex hulls intersect.

Try in SPARQL Jump to: Surface forms Statements Referenced by

All labels observed (1)

Label Occurrences
Radon’s theorem canonical 1

Statements (48)

Predicate Object
instanceOf result in convex geometry
theorem
appliesTo Euclidean space R^d
finite sets of points in Euclidean space
assumes finite-dimensional Euclidean space
category theorems in convex geometry
theorems in discrete geometry
consequence existence of a point in the intersection of two convex hulls
structure of convex sets in finite-dimensional spaces
coreIdea among d+2 points in R^d there is a nontrivial affine dependence with coefficients of both signs
defines Radon number of a space
dimensionParameter d
equivalentTo statement that any d+2 points in R^d are affinely dependent
field combinatorial geometry
convex geometry
discrete geometry
generalizedBy Tverberg’s theorem NERFINISHED
topological Radon theorem NERFINISHED
guarantees existence of a Radon partition
intersection of convex hulls of two disjoint subsets
hasGeneralization colorful Radon theorem NERFINISHED
fractional Helly-type results
hasVersion finite-dimensional version
topological version
holdsFor real affine spaces
implies Carathéodory’s theorem NERFINISHED
Helly’s theorem NERFINISHED
inspired study of Radon numbers in abstract convexity
involvesConcept Radon partition
Radon point NERFINISHED
affine dependence
convex hull
minimumNumberOfPoints d+2
namedAfter Johann Radon NERFINISHED
originalAuthor Johann Radon NERFINISHED
relatedTo Erdős–Szekeres-type results in discrete geometry
centerpoint theorem
requires at least d+2 points in R^d
statement Every set of d+2 points in R^d can be partitioned into two disjoint subsets whose convex hulls intersect.
typicalProofMethod affine dependence arguments
induction on dimension
linear algebra
usedIn combinatorial optimization
computational geometry
theory of convex polytopes
usedInProofOf Carathéodory’s theorem NERFINISHED
Helly’s theorem
yearProvedApprox 1921

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.