Talk:Cantor-Bernstein-Schröder Theorem

There seem to be some inconsistencies in Proof 3 which make it hard to understand this nice argument.

1. $C_S$ (and $C_T$) are defined by $C_S(A)=S\setminus A$ (and not by $P(S)\setminus A$)

2. $z:P(S)\to P(T)$ should by defined by $z(A)=C_S(g(C_T(f(A)))$

and the arguments which follow should be changed accordingly:
 * $A\subseteq B (\subseteq S) \implies f(A)\subseteq f(B) \implies C_T(f(A))\subseteq C_T (f(B))$ ...


 * Many thanks for that. You are quite correct. --prime mover 21:58, 1 November 2010 (UTC)

LEM
How appropriate is it to add the LEM template to this? It is used in Proof 5. Is it also used in the other proofs as well? (I'm not in a mindset to check.) --prime mover (talk) 21:23, 11 March 2013 (UTC)


 * Sometimes explicitly; sometimes implicitly. There's a discussion over on Math Overflow where some folks who know a lot more than I give reasons to believe the theorem is inherently non-constructive. --Dfeuer (talk) 21:30, 11 March 2013 (UTC)


 * Exercise for you then: identify the places where LEM is invoked in all 5 proofs of this theorem so we can justify putting LEM at the bottom. --prime mover (talk) 21:55, 11 March 2013 (UTC)


 * Proof 1 is sufficiently informal and incomplete that I have no idea what it's doing.
 * Proof 2 uses it explicitly.
 * Proof 3 uses Relative Complement of Relative Complement, whose proof is currently circular, but I'd bet a trout that it depends on LEM.
 * Proof 4 inspects the two cases of a repetition occurring or not occurring, which presumes LEM.
 * Proof 5 uses a lemma that uses it explicitly.

--Dfeuer (talk) 22:53, 11 March 2013 (UTC)


 * The proof of Relative Complement of Relative Complement is not circular as far as I can see (and I've traced proof 2 all the way). It probably hinges on Set Difference with Set Difference is Union of Set Difference with Intersection which appears to be some De Morgan law combined with LEM, in its core. &mdash; Lord_Farin (talk) 08:00, 12 March 2013 (UTC)


 * Sorry for coming in late. 't Had been resolved already (as this was the only one on my watchlist, I hadn't noticed the stuff on the other talk pages). &mdash; Lord_Farin (talk) 11:38, 12 March 2013 (UTC)