BuyFindarrow_forward

Discrete Mathematics With Applicat...

5th Edition
EPP + 1 other
ISBN: 9781337694193

Solutions

Chapter
Section
BuyFindarrow_forward

Discrete Mathematics With Applicat...

5th Edition
EPP + 1 other
ISBN: 9781337694193
Textbook Problem
4 views

Prove that a disjoint union of any finite set and any countably infinite set is countabley infinite.

To determine

To prove:

A disjoint union of any finite set and any countably infinite set is countably infinite.

Explanation

Given information:

A disjoint union of any finite set and any countably infinite set.

Proof:

Let A={a1,a2,...,an} be a finite set and let B be a countably infinite set such that A and B are disjoint (AB=0). We then need to proof that AB is countably infinite.

Since B is countable infinite, B has the same cardinality as Z + and thus there exists a one-to-one correspondence f between B and Z + (which implies that f is onto and one-to-one).

Let us define the function g as:

g:ABZ+,g(x)={       i            if x=aif(x)+n       if xB

g onto:

Let yZ+.

If yn, then

g(ay)=y

If y > n, then there exists some elements xB such that f(x)=yn (as f is one-to-one and

y − n > 0).

g(x)=f(x)+n=(yn)+n=y

We then note that for every yZ+, there exists an element z=ayAB or z=xAB (respectively) such that y=g(z)

Still sussing out bartleby?

Check out a sample textbook solution.

See a sample solution

The Solution to Your Study Problems

Bartleby provides explanations to thousands of textbook problems written by our experts, many with advanced degrees!

Get Started
Sect-7.1 P-2ESSect-7.1 P-3ESSect-7.1 P-4ESSect-7.1 P-5ESSect-7.1 P-6ESSect-7.1 P-7ESSect-7.1 P-8ESSect-7.1 P-9ESSect-7.1 P-10ESSect-7.1 P-11ESSect-7.1 P-12ESSect-7.1 P-13ESSect-7.1 P-14ESSect-7.1 P-15ESSect-7.1 P-16ESSect-7.1 P-17ESSect-7.1 P-18ESSect-7.1 P-19ESSect-7.1 P-20ESSect-7.1 P-21ESSect-7.1 P-22ESSect-7.1 P-23ESSect-7.1 P-24ESSect-7.1 P-25ESSect-7.1 P-26ESSect-7.1 P-27ESSect-7.1 P-28ESSect-7.1 P-29ESSect-7.1 P-30ESSect-7.1 P-31ESSect-7.1 P-32ESSect-7.1 P-33ESSect-7.1 P-34ESSect-7.1 P-35ESSect-7.1 P-36ESSect-7.1 P-37ESSect-7.1 P-38ESSect-7.1 P-39ESSect-7.1 P-40ESSect-7.1 P-41ESSect-7.1 P-42ESSect-7.1 P-43ESSect-7.1 P-44ESSect-7.1 P-45ESSect-7.1 P-46ESSect-7.1 P-47ESSect-7.1 P-48ESSect-7.1 P-49ESSect-7.1 P-50ESSect-7.1 P-51ESSect-7.1 P-52ESSect-7.1 P-53ESSect-7.2 P-1TYSect-7.2 P-2TYSect-7.2 P-3TYSect-7.2 P-4TYSect-7.2 P-5TYSect-7.2 P-6TYSect-7.2 P-7TYSect-7.2 P-8TYSect-7.2 P-9TYSect-7.2 P-10TYSect-7.2 P-11TYSect-7.2 P-1ESSect-7.2 P-2ESSect-7.2 P-3ESSect-7.2 P-4ESSect-7.2 P-5ESSect-7.2 P-6ESSect-7.2 P-7ESSect-7.2 P-8ESSect-7.2 P-9ESSect-7.2 P-10ESSect-7.2 P-11ESSect-7.2 P-12ESSect-7.2 P-13ESSect-7.2 P-14ESSect-7.2 P-15ESSect-7.2 P-16ESSect-7.2 P-17ESSect-7.2 P-18ESSect-7.2 P-19ESSect-7.2 P-20ESSect-7.2 P-21ESSect-7.2 P-22ESSect-7.2 P-23ESSect-7.2 P-24ESSect-7.2 P-25ESSect-7.2 P-26ESSect-7.2 P-27ESSect-7.2 P-28ESSect-7.2 P-29ESSect-7.2 P-30ESSect-7.2 P-31ESSect-7.2 P-32ESSect-7.2 P-33ESSect-7.2 P-34ESSect-7.2 P-35ESSect-7.2 P-36ESSect-7.2 P-37ESSect-7.2 P-38ESSect-7.2 P-39ESSect-7.2 P-40ESSect-7.2 P-41ESSect-7.2 P-42ESSect-7.2 P-43ESSect-7.2 P-44ESSect-7.2 P-45ESSect-7.2 P-46ESSect-7.2 P-47ESSect-7.2 P-48ESSect-7.2 P-49ESSect-7.2 P-50ESSect-7.2 P-51ESSect-7.2 P-52ESSect-7.2 P-53ESSect-7.2 P-54ESSect-7.2 P-55ESSect-7.2 P-56ESSect-7.2 P-57ESSect-7.2 P-58ESSect-7.3 P-1TYSect-7.3 P-2TYSect-7.3 P-3TYSect-7.3 P-4TYSect-7.3 P-5TYSect-7.3 P-1ESSect-7.3 P-2ESSect-7.3 P-3ESSect-7.3 P-4ESSect-7.3 P-5ESSect-7.3 P-6ESSect-7.3 P-7ESSect-7.3 P-8ESSect-7.3 P-9ESSect-7.3 P-10ESSect-7.3 P-11ESSect-7.3 P-12ESSect-7.3 P-13ESSect-7.3 P-14ESSect-7.3 P-15ESSect-7.3 P-16ESSect-7.3 P-17ESSect-7.3 P-18ESSect-7.3 P-19ESSect-7.3 P-20ESSect-7.3 P-21ESSect-7.3 P-22ESSect-7.3 P-23ESSect-7.3 P-24ESSect-7.3 P-25ESSect-7.3 P-26ESSect-7.3 P-27ESSect-7.3 P-28ESSect-7.3 P-29ESSect-7.3 P-30ESSect-7.4 P-1TYSect-7.4 P-2TYSect-7.4 P-3TYSect-7.4 P-4TYSect-7.4 P-5TYSect-7.4 P-6TYSect-7.4 P-7TYSect-7.4 P-8TYSect-7.4 P-9TYSect-7.4 P-1ESSect-7.4 P-2ESSect-7.4 P-3ESSect-7.4 P-4ESSect-7.4 P-5ESSect-7.4 P-6ESSect-7.4 P-7ESSect-7.4 P-8ESSect-7.4 P-9ESSect-7.4 P-10ESSect-7.4 P-11ESSect-7.4 P-12ESSect-7.4 P-13ESSect-7.4 P-14ESSect-7.4 P-15ESSect-7.4 P-16ESSect-7.4 P-17ESSect-7.4 P-18ESSect-7.4 P-19ESSect-7.4 P-20ESSect-7.4 P-21ESSect-7.4 P-22ESSect-7.4 P-23ESSect-7.4 P-24ESSect-7.4 P-25ESSect-7.4 P-26ESSect-7.4 P-27ESSect-7.4 P-28ESSect-7.4 P-29ESSect-7.4 P-30ESSect-7.4 P-31ESSect-7.4 P-32ESSect-7.4 P-33ESSect-7.4 P-34ESSect-7.4 P-35ESSect-7.4 P-36ESSect-7.4 P-37ESSect-7.4 P-38ES