Estou lendo "Causalidade" da Judea Pearl (segunda edição 2009) e na seção 1.1.5 Independência Condicional e Grapóides, ele afirma:
A seguir, é apresentada uma lista (parcial) de propriedades satisfeitas pela relação de independência condicional (X_ || _Y | Z).
- Simetria: (X_ || _ Y | Z) ==> (Y_ || _X | Z).
- Decomposição: (X_ || _ YW | Z) ==> (X_ || _Y | Z).
- União fraca: (X_ || _ YW | Z) ==> (X_ || _Y | ZW).
- Contração: (X_ || _ Y | Z) & (X_ || _ W | ZY) ==> (X_ || _ YW | Z).
- Interseção: (X_ || _ W | ZY) & (X_ || _ Y | ZW) (X_ || _ YW | Z).
(A interseção é válida em distribuições de probabilidade estritamente positivas .)
(fórmula (1.28) dada anteriormente na publicação: [(X_ || _ Y | Z) se P (X | Y, Z) = P (X | Z))
Mas o que é uma "distribuição estritamente positiva" em termos gerais, e o que distingue uma "distribuição estritamente positiva" de uma distribuição que não é estritamente positiva?