No label defined (Q4383330)

A set \(X \subset E^2\) is said to have the double midset property (DMP) if \(X\) is nondegenerate and the perpendicular bisector of each straight line segment joining two of its points intersect \(X\) in exactly two points. A set \(X \subset E^2\) is said to be a Mazurkiewicz-set (M-set) if every line in the plane intersects \(X\) exactly twice. A set \(X \subset E^2\) is said to be a generalized Mazurkiewicz set (GM-set) if \(X\) is nondegenerate and each line separating two points of \(X\) intersects \(X\) in exactly two points. The authors prove several theorems about these classes, including: Theorem. The following statements are true. (i) An M-set in \(E^2\) cannot contain a simple closed curve. (ii) If a GM-set or DMP-set \(X\) in \(E^2\) contains a simple closed curve \(J,\) then \(X = J.\) (iii) If a metric space \(X\) has the DMP and contains a simple closed curve \(J,\) then \(X = J.\) Theorem. A closed GM-set in \(E^2\) contains an arc. (This is false for DMR sets in \(E^2\).) Theorem. If a GM-set \(X\) in \(E^2\) contains an arc, then \(X\) is a simple closed curve. They also present many open questions and discuss possible generalizations to \(E^3\), e.g. showing that no set in \(E^3\) intersects every plane in a simple closed curve.