Pr-1st-1.1-m07-Slajd09

Odcięcie spójne (1)

Odcięcie $\mathrm{\Psi }$ zbioru zdarzeń $\mathrm{\Lambda }$' nazwiemy odcięciem spójnym, gdy:

$(E^{\prime }\in \mathrm{\Psi }\wedge E\mapsto E^{\prime })\Rightarrow (E\in \mathrm{\Psi })$

Definicja ta mówi, że jeżeli jakieś zdarzenie $E^{\prime }$' należy do odcięcia, to także wszystkie zdarzenia $E$ od których $E^{\prime }$ jest zależne przyczynowo, należą do tego odcięcia.

Na rysunku widzimy dwa odcięcia spójne, ${\mathrm{\Psi }}_1$ oraz ${\mathrm{\Psi }}_2$. Pierwsze z nich obejmuje dwa zdarzenia $E_1^1$ oraz $E_2^1$. Reprezentuje ono konfigurację, w której wiadomość $M1$ jest w kanale. Drugie jest późniejsze od ${\mathrm{\Psi }}_1$ (${\mathrm{\Psi }}_1\subseteq {\mathrm{\Psi }}_2$ – wszystkie zdarzenia należące do ${\mathrm{\Psi }}_1$ należą także do ${\mathrm{\Psi }}_2$) i obejmuje dodatkowo zdarzenia $E_1^2,E_1^3,E_2^2,E_2^3,E_2^4,E_3^1$ oraz $E_3^2$. Odcięcie to reprezentuje sytuację, w której wszystkie kanały są puste. Gdyby odcięcie ${\mathrm{\Psi }}_1$ obejmowało dodatkowo zdarzenie $E_2^2$, nie byłoby odcięciem spójnym, gdyż istniałoby takie zdarzenie ($E_3^1$ ), od którego $E_2^2$ byłoby przyczynowe zależne, które równocześnie nie należałoby do odcięcia ${\mathrm{\Psi }}_1$

Natomiast rozszerzenie ${\mathrm{\Psi }}_1$ o zdarzenie $E_3^1$ również byłoby odcięciem spójnym.

<< Poprzedni slajd | Spis treści | Następny slajd >>