Composicion de Textos Cientificos

5 Matem
aticas con LATEX
83
Captulo 5
Matem
aticas con LATEX
La composicion de textos matematicos es una tarea extremadamente difcil, en relaci
on con la
composicion de textos en general. La notaci
on matematica se caracteriza por el uso de gran
variedad de smbolos (letras romanas, griegas, hebreas, goticas, caligr
acas, etc.) y las expresiones matematicas suelen incluir subndices y superndices, fracciones, delimitadores (parentesis,
corchetes, llaves, llaves angulares, barras verticales, etc.), smbolos de operaci
on (suma, producto, uni
on, interseccion, integral, etc.), smbolos relacionales (igualdad, desigualdad, inclusi
on,
etc.), letras y subexpresiones con signos diacrticos, vectores, matrices, determinantes, etc.
La composicion de textos cientcos en general, sin embargo, conlleva muchos de los mismos
problemas que la composicion de textos matematicos, por el hecho que pr
acticamente todas las
disciplinas cientcas han ido incorporando durante su desarrollo, directamente o indirectamente, elementos de notacion matematica. De hecho, en muchos casos la notacion propia de una
disciplina cientca no es sino una forma particular de notaci
on matematica.
Los smbolos qumicos son un claro ejemplo: a causa de la variedad isotr
opica, de las diferentes formas alotropicas y de las diversas cargas electricas que pueden soportar, los smbolos de
los elementos se suelen especicar mediante una letra o una serie de letras pero conjuntamente
con subndices y superndices, dispuestos simetricamente en torno a las letras del smbolo, que
representan el n
umero at
omico (subndice izquierdo), el n
umero de masa (superndice izquierdo), el n
umero de atomos (subndice derecho) y la carga i
onica (superndice derecho), como por
2+
ejemplo 32
16 S2 para especicar el azufre.
Es precisamente en las tareas de composicion de textos cientcos que incluyen muchos
elementos de notacion matematica, donde el LATEX supera los programas de composicion visual.
La gran acogida de los sistemas TEX y LATEX por parte de profesores e investigadores de estas
areas lo demuestra.
5.1
Reglas b
asicas
El LATEX ofrece un modo especco para componer f

ormulas matematicas, el llamado modo
matem
atico. El modo matem
atico permite escribir expresiones matematicas tanto dentro de un
Los autores, 1999; Edicions UPC, 1999.
Composici
on de textos cientcos con LATEX
84
p
arrafo de texto como en un p
arrafo aparte, cosa que se suele llamar destacar o resaltar una
f
ormula.
Para componer una f
ormula en modo matem
atico dentro de un p
arrafo es preciso escribirla
entre los smbolos $ y $, o tambien entre dos smbolos $ o bien dentro de un entorno math.
Es decir, de cualquiera de las maneras siguientes:
$ f
ormula $
$ f
ormula $
\begin{math} f
ormula \end{math}
Una de las diferencias existentes entre el modo texto y el modo matematico es que el LATEX
ignora todos los espacios que hay en el original electr
onico cuando compone una f
ormula en
modo matem
atico, para obtener el espaciado correcto de las f
ormulas matematicas. Por lo
tanto, es preciso componer el texto en modo texto y las f
ormulas en modo matematico:
existenqyrtalesquea = bq + r
$existen q y r tales que a = b q + r$
existen q y r tales que a = bq + r

existen $q$ y $r$ tales que $a = b q + r$
Esta no es, sin embargo, la u

nica soluci
on posible. El LATEX tambien permite escribir texto
en modo matem
atico mediante las macros \textup, \textit, \textsl, \textsc, \textmd,
\textbf, \textrm, \textsf y \texttt, que componen su argumento en modo texto. Esto
resulta particularmente u
til cuando el texto que se quiere escribir en modo matem
atico es
breve. Es preciso notar, sin embargo, que el LATEX no ignora el espaciado del texto en este caso,
a pesar que ignora el espaciado en el entorno del texto. Los espacios delante y detr
as del texto
son, entonces, necesarios:
a = bq + r siempre que 0 r < b
a = bq + rsiempre que0 r < b
$a = b q + r$ siempre que $0 \leq r < b$

$a = b q + r
\textrm{ siempre que } 0 \leq r < b$
$a = b q + r
\textrm{siempre que} 0 \leq r < b$
Otra posibilidad para escribir texto en modo matem

atico es mediante las macros \mathit,
\mathbf, \mathrm, \mathsf y \mathtt, que componen su argumento en modo matem
atico y
tienen la ventaja respecto a las macros \textrm, etc. que solo afectan la familia, la serie y la
forma de los caracteres, sin modicar el cuerpo ni el espaciado. Su gran desventaja, sin embargo,
es que el LATEX tambien ignora el espaciado del texto incluido en estas macros. Entonces, es
preciso introducir los espacios necesarios mediante macros \b de espacio:
a = bq + rsiempreque0 r < b
$a = b q + r$ siempre que $0 \leq r < b$

$a = b q + r
\mathrm{ siempre que } 0 \leq r < b$
5 Matem
aticas con LATEX
85
$a = b q + r
\mathrm{\ siempre\ que\ } 0 \leq r < b$
a = bq + r siempreque 0 r < b
$a = b q + r \ \mathrm{siempre que} \
0 \leq r < b$
Para componer una f

atico en un p
arrafo aparte, es preciso escribirla
entre los smbolos \[ y \], o tambien entre dos smbolos $$ o bien dentro de un entorno
displaymath. Es decir, de cualquiera de las maneras siguientes:
\[ f
ormula destacada \]
$$ f
ormula destacada $$
\begin{displaymath}
f
ormula destacada
\end{displaymath}
As, la f
ormula (a0 , a1 , . . . , an ) + (b0 , b1 , . . . , bn ) = (a0 + b0 , a1 + b1 , . . . , an + bn ) se puede
componer tambien en un p
arrafo aparte:
(a0 , a1 , . . . , an ) + (b0 , b1 , . . . , bn ) = (a0 + b0 , a1 + b1 , . . . , an + bn )
La f
ormula (a0 + b0 + c0 , a1 + b1 + c1 , . . . , an +
bn + cn ) se puede componer tambien en un
p
arrafo aparte:
(a0 + b0 + c0, a1 + b1 + c1 , . . . , an + bn + cn)
La f
ormula $(a_0 + b_0 + c_0,
a_1 + b_1 + c_1, \ldots,
a_n + b_n + c_n)$ se puede componer
tambi
en en un p
arrafo aparte:
$$ (a_0 + b_0 + c_0, a_1 + b_1 + c_1,
\ldots, a_n + b_n + c_n) $$
Resulta conveniente destacar las formulas largas en un p

arrafo parte, para evitar problemas
de divisi
on de las lneas que las contienen, pero sobre todo para facilitar su lectura.
5.2
F
ormulas matem
aticas
El LATEX da acceso a una gran variedad de smbolos y de macros que se pueden usar para
componer f
ormulas, es decir, que se pueden usar en modo matematico.
Muchas de las macros matematicas operan solo sobre el caracter siguiente. Una macro
afecta, sin embargo, toda una serie de caracteres cuando estos estan agrupados o incluidos
entre llaves:
ax + y = ax+y
$a^x+y \neq a^{x+y}$
Los subapartados siguientes presentan las clases de macros principales del LATEX para componer f
ormulas matematicas.
Smbolos matem
aticos
En las expresiones matematicas se pueden distinguir cuatro elementos b
asicos: los smbolos de
operaci
on y relacionales, los n
umeros, las constantes y las variables.
86
Composici
Todos estos elementos se escriben directamente con LATEX o se componen mediante macros
un se explica a continuaci
on. El apartado 5.4 contiene una colecci
on de tablas
del LATEX, seg
con todos los smbolos y las macros que se pueden usar para componer f
ormulas matematicas
on y relacionales,
con LATEX, como por ejemplo letras griegas y caligracas, smbolos de operaci
echas, delimitadores y muchos otros smbolos.
Los n
umeros se pueden escribir tanto en modo texto como en modo matematico. La familia, la serie y la forma de los caracteres, como tambien el espaciado entre los n
umeros, son
exactamente los mismos en modo texto y en modo matematico:
1 1 2 3 5 8 13 21 34
1 1 2 3 5 8 13 21 34
299792458
299792458
1 1 2 3 5 8 13 21 34 \\
$1$ $1$ $2$ $3$ $5$ $8$ $13$ $21$ $34$ \\
299792458 \\
$299792458$
Cuando se trata de n
umeros decimales, sin embargo, el espaciado no es correcto porque el
LATEX compone la coma decimal como signo de puntuacion y pone un espacio no adicional
detr
as de la coma. Es preciso escribir la coma decimal entre llaves; el LATEX la compone entonces
como smbolo ordinario. Asimismo, los decimales se suelen separar en bloques de tres cifras
mediante un espacio no para facilitar su lectura. El espacio no m
as apropiado en este caso
parece ser \,, es decir, tres dieciochoavos de cuadratn:
3,141 592 653 589 793 238 464
3, 141592653589793238464
3,141592653589793238464
3,141 592 653 589 793 238 464
3,141 592 653 589 793 238 464
3,141 592 653 589 793 238 464
3,141 592 653 589 793 238 464 \\

$3,141 592 653 589 793 238 464$ \\
$3{,}141 592 653 589 793 238 464$ \\
$3{,}141\;592\;653\;589\;793\;238\;464$ \\
$3{,}141\:592\:653\:589\:793\:238\:464$ \\
$3{,}141\,592\,653\,589\,793\,238\,464$
Los n
umeros grandes (millares, millones, biliards, billones) se suelen separar con un punto
cada tres cifras, tambien para facilitar su lectura, a excepcion de los a
nos. A diferencia de la
coma decimal, sin embargo, el LATEX no agrega ning
un espaciado adicional detr
as de un punto
porque, seg
un las normas ortogr
acas anglosajonas, el punto es un punto decimal. Entonces,
no es preciso escribir el punto entre llaves para obtener el espaciado correcto entre los bloques
de tres cifras:
299.792.458
299.792.458
299.792.458
299.792.458 \\
$299.792.458$ \\
$299{.}792{.}458$
Las constantes y las variables se componen normalmente en cursiva. El LATEX selecciona

autom
aticamente las fuentes de caracteres y el espaciado mas apropiado para componer f
ormulas
matematicas; solo es preciso escribir los nombres de constante y de variable en modo matematico
o dentro de una f
atico:
5 Matem
aticas con LATEX
87
Consideremos espacios vectoriales E, F, G, H

sobre K de dimensiones m, n, s, t, respectivamente.
Consideremos espacios vectoriales E, F , G, H
Consideremos espacios vectoriales E, F, G,

