diff options
| author | David A. Madore <david+git@madore.org> | 2016-01-29 17:36:48 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2016-01-29 17:36:48 +0100 |
| commit | 559b315601706e53091bd6bed8ec9a75230e8b33 (patch) | |
| tree | 0ecc08370b7b1ea3f066ed8e360ff96c0c59f9fb /notes-mitro206.tex | |
| parent | 67737a3b5277d19f263d8e1cf3b417886fbc66a0 (diff) | |
| download | mitro206-559b315601706e53091bd6bed8ec9a75230e8b33.tar.gz mitro206-559b315601706e53091bd6bed8ec9a75230e8b33.tar.bz2 mitro206-559b315601706e53091bd6bed8ec9a75230e8b33.zip | |
Fix missing condition.
Diffstat (limited to 'notes-mitro206.tex')
| -rw-r--r-- | notes-mitro206.tex | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/notes-mitro206.tex b/notes-mitro206.tex index d7d7d56..3effa67 100644 --- a/notes-mitro206.tex +++ b/notes-mitro206.tex @@ -1188,9 +1188,10 @@ de $x$ vers $Z$ (autrement dit, $\mathscr{F}$ est $\bigcup_{x \in G} \bigcup_{D \subseteq \outnb(x)} \big(\{x\}\times Z^D\big)$). Soit enfin $\Phi\colon \mathscr{F} \dasharrow Z$ une fonction partielle cohérente en la deuxième variable, c'est-à-dire telle que $\Phi(x,f) = -\Phi(x,g)$ dès que $f \supseteq g$. Alors il existe une plus petite -(au sens du prolongement) fonction partielle $f\colon G \dasharrow Z$ -telle que pour tout $x \in G$ on ait +\Phi(x,g)$ dès que $f \supseteq g$ et que $\Phi(x,g)$ est définie. +Alors il existe une plus petite (au sens du prolongement) fonction +partielle $f\colon G \dasharrow Z$ telle que pour tout $x \in G$ on +ait \[ f(x) = \Phi(x,\, f|_{\outnb(x)}) \] |