Apuntes de Latex

Captulo 3: Frmulas matemticas

Conceptos bsicos
En ste captulo se exponen de forma breve unas nociones bsicas
acerca de la escritura de expresiones matemticas. Es importan-
te, para disponer de todas las capacidades matemticas de L
A
T
E
X
en un documento, cargar con \usepackage{...} los paquetes
amsmath (capacidades matemticas extra) y amssymb (librera
de smbolos). Como fuente de documentacin adicional, se reco-
mienda consultar la gua Mathmode de escritura matemtica,
colgada en el apartado de BIBLIOGRAFA de la web de la asig-
natura.
SECCIN 1
Modos matemticos tipo texto y extendido.
A la hora de escribir expresiones matemticas de forma elegante y precisa, T
E
X dispone
de un modo de escritura especial, el modo matemtico. As por ejemplo, para tener:
La ecuacin de una recta en el plano cartesiano es de la
forma ax + by + c = 0, donde a, b, c son constantes.
escribiramos:
La ecuacin de una recta en el plano cartesiano es de la forma
$ax+by+c=0$, donde $a$, $b$, $c$ son constantes.
$ es el comando a utilizar para entrar y salir del modo matemtico en modo texto (es
decir, cuando queremos las expresiones matemticas escritas dentro del texto principal, con
un tamao apropiado para ello). En el ejemplo anterior vemos varias cosas importantes;
primero, aunque tecleamos $ax+by+c=0$ sin espacios, T
E
X introduce espacios en la frmula
de acuerdo a sus propias reglas (teclear $ ax + by + c = 0$ producira exactamente el mismo
resultado); en general, en modo matemtico T
E
X asigna espacios entre variables matemticas
de acuerdo con los distintos tipos de separadores (=, +, <,
_
, ...) que encuentra. Adems, los
caracteres de texto son escritos en itlica.
Por contra, ntese la diferencia entre:
$a, b, c$ a, b, c $a$, $b$, $c$ a, b, c
No hay espacios entre comas en el primer caso; hemos de salir del modo matemtico para
introducirlos.
Seccin 1 Modos matemticos 2
Si queremos escribir expresiones matemticas resaltadas, es decir, separadas del texto
principal y con un tamao mayor, podemos utilizar:
La ecuacin de una recta en el plano cartesiano es de la forma
$$ax+by+c=0$$
donde $a$, $b$, $c$ son constantes.
que producira:
La ecuacin de una recta en el plano cartesiano es de la
forma
ax + by + c = 0
donde a, b, c son constantes.
$$ es el comando a utilizar para entrar y salir del modo matemtico resaltado (es decir,
cuandoqueremos las expresiones matemticas escritas fuera del textoprincipal, conuntamao
mayor).
Hay tres formas anlogas para delimitar cada uno de los dos tipos (texto y resaltado):
Texto Resaltado
$ ... $ $$ ... $$
\( ... \) \[ ... \]
\begin{math} ... \end{math} \begin{displaymath} ... \end{displaymath}
En el ejemplo siguiente puede verse ms claramente la diferencia entre ambos modos:
Tenemos la equivalencia $\frac{a}{b}=\frac{c}{d}$, vlida para todo
$a$, $b$, $c$, $d$ \\ \\
Tenemos la equivalencia $$\frac{a}{b}=\frac{c}{d}$$ vlida para todo
$a$, $b$, $c$, $d$
Tenemos la equivalencia
a
b
=
c
d
, vlida para todo a, b, c, d
Tenemos la equivalencia
a
b
=
c
d
vlida para todo a, b, c, d
Otra alternativa para escribir frmulas en modo resaltado es el entorno equation, como
muestra el siguiente ejemplo:
La ecuacin de una recta en el plano cartesiano es de la forma
\begin{equation*}
ax+by+c=0
\end{equation*}
donde $a$, $b$, $c$ son constantes.
que producira:
Apuntes de L
A
T
E
X Captulo 2: Listas y Tablas c _Luis M. Molina 2009
Seccin 2 Smbolos 3
La ecuacin de una recta en el plano cartesiano es de la forma
ax + by + c = 0
donde a, b, c son constantes.
Cul es el efecto del * tras equation? Eliminndolo obtenemos lo siguiente:
La ecuacin de una recta en el plano cartesiano es de la forma
ax + by + c = 0 (1)
donde a, b, c son constantes.
La ecuacin es entonces numerada. L
A
T
E
X utiliza un contador para numerar ecuaciones,
segn la seccin a la que pertenezcan (en el formato article) segn el captulo y seccin
(en el formato book). En captulos posteriores, se mostrar cmo referenciar ecuaciones,
escribir ecuaciones en varias lneas, manejar teoremas, etc... Por el momento nos limitaremos
simplemente a la escritura en s de la diversa simbologa matemtica que soporta L
A
T
E
X.
SECCIN 2
Smbolos
Las siguientes tablas proporcionan los comandos necesarios para obtener una amplia va-
riedad de smbolos matemticos. Una gran parte de ellos puede obtenerse a travs del icono
en el programa WinEdt, que abre una serie de pestaas con una aplica coleccin de smbo-
los. La coleccin completa de smbolos matemticos puede consultarse en la Comprehensive
LaTeXsymbol list, colgada en la pgina de la asignatura. Es importante remarcar que, debido
a que son smbolos matemticos, su utilizacin en medio del texto requiere incluirlos entre
signos $.
Tabla 1: Letras griegas
\alpha \theta o o \tau
\beta \vartheta \pi \upsilon
\gamma \iota c \varpi \phi
\delta \kappa \rho \varphi
c \epsilon \lambda j \varrho \chi
\varepsilon j \mu \sigma \psi
\zeta \nu \varsigma \omega
\eta \xi
\Gamma \Lambda \Sigma \Psi
\Delta \Xi \Upsilon \Omega
\Theta \Pi \Phi
Apuntes de L
A
T
E
X Captulo 2: Listas y Tablas c _Luis M. Molina 2009
Seccin 2 Smbolos 4
Tabla 2: Operadores binarios
\pm \cap \diamond \oplus
\mp \cup . \bigtriangleup \ominus
\times \uplus \bigtriangledown \otimes
- \div | \sqcap < \triangleleft \oslash
\ast | \sqcup - \triangleright , \odot
- \star \vee < \lhd _ \bigcirc
\circ \wedge > \rhd \dagger
\bullet \setminus \unlhd \ddagger
\cdot \wr \unrhd H \amalg
+ + -
Tabla 3: Operadores de relacin
\leq \geq \equiv = \models
\prec > \succ \sim \perp
\preceq \succeq = \simeq \mid
< \ll > \gg = \asymp [ \parallel
\subset \supset \approx -< \bowtie
\subseteq \supseteq - \cong | \Join
c \sqsubset z \sqsupset = \neq \smile
\sqsubseteq \sqsupseteq = \doteq \frown
\in \ni \propto = =
- \vdash \dashv < < > >
: :
Tabla 4: Signos de puntuacin
, , ; ; : \colon . \ldotp \cdotp
Tabla 5: Smbolos de echas
\leftarrow \longleftarrow \uparrow
\Leftarrow = \Longleftarrow \Uparrow
\rightarrow \longrightarrow \downarrow
\Rightarrow = \Longrightarrow \Downarrow
\leftrightarrow \longleftrightarrow \updownarrow
\Leftrightarrow \Longleftrightarrow \Updownarrow
\mapsto \longmapsto , \nearrow
\hookleftarrow \hookrightarrow _ \searrow
- \leftharpoonup - \rightharpoonup _ \swarrow
- \leftharpoondown - \rightharpoondown \nwarrow
= \rightleftharpoons \leadsto
Apuntes de L
A
T
E
X Captulo 2: Listas y Tablas c _Luis M. Molina 2009
Seccin 2 Smbolos 5
Tabla 6: Smbolos varios
. . . \ldots \cdots
.
.
. \vdots
.
.
.
\ddots
\aleph \prime \forall \infty
| \hbar \emptyset \exists c \Box
\imath \nabla \neg ^ \Diamond
j \jmath

\surd | \flat . \triangle
l \ell \top | \natural \clubsuit
\wp \bot | \sharp \diamondsuit
T \Re [ \| \backslash \heartsuit
0 \Im \angle \partial \spadesuit
C \mho . . |
Tabla 7: Operadores de tamao variable

\sum
_
\bigcap
_
\bigodot

\prod
_
\bigcup

\bigotimes

\coprod
_
\bigsqcup

\bigoplus
_
\int
_
\bigvee

\biguplus

\oint
_
\bigwedge
Tabla 8: Funciones
\arccos \cos \csc \exp \ker \limsup \min \sinh
\arcsin \cosh \deg \gcd \lg \ln \Pr \sup
\arctan \cot \det \hom \lim \log \sec \tan
\arg \coth \dim \inf \liminf \max \sin \tanh
Tabla 9: Delimitadores
( ( ) ) \uparrow \Uparrow
[ [ ] ] \downarrow \Downarrow
\{ \} \updownarrow \Updownarrow
[ \lfloor j \rfloor | \lceil | \rceil
( \langle ) \rangle { / \backslash
| [ \|
Tabla 10: Delimitadores grandes
_
_
\rmoustache
_
_
\lmoustache
_
_
\rgroup
_
_
\lgroup

\arrowvert

\Arrowvert

\bracevert
Tabla 11: Acentos en modo matemtico
a \hat{a} a \acute{a} a \bar{a} a \dot{a}
a \breve{a} a \check{a} ` a \grave{a} a \vec{a}
Apuntes de L
A
T
E
X Captulo 2: Listas y Tablas c _Luis M. Molina 2009
Seccin 2 Smbolos 6
a \ddot{a} a \tilde{a}
Tabla 12: Otras construcciones

abc \widetilde{abc}

abc \widehat{abc}

abc \overleftarrow{abc}

abc \overrightarrow{abc}
abc \overline{abc} abc \underline{abc}
..,
abc \overbrace{abc} abc
.,.
\underbrace{abc}

abc \sqrt{abc}
n

abc \sqrt[n]{abc}
f

f
abc
xyz
\frac{abc}{xyz}
Tabla 13: Delimitadores AMS
\ulcorner \urcorner : \llcorner \lrcorner
Tabla 14: Flechas AMS
- \dashrightarrow - \dashleftarrow
\leftleftarrows ; \leftrightarrows
\Lleftarrow \twoheadleftarrow
- \leftarrowtail - \looparrowleft
= \leftrightharpoons . \curvearrowleft
\circlearrowleft \Lsh
| \upuparrows \upharpoonleft
| \downharpoonleft - \multimap
~ \leftrightsquigarrow \rightrightarrows
, \rightleftarrows \rightrightarrows
, \rightleftarrows - \twoheadrightarrow
- \rightarrowtail - \looparrowright
= \rightleftharpoons r \curvearrowright
\circlearrowright \Rsh
_ \downdownarrows \upharpoonright
| \downharpoonright ~ \rightsquigarrow
Tabla 15: Flechas de negacin AMS
\nleftarrow \nrightarrow = \nLeftarrow
= \nRightarrow \nleftrightarrow = \nLeftrightarrow
Tabla 16: Letras griegas AMS
F \digamma \varkappa
Apuntes de L
A
T
E
X Captulo 2: Listas y Tablas c _Luis M. Molina 2009
Seccin 2 Smbolos 7
Tabla 17: Letras hebreas AMS
Z \beth \daleth \gimel
Tabla 18: Smbolos varios AMS
| \hbar | \hslash
c \square \lozenge
. \measuredangle L \nexists
O \Game 1 \Bbbk
& \blacktriangle * \blacktriangledown
\bigstar < \sphericalangle
\diagup ` \diagdown
. \vartriangle \triangledown
_ \circledS \angle
C \mho J \Finv
\backprime \varnothing
a \blacksquare + \blacklozenge
_ \complement \eth
Tabla 19: Operadores binarios AMS
+ \dotplus \smallsetminus G \Cap
/ \barwedge \ \veebar , \doublebarwedge
z \boxtimes c \boxdot \boxplus
~ \ltimes \rtimes \leftthreetimes
. \curlywedge \curlyvee , \circleddash
, \circledcirc . \centerdot \intercal
\Cup e \boxminus - \divideontimes
\rightthreetimes ( \circledast
Tabla 20: Operadores de relacin AMS
_ \leqq < \leqslant < \eqslantless
_ \lessapprox ~ \approxeq < \lessdot
\lessgtr \lesseqgtr \lesseqqgtr
= \risingdotseq = \fallingdotseq - \backsim
_ \subseteqq \Subset c \sqsubset
< \curlyeqprec \precsim _ \precapprox
\trianglelefteq | \vDash + \Vvdash
- \smallfrown = \bumpeq = \Bumpeq
> \geqslant ~ \eqslantgtr \gtrsim
> \gtrdot \ggg \gtrless
\gtreqqless = \eqcirc = \circeq
\thicksim \thickapprox _ \supseteqq
z \sqsupset > \succcurlyeq > \curlyeqsucc
Apuntes de L
A
T
E
X Captulo 2: Listas y Tablas c _Luis M. Molina 2009
Seccin 2 Smbolos 8
_ \succapprox > \vartriangleright \trianglerighteq
| \shortmid | \shortparallel ( \between
\varpropto \blacktriangleleft \therefore
> \blacktriangleright \because \lesssim
\lll = \doteqdot = \backsimeq
< \preccurlyeq < \vartriangleleft - \smallsmile
_ \geqq _ \gtrapprox \gtreqless
= \triangleq z \Supset \succsim
- \Vdash 1 \pitchfork \backepsilon
Tabla 21: Negacin de operadores de relacin AMS
\nless \nleq , \nleqslant
\lneq _ \lneqq _ \lvertneqq
_ \lnapprox \nprec \npreceq
\precnapprox - \nsim r \nshortmid
- \nvdash r \nvDash < \ntriangleleft
\nsubseteq \subsetneq \varsubsetneq
_ \varsubsetneqq \ngtr \ngeq
_ \ngeqq \gneq _ \gneqq
_ \gnsim _ \gnapprox > \nsucc
\nsucceq _ \succnsim _ \succnapprox
\nshortparallel \nparallel r \nvDash
> \ntriangleright \ntrianglerighteq \nsupseteq
\supsetneq \varsupsetneq _ \supsetneqq
_ \nleqq _ \lnsim _ \precnsim
; \nmid \ntrianglelefteq _ \subsetneqq
; \ngeqslant _ \gvertneqq \nsucceq
+ \ncong = \nVDash _ \nsupseteqq
_ \varsupsetneqq
Tabla 22: Alfabetos matemticos
Paquete requerido
ABCdef \mathrm{ABCdef}
ABCdef \mathitABCdef
ABCde f \mathnormal{ABCdef}
1( \mathcal{ABC}
ABC \mathcal{ABC} euscript con la opcin: mathcal
ABCdef \mathfrak{ABCdef} eufrak
P1C \mathbb{ABC} amsfonts amssymb
ABC \mathscr{ABC} mathrsfs
Apuntes de L
A
T
E
X Captulo 2: Listas y Tablas c _Luis M. Molina 2009
Seccin 3 Subndices y superndices 9
SECCIN 3
Subndices y superndices
Los superndices exponentes se producen con el smbolo ^
El teorema de Fermat establece que para n > 2, no hay
enteros x, y, z que cumplan:
x
n
+ y
n
= z
n
se produce escribiendo:
El teorema de Fermat establece que para $n > 2$, no hay enteros $x$,
$y$, $z$ que cumplan:
$$x^y + y^n = z^n$$
Debe tenerse en cuenta que, si el superndice tiene ms de un carcter de longitud, debe
utilizarse {superindice} para agrupar el superndice; por ejemplo:
$(x^m)^n=x^{mn}$ (x
m
)
n
= x
mn
pero si tecleamos $x^mn$ se obtiene x
m
n.
Tambin podemos tener superndices de superndices, agrupndolos de la siguiente ma-
nera:
Los nmeros de la forma $2^{2^n}+1$,
donde $n$ es un nmero natural, se denominan nmeros de Fermat
Los nmeros de la forma 2
2
n
+ 1, donde n es un nmero
natural, se denominan nmeros de Fermat
La forma en que los agrupamos es crtica; probando:
$2^2^n+1$ 2
2n
+ 1
${2^2}^n$ 2
2
n
+ 1
obtenemos resultados diferentes (comprese en especial el tamao de la n).
Para producir subndices vase el siguiente ejemplo:
La sucesin $(x_n)$ definida por
$$x_1=1,\quad x_2=1,\quad x_n=x_{n-1}+x_{n-2}\;\;(n>2)$$
se llama sucesin de Fibonacci.
La sucesin (x
n
) denida por
x
1
= 1, x
2
= 1, x
n
= x
n1
+ x
n2
(n > 2)
se llama sucesin de Fibonacci.
(ntese como introducimos espacios con el comando \quad). Al igual que en el caso de los
superndices, se pueden obtener sub-subndices con un agrupamiento adecuado.
Con facilidad, podemos agrupar juntos sub- y superndices; por ejemplo: $(x_n^2)$ y
$(x^2_n)$ producen el mismo resultado: (x
2
n
) De nuevo, ha de tenerse cuidado con el modo
Apuntes de L
A
T
E
X Captulo 2: Listas y Tablas c _Luis M. Molina 2009
Seccin 4 Races 10
de agrupamiento; comprense los siguientes casos:
$x_m^n$ x
n
m
${x_m}^n$ x
m
n
${x^n}_m$ x
n
m
SECCIN 4
Races
La raz cuadrada se introduce con el comando \sqrt{Argumento}. As, $\sqrt{2}$ pro-
duce

2. Este comando tiene un argumento opcional, para escribir races cbicas, cuartas,
n-simas:
$\sqrt[4]{5}$, $\sqrt[5]{4}$
4

5,
5

4
El tamao del signo de raz se ajusta automticamente al tamao del argumento; sta
caracterstica permite anidar races con facilidad, por ejemplo:
La sucesin
$$
2\sqrt{2}\,,\quad 2^2\sqrt{2-\sqrt{2}}\,,\quad 2^3\sqrt{2-\sqrt{2+\sqrt{2}}}\,,
\quad 2^4\sqrt{2-\sqrt{2+\sqrt{2+\sqrt{2+\sqrt{2}}}}}\,,\;\ldots
$$
converge a $\pi$.
La sucesin
2

2 , 2
2
_
2

2 , 2
3
_
2
_
2 +

2 , 2
4

_
2
_
2 +
_
2 +
_
2 +

2 , . . .
converge a .
Para obtener lo anterior, ntese como se ha hecho uso de los comandos \, y \;, abrevia-
turas de \thinspace y \thickspace, respectivamente. En modo matemtico, tambin puede
utilizarse \: (\medspace), que produce un espacio intermedio. Otra alternativa, si queremos
reducir espacios, es utilizar los comandos:
\negthinspace ( su abreviatura \!)
\negmedspace
\negthickspace
que introducen espacios anlogos, pero de longitud negativa.
Apuntes de L
A
T
E
X Captulo 2: Listas y Tablas c _Luis M. Molina 2009
Seccin 5 Delimitadores 11
SECCIN 5
Delimitadores
Llamamos delimitadores a signos de la forma ( ), { }, etc... Una de las capacidades ms
potentes del modo matemtico es el ajuste automtico del tamao del delimitador al tamao
del argumento que contiene. Por ejemplo, escribiendo simplemente:
\[ a + (\frac{b}{c}) = \frac{ac+b}{c} \]
se obtiene:
a + (
b
c
) =
ac + b
c
Obtenemos delimitadores de tamao adecuado utilizando \left( ... \right), en vez de
simplemente ( ... ). Vase la diferencia:
a +
_
b
c
_
=
ac + b
c
La lista de smbolos al nal del captulo ofrece una lista de todos los delimitadores disponibles.
Un punto interesante de la pareja \left y \right es que, a pesar de que siempre han de ir
conjuntados, no es necesario que los delimitadores a los que se aplican sean iguales (podemos
abrir con parntesis y cerrar con llaves). Incluyendo un punto, se puede incluso eliminar la
apertura y el cierre; por ejemplo:
u
x
= v
y
u
y
= v
x
_
Ecuaciones de Cauchy-Riemann
se obtiene con:
\begin{equation*}
\left.
\begin{aligned}
u_x & = v_y\\
u_y & = -v_x
\end{aligned}
\right\}
\quad\text{Ecuaciones de Cauchy-Riemann}
\end{equation*}
<Ntese cmo en el ejemplo anterior se utiliza el comando \text{...} para incluir un
trozo de texto normal dentro de una frmula matemtica>
A veces los delimitadores producidos automticamente con \left y \right son demasia-
do grandes pequeos. Por ejemplo:
\begin{equation*}
(x+y)^2-(x-y)^2=\left((x+y)+(x-y)\right)\left((x+y)-(x-y)\right)=4xy
\end{equation*}
Apuntes de L
A
T
E
X Captulo 2: Listas y Tablas c _Luis M. Molina 2009
Seccin 6 Matrices y determinantes 12
produce:
(x + y)
2
(x y)
2
=
_
(x + y) + (x y)
_ _
(x + y) (x y)
_
= 4xy
Utilizando los modicadores \bigl y \bigr en su lugar:
\begin{equation*}
(x+y)^2-(x-y)^2=\bigl((x+y)+(x-y)\bigr)\bigl((x+y)-(x-y)\bigr)=4xy
\end{equation*}
tenemos:
(x + y)
2
(x y)
2
=
_
(x + y) + (x y)
__
(x + y) (x y)
_
= 4xy
Existen otros modicadores de tamao predenido, mayores que \bigl, que por tamao
creciente se ordenan como: \Bigl, \biggl y \Biggl (con versiones anlogas para r).
SECCIN 6
Matrices y determinantes
Para escribir datos en forma matricial, dentro del modo matemtico se puede utilizar el
entorno array,que funciona de forma similar al tabular:
\begin{array}[Posicin]{FormatoColumnas}
A11 & A12... & A1N \\
A21 & A22... & A2N \\
......
\end{array}
Por ejemplo:
\[\begin{array}{crl}
x &3 &m+n^2 \\
x+y &5 &m-n \\
x^z &\sqrt{75} &m \\
(x+y)z &100 &1+m
\end{array}\]
produce:
x 3 m+ n
2
x + y 5 m n
x
z

75 m
(x + y)z

100 1 + m
(ntese como debemos iniciar el modo matemtico antes de comenzar array)
Basndonos enarray, podemos construir una matriz utilizandolos delimitadores \right(
y \left), un determinante con \right| y \left|, etc... Un mtodo alternativo es usar los
entornos especcos pmatrix, bmatrix, Bmatrix, vmatrix y Vmatrix, anlogos a array, y que
respectivamente aaden automticamente los delimitadores (), [], { }, | | y || ||. Adems, no
requieren de especicacin del formato de columnas; a diferencia de array, stos entornos
siempre producen columnas centradas. Por ejemplo:
Apuntes de L
A
T
E
X Captulo 2: Listas y Tablas c _Luis M. Molina 2009
Seccin 6 Matrices y determinantes 13
\begin{pmatrix}
A_1 & A_2 & A_3 & A_4 \\
B_1 & B_2 & B_3 & B_4 \\
C_1 & C_2 & C_3 & C_4 \\
D_1 & D_2 & D_3 & D_4 \\
\end{pmatrix}
produce:
_

_
A
1
A
2
A
3
A
4
B
1
B
2
B
3
B
4
C
1
C
2
C
3
C
4
D
1
D
2
D
3
D
4
_

_
Dentro de estos entornos es posible utilizar el comando:
\hdotsfor[Factor]{NmeroDeColumnas}
que produce un lnea de puntos suspensivos en la matriz que abarca tantas columnas como
se especique en NmeroDeColumnas. El argumento (opcional) Factor escala la separacin
entre puntos (el valor por defecto es 1).
Para escribir matrices en modo texto, se utiliza el entorno smallmatrix (que no produce
delimitadores!!!); por ejemplo:
Dado que

a h g
h b f
g f c

= 0, la matriz
_
a h g
h b f
g f c
_
no es invertible.
Dado que
$
\left|\begin{smallmatrix}
a & h & g\\
h & b & f\\
g & f & c
\end{smallmatrix}\right|
=0
$,
la matriz
$
\left(\begin{smallmatrix}
a & h & g\\
h & b & f\\
g & f & c
\end{smallmatrix}\right)
$
no es invertible.
Apuntes de L
A
T
E
X Captulo 2: Listas y Tablas c _Luis M. Molina 2009
Seccin 8 Fracciones y binomios 14
SECCIN 7
Puntos suspensivos
Para introducir puntos suspensivos en modo matemtico tenemos una amplia coleccin
de comandos. El comando\dots produce puntos suspensivos cuya unicacinvertical obedece
a determinadas reglas, segn le sigan signos +, , (puntos centrados), una coma (puntos
abajo), etc... Los comandos \ldots . . . y \cdots producen siempre puntos abajo y
centrados, respectivamente. Adems, los comandos \vdots
.
.
. y \ddots
.
.
.
producen
puntos suspensivos verticales diagonales, que son tiles en la escritura de matrices.
Por otra parte, existe otra serie de comandos ms especializados:
\dotsc Para puntos separados por comas
\dotsb Para puntos separados por operadores binarios (+, , etc...)
\dotsm Para puntos separados por multiplicaciones implcitas
\dotsi Para puntos separados por signos integrales
\dotso Otros puntos suspensivos
SECCIN 8
Fracciones y binomios
La forma general de un fraccin se obtiene con el comando:
\frac{numerador}{denominador}
Para formas binomiales, se utiliza el comando anlogo:
\binom{numerador}{denominador}
para el cual se carece de barra horizontal, y que incluye parntesis. Por ejemplo, con:
\begin{equation*}
1-\binom{n}{1}\frac{1}{2}+\binom{n}{2}\frac{1}{2^2}-\dotsb
-\binom{n}{n-1}\frac{1}{2^{n-1}}=0
\end{equation*}
se obtiene:
1
_
n
1
_
1
2
+
_
n
2
_
1
2
2

_
n
n 1
_
1
2
n1
= 0
Apuntes de L
A
T
E
X Captulo 2: Listas y Tablas c _Luis M. Molina 2009
Seccin 9 Unos smbolos sobre otros 15
SECCIN 9
Unos smbolos sobre otros
Podemos subrayar poner una lnea sobre el argumento con los comandos:
\underline{Objeto} Coloca una lnea bajo Objeto
\overline{Objeto} Coloca una lnea sobre Objeto
Asimismo, \underbrace{Objeto}_{Indice} y \overbrace{Objeto}^{Indice} colocan lla-
ves bajo sobre un objeto, pudindose incluso aadir el argumento Indice bajo la llave:
4
..,
x + y + z
.,.
2
+w
\[ \overbrace{x+\underbrace{y+z}_{2} +w}^{4} \]
De carcter ms general son los comandos:
\underset{Debajo}{Objeto} y \overset{Encima}{Objeto},
que colocan los smbolos Encima y Debajo, respectivamente, encima y debajo de Objeto. El
comando \stackrel{Encima}{RelacinBinaria} puede utilizarse para poner argumentos
encima de signos = y similares. Por ltimo, es til conocer el comando
\sideset{Derecha}{Izquierda}Operador:
k+1
b
a

d
c
j=1
\[ \sideset{_{a}^{b}}{_{c}^{d}}\prod_{j=1}^{k+1} \]
Para colocar echas, se dispone de la siguiente coleccin de comandos:
\overleftarrow{Objeto} \overrightarrow{Objeto}
\underleftarrow{Objeto} \underrightarrow{Objeto}
\overleftrightarrow{Objeto} \underleftrightarrow{Objeto}
\xleftarrow[Debajo]{Encima} \xrightarrow[Debajo]{Encima}
Los tres primeros comandos colocan la echa debajo encima del objeto, y el ltimo se utiliza
para poner objetos encima debajo de una echa (que es autoextensible, dependiendo de la
longitud de los objetos que tenga encima/debajo). Por ejemplo:
\[ \underleftarrow{z+w} \neq \underrightarrow{z+q}
\neq \overleftrightarrow{zw} \]
\[ \xleftarrow[T]{a+b} \quad \xleftarrow[a+b+c+d]{T} \]
z + w

= z + q

zw
a+b

T
T

a+b+c+d
Apuntes de L
A
T
E
X Captulo 2: Listas y Tablas c _Luis M. Molina 2009
Seccin 10 Operadores de tamao variable: integrales, sumatorios,... 16
SECCIN 10
Operadores de tamao variable: integrales, sumatorios,...
Los signos de integral y sumatorio se obtienen, respectivamente, con los comandos \int
y \sum. El tamao de stos signos depende, al igual que ocurra con las fracciones, del modo
matemtico que se est utilizando, texto resaltado. Por ejemplo:
Euler demostr que la serie
$\sum_{n=1}^\infty\frac{1}{n^2}$
converge, pero adems que:
\begin{equation*}
\sum_{n=1}^\infty\frac{1}{n^2}=\frac{\pi^2}{6}
\end{equation*}
Euler demostr que la serie

n=1
1
n
2
converge, pero adems que:

n=1
1
n
2
=

2
6
Se observa tambin que la posicin de los subndices del sumatorio cambia si estamos
en modo texto (sub/superndices a un lado) en modo resaltado (sub/superndices debajo y
encima). ste comportamiento es comn a casi todos los operadores de tamao variable (

, etc..) y tamben a funciones (como la expresin para el lmite: \lim).

En el caso de que queramos, para el modo texto, cambiar la posicin de los sub/superndices
(para que aparezcan abajo/arriba), podemos utilizar el comando \limits inmediatamente a
continuacin del comando de operador de tamao variable (\sum, \proc, etc...). Por contra,
si deseamos que, en modo resaltado, los sub/superndices aparezcan a un lado, se debe utilizar
el comando \nolimits; por ejemplo:
Euler demostr que la serie $\sum\limits_{n=1}^\infty\frac{1}{n^2}$
converge, pero adems que:
\begin{equation*}
\sum\nolimits_{n=1}^\infty\frac{1}{n^2}=\frac{\pi^2}{6}
\end{equation*}
Euler demostr que la serie

n=1
1
n
2
converge, pero adems que:

n=1
1
n
2
=

2
6
Todo lo anterior es vlido para cualquier signo de tamao variable, excepto los de tipo
integral; para stos, tanto en modo texto como en resaltado, los lmites se colocan a un lado:
Apuntes de L
A
T
E
X Captulo 2: Listas y Tablas c _Luis M. Molina 2009
Seccin 11 Varias lneas de subndices 17
As, $\lim\limits_{x\to\infty}\int_0^x\frac{\sin x}{x}\,\mathrm{d}x
=\frac{\pi}{2}$ y por definicin,
\begin{equation*}
\int_0^\infty\frac{\sin x}{x}\,\mathrm{d}x=\frac{\pi}{2}
\end{equation*}
As, lm
x
_
x
0
sinx
x
dx =

2
y por denicin,
_

0
sinx
x
dx =

2
Si queremos lmites abajo/arriba, el comando \limits cambia su ubicacin.
SECCIN 11
Varias lneas de subndices
En caso de que se quiera colocar varias lneas de subndices, se puede utilizar el comando
\substack, como en el siguiente ejemplo:
p
k
(x) =
n

i=1
i=k
_
x t
i
t
k
t
i
_
se obtiene con:
\begin{equation*}
p_k(x)=\prod_{\substack{i=1\\i\ne k}}^n
\left(\frac{x-t_i}{t_k-t_i}\right)
\end{equation*}
Se observa que todas las lneas de subndices aparecen centradas. Si se quiere justicarlas
a la izquierda, se debe utilizar el entorno:
\begin{subarray}{l}
Lneas
\end{subrray}
como por ejemplo:
\[ \sum_{\begin{subarray}{l} 1\leq i\leq 100\\
i<j<8\end{subarray}} P(i,j) \]

1i100
i<j<8
P(i, j)
Apuntes de L
A
T
E
X Captulo 2: Listas y Tablas c _Luis M. Molina 2009
Seccin 13 Nombres de funciones 18
SECCIN 12
Integrales mltiples
Para utilizar integrales mltiples, el reiterar signos de integracin con \int resulta inade-
cuado, ya que el espaciado entre signos no es correcto. La forma correcta es utilizar los
comandos \iint (int. dobles), \iiint (int. triples) e \iiiint (int. cudruples). El comando
\idotsint produce la abreviatura con puntos suspensivos apropiada para integrales mlti-
ples n-dimensionales:
\[ \iint f(x,y) dxdy \qquad \iiint f(x,y,z) dxdydz \qquad
\idotsint_M dx_1\dots dx_n \]

f (x, y)dxdy

f (x, y, z)dxdydz

M
dx
1
. . . dx
n
Finalmente, \oint produce el smbolo de integral cerrada

(vanse las tablas en "The

comprehensive L
A
T
E
X symbol list"para versiones ms complejas del smbolo integral).
SECCIN 13
Nombres de funciones
La forma correcta de escribir una funcin genrica, como por ejemplo, f (x), es en itlica,
la forma estndar en modo matemtico. Sin embargo, existen funciones especiales como cos,
lim, log, etc..., que poseen un nombre especco para designarlas. Estas funciones se escriben
habitualmente en fuente de tipo roman. Existen las siguientes funciones disponibles, que
se obtienen a travs del comando \NombreFuncin
\arccos \cos \csc \exp \ker \limsup \min \sinh
\arcsin \cosh \deg \gcd \lg \ln \Pr \sup
\arctan \cot \det \hom \lim \log \sec \tan
\arg \coth \dim \inf \liminf \max \sin \tanh
Adems, si tenemos el paquete babel con la opcin spanish cargado, se pueden utilizar
los nombres castellanizados de algunas funciones:
sen \sen arcsen \arcsen tg \tg arctg \arctg
Algunos de stos comandos (\lim, \det, ...) funcionan de forma similar a los smbolos

, etc..., y al igual que stos, puede cambiarse su comportamiento con el comando \limits:
Esto es un ejemplo de frmula tipo texto $\lim_{x \rightarrow \infty} 3x+1$
\[ \text{y esto de resaltada:} \quad \lim_{x \rightarrow \infty} 3x+1 \]
cambiando con el comando limits: \ $\lim\limits_{x \rightarrow \infty} 3x+1$
Apuntes de L
A
T
E
X Captulo 2: Listas y Tablas c _Luis M. Molina 2009
Seccin 14 Fuentes en modo matemtico 19
Esto es un ejemplo de frmula tipo texto lm
x
3x + 1
y esto de resaltada: lm
x
3x + 1
cambiando con el comando limits tenemos: lm
x
3x + 1 (en modo texto)
SECCIN 14
Fuentes en modo matemtico
Se ha mencionado al comienzo que las letras que son parte de una frmula aparecen en
itlica. Para seleccionar un tipo de letra diferente se tienen los siguientes comandos:
\mathbb{Texto} P 1 C 1 1 (slo maysculas)
\mathbf{Texto} A B C D E
\mathcal{Texto} 1 ( / c (slo maysculas)
\mathfrak{Texto} A B C D E (maysculas y minsculas)
\mathit{Texto} A B C D E
\mathnormal{Texto} A B C D E (similar a la itlica)
\mathrm{Texto} A B C D E
\mathsf{Texto} A B C D E
\mathtt{Texto} A B C D E
Podemos obtener otro tipos de letras caligrcas cargando el paquete mathrsfs. Con ste
paquete cargado, el nuevo comando \mathscr{Texto} produce el siguiente conjunto de letras
caligrcas: A B C D E (slo maysculas).
Si en vez de cargar el paquete mathrsfs, cargamos el eucal con la opcin mathscr
(\usepackage[mathscr]{eucal}), el comando \mathscr{Texto} produce ahora letras tipo
Euler script en lugar de caligrcas:
A B C D E (tambin slo para maysculas)
Cuando tratamos con signos matemticos en vez de con letras, los cambios de tipo de
letra anteriores no siempre funcionan adecuadamente. sto es especialmente inconveniente
cuando se desea poner en negrita una frmula; por ejemplo, $\mathbf{a+b=c}$ produce:
a + b = c, con los signos + e = no resaltados. Para estas situaciones se dispone del comando:
\boldsymbol{Objeto}
que proporciona smbolos en negrita:
$\boldsymbol{a+b=c}$ a + b = c
Apuntes de L
A
T
E
X Captulo 2: Listas y Tablas c _Luis M. Molina 2009
Seccin 15 Frmulas a color 20
(adems, puede verse que este comando sirve asimismo para obtener letras en negrita itlica,
ya que $\mathbf{Texto} pone el texto en negrita romana).
Para ciertos smbolos especiales, el comando \boldsymbol{Objeto} puede no funcionar;
por ejemplo, comprese:
$\oint f$

f
$\boldsymbol{\oint f}$

f
El comando \boldsymbol no tiene efecto para la integral cerrada \oint. Es stos casos, se
utiliza el comando \pmb{Objeto} (poor mans bold), que proporciona a cada smbolo el
aspecto de estar en negrita reescribindolo con pequeos desplazamientos:
$\pmb{\oint f}$

f
(con una buena lupa puede verse que la letra f negrita no es idntica con \boldsymbol y con
\pmb).
SECCIN 15
Frmulas a color
El paquete color soporta sin problemas la inclusin de color dentro de expresiones ma-
temticas a travs del comando \textcolor{NombreColor}{Texto}. ste comando puede
emplearse sin problemas dentro del modo matemtico. Por ejemplo:
Texto... $\textcolor{green}{\int_0^\infty f(x)d(x) = g(x) + C}$ ...Texto
produce:
Texto...
_

0
f (x)d(x) = g(x) + C...Texto
tambin:
$$\int_0^\infty \textcolor{blue}{f(x)d(x)} = \textcolor{red}{g(x)} + C$$
que produce:
_

0
f (x)d(x) = g(x) + C
Apuntes de L
A
T
E
X Captulo 2: Listas y Tablas c _Luis M. Molina 2009