IN01703C

A
5 Matemticas con L TEX

a
83
Cap
tulo 5
A
Matemticas con L TEX
a
La composicin de textos matemticos es una tarea extremadamente dif
o
a
cil, en relacin con la
o
composicin de textos en general. La notacin matemtica se caracteriza por el uso de gran
o
o
a
variedad de s
mbolos (letras romanas, griegas, hebreas, gticas, caligrcas, etc.) y las expresioo
a
nes matemticas suelen incluir sub
a
ndices y super
ndices, fracciones, delimitadores (parntesis,
e
corchetes, llaves, llaves angulares, barras verticales, etc.), s
mbolos de operacin (suma, produco
to, unin, interseccin, integral, etc.), s
o
o
mbolos relacionales (igualdad, desigualdad, inclusin,
o
etc.), letras y subexpresiones con signos diacr
ticos, vectores, matrices, determinantes, etc.
La composicin de textos cient
o
cos en general, sin embargo, conlleva muchos de los mismos
problemas que la composicin de textos matemticos, por el hecho que prcticamente todas las
o
a
a
disciplinas cient
cas han ido incorporando durante su desarrollo, directamente o indirectamente, elementos de notacin matemtica. De hecho, en muchos casos la notacin propia de una
o
a
o
disciplina cient
ca no es sino una forma particular de notacin matemtica.
o
a
Los s
mbolos qu
micos son un claro ejemplo: a causa de la variedad isotrpica, de las difeo
rentes formas alotrpicas y de las diversas cargas elctricas que pueden soportar, los s
o
e
mbolos de
los elementos se suelen especicar mediante una letra o una serie de letras pero conjuntamente
con sub
ndices y super
ndices, dispuestos simtricamente en torno a las letras del s
e
mbolo, que
representan el nmero atmico (sub
u
o
ndice izquierdo), el nmero de masa (super
u
ndice izquierdo), el nmero de atomos (sub
u
ndice derecho) y la carga inica (super

o
ndice derecho), como por
2+
ejemplo 32 S2 para especicar el azufre.
16
Es precisamente en las tareas de composicin de textos cient
o
cos que incluyen muchos
A
o
elementos de notacin matemtica, donde el L TEX supera los programas de composicin visual.
o
a
A
La gran acogida de los sistemas TEX y L TEX por parte de profesores e investigadores de estas
a
reas lo demuestra.
5.1
Reglas bsicas
a
A
El L TEX ofrece un modo espec
co para componer frmulas matemticas, el llamado modo
o
a
matemtico. El modo matemtico permite escribir expresiones matemticas tanto dentro de un
a
a
a
Los autores, 1999; Edicions UPC, 1999.
A
Composicin de textos cientcos con L TEX
o
84
prrafo de texto como en un prrafo aparte, cosa que se suele llamar destacar o resaltar una
a
a
frmula.
o
Para componer una frmula en modo matemtico dentro de un prrafo es preciso escribirla
o
a
a
entre los s
mbolos $ y $, o tambin entre dos s
e
mbolos $ o bien dentro de un entorno math.
Es decir, de cualquiera de las maneras siguientes:
$ frmula $
o
$ frmula $
o
\begin{math} frmula \end{math}

o
A
Una de las diferencias existentes entre el modo texto y el modo matemtico es que el L TEX
a
ignora todos los espacios que hay en el original electrnico cuando compone una frmula en
o
o
modo matemtico, para obtener el espaciado correcto de las frmulas matemticas. Por lo
a
o
a
tanto, es preciso componer el texto en modo texto y las frmulas en modo matemtico:
o
a
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$
A
Esta no es, sin embargo, la unica solucin posible. El L TEX tambin permite escribir texto
o
e
en modo matemtico mediante las macros \textup, \textit, \textsl, \textsc, \textmd,
a
\textbf, \textrm, \textsf y \texttt, que componen su argumento en modo texto. Esto
resulta particularmente util cuando el texto que se quiere escribir en modo matemtico es
a
A
breve. Es preciso notar, sin embargo, que el L TEX no ignora el espaciado del texto en este caso,
a pesar que ignora el espaciado en el entorno del texto. Los espacios delante y detrs del texto
a
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 matemtico es mediante las macros \mathit,
a
\mathbf, \mathrm, \mathsf y \mathtt, que componen su argumento en modo matemtico y
a
tienen la ventaja respecto a las macros \textrm, etc. que slo afectan la familia, la serie y la
o
forma de los caracteres, sin modicar el cuerpo ni el espaciado. Su gran desventaja, sin embargo,
A
es que el L TEX tambin ignora el espaciado del texto incluido en estas macros. Entonces, es
e
preciso introducir los espacios necesarios mediante macros \ 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$
A
a
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 frmula en modo matemtico en un prrafo aparte, es preciso escribirla
o
a
a
entre los s
mbolos \[ y \], o tambin entre dos s
e
mbolos $$ o bien dentro de un entorno
displaymath. Es decir, de cualquiera de las maneras siguientes:
\[ frmula destacada \]
o
$$ frmula destacada $$
o
\begin{displaymath}
frmula destacada
o
\end{displaymath}
As la frmula (a0 , a1 , . . . , an ) + (b0 , b1 , . . . , bn ) = (a0 + b0 , a1 + b1 , . . . , an + bn ) se puede

,
o
componer tambin en un prrafo aparte:
e
a
(a0 , a1 , . . . , an ) + (b0 , b1 , . . . , bn ) = (a0 + b0 , a1 + b1 , . . . , an + bn )
La frmula (a0 + b0 + c0 , a1 + b1 + c1 , . . . , an +
o
bn + cn ) se puede componer tambin en un
e
prrafo aparte:
a
(a0 + b0 + c0, a1 + b1 + c1 , . . . , an + bn + cn)
La frmula $(a_0 + b_0 + c_0,

o
a_1 + b_1 + c_1, \ldots,
a_n + b_n + c_n)$ se puede componer
tambin en un prrafo aparte:
e
a
$$ (a_0 + b_0 + c_0, a_1 + b_1 + c_1,
\ldots, a_n + b_n + c_n) $$
Resulta conveniente destacar las frmulas largas en un prrafo parte, para evitar problemas
o
a
de divisin de las l
o
neas que las contienen, pero sobre todo para facilitar su lectura.
5.2
Frmulas matemticas
o
a
A
El L TEX da acceso a una gran variedad de s
mbolos y de macros que se pueden usar para
componer frmulas, es decir, que se pueden usar en modo matemtico.
o
a
Muchas de las macros matemticas operan slo sobre el carcter siguiente. Una macro
a
o
a
afecta, sin embargo, toda una serie de caracteres cuando stos estn agrupados o incluidos
e
a
entre llaves:
ax + y = ax+y
$a^x+y \neq a^{x+y}$
A
Los subapartados siguientes presentan las clases de macros principales del L TEX para componer frmulas matemticas.
o
a
S
mbolos matemticos
a
En las expresiones matemticas se pueden distinguir cuatro elementos bsicos: los s
a
a
mbolos de
operacin y relacionales, los nmeros, las constantes y las variables.
o
u
86
A
o
A
Todos estos elementos se escriben directamente con L TEX o se componen mediante macros
A
u
o
o
del L TEX, seg n se explica a continuacin. El apartado 5.4 contiene una coleccin de tablas
con todos los s
mbolos y las macros que se pueden usar para componer frmulas matemticas
o
a
A X, como por ejemplo letras griegas y caligrcas, s
a
mbolos de operacin y relacionales,
o
con L TE
echas, delimitadores y muchos otros s
mbolos.
Los nmeros se pueden escribir tanto en modo texto como en modo matemtico. La fau
a
milia, la serie y la forma de los caracteres, como tambin el espaciado entre los n meros, son
e
u
exactamente los mismos en modo texto y en modo matemtico:
a
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 nmeros decimales, sin embargo, el espaciado no es correcto porque el

