Difference between revisions of "Probability"

(Expanded, mentioned measure-theory, provided example, added to mathematics category)
m
Line 10: Line 10:
 
The foundations of probability reside in an area of [[analysis]] known as [[measure theory]]. Measure theory in general deals with [[integral|integration]], in particular, how to define and extend the notion of "area" or "volume." Intuitively, therefore, probability could be said to consider how much "volume" an event takes up in a space of outcomes.
 
The foundations of probability reside in an area of [[analysis]] known as [[measure theory]]. Measure theory in general deals with [[integral|integration]], in particular, how to define and extend the notion of "area" or "volume." Intuitively, therefore, probability could be said to consider how much "volume" an event takes up in a space of outcomes.
  
In the language of measure theory, probability is formally defined as a triple known as a [[measure space]], denoted <math>(\Omega, \mathfrak{a}, \mathit{P})</math>. Here <math>\Omega</math> is a set called the sample space, and <math>\mathfrak{a}</math> is a class of events given by certain subsets of <math>\Omega</math>. <math>\mathfrak{a}</math> must satisfy certain properties (it must be a [[<math>\sigma</math>-algebra]]) to qualify as a class of events. Together, <math>\Omega</math> and <math>\mathfrak{a}</math> form what is known as a [[measurable space]], <math>(\Omega, \mathfrak{a}</math>. <math>\mathit{P}:\mathfrak{a}\to [0,1]</math> is an assignment with certain properties (it is a special kind of [[measure]]), called the probability function, or probability measure. It assigns a "volume" to each possible event.
+
In the language of measure theory, probability is formally defined as a triple known as a [[measure space]], denoted <math>(\Omega, \mathfrak{a}, \mathit{P})</math>. Here <math>\Omega</math> is a set called the sample space, and <math>\mathfrak{a}</math> is a class of events given by certain subsets of <math>\Omega</math>. <math>\mathfrak{a}</math> must satisfy certain properties (it must be a [[<math>\sigma</math>-algebra]]) to qualify as a class of events. Together, <math>\Omega</math> and <math>\mathfrak{a}</math> form what is known as a [[measurable space]], <math>(\Omega, \mathfrak{a})</math>. <math>\mathit{P}:\mathfrak{a}\to [0,1]</math> is an assignment with certain properties (it is a special kind of [[measure]]), called the probability function, or probability measure. It assigns a "volume" to each possible event.
  
 
As a simple example, consider a single coin-toss. In this case, <math>\Omega = \{H, T\}</math>, <math>\mathfrak{a} = \{\emptyset, \{H\}, \{T\}, \{H, T\}\}</math>, and <math>\mathit{P}</math> assigns the following probabilities to events in <math>\mathfrak{a}</math>:
 
As a simple example, consider a single coin-toss. In this case, <math>\Omega = \{H, T\}</math>, <math>\mathfrak{a} = \{\emptyset, \{H\}, \{T\}, \{H, T\}\}</math>, and <math>\mathit{P}</math> assigns the following probabilities to events in <math>\mathfrak{a}</math>:

Revision as of 21:57, 13 June 2008

Probability is traditionally considered one of the most difficult areas of mathematics, since probabilistic arguments often come up with apparently paradoxical or counterintuitive results. Examples include the Monty Haul paradox and the birthday problem. Probability can be loosely defined as the chance that an event will happen.


Introductory Probability

Before reading about the following topics, a student learning about probability should learn about introductory counting techniques.

Formal Definition of Probability

The foundations of probability reside in an area of analysis known as measure theory. Measure theory in general deals with integration, in particular, how to define and extend the notion of "area" or "volume." Intuitively, therefore, probability could be said to consider how much "volume" an event takes up in a space of outcomes.

In the language of measure theory, probability is formally defined as a triple known as a measure space, denoted $(\Omega, \mathfrak{a}, \mathit{P})$. Here $\Omega$ is a set called the sample space, and $\mathfrak{a}$ is a class of events given by certain subsets of $\Omega$. $\mathfrak{a}$ must satisfy certain properties (it must be a [[$\sigma$-algebra]]) to qualify as a class of events. Together, $\Omega$ and $\mathfrak{a}$ form what is known as a measurable space, $(\Omega, \mathfrak{a})$. $\mathit{P}:\mathfrak{a}\to [0,1]$ is an assignment with certain properties (it is a special kind of measure), called the probability function, or probability measure. It assigns a "volume" to each possible event.

As a simple example, consider a single coin-toss. In this case, $\Omega = \{H, T\}$, $\mathfrak{a} = \{\emptyset, \{H\}, \{T\}, \{H, T\}\}$, and $\mathit{P}$ assigns the following probabilities to events in $\mathfrak{a}$: $\mathit{P}(\emptyset)=0$,

$\mathit{P}(\{H\})=0.5$,

$\mathit{P}(\{T\})=0.5$,

$\mathit{P}(\{H, T\})=1$.

Measure theory does assume considerable mathematical maturity, so it is usually ignored until one reaches an advanced undergraduate level. Once measure theory is covered, however, probability becomes a lot easier to deal with.


Types of Probability

Part of a comprehensive understanding of basic probability includes an understanding of the differences between different kinds of probability problems.

Important subdivisions of probability include

Example Problems

Introductory

Intermediate

Resources