Alignements avec mapsto

Bonjour à tous,
voyez-vous un moyen simple (svp !) pour rendre cette présentation plus esthétique ?
\begin{equation*}
\theta\colon

\begin{aligned}
\mu_n(k)&&\longrightarrow & \mu_m(k)\\
\zeta&&\longmapsto & \zeta+\mathfrak{m}_{R}
\end{aligned}

\end{equation*}
Pourquoi les signes à gauche sont-ils si éloignés des flèches ?
...

Réponses

  • Salut df
    J'utilise ça : $$
    \begin{array}{l|rcll}
    X : & \text{Ring} & \longmapsto & \text{Ens} \\
    & R & \longmapsto & \frac{\mathbb{A}^2(R)}{\mu_2(R)} \\
    \end{array}
    $$ Je trouve que c'est joli !
  • Super ! Merci Goleon.
    ...
  • Moui... array, n'est pas terrible pour respecter les espaces dans les formules (sauf à trafiquer). Je propose ceci :
    \documentclass{article}
    \usepackage{amsmath}
    \usepackage{amsfonts}
    
    \begin{document}
    \begin{align*}
      \theta \colon \mu_n(k) & \longrightarrow \mu_m(k) \\
                       \zeta & \longmapsto \zeta + \mathfrak{m}_{R}
      \end{align*}
    \end{document}
    
    95914
  • Merci Brian !
    Je vais essayer ça :
    \begin{align*}
    \theta\:\: \colon \mu_m(\mathbb{K}) &\longrightarrow \mu_m(k)\\
    \zeta &\longmapsto \zeta+\mathfrak{m}_{R}.
    \end{align*} ...
  • NB. Certains éditeurs préfèrent centrer les éléments dans les colonnes plutôt que coller au plus près de la flèche.
  • Ah, quelle idée... Bon, je vois deux possibilités pour bien gérer l'espacement. Elles donnent exactement le même rendu, à part les espacements verticaux avant et après le tout (rendu en attachement ; voir ci-dessous pour égaliser les espacements verticaux).

    Avec array :
    \documentclass{article}
    \usepackage{amsmath}
    \usepackage{amsfonts}
    
    \begin{document}
    
    \[
      \setlength{\arraycolsep}{0pt}
      \begin{array}{rclc}
      \theta \colon {} & \mu_n(k) & {} \longrightarrow {} & \mu_m(k) \\[\jot]
                       & \zeta    & {} \longmapsto     {} & \zeta + \mathfrak{m}_{R}
      \end{array}
    \]
    
    \end{document}
    
    (édité : utilisation de \setlength{\arraycolsep}{0pt} pour s'éviter le vilain préambule '@{}r@{}c@{}l@{}c@{}').

    Avec eqparbox (nécessite deux compilations) :
    \documentclass{article}
    \usepackage{amsmath}
    \usepackage{amsfonts}
    \usepackage{eqparbox}
    
    \begin{document}
    
    \begin{align*}
    \theta \colon \eqmakebox[a]{$\mu_n(k)$} & \longrightarrow \eqmakebox[ b]{$\mu_m(k)$} \\
                  \eqmakebox[a]{$\zeta$}    & \longmapsto     \eqmakebox[ b]{$\zeta + \mathfrak{m}_{R}$}
    \end{align*}
    
    \end{document}
    

    NB : pour avoir le même résultat en tout point (y compris espacements verticaux avant et après), il suffit, sauf erreur, de mettre ceci dans la version avec eqparbox :
    \[
    \begin{aligned}
    \theta \colon \eqmakebox[a]{$\mu_n(k)$} & \longrightarrow \eqmakebox[ b]{$\mu_m(k)$} \\
                  \eqmakebox[a]{$\zeta$}    & \longmapsto     \eqmakebox[ b]{$\zeta + \mathfrak{m}_{R}$}
    \end{aligned}
    \]
    

    Pour le logiciel du forum, qui est basé sur MathJax, je crois qu'il faut se contenter de :
    \[
      \begin{array}{rclc}
      \theta \colon {} & \mu_n(k) & {} \longrightarrow {} & \mu_m(k) \\
                       & \zeta    & {} \longmapsto     {} & \zeta + \mathfrak{m}_{R}
      \end{array}
    \]
    
    ... ce qui ne donne pas vraiment les bons espacements :
    \[
    \begin{array}{rclc}
    \theta \colon {} & \mu_n(k) & {} \longrightarrow {} & \mu_m(k) \\
    & \zeta & {} \longmapsto {} & \zeta + \mathfrak{m}_{R}
    \end{array}
    \]95916
  • Brian: j'ai écrit ta dernière suggestion et, faute d'avoir "compilé" ou utilisé le bon "package", j'ai obtenu ça:
    (J'y connais pas grand chose en TeX...)

    \[
    \begin{aligned}
    \theta \colon \eqmakebox[a]{$\mu_n(k)$} & \longrightarrow \eqmakebox[ b]{$\mu_m(k)$} \\
    \eqmakebox[a]{$\zeta$} & \longmapsto \eqmakebox[ b]{$\zeta + \mathfrak{m}_{R}$}
    \end{aligned}
    \]
    ...
  • Alors du coup j'ai supprimé "eqmakebox" et j'ai obtenu ça : \[
    \begin{aligned}
    \theta \colon \mu_n(k) & \longrightarrow \mu_m(k) \\
    \zeta & \longmapsto \zeta + \mathfrak{m}_{R}
    \end{aligned}
    \] Ce qui suffira largement à mon bonheur !
    Je constate qu'écrire (de manière présentable !) une simple notation de collégien : fonction de X dans Y qui à x associe f(x) est particulièrement compliqué en LaTeX !
    ...
  • \begin{equation}
    \theta \ \colon
    \begin{aligned}
    \mu_n(k) & \longrightarrow \mu_m(k) \\
    \zeta & \longmapsto \zeta + \mathfrak{m}_{R}
    \end{aligned}
    \end{equation} voire \begin{equation}
    \theta\ \colon
    \left\{\begin{aligned}
    \mu_n(k) & \longrightarrow \mu_m(k) \\
    \zeta & \longmapsto \zeta + \mathfrak{m}_{R}
    \end{aligned}\right.
    \end{equation} avec le package amsmath et l'environnement aligned.
  • @df
    Le logiciel du forum n'utilise pas LaTeX. J'étais justement en train de mettre à jour mon message à propos de ça, notamment ; tu peux donc le relire. Pour simplifier, on peut faire une macro :
    \[ \newcommand{\appli}[5]{%
    \begin{array}{rclc}
    {#1}\ \colon {} & #2 & {} \longrightarrow {} & #3 \\
    & #4 & {} \longmapsto {} & #5
    \end{array}
    }
    \appli{\theta}{\mu_n(k)}{\mu_m(k)}{\zeta}{\zeta + \mathfrak{m}_{R}}
    \] Ensuite, on peut réutiliser cette définition de macro pour d'autres applications (tu peux même utiliser mon \appli dans ce fil maintenant que je l'ai définie...) : \[
    \appli{f}{{\R}^2}{\R}{(x,y)}{\sqrt{x^2 + y^2}} \] etc.

    P. S. : je ne crois pas que cette notation soit beaucoup employée au collège, cf. le récent fil sur la définition de fonction au collège. :-D
Connectez-vous ou Inscrivez-vous pour répondre.