u
A
o
L TEX compone la coma decimal como signo de puntuacin y pone un espacio no adicional
A
detrs de la coma. Es preciso escribir la coma decimal entre llaves; el L TEX la compone entonces
a
como s
mbolo ordinario. Asimismo, los decimales se suelen separar en bloques de tres cifras
mediante un espacio no para facilitar su lectura. El espacio no ms apropiado en este caso
a
parece ser \,, es decir, tres dieciochoavos de cuadrat
n:
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 meros grandes (millares, millones, biliards, billones) se suelen separar con un punto
u
cada tres cifras, tambin para facilitar su lectura, a excepcin de los a os. A diferencia de la
e
o
n
A
coma decimal, sin embargo, el L TEX no agrega ningn espaciado adicional detrs de un punto
u
a
porque, seg n las normas ortogrcas anglosajonas, el punto es un punto decimal. Entonces,
u
a
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$
A
Las constantes y las variables se componen normalmente en cursiva. El L TEX selecciona
automticamente las fuentes de caracteres y el espaciado ms apropiado para componer frmulas
a
a
o
matemticas; slo es preciso escribir los nombres de constante y de variable en modo matemtico
a
o
a
o dentro de una frmula en modo matemtico:
o
a
A
a
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 ultimas letras
del alfabeto para denotar variables, a pesar que hay constantes que, por razones histricas, se
o
escriben con letras de otros alfabetos, como por ejemplo , la razn constante que existe entre
o
la longitud de la circunferencia y su dimetro, dado que es la inicial de la palabra griega
a
(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 cient
co. Un recurso muy usual en estos casos consiste en poner acentos
y otros signos diacr
ticos encima de las letras romanas.
A
El L TEX admite diez signos diacr
ticos diferentes en modo matemtico. Las macros del
a
A X para componerlos son las siguientes: \hat (acento circunejo, e), \check (acento cirL TE
cunejo inverso, e), \breve (brevis, e), \acute (acento agudo o cerrado, e), \grave (acento
grave o abierto, e), \tilde (tilde, e), \bar (barra o l

`
nea horizontal, e), \vec (vector, e ), \dot
(punto, e) y \ddot (diresis o punto doble, e). Tanto los signos diacr
ticos como el espaciado

correspondiente en modo matemtico dieren de los acentos y el espaciado en modo texto.
a
Dos de estos signos diacr
ticos, el acento circunejo \hat y la tilde \tilde, no slo se pueden
o
poner encima de una letra sino que tambin se pueden poner encima de toda una expresin,
e
o
mediante las macros \widehat y \widetilde. Estas macros componen un signo diacr
tico el
tama o del cual tendr que ensancharse hasta abarcar toda la expresin, pero que en realidad
n
a
o
seleccionan un tamao para el signo diacr
n
tico de entre tres tama os jos:
n
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 diacr

tico sobre una letra i o j dentro de
una frmula matemtica es preciso quitar antes el punto que llevan encima, cosa que se hace
o
a
en modo matemtico escribiendo \imath o \jmath. As entonces, para obtener una letra con
a
una barra o l
nea horizontal es preciso escribir \bar\imath o bien \bar{\imath}.
A
o
88
Adems, se puede poner toda una expresin encima de otra. La macro

a
o
\stackrel{expresin encima}{expresin debajo}
o
o
compone la expresin encima encima de la expresin debajo:
o
o
f
$A \stackrel{f}{\longrightarrow} B
\stackrel{g}{\longrightarrow} C$
A B C
Otro recurso muy empleado son las letras griegas y a veces tambin las hebreas, como
e
tambin las letras caligrcas, en lugar de las letras romanas. Las letras griegas min sculas
e
a
u
A
se escriben con L TEX mediante las macros \alpha, \beta, \gamma, etc., mientras que las
may sculas se escriben con las macros \Gamma, \Delta, etc. Las letras caligrcas se escriben
u
a
mediante la macro \mathcal seguida de la letra mayscula correspondiente:
u
TEX se pronuncia como .
Sean C una categor y M una clase de mora
smos de C.
\TeX\ se pronuncia como $\tau\epsilon\chi$.

Sean $\mathcal{C}$ una categora y
$\mathcal{M}$ una clase de morfismos

de $\mathcal{C}$.
Slo se pueden escribir letras may sculas y signos de puntuacin como argumento de la
o
u
o
macro \mathcal:
El par (C, M) tambin se puede escribir de la
e
forma (C, M).
A
El L TEX no permite componer letras caligrcas minsculas:
a
u
{} |
El par $(\mathcal{C},\mathcal{M})$
tambin se puede escribir de la
e
forma $(\mathcal{C,M})$.
El \LaTeX\ no permite componer letras
caligrficas minsculas:
a
u
$$\mathcal{abcdefghijklmnopqrstuvwxyz}$$
Un recurso tipogrco adicional consiste en emplear letras romanas may sculas en negrita,
a
u
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 nmeros enteros Z, de los n meros racionales Q, de los n meros reales R,
u
u
u
etc.
La activacin de los paquetes de deniciones amssymb o amsfonts permite escribir las letras
o
A
en negrita de pizarra con L TEX mediante la macro \mathbb, seguida de la letra correspondiente:
Sean a, b R.
A B C D E FG H IJ
KLMNOP S U WX Z
QR T V
Y
Sean $a, b \in \mathbb{R}$. \par

$\mathbb{ABCDEFGHIJKLMNOPQRSTUVWXYZ}$
A
Cuanto a los s
mbolos de operacin y relacionales, el L TEX admite cerca de doscientos
o
A
s
mbolos diferentes, muchos de los cuales se componen mediante macros del L TEX. Algunos de
A
a
89
los ms usuales aparecen en los ejemplos siguientes:

a
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 s

mbolos de operacin y relacionales tambin
o
e
se componen en cursiva, pero slo cuando consisten en una unica letra. De otro modo, se
o
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
A
El L TEX permite componer algunos de los s
mbolos de operacin ms usuales, las llamadas
o
a
funciones estndares, como por ejemplo \log para el s
a
mbolo de operacin correspondiente a la
o
funcin logaritmo, mediante las macros siguientes, algunas de las cuales han sido sombreadas,
o
ndices y super
ndices, seg n se explica
u
como por ejemplo \lim , para indicar que admiten sub
ms abajo en este apartado:
a
\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 s

mbolos de operacin similares, como por ejemplo \Nuc para el ncleo
o
u
de una aplicacin, en lugar de \ker, que compone la abreviacin del nombre de este s
o
o
mbolo
de operacin en ingls (kernel ), se puede denir una nueva macro o bien redenir una de las
o
e
A
macros estndares del L TEX:
a
A
o
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 tambin permiten denir macros para come
poner abreviacions de s
mbolos de operacin. La macro
o
\DeclareMathOperator{\macro}{abreviacin}
o
dene la abreviacin de un nuevo s
o
mbolo de operacin, como por ejemplo
o
\DeclareMathOperator{\Nuc}{Nuc}, mientras que la macro
\DeclareMathOperator*{\macro}{abreviacin}
o
dene la abreviacin de un s
o
mbolo de operacin que admite un sub
o
ndice y un super
ndice.
Esto permite escribir \Nuc para componer la abreviacin en castellano Nuc del s
o
mbolo de
operacin kernel, con el espaciado correcto, dentro de una expresin matemtica.
o
o
a
Dos funciones estndares adicionales son \bmod y \pmod, que denotan el mdulo, residuo
a
o
o resto de la divisin entera. Mientras que la macro \bmod compone el nombre como s
o
mbolo
relacional binario, la macro \pmod lo compone como una expresin entre parntesis:
o
e
r = a mod b es el resto de la divisin entera de
o
a por b.
a b (mod m) si y slo si existe q Ztal que
o
a b = qm.
$r = a \bmod b$ es el resto de la divisin

o
entera de $a$ por $b$. \par
$a \equiv b \pmod m$ si y slo si existe
o
$q \in \mathbb{Z}$ tal que $a - b = q m$.
Con la activacin de los paquetes de deniciones amsopn o amsmath, sin embargo, el eso
paciado producido por las macros \bmod y \pmod es ms apropiado cuando los s
a
mbolos de
operacin correspondientes se componen dentro de un prrafo de texto. Adems, este paquete
o
a
a
de deniciones permite usar dos s
mbolos de operacin adicionales que son similares a la macro
o
\pmod. La macro \mod compone el nombre como una expresin pero sin los parntesis, mientras
o
e
que la macro \pod compone los parntesis pero sin el nombre del s
e
mbolo de operacin:
o
a b mod m
$a \equiv b \mod m$ \par

$a \equiv b \pod m$
a b (m)
Algunos s
mbolos de operacin y relacionales merecen una explicacin adicional. El s
o
o
mbolo
de operacin de ra cuadrada se compone mediante la macro
o
z
\sqrt[n]{expresin}
o
donde el argumento opcional n especica el orden de la ra
z:
px
$\sqrt{x}$ \qquad
$\sqrt{x^2+\sqrt{y}}$ \qquad
$\sqrt[3]{2}$
A
a
91
El tamao del s
n
mbolo de operacin que compone la macro \sqrt se ensancha hasta abarcar
o
todo su argumento:
v
u
u
u
u
t
v v s
u u
u u
r
u t
t1 + 1 + 1 + 1 + q1 + 1 + x
1+
$$
\sqrt{1+\sqrt{1+\sqrt{1+
\sqrt{1+\sqrt{1+\sqrt{1+\sqrt{1+x}}}}}}}
$$
El s
mbolo de operacin de integral se compone mediante la macro \int y los s
o
mbolos de
operacin sumatorio y productorio se componen mediante las macros \sum y \prod, respectivao
mente. Los l
mites inferior y superior del intervalo de integracin o de la serie correspondiente
o
se especican mediante sub
ndices y super
ndices:
X
n
i=1
j=0
$$\int_0^\pi \qquad \sum_{i=1}^n

\qquad \prod_{j=0}^\infty$$
Estos s
mbolos de operacin tambin se pueden componer dentro de un prrafo de texto.
o
e
a
En este caso, los l
mites inferior y superior no se componen encima y debajo del s
mbolo de
operacin sino que son alineados verticalmente en la parte inferior y en la parte superior del
o
s
mbolo, respectivamente:
n
i=1
j=0
$\int_0^\pi \qquad \sum_{i=1}^n

\qquad \prod_{j=0}^\infty$
Algunas editoriales cient

cas tambin componen los l
e
mites inferior y superior encima y
debajo de los s
mbolos de operacin cuando estn dentro de un prrafo de texto, lo que meo
a
a
jora la legibilidad de las expresiones matemticas pero introduce un interlineado irregular en
a
el prrafo. Las macros \limits y \nolimits del sistema TEX se pueden incluir en un docua
A
a
mbolo de operacin, para especicar
o
mento L TEX, inmediatamente detrs de una macro de s
la composicin de los l
o
mites inferior y superior encima y debajo del s
mbolo de operacin, o
o
bien alineados verticalmente en la parte inferior y en la parte superior del s
mbolo de operacin,
o
respectivamente:
Se puede componer una expresin matemtica

o
a
como por ejemplo
n=1
(1)n
n
dentro de un
prrafo de texto pero donde los l

a
mites inferior
y superior son dispuestos encima y debajo del
s
mbolo de operacin sumatorio, a pesar que la
o
n
manera estndar de componerlos, (1) ,
a
n=1
n
no altera el interlineado del prrafo.
a
Se puede componer una expresin matemtica

o
a
como por ejemplo
$\sum\limits_{n=1}^{\infty}
\frac{(-1)^n}{n}$ dentro de un prrafo de
a
texto pero donde los lmites inferior y
superior son dispuestos encima y debajo del

smbolo de operacin sumatorio, a pesar que
o
la manera estndar de componerlos,
a
$\sum_{n=1}^{\infty} \frac{(-1)^n}{n}$, no
altera el interlineado del prrafo.
a
A
o
92
Las fracciones se pueden componer dentro de un prrafo de texto o bien en un prrafo

a
a
aparte. En el primer caso, el numerador se separa del denominador mediante un signo de
divisin normal. Para componer una fraccin en un prrafo aparte, sin embargo, es preciso
o
o
a
emplear la macro
\frac{numerador }{denominador }
donde numerador y denominador son expresiones o frmulas matemticas:
o
a
Un tercio es 1/3 pero tambin
e
n
2
1
.
3
Un tercio es $1/3$
pero tambin $\frac{1}{3}$.
e
$$
\frac{n}{2} \int_a^b x\,dx
$$
x dx
a
En general, las fracciones relativamente complejas resultan dif

ciles de leer cuando se componen dentro de un prrafo de texto, como por ejemplo ((a1 + ia2 ) + (a11 s1 + a21 s2 ))/((b1 +
a
11 s1 +a21 s
o
a
ib2 ) + (b11 s1 + b21 s2 )) o (a1 +ia2 )+(a11 s1 +b21 s22)) , y su composicin en un prrafo aparte puede
(b1+ib2 )+(b
mejorar mucho su legibilidad:
(a1 + ia2 ) + (a11 s1 + a21 s2 )
(b1 + ib2 ) + (b11 s1 + b21 s2 )
Sin embargo, siempre que la composicin de una fraccin dentro de un prrafo de texto no
o
o
a
conlleve ningn problema de legibilidad, esta solucin tipogrca suele ser preferible a la comu
o
a
posicin en un prrafo aparte por razones de econom de espacio en el documento compuesto,
o
a
a
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 s
mbolo de operacin de substraccin o signo menos tiene la misma anchura que los
o
o
s
mbolos de operacin de suma y de multiplicacin, una anchura intermedia entre la del guin
o
o
o
largo y la del guin:
o
A
a
93
\begin{tabular}{cccc}
- & -- & $-$ & --- \\
& $+$ &
\\
& $\times$ &
\end{tabular}
A
La negacin de un s
o
mbolo de operacin o relacional se puede obtener con L TEX mediante
o
la macro \not delante del s
mbolo:
Si x < y entonces x y 1.
Si $x \not< y$ entonces $x \not\leq y-1$.
La ubicacin de la raya de negacin, sin embargo, no siempre es correcta. A pesar que se

o
o
pueden introducir correcciones de espaciado, seg n se explica en el apartado 5.3, los caracteres
u
AMSFonts contienen numerosos s
mbolos de operacin y relacionales negados (vase el apartado
o
e
5.4).
Finalmente, los signos de puntuacin permiten ligar los s
o
mbolos de operacin y relacionales
o
con los n meros, las constantes y las variables en las expresiones matemticas. Muchos de los
u
a
A
signos de puntuacin se escriben directamente con L TEX, como por ejemplo la coma, el punto,
o
el punto y coma, y los dos puntos. Los puntos suspensivos, sin embargo, se componen mediante
las macros \ldots o \cdots, seg n se coloquen en una enumeracin cuyos elementos hayan
u
o
sido separados por comas o mediante otros s
mbolos de operacin:
o
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 activacin del paquete de deniciones amsmath basta escribir la macro \dots para
o
componer los puntos suspensivos, cuya colocacin es volada o no, segn haya detrs un s
o
u
a
mbolo
de operacin o relacional binario:
o
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 matemticas que abarcan ms de una l

a
a
nea, como por ejemplo matrices y
ecuaciones, suelen necesitar puntos suspensivos dispuestos de manera vertical y diagonal, segn
u
A X \vdots y \ddots permiten componerlos:
se explica en el apartado 5.5. Las macros del L TE
A
o
94
0
B
B
B
B
@
x11
x21
.
.
.
xm1
x12
x22
.
.
.
xm2
..
.
x1n
x2n
.
.
.
xmn
1
C
C
C
C
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) $$
Sub
ndices y super
ndices
Los sub
ndices y los super
ndices se especican mediante el carcter de subrayado _ y el carcter
a
a
de acento circunejo ^, respectivamente:
a1
x2
et
ex = ex 2
ak
ij
$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 sub

ndice o super
ndice de una frmula matemtica, sin embargo,
o
a
es preciso emplear las macros \mathrm, etc., en lugar de las macros \textrm, etc. De otro
modo, los caracteres del texto compuesto en el sub
ndice o en el super
ndice son del cuerpo
base y no del cuerpo normal para los sub
ndices y los super
ndices:
2n
2n
$$2^n \qquad 2^{\textrm{n}}

\qquad 2^{\mathrm{n}}$$
2n
Algunas de las funciones estndares tambin admiten sub

a
e
ndices y super
ndices, por ejemplo
para indicar los extremos del intervalo en que se eval a la funcin matemtica correspondiente.
u
o
a
Estos s
mbolos de operacin son: determinante (\det), mximo com n divisor (\gcd, greato
a
u
est common divisor ),
nmo (\inf), l
mite (\lim), l
mite inferior (\liminf), l
mite superior
(\limsup), mximo (\max), m
a
nimo (\min), probabilidad (\Pr) y supremo (\sup). La disposicin de los sub
o
ndices y de los super
ndices var seg n si se componen dentro de un prrafo o
a
u
a
en un prrafo aparte:
a
Una funcin estndar destacada
o
a
lim
sin x
=1
x
tambin se puede componer dentro de un

e
prrafo de texto: limn sin x = 1.
a
x
Una funcin estndar destacada

o
a
$$\lim_{n\rightarrow\infty}
\frac{\sin x}{x} = 1$$ tambin se puede
e
componer dentro de un prrafo de texto:
a
$\lim_{n\rightarrow\infty}
\frac{\sin x}{x} = 1$.
Tambin se pueden denir nuevas macros para componer los nombres de otras funciones con
e
sub
ndices y super
ndices, como tambin se puede redenir alguna de las diez macros estndares
e
a
A X correspondientes:
del L TE
A
a
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 l
neas horizontales directamente por encima o
por debajo de una expresin matemtica, respectivamente, mientras que las macros \overbrace
o
a
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 sub
ndices y los super
ndices de las expresiones que tienen delimitadores horizontales y
que son compuestas en un prrafo aparte se componen como etiquetas encima y debajo de los
a
delimitadores, respectivamente:
z }| {
|
{z
}
24
a + b + + y +z
$\underbrace{a + \overbrace{b +
\cdots + y}^{24} + z}_{26}$
26
Delimitadores verticales
La agregacin o agrupacin de expresiones matemticas para construir otras ms complejas es
o
o
a
a
un aspecto fundamental de la notacin matemtica, que no se ha de confundir con la agrupacin
o
a
o
A
de una serie de caracteres mediante llaves para escribir el argumento de una macro del L TEX.
Las expresiones matemticas se agrupan mediante los llamados delimitadores verticales,
a
como por ejemplo los parntesis, los corchetes y las llaves:
e
(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 }
A
Los parntesis, los corchetes y las barras verticales se escriben directamente con L TEX,
e
A
mientras que las llaves angulares y las barras verticales dobles se componen con L TEX mediante
macros espec
cas:
A
o
96
(
[
\{
\langle
|
\|
(
[
{
|
parntesis
e
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 matemtico y entonces no es recomendable emplearlas para agrua
par expresiones matemticas, si bien es cierto que los corchetes tambin tienen signicado en
a
e
matemticas.
a
Las expresiones matemticas son ms legibles cuando el tama o o la altura de los delimia
a
n
tadores verticales es ms grande que la altura de las expresiones que agrupan. Esto permite
a
identicar ms fcilmente el alcance de cada delimitador en la frmula compuesta:
a a
o
((x + 1)(x 1))2
(x + 1)(x 1)
A
De hecho, los delimitadores del L TEX son los mismos que los del sistema TEX y son de
tamao variable o, mejor dicho, los hay de muchos tamaos diferentes:
n
n
\big(
\Big(
\bigg(
\Bigg(
\Bigg)
\bigg)
\Big)
\big)
\big[
\Big[
\bigg[
\Bigg[
\Bigg]
\bigg]
\Big]
\big]
]
}
\{
\big\{
\Big\{
\bigg\{
\Bigg\{
\Bigg\}
\bigg\}
\Big\}
\big\}
\}
Esto da la posibilidad de escoger el tamao de los delimitadores ms apropiado para compon

a
A
a
ner cada expresin matemtica, eleccin que el L TEX hace automticamente cuando se escriben
o
a
o
las macros \left y \right delante y detrs de las macros correspondientes a los delimitadores,
a
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$$
A
a
97
Estas macros \left y \right se han de escribir en pares, a pesar que no es preciso que los
delimitadores correspondientes sean todos parntesis, todos corchetes o todas llaves:
e
$$ \left\langle
\frac{1}{2}
\right| $$
1
2
Adems, se puede omitir la composicin de un delimitador vertical izquierdo o derecho,

a
o
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 ms conveniente para agrupar expresiones matemticas mediante delia
a
mitadores verticales es comenzar agrupando con parntesis, despus agrupar con corchetes y
e
e
despus con llaves, y continuar agrupando con parntesis, corchetes y llaves en este orden:
e
e
{[(
)]}
Los delimitadores ms grandes son especialmente utiles para agrupar expresiones matemticas
a
a
que abarcan ms de una l
a
nea, como por ejemplo matrices y ecuaciones, seg n se explica en el
u
apartado 5.5.
5.3
Espaciado de frmulas matemticas

o
a
A diferencia del modo texto, la mayor de los espacios y divisiones de l

a
nea no tienen ningn
u
A
o
efecto en modo matemtico. El L TEX calcula el espaciado lgico a partir de la estructura de las
a
expresiones matemticas, seg n una serie de convenciones tipogrcas bien denidas. Con todo,
a
u
a
a veces es preciso introducir peque as correcciones en el espaciado, por ejemplo para conseguir
n
un efecto visual diferente o simplemente porque se quiere mejorar el espaciado producido por
A
el L TEX.
As las macros siguientes introducen pequeos espacios en blanco dentro de una frmula
,
n
o
matemtica:
a
\!
\,
\:
\;
\
\quad
\qquad
3/18 de cuadrat
n
3/18 de cuadrat
n
4/18 de cuadrat
n
5/18 de cuadrat
n
1/3 de cuadrat
n
un cuadrat
n
dos cuadratines
Por ejemplo, las expresiones siguientes han sido compuestas en la tercera columna sin las
correcciones de espaciado indicadas:
A
o
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
Ri jkl
x y
0 0 dF (u, v)
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
0 0 dF (u, v)
dx dy
D
f(x)dx
A
neas en blanco en modo matemtico. Es decir, toda frmula
a
o
El L TEX tampoco permite l
matemtica se compone en un prrafo, bien dentro de un prrafo de texto, bien como prrafo
a
a
a
a
A
o
nea como si se
aparte. En los dos casos, el L TEX puede llegar a dividir una frmula a nal de l
tratase de la divisin de una palabra en s
o
labas, a pesar que en el caso de frmulas matemticas
o
a
A X sigue una norma tipogrca bien establecida para encontrar la posicin de divisin
el L TE
a
o
o
ms apropiada:
a
Se puede dividir una frmula inmediatamente despus de un s

o
e
mbolo de operacin
o
o de un s
mbolo relacional, pero nunca inmediatamente antes.
A
o
o
Sin embargo, a veces el L TEX no puede encontrar ninguna posicin de divisin de una
frmula que le permita componer de manera ptima todo el prrafo. Asimismo, hay ocasiones en
o
o
a
que el autor del trabajo cient
co puede determinar ciertas posiciones de divisin de una frmula
o
o
que son correctas en un caso particular, pero que no son cubiertas por las reglas estndares
a
A
de divisin de frmulas del L TEX. En estos casos, se poden denir posiciones adicionales de
o
o
divisin para una frmula o expresin matemtica particular, mediante la macro \allowbreak:
o
o
o
a
(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)$
A
Cuanto a las frmulas matemticas compuestas en un prrafo aparte, el L TEX nunca las
o
a
a
divide en l
neas, incluso cuando las frmulas contienen macros \allowbreak de posiciones adio
cionales de divisin en l
o
neas. Para conseguir la divisin en l
o
neas de las frmulas destacadas, es
o
preciso escribirlas en un entorno array, eqnarray o eqnarray*, seg n se explica en el apartado 5.5.
u
5.4
S
mbolos matemticos
a
En las tablas siguientes guran todos los s

mbolos que se pueden usar normalmente en modo
A
matemtico. Los s
a
mbolos sombreados, como por ejemplo \Box , no son estndares en el L TEX
a
A
a
99
y es preciso declarar el paquete de deniciones latexsym en el prembulo del documento para

a
poder usarlos.
Signos diacr
ticos
a
\hat{a}
\check{a}
\breve{a}
a
`
a
\acute{a}
\grave{a}
\tilde{a}
\bar{a}
\vec{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 sculas

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

u
\Gamma
\Delta
\Theta
\Sigma
\Upsilon
\Phi
\Psi
\Omega
Letras caligrcas
a
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}
Miscelnea
a
\aleph
\hbarlatex
\imath
\jmath
\ell
\wp
\Re
\Im
\mho
\prime
\emptyset
\nabla
\surd
\top
\bot
\|
\angle
\forall
\exists
\neg
\flat
\natural
\sharp
\backslash
\partial
\infty
\Box
\Diamond
\triangle
\clubsuit
\diamondsuit
\heartsuit
\spadesuit
A
o
100
Operadores grandes
\sum
\bigcap
\bigodot
\prod
\bigcup
\bigotimes
\coprod
\bigsqcup
\bigoplus
\int
\bigvee
\biguplus
\oint
\bigwedge
Operadores binarios
\pm
\mp
\times
\div
\ast
\star
\circ
\bullet
\cdot
Relaciones binarias
\leq
\prec
\preceq
\ll
\subset
\subseteq
\sqsubset
\sqsubseteq
\in
\vdash
Flechas
\cap
\cup
\uplus
\sqcap
\sqcup
\vee
\wedge
\setminus
\wr
\leftarrow
\Leftarrow
\rightarrow
\Rightarrow
\leftrightarrow
\Leftrightarrow
\mapsto
\hookleftarrow
\leftharpoonup
\leftharpoondown
\rightleftharpoons
\equiv
\sim
\simeq
\asymp
\approx
\cong
\neq
\doteq
\notin
|=
\longleftarrow
\Longleftarrow
\longrightarrow
\Longrightarrow
\longleftrightarrow
\Longleftrightarrow
\longmapsto
\hookrightarrow
\rightharpoonup
\rightharpoondown
\leadsto
\geq
\succ
\succeq
\gg
\supset
\supseteq
\sqsupset
\sqsupseteq
\ni
\dashv
\diamond
\bigtriangleup
\bigtriangledown
\triangleleft
\triangleright
\lhd
\rhd
\unlhd
\unrhd
=
=
.
=
\oplus
\ominus
\otimes
\oslash
\odot
\bigcirc
\dagger
\ddagger
\amalg
\models
\perp
\mid
\parallel
\bowtie
\Join
\smile
\frown
\propto
\uparrow
\Uparrow
\downarrow
\Downarrow
\updownarrow
\Updownarrow
\nearrow
\searrow
\swarrow
\nwarrow
A
a
101
Delimitadores
(
[
{
/
|
(
[
\{
\lfloor
\lceil
\langle
/
|
Delimitadores grandes
\lmoustache
\arrowvert
)
]
}
)
]
\}
\rfloor
\rceil
\rangle
\backslash
\|
\uparrow
\downarrow
\updownarrow
\Uparrow
\Downarrow
\Updownarrow
\rmoustache
\lgroup
\Arrowvert
\bracevert
\rgroup
Los s
mbolos siguientes se pueden usar tanto en modo matemtico como en modo texto.
a
Contrariamente a lo que se arma en (Lamport, 1994, p. 39 y 173), la macro \copyright no
se puede emplear en modo matemtico.
a
Otros s
mbolos
\dag
\ddag
\S
\P
\pounds
En las tablas siguientes guran todos los s

mbolos adicionales que se pueden usar en modo
matemtico cuando se ha declarado el paquete de deniciones amssymb en el prembulo del
a
a
A
mbolo \hbar se
documento y las plizas AMS han sido instaladas en el sistema L TEX. El s
o
A
encuentra tanto en las fuentes estndares del L TEX como en las fuentes AMS, pero se trata de
a
A
h
dos representaciones diferentes del mismo s
mbolo: la versin estndar del L TEX es y es la
o
a
versin correspondiente en las fuentes AMS.
o
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
A
o
102
Flechas AMS con negacin

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

\digamma
\varkappa
Letras hebreas AMS

\beth
\daleth
\gimel
Miscelnea AMS
a
\hbar
\triangledown
\circledS
\nexists
\Game
\varnothing
\blacksquare
\sphericalangle
\diagup
\hslash
\square
\angle
\mho
\Bbbk
\blacktriangle
\blacklozenge
\complement
\diagdown
\vartriangle
\lozenge
\measuredangle
\Finv
\backprime
\blacktriangledown
\bigstar
\eth
Operadores binarios AMS

\dotplus
\Cup, \doublecup
\doublebarwedge
\boxdot
\ltimes
\rightthreetimes
\circleddash
\centerdot
\smallsetminus
\barwedge
\boxminus
\boxplus
\rtimes
\curlywedge
\circledast
\intercal
\Cap, \doublecap
\veebar
\boxtimes
\divideontimes
\leftthreetimes
\curlyvee
\circledcirc
A
a
103
Relaciones AMS
\leqq
\lesssim
\lessdot
\lesseqgtr
\risingdotseq
\backsimeq
\sqsubset
\precsim
\trianglelefteq
\smallsmile
\Bumpeq
\eqslantgtr
\gtrdot
\gtreqless
\circeq
\thickapprox
\sqsupset
\succsim
\trianglerighteq
\shortparallel
\varpropto
\backepsilon
\leqslant
\lessapprox
\lll, \llless
\lesseqqgtr
\fallingdotseq
\subseteqq
\preccurlyeq
\precapprox
\vDash
\smallfrown
\geqq
\gtrsim
\ggg, \gggtr
\gtreqqless
\triangleq
\supseteqq
\succcurlyeq
\succapprox
\Vdash
\between
\blacktriangleleft
\blacktriangleright
\eqslantless
\approxeq
\lessgtr
\doteqdot, \Doteq
\backsim
\Subset
\curlyeqprec
\vartriangleleft
\Vvdash
\bumpeq
\geqslant
\gtrapprox
\gtrless
\eqcirc
\thicksim
\Supset
\curlyeqsucc
\vartriangleright
\shortmid
\pitchfork
\therefore
\because
A
o
104
Relacions AMS con negacin

o
5.5
\nless
\nleqq
\lvertneqq
\nprec
\precnapprox
\nmid
\ntriangleleft
\subsetneq
\varsubsetneqq
\ngeqslant
\gneqq
\gnapprox
\succnsim
\nshortparallel
\nVDash
\nsupseteq
\varsupsetneq
\nleq
\lneq
\lnsim
\npreceq
\nsim
\nvdash
\ntrianglelefteq
\varsubsetneq
\ngtr
\ngeqq
\gvertneqq
\nsucc
\succnapprox
\nparallel
\ntriangleright
\nsupseteqq
\supsetneqq
\nleqslant
\lneqq
\lnapprox
\precnsim
\nshortmid
\nvDash
\nsubseteq
\subsetneqq
\ngeq
\gneq
\gnsim
\nsucceq
\ncong
\nvDash
\ntrianglerighteq
\supsetneq
\varsupsetneqq
Entornos matemticos
a
Algunas construcciones matemticas relativamente complejas no se componen directamente

a
como frmulas matemticas, sino que se especican mediante entornos matemticos. Estas
o
a
a
construcciones son las ecuaciones y las matrices. Adems, los enunciados tambin se especican
a
e
mediante entornos matemticos.
a
Enunciados
Los textos cient
cos 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 prrafo aparte, para distinguirlos del resto
a
del texto, y se suelen enumerar para poder hacer referencias cruzadas.
A
Para componer enunciados con L TEX es preciso declarar los entornos necesarios en el
prembulo del documento. La macro
a
\newtheorem{nombre}{cabecera}[enumeracin]
o
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 enumeraA
cin especica un contador del L TEX que determina la forma de enumerar estos enunciados,
o
como por ejemplo chapter para enumerarlos correlativamente dentro de cada cap
tulo 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}:
A
a
105
Proposicin 5.1 El conjunto de los n meros

o
u
primos es innito.
\newtheorem{propos}{Proposicin}[chapter]
o
\begin{propos}
El conjunto de los nmeros primos
u
es infinito.
\end{propos}
Proposicin 5.5.1 El conjunto

o
n meros primos es innito.
u
\newtheorem{propo}{Proposicin}[section]
o
\begin{propo}
u
es infinito.
\end{propo}
de
los
Si no se especica este argumento opcional de enumeracin, los enunciados correspondientes

o
se enumeran correlativamente dentro de todo el documento:
Proposicin 1 El conjunto de los n meros
o
u
primos es innito.
\newtheorem{prop}{Proposici}
o
\begin{prop}
u
es infinito.
\end{prop}
Una segunda forma de la macro \newtheorem permite denir enunciados con una enumeracin en el mismo orden correlativo que la enumeracin de otro enunciado. La macro:
o
o
\newtheorem{nombre}[enumeracin]{cabecera}
o
permite denir nuevos entornos con una misma secuencia de enumeracin:
o
A
o
106
Denicin 1 Dos conjuntos de atributos X y

o
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 relacin R,
o
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
tambin respecto a G).
e
\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 relacin
o
$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 tambin respecto a $G$).
e
\end{lema}
Sea cual sea la forma de enumerarlos, todos los enunciados tienen un argumento opcional
identicacin que permite citar el autor original o el nombre con el cual se conoce el enunciado:
o
\begin{nombre} [identicacin]
o
.
.
.
\begin{nombre}
Esta identicacin de los enunciados se compone entre parntesis y en negrita, en la cabecera
o
e
del enunciado:
Teorema 1 (Grassmann) Sean F y G dos
subespacios vectoriales de E y supongamos que
la dimensin de E es nita. Entonces F , G,
o
F G y F + G son todos de dimensin nita y
o
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 dimensin de $E$
o
es finita. Entonces $F$, $G$, $F \cap G$
y $F + G$ son todos de dimensin finita y
o
$$\dim F + \dim G = \dim (F + G) +
\dim (F \cap G). $$
\end{teorema}
Las demostraciones tambin se componen en un prrafo aparte, o en ms de uno, pero a