H sobre K de dimensiones m, n, s, t,
respectivamente. \par
Consideremos espacios vectoriales E,
\emph{F}, \textit{G}, \textsl{H} sobre K
de dimensiones \emph{m}, \textit{n},
\textsl{s}, t, respectivamente. \par
Consideremos espacios vectoriales $E, F, G,
H$ sobre $K$ de dimensiones $m, n, s, t$,
respectivamente. \par
Consideremos espacios vectoriales $E$, $F$,
$G$, $H$ sobre $K$ de dimensiones $m$, $n$,
$s$, $t$, respectivamente.
Se suelen emplear las primeres letras del alfabeto para denotar constantes y las u
ltimas letras
del alfabeto para denotar variables, a pesar que hay constantes que, por razones hist
oricas, se
escriben con letras de otros alfabetos, como por ejemplo , la raz
on constante que existe entre
la longitud de la circunferencia y su di
ametro, dado que es la inicial de la palabra griega
"
"" (circunferencia).
Muchas veces, sin embargo, las letras del alfabeto romano no bastan para denotar constantes
y variables que han de tener unos nombres bastante signicativos en el contexto de la disciplina
de que trata el texto cientco. Un recurso muy usual en estos casos consiste en poner acentos
y otros signos diacrticos encima de las letras romanas.
El LATEX admite diez signos diacrticos diferentes en modo matem
atico. Las macros del
A
L TEX para componerlos son las siguientes: \hat (acento circunejo, e), \check (acento circunejo inverso, e), \breve (brevis, e), \acute (acento agudo o cerrado, e), \grave (acento
grave o abierto, e`), \tilde (tilde, e), \bar (barra o lnea horizontal, e), \vec (vector, (e ), \dot
(punto, e)
y \ddot (dieresis o punto doble, e). Tanto los signos diacrticos como el espaciado
correspondiente en modo matematico dieren de los acentos y el espaciado en modo texto.
Dos de estos signos diacrticos, el acento circunejo \hat y la tilde \tilde, no s
olo se pueden
poner encima de una letra sino que tambien se pueden poner encima de toda una expresi
on,
mediante las macros \widehat y \widetilde. Estas macros componen un signo diacrtico el
tama
no del cual tendra que ensancharse hasta abarcar toda la expresi
on, pero que en realidad
seleccionan un tama
no para el signo diacrtico de entre tres tama
nos jos:
c b b
g[
f = gf = f g = f g
$\widehat{g \circ f} =
\widehat{gf} =
\widehat{f} \circ \widehat{g} =
\hat{f} \circ \hat{g}$
Igual que en modo texto, para poner un signo diacrtico sobre una letra i o j dentro de
una f
ormula matem
atica es preciso quitar antes el punto que llevan encima, cosa que se hace
en modo matem
atico escribiendo \imath o \jmath. As entonces, para obtener una letra con
una barra o lnea horizontal es preciso escribir \bar\imath o bien \bar{\imath}.
Composici
88
Ademas, se puede poner toda una expresi

on encima de otra. La macro
\stackrel{expresi
on encima}{expresi
on debajo}
compone la expresi
on encima encima de la expresi
on debajo:
f
$A \stackrel{f}{\longrightarrow} B
\stackrel{g}{\longrightarrow} C$
A B C
Otro recurso muy empleado son las letras griegas y a veces tambien las hebreas, como
tambien las letras caligr
acas, en lugar de las letras romanas. Las letras griegas min
usculas
se escriben con LATEX mediante las macros \alpha, \beta, \gamma, etc., mientras que las
may
usculas se escriben con las macros \Gamma, \Delta, etc. Las letras caligracas se escriben
mediante la macro \mathcal seguida de la letra may
uscula correspondiente:
TEX se pronuncia como .
Sean C una categora y M una clase de morsmos de C.
\TeX\ se pronuncia como $\tau\epsilon\chi$.

Sean $\mathcal{C}$ una categor
a y
$\mathcal{M}$ una clase de morfismos
de $\mathcal{C}$.
S
olo se pueden escribir letras may
usculas y signos de puntuaci
on como argumento de la
macro \mathcal:
El par (C, M) tambien se puede escribir de la
forma (C, M).
El LATEX no permite componer letras caligr
acas min
usculas:
{}|\ !
El par $(\mathcal{C},\mathcal{M})$
tambi
en se puede escribir de la
forma $(\mathcal{C,M})$.
El \LaTeX\ no permite componer letras
caligr
aficas min
usculas:
$$\mathcal{abcdefghijklmnopqrstuvwxyz}$$
Un recurso tipogr
aco adicional consiste en emplear letras romanas may
usculas en negrita,
pero en una negrita muy especial, la llamada negrita de pizarra (blackboard boldface). Esta
forma de letra representa los esfuerzos de muchos profesores para escribir letras en negrita en
clase, en la pizarra, y su uso se ha extendido mucho para denotar conjuntos, como por ejemplo
el conjunto de los n
umeros enteros Z, de los n
umeros racionales Q, de los n
umeros reales R,
etc.
La activaci
on de los paquetes de deniciones amssymb o amsfonts permite escribir las letras
en negrita de pizarra con LATEX mediante la macro \mathbb, seguida de la letra correspondiente:
Sean a, b R.
A B C D E FG H IJKLMNOPQRSTUVWXYZ
Sean $a, b \in \mathbb{R}$. \par

$\mathbb{ABCDEFGHIJKLMNOPQRSTUVWXYZ}$
Cuanto a los smbolos de operaci

on y relacionales, el LATEX admite cerca de doscientos
smbolos diferentes, muchos de los cuales se componen mediante macros del LATEX. Algunos de
5 Matem
aticas con LATEX
89
los mas usuales aparecen en los ejemplos siguientes:

a, b A : aRb, bRa a = b
$\forall a, b \in A:
aRb, bRa \Rightarrow a=b$ \par
$A \times (B \cap C) = (A \times B)
\cap (A \times C)$ \par
$a \vee (b \wedge c) \leq
(a \vee b) \wedge (a \vee c)$ \par
$A = B \equiv A \subset B, B \subset A$
\par $A \cap B = \{ x \mid x \in A
\textrm{ y } x \in B \}$ \par
$(\neg q \rightarrow \neg p) \rightarrow
(p \rightarrow q)$
A (B C) = (A B) (A C)
a (b c) (a b) (a c)
A = B A B, B A
A B = {x | x A y x B}
(q p) (p q)
Igual que las constantes y las variables, los smbolos de operaci

on y relacionales tambien
se componen en cursiva, pero solo cuando consisten en una u
nica letra. De otro modo, se
componen con letras romanas y con el espaciado apropiado:
logxy = logx + logy
$log x y = log x + log y$ \par

$\textrm{log} x y = \textrm{log} x
+ \textrm{log} y$ \par
$\textrm{log } x y = \textrm{log } x
+ \textrm{log } y$ \par
$\log x y = \log x + \log y$ \par
$\textrm{log}\,x y = \textrm{log}\,x
+ \textrm{log}\,y$
logxy = logx + logy

log xy = log x + log y
El LATEX permite componer algunos de los smbolos de operaci

on m
as usuales, las llamadas
funciones est
andares, como por ejemplo \log para el smbolo de operaci
on correspondiente a la
funci
on logaritmo, mediante las macros siguientes, algunas de las cuales han sido sombreadas,
un se explica
como por ejemplo \lim , para indicar que admiten subndices y superndices, seg
mas abajo en este apartado:
\arccos
\cos
\csc
\exp
\ker
\limsup
\min
\sinh
\arcsin
\cosh
\deg
\gcd
\lg
\ln
\Pr
\sup
\arctan
\arg
\cot
\coth
\det
\dim
\hom
\inf
\lim
\liminf
\log
\max
\sec
\sin
\tan
\tanh
Para componer otros smbolos de operaci

on similares, como por ejemplo \Nuc para el n
ucleo
de una aplicaci
on, en lugar de \ker, que compone la abreviaci
on del nombre de este smbolo
de operaci
on en ingles (kernel ), se puede denir una nueva macro o bien redenir una de las
macros estandares del LATEX:
Composici
90
ker f = {g G | f (g) = e }
$\ker f = \{ g \in G \mid f(g) = e\}$ \par

\newcommand{\Nuc}{\mathrm{Nuc}\,}
$\Nuc f = \{ g \in G \mid f(g) = e\}$ \par
\renewcommand{\ker}{\mathrm{Nuc}\,}
$\ker f = \{ g \in G \mid f(g) = e\}$
Nuc f = {g G | f (g) = e }
Nuc f = {g G | f (g) = e }
Los paquetes de deniciones amsopn y amsmath tambien permiten denir macros para componer abreviacions de smbolos de operaci
on. La macro
\DeclareMathOperator{\macro}{abreviaci
on}
dene la abreviaci
on de un nuevo smbolo de operaci
on, como por ejemplo
\DeclareMathOperator{\Nuc}{Nuc}, mientras que la macro
\DeclareMathOperator*{\macro}{abreviaci
on}
dene la abreviaci
on de un smbolo de operaci
on que admite un subndice y un superndice.
Esto permite escribir \Nuc para componer la abreviaci
on en castellano Nuc del smbolo de
operaci
on kernel, con el espaciado correcto, dentro de una expresion matematica.
Dos funciones estandares adicionales son \bmod y \pmod, que denotan el m
odulo, residuo
o resto de la divisi
on entera. Mientras que la macro \bmod compone el nombre como smbolo
relacional binario, la macro \pmod lo compone como una expresion entre parentesis:
r = a mod b es el resto de la divisi
on entera de
a por b.
a b (mod m) si y s
olo si existe q Ztal que
a b = qm.
$r = a \bmod b$ es el resto de la divisi

on
entera de $a$ por $b$. \par
$a \equiv b \pmod m$ si y s
olo si existe
$q \in \mathbb{Z}$ tal que $a - b = q m$.
Con la activaci
on de los paquetes de deniciones amsopn o amsmath, sin embargo, el espaciado producido por las macros \bmod y \pmod es mas apropiado cuando los smbolos de
operaci
on correspondientes se componen dentro de un parrafo de texto. Ademas, este paquete
de deniciones permite usar dos smbolos de operaci
on adicionales que son similares a la macro
\pmod. La macro \mod compone el nombre como una expresi
on pero sin los parentesis, mientras
que la macro \pod compone los parentesis pero sin el nombre del smbolo de operaci
on:
a b mod m
$a \equiv b \mod m$ \par

$a \equiv b \pod m$
a b (m)
Algunos smbolos de operaci

on y relacionales merecen una explicacion adicional. El smbolo
de operaci
on de raz cuadrada se compone mediante la macro
\sqrt[n]{expresi
on}
donde el argumento opcional n especica el orden de la raz:
px
$\sqrt{x}$ \qquad
$\sqrt{x^2+\sqrt{y}}$ \qquad
$\sqrt[3]{2}$
5 Matem
aticas con LATEX
91
El tama
no del smbolo de operaci
on que compone la macro \sqrt se ensancha hasta abarcar
todo su argumento:
v
u
u
u
u
t
v
v
u
s r q
u
u
u
u
t
t
1+ 1+ 1+ 1+ 1+ 1+ 1+x
$$
\sqrt{1+\sqrt{1+\sqrt{1+
\sqrt{1+\sqrt{1+\sqrt{1+\sqrt{1+x}}}}}}}
$$
El smbolo de operaci
on de integral se compone mediante la macro \int y los smbolos de
operaci
on sumatorio y productorio se componen mediante las macros \sum y \prod, respectivamente. Los lmites inferior y superior del intervalo de integraci
on o de la serie correspondiente
se especican mediante subndices y superndices:
X
n
i=1
j=0
$$\int_0^\pi \qquad \sum_{i=1}^n

\qquad \prod_{j=0}^\infty$$
Estos smbolos de operaci

on tambien se pueden componer dentro de un p
arrafo de texto.
En este caso, los lmites inferior y superior no se componen encima y debajo del smbolo de
operaci
on sino que son alineados verticalmente en la parte inferior y en la parte superior del
smbolo, respectivamente:
n
i=1
j=0
$\int_0^\pi \qquad \sum_{i=1}^n

\qquad \prod_{j=0}^\infty$
Algunas editoriales cientcas tambien componen los lmites inferior y superior encima y
debajo de los smbolos de operaci
on cuando est
an dentro de un p
arrafo de texto, lo que mejora la legibilidad de las expresiones matem
aticas pero introduce un interlineado irregular en
el p
arrafo. Las macros \limits y \nolimits del sistema TEX se pueden incluir en un docuas de una macro de smbolo de operaci
on, para especicar
mento LATEX, inmediatamente detr
la composicion de los lmites inferior y superior encima y debajo del smbolo de operaci
on, o
bien alineados verticalmente en la parte inferior y en la parte superior del smbolo de operaci
on,
respectivamente:
Se puede componer una expresi

on matem
atica
como por ejemplo
n=1
(1)n
n
dentro de un
p
arrafo de texto pero donde los lmites inferior
y superior son dispuestos encima y debajo del
smbolo de operaci
on sumatorio, a pesar que la
(1)n
manera est
andar de componerlos,
n=1
n ,
no altera el interlineado del p
arrafo.
Se puede componer una expresi

on matem
atica
como por ejemplo
$\sum\limits_{n=1}^{\infty}
\frac{(-1)^n}{n}$ dentro de un p
arrafo de
texto pero donde los l
mites inferior y
superior son dispuestos encima y debajo del
s
mbolo de operaci
on sumatorio, a pesar que
la manera est
andar de componerlos,
$\sum_{n=1}^{\infty} \frac{(-1)^n}{n}$, no
altera el interlineado del p
arrafo.
Composici
92
Las fracciones se pueden componer dentro de un p

arrafo de texto o bien en un p
arrafo
aparte. En el primer caso, el numerador se separa del denominador mediante un signo de
divisi
on normal. Para componer una fracci
on en un p
arrafo aparte, sin embargo, es preciso
emplear la macro
\frac{numerador }{denominador }
donde numerador y denominador son expresiones o formulas matematicas:
Un tercio es 1/3 pero tambien
n
2
1
.
3
Un tercio es $1/3$
pero tambi
en $\frac{1}{3}$.
$$
\frac{n}{2} \int_a^b x\,dx
$$
x dx
a
En general, las fracciones relativamente complejas resultan difciles de leer cuando se componen dentro de un p
arrafo de texto, como por ejemplo ((a1 + ia2 ) + (a11 s1 + a21 s2 ))/((b1 +
1 +ia2 )+(a11 s1 +a21 s2 )
on en un p
arrafo aparte puede
ib2 ) + (b11 s1 + b21 s2 )) o (a
(b1+ib2 )+(b11 s1 +b21 s2 ) , y su composici
mejorar mucho su legibilidad:
(a1 + ia2 ) + (a11 s1 + a21 s2 )
(b1 + ib2 ) + (b11 s1 + b21 s2 )
Sin embargo, siempre que la composicion de una fracci
on dentro de un p
arrafo de texto no
conlleve ning
un problema de legibilidad, esta soluci
on tipogr
aca suele ser preferible a la composicion en un p
arrafo aparte por razones de economa de espacio en el documento compuesto,
como se puede comprobar en el ejemplo siguiente:
1 () =
2 () =
(m 1)
(),
p
(m p + 1)
(),
p
log R1 + + log Rk
,
k
log (r)
sin tn = sin
,
(r)
tk = log Rk
sin
1 () = ((m 1)/p)(),
2 () = ((p m 1)/p)(),
tk = log Rk (log R1 + + log Rk )/k,
sin tn = sin(log (r)/(r)),
sin(log Rn / log n) = sin(log r/ log (r)) = 1/,
zg (z)/g(z) = 1 + z (z)/ (z) = f(z).
log Rn
log r
1
= sin
= ,
log n
log (r)
zg (z)
z (z)
=1+
= f(z)
g(z)
(z)
El smbolo de operaci
on de substracci
on o signo menos tiene la misma anchura que los
smbolos de operaci
on de suma y de multiplicaci
on, una anchura intermedia entre la del gui
on
largo y la del gui
on:
5 Matem
aticas con LATEX
93
\begin{tabular}{cccc}
- & -- & $-$ & --- \\
& $+$ &
\\
& $\times$ &
\end{tabular}
La negaci
on de un smbolo de operaci
on o relacional se puede obtener con LATEX mediante
la macro \not delante del smbolo:
Si x < y entonces x y 1.
Si $x \not< y$ entonces $x \not\leq y-1$.
La ubicaci
on de la raya de negaci
on, sin embargo, no siempre es correcta. A pesar que se
pueden introducir correcciones de espaciado, seg
un se explica en el apartado 5.3, los caracteres
AMSFonts contienen numerosos smbolos de operaci
on y relacionales negados (vease el apartado
5.4).
Finalmente, los signos de puntuaci
on permiten ligar los smbolos de operaci
on y relacionales
con los n
umeros, las constantes y las variables en las expresiones matematicas. Muchos de los
signos de puntuaci
on se escriben directamente con LATEX, como por ejemplo la coma, el punto,
el punto y coma, y los dos puntos. Los puntos suspensivos, sin embargo, se componen mediante
las macros \ldots o \cdots, seg
un se coloquen en una enumeracion cuyos elementos hayan
sido separados por comas o mediante otros smbolos de operaci
on:
x1 + x2 + + xn
x1 = = xn = 0
A1 An
f (x1 , x2 , . . . , xn )
x1 , x2 , . . . , x n
x1 x2 . . . xn
(1 x)(1 x2 ) . . . (1 xn )
$x_1 + x_2 + \cdots + x_n$ \par

$x_1 = \cdots = x_n = 0$ \par
$A_1 \times \cdots \times A_n$ \par
$f(x_1, x_2, \ldots, x_n)$ \par
$x_1, x_2, \ldots, x_n$ \par
$x_1 x_2 \ldots x_n$ \par
$(1-x) (1-x^2) \ldots (1-x^n)$ \par
$n (n-1) \ldots 1$
n(n 1) . . . 1
Con la activaci
on del paquete de deniciones amsmath basta escribir la macro \dots para
componer los puntos suspensivos, cuya colocacion es volada o no, seg
un haya detr
as un smbolo
de operaci
on o relacional binario:
x1 + x2 + + xn
f (x1 , x2 , . . . , xn )
$x_1 + x_2 + \dots + x_n$ \par

$f(x_1, x_2, \dots, x_n)$
Las expresiones matematicas que abarcan mas de una lnea, como por ejemplo matrices y
ecuaciones, suelen necesitar puntos suspensivos dispuestos de manera vertical y diagonal, seg
un
A
se explica en el apartado 5.5. Las macros del L TEX \vdots y \ddots permiten componerlos:
Composici
94
0
B
B
B
B
@
x11
x21
..
.
xm1
x12
x22
..
.
xm2
..
.
x1n
x2n
..
.
xmn
1
CC
CC
A
$$ \left( \begin{array}{cccc}
x_{11} & x_{12} & \cdots & x_{1n} \\
x_{21} & x_{22} & \cdots & x_{2n} \\
\vdots & \vdots & \ddots & \vdots \\
x_{m1} & x_{m2} & \cdots & x_{mn}
\end{array} \right) $$
Subndices y superndices
Los subndices y los superndices se especican mediante el caracter de subrayado _ y el caracter
de acento circunejo ^, respectivamente:
a1
x2
et
ex = ex 2
akij
$a_1$ \qquad $x^2$ \qquad

$e^{-\alpha t}$ \qquad
$a^k_{ij}$ \qquad $e^{x^2} \neq {e^x}^2$
Para escribir texto como subndice o superndice de una f

ormula matem
atica, sin embargo,
es preciso emplear las macros \mathrm, etc., en lugar de las macros \textrm, etc. De otro
modo, los caracteres del texto compuesto en el subndice o en el superndice son del cuerpo
base y no del cuerpo normal para los subndices y los superndices:
2n
2n
$$2^n \qquad 2^{\textrm{n}}

\qquad 2^{\mathrm{n}}$$
2n
Algunas de las funciones est

andares tambien admiten subndices y superndices, por ejemplo
para indicar los extremos del intervalo en que se eval
ua la funci
on matematica correspondiente.
Estos smbolos de operaci
on son: determinante (\det), m
aximo com
un divisor (\gcd, greatest common divisor ), nmo (\inf), lmite (\lim), lmite inferior (\liminf), lmite superior
(\limsup), maximo (\max), mnimo (\min), probabilidad (\Pr) y supremo (\sup). La disposicion de los subndices y de los superndices vara seg
un si se componen dentro de un p
arrafo o
en un p
arrafo aparte:
Una funci
on est
andar destacada
lim
sin x
=1
x
tambien se puede componer dentro de un

p
arrafo de texto: limn sinx x = 1.
Una funci
on est
andar destacada
$$\lim_{n\rightarrow\infty}
\frac{\sin x}{x} = 1$$ tambi
en se puede
componer dentro de un p
arrafo de texto:
$\lim_{n\rightarrow\infty}
\frac{\sin x}{x} = 1$.
Tambien se pueden denir nuevas macros para componer los nombres de otras funciones con
subndices y superndices, como tambien se puede redenir alguna de las diez macros estandares
del LATEX correspondientes:
5 Matem
aticas con LATEX
95
La suma a11 + + ann se llama la traza de la

matriz A:
n
tr A.
1
\newcommand{\tr}{\mathop{%
\mathgroup\symoperators tr}}
La suma $a_{11}+\cdots+a_{nn}$ se llama la
\emph{traza} de la matriz $A$:
$$\tr_{1}^{n} A.$$
Delimitadores horizontales
Las macros \overline y \underline componen lneas horizontales directamente por encima o
por debajo de una expresi
on matematica, respectivamente, mientras que las macros \overbrace
y \underbrace componen llaves horizontales:
x
|a + b +{z + z}
m+n
$\underline{x}$ \qquad
$\overline{m+n}$ \qquad
$\underbrace{a+b+\cdots+z}$
Los subndices y los superndices de las expresiones que tienen delimitadores horizontales y
que son compuestas en un parrafo aparte se componen como etiquetas encima y debajo de los
delimitadores, respectivamente:
z }| {
|
{z
}
24
a + b + + y +z
$\underbrace{a + \overbrace{b +
\cdots + y}^{24} + z}_{26}$
26
Delimitadores verticales
La agregaci
on o agrupaci
on de expresiones matem
aticas para construir otras m
as complejas es
un aspecto fundamental de la notaci
on matematica, que no se ha de confundir con la agrupaci
on
de una serie de caracteres mediante llaves para escribir el argumento de una macro del LATEX.
Las expresiones matematicas se agrupan mediante los llamados delimitadores verticales,
como por ejemplo los parentesis, los corchetes y las llaves:
(x + y)2 = x2 + 2xy + y2
((x + 1)(x 1))2
$$(x + y)^2 = x^2 + 2 x y + y^2$$

$$((x+1)(x-1))^2$$
$$E = \{ g \in G \mid f(g) = e\}$$
E = {g G | f (g) = e }
Los parentesis, los corchetes y las barras verticales se escriben directamente con LATEX,
mientras que las llaves angulares y las barras verticales dobles se componen con LATEX mediante
macros especcas:
Composici
96
(
[
{

|
!
(
[
\{
\langle
|
\|
parentesis
corchetes
llaves
llaves angulares
barras verticales
barras verticales dobles
)
]
}

|
!
)
]
\}
\rangle
|
\|
Las llaves angulares y las barras verticales simples y dobles, sin embargo, normalmente
tienen un cierto signicado matematico y entonces no es recomendable emplearlas para agrupar expresiones matematicas, si bien es cierto que los corchetes tambien tienen signicado en
matematicas.
Las expresiones matematicas son mas legibles cuando el tama
no o la altura de los delimitadores verticales es mas grande que la altura de las expresiones que agrupan. Esto permite
identicar m
as f
acilmente el alcance de cada delimitador en la f
ormula compuesta:
((x + 1)(x 1))2
2
(x + 1)(x 1)
De hecho, los delimitadores del LATEX son los mismos que los del sistema TEX y son de
tama
no variable o, mejor dicho, los hay de muchos tama
nos diferentes:
\Big(
\bigg(
\Bigg(
\Bigg)
\bigg)
\Big)
\big[
\Big[
\bigg[
\Bigg[
\Bigg]
\bigg]
\Big]
\big]
"
&
'
\big\{
\Big\{
\bigg\{
\Big\}
\big\}
{
\{
\big(
[
[
(
(

\big)
)
)
\Bigg\{
\Bigg\}
\bigg\}
]
}
\}
Esto da la posibilidad de escoger el tama

no de los delimitadores m
as apropiado para componer cada expresion matematica, eleccion que el LATEX hace automaticamente cuando se escriben
las macros \left y \right delante y detr
as de las macros correspondientes a los delimitadores,
respectivamente:
1+
3
1
1x2
1+
1+
1
1 x2
1
1x2
1+
1
1 x2
$1 + \big( \frac{1}{1 - x^2} \big)^3$

\qquad
$1 + \left( \frac{1}{1 - x^2} \right)^3$
$$1 + \Big( \frac{1}{1 - x^2} \Big)^3
\qquad
1 + \left( \frac{1}{1 - x^2} \right)^3$$
5 Matem
aticas con LATEX
97
Estas macros \left y \right se han de escribir en pares, a pesar que no es preciso que los
delimitadores correspondientes sean todos parentesis, todos corchetes o todas llaves:
1

2
$$ \left\langle
\frac{1}{2}
\right| $$
Ademas, se puede omitir la composicion de un delimitador vertical izquierdo o derecho,

mediante las macros \left. y \right., respectivamente:
dx2
dx
$$ \left. \frac{dx^2}{dx}
\right|_{x=a} = 2 a $$
= 2a
x=a
Con todo, el orden m

as conveniente para agrupar expresiones matematicas mediante delimitadores verticales es comenzar agrupando con parentesis, despues agrupar con corchetes y
despues con llaves, y continuar agrupando con parentesis, corchetes y llaves en este orden:
$#
%
"!
'&
{[(
)]}
Los delimitadores mas grandes son especialmente u
tiles para agrupar expresiones matematicas
que abarcan m
as de una lnea, como por ejemplo matrices y ecuaciones, seg
un se explica en el
apartado 5.5.
5.3
Espaciado de f
ormulas matem
aticas
A diferencia del modo texto, la mayora de los espacios y divisiones de lnea no tienen ning
un
efecto en modo matematico. El LATEX calcula el espaciado logico a partir de la estructura de las
expresiones matematicas, seg
un una serie de convenciones tipogr
acas bien denidas. Con todo,
a veces es preciso introducir peque
nas correcciones en el espaciado, por ejemplo para conseguir
un efecto visual diferente o simplemente porque se quiere mejorar el espaciado producido por
el LATEX.
As, las macros siguientes introducen peque
nos espacios en blanco dentro de una f
ormula
matematica:
\!
\,
\:
\;
\b
\quad
\qquad
3/18 de cuadratn
3/18 de cuadratn
4/18 de cuadratn
5/18 de cuadratn
1/3 de cuadratn
un cuadratn
dos cuadratines
Por ejemplo, las expresiones siguientes han sido compuestas en la tercera columna sin las
correcciones de espaciado indicadas:
Composici
98
$\sqrt{2}\,x$
$\sqrt{\,\log x}$
$O\left(1/\sqrt{n}\,\right)$
$[\,0,1)$
$\log n\,(\log\log n)^2$
$x^2\!/2$
$n/\!\log n$
$\Gamma_{\!2}+\Delta^{\!2}$
$R_i{}^j{}_{\!kl}$
$\int_0^x\!\int_0^y dF(u,v)$
$\int\!\!\!\int_D dx\,dy$
$\int f(x)\,dx$
2x
log x
O (1/ n )
[ 0, 1)
log n (log log n)2
x2/2
n/log n
2 + 2
Rj
( xi (kly
dF (u, v)
((0 0
dx
dy
(D
f(x) dx
2x
log x
O (1/ n)
[0, 1)
log n(log log n)2
x2 /2
n/ log n
2 + 2
Ri j kl
(x(y
dF (u, v)
(0( 0
dx
dy
( D
f(x)dx
ormula
El LATEX tampoco permite lneas en blanco en modo matematico. Es decir, toda f
matematica se compone en un p
arrafo, bien dentro de un p
arrafo de texto, bien como p
arrafo
ormula a nal de lnea como si se
aparte. En los dos casos, el LATEX puede llegar a dividir una f
tratase de la divisi
on de una palabra en slabas, a pesar que en el caso de f
ormulas matematicas
A
el L TEX sigue una norma tipogr
aca bien establecida para encontrar la posici
on de divisi
on
mas apropiada:
Se puede dividir una f
ormula inmediatamente despues de un smbolo de operaci
on
o de un smbolo relacional, pero nunca inmediatamente antes.
on de divisi
on de una
Sin embargo, a veces el LATEX no puede encontrar ninguna posici
f
ormula que le permita componer de manera optima todo el p
arrafo. Asimismo, hay ocasiones en
que el autor del trabajo cientco puede determinar ciertas posiciones de divisi
on de una f
ormula
que son correctas en un caso particular, pero que no son cubiertas por las reglas estandares
de divisi
on de f
ormulas del LATEX. En estos casos, se poden denir posiciones adicionales de
divisi
on para una f
ormula o expresi
on matematica particular, mediante la macro \allowbreak:
(a0 , a1 , . . . , an ) + (b0 , b1 , . . . , bn ) + (c0, c1 , . . . ,
cn ) = (a0 +b0 +c0 , a1 +b1 +c1, . . . , an +bn +cn )
$(a_0,a_1,\ldots,a_n) + (b_0,b_1,\ldots,
b_n) + (c_0,\allowbreak c_1,\allowbreak
\ldots,\allowbreak c_n) =
(a_0+b_0+c_0,a_1+b_1+c_1,\ldots,
a_n+b_n+c_n)$
Cuanto a las f
ormulas matematicas compuestas en un parrafo aparte, el LATEX nunca las
divide en lneas, incluso cuando las f
ormulas contienen macros \allowbreak de posiciones adicionales de divisi
on en lneas. Para conseguir la divisi
on en lneas de las f
ormulas destacadas, es
preciso escribirlas en un entorno array, eqnarray o eqnarray*, seg
un se explica en el apartado 5.5.
5.4
Smbolos matem
aticos
En las tablas siguientes guran todos los smbolos que se pueden usar normalmente en modo
matematico. Los smbolos sombreados, como por ejemplo \Box , no son est
andares en el LATEX
5 Matem
aticas con LATEX
99
y es preciso declarar el paquete de deniciones latexsym en el pre

ambulo del documento para
poder usarlos.
Signos diacrticos
a
a
\hat{a}
\check{a}
\breve{a}
a
`
a
\acute{a}
\grave{a}
\tilde{a}
(a
\bar{a}
\vec{a}
a
a
\theta
\vartheta
\iota
\kappa
\lambda
\mu
\nu
\xi
>
o
\pi
\varpi
\rho
\varrho
\sigma
\varsigma
\Lambda
\Xi
\Pi
\dot{a}
\ddot{a}
Letras griegas min

usculas
"
\alpha
\beta
\gamma
\delta
\epsilon
\varepsilon
\zeta
\eta
\tau
\upsilon
\phi
\varphi
\chi
\psi
\omega
Letras griegas may

usculas
\Gamma
\Delta
\Theta
\Sigma
\Upsilon
\Phi
\Psi
\Omega
Letras caligr
acas
A
B
C
D
E
F
G
\mathcal{A}
\mathcal{B}
\mathcal{C}
\mathcal{D}
\mathcal{E}
\mathcal{F}
\mathcal{G}
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
\mathcal{H}
\mathcal{I}
\mathcal{J}
\mathcal{K}
\mathcal{L}
\mathcal{M}
\mathcal{N}
\mathcal{O}
\mathcal{P}
\mathcal{Q}
\mathcal{R}
\mathcal{S}
\mathcal{T}
\mathcal{U}
V
W
X
Y
Z
\mathcal{V}
\mathcal{W}
\mathcal{X}
\mathcal{Y}
\mathcal{Z}
Miscel
anea
B
E
\aleph
\hbarlatex
\imath
\jmath
\ell
\wp
\Re
\Im
\mho
>
\prime
\emptyset
\nabla
\surd
\top
\bot
\|
\angle
H
J
L
\
\forall
\exists
\neg
\flat
\natural
\sharp
\backslash
\partial
\infty
\Box
\Diamond
\triangle
\clubsuit
\diamondsuit
\heartsuit
\spadesuit
Composici
100
Operadores grandes
)
\sum
. /
\prod
3 4
\coprod
9
(
\int
?
>
\oint
\bigcap
\bigcup
\bigsqcup
\bigvee
\bigodot
\bigotimes
<
\bigoplus
\biguplus
\bigwedge
Operadores binarios
\pm
\mp
\times
\div
\ast
\star
\circ
\bullet
\cdot
M
Q
S
\
V
Relaciones binarias
\leq
\prec
\ \preceq
_ \ll
\subset
\subseteq

\sqsubset
f \sqsubseteq
\in
j
\vdash
Flechas
w
S
U
W

\cap
\cup
\uplus
\sqcap
\sqcup
\vee
\wedge
\setminus
\wr
Z
]
`

g
h
k
\leftarrow
\Leftarrow
\rightarrow
\Rightarrow
\leftrightarrow
\Leftrightarrow
\mapsto
\hookleftarrow
\leftharpoonup
\leftharpoondown
\rightleftharpoons
H
=
N
N
O
\diamond
\bigtriangleup
\bigtriangledown
\triangleleft
\triangleright
\lhd
\rhd
\unlhd
\unrhd
w
T
V
X
\oplus
\ominus
\otimes
\oslash
\odot
\bigcirc
\dagger
\ddagger
\amalg
\equiv
\sim
\simeq
\asymp
\approx
\cong
\neq
\doteq
\notin
|=
|
!
ON
Q
R
\models
\perp
\mid
\parallel
\bowtie
\Join
\smile
\frown
\propto
\longleftarrow
\Longleftarrow
\longrightarrow
\Longrightarrow
\longleftrightarrow
\Longleftrightarrow
\longmapsto
\hookrightarrow
\rightharpoonup
\rightharpoondown
\leadsto
t
v
x
y
z
{
\uparrow
\Uparrow
\downarrow
\Downarrow
\updownarrow
\Updownarrow
\nearrow
\searrow
\swarrow
\nwarrow
\geq
\succ
\succeq
\gg
\supset
\supseteq
\sqsupset
\sqsupseteq
\ni
\dashv
^
a
=
=
.
=
R
T

5 Matem
aticas con LATEX
101
Delimitadores
(
[
{
|
~

/
|
)
]
}
}

\
!
(
[
\{
\lfloor
\lceil
\langle
/
|
Delimitadores grandes
\lmoustache
\arrowvert
)
]
\}
\rfloor
\rceil
\rangle
\backslash
\|
\uparrow
\downarrow
\updownarrow
\Uparrow
\Downarrow
\Updownarrow
\rmoustache
\lgroup
E
E
\Arrowvert
\bracevert
\rgroup
Los smbolos siguientes se pueden usar tanto en modo matematico como en modo texto.
Contrariamente a lo que se arma en (Lamport, 1994, p. 39 y 173), la macro \copyright no
se puede emplear en modo matematico.
Otros smbolos
\dag
\ddag
\S
\P
\pounds
En las tablas siguientes guran todos los smbolos adicionales que se pueden usar en modo
matematico cuando se ha declarado el paquete de deniciones amssymb en el pre
ambulo del
documento y las p
olizas AMS han sido instaladas en el sistema LATEX. El smbolo \hbar se
encuentra tanto en las fuentes estandares del LATEX como en las fuentes AMS, pero se trata de
dos representaciones diferentes del mismo smbolo: la versi
on estandar del LATEX es h y es la
version correspondiente en las fuentes AMS.
Delimitadores AMS

\ulcorner
\urcorner
\llcorner
\lrcorner
Flechas AMS

"
\rightleftarrows
\leftrightarrows
\leftarrowtail
\curvearrowleft
\upuparrows
\multimap
\twoheadrightarrow
\rightleftharpoons
\Rsh
\downharpoonright

#
\Rrightarrow
\Lleftarrow
\looparrowleft
\circlearrowleft
\upharpoonleft
\leftrightsquigarrow
\rightarrowtail
\curvearrowright
\downdownarrows
\rightsquigarrow

!
!
\leftleftarrows
\twoheadleftarrow
\leftrightharpoons
\Lsh
\downharpoonleft
\rightrightarrows
\looparrowright
\circlearrowright
\upharpoonright
\restriction
Composici
102
Flechas AMS con negaci

on

\nleftarrow
\nLeftarrow
\nrightarrow
\nRightarrow
\nleftrightarrow
\nLeftrightarrow
Letras griegas AMS

\digamma
\varkappa
Letras hebreas AMS

\beth
\daleth
\gimel
Miscel
anea AMS

%
(

0

\hbar
\triangledown
\circledS
\nexists
\Game
\varnothing
\blacksquare
\sphericalangle
\diagup

&

k
+
.
1

\hslash
\square
\angle
\mho
\Bbbk
\blacktriangle
\blacklozenge
\complement
\diagdown
)

*
,
/
\vartriangle
\lozenge
\measuredangle
\Finv
\backprime
\blacktriangledown
\bigstar
\eth
Operadores binarios AMS

2
4
7
:

=
@
C
\dotplus
\Cup, \doublecup
\doublebarwedge
\boxdot
\ltimes
\rightthreetimes
\circleddash
\centerdot

5
8
;
>
A
D
\smallsetminus
\barwedge
\boxminus
\boxplus
\rtimes
\curlywedge
\circledast
\intercal
3
6
9

<
?
B
\Cap, \doublecap
\veebar
\boxtimes
\divideontimes
\leftthreetimes
\curlyvee
\circledcirc
5 Matem
aticas con LATEX
103
Relaciones AMS
E
H
"
L
O
R

W
Y
\
_
b
$
g
j

p
r
)
\leqq
\lesssim
\lessdot
\lesseqgtr
\risingdotseq
\backsimeq
\sqsubset
\precsim
\trianglelefteq
\smallsmile
\Bumpeq
\eqslantgtr
\gtrdot
\gtreqless
\circeq
\thickapprox
\sqsupset
\succsim
\trianglerighteq
\shortparallel
\varpropto
\backepsilon
F
I
M
P
S
U
#
Z
]
`
c
h
k
l
n
'
s
t
w
\leqslant
\lessapprox
\lll, \llless
\lesseqqgtr
\fallingdotseq
\subseteqq
\preccurlyeq
\precapprox
\vDash
\smallfrown
\geqq
\gtrsim
\ggg, \gggtr
\gtreqqless
\triangleq
\supseteqq
\succcurlyeq
\succapprox
\Vdash
\between
\blacktriangleleft
\blacktriangleright
G
!
N
Q
T
V
X
[
^
a
d
m
o
q
(
u
\eqslantless
\approxeq
\lessgtr
\doteqdot, \Doteq
\backsim
\Subset
\curlyeqprec
\vartriangleleft
\Vvdash
\bumpeq
\geqslant
\gtrapprox
\gtrless
\eqcirc
\thicksim
\Supset
\curlyeqsucc
\vartriangleright
\shortmid
\pitchfork
\therefore
\because
Composici
104
Relacions AMS con negaci

on
.
1
7
:
=
@
C
F
I
L
O
R
T
W
Z
5.5
\nless
\nleqq
\lvertneqq
\nprec
\precnapprox
\nmid
\ntriangleleft
\subsetneq
\varsubsetneqq
\ngeqslant
\gneqq
\gnapprox
\succnsim
\nshortparallel
\nVDash
\nsupseteq
\varsupsetneq
,
/
2
5
8
;
>
A
G
J
M
P
U
X
[
\nleq
\lneq
\lnsim
\npreceq
\nsim
\nvdash
\ntrianglelefteq
\varsubsetneq
\ngtr
\ngeqq
\gvertneqq
\nsucc
\succnapprox
\nparallel
\ntriangleright
\nsupseteqq
\supsetneqq
0
3
6
9
<
?
B
E
H
K
N
Q
<
V
Y
\
\nleqslant
\lneqq
\lnapprox
\precnsim
\nshortmid
\nvDash
\nsubseteq
\subsetneqq
\ngeq
\gneq
\gnsim
\nsucceq
\ncong
\nvDash
\ntrianglerighteq
\supsetneq
\varsupsetneqq
Entornos matem
aticos
Algunas construcciones matematicas relativamente complejas no se componen directamente

como formulas matematicas, sino que se especican mediante entornos matematicos. Estas
construcciones son las ecuaciones y las matrices. Ademas, los enunciados tambien se especican
mediante entornos matem
aticos.
Enunciados
Los textos cientcos suelen incluir enunciados tales como teoremas, corolarios, lemas, proposiciones, deniciones, axiomas, observaciones, ejemplos, casos, problemas, demostraciones, etc.
Estos enunciados se componen en cursiva y en un p
arrafo aparte, para distinguirlos del resto
del texto, y se suelen enumerar para poder hacer referencias cruzadas.
Para componer enunciados con LATEX es preciso declarar los entornos necesarios en el
pre
ambulo del documento. La macro
\newtheorem{nombre}{cabecera}[enumeraci
on]
dene un nuevo entorno para componer enunciados, donde el argumento cabecera es el texto
que se compone como cabecera del enunciado, en negrita, y el argumento opcional enumeraci
on especica un contador del LATEX que determina la forma de enumerar estos enunciados,
como por ejemplo chapter para enumerarlos correlativamente dentro de cada captulo y section
para enumerarlos correlativamente dentro de cada apartado del documento. Los enunciados se
escriben dentro del entorno delimitado por las macros \begin{nombre} y \end{nombre}:
5 Matem
aticas con LATEX
105
Proposici
on 5.1 El conjunto de los n
umeros
primos es innito.
\newtheorem{propos}{Proposici
on}[chapter]
\begin{propos}
El conjunto de los n
umeros primos
es infinito.
\end{propos}
Proposici
on 5.5.1 El conjunto
n
umeros primos es innito.
\newtheorem{propo}{Proposici
on}[section]
\begin{propo}
umeros primos
es infinito.
\end{propo}
de
los
Si no se especica este argumento opcional de enumeracion, los enunciados correspondientes

se enumeran correlativamente dentro de todo el documento:
Proposici
on 1 El conjunto de los n
umeros
primos es innito.
\newtheorem{prop}{Proposici
o}
\begin{prop}
umeros primos
es infinito.
\end{prop}
Una segunda forma de la macro \newtheorem permite denir enunciados con una enumeracion en el mismo orden correlativo que la enumeracion de otro enunciado. La macro:
\newtheorem{nombre}[enumeraci
on]{cabecera}
permite denir nuevos entornos con una misma secuencia de enumeracion:
Composici
106
Denici
on 1 Dos conjuntos de atributos X y
Y son equivalentes respecto a un conjunto F
de dependencias funcionales, lo que se denota
por X Y , si F |= X Y y F |= Y X.
Lema 2 Sean F y G dos conjuntos de dependencias funcionales equivalentes y no redundantes sobre un esquema de relaci
on R,
y sea X Y una dependencia funcional en
F . Entonces existe una dependencia funcional
V W en G con X V respecto a F (y
tambien respecto a G).
\newtheorem{definicio}{Definici
o}
\newtheorem{lema}[definicio]{Lema}
\begin{definicio}
Dos conjuntos de atributos $X$ y $Y$ son
\emph{equivalentes} respecto a un conjunto
$F$ de dependencias funcionales, lo que se
denota por $X \leftrightarrow Y$, si
$F \models X \rightarrow Y$ y
$F \models Y \rightarrow X$.
\end{definicio}
\begin{lema}
Sean $F$ y $G$ dos conjuntos de
dependencias funcionales equivalentes y no
redundantes sobre un esquema de relaci
on
$R$, y sea $X \rightarrow Y$ una
dependencia funcional en $F$. Entonces
existe una dependencia funcional
$V \rightarrow W$ en $G$ con
$X \leftrightarrow V$ respecto a $F$
(y tambi
en respecto a $G$).
\end{lema}
Sea cual sea la forma de enumerarlos, todos los enunciados tienen un argumento opcional
identicaci
on que permite citar el autor original o el nombre con el cual se conoce el enunciado:
\begin{nombre} [identicaci
on]
..
.
\begin{nombre}
Esta identicaci
on de los enunciados se compone entre parentesis y en negrita, en la cabecera
del enunciado:
Teorema 1 (Grassmann) Sean F y G dos
subespacios vectoriales de E y supongamos que
la dimensi
on de E es nita. Entonces F , G,
F G y F + G son todos de dimensi
on nita y
dim F + dim G = dim(F + G) + dim(F G).
\newtheorem{teorema}{Teorema}
\begin{teorema} [Grassmann]
Sean $F$ y $G$ dos subespacios vectoriales
de $E$ y supongamos que la dimensi
on de $E$
es finita. Entonces $F$, $G$, $F \cap G$
y $F + G$ son todos de dimensi
on finita y
$$\dim F + \dim G = \dim (F + G) +
\dim (F \cap G). $$
\end{teorema}
Las demostraciones tambien se componen en un p

arrafo aparte, o en m
as de uno, pero a
diferencia de los enunciados se componen en redonda y no se enumeran. Adem
as, se suele incluir
el smbolo (quod est demostrandum) al nal de las demostraciones. Entonces, los entornos
\newtheorem no son adecuados para componer demostraciones de teoremas, corolarios, lemas
5 Matem
aticas con LATEX
107
y proposiciones, y resulta m
as conveniente denir un nuevo entorno, seg
un se explica en el
apartado 4.7, como por ejemplo el siguiente:
Demostraci
on. Sean b = a r y c = a s con
r, s Z. Entonces b + c = a (r + s) y b c =
a (r s).
\newenvironment{demo}
{\textit{Demostraci
on.}}
{\quad \hfill $\Box$}
\begin{demo}
Sean $b = a \cdot r$ y $c = a \cdot s$
con $r, s \in \mathbb{Z}$. Entonces
$b + c = a \cdot (r + s)$ y
$b - c = a \cdot (r - s)$.
\end{demo}
El mecanismo de referencias cruzadas del LATEX se puede usar para hacer referencia a los
enunciados; s
olo es preciso introducir una macro \label dentro del entorno correspondiente:
La denici
on 3 da lugar a una variante de la
estrategia de resoluci
on lineal: la resoluci
on
lineal ordenada.
Denici
on 3 Una cl
ausula ordenada es una
cl
ausula en la cual se ha impuesto un orden
en los literales que la componen.
\newtheorem{definicion}{Definici
on}
La definici
on~\ref{def:ordenada} da lugar a
una variante de la estrategia de resoluci
on
lineal: la \emph{resoluci
on lineal
ordenada}.
\begin{definicion} \label{def:ordenada} Una
cl
ausula ordenada es una cl
ausula en la
cual se ha impuesto un orden en los
literales que la componen.
\end{definicion}
A veces, el estilo en que el LATEX compone los enunciados no se adapta del todo a los
criterios de estilo de las editoriales cientcas. El paquete de deniciones theorem extiende el
mecanismo de denicion de enunciados del LATEX para permitir escoger el estilo para componer
cada enunciado entre una serie de estilos predenidos. La macro
\theoremstyle{estilo}
en el pre
ambulo del documento determina el estilo de todos los enunciados que se denen a
continuaci
on, mediante macros \newtheorem, hasta la pr
oxima macro \theoremstyle, si la
hay, donde estilo es uno de los siguientes:
Composici
108
plain
Emula el estilo estandar del LATEX para componer enunciados.
break
Introduce una divisi

on de lnea entre la cabecera y el texto del
enunciado.
marginbreak
Compone el n
umero del enunciado dentro del margen izquierdo,
ademas de introducir una divisi
on de lnea entre la cabecera y
el texto del enunciado.
changebreak
Compone el n
umero del enunciado delante de la cabecera,
ademas de introducir una divisi
on de lnea entre la cabecera
y el texto del enunciado.
change
Compone el n
umero del enunciado delante de la cabecera del
enunciado.
margin
Compone el n
umero del enunciado dentro del margen izquierdo.
Los siguientes son ejemplos de los diferentes estilos predenidos en el paquete de deniciones
theorem para componer enunciados:
Proposici
on 1
La permutaci
on identidad no se puede poner
como producto de un n
umero impar de transposiciones.
\theoremstyle{break}
\newtheorem{proposicion}{Proposici
on}
\begin{proposicion}
La permutaci
umero impar de
transposiciones.
\end{proposicion}
1 Proposici
on
La permutaci
\theoremstyle{marginbreak}
on}
\begin{proposicion}
La permutaci
umero impar de
transposiciones.
\end{proposicion}
1 Proposici
on
La permutaci
\theoremstyle{changebreak}
on}
\begin{proposicion}
La permutaci
umero impar de
transposiciones.
\end{proposicion}
5 Matem
aticas con LATEX
109
1 Proposici
on La permutaci
on identidad no
se puede poner como producto de un n
umero
impar de transposiciones.
\theoremstyle{change}
on}
\begin{proposicion}
La permutaci
umero impar de
transposiciones.
\end{proposicion}
1 Proposici
on La permutaci
on identidad no se
puede poner como producto de un n
\theoremstyle{margin}
on}
\begin{proposicion}
La permutaci
umero impar de
transposiciones.
\end{proposicion}
Todos estos estilos componen, por defecto, la cabecera de los enunciados en negrita y el
texto de los enunciados en la familia, la forma y la serie del cuerpo base. A veces, esto tampoco
resulta satisfactorio. Muchas editoriales cientcas componen las cabeceras de los enunciados
en versalita, sobre todo cuando se trata de textos matem
aticos. El paquete de deniciones
theorem tambien permite modicar la familia, la forma y la serie de la fuente y el cuerpo que
es preciso usar para componer la cabecera y el texto de los enunciados. La macro
\theoremheaderfont{especicaci
on}
en el pre
ambulo del documento determina la fuente y el cuerpo que es preciso usar para componer las cabeceras de todos los nuevos enunciados, mientras que la macro
\theorembodyfont{especicaci
on}
en el pre
ambulo del documento determina la fuente y el cuerpo que es preciso usar para componer el texto de los nuevos enunciados que se denen a continuaci
on, hasta la pr
oxima macro
\theorembodyfont, si la hay, donde especicaci
on consiste en ninguna declaraci
on o en una o
mas declaraciones de fuente y macros de cuerpo de fuente, seg
un se explica en el apartado 4.5,
como por ejemplo \bfseries\sffamily\large para especicar un cuerpo grande y una fuente
de serie negrita y familia lineal.
As, las especicaciones por defecto corresponden a las macros siguientes:
\theoremheaderfont{\bfseries}
\theorembodyfont{}
El ejemplo siguiente ilustra la composici
on de las cabeceras de los enunciados en versalita:
Composici
110
n 1 La permutaci
Proposicio
on identidad no
umero
\theoremstyle{plain}
\theoremheaderfont{\scshape}
on}
\begin{proposicion}
La permutaci
umero impar de
transposiciones.
\end{proposicion}
El paquete de deniciones amsthm tambien extiende el mecanismo de denicion de enunciados del LATEX y permite escoger el estilo para componer cada enunciado entre una serie de
estilos predenidos, de manera similar al paquete de deniciones theorem, ademas de permitir
la composicion de enunciados no enumerados y demostraciones.
Estos estilos predenidos son tres: plain, denition y remark. El estilo por defecto es el
plain, que permite componer los enunciados de mas importancia relativa, como por ejemplo
teoremas, corolarios, lemas y proposiciones, mientras que el estilo denition permite componer
los enunciados que son de una importancia relativa menor, como por ejemplo deniciones,
axiomas y ejemplos, y el estilo remark permite componer los enunciados de menos importancia
relativa, como por ejemplo observaciones, casos y problemas.
Con todo, la composici
on de los enunciados es funci
on tambien de la clase de documentos de
que se trata. Las cabeceras de los enunciados se componen en negrita y el texto de los enunciados
se compone en cursiva para el estilo plain, pero las cabeceras se componen en negrita y el texto
se compone en romana para el estilo denition y las cabeceras se componen en cursiva y el
texto de los enunciados se compone en romana para el estilo remark con las clases estandares de
documentos LATEX. En todos los casos, las cabeceras de los enunciados se componen seguidas
de un punto.
Proposici
on 1. La permutaci
on identidad no
umero
Proposici
on 1. La permutaci
on identidad no
umero
Proposici
on 1. La permutaci
on identidad no
umero
on}
\begin{proposicion}
...
\end{proposicion}
\theoremstyle{definition}
on}
\begin{proposicion}
...
\end{proposicion}
\theoremstyle{remark}
on}
\begin{proposicion}
La permutaci
umero impar de
transposiciones.
\end{proposicion}
5 Matem
aticas con LATEX
111
Este paquete de deniciones tambien permite componer el nombre del enunciado delante de
la cabecera, mediante la macro \swapnumbers, en lugar de componerlo detr
as de la cabecera
del enunciado. La macro \swapnumbers se ha de incluir antes de las deniciones de nuevos
enunciados:
1. Proposici
o. La permutaci
on identidad no
umero
\swapnumbers
on}
\begin{proposicion}
La permutaci
umero impar de
transposiciones.
\end{proposicion}
El paquete de deniciones amsthm tambien permite componer demostraciones, mediante el

