Event (probability theory)

In probability theory, an event is a set of outcomes of an experiment (a subset of the sample space) to which a probability is assigned.[1] A single outcome may be an element of many different events,[2] and different events in an experiment are usually not equally likely, since they may include very different groups of outcomes.[3] An event defines a complementary event, namely the complementary set (the event not occurring), and together these define a Bernoulli trial: did the event occur or not?

Typically, when the sample space is finite, any subset of the sample space is an event (i.e. all elements of the power set of the sample space are defined as events). However, this approach does not work well in cases where the sample space is uncountably infinite, most notably when the outcome is a real number. So, when defining a probability space it is possible, and often necessary, to exclude certain subsets of the sample space from being events (see Events in probability spaces, below).

A simple example

If we assemble a deck of 52 playing cards with no jokers, and draw a single card from the deck, then the sample space is a 52-element set, as each card is a possible outcome. An event, however, is any subset of the sample space, including any singleton set (an elementary event), the empty set (an impossible event, with probability zero) and the sample space itself (a certain event, with probability one). Other events are proper subsets of the sample space that contain multiple elements. So, for example, potential events include:

A Venn diagram of an event. B is the sample space and A is an event.
By the ratio of their areas, the probability of A is approximately 0.4.

Since all events are sets, they are usually written as sets (e.g. {1, 2, 3}), and represented graphically using Venn diagrams. Given that each outcome in the sample space Ω is equally likely, the probability P of an event A is the following formula:

\mathrm{P}(A) = \frac{|A|}{|\Omega|}\,\ \left( \text{alternatively:}\ \Pr(A) = \frac{|A|}{|\Omega|}\right)

This rule can readily be applied to each of the example events above.

Events in probability spaces

Defining all subsets of the sample space as events works well when there are only finitely many outcomes, but gives rise to problems when the sample space is infinite. For many standard probability distributions, such as the normal distribution, the sample space is the set of real numbers or some subset of the real numbers. Attempts to define probabilities for all subsets of the real numbers run into difficulties when one considers 'badly behaved' sets, such as those that are nonmeasurable. Hence, it is necessary to restrict attention to a more limited family of subsets. For the standard tools of probability theory, such as joint and conditional probabilities, to work, it is necessary to use a σ-algebra, that is, a family closed under complementation and countable unions of its members. The most natural choice is the Borel measurable set derived from unions and intersections of intervals. However, the larger class of Lebesgue measurable sets proves more useful in practice.

In the general measure-theoretic description of probability spaces, an event may be defined as an element of a selected σ-algebra of subsets of the sample space. Under this definition, any subset of the sample space that is not an element of the σ-algebra is not an event, and does not have a probability. With a reasonable specification of the probability space, however, all events of interest are elements of the σ-algebra.

A note on notation

Even though events are subsets of some sample space Ω, they are often written as propositional formulas involving random variables. For example, if X is a real-valued random variable defined on the sample space Ω, the event

\{\omega\in\Omega \mid u < X(\omega) \leq v\}\,

can be written more conveniently as, simply,

u < X \leq v\,.

This is especially common in formulas for a probability, such as

\Pr(u < X \leq v) = F(v)-F(u)\,.

The set u < Xv is an example of an inverse image under the mapping X because \omega \in X^{-1}((u, v]) if and only if u < X(\omega) \leq v.

See also

Notes

  1. Leon-Garcia, Alberto (2008). Probability, Statistics and Random Processes for Electrical Engineering. Upper Saddle River, NJ: Pearson.
  2. Pfeiffer, Paul E. (1978). Concepts of probability theory. Dover Publications. p. 18. ISBN 978-0-486-63677-1.
  3. Foerster, Paul A. (2006). Algebra and Trigonometry: Functions and Applications, Teacher's Edition (Classics ed.). Upper Saddle River, NJ: Prentice Hall. p. 634. ISBN 0-13-165711-9.

External links

This article is issued from Wikipedia - version of the Friday, January 22, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.