e
a
a
diferencia de los enunciados se componen en redonda y no se enumeran. Adems, se suele incluir
a
el s
mbolo (quod est demostrandum) al nal de las demostraciones. Entonces, los entornos
\newtheorem no son adecuados para componer demostraciones de teoremas, corolarios, lemas
A
a
107
y proposiciones, y resulta ms conveniente denir un nuevo entorno, segn se explica en el

a
u
apartado 4.7, como por ejemplo el siguiente:
Demostracin. Sean b = a r y c = a s con
o
r, s Z Entonces b + c = a (r + s) y b c =
.
a (r s).
\newenvironment{demo}
{\textit{Demostracin.}}
o
{\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}
A
El mecanismo de referencias cruzadas del L TEX se puede usar para hacer referencia a los
enunciados; slo es preciso introducir una macro \label dentro del entorno correspondiente:
o
La denicin 3 da lugar a una variante de la

o
estrategia de resolucin lineal: la resolucin
o
o
lineal ordenada.
Denicin 3 Una clusula ordenada es una
o
a
clusula en la cual se ha impuesto un orden
a
en los literales que la componen.
\newtheorem{definicion}{Definicin}
o
La definicin~\ref{def:ordenada} da lugar a
o
una variante de la estrategia de resolucin
o
lineal: la \emph{resolucin lineal
o
ordenada}.
\begin{definicion} \label{def:ordenada} Una
clusula ordenada es una clusula en la
a
a
cual se ha impuesto un orden en los
literales que la componen.
\end{definicion}
A
A veces, el estilo en que el L TEX compone los enunciados no se adapta del todo a los
criterios de estilo de las editoriales cient
cas. El paquete de deniciones theorem extiende el
A
mecanismo de denicin de enunciados del L TEX para permitir escoger el estilo para componer
o
cada enunciado entre una serie de estilos predenidos. La macro
\theoremstyle{estilo}
en el prembulo del documento determina el estilo de todos los enunciados que se denen a
a
continuacin, mediante macros \newtheorem, hasta la prxima macro \theoremstyle, si la
o
o
hay, donde estilo es uno de los siguientes:
A
o
108
plain
A
Emula el estilo estndar del L TEX para componer enunciados.
a
break
Introduce una divisin de l