entorno proof. El smbolo se incluye autom
aticamente al nal de la demostracion:
Demostraci
on. Sean b = a r y c = a s con
r, s Z. Entonces b + c = a (r + s) y b c =
a (r s).
\begin{proof}
Sean $b = a \cdot r$ y $c = a \cdot s$
con $r, s \in \mathbb{Z}$. Entonces
$b + c = a \cdot (r + s)$ y
$b - c = a \cdot (r - s)$.
\end{proof}
Matrices
Entre las construcciones matematicas que abarcan mas de una lnea hay las matrices y los
determinantes. Una matriz es esencialmente un conjunto ordenado de f
ormulas matematicas
que se componen seg
un una disposici
on rectangular de las y columnas, es decir, alineadas tanto
horizontalmente como verticalmente. Las matrices son, normalmente, estructuras homogeneas;
es decir, todos sus elementos son del mismo tipo, como por ejemplo n
umeros enteros o n
umeros
reales, a pesar que desde el punto de vista de la composicion tipogr
aca los elementos de una
matriz pueden ser cualquier expresion matematica e incluso un p
arrafo de texto.
El entorno array permite la composicion de matrices de expresiones matematicas alineadas en
las y en columnas. Las matrices tambien son f
ormulas matematicas y, por lo tanto, es preciso
componerlas en modo matematico, dentro de un p
arrafo de texto o bien en un p
arrafo aparte.
A
El L TEX determina automaticamente la altura de cada la y la anchura de cada columna.
Este entorno requiere un argumento, que especica el formato de la matriz. Tiene que
haber una entrada para cada columna de la matriz. Las entradas admitidas son l para una
columna de f
ormulas matematicas alineadas contra el margen izquierdo, r para una columna
de f
ormulas matematicas alineadas contra el margen derecho, c para una columna de f
ormulas
matematicas centradas y p{anchura} para una columna que contiene un p
arrafo de texto de la
anchura indicada.
Composici
112
Ademas, las entradas de barra vertical | indican la inclusi

