Filling in the blanks proof, having some issues Set Theory Unions/Subsets

mr_coffee
Messages
1,613
Reaction score
1
Hello everyone. Our book has a problem where we are to fill out the missing spots and its quite confusing, I'm not sure if i got this right or not.
Any help would be great!

Here is the question/directions:
The following is a proof that for all sets A and B, if A is a subset of B,
then A U B subset B. Fill in the blanks.

note: i didn't nkow how to write the subset symbol, so if you look at (a) u will see what is to be proved

http://suprfile.com/src/1/3onjybq/lastscan.jpg
If you can't read it, here is what the book has:

Proof: Suppose A and B are any sets and A is a subset of B. We must show that (a). Let x be in (b). We must show that (c). By Definition of union, x in (d) (e) x in (f). In case x in (g), then since A is a subset of B, x in (h). In case x in B, then clearly x in B. So in either case, x in (i) as was to be shown.The defintion of union out of this book is the following, which didn't match up to will with th efill in the blanks (d), (e), and (f).

The union of sets x and Y, X U Y, is deifned as X U Y = {x | x in X or X in Y}

This means that any time you know an element x is in X U Y, you can concludde that x must be in X or x must be in Y. Conversely, any time you know that a particular x is in some set X or is in some set Y, you can conlucde that x is in X U Y. Thus, for any sets X and Y and any element x,

x in X U Y if, and only if, x in X or X in Y.Thanks.
 
Last edited by a moderator:
Physics news on Phys.org
the proof looks good
 
There are two things I don't understand about this problem. First, when finding the nth root of a number, there should in theory be n solutions. However, the formula produces n+1 roots. Here is how. The first root is simply ##\left(r\right)^{\left(\frac{1}{n}\right)}##. Then you multiply this first root by n additional expressions given by the formula, as you go through k=0,1,...n-1. So you end up with n+1 roots, which cannot be correct. Let me illustrate what I mean. For this...
Back
Top