加载中…
Under , we show that the statement that every subset of every -vector space has a maximal convex subset is equivalent to the Axiom of Choice. We also study the strength of the same statement restricted to some specific -vector spaces. In particular, we show that the statement for is equivalent to the Axiom of Countable Choice for reals, whereas the statement for is equivalent to the Axiom of Uniformization. We discuss the statement for some spaces of higher dimensions as well.

生成讲解博客的中文版本

生成AI智能校验的中文版本