Hello,
I was wondering if someone could help me show the following:
kappa, lambda and mu (for brevity denoted k,l and m) are 3 cardinals, show that:
1) k^(l+m)=k^l k^m
2) (k l)^m=k^m l^m
I have given the matter some thought already, but I feel highly insecure about it, and I was therefore wondering if someone could please look at it, and give me some help if it is wrong:
-------------
For (1)
Let k=card(A), l=card(B) and m=card(C). Then to show (1) we have to show that A^(B disjoint union C) ~ A^B x A^C
By definition in my notes, B disjoint union C = ({0}xB)U({1}xC)
Now
A^(B disjoint union C) ={f:f is a function from ({0}xB)U({1}xC) to A}
A^B = {g:g is a function from B to A}
A^C = {h:h is a function from C to A}
The map
A^(B disjoint union C) --> A^B x A^C
((0,b)->a) -> (b->a,c->a)
((0,c)->a) -> (b->a,c->a)
is a bijection (the inverse is just the reverse). Thus A^(B disjoint union C) ~ A^B x A^C
-------------
For (2):
In this case we want to show that (AxB)^C ~ A^C x B^C
Again we have
(AxB)^C = {f: f is a function from C to A x B}
A^C = {g: g is a function from C to A}
B^C = {h: h is a function from C to B}
The map
(AxB)^C --> A^C x B^C
(c ->(a,b)) -> ((c->a),(c->b))
is a bijection (the inverse is just the reverse map). Thus (AxB)^C ~ A^C x B^C
---------
Thank you in advance