From 1746e31ac915adc95380da758c32aae53901e6c0 Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Mon, 20 Feb 2017 14:48:52 +0100
Subject: Add definition of affine and convex combinations, convex sets and
 affine functions.

---
 notes-mitro206.tex | 36 ++++++++++++++++++++++++++++++++++++
 1 file changed, 36 insertions(+)

diff --git a/notes-mitro206.tex b/notes-mitro206.tex
index a744989..d648151 100644
--- a/notes-mitro206.tex
+++ b/notes-mitro206.tex
@@ -1020,6 +1020,42 @@ surréels de Conway.
 
 \section{Jeux en forme normale}\label{section-games-in-normal-form}
 
+\setcounter{comcnt}{0}
+
+\thingy Pour cette section, on rappelle les définitions suivants : une
+\index{affine (combinaison)|see{combinaison affine}}\defin{combinaison
+  affine} ou \index{barycentrique (combinaison)|see{combinaison
+    barycentrique}}\defin{combinaison barycentrique} d'éléments
+$x_1,\ldots,x_m \in \mathbb{R}^n$ est une expression de la forme
+$\sum_{i=1}^m \lambda_i x_i \in \mathbb{R}^n$ où
+$\lambda_1,\ldots,\lambda_m$ vérifient $\sum_{i=1}^m \lambda_i = 1$
+(on peut donc, si on préfère, la définir comme une expression de la
+forme $\frac{\sum_{i=1}^m \lambda_i x_i}{\sum_{i=1}^m \lambda_i}$ où
+$\lambda_1,\ldots,\lambda_m$ vérifient $\sum_{i=1}^m \lambda_i \neq
+0$ : on parle alors de \defin{barycentre} de $x_1,\ldots,x_m$ affecté
+des coefficients $\lambda_1,\ldots,\lambda_m$).
+
+Une \index{convexe (combinaison)|see{combinaison
+    convexe}}\defin{combinaison convexe} est une combinaison affine
+$\sum_{i=1}^m \lambda_i x_i$ où $\lambda_1,\ldots,\lambda_m$ sont
+\emph{positifs} ($\lambda_1,\ldots,\lambda_m \geq 0$) et vérifient
+$\sum_{i=1}^m \lambda_i = 1$, autrement dit, c'est un barycentre
+affecté de coefficients positifs (non tous nuls).
+
+Un \defin{convexe} de $\mathbb{R}^m$ est une partie stable par
+combinaisons convexes (c'est-à-dire que $C$ est dit convexe lorsque si
+$x_1,\ldots,x_m \in C$ et $\lambda_1,\ldots\lambda_m\geq 0$ vérifient
+$\sum_{i=1}^m \lambda_i = 1$ alors $\sum_{i=1}^m \lambda_i x_i \in
+C$).
+
+Une \index{affine (application)}\textbf{application affine} $u\colon
+\mathbb{R}^p \to \mathbb{R}^q$ est une fonction qui préserve les
+combinaisons affines (autrement dit, si $\sum_{i=1}^m \lambda_i = 1$
+alors $u\Big(\sum_{i=1}^m \lambda_i x_i\Big) = \sum_{i=1}^m \lambda_i
+u(x_i)$).  Il revient au même de dire que $u$ est la somme d'une
+constante (dans $\mathbb{R}^q$) et d'une application linéaire
+$\mathbb{R}^p \to \mathbb{R}^q$.
+
 \subsection{Généralités}
 
 \begin{defn}\label{definition-game-in-normal-form}
-- 
cgit v1.2.3