laws of set algebra


by sara_87
Tags: algebra, laws
sara_87
sara_87 is offline
#1
Jan2-07, 03:53 PM
P: 774
Question:

Use the laws of set algebra to show that for the sets X,Y,Z:
a) X + XY + ZX = X + Y + Z
b) XY + XY + XY + XY = U
c) Z(X + Y)(X +Z) = (X + Y + Z)
d) XYZ + X + Y + Z = U

Answer:

I can prove these using venn diagrams but what are the laws of set algebra?

also U means the union of X, Y and Z...no?
Phys.Org News Partner Science news on Phys.org
SensaBubble: It's a bubble, but not as we know it (w/ video)
The hemihelix: Scientists discover a new shape using rubber bands (w/ video)
Microbes provide insights into evolution of human language
Hurkyl
Hurkyl is offline
#2
Jan2-07, 03:55 PM
Emeritus
Sci Advisor
PF Gold
Hurkyl's Avatar
P: 16,101
I would imagine things like the distributive laws, the associative laws, DeMorgan's laws, et cetera.
cristo
cristo is offline
#3
Jan2-07, 04:24 PM
Mentor
cristo's Avatar
P: 8,287
Quote Quote by sara_87 View Post

also U means the union of X, Y and Z...no?
U generally denotes the universal set; a set large enough to contain all sets under consideration (for the given question). For example, Ac=U\A.

(Another way to think of it, is as the "rectangle" in which the sets are drawn when constructing a Venn diagram) In this instance, it is enough to take U to be the union of X, Y and Z.

matt grime
matt grime is offline
#4
Jan2-07, 04:43 PM
Sci Advisor
HW Helper
P: 9,398

laws of set algebra


Quote Quote by sara_87 View Post
I can prove these using venn diagrams but what are the laws of set algebra?
No, you can't prove them using venn diagrams. You can justify them, but I doubt anyone would accept Venn diagrams as a 'proper' proof. It is easy to turn Venn diagram arguments into proper arguments though.
sara_87
sara_87 is offline
#5
Jan2-07, 06:41 PM
P: 774
'It is easy to turn Venn diagram arguments into proper arguments though.'
yeah?...how? could you give me an example?
matt grime
matt grime is offline
#6
Jan3-07, 04:46 AM
Sci Advisor
HW Helper
P: 9,398
Look at the diagram. A set equality A=B is always best shown (if no clever methods are at hand) by demonstrating that anything in A is in B, and vice versa. If you look at the venn diagram for a), say, you can read off how to do this because you can see where elements in subsets of the LHS can be found in subset of the RHS.

Of course, here you just use the laws set algebras some of which are (and these are comutative operations)

XX=X
X+X=X
X'=U\X (set difference), or U=X+X'
XX'=0
UX=X
U+X=U

In particular Y=XY+X'Y
HallsofIvy
HallsofIvy is online now
#7
Jan3-07, 06:49 AM
Math
Emeritus
Sci Advisor
Thanks
PF Gold
P: 38,904
Quote Quote by sara_87 View Post
Question:

Use the laws of set algebra to show that for the sets X,Y,Z:
a) X + XY + ZX = X + Y + Z
b) XY + XY + XY + XY = U
c) Z(X + Y)(X +Z) = (X + Y + Z)
d) XYZ + X + Y + Z = U

Answer:

I can prove these using venn diagrams but what are the laws of set algebra?

also U means the union of X, Y and Z...no?
Obviously it does not here because then b and d would make no sense! U here means the "universal set". "X+ Y" is the union of the two sets X and Y and XY means the intersection.
sara_87
sara_87 is offline
#8
Jan3-07, 03:34 PM
P: 774
using the laws posted, this what i did:

a) X + X'Y + ZX'
= X +Y - XY + Z -XZ
=X + Y + X'Y - Y + Z + X'Z - Z
=X + X'Y + X'Z
=X + Y + XY + XZ + Z
= X + Y+ Z (RHS)
somehow i feel that i did a) wrong

b) XY + X'Y' + X'Y + XY'
=Y - X'Y + X'Y + X + YX
=Y + X + YX
=U

c) Z'(X+Y)(X'+Z)
=Z'XX' + XZZ' + X'YZ' + YZZ'
=0 + 0 + X'YZ' + 0
=(XY'Z)'

d) don't know where to start...whatever i do i get stuck

is a, b and c correct?
sara_87
sara_87 is offline
#9
Jan3-07, 03:44 PM
P: 774
( i should start a new thread for this but i hate seeing my name a million times)

Functions:

if f: R -> A A={x|x belongs to R and -1<x<1}

x^2=y^2 is not injective...is it?

because x= + or - y

(the question is longer...if i turn out to be right i'll post it up properly and ask for help)
matt grime
matt grime is offline
#10
Jan3-07, 04:26 PM
Sci Advisor
HW Helper
P: 9,398
And what relation does f have to any of x or y in this question? y^2=x^2 does not define y as a function of x for precisely the reason given in your post, so this can't have any relation to f, can it?


Register to reply

Related Discussions
laws of set algebra help Set Theory, Logic, Probability, Statistics 3
Clifford algebra isomorphic to tensor algebra or exterior algebra? Linear & Abstract Algebra 2
Gas Laws Introductory Physics Homework 5
Gas Laws Physics Learning Materials 0
Algebra I vs Linear Algebra I Linear & Abstract Algebra 8