Download Homework #1

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts

Vincent's theorem wikipedia , lookup

List of first-order theories wikipedia , lookup

Principia Mathematica wikipedia , lookup

List of important publications in mathematics wikipedia , lookup

Non-standard calculus wikipedia , lookup

Factorization wikipedia , lookup

Infinitesimal wikipedia , lookup

Addition wikipedia , lookup

Line (geometry) wikipedia , lookup

Real number wikipedia , lookup

Hyperreal number wikipedia , lookup

Elementary mathematics wikipedia , lookup

Proofs of Fermat's little theorem wikipedia , lookup

Fundamental theorem of algebra wikipedia , lookup

Georg Cantor's first set theory article wikipedia , lookup

Infinity wikipedia , lookup

Transcript
Homework #4
Finite and Infinite Sets
Read section 1.6
Exercises from the text: Page 35: #1,#4, #8
Other exercises in thought and logic that you will most certainly find interesting.
1. Prove that if A is a countably infinite set, then P(A) is uncountable.
2. Prove that if E is a countable set of points in the plane, then E  A B where A
intersects each horizontal line in finitely many points and B intersects each vertical
line in at most finitely many points.
3. Prove that the Cantor Middle-Third Set is uncountable.
For problems 4 and 5, determine whether the statement is true or false. If true, prove the
statement. If false, give a counterexample.
4. There is a set that is uncountable, but is not equivalent to
.
5. Any set of real numbers that is uncountable contains an open interval.
6. A real number is said to be algebraic if it is a root of a polynomial
a0  a1 x  a2 x 2 
 an x n , where an  0, n  1 , and ai is and integer for every i.
The set of algebraic numbers is uncountable.