Borsuk–Ulam theorem

Target entity: Borsuk–Ulam theorem
Context triple: [Karol Borsuk, knownFor, Borsuk–Ulam theorem]

• A. Knaster–Ulam theorem
  The Knaster–Ulam theorem is a result in topology and measure theory that, roughly speaking, guarantees the existence of points with certain symmetry or invariance properties under measure-preserving transformations.
• B. Brouwer fixed-point theorem
  The Brouwer fixed-point theorem is a fundamental result in topology stating that any continuous function from a compact convex set (such as a closed disk) to itself has at least one fixed point.
• C. Sperner's lemma
  Sperner's lemma is a fundamental result in combinatorial topology that guarantees the existence of a fully labeled simplex in certain labeled triangulations, and is widely used to prove fixed-point and equilibrium theorems.
• D. Knaster–Kuratowski–Mazurkiewicz lemma
  The Knaster–Kuratowski–Mazurkiewicz lemma is a fundamental result in combinatorial topology that guarantees the existence of a point common to a family of closed sets covering a simplex under certain intersection conditions, and underlies several fixed-point theorems.
• E. Borsuk’s conjecture in geometry
  Borsuk’s conjecture in geometry is a famous (now disproven in higher dimensions) problem in metric geometry that proposed any bounded set in n-dimensional Euclidean space can be partitioned into n+1 subsets of smaller diameter.
• F. None of above. chosen
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Target entity: Borsuk–Ulam theorem
Target entity description: The Borsuk–Ulam theorem is a fundamental result in algebraic topology stating that any continuous map from an n-dimensional sphere to Euclidean n-space maps some pair of antipodal points to the same point.

• A. Knaster–Ulam theorem
  The Knaster–Ulam theorem is a result in topology and measure theory that, roughly speaking, guarantees the existence of points with certain symmetry or invariance properties under measure-preserving transformations.
• B. Brouwer fixed-point theorem
  The Brouwer fixed-point theorem is a fundamental result in topology stating that any continuous function from a compact convex set (such as a closed disk) to itself has at least one fixed point.
• C. Sperner's lemma
  Sperner's lemma is a fundamental result in combinatorial topology that guarantees the existence of a fully labeled simplex in certain labeled triangulations, and is widely used to prove fixed-point and equilibrium theorems.
• D. Knaster–Kuratowski–Mazurkiewicz lemma
  The Knaster–Kuratowski–Mazurkiewicz lemma is a fundamental result in combinatorial topology that guarantees the existence of a point common to a family of closed sets covering a simplex under certain intersection conditions, and underlies several fixed-point theorems.
• E. Borsuk’s conjecture in geometry
  Borsuk’s conjecture in geometry is a famous (now disproven in higher dimensions) problem in metric geometry that proposed any bounded set in n-dimensional Euclidean space can be partitioned into n+1 subsets of smaller diameter.
• F. None of above. chosen