The Baire property in uniform spaces: a survey

Abstract

The Baire category theorem states that every complete pseudometric space is a Baire space. There are some results in metric spaces which have their analogue in uniform spaces, however this is not one of them. Nonetheless, since the Baire property is always desirable, we decide to explore some conditions, such as countable compacity, pseudocompacity and pseudocompleteness, and see in which circumstances a general complete uniform space satisfies the Baire property.