nLab
quasi-finite CW-complex

A countable CW-complex K is quasi-finite if for any finite subcomplex MK, there is (possibly larger) finite subcomplex e(M)K, such that for every separable metric space X satisfying

  • (K is an absolute extensor of X:) for every closed subspace AX and a function f:AK there is an extension f˜:XK (i.e. f˜=fi, where i:AX is the closed embedding)

one has a similar property

  • for every closed subspace AX and a function f:AM there is an extension g:Xe(M) (i.e. gi=f).

There is a characterization: a coutable CW-complex K is quasi-finite iff for all separable metric spaces X, if K is an absolute extensor of X implies then it is an absolute extensor of its Stone-Čech compactification β(X) as well.

In fact, the original definition asks that one has a function e:Me(M) (the same under the axiom of choice).

  • A.Karasev, On two problems in extension theory, arXiv:math.GT/0312269

  • M.Cencelj, J.Dydak, J.Smrekar, A.Vavpetic, Ž.Virk, Algebraic properties of quasi-finite complexes, Fund. Math. 197 (2007), 67-80 math/0509582

Created on January 6, 2010 19:12:24 by Zoran Škoda (193.198.162.13)