FiniteProbabilitySpace
FiniteProbabilitySpace represents a finite sample space with an explicit probability mass function and provides the main finite conditional-expectation operations.
Constructor
FiniteProbabilitySpace(outcomes, probabilities)
Parameters
| Parameter |
Description |
outcomes |
Finite set/ordered collection of outcomes. |
probabilities |
Probability assigned to each outcome. |
Properties
| Property |
Meaning |
outcomes |
Ordered outcomes of the sample space. |
probabilities |
Validated probability masses. |
n_outcomes |
Number of outcomes. |
Methods
probability(event) / probability_of(event) — probability of an event.
random_variable(values, name=None) — create a RandomVariable on the space.
partition(blocks) — create a validated Partition.
conditional_probability_given_event(event, condition) — conditional probability given an event.
conditional_expectation_given_event(random_variable, event) — conditional expectation given an event.
conditional_expectation(random_variable, partition) — conditional expectation with respect to a partition.
conditional_expectation_given(random_variable, condition) — conditional expectation under a supported finite conditioning object.
conditional_probability(event, condition) — probability conditioned on a finite conditioning object.
are_partitions_independent(first, second) — test independence of two partitions.
are_independent(first, second) — test independence of supported random variables/partitions.
conditional_characterization_error(random_variable, partition) — finite conditional-expectation characterization error.
total_expectation(random_variable, partition) — law of total expectation.
tower(random_variable, fine, coarse) — tower property.
pull_out(multiplier, random_variable, partition) — pull-out property under the implemented finite conditions.
conditional_variance(random_variable, partition) — conditional variance.
conditional_covariance(first, second, partition) — conditional covariance.
total_variance(random_variable, partition) — law of total variance.
total_covariance(first, second, partition) — law of total covariance.
l2_projection(random_variable, partition) — finite \(L^2\) projection on the conditioning partition.
Example
from stochx.stochastic import FiniteProbabilitySpace
space = FiniteProbabilitySpace(
outcomes=["H", "T"],
probabilities=[0.6, 0.4],
)
X = space.random_variable({"H": 1.0, "T": 0.0}, name="X")
print(space.probability_of({"H"}))
print(X.expected_value())
Chapter 4 — Espérance conditionnelle