Ideal Banach category theorems (Q1288323): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2017461629 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Topologies making a given ideal nowhere dense or meager / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: New Topologies from Old via Ideals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4020930 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4032237 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Concerning Continuity Apart from a Meager Set / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3874454 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4388176 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4796380 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4019671 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4018785 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5722778 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5837864 / rank | |||
Normal rank |
Latest revision as of 20:04, 28 May 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