o
nea entre la cabecera y el texto del
enunciado.
marginbreak
Compone el nmero del enunciado dentro del margen izquierdo,

u
adems de introducir una divisin de l
a
o
nea entre la cabecera y
el texto del enunciado.
changebreak
Compone el n mero del enunciado delante de la cabecera,

u
adems de introducir una divisin de l
a
o
nea entre la cabecera
y el texto del enunciado.
change
Compone el n mero del enunciado delante de la cabecera del

u
enunciado.
margin
Compone el nmero del enunciado dentro del margen izquierdo.

u
Los siguientes son ejemplos de los diferentes estilos predenidos en el paquete de deniciones
theorem para componer enunciados:
Proposicin 1
o
La permutacin identidad no se puede poner
o
como producto de un nmero impar de transu
posiciones.
\theoremstyle{break}
\newtheorem{proposicion}{Proposicin}
o
\begin{proposicion}
o
como producto de un nmero impar de
u
transposiciones.
\end{proposicion}
1 Proposicin
o
o
posiciones.
\theoremstyle{marginbreak}
o
\begin{proposicion}
o
u
transposiciones.
\end{proposicion}
1 Proposicin
o
o
posiciones.
\theoremstyle{changebreak}
o
\begin{proposicion}
o
u
transposiciones.
\end{proposicion}
A
a
109
1 Proposicin La permutacin identidad no

