Separating hyperplanes for convex sets over ordered fields

From MaRDI portal





Let \((F,<)\) be an ordered field. Theorem. If A,B are disjoint convex sets in \(F^ n\), then the ordering of F can be extended to an ordering of the rational function field \(K=F(t_ 1,...,t_ n)\) in such a way that A,B are strongly separated by a hyperplane in \(K^ n\).











This page was built for publication: Separating hyperplanes for convex sets over ordered fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1059111)