Free independence

In the mathematical theory of free probability, the notion of free independence was introduced by Dan Voiculescu. The definition of free independence is parallel to the classical definition of independence, except that the role of Cartesian products of measure spaces (corresponding to tensor products of their function algebras) is played by the notion of a free product of (non-commutative) probability spaces.

In the context of Voiculescu's free probability theory, many classical-probability theorems or phenomena have free probability analogs: the same theorem or phenomenon holds (perhaps with slight modifications) if the classical notion of independence is replaced by free independence. Examples of this include: the free central limit theorem; notions of free convolution; existence of free stochastic calculus and so on.

Let ${\displaystyle (A,\phi )}$ be a non-commutative probability space, i.e. a unital algebra ${\displaystyle A}$ over ${\displaystyle \mathbb {C} }$ equipped with a unital linear functional ${\displaystyle \phi :A\to \mathbb {C} }$. As an example, one could take, for a probability measure ${\displaystyle \mu }$,

...
Wikipedia