on de lneas verticales entre columnas, y una entrada de la forma *{n}{formato} es equivalente a n copias de la especicacion
formato, que puede incluir, a la vez, otra especicaci
on *{n}{formato}. Esto permite escribir,
por ejemplo, una especicaci
on de seis columnas centradas de la forma *6c, en lugar de cccccc,
y una especicacion de doce columnas centradas como *{12}c, en lugar de cccccccccccc. Por
otra parte, una entrada de la forma @{texto} inserta texto en cada la de la tabla y suprime el
espaciado adicional que el LATEX normalmente inserta entre las columnas de una matriz.
El entorno array admite tambien una opci
on de alineaci
on vertical de la matriz que coincide
con la alineaci
on vertical de la primera la (t, top), o bien con la alineaci
on vertical de la u
ltima
la (b, bottom) de la matriz, o bien est
a centrada verticalmente (c, center ), que es la opci
on
por defecto. As, la forma generica de este entorno es
\begin{array}[alineaci
on]{formato}
las
\end{array}
Dentro del entorno array, el caracter & indica el salto a la columna siguiente, dos barras
invertidas \\ indican el comienzo de una nueva la de la matriz, la macro \hline inserta una
lnea horizontal que abarca toda la anchura de la matriz, la macro \cline{m-n} inserta una
lnea horizontal que se extiende desde la columna m hasta la columna n, donde 1 es la primera
columna contando desde la izquierda, y la macro \vline inserta una lnea vertical que abarca
toda la altura de la la.
No es preciso poner dos barras invertidas \\ en la u
ltima la de una matriz, salvo que se
quiera insertar una lnea horizontal al nal de la matriz. El siguiente es un ejemplo de una
matriz generica:
x11
x21
..
.
xm1
..
.
x12
x22
..
.
xm2
$$ \begin{array}{cccc}
x_{11} & x_{12} & \cdots
x_{21} & x_{22} & \cdots
\vdots & \vdots & \ddots
x_{m1} & x_{m2} & \cdots
\end{array} $$
x1n
x2n
..
.
xmn
&
&
&
&
x_{1n} \\
x_{2n} \\
\vdots \\
x_{mn}
Las lneas horizontales y verticales son u

