Please do try the questions by yourself before resorting to these hints!
- 22 = 4, 23 = 8, 32 = 9 and 33 = 27.
- [X] ↔ X∩B.
[X] = [Y] ⇔ X∩B = Y∩B.
- Bijective.
- (a, (b,c)) ↔ ((a,b), c).
Requires |A| = 0, 1 or ∞ (but don't even think of writing infinity like this!).
Requires |A| = 0, 2 or ∞.
Currying.
|C| = 1 or |B||A| = |B|.|A|.
(f: A+B→C) ↔ (λa.f(0,a), λb.f(1,b)).
- Suppose that g exists with the given property.
a1 R a2
⇒ [a1] = [a2]
⇒ p(a1) = p(a2)
⇒ g(p(a1)) = g(p(a2))
⇒ q(f(a1)) = q(f(a2))
⇒ [f(a1)] = [f(a2)]
⇒ f(a1) S f(a2).
Define g([a]) = q(f(a)).
Check that it is well defined and satisfies p ο g = f ο q.
- Consider Hasse diagrams.
- (|B|+1)|A|.
- Countable union of countable sets.
- f ↔ {n | f(n) = 1}.
- Countably infinite, uncountable, finite (=2), uncountable, countable.
- The interior of each disc contains a point with rational coordinates.
Circles can be nested arbitrarily.
|