Additive functions, unions, and intersections.

  • Thread starter Thread starter reb659
  • Start date Start date
  • Tags Tags
    Functions
Click For Summary
SUMMARY

The discussion focuses on proving the additive property of a function G mapping the power set P of a set S to the real numbers R. Specifically, it establishes that for arbitrary subsets X1 and X2 of S, the equation G(X1 U X2) = G(X1) + G(X2) - G(X1 ∩ X2) holds true. The proof approach involves manipulating the sets using element chasing and disjoint unions, emphasizing the importance of understanding set operations and the properties of additive functions.

PREREQUISITES
  • Understanding of additive functions in set theory
  • Familiarity with power sets and their properties
  • Knowledge of set operations including union and intersection
  • Experience with element chasing proofs in mathematics
NEXT STEPS
  • Study the properties of additive functions in greater detail
  • Learn about the concept of power sets and their applications
  • Explore advanced set operations and their implications in proofs
  • Practice element chasing proofs with various mathematical functions
USEFUL FOR

Mathematics students, educators, and anyone interested in set theory and additive functions will benefit from this discussion.

reb659
Messages
64
Reaction score
0

Homework Statement



A function G:P--->R where R is the set of real numbers is additive provided
G(X1 U X2)=G(X1)+G(X2) if X1, X2 are disjoint.

Let S be a set, Let P be the power set of S. Suppose G is an additive function mapping P to R. Prove that if X1 and X2 are ARBITRARY(not necessarily disjoint subsets of W), then
G(X1 U X2)=G(X1)+G(X2)-G(X1 I X2)

Homework Equations


The Attempt at a Solution


The only way I know how to do this is using an element chasing proof. But if I let an element c be in the right hand side I can't go anywhere because the sets are not necessarily disjoint.
 
Last edited:
Physics news on Phys.org
Try using
X1\cup X2=X1\setminus X2+X2\setminus X1+X1\cap X2
X1=X1\setminus X2+X1\cap X2
and similar for X2. Draw it, play with the equations using additivity of f. I used "+" for disjoint unions.
 
I am such an idiot. I tried it before representing the left hand side as a union of disjoint sets but for some reason I didn't bother manipulating the right hand side in the same way.

Thanks a ton!
 

Similar threads

  • · Replies 54 ·
2
Replies
54
Views
6K
  • · Replies 16 ·
Replies
16
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
1
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
Replies
3
Views
1K
  • · Replies 9 ·
Replies
9
Views
2K