tiles para dividir una matriz, por ejemplo cuando
se trata de una matriz que dene una operaci
on algebraica:
S
olo hay un grupo no cclico de orden 4:
e
a
b
c
e
e
a
b
c
a
a
e
c
b
b
b
c
e
a
c
c
b
a
e
S
olo hay un grupo no c
clico de orden 4:
$$ \begin{array}{r|rrrr}
& e & a & b & c \\ \hline
e & e & a & b & c \\
a & a & e & c & b \\
b & b & c & e & a \\
c & c & b & a & e
\end{array} $$
5 Matem
aticas con LATEX
113
Las matrices se suelen delimitar mediante parentesis. Para que los parentesis o cualquier
otro delimitador vertical sean de la misma altura que la matriz es preciso escribirlos detr
as de
las macros \left y \right para los delimitadores izquierdo y derecho, respectivamente:
0
B1
(I, B) = @ 0
0
0
1
0
0
0
1
b11
b21
b31
b12
b22
b32
b13
b23
b33
1
CA
$$ (I,B) = \left( \begin{array}{rrr|rrr}

1 & 0 & 0 & b_{11} & b_{12} & b_{13} \\
0 & 1 & 0 & b_{21} & b_{22} & b_{23} \\
0 & 0 & 1 & b_{31} & b_{32} & b_{33}
\end{array} \right) $$
Los coecientes binomiales tambien son matrices, a pesar que s

