Pr-1st-1.1-m07-Slajd05

Konfiguracja spójna (1)

Konfigurację $\mathrm{\Gamma }$ nazwiemy konfiguracją spójną lub obrazem spójnym jeżeli $\mathrm{\forall }E\mathrm{\forall }{E}^{\prime }$ zachodzi:

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

Warunek ten oznacza, że jeśli jakieś zdarzenie $E^{\prime }$ jest elementem konfiguracji spójnej $\mathrm{\Gamma }$ (to znaczy, jeżeli $E^{\prime }\in \mathrm{\Gamma }$), to również wszystkie zdarzenia $E$ , od których $E^{\prime }$ przyczynowo zależy (czyli $E\mapsto E^{\prime }$) również są elementami tej konfiguracji spójnej.

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