Classes de Thom-Boardman - Définition

Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.

Classes ΣI (Boardman, 1967)

On doit à Boardman une extension intéressante des classes ΣI(f). Ces classes, notées ΣI, où I=(i_1,\cdots,i_k) sont définies indépendamment de toute fonction f. Ce sont des sous-ensembles de l'espace des jets Jk(M,N) que nous n'expliciterons pas ici. Le rapport entre les deux définitions des classes s'exprime par ΣI(f) = jk(f) − 1I), où jk(f) désigne l'extension à k-jet de f. La relation exige pour être vraie certaines conditions de transversalité.

Codimension de ΣI

La codimension νI(m,n) de ΣI, où I=(i_1,\cdots,i_k) , est donnée par la formule de Boardman:

 \nu_I(m,n) =  (n-m+i_1)\mu(i_1,i_2,\cdots, i_k)     -(i_1-i_2)\mu(i_2,i_3,\cdots, i_k)  -  \cdots -(i _{k-1}-i_k)\mu(i_k)  .

\mu(i_1,i_2,\cdots, i_k) est le nombre de suites j_1,j_2,\cdots, j_k d'entiers vérifiant les conditions: a) j_1 \geq j_2 \cdots \geq j_k ; b) i_r \geq j_r\geq 0 pour tout r tel que 1 \leq r \leq k , avec j1 > 0.

Tableau des classes pour les petites dimensions

On donne ici les classes non vides pour les petites valeurs de m = dimM et n = dimN. Pour chaque classe, on écrit entre crochets sa codimension et sa dimension: ΣI[ν,m − ν]. On note Reg l'ensemble des points réguliers: Reg= M \setminus \Sigma .   \begin{array}{|c|l|l|l|}  \hline          &                                 &                                  &    \Sigma^0 [0,3]= \mathrm{Reg}    \\ n=3     &   \Sigma^0 [0,1]= \mathrm{Reg}  &     \Sigma^0 [0,2]= \mathrm{Reg} &    \Sigma^{1,0}[1,2]             \\         &                                 &     \Sigma^{1}[2,0]              &    \Sigma^{1,1,0}[2,1]     \\         &                                 &                                  &    \Sigma^{1,1,1}[3,0]    \\ \hline          &                                 &      \Sigma^0 [0,2]= \mathrm{Reg} &   \Sigma^1 [0,3]= \mathrm{Reg}   \\ n=2     &  \Sigma^0 [0,1]= \mathrm{Reg}   &      \Sigma^{1,0}[1,1]            &   \Sigma^{2,0} [2,1]   \\         &                                 &      \Sigma^{1,1}[2,0]            &    \Sigma^{2,1} [3,0]     \\ \hline  n=1     &\Sigma^0[0,1]=\mathrm{Reg}     & \Sigma^1[0,2] = \mathrm{Reg}        & \Sigma^2[0,3] = \mathrm{Reg}   \\         & \Sigma^1[1,0]                 &  \Sigma^2[2,0]                      & \Sigma^3[3,0]  \\ \hline     & m=1  & m=2         &m=3 \\    \hline \end{array}

Page générée en 0.099 seconde(s) - site hébergé chez Contabo
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
A propos - Informations légales
Version anglaise | Version allemande | Version espagnole | Version portugaise