You are on page 1of 20

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 importante, para disponer de todas las capacidades matemticas de LATEX
en un documento, cargar con \usepackage{...} los paquetes
amsmath (capacidades matemticas extra) y amssymb (librera
de smbolos). Como fuente de documentacin adicional, se recomienda consultar la gua Mathmode de escritura matemtica,
colgada en el apartado de BIBLIOGRAFA de la web de la asignatura.

SECCIN 1

Modos matemticos tipo texto y extendido.


A la hora de escribir expresiones matemticas de forma elegante y precisa, TEX 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, TEX 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 TEX asigna espacios
entre variables matemticas
R
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

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,
cuando queremos las expresiones matemticas escritas fuera del texto principal, con un tamao
mayor).
Hay tres formas anlogas para delimitar cada uno de los dos tipos (texto y resaltado):
Texto
$ ... $
\( ... \)
\begin{math} ... \end{math}

Resaltado
$$ ... $$
\[ ... \]
\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

= dc , vlida para todo a, b, c, d

Tenemos la equivalencia
a c
=
b 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 LATEX

Captulo 2: Listas y Tablas

c Luis M. Molina 2009

Seccin 2

Smbolos

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. LATEX 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 LATEX.
SECCIN 2

Smbolos
Las siguientes tablas proporcionan los comandos necesarios para obtener una amplia variedad 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 smbolos. La coleccin completa de smbolos matemticos puede consultarse en la Comprehensive
LaTeX symbol 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


o

\theta
\vartheta
\iota
\kappa
\lambda
\mu
\nu
\xi

\Lambda
\Xi
\Pi

"

\alpha
\beta
\gamma
\delta
\epsilon
\varepsilon
\zeta
\eta

\Gamma
\Delta
\Theta

Apuntes de LATEX

&

o
\pi
\varpi
\rho
\varrho
\sigma
\varsigma

\Sigma
\Upsilon
\Phi

Captulo 2: Listas y Tablas

\tau
\upsilon
\phi
\varphi
\chi
\psi
\omega

\Psi
\Omega

'

c Luis M. Molina 2009

Seccin 2

Smbolos

Tabla 2: Operadores binarios

\pm
\mp
\times
\div
\ast
\star
\circ
\bullet
\cdot
+

\
[
]
u
t
_
^
\
o

4
5
/
.
C
B
E
D

\cap
\cup
\uplus
\sqcap
\sqcup
\vee
\wedge
\setminus
\wr
-

\diamond
\bigtriangleup
\bigtriangledown
\triangleleft
\triangleright
\lhd
\rhd
\unlhd
\unrhd

\oplus
\ominus
\otimes
\oslash
\odot
\bigcirc
\dagger
\ddagger
\amalg

Tabla 3: Operadores de relacin