olo tienen una columna. Es
preciso poner un espacio no, de tres dieciochoavos de cuadratn, detr
as del smbolo de factorial
para que la expresi
on sea mas legible:
m
n
!
=
$$ \left( \begin{array}{c}
m \\ n
\end{array} \right)
= \frac{m!}{n!\,(m-n)!}
$$
m!
n! (m n)!
La activacion del paquete de deniciones amsmath tambien permite componer coecientes

binomiales, mediante la macro \binom:
n+1
k
n
k
n
k1
$$ \binom{n+1}{k}
= \binom{n}{k} + \binom{n}{k-1} $$
Otra de las construcciones matem

aticas que abarcan mas de una lnea son los determinantes.
Para componer el determinante de una matriz con LATEX es preciso delimitar la matriz mediante
barras verticales:
1

6
11
16
21
2
7
12
17
22
3
8
13
18
23
4
9
14
19
24
5
10
15
20
25

= 0

$$ \left| \begin{array}{rrrrr}
1 & 2 & 3 & 4 & 5 \\
6 & 7 & 8 & 9 & 10 \\
11 & 12 & 13 & 14 & 15 \\
16 & 17 & 18 & 19 & 20 \\
21 & 22 & 23 & 24 & 25
\end{array} \right| = 0 $$
Los delimitadores verticales, para que sean de tama

