Pr-1st-1.1-m07-Slajd08

Linia odcięcia

Oznaczmy przez ${\sigma }_1^{k_1},{\sigma }_2^{k_2},\dots ,{\sigma }_n^{k_n}$ ciąg wybranych punktów (zdarzeń pozornych) odcinków czasu odpowiadających stanom $S_1^{k1},S_2^{k2},\dots ,S_n^{kn}$ poszczególnych procesów zaznaczonych na pewnym diagramie przestrzenno-czasowym. Linię łamaną łączącą punkty ${\sigma }_1^{k_1},{\sigma }_2^{k_2},\dots ,{\sigma }_n^{k_n}$ nazywać będziemy linią odcięcia (lub linią obcięcia). Linia odcięcia dzieli zbiór zdarzeń na przeszłość (te zdarzenia, które zaszły przed linią odcięcia) i przyszłość (te zdarzenia, które zaszły po linii odcięcia).

Odcięciem $\mathrm{\Psi }$ (albo: obcięciem) zbioru zdarzeń $\mathrm{\Lambda }$' nazwiemy skończony zbiór $\mathrm{\Psi }\subseteq \mathrm{\Lambda }$, taki że:

$(E^{\prime }\in \mathrm{\Psi }\wedge E{\mapsto }_i{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$ które są lokalnie poprzedzane przez $E^{\prime }$ należą do tego odcięcia.

Powiemy, że odcięcie ${\mathrm{\Psi }}_2$ jest późniejsze od odcięcia ${\mathrm{\Psi }}_1$, jeżeli ${\mathrm{\Psi }}_1\subseteq {\mathrm{\Psi }}_2$. Oznacza to, że odcięcie ${\mathrm{\Psi }}_2$ nie zawiera żadnego takiego zdarzenia $E^{\prime }$' nie należącego do ${\mathrm{\Psi }}_1$, które by lokalnie poprzedzało jakiekolwiek zdarzenie $E$ znajdujące się w odcięciu ${\mathrm{\Psi }}_1$.

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