The weak, stable, and ordinary Lusternik–Schnirelmann categories of a finite -space satisfy . We give a general construction answering the simultaneous-strictness question of Cárdenas, Flores, Quintero, and Villar-Liñán. If is weakly contractible but noncontractible and the deletion of one point makes contractible, then adjoining incomparable maximal points produces a connected finite space with category triple . Moreover, after any positive number of barycentric subdivisions its ordinary category is equal to . Applying the construction to a nine-point space yields examples on points and, in particular, a twelve-point example for which both inequalities are strict. Using additivity under disjoint unions, we also realize every triple with and , as well as every triple with . We conclude with questions concerning connected realizations and the minimum cardinality of a finite space exhibiting simultaneous strictness.

生成讲解博客的中文版本

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