o
o
se puede poner como producto de un nmero
u
impar de transposiciones.
\theoremstyle{change}
o
\begin{proposicion}
o
u
transposiciones.
\end{proposicion}
1 Proposicin La permutacin identidad no se

o
o
puede poner como producto de un nmero imu
par de transposiciones.
\theoremstyle{margin}
o
\begin{proposicion}
o
u
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 cient
cas componen las cabeceras de los enunciados
en versalita, sobre todo cuando se trata de textos matemticos. El paquete de deniciones
a
theorem tambin permite modicar la familia, la forma y la serie de la fuente y el cuerpo que
e
es preciso usar para componer la cabecera y el texto de los enunciados. La macro
\theoremheaderfont{especicacin}
o
en el prembulo del documento determina la fuente y el cuerpo que es preciso usar para coma
poner las cabeceras de todos los nuevos enunciados, mientras que la macro
\theorembodyfont{especicacin}
o
en el prembulo del documento determina la fuente y el cuerpo que es preciso usar para coma
poner el texto de los nuevos enunciados que se denen a continuacin, hasta la prxima macro
o
o
\theorembodyfont, si la hay, donde especicacin consiste en ninguna declaracin o en una o
o
o
ms declaraciones de fuente y macros de cuerpo de fuente, seg n se explica en el apartado 4.5,
a
u
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 composicin de las cabeceras de los enunciados en versalita:
o
A
o
110
Proposicion 1 La permutacin identidad no

