Banach-Mazur Rotation Problem
The Banach--Mazur rotation problem asks whether every separable Banach space whose group of linear isometric equivalences acts transitively on the unit sphere is linearly isometric to a Hilbert space.
Questions, not proof records
Each statement record keeps the mathematical question, a dated status source, accessible references, and any pinned Lean formulation separate from proof verification.
sorry marks an admitted statement, not a proof. Source indexing does not mean the formulation has been independently built or certified by Therefore.The Banach--Mazur rotation problem asks whether every separable Banach space whose group of linear isometric equivalences acts transitively on the unit sphere is linearly isometric to a Hilbert space.
Problem 4.1.* Let be a finite union of intervals and a weak tiling measure for . Must have bounded density?
Let be a balanced compact set (that is, whenever ) and suppose that the normalised Gaussian measure . Does contain a compact convex set with ?
Problem 4.2.* Let be a finite union of three or more intervals. If weakly tiles its complement, must it also tile its complement properly?
Problem 4.3.* Let be a finite union of intervals and a weak tiling measure for . Must be expressible as a convex combination of proper tiling measures?
Fuglede's conjecture* in one dimension: A bounded subset of ℝ with positive Lebesgue measure is spectral iff it tiles ℝ by translation.
Fuglede's conjecture* in two dimensions: A bounded subset of ℝ^2 with positive Lebesgue measure is spectral iff it tiles ℝ^2 by translation.