no variable, se han de escribir de manera
explcita alrededor de un entorno array. La activaci
on del paquete de deniciones delarray, sin
embargo, permite especicar de manera implcita los delimitadores de una matriz, es decir,
dentro de la especicacion misma de las columnas de la matriz. Esto simplica la escritura de
las matrices:
Composici
114
Id4
0
BB
=B
@
1
0
0
0
0
1
0
0
0
0
1
0
0
0
0
1
1
CC
CA
$$ \textrm{Id}_4 =
\begin{array}({rrrr})
1 & 0 & 0 & 0 \\
0 & 1 & 0 & 0 \\
0 & 0 & 1 & 0 \\
0 & 0 & 0 & 1
\end{array} $$
El paquete de deniciones array da muchas opciones adicionales para el entorno array, como tambien para el entorno de alineaci
on de texto tabular, entre las cuales >{declaraci
on} y
<{declaraci
on}.
Estas opciones se pueden incluir en una especicacion de columna para que la declaraci
on
se aplique inmediatamente antes o inmediatamente despues de componer las entradas en la
columna correspondiente. Por ejemplo, para componer en modo matem
atico todas las entradas
de una columna alineada contra el margen derecho en un entorno tabular basta la especicacion
de columna >$r<$, que equivale a escribir $ delante y detr
as de cada entrada de la columna:
e
a
b
c
e
e
a
b
c
a
a
e
c
b
b
b
c
e
a
c
c
b
a
e
\begin{tabular}{>$r<$|*4{>$r<$}}
& e & a & b & c \\ \hline
e & e & a & b & c \\
a & a & e & c & b \\
b & b & c & e & a \\
c & c & b & a & e
\end{tabular}
Por otra parte, el paquete de deniciones dcolumn da la opci

on adicional de alinear columnas
en la coma decimal en el entorno array, como tambien en el entorno de alineaci
on de texto tabular,
incluso cuando se mezclan n
umeros enteros y n
umeros con cifras decimales en las las de una
matriz. La especicacion de columna
D{punto}{coma}{decimales}
indica la composici
on de una columna de n
umeros alineados en la coma decimal, donde punto es
el caracter usado en el original electr
onico para separar las cifras enteras de las cifras decimales
(normalmente una coma, pero en la tradici
on anglosajona un punto), coma es el caracter usado
A
en el documento L TEX compuesto para separar cifras enteras de decimales (es decir, una coma)
y decimales es el n
umero maximo de cifras decimales admitidas en la columna, donde un valor
negativo especica que la columna puede incluir cualquier n
umero de cifras decimales.
As, la especicacion D{.}{,}{4} indica la composici
on de una columna de n
umeros que
llevan cuatro cifras decimales como maximo, alineados en la coma decimal y escritos con punto
decimal pero compuestos con coma decimal:
5 Matem
aticas con LATEX
n
1
2
3
4
5
6
7
8
9
10
115
$$ \begin{array}{r|D{.}{,}{4}}
n & \multicolumn{1}{c}{\log n!} \\ \hline
1 & 0 \\
2 & 0.6931 \\
3 & 1.7918 \\
4 & 3.1781 \\
5 & 4.7875 \\
6 & 6.5793 \\
7 & 8.5252 \\
8 & 10.6046 \\
9 & 12.8018 \\
10 & 15.1044
\end{array} $$
log n!
0
0,6931
1,7918
3,1781
4,7875
6,5793
8,5252
10,6046
12,8018
15,1044
Ecuaciones
Una ecuacion es una igualdad entre expresiones matematicas. Entonces, las ecuaciones se
pueden componer con LATEX de la misma manera que cualquier otra expresion matematica,
tanto dentro de un p
arrafo de texto como en un p
arrafo aparte:
$$
a_0 + a_1 x + a_2 x_2 + \cdots + a_n x^n
$$
a0 + a1 x + a2 x2 + + an xn
El entorno equation tambien permite componer cualquier expresi

on matematica como una
ecuacion en un p
arrafo aparte, pero enumerada:
a0 + a1 x + a2 x2 + + an xn
(5.1)
\begin{equation}
a_0 + a_1 x + a_2 x_2 + \cdots + a_n x^n
\end{equation}
El mecanismo de referencias cruzadas del LATEX se puede usar tambien para hacer referencia
a las ecuaciones; solo es preciso introducir una macro \label dentro del entorno equation:
La ecuaci
on 5.2 da la forma general de la ecuaci
on algebraica racional de grado n.
a0 + a1 x + a2 x2 + + an xn
(5.2)
La ecuaci
on \ref{eq:arrel} da la forma
general de la ecuaci
on algebraica
racional de grado $\leq n$.
\begin{equation}
a_0 + a_1 x + a_2 x_2 + \cdots + a_n x^n
\label{eq:arrel}
\end{equation}
Cuando las ecuaciones o, en general, las expresiones matematicas abarcan mas de una lnea,
sin embargo, es preciso usar los entornos eqnarray o eqnarray* en lugar del entorno equation. Los
entornos eqnarray y eqnarray* permiten componer una expresi
on o una secuencia de expresiones
Composici
116
matematicas, como por ejemplo una o mas ecuaciones o inecuaciones, como una matriz de tres
columnas, separadas por el car
acter &, donde dos barras invertidas \\ separan las las de la
matriz.
En el caso del entorno eqnarray*, las ecuaciones no son enumeradas:
(x y)
(x y)(x y)
x2 xy yx + y2
x2 2xy + y2
\begin{eqnarray*}
(x - y)^2 & = & (x - y) (x - y) \\
& = & x^2 - x y - y x + y^2 \\
& = & x^2 - 2 x y + y^2
\end{eqnarray*}
En el caso del entorno eqnarray, sin embargo, todas las ecuaciones son enumeradas, salvo
que haya una macro \nonumber en la la correspondiente:
(x y)
(x + y)2
(x y)(x y)
x xy yx + y
x2 2xy + y2
x2 + 2xy + y2
(5.3)
2
(5.4)
\begin{eqnarray}
(x - y)^2 & = & (x - y) (x - y) \\
& = & x^2 - x y - y x + y^2
\nonumber \\
& = & x^2 - 2 x y + y^2
\nonumber \\
(x + y)^2 & = & x^2 + 2 x y + y^2
\end{eqnarray}
La alineaci
on horizontal, mediante los entornos eqnarray y eqnarray*, de las expresiones matematicas que abarcan m
as de una lnea conlleva la necesidad de escoger siempre las posiciones
de divisi
on m
as apropiadas. La composicion de estas expresiones mediante una matriz de tres
columnas, sin embargo, no siempre permite obtener una alineaci
on satisfactoria, sobre todo
cuando, despues de dividirla, la expresi
on a
un es demasiado larga para componerla en una
lnea.
En estas situaciones, puede resultar mas conveniente la alineaci
on de una expresi
on matematica solo a partir de la segunda lnea, donde su primera lnea queda alineada contra el
margen izquierdo. Esto se puede conseguir poniendo la primera lnea de la expresion como
argumento de una macro \lefteqn en un entorno eqnarray o eqnarray*. La macro
\lefteqn{expresi
on}
compone la expresi
on como una f
ormula de anchura cero, lo que permite que la primera columna
de una ecuaci
on sea bastante estrecha para que la anchura total de la ecuaci
on sea la adecuada:
5 Matem
aticas con LATEX
117
\begin{eqnarray*}
\lefteqn{\psi(\sigma_{\Pi A/\equiv^F}
([a_1]_F,\ldots,[a_n]_F))} \\
& = & \psi([\sigma_{\Pi A}
(a_1,\ldots,a_n)]_F) \\
& = & [\theta(\sigma_{\Pi A}
(a_1,\ldots,a_n))] \\
& = & [\sigma_{\Pi B} (\theta(a_1),
\ldots,\theta(a_n))] \\
& = & \sigma_{\Pi B} ([\theta(a_1)],
\ldots,[\theta(a_n)]) \\
& = & \sigma_{\Pi B}(\psi([a_1]_F),
\ldots,\psi([a_n]_F)).
\end{eqnarray*}
(A/F ([a1 ]F , . . . , [an ]F ))

=
([A (a1 , . . . , an )]F )
[(A (a1 , . . . , an ))]
[B ((a1 ), . . . , (an ))]
B ([(a1 )], . . . , [(an )])
B (([a1 ]F ), . . . , ([an ]F )).
El paquete de deniciones amsmath tambien permite componer ecuaciones y expresiones

matematicas que abarcan mas de una lnea, de manera similar a los entornos eqnarray y eqnarray*
pero con muchas formas de alineaci
on horizontal adicionales, mediante los entornos siguientes:
split
gather
multline
equation*
gather*
multline*
align
align
alignat
align*
align*
alignat*
El entorno equation* es equivalente al entorno equation del LATEX pero sin enumerar la
ecuacion. Es decir, el entorno equation* compone una ecuacion o una expresi
on matematica
cualquiera en un p
arrafo aparte:
a=b
a=b
(5.5)
\begin{equation}
a = b
\end{equation}
\begin{equation*}
a = b
\end{equation*}
Los entornos multline y multline* permiten componer aquellas expresiones matematicas que
son demasiado largas para que sean compuestas en una sola lnea, cosa que tambien se puede
conseguir mediante macros \lefteqn dentro de los entornos eqnarray y eqnarray* pero que
con los entornos multline y multline* es automatica. La primera lnea de la expresion queda
alineada contra el margen izquierdo, mientras que la u
ltima lnea queda alineada contra el
margen derecho y las otras lneas se componen centradas entre los dos margenes:
Composici
118
a+b+c+d+e+f
+g + h + i + j
+k + l + m + n + p + q
a+b+c+d+e+f
+g+h+i+j
+k+l+m+n+p+q
\begin{eqnarray*}
\lefteqn{a + b + c + d + e + f} \\
& & + g + h + i + j \\
& & + k + l + m + n + p + q
\end{eqnarray*}
\begin{multline*}
a + b + c + d + e + f \\
+ g + h + i + j \\
+ k + l + m + n + p + q
\end{multline*}
El entorno split tambien permite componer las expresiones matematicas que son demasiado
largas para que sean compuestas en una sola lnea, pero las lneas en que se divide una expresi
on
matematica se han de alinear en este caso en dos columnas, mediante el caracter & de salto a
la columna siguiente. El entorno split solo se puede usar dentro de otro entorno matem
atico,
como por ejemplo equation, align o gather:
\begin{equation*}
\begin{split}
a & = b + c - d \\
& \quad + e - f \\
& = g + h \\
& = i
\end{split}
\end{equation*}
a = b+cd
+ef
= g+h
=i
Los entornos gather y gather* permiten reunir una serie de expresiones matem
aticas sin
alinearlas horizontalmente. Las ecuaciones se componen centradas entre los m
argenes izquierdo
y derecho:
\begin{gather*}
a_1 = b_1 + c_1 \\
a_2 = b_2 + c_2 - d_2 + e_2
\end{gather*}
a1 = b1 + c1
a2 = b2 + c2 d2 + e2
Los entornos align y align* permiten alinear horizontalmente una serie de expresiones matematicas, de manera similar al entorno split o a los entornos eqnarray y eqnarray* pero con un
n
umero ilimitado de posiciones de alineaci
on. Los entornos align y align* son muy u
tiles para
alinear una serie de columnas de ecuaciones:
x=y
x =y
X =Y
x + x = y + y
X = Y
X + X = Y + Y
\begin{align*}
x & = y
& X & = Y \\
x & = y
& X & = Y \\
x + x & = y + y & X + X & = Y + Y
\end{align*}
5 Matem
aticas con LATEX
119
Ademas, los entornos align y align* permiten componer las columnas de ecuaciones alineadas contra los m
argenes izquierdo y derecho:
x=y
x =y
X=Y
X = Y
x+x = y+y
X + X = Y + Y
\begin{flalign*}
x & = y
& X & = Y \\
x & = y
& X & = Y \\
x + x & = y + y & X + X & = Y + Y
\end{flalign*}
Finalmente, los entornos alignat y alignat* permiten especicar el espaciado entre las columnas. Estos entornos tienen como argumento el n
umero de columnas de ecuaciones que se
quieren componer:
x = ypor denici
on
f (x y) = 0porque f es lineal
x=y
por denici
on
f (x y) = 0porque f es lineal
x=y
f (x y) = 0
por denici
on
porque f es lineal
\begin{alignat*}{2}
x & = y && \textrm{por definici
on}\\
f(x - y) & = 0 && \textrm{porque $f$ es
lineal} \\ \\
x & = y && \qquad
\textrm{por definici
on}\\
f(x - y) & = 0 && \textrm{porque $f$ es
lineal} \\ \\
x & = y && \qquad \textrm{por
definici
on} \\
f(x - y) & = 0 && \qquad \textrm{porque
$f$ es lineal}
\end{alignat*}
Los efectos de los entornos split, gather, gather*, align, align*, align, align*, alignat y
alignat* se pueden conseguir f
acilmente mediante el entorno array del LATEX. En este sentido,
los entornos equation*, multline y multline* son los u
nicos que justican la activaci
on del paquete
de deniciones amsmath.
5.6
Diagramas conmutativos
El sistema LATEX permite la composici