o
u
\theoremstyle{plain}
\theoremheaderfont{\scshape}
o
\begin{proposicion}
o
u
transposiciones.
\end{proposicion}
El paquete de deniciones amsthm tambin extiende el mecanismo de denicin de enune

o
A X y permite escoger el estilo para componer cada enunciado entre una serie de
ciados del L TE
estilos predenidos, de manera similar al paquete de deniciones theorem, adems de permitir
a
la composicin de enunciados no enumerados y demostraciones.
o
Estos estilos predenidos son tres: plain, denition y remark. El estilo por defecto es el
plain, que permite componer los enunciados de ms importancia relativa, como por ejemplo
a
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 composicin de los enunciados es funcin tambin de la clase de documentos de
o
o
e
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 estndares de
a
A X. En todos los casos, las cabeceras de los enunciados se componen seguidas
documentos L TE
de un punto.
Proposicin 1. La permutacin identidad no
o
o
se puede poner como producto de un n mero
u
o
o
u
o
o
u
o
\begin{proposicion}
...
\end{proposicion}
\theoremstyle{definition}
o
\begin{proposicion}
...
\end{proposicion}
\theoremstyle{remark}
o
\begin{proposicion}
o
u
transposiciones.
\end{proposicion}
A
a
111
Este paquete de deniciones tambin permite componer el nombre del enunciado delante de
e
la cabecera, mediante la macro \swapnumbers, en lugar de componerlo detrs de la cabecera
a
del enunciado. La macro \swapnumbers se ha de incluir antes de las deniciones de nuevos
enunciados:
1. Proposici. La permutacin identidad no
o
o
se puede poner como producto de un n mero
u
\swapnumbers
o
\begin{proposicion}
o
u
transposiciones.
\end{proposicion}
El paquete de deniciones amsthm tambin permite componer demostraciones, mediante el

e
entorno proof. El s
mbolo se incluye automticamente al nal de la demostracin:
a
o
Demostracin. Sean b = a r y c = a s con
o
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 matemticas que abarcan ms de una l
a
a
nea hay las matrices y los
determinantes. Una matriz es esencialmente un conjunto ordenado de frmulas matemticas
o
a
que se componen seg n una disposicin rectangular de las y columnas, es decir, alineadas tanto
u
o
horizontalmente como verticalmente. Las matrices son, normalmente, estructuras homogneas;
e
es decir, todos sus elementos son del mismo tipo, como por ejemplo nmeros enteros o n meros
u
u
reales, a pesar que desde el punto de vista de la composicin tipogrca los elementos de una
o
a
matriz pueden ser cualquier expresin matemtica e incluso un prrafo de texto.
o
a
a
El entorno array permite la composicin de matrices de expresiones matemticas alineadas en
o
a
las y en columnas. Las matrices tambin son frmulas matemticas y, por lo tanto, es preciso
e
o
a
componerlas en modo matemtico, dentro de un prrafo de texto o bien en un prrafo aparte.
a
a
a
A X determina automticamente la altura de cada la y la anchura de cada columna.
a
El L TE
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 frmulas matemticas alineadas contra el margen izquierdo, r para una columna
o
a
de frmulas matemticas alineadas contra el margen derecho, c para una columna de frmulas
o
a
o
matemticas centradas y p{anchura} para una columna que contiene un prrafo de texto de la
a
a
anchura indicada.
A
o
112
Adems, las entradas de barra vertical | indican la inclusin de l