@
v
2
`
:

\leq
\prec
\preceq
\ll
\subset
\subseteq
\sqsubset
\sqsubseteq
\in
\vdash
:

A
w
3
a

\geq
\succ
\succeq
\gg
\supset
\supseteq
\sqsupset
\sqsupseteq
\ni
\dashv

'

\equiv
\sim
\simeq
\asymp
\approx
\cong
\neq
\doteq
\propto
<

/
<

|=
?
|
k
./
Z
_
^
=
>

\models
\perp
\mid
\parallel
\bowtie
\Join
\smile
\frown
=
>

Tabla 4: Signos de puntuacin


,

\colon

\ldotp

\cdotp

Tabla 5: Smbolos de flechas


(
!
)
$
,
7
!
(
)

\leftarrow
\Leftarrow
\rightarrow
\Rightarrow
\leftrightarrow
\Leftrightarrow
\mapsto
\hookleftarrow
\leftharpoonup
\leftharpoondown
\rightleftharpoons

Apuntes de LATEX

(=
!
=)
!
()
7 !
,!
*
+
{

\longleftarrow
\Longleftarrow
\longrightarrow
\Longrightarrow
\longleftrightarrow
\Longleftrightarrow
\longmapsto
\hookrightarrow
\rightharpoonup
\rightharpoondown
\leadsto

Captulo 2: Listas y Tablas

"
*
#
+
l
m
%
&
.
-

\uparrow
\Uparrow
\downarrow
\Downarrow
\updownarrow
\Updownarrow
\nearrow
\searrow
\swarrow
\nwarrow

c Luis M. Molina 2009

J
N
L
U

Seccin 2

Smbolos

\ddot{a}

\tilde{a}

Tabla 12: Otras construcciones


f
abc

\widetilde{abc}

abc
abc
z}|{
abc
p
abc
0
f

\overleftarrow{abc}
\overline{abc}
\overbrace{abc}
\sqrt{abc}
f

c
abc
!
abc
abc

\widehat{abc}

abc
|{z}
p
n
abc

\underbrace{abc}

\overrightarrow{abc}
\underline{abc}

abc
xyz

\sqrt[n]{abc}
\frac{abc}{xyz}

Tabla 13: Delimitadores AMS


p

\ulcorner

\urcorner

\llcorner

\lrcorner

Tabla 14: Flechas AMS


d

"
x

\dashrightarrow
\leftleftarrows
\Lleftarrow
\leftarrowtail
\leftrightharpoons
\circlearrowleft
\upuparrows
\downharpoonleft
\leftrightsquigarrow
\rightleftarrows
\rightleftarrows
\rightarrowtail
\rightleftharpoons
\circlearrowright
\downdownarrows
\downharpoonright

#
y

\dashleftarrow
\leftrightarrows
\twoheadleftarrow
\looparrowleft
\curvearrowleft
\Lsh
\upharpoonleft
\multimap
\rightrightarrows
\rightrightarrows
\twoheadrightarrow
\looparrowright
\curvearrowright
\Rsh
\upharpoonright
\rightsquigarrow

Tabla 15: Flechas de negacin AMS


8
;

\nleftarrow
\nRightarrow

9
=

\nrightarrow
\nleftrightarrow

:
<

\nLeftarrow
\nLeftrightarrow

Tabla 16: Letras griegas AMS


z

Apuntes de LATEX

\digamma

\varkappa

Captulo 2: Listas y Tablas

c Luis M. Molina 2009

Seccin 2

Smbolos

Tabla 17: Letras hebreas AMS


i

\beth

\daleth

\gimel

Tabla 18: Smbolos varios AMS


~

]
a
N
F
M
s
f
8

\hbar
\square
\measuredangle
\Game
\blacktriangle
\bigstar
\diagup
\vartriangle
\circledS
\mho
\backprime
\blacksquare
\complement

@
k
H
^
O
\
`
?

\hslash
\lozenge
\nexists
\Bbbk
\blacktriangledown
\sphericalangle
\diagdown
\triangledown
\angle
\Finv
\varnothing
\blacklozenge
\eth

Tabla 19: Operadores binarios AMS


u
Z

n
f
}
d
i

\dotplus
\barwedge
\boxtimes
\ltimes
\curlywedge
\circledcirc
\Cup
\rightthreetimes

r
Y
o
g

\smallsetminus
\veebar
\boxdot
\rtimes
\curlyvee
\centerdot
\boxminus
\circledast

