
Cardinal Exponentiation
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