a
o
neas verticales entre columnas, y una entrada de la forma *{n}{formato} es equivalente a n copias de la especicacin
o
formato, que puede incluir, a la vez, otra especicacin *{n}{formato}. Esto permite escribir,
o
por ejemplo, una especicacin de seis columnas centradas de la forma *6c, en lugar de cccccc,
o
y una especicacin de doce columnas centradas como *{12}c, en lugar de cccccccccccc. Por
o
otra parte, una entrada de la forma @{texto} inserta texto en cada la de la tabla y suprime el
A
espaciado adicional que el L TEX normalmente inserta entre las columnas de una matriz.
El entorno array admite tambin una opcin de alineacin vertical de la matriz que coincide
e
o
o
con la alineacin vertical de la primera la (t, top), o bien con la alineacin vertical de la ultima
o
o
la (b, bottom) de la matriz, o bien est centrada verticalmente (c, center ), que es la opcin
a
o
por defecto. As la forma genrica de este entorno es
,
e
\begin{array}[alineacin]{formato}
o
las
\end{array}
Dentro del entorno array, el carcter & indica el salto a la columna siguiente, dos barras
a
invertidas \\ indican el comienzo de una nueva la de la matriz, la macro \hline inserta una
l
nea horizontal que abarca toda la anchura de la matriz, la macro \cline{m-n} inserta una
l
nea 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 l
nea vertical que abarca
toda la altura de la la.
No es preciso poner dos barras invertidas \\ en la ultima la de una matriz, salvo que se
quiera insertar una l

nea horizontal al nal de la matriz. El siguiente es un ejemplo de una
matriz genrica:
e
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 l
neas horizontales y verticales son utiles para dividir una matriz, por ejemplo cuando
se trata de una matriz que dene una operacin algebraica:

o
Slo hay un grupo no c
o
clico 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
Slo hay un grupo no cclico de orden 4:

o
$$ \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} $$
A
a
113
Las matrices se suelen delimitar mediante parntesis. Para que los parntesis o cualquier
e
e
otro delimitador vertical sean de la misma altura que la matriz es preciso escribirlos detrs de
a
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
C
A
$$ (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 tambin son matrices, a pesar que slo tienen una columna. Es
e
o
preciso poner un espacio no, de tres dieciochoavos de cuadrat detrs del s
n,
a
mbolo de factorial
para que la expresin sea ms legible:
o
a
m
n
!
=
$$ \left( \begin{array}{c}
m \\ n
\end{array} \right)
= \frac{m!}{n!\,(m-n)!}
$$
m!
n! (m n)!
La activacin del paquete de deniciones amsmath tambin permite componer coecientes

o
e
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 matemticas que abarcan ms de una l

a
a
nea son los determinantes.
A
Para componer el determinante de una matriz con L TEX 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 tamao variable, se han de escribir de manera
n
expl
cita alrededor de un entorno array. La activacin del paquete de deniciones delarray, sin
o
embargo, permite especicar de manera impl
cita los delimitadores de una matriz, es decir,
dentro de la especicacin misma de las columnas de la matriz. Esto simplica la escritura de
o
las matrices:
A
o
114
Id4
0
B
B
=B
@
1
0
0
0
0
1
0
0
0
0
1
0
0
0
0
1
1
C
C
C
A
$$ \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 tambin para el entorno de alineacin de texto tabular, entre las cuales >{declaracin} y
e
o
o
<{declaracin}.
o
Estas opciones se pueden incluir en una especicacin de columna para que la declaracin
o
o
se aplique inmediatamente antes o inmediatamente despus de componer las entradas en la
e
columna correspondiente. Por ejemplo, para componer en modo matemtico todas las entradas
a
de una columna alineada contra el margen derecho en un entorno tabular basta la especicacin
o
de columna >$r<$, que equivale a escribir $ delante y detrs de cada entrada de la columna:
a
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 opcin adicional de alinear columnas
o
en la coma decimal en el entorno array, como tambin en el entorno de alineacin de texto tabular,
e
o
incluso cuando se mezclan n meros enteros y nmeros con cifras decimales en las las de una
u
u
matriz. La especicacin de columna
o
D{punto}{coma}{decimales}
indica la composicin de una columna de nmeros alineados en la coma decimal, donde punto es
o
u
el carcter usado en el original electrnico para separar las cifras enteras de las cifras decimales
a
o
(normalmente una coma, pero en la tradicin anglosajona un punto), coma es el carcter usado
o
a
A X compuesto para separar cifras enteras de decimales (es decir, una coma)
en el documento L TE
y decimales es el n mero mximo de cifras decimales admitidas en la columna, donde un valor
u
a
negativo especica que la columna puede incluir cualquier nmero de cifras decimales.
u
As la especicacin D{.}{,}{4} indica la composicin de una columna de nmeros que
,
o
o
u
llevan cuatro cifras decimales como mximo, alineados en la coma decimal y escritos con punto
a
decimal pero compuestos con coma decimal:
A
a
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 ecuacin es una igualdad entre expresiones matemticas. Entonces, las ecuaciones se
o
a
A
pueden componer con L TEX de la misma manera que cualquier otra expresin matemtica,
o
a
tanto dentro de un prrafo de texto como en un prrafo aparte:
a
a
$$
a_0 + a_1 x + a_2 x_2 + \cdots + a_n x^n
$$
a0 + a1 x + a2 x2 + + an xn
El entorno equation tambin permite componer cualquier expresin matemtica como una
e
o
a
ecuacin en un prrafo aparte, pero enumerada:
o
a
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}
A
El mecanismo de referencias cruzadas del L TEX se puede usar tambin para hacer referencia
e
a las ecuaciones; slo es preciso introducir una macro \label dentro del entorno equation:
o
La ecuacin 5.2 da la forma general de la ecuao

cin algebraica racional de grado n.
o
a0 + a1 x + a2 x2 + + an xn
(5.2)
La ecuacin \ref{eq:arrel} da la forma

o
general de la ecuacin algebraica
o
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 matemticas abarcan ms de una l

a
a
nea,
sin embargo, es preciso usar los entornos eqnarray o eqnarray* en lugar del entorno equation. Los
entornos eqnarray y eqnarray* permiten componer una expresin o una secuencia de expresiones
o
A
o
116
matemticas, como por ejemplo una o ms ecuaciones o inecuaciones, como una matriz de tres
a
a
columnas, separadas por el carcter &, donde dos barras invertidas \\ separan las las de la
a
matriz.
En el caso del entorno eqnarray*, las ecuaciones no son enumeradas:
(x y)
x2 xy yx + 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*}
(x y)(x y)
x2 2xy + y2
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)(x y)
x xy yx + y
=
(x + y)2
=
=
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 alineacin horizontal, mediante los entornos eqnarray y eqnarray*, de las expresiones mao
temticas que abarcan ms de una l
a
a
nea conlleva la necesidad de escoger siempre las posiciones
de divisin ms apropiadas. La composicin de estas expresiones mediante una matriz de tres
o
a
o
columnas, sin embargo, no siempre permite obtener una alineacin satisfactoria, sobre todo
o
cuando, despus de dividirla, la expresin a n es demasiado larga para componerla en una
e
o
u
l
nea.
En estas situaciones, puede resultar ms conveniente la alineacin de una expresin maa
o
o
temtica slo a partir de la segunda l
a
o
nea, donde su primera l
nea queda alineada contra el
margen izquierdo. Esto se puede conseguir poniendo la primera l
nea de la expresin como
o
argumento de una macro \lefteqn en un entorno eqnarray o eqnarray*. La macro
\lefteqn{expresin}
o
compone la expresin como una frmula de anchura cero, lo que permite que la primera columna
o
o
de una ecuacin sea bastante estrecha para que la anchura total de la ecuacin sea la adecuada:
o
o
A
a
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 tambin permite componer ecuaciones y expresiones