on de diagramas conmutativos de gran calidad tipogr
aca, mediante la activaci
on de alg
un paquete de deniciones. De hecho, muchos profesores e
investigadores de renombre dentro del campo de la teora de categoras han desarrollado su propio paquete de deniciones para componer diagramas conmutativos, entre los cuales M. Barr,
F. Borceux, P. Burchard, J. Reynolds, K. Rose, S. Smith, M. Spivak, A. Svensson y P. Taylor,
en muchos de los casos para poder componer los diagramas conmutativos de sus libros de texto.
El artculo (Valiente, 1994) contiene una recension de los diferentes paquetes de deniciones para componer diagramas conmutativos con TEX y LATEX. En este apartado se explica
como componer diagramas conmutativos con el paquete de deniciones pb-diagram, escrito por
Composici
120
P. Burchard, que es bastante sosticado para permitir ilustrar la composici

on de diagramas
conmutativos con LATEX, como por ejemplo el siguiente:
X p
p p j
p p p
D
B
i
f
g
g

C
A
f
$$ \begin{diagram}
\node{X} \arrow{ese,t}{j} \arrow{se,..}
\arrow{sse,b}{i} \\
\node{}
\node{D} \arrow{e,b}{f} \arrow{s,r}{g}
\node{B} \arrow{s,r}{g} \\
\node{}
\node{A} \arrow{e,b}{f}
\node{C}
\end{diagram} $$
La activacion del paquete de deniciones pb-diagram permite componer diagramas conmutativos mediante el entorno
\begin{diagram}
las
\end{diagram}
donde las es, esencialmente, una matriz rectangular de nodos y arcos.
Los objetos o nodos del diagrama se disponen de manera similar a las entradas de una matriz
en un entorno array del LATEX. La macro
\node{f
ormula}
compone f
ormula como nodo del diagrama, en modo matem
atico. La separacion entre las las
y las columnas del diagrama se ajusta automaticamente seg
un el tama
no de los nodos.
Dentro del entorno diagram, dos barras invertidas \\ indican el comienzo de una nueva la
del diagrama. Igual que en el entorno array, no es preciso poner dos barras invertidas en la
u
ltima la del diagrama. A diferencia del entorno array y de los otros paquetes de deniciones
para componer diagramas conmutativos, sin embargo, no es preciso escribir el caracter & para
indicar el salto a la columna siguiente, dado que los nodos est
an delimitados por las macros
\node:
LKR
GDH
$$ \begin{diagram}
\node{L} \node{K} \node{R} \\
\node{G} \node{D} \node{H}
\end{diagram} $$
Los morsmos o arcos del diagrama se disponen en la entrada de la matriz subyacente que
contiene el nodo de origen y se especican mediante la posicion de su entrada de destino. La
macro
\arrow{direcci
on,opciones}
5 Matem
aticas con LATEX
121
compone un arco, donde direcci

on especica los desplazamientos necesarios en los sentidos de los
puntos cardinales para llegar hasta la entrada de destino, como por ejemplo ene para especicar
un arco que se extiende hasta dos entradas hacia la derecha y una entrada hacia arriba. Los
arcos se encogen o se ensanchan automaticamente para llegar hasta sus nodos de origen y de
destino:
L
$$ \begin{diagram}
\node{L} \arrow{s}
\node{K} \arrow{w} \arrow{e} \arrow{s}
\node{R} \arrow{s} \\
\node{G}
\node{D} \arrow{w} \arrow{e}
\node{H}
\end{diagram} $$
Las posiciones que se pueden especicar como destino de los arcos son las siguientes:
nnw
nne
ene
n ne
e
w
wsw
sw
s
ese
se
ssw
sse
wnw
nw
Los arcos empleados en los diagramas conmutativos suelen ser de formas o estilos diversos, para poder distinguir diferentes clases de morsmos, como por ejemplo monomorsmos,
epimorsmos, isomorsmos, inclusiones, etc. El trazo de los arcos normalmente es continuo,
a pesar que se suelen usar otros trazos, como por ejemplo de rayas o de puntos, para indicar
que lo que se caracteriza es la existencia del morsmo correspondiente, o bien que se dene el
morsmo correspondiente.
El paquete de deniciones pb-diagram incluye una colecci
on de estilos de arcos, cada uno de
los cuales es una combinacion particular de cola (la parte del arco que hay en el extremo de
origen), de cabeza o punta (la parte del arco que hay en el extremo de destino) y de trazo.
El estilo por defecto consiste en una cola vaca, una cabeza angular y un trazo continuo. Las
opciones de las macros \arrow permiten seleccionar otro estilo, donde .. especica un trazo de
puntos, ! especica un trazo invisible, <> especica una cola angular y - especica una cabeza
invisible:
Composici
122
pp
pp
C
B
$$ \begin{diagram}
\node{} \node{B} \node{} \node{D} \\
\node{A} \arrow{ne,..}
\node{} \node{C} \arrow{ne,!} \\
\node{A} \arrow{ne,<>}
\node{} \node{C} \arrow{ne,-}
\end{diagram} $$
Muy a menudo, los arcos se etiquetan con el nombre del morsmo que representan. La
macro
\arrow[tama
no]{direcci
on,situaci
on,opciones}{f
ormula}
permite especicar un arco etiquetado, donde f
ormula se compone como etiqueta del arco y
situaci
on determina la colocacion de la etiqueta: encima (t, top) o debajo (b, bottom) de los
arcos horizontales o inclinados, o bien a la izquierda (l, left ) o a la derecha (r, right ) de los arcos
verticales:
B
f
$$ \begin{diagram}
\node{A} \arrow{ne,t}{f}
\node{} \node{C} \arrow{ne,b}{g}
\end{diagram} $$
Tambien se pueden componer dos etiquetas alrededor de un arco, mediante la macro

\arrow[tama
no]{direcci
on,situaci
on,opciones}{f
ormula}{f
ormula}
que permite especicar un arco con dos etiquetas, donde situaci
on determina la colocacion de
las etiquetas: encima y debajo (tb) de los arcos horizontales o inclinados, o bien a la izquierda
y a la derecha (lr) de los arcos verticales:
B
f
$$ \begin{diagram}
\node{} \node{B} \\
\node{A} \arrow{ne,tb}{f}{g}
\end{diagram} $$
Los siguientes son algunos ejemplos de diagramas conmutativos:
5 Matem
aticas con LATEX
l
L
G
$$ \begin{diagram}
\node{L} \arrow{s,l}{m}
\node{K} \arrow{w,t}{l} \arrow{e,t}{r}
\arrow{s,r}{g}
\node{R} \arrow{s,r}{g} \\
\node{G}
\node{D} \arrow{w,b}{l} \arrow{e,b}{r}
\node{H}
\end{diagram} $$
g
123
A + B 2
pp
pp
pp
p
g
f
ppp

$$ \begin{diagram}
\node{A} \arrow{e,t}{\imath_1}
\arrow{se,b}{f}
\node{A+B} \arrow{s,..}
\node{B} \arrow{w,t}{\imath_2}
\arrow{sw,b}{g} \\
\node{} \node{C} \node{}
\end{diagram} $$
BC
2
A,B,C
p p (A B) C
A (B C) p p p p p
id1
AB
$$ \begin{diagram}
\node{B \times C} \arrow{e,t}{\pi_2}
\node{C} \\
\node{A \times (B \times C)}
\arrow{n,l}{\pi_2}
\arrow{e,t,..}{\alpha_{A,B,C}}
\arrow{se,b}{\mathrm{id} \times \pi_1}
\node{(A \times B) \times C}
\arrow{n,r}{\pi_2}
\arrow{s,r}{\pi_1} \\
\node{} \node{A \times B}
\end{diagram} $$

Composicion de Textos Cientificos

Hochgeladen von

Dokumentinformationen

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Composicion de Textos Cientificos

Hochgeladen von

Copyright:

Verfügbare Formate

5 Matem

aticas con LATEX

El LATEX ofrece un modo especco para componer f

Los autores, 1999; Edicions UPC, 1999.

$existen q y r tales que a = b q + r$

existen q y r tales que a = bq + r

Esta no es, sin embargo, la u

$a = b q + r$ siempre que $0 \leq r < b$

Otra posibilidad para escribir texto en modo matem

$a = b q + r$ siempre que $0 \leq r < b$

Los autores, 1999; Edicions UPC, 1999.

a = bq + r siempre que 0 r < b

Para componer una f

Resulta conveniente destacar las formulas largas en un p

$a^x+y \neq a^{x+y}$

Los autores, 1999; Edicions UPC, 1999.

3,141 592 653 589 793 238 464 \\

Las constantes y las variables se componen normalmente en cursiva. El LATEX selecciona

Los autores, 1999; Edicions UPC, 1999.

Consideremos espacios vectoriales E, F, G, H

Consideremos espacios vectoriales E, F, G,

Los autores, 1999; Edicions UPC, 1999.

Ademas, se puede poner toda una expresi

\TeX\ se pronuncia como $\tau\epsilon\chi$.

Sean $a, b \in \mathbb{R}$. \par

Cuanto a los smbolos de operaci

Los autores, 1999; Edicions UPC, 1999.

los mas usuales aparecen en los ejemplos siguientes:

Igual que las constantes y las variables, los smbolos de operaci

$log x y = log x + log y$ \par

logxy = logx + logy

El LATEX permite componer algunos de los smbolos de operaci

Para componer otros smbolos de operaci

Los autores, 1999; Edicions UPC, 1999.

$\ker f = \{ g \in G \mid f(g) = e\}$ \par

$r = a \bmod b$ es el resto de la divisi

$a \equiv b \mod m$ \par

Algunos smbolos de operaci

Los autores, 1999; Edicions UPC, 1999.

$$\int_0^\pi \qquad \sum_{i=1}^n

Estos smbolos de operaci

$\int_0^\pi \qquad \sum_{i=1}^n

Se puede componer una expresi

como por ejemplo

Se puede componer una expresi

Los autores, 1999; Edicions UPC, 1999.

Las fracciones se pueden componer dentro de un p

Los autores, 1999; Edicions UPC, 1999.

Si $x \not< y$ entonces $x \not\leq y-1$.

$x_1 + x_2 + \cdots + x_n$ \par

$x_1 + x_2 + \dots + x_n$ \par

Los autores, 1999; Edicions UPC, 1999.

$a_1$ \qquad $x^2$ \qquad

Para escribir texto como subndice o superndice de una f

$$2^n \qquad 2^{\textrm{n}}

Algunas de las funciones est

tambien se puede componer dentro de un

Los autores, 1999; Edicions UPC, 1999.

La suma a11 + + ann se llama la traza de la

$$(x + y)^2 = x^2 + 2 x y + y^2$$

Los autores, 1999; Edicions UPC, 1999.

Esto da la posibilidad de escoger el tama

$1 + \big( \frac{1}{1 - x^2} \big)^3$

Los autores, 1999; Edicions UPC, 1999.