СКАЧАТЬ
target="_blank" rel="nofollow" href="#fb3_img_img_a5fc41f7-16be-5a60-b8bb-66894a33e573.png" alt="images"/> and are two empty sets. To prove that they are equal, one needs to prove that and . Formally, the first inclusion is the implication: “if belongs to , then belongs to .” This implication is true, because its premise is false: there is no that belongs to . The same holds for the second implication, so .
We now give the definitions of three principal operations on events: complementation, union, and intersection.
Definition 1.3.4 The set that contains all sample points that are not in the event will be called the complement of and denoted , to be read also as “not .”
Definition 1.3.5 The set that contains all sample points belonging either to or to (so possibly to both of them) is called the union of and and denoted , to be read as “ or .”
Definition 1.3.6 The set that contains all sample points belonging to both and is called the intersection of and and denoted .
An alternative notation for a complement is or , whereas in the case of an intersection, one often writes instead of .
The operations above have the following interpretations in terms of occurrences of events:
1 Event occurs if event does not occur.
2 Event occurs when either or or both events occur.
Consider an experiment of tossing a coin three times, with the sample space consisting of outcomes described as HHH, HHT, and so on. Let and be the events “heads and tails alternate” and “heads on the last toss,” respectively. The event occurs if either heads or tails occur at least twice in a row so that , while is “tails on the last toss,” hence, . The union is the event “either the results alternate or it is heads on the last toss,” meaning . Observe that while has two outcomes and has four outcomes, their union has only five outcomes, since the outcome HTH appears in both events. This common part is the intersection .
Some formulas can be simplified by introducing the operation of the difference of two events.
Definition 1.3.7 The difference, of events and contains all sample points that belong to but not to
The symmetric difference, , contains sample points that belong to or to , but not to both of them: