Worked examples · Sheet 1
Operations on given sets
Theory used: Set, membership, inclusionUnion, intersection, difference, complementCartesian productIntervals and their notation
Go to: Exercise 1Exercise 2Exercise 3
Exercise 1
Given and , determine , , , and .
The union collects the elements that lie in at least one of the two sets, so it contains coming from and coming from ; the element appears only once, because repetitions do not count in a set. The intersection collects the common elements, and the only number that belongs both to and to is . The difference contains the elements of that are not in , that is and ; the difference contains only the elements of outside , that is : the two differences are different, because the order of the sets matters. The Cartesian product is the set of ordered pairs with first component in and second component in : since has elements and has , there are pairs.
Exercise 2
Given the intervals and , determine , , and the complement with respect to .
The two intervals overlap in the region between and , so the union is a single interval that goes from the left endpoint of to the right endpoint of : the point is included because it belongs to , the point is included because it belongs to . The intersection is the common region: a point lies in both sets when it is greater than , by the condition of , and less than , by the condition of ; the endpoints and are excluded because and . The difference contains the points of that are not in , that is the points of with : the point belongs to it, since and . The complement of contains the reals less than , an endpoint included in and therefore excluded from the complement, and the reals from onward, since .
Exercise 3
Given and , determine , and .
Before operating it is convenient to write the two sets as intervals. The inequality is equivalent to , that is to , so is the closed interval ; the set is the open half-line .
The intersection is the set of points that satisfy both conditions and , that is : the point is included because it belongs both to and to , while is excluded because . Since the two sets overlap, the union is a single set that starts from , included, and is not bounded above, since contains all the reals greater than . The difference contains the points of outside , that is the reals with and : the more restrictive condition is , and the endpoint is excluded because .