e
matemticas que abarcan ms de una l
a
a
nea, de manera similar a los entornos eqnarray y eqnarray*
pero con muchas formas de alineacin horizontal adicionales, mediante los entornos siguientes:
o
split
gather
multline
equation*
gather*
multline*
align
align
alignat
align*
align*
alignat*
A
El entorno equation* es equivalente al entorno equation del L TEX pero sin enumerar la
ecuacin. Es decir, el entorno equation* compone una ecuacin o una expresin matemtica
o
o
o
a
cualquiera en un prrafo aparte:
a
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 matemticas que
a
son demasiado largas para que sean compuestas en una sola l
nea, cosa que tambin se puede
e
conseguir mediante macros \lefteqn dentro de los entornos eqnarray y eqnarray* pero que
con los entornos multline y multline* es automtica. La primera l
a
nea de la expresin queda
o
alineada contra el margen izquierdo, mientras que la ultima l
nea queda alineada contra el

margen derecho y las otras l
neas se componen centradas entre los dos mrgenes:
a
A
o
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 tambin permite componer las expresiones matemticas que son demasiado
e
a
largas para que sean compuestas en una sola l
nea, pero las l
neas en que se divide una expresin
o
matemtica se han de alinear en este caso en dos columnas, mediante el carcter & de salto a
a
a
la columna siguiente. El entorno split slo se puede usar dentro de otro entorno matemtico,
o
a
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 matemticas sin
a
alinearlas horizontalmente. Las ecuaciones se componen centradas entre los mrgenes izquierdo
a
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 matemticas, de manera similar al entorno split o a los entornos eqnarray y eqnarray* pero con un
a
nmero ilimitado de posiciones de alineacin. Los entornos align y align* son muy utiles para
u
o
alinear una serie de columnas de ecuaciones:
x=y
X =Y
x =y
X =Y
x+x = y+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*}
A
a
119
Adems, los entornos align y align* permiten componer las columnas de ecuaciones alinea
adas contra los mrgenes izquierdo y derecho:
a
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 nmero de columnas de ecuaciones que se
u
quieren componer:
x = ypor denicin
o
f (x y) = 0porque f es lineal
x=y
por denicin
o
f (x y) = 0porque f es lineal
x=y
f (x y) = 0
por denicin
o
porque f es lineal
\begin{alignat*}{2}
x & = y && \textrm{por definicin}\\
o
f(x - y) & = 0 && \textrm{porque $f$ es
lineal} \\ \\
x & = y && \qquad
\textrm{por definicin}\\
o
f(x - y) & = 0 && \textrm{porque $f$ es
lineal} \\ \\
x & = y && \qquad \textrm{por
definicin} \\
o
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
A
alignat* se pueden conseguir fcilmente mediante el entorno array del L TEX. En este sentido,
a
los entornos equation*, multline y multline* son los unicos que justican la activacin del paquete
o
de deniciones amsmath.
5.6
Diagramas conmutativos
A
El sistema L TEX permite la composicin de diagramas conmutativos de gran calidad tipoo
grca, mediante la activacin de algn paquete de deniciones. De hecho, muchos profesores e
a
o
u
investigadores de renombre dentro del campo de la teor de categor han desarrollado su proa
as
pio 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 art
culo (Valiente, 1994) contiene una recensin de los diferentes paquetes de denicioo
A
nes para componer diagramas conmutativos con TEX y L TEX. En este apartado se explica
cmo componer diagramas conmutativos con el paquete de deniciones pb-diagram, escrito por
o
A
o
120
P. Burchard, que es bastante sosticado para permitir ilustrar la composicin de diagramas

o
A
conmutativos con L TEX, como por ejemplo el siguiente:
X p
p p j
p p p
B
D
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 activacin del paquete de deniciones pb-diagram permite componer diagramas conmuo

tativos 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
A
en un entorno array del L TEX. La macro
\node{frmula}
o
compone frmula como nodo del diagrama, en modo matemtico. La separacin entre las las
o
a
o
y las columnas del diagrama se ajusta automticamente seg n el tama o de los nodos.
a
u
n
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
ultima 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 carcter & para
a
indicar el salto a la columna siguiente, dado que los nodos estn delimitados por las macros
a
\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 posicin de su entrada de destino. La
o
macro
\arrow{direccin,opciones}
o
A
a
121
compone un arco, donde direccin especica los desplazamientos necesarios en los sentidos de los
o
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 automticamente para llegar hasta sus nodos de origen y de
a
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

w e
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 coleccin de estilos de arcos, cada uno de
o
los cuales es una combinacin particular de cola (la parte del arco que hay en el extremo de
o
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 vac una cabeza angular y un trazo continuo. Las
a,
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:
A
o
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[tamao]{direccin,situacin,opciones}{frmula}
n
o
o
o
permite especicar un arco etiquetado, donde frmula se compone como etiqueta del arco y
o
situacin determina la colocacin de la etiqueta: encima (t, top) o debajo (b, bottom) de los
o
o
arcos horizontales o inclinados, o bien a la izquierda (l, left ) o a la derecha (r, right ) de los arcos
verticales:
B
$$ \begin{diagram}
\node{A} \arrow{ne,t}{f}
\node{} \node{C} \arrow{ne,b}{g}
\end{diagram} $$
Tambin se pueden componer dos etiquetas alrededor de un arco, mediante la macro

e
\arrow[tamao]{direccin,situacin,opciones}{frmula}{frmula}
n
o
o
o
o
que permite especicar un arco con dos etiquetas, donde situacin determina la colocacin de
o
o
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
g
A
$$ \begin{diagram}
\node{} \node{B} \\
\node{A} \arrow{ne,tb}{f}{g}
\end{diagram} $$
Los siguientes son algunos ejemplos de diagramas conmutativos:
A
a
l
L
$$ \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} $$
123
A + B 2 B
pp
pp
pp
f
ppp g
p

$$ \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
pp
A (B C) p p p p p (A B) C
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} $$

IN01703C

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

IN01703C

Enviado por

Direitos autorais:

Formatos disponíveis

A

5 Matemticas con L TEX

ndice derecho) y la carga inica (super

Los autores, 1999; Edicions UPC, 1999.

\begin{math} frmula \end{math}

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

existen q y r tales que a = bq + r

a = bq + r siempre que 0 r < b

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

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

Los autores, 1999; Edicions UPC, 1999.

a = bq + r siempre que 0 r < b

As la frmula (a0 , a1 , . . . , an ) + (b0 , b1 , . . . , bn ) = (a0 + b0 , a1 + b1 , . . . , an + bn ) se puede

La frmula $(a_0 + b_0 + c_0,

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

Los autores, 1999; Edicions UPC, 1999.

Cuando se trata de nmeros decimales, sin embargo, el espaciado no es correcto porque el

3,141 592 653 589 793 238 464 \\

Los autores, 1999; Edicions UPC, 1999.

Consideremos espacios vectoriales E, F, G, H

Consideremos espacios vectoriales E, F, G,

grave o abierto, e), \tilde (tilde, e), \bar (barra o l

nea horizontal, e), \vec (vector, e ), \dot

ticos como el espaciado

Igual que en modo texto, para poner un signo diacr

Los autores, 1999; Edicions UPC, 1999.

Adems, se puede poner toda una expresin encima de otra. La macro

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

$\mathcal{M}$ una clase de morfismos

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

Los autores, 1999; Edicions UPC, 1999.

los ms usuales aparecen en los ejemplos siguientes:

Igual que las constantes y las variables, los s

componen con letras romanas y con el espaciado apropiado:

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

logxy = logx + logy

Para componer otros s

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 divisin

$a \equiv b \mod m$ \par

Los autores, 1999; Edicions UPC, 1999.

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

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

Algunas editoriales cient

Se puede componer una expresin matemtica

como por ejemplo

prrafo de texto pero donde los l

Se puede componer una expresin matemtica

superior son dispuestos encima y debajo del

Los autores, 1999; Edicions UPC, 1999.

Las fracciones se pueden componer dentro de un prrafo de texto o bien en un prrafo

En general, las fracciones relativamente complejas resultan dif

Los autores, 1999; Edicions UPC, 1999.

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

La ubicacin de la raya de negacin, sin embargo, no siempre es correcta. A pesar que se

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

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

Las expresiones matemticas que abarcan ms de una l

Los autores, 1999; Edicions UPC, 1999.

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

Para escribir texto como sub

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

Algunas de las funciones estndares tambin admiten sub