Let $X$ be a topological space. A category measure $m$ on $X$ is a countably aditive finite measure defined on the $\sigma$-algebra formed by all sets with the Baire property, such that $m(E)=0$ iff $E$ is of Baire first category. It is known that one can define a density topology on every space of finite measure $X$ such that $X$ becomes a category measure space. In this paper some conditions are given so that a topological space be a category measure space.
© 2008-2024 Fundación Dialnet · Todos los derechos reservados