diff options
| author | David A. Madore <david+git@madore.org> | 2011-09-28 17:31:09 +0200 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2011-09-28 17:31:09 +0200 |
| commit | 78ff1da4ae114bd54763eb0faa054dc7c5be59d8 (patch) | |
| tree | f710f72a125aafae7a5fd2dcd7b1762c78611553 | |
| parent | 21bd01d5abb493044b51eb66c9ac21555a5af691 (diff) | |
| download | infmdi720-78ff1da4ae114bd54763eb0faa054dc7c5be59d8.tar.gz infmdi720-78ff1da4ae114bd54763eb0faa054dc7c5be59d8.tar.bz2 infmdi720-78ff1da4ae114bd54763eb0faa054dc7c5be59d8.zip | |
Fix a stupid thinko.upload-20111005
| -rw-r--r-- | rappels-maths.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/rappels-maths.tex b/rappels-maths.tex index 15c307f..50168cf 100644 --- a/rappels-maths.tex +++ b/rappels-maths.tex @@ -545,10 +545,10 @@ d'équivalence $\pi(x) = \bar x$. Ainsi : $\pi(x) = \pi(x')$ ssi $x $\sim$ en une vraie égalité.) Si on a sur $E$ une opération binaire, disons, $\tee$, telle que $x -\sim x'$ et $y \sim y'$ impliquent $(x\tee x') \sim (y\tee y')$ (on +\sim x'$ et $y \sim y'$ impliquent $(x\tee y) \sim (x'\tee y')$ (on dit que $\sim$ est \emph{compatible} avec l'opération $\tee$), alors on peut définir une opération binaire $\mathbin{\bar\top}$ sur -$E/{\sim}$ par $\pi(x) \mathbin{\bar\top} \pi(x') = \pi(x\tee x')$. +$E/{\sim}$ par $\pi(x) \mathbin{\bar\top} \pi(y) = \pi(x\tee y)$. L'application $\pi\colon E \to (E/{\sim})$ préserve alors l'opération $\tee$ et on dit qu'il s'agit d'un \emph{morphisme} (d'ensembles munis |