Felicitaciones Sebastián por tu entrada al maravilloso mundo LaTeX.
Una de las características de LaTeX es que te obliga desde todos los
ángulos posibles a darle estructura a lo que estás escribiendo. Claro
que si lo que uno escribe no tiene estructura no hay LaTeX que lo
salve. Como LaTeX, y su padre el TeX, es diseñado por matemáticos ya
toma en cuenta todas las estructuras matemáticas posibles, en
particular las más comunes: las ecuaciones. Te sugiero estudies el
documento LaTeX Companion - Higher Mathematics.pdf, archivo que Juan
Carlos subió a este grupo, en particular la sección
8.5 Alignment Structures for Equations
The amsmath package defines several environments for creating
multiline display equations. They perform similarly to LATEX's
equation and eqnarray environments.
The following structures are discussed in the next sections.
En esa sección se describen las estructuras
align align* alignment at a single place
flalign flalign* spaced-out variants of the above
alignat alignat* alignment with space control
equation equation* one-line formula
gather gather* combining formula without alignment
multline multline* multiline equation (one equation number)
split splitting long formulas
con las cuales tienes los ambientes que cubrirán tus necesidades de
escritura de "ecuaciones".
Como ejercicio, cambia
\begin{itemize}
\item (M1) (No Negatividad) $d(x,y)=0$
\item (M2) (Unicidad) $d(x,y)=0 \iff x=y$
\item (M3) (Simetría) $d(x,y)=d(y,x)$
\item (M4) (Desigualdad Triangular) $d(x,z)\leq d(x,y) + d(y,z)$
\end{itemize}
y
\begin{itemize}
\item $d_1(x,y) = \displaystyle\sum_{k=1}^n|x_k-y_k|$
\item $d_2(x,y) = \sqrt{\displaystyle \sum_{k=1}^n{|x_k-y_k|^2}}$
\end{itemize}
a la estructura de LaTeX para ecuación la cual sea la más
conveniente.
Saludos,
Fabián Barba