Ask your own question, for FREE!
Mathematics 17 Online
OpenStudy (anonymous):

Proof: if a set A is countable and there is a surjection f:A->B for some set B, then B is countable.

OpenStudy (anonymous):

I know that if A is countable then A is either finite or A~N and a surjection is that every point in A maps onto B but how do I prove this??

OpenStudy (anonymous):

if there is a surjection does that mean that A can't be an empty set?

OpenStudy (anonymous):

since A is a countable set, then A~B is subjectice, so then since surjection A~B, choose a Bijection N~B impiles that B is countable

OpenStudy (anonymous):

N~B implies B is subjective. and A is infinite

OpenStudy (anonymous):

what does subjective mean?

OpenStudy (anonymous):

sorry I meant surjective*

OpenStudy (anonymous):

Oh okay and N~B implies that A is infinite?

OpenStudy (anonymous):

yes, seems like you got it!

OpenStudy (anonymous):

Ok, thanks!

OpenStudy (anonymous):

Welcome, you are ready for law school

OpenStudy (anonymous):

Uhhhhhhhhhhhhhhhhhhhhhhh.....................cool!

OpenStudy (anonymous):

If you need any help, feel free to notify

Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!
Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!