e
[

\Cap
\doublebarwedge
\boxplus
\leftthreetimes
\circleddash
\intercal
\divideontimes

h

|
>

Tabla 20: Operadores de relacin AMS


5
/
7
:
j
2
E
a
>
m
T
s
A

\leqq
\lessapprox
\lessgtr
\risingdotseq
\subseteqq
\curlyeqprec
\trianglelefteq
\smallfrown
\geqslant
\gtrdot
\gtreqqless
\thicksim
\sqsupset

Apuntes de LATEX

6
u
Q
;
b

l
1
o
P
t
<

\leqslant
\approxeq
\lesseqgtr
\fallingdotseq
\Subset
\precsim
\vDash
\bumpeq
\eqslantgtr
\ggg
\eqcirc
\thickapprox
\succcurlyeq

Captulo 2: Listas y Tablas

0
l
S
v
@
w
m
&
?
$
k
3

\eqslantless
\lessdot
\lesseqqgtr
\backsim
\sqsubset
\precapprox
\Vvdash
\Bumpeq
\gtrsim
\gtrless
\circeq
\supseteqq
\curlyeqsucc

c Luis M. Molina 2009

Seccin 2

Smbolos

v
p
_
I
n
4
=
,

\succapprox
\shortmid
\varpropto
\blacktriangleright
\lll
\preccurlyeq
\geqq
\triangleq
\Vdash

B
q
J
*
+
C
'
c
t

\vartriangleright
\shortparallel
\blacktriangleleft
\because
\doteqdot
\vartriangleleft
\gtrapprox
\Supset
\pitchfork

D
G
)
.
w
`
R
%


\trianglerighteq
\between
\therefore
\lesssim
\backsimeq
\smallsmile
\gtreqless
\succsim
\backepsilon

Tabla 21: Negacin de operadores de relacin AMS

0
*
&

/
7
)

'

\nless
\lneq
\lnapprox
\precnapprox
\nvdash
\nsubseteq
\varsubsetneqq
\ngeqq
\gnsim
\nsucceq
\nshortparallel
\ntriangleright
\supsetneq
\nleqq
\nmid
\ngeqslant
\ncong
\varsupsetneqq

/
2
(

,
4
!

5
3

\nleq
\lneqq
\nprec
\nsim
\nvDash
\subsetneq
\ngtr
\gneq
\gnapprox
\succnsim
\nparallel
\ntrianglerighteq
\varsupsetneq
\lnsim
\ntrianglelefteq
\gvertneqq
\nVDash

.
6

2
+
%

\nleqslant
\lvertneqq
\npreceq
\nshortmid
\ntriangleleft
\varsubsetneq
\ngeq
\gneqq
\nsucc
\succnapprox
\nvDash
\nsupseteq
\supsetneqq
\precnsim
\subsetneqq
\nsucceq
\nsupseteqq

Tabla 22: Alfabetos matemticos


Paquete requerido
ABCdef
ABCdef
ABCde f
ABC
ABC
ABCdef
ABC
A BC

Apuntes de LATEX

\mathrm{ABCdef}
\mathitABCdef
\mathnormal{ABCdef}
\mathcal{ABC}
\mathcal{ABC}
\mathfrak{ABCdef}
\mathbb{ABC}
\mathscr{ABC}

euscript con la opcin: mathcal


eufrak
amsfonts amssymb
mathrsfs

Captulo 2: Listas y Tablas

c Luis M. Molina 2009

Seccin 3

Subndices y superndices

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:
xn + yn = zn
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}$ ! (xm )n = xmn

pero si tecleamos $x^mn$ se obtiene xm n.


Tambin podemos tener superndices de superndices, agrupndolos de la siguiente manera:
Los nmeros de la forma $2^{2^n}+1$,
donde $n$ es un nmero natural, se denominan nmeros de Fermat
n

Los nmeros de la forma 22 + 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$ ! 22n + 1
n
${2^2}^n$ ! 22 + 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 (xn ) definida por
x1 = 1,

x2 = 1,

xn = xn

+ xn

(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: (x2n ) De nuevo, ha de tenerse cuidado con el modo

Apuntes de LATEX

Captulo 2: Listas y Tablas

c Luis M. Molina 2009

Seccin 4

Races

10

de agrupamiento; comprense los siguientes casos:


$x_m^n$ ! xnm
${x_m}^n$ ! xm n
${x^n}_m$ ! xn m
SECCIN 4

Races
Lapraz cuadrada se introduce con el comando \sqrt{Argumento}. As, $\sqrt{2}$ produce 2. Este comando tiene un argumento opcional, para escribir races cbicas, cuartas,
n-simas:
p
p
5
4
$\sqrt[4]{5}$, $\sqrt[5]{4}$ ! 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
p

2 2,

q
2
2 2

p
2,

r
2

q
p
2 + 2,

v
u
t
2

r
2+

2+

q
2+

2, ...

converge a .
Para obtener lo anterior, ntese como se ha hecho uso de los comandos \, y \;, abreviaturas 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 LATEX

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:

b
ac + b
a+( )=
c
c

Obtenemos delimitadores de tamao adecuado utilizando \left( ... \right), en vez de


simplemente ( ... ). Vase la diferencia:
!
b
ac + b
a+
=
c
c
La lista de smbolos al final 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:
)
ux = v y
Ecuaciones de Cauchy-Riemann
u y = vx
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 demasiado 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 LATEX

Captulo 2: Listas y Tablas

c Luis M. Molina 2009

Seccin 6

Matrices y determinantes

produce:

(x + y)2

(x

y)2 = (x + y) + (x

y) (x + y)

12

(x

y) = 4xy

Utilizando los modificadores \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 modificadores de tamao predefinido, 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
x+y
&5
x^z
&\sqrt{75}
(x+y)z &100
\end{array}\]

&m+n^2
&m-n
&m
&1+m

\\
\\
\\

produce:
x
x+y
xz
(x + y)z0

3
p 5
75
100

m + n2
m n
m
1+m

(ntese como debemos iniciar el modo matemtico antes de comenzar array)


Basndonos en array, podemos construir una matriz utilizando los delimitadores \right(
y \left), un determinante con \right| y \left|, etc... Un mtodo alternativo es usar los
entornos especficos pmatrix, bmatrix, Bmatrix, vmatrix y Vmatrix, anlogos a array, y que
respectivamente aaden automticamente los delimitadores (), [], { }, | | y || ||. Adems, no
requieren de especificacin del formato de columnas; a diferencia de array, stos entornos
siempre producen columnas centradas. Por ejemplo:

Apuntes de LATEX

Captulo 2: Listas y Tablas

c Luis M. Molina 2009

Seccin 6

Matrices y determinantes

\begin{pmatrix}
A_1 & A_2 & A_3
B_1 & B_2 & B_3
C_1 & C_2 & C_3
D_1 & D_2 & D_3
\end{pmatrix}

&
&
&
&

A_4
B_4
C_4
D_4

13

\\
\\
\\
\\

produce:

0
1
BBA1 A2 A3 A4 CC
BBB B1 B2 B3 B4 CCC
BB
C
BB C C C C CCC
BB 1
2
3
4C
CA
@
D1 D2 D3 D4

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 especifique 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:
!
a h g
a h g
h
b
f
h
b
f
Dado que
= 0, la matriz
no es invertible.
g f c

g f c

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 LATEX

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 unicacin vertical 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

Apuntes de LATEX

!
!
n 1
n 1
+
1 2
2 22

n
n

1
=0
1 2n 1

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 llaves bajo sobre un objeto, pudindose incluso aadir el argumento Indice bajo la llave:
4

z }| {
x + y + z +w
|{z}
2

\[ \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 Yd
a

j=1

\[ \sideset{_{a}^{b}}{_{c}^{d}}\prod_{j=1}^{k+1} \]
Para colocar flechas, 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 flecha debajo encima del objeto, y el ltimo se utiliza
para poner objetos encima debajo de una flecha (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
!

Apuntes de LATEX

a+b

a+b+c+d

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

P1

1
n=1 n2

converge, pero adems que:

1
X
1
2
=
6
n2
n=1

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 debajoPy
encima).
ste comportamiento es comn a casi todos los operadores de tamao variable ( ,
Q `
, , 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

1
P
n=1

X1

n=1

1
n2

converge, pero adems que:

1
2
=
6
n2

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 LATEX

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

Rx

x!1 0

sin x
x

dx =

y por definicin,
Z

1
0

sin x

dx =
x
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:
n
Y
x
pk (x) =
tk
i=1
i,k

ti
ti

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 justificarlas
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) \]
X

P(i, j)

1i100
i<j<8

Apuntes de LATEX

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 inadecuado, 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 mltiples 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

dx1 . . . dxn

H
Finalmente, \oint produce el smbolo de integral cerrada (vanse las tablas en "The
comprehensive LATEX 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 especfico 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
\arcsin
\arctan
\arg

\cos
\cosh
\cot
\coth

\csc
\deg
\det
\dim

\exp
\gcd
\hom
\inf

\ker
\lg
\lim
\liminf

\limsup
\ln
\log
\max

\min
\Pr
\sec
\sin

\sinh
\sup
\tan
\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

P
Algunos
de
stos
comandos
(\lim,
\det,
...)
funcionan
de
forma
similar
a
los
smbolos
,
Q
, 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 LATEX

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 lmx!1 3x + 1


y esto de resaltada:

lm 3x + 1

x!1

cambiando con el comando limits tenemos: lm 3x + 1 (en modo texto)


x!1

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}

! A B C D E (slo maysculas)

\mathbf{Texto}

! ABCDE
! A B C D E (slo maysculas)

\mathcal{Texto}
\mathfrak{Texto}
\mathit{Texto}

! A B C D E (maysculas y minsculas)

! ABCDE

\mathnormal{Texto}

! A B C D E (similar a la itlica)

\mathrm{Texto}

! ABCDE

\mathsf{Texto}

! ABCDE

\mathtt{Texto}

! A B C D E

Podemos obtener otro tipos de letras caligrficas cargando el paquete mathrsfs. Con ste
paquete cargado, el nuevo comando \mathscr{Texto} produce el siguiente conjunto de letras
caligrficas: 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 caligrficas:
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 LATEX

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:
H
$\oint f$ ! f
H
$\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:
H
$\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 matemticas 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:
R1
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:
Z
0

Apuntes de LATEX

f (x)d(x) = g(x) + C

Captulo 2: Listas y Tablas

c Luis M. Molina 2009

You might also like