Extension of point-finite partitions of unity

Volume 191 / 2006

Haruto Ohta, Kaori Yamazaki Fundamenta Mathematicae 191 (2006), 187-199 MSC: Primary 54C20; Secondary 54C55, 54H05. DOI: 10.4064/fm191-3-1


A subspace $A$ of a topological space $X$ is said to be $P^\gamma$-embedded ($P^\gamma$(point-finite)-embedded) in $X$ if every (point-finite) partition of unity $\alpha$ on $A$ with $|\alpha|\leq\gamma$ extends to a (point-finite) partition of unity on $X$. The main results are: (Theorem A) A subspace $A$ of $X$ is $P^\gamma({\rm point-finite})$-embedded in $X$ iff it is $P^\gamma$-embedded and every countable intersection $B$ of cozero-sets in $X$ with $B\cap A=\emptyset$ can be separated from $A$ by a cozero-set in $X$. (Theorem B) The product $A\times[0,1]$ is $P^\gamma({\rm point-finite})$-embedded in $X\times[0,1]$ iff $A\times Y$ is $P^\gamma({\rm point-finite})$-embedded in $X\times Y$ for every compact Hausdorff space $Y$ with $w(Y)\leq\gamma$ iff $A$ is $P^\gamma$-embedded in $X$ and every subset $B$ of $X$ obtained from zero-sets by means of the Suslin operation, with $B\cap A=\emptyset$, can be separated from $A$ by a cozero-set in $X$. These characterizations are used to answer certain questions of Dydak. In particular, it is shown that, assuming CH, the property of $A\times[0,1]$ to be $P^\gamma({\rm point-finite})$-embedded in $X\times[0,1]$ is stronger than that of $A$ being $P^\gamma({\rm point-finite})$-embedded in $X$.


  • Haruto OhtaFaculty of Education
    Shizuoka University
    Ohya, Shizuoka 422-8529, Japan
  • Kaori YamazakiInstitute of Mathematics
    University of Tsukuba
    Ibaraki 305-8571, Japan

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image