- #1
mathboy
- 182
- 0
Conflicting statements from topology textbooks
Definitions: A point p is a limit point of A iff all open sets containing p intersects A-{p}. Let A' denote the set of all limit points of A. So far, so good.
Cullen's topology book (1968) states that
(A U B)' = A' U B'.
I read her proof carefully and it looks good. Schaum's topology book (1965) also states the same thing and its proof also looks good.
However, a university pdf solution to Munkres' problems (1st edition, p.100 #8d) states that (A U B)' = A' U B' is false. I read the discussion of the incorrect logic that is easily made in arriving at the "false conclusion." But Cullen's and Schaum's proofs don't use that incorrect logic, but they prove it differently.
I'm so confused. Is it true or false?
While we're at it. Is (A n B)' = A' n B' true? And what about infinite unions and infinite intersections? Oddly, I also haven't seen either statement in the form of a theorem (or a question asking for a proof) in any recent topology textbook.
Definitions: A point p is a limit point of A iff all open sets containing p intersects A-{p}. Let A' denote the set of all limit points of A. So far, so good.
Cullen's topology book (1968) states that
(A U B)' = A' U B'.
I read her proof carefully and it looks good. Schaum's topology book (1965) also states the same thing and its proof also looks good.
However, a university pdf solution to Munkres' problems (1st edition, p.100 #8d) states that (A U B)' = A' U B' is false. I read the discussion of the incorrect logic that is easily made in arriving at the "false conclusion." But Cullen's and Schaum's proofs don't use that incorrect logic, but they prove it differently.
I'm so confused. Is it true or false?
While we're at it. Is (A n B)' = A' n B' true? And what about infinite unions and infinite intersections? Oddly, I also haven't seen either statement in the form of a theorem (or a question asking for a proof) in any recent topology textbook.
Last edited: