Purchase Solution

Providing proof about Cardinality

Not what you're looking for?

Ask Custom Question

Let A, B, C be sets. Show that the sets (A^B)^C and A^(BxC) have equal cardinality by constructing an explicit bijection between the two sets. Conclude that (a^b)^c=a^bc for any natural numbers a, b, c. Use a similar argument to also conclude a^b x a^c= a^b+c

Purchase this Solution

Solution Summary

This solution helps with a proof about cardinality. It helps show that sets have equal cardinality by constructing an explicit bijection between two sets.

Solution Preview

(i) Consider the mapping F:(A^B)^C-->A^(BxC) given as follows. It sends f:C-->(A^B) to F(f):BxC-->A defined by F(f)(b,c)=f(c)(b).

Let us show that F is injective. To this end, let us consider f,f':C-->(A^B) such that F(f)=F(f'). Let us show that f(c)=f'(c), for any c from C. For that it is sufficient to show that f(c)(b)=f'(c)(b). But f(c)(b)=F(f)(b,c), and similarly, f'(c)(b)=F(f')(b,c). Since F(f)=F(f'), F(f)(b,c)=F(f')(b,c). Therefore, f(c)(b)=f'(c)(b), and hence F is injective.

Let us now show that F is surjective. Consider any g:BxC-->A. Construct f:C-->(A^B) as follows. f(c):B-->A ...

Purchase this Solution


Free BrainMass Quizzes
Solving quadratic inequalities

This quiz test you on how well you are familiar with solving quadratic inequalities.

Geometry - Real Life Application Problems

Understanding of how geometry applies to in real-world contexts

Multiplying Complex Numbers

This is a short quiz to check your understanding of multiplication of complex numbers in rectangular form.

Graphs and Functions

This quiz helps you easily identify a function and test your understanding of ranges, domains , function inverses and transformations.

Exponential Expressions

In this quiz, you will have a chance to practice basic terminology of exponential expressions and how to evaluate them.