Ideal Banach category theorems (Q1288323): Difference between revisions
From MaRDI portal
Removed claims |
Changed an Item |
||
Property / author | |||
Property / author: Zbigniew Piotrowski / rank | |||
Normal rank | |||
Property / author | |||
Property / author: David A. Rose / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Robert A.McCoy / rank | |||
Normal rank |
Revision as of 19:40, 9 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Ideal Banach category theorems |
scientific article |
Statements
Ideal Banach category theorems (English)
0 references
26 August 1999
0 references
The Banach category theorem, which is true in any space \(X\), has the following three versions. \(B_1\): A subset \(A\) of \(X\) is meager whenever each nonempty open set contains a nonempty open set that intersects \(A\) in a meager set. \(B_2\): For each subset \(A\) of \(X\), the set of points of \(A\) having a neighborhood that intersects \(A\) in a meager set is itself a meager set. \(B_3\): The union of any family of open meager subsets of \(X\) is meager. In this paper a comparison is made of \(B_1\), \(B_2\), and \(B_3\) when the \(\sigma\)-ideal of meager subsets of \(X\) is replaced by an arbitrary ideal of subsets of \(X\). In particular, it is shown that \(B_1\) implies \(B_2\) implies \(B_3\), and that neither implication reverses in general, even for \(\sigma\)-ideals. An ideal satisfies \(B_1\) if and only if it satisfies \(B_2\) and contains the ideal of nowhere dense sets. In addition, an investigation is made into the behavior of the unique smallest ideal containing a given ideal and satisfying \(B_i\), for \(i=1,2,3\) (called the \(B_i\)-extension of the given ideal). Among other things, examples are given showing that the \(B_3\)-extension operator is not as well behaved as the \(B_1\)- and \(B_2\)-extension operators; for example, it does not distribute over finite joins of ideals, whereas the other two do.
0 references
Banach category theorem
0 references
ideal extension
0 references