Let A, B be set with A non-empty. (a) Prove that if A C B, then A, B are not disjoint. (b) What if we remove the assumption "A is non-empty"? Is the state- ment in (a) still correct? Prove or provide a counterexample.
Let A, B be set with A non-empty. (a) Prove that if A C B, then A, B are not disjoint. (b) What if we remove the assumption "A is non-empty"? Is the state- ment in (a) still correct? Prove or provide a counterexample.
Advanced Engineering Mathematics
10th Edition
ISBN:9780470458365
Author:Erwin Kreyszig
Publisher:Erwin Kreyszig
Chapter2: Second-order Linear Odes
Section: Chapter Questions
Problem 1RQ
Related questions
Question
![For this homework, you can use the following facts. If it is a definition, you
should mention "by definition" or "by definition of XXX (e.g. even)". If it is
not a definition, you do NOT have to cite.
1. Basic algebra, such as 2 + 2 = 4, 1-3 = -2, 2-4 = 8. This includes
subtracting an integer, or dividing by a non-zero rational/real/complex
numbers.
2. Common knowledge of whether numbers are integer/rational, e.g. is not
an integer, is not rational, all integers are rational, all rational numbers
are real, all real numbers are complex, etc.
3. Associative law of addition: (a+b)+c= a + (b+c), and associative
law of multiplication: (ab)c = a(be), for all a, b, c € C.
4. Commutative law of addition: a+b=b+a, and commutative law
of multiplication: abba, for all a, b, c € C.
5. Distributive law: For all a, b, c € C, we have (a + b)(c+d) = ac+ad+
be + bd. In particular, (a + b)² = a² + 2ab + b².
6. An integer n is even if there exists an integer k such that n = 2k.
7. An integer n is odd if there exists an integer k such that n = 2k + 1.
8. All integers are either even or odd.
9. A real number az is positive if a > 0, and negative if x < 0.
10. All real numbers are either positive, negative, or 0.
11. Let A, B be subsets of a universal set U.
(a) We say A is a subset of B, denoted by ACB, if for all z € A, we
have z € B.
(b) An element is in AUB, the union of A and B, if z € A or € B.
(c) An element z is in An B, the intersection of A and B, if x € A and
€ B.
(d) An element z EU is in Aº, the complement of A in U, if æ & A.
12. We denote by the empty set.
13. Let A, B be sets. Then
(a) An BCA;
(b) ACAUB.
1
14. A "function" f: A → B is a well-defined function, or simply a function,
if for all z EA, there is a unique y E B such that f(x) = y. (There are
quotes here as f is not actually a function if it is not well-defined. )
15. A function f: A → B is injective if for all ₁,22 € A, if f(x₁) = f(x₂),
then #1 = 22-
16. A function f : A → B is surjective if for all y € B, there exists € A such
that f(x) = y.
17. A function f : A → B is bijective if it is injective and surjective.](/v2/_next/image?url=https%3A%2F%2Fcontent.bartleby.com%2Fqna-images%2Fquestion%2F382d69cf-ffe2-43c0-99c4-21bedf550518%2F03d51c54-124d-4565-807e-e264caa6a24e%2Fsilmqa_processed.png&w=3840&q=75)
Transcribed Image Text:For this homework, you can use the following facts. If it is a definition, you
should mention "by definition" or "by definition of XXX (e.g. even)". If it is
not a definition, you do NOT have to cite.
1. Basic algebra, such as 2 + 2 = 4, 1-3 = -2, 2-4 = 8. This includes
subtracting an integer, or dividing by a non-zero rational/real/complex
numbers.
2. Common knowledge of whether numbers are integer/rational, e.g. is not
an integer, is not rational, all integers are rational, all rational numbers
are real, all real numbers are complex, etc.
3. Associative law of addition: (a+b)+c= a + (b+c), and associative
law of multiplication: (ab)c = a(be), for all a, b, c € C.
4. Commutative law of addition: a+b=b+a, and commutative law
of multiplication: abba, for all a, b, c € C.
5. Distributive law: For all a, b, c € C, we have (a + b)(c+d) = ac+ad+
be + bd. In particular, (a + b)² = a² + 2ab + b².
6. An integer n is even if there exists an integer k such that n = 2k.
7. An integer n is odd if there exists an integer k such that n = 2k + 1.
8. All integers are either even or odd.
9. A real number az is positive if a > 0, and negative if x < 0.
10. All real numbers are either positive, negative, or 0.
11. Let A, B be subsets of a universal set U.
(a) We say A is a subset of B, denoted by ACB, if for all z € A, we
have z € B.
(b) An element is in AUB, the union of A and B, if z € A or € B.
(c) An element z is in An B, the intersection of A and B, if x € A and
€ B.
(d) An element z EU is in Aº, the complement of A in U, if æ & A.
12. We denote by the empty set.
13. Let A, B be sets. Then
(a) An BCA;
(b) ACAUB.
1
14. A "function" f: A → B is a well-defined function, or simply a function,
if for all z EA, there is a unique y E B such that f(x) = y. (There are
quotes here as f is not actually a function if it is not well-defined. )
15. A function f: A → B is injective if for all ₁,22 € A, if f(x₁) = f(x₂),
then #1 = 22-
16. A function f : A → B is surjective if for all y € B, there exists € A such
that f(x) = y.
17. A function f : A → B is bijective if it is injective and surjective.
![Let A, B be set with A non-empty.
(a) Prove that if A C B, then A, B are not disjoint.
(b) What if we remove the assumption “A is non-empty”? Is the state-
ment in (a) still correct? Prove or provide a counterexample.](/v2/_next/image?url=https%3A%2F%2Fcontent.bartleby.com%2Fqna-images%2Fquestion%2F382d69cf-ffe2-43c0-99c4-21bedf550518%2F03d51c54-124d-4565-807e-e264caa6a24e%2Fvmm3sk6_processed.png&w=3840&q=75)
Transcribed Image Text:Let A, B be set with A non-empty.
(a) Prove that if A C B, then A, B are not disjoint.
(b) What if we remove the assumption “A is non-empty”? Is the state-
ment in (a) still correct? Prove or provide a counterexample.
Expert Solution
![](/static/compass_v2/shared-icons/check-mark.png)
This question has been solved!
Explore an expertly crafted, step-by-step solution for a thorough understanding of key concepts.
Step by step
Solved in 2 steps with 2 images
![Blurred answer](/static/compass_v2/solution-images/blurred-answer.jpg)
Recommended textbooks for you
![Advanced Engineering Mathematics](https://www.bartleby.com/isbn_cover_images/9780470458365/9780470458365_smallCoverImage.gif)
Advanced Engineering Mathematics
Advanced Math
ISBN:
9780470458365
Author:
Erwin Kreyszig
Publisher:
Wiley, John & Sons, Incorporated
![Numerical Methods for Engineers](https://www.bartleby.com/isbn_cover_images/9780073397924/9780073397924_smallCoverImage.gif)
Numerical Methods for Engineers
Advanced Math
ISBN:
9780073397924
Author:
Steven C. Chapra Dr., Raymond P. Canale
Publisher:
McGraw-Hill Education
![Introductory Mathematics for Engineering Applicat…](https://www.bartleby.com/isbn_cover_images/9781118141809/9781118141809_smallCoverImage.gif)
Introductory Mathematics for Engineering Applicat…
Advanced Math
ISBN:
9781118141809
Author:
Nathan Klingbeil
Publisher:
WILEY
![Advanced Engineering Mathematics](https://www.bartleby.com/isbn_cover_images/9780470458365/9780470458365_smallCoverImage.gif)
Advanced Engineering Mathematics
Advanced Math
ISBN:
9780470458365
Author:
Erwin Kreyszig
Publisher:
Wiley, John & Sons, Incorporated
![Numerical Methods for Engineers](https://www.bartleby.com/isbn_cover_images/9780073397924/9780073397924_smallCoverImage.gif)
Numerical Methods for Engineers
Advanced Math
ISBN:
9780073397924
Author:
Steven C. Chapra Dr., Raymond P. Canale
Publisher:
McGraw-Hill Education
![Introductory Mathematics for Engineering Applicat…](https://www.bartleby.com/isbn_cover_images/9781118141809/9781118141809_smallCoverImage.gif)
Introductory Mathematics for Engineering Applicat…
Advanced Math
ISBN:
9781118141809
Author:
Nathan Klingbeil
Publisher:
WILEY
![Mathematics For Machine Technology](https://www.bartleby.com/isbn_cover_images/9781337798310/9781337798310_smallCoverImage.jpg)
Mathematics For Machine Technology
Advanced Math
ISBN:
9781337798310
Author:
Peterson, John.
Publisher:
Cengage Learning,
![Basic Technical Mathematics](https://www.bartleby.com/isbn_cover_images/9780134437705/9780134437705_smallCoverImage.gif)
![Topology](https://www.bartleby.com/isbn_cover_images/9780134689517/9780134689517_smallCoverImage.gif)