apuntes5

Vista previa del material en texto

Apuntes de Latex
Capitulo 5: Escribiendo matemáticas
1. Conceptos básicos; tamaño de fórmulas
A la hora de escribir expresiones matemáticas de forma elegante y precisa, TEX
dispone de un modo de escritura especial, el modo matemàtico. Así por ejemplo, para
tener:
La ecuación de una recta en el plano cartesiano es de la
forma ax + by + c = 0, donde a, b, c son constantes.
escribiríamos:
La ecuación 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 matemático en modo texto (es
decir, cuando queremos las expresiones matemáticas escritas dentro del texto principal,
con un tamaño apropiado para ello). En el ejemplo anterior vemos varias cosas impor-
tantes; primero, aunque tecleamos $ax+by+c=0$ sin espacios, TEX introduce espacios
en la fórmula de acuerdo a sus propias reglas (teclear $ ax + by + c = 0$ produciría
exactamente el mismo resultado); en general, en modo matemático TEX asigna espacios
entre variables matemáticas de acuerdo con los distintos tipos de separadores (=, +, <,∫
, ...) que encuentra. Además, los caracteres de texto son escritos en itálica.
Por contra, nótese 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 matemático
para introducirlos.
Si queremos escribir expresiones matemáticas resaltadas, es decir, separadas del
texto principal y con un tamaño mayor, podemos utilizar:
La ecuación de una recta en el plano cartesiano es de la forma
$$ax+by+c=0$$
donde $a$, $b$, $c$ son constantes.
1
que produciría:
La ecuación 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 matemático resaltado (es
decir, cuando queremos las expresiones matemáticas escritas fuera del texto principal,
con un tamaño mayor).
Hay tres formas análogas 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 más claramente la diferencia entre ambos mo-
dos:
Tenemos la equivalencia $\frac{a}{b}=\frac{c}{d}$, válida para todo
$a$, $b$, $c$, $d$ \\ \\
Tenemos la equivalencia $$\frac{a}{b}=\frac{c}{d}$$ válida para todo
$a$, $b$, $c$, $d$
Tenemos la equivalencia ab =
c
d , válida para todo a, b, c, d
Tenemos la equivalencia
a
b
=
c
d
válida para todo a, b, c, d
2. Subíndices y superíndices
Los superíndices ó exponentes se producen con el símbolo ^
2
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 superíndice tiene más de un carácter de longitud,
debe utilizarse {superindice} para agrupar el superíndice; por ejemplo:
$(x^m)^n=x^{mn}$ −→ (xm)n = xmn
pero si tecleamos $x^mn$ se obtiene xmn.
También podemos tener superíndices de superíndices, agrupándolos de la siguiente
manera:
Los números de la forma $2^{2^n}+1$,
donde $n$ es un número natural, se denominan números de Fermat
Los números de la forma 22
n
+ 1, donde n es un número
natural, se denominan números de Fermat
La forma en que los agrupamos es crítica; probando:
$2^2^n+1$ −→ 22n + 1
${2^2}^n$ −→ 22n + 1
obtenemos resultados diferentes (compárese en especial el tamaño de la n).
Para producir subíndices véase el siguiente ejemplo:
La sucesión $(x_n)$ definida por
$$x_1=1,\quad x_2=1,\quad x_n=x_{n-1}+x_{n-2}\;\;(n>2)$$
se llama sucesión de Fibonacci.
La sucesión (xn) definida por
x1 = 1, x2 = 1, xn = xn−1 + xn−2 (n > 2)
se llama sucesión de Fibonacci.
(nótese como introducimos espacios con el comando \quad). Al igual que en el caso de
los superíndices, se pueden obtener sub-subíndices con un agrupamiento adecuado.
3
Con facilidad, podemos agrupar juntos sub- y superíndices; por ejemplo: $(x_n^2)$
y $(x^2_n)$ producen el mismo resultado: (x2n) De nuevo, ha de tenerse cuidado con el
modo de agrupamiento; compárense los siguientes casos:
$x_m^n$ −→ xnm
${x_m}^n$ −→ xmn
${x^n}_m$ −→ xnm
3. Raíces
La raíz cuadrada se introduce con el comando \sqrt{Argumento}. Así, $\sqrt{2}$
produce
√
2. Este comando tiene un argumento opcional, para escribir raíces cúbicas,
cuartas, ó n-ésimas:
$\sqrt[4]{5}$, $\sqrt[5]{4}$ −→ 4
√
5,
5
√
4
El tamaño del signo de raíz se ajusta automáticamente al tamaño del argumento;
ésta característica permite anidar raíces con facilidad, por ejemplo:
La sucesión
$$
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 sucesión
2
√
2 , 22
√
2 −
√
2 , 23
√
2 −
√
2 +
√
2 , 24
√√√
2 −
√
2 +
√
2 +
√
2 +
√
2 , . . .
converge a π.
Para obtener lo anterior, nótese como se ha hecho uso de los comandos \, y \;,
abreviaturas de \thinspace y \thickspace, respectivamente. En modo matemático,
también 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 análogos, pero de longitud negativa.
4
Finalmente, para producir la letra griega π se utiliza $\pi$. Al final de éste capítulo
se da una lista fundamental de los símbolos más utilizados. Existen muchos más, que
pueden encontrarse en la lista completa, la cual se puede descargar como archivo PDF
(symbols_a4.pdf) en la dirección del CTAN:
www.ctan.org/tex-archive/info/symbols/comprehensive
4. Símbolos matemáticos y su espaciado propio
Debemos discutir dos puntos importantes acerca de los signos matemáticos en las
tablas a final del capítulo. Primero, para obtener muchos de ellos es necesario cargar
el paquete amssymb, que añade numerosos símbolos predefinidos de la American
Mathematical Association (AMS). Otro paquete útil es el amsmath, que amplía las
capacidades matemáticas de LATEX. A partir de ahora, asumiremos que ambos paquetes
están cargados, por lo cual no se distinguirá entre las capacidades del LATEX básico y las
del paquete amsmath.
En segundo lugar, los símbolos se agrupan en distintas clases (cada Tabla especifica
a qué clase pertenecen) que dividiremos en 7 categorías principales:
Ordinarios (Ord): Letras latinas (las cuales, en modo matemático, se escriben en
itálica), griegas, números, símbolos ∃, ∅,∞, etc...
Operadores de tamaño variable (Op):
∑
,
∏
,
∫
, etc...
Operadores binarios (Bin): +, ∪, ×, etc...
Operadores de relación (Rel): Por ejemplo, símbolos como =, <, ≈, etc...; flechas
como	, −→,⇐⇒, etc...; símbolos de inclusión ⊂, ⊃, +, etc...
Delimitadores de apertura (Ape): (, {, etc...
Delimitadores de cierre (Cie): ), }, etc...
Signos de puntuación (Pun): ?, ,(coma), etc...
La importancia de esta clasificación reside en que LATEX inserta espacios entre sím-
bolos de acuerdo a las clases a las que pertenecen. La tabla siguiente detalla el tamaño
de los espacios; Los números 0, 1, 2 y 3 indican, respectivamente, que no se deja espacio,
que se deja un espacio pequeño (\thinspace), un espacio medio (\medspace) ó un es-
pacio grande (\thickspace). Los números entre paréntesis denotan casos en los que los
espacios no se insertan si estamos en modo de escritura de subíndices ó superíndices.
Las entradas con asterisco son casos que no pueden presentarse.
5
Ord Op Bin Rel Ape Cie Pun
Ord 0 1 (2) (3) 0 0 0
Op 1 1 * (3) 0 0 0
Bin (2) (2) * * (2) * *
Rel (3) (3) * 0 (3) 0 0
Ape 0 0 * 0 0 0 0
Cie 0 1 (2) (3) 0 0 0
Pun (1) (1) * (1) (1) (1) (1)
Separación entre operadores matemáticos
Veamos un ejemplo:
Para dos números $x$ e $y$, definimos una operación $\circ$ como:
$$ x\circ y=x+y-xy $$
la cual es asociativa.
produce:
Parados números x e y, definimos una operación ◦ como:
x ◦ y = x + y − xy
la cual es asociativa.
En la lista de símbolos, vemos que \circ está clasificado como operador binario.
Si intentamos lo mismo con el símbolo � (\Box, clasificado como “Símbolos varios”)
obtenemos lo siguiente:
Para dos números x e y, definimos una operación � como:
x�y = x + y − xy
la cual es asociativa.
Los espacios han desaparecido, debido a que � no es considerado como operador
binario. Sin embargo, LATEX permite, en modo matemático, cambiar el comportamiento
(y espacios predefinidos adyacentes) de cualquier símbolo. Para ello disponemos de los
comandos:
\mathord −→ Símbolo ordinario
\mathrel −→ Operador de relación
\mathbin −→ Operador binario
6
que respectivamente permiten asignar comportamientos de símbolos ordinarios, de
relación, ó binarios. Así por ejemplo, en el caso anterior, tecleando \mathbin delante de
\Box ($$ x\mathbin\Box y=x+y-xy $$) obtendríamos:
x � y = x + y − xy
5. Ecuaciones
5.1. Ecuaciones simples
Aparte de los comandos para producir fórmulas en modo resaltado, ( $$ ... $$ ó
\[ ... \] ) podemos utilizar el entorno \begin{equation*} ... \end{equation*}. Por
ejemplo:
La ecuación 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 produciría:
La ecuación de una recta en el plano cartesiano es de la forma
ax + by + c = 0
donde a, b, c son constantes.
¿Cuál es el efecto del “*” tras equation? Eliminándolo obtenemos lo siguiente:
La ecuación de una recta en el plano cartesiano es de la forma
ax + by + c = 0 (1)
donde a, b, c son constantes.
La ecuación es entonces numerada. LATEX utiliza un contador para numerar ecua-
ciones, según la sección a la que pertenezcan (en el formato article) ó según el capítulo
y sección (en el formato book). A lo largo de esta sección discutiremos numerosas formas
(entornos) para escribir ecuaciones; todas ellas guardan la misma relación entre formas
con ó sin asterisco: las versiones sin asterisco proporcionan ecuaciones numeradas.
Para incluir texto ordinario dentro de una ecuación (que será producido en tipo
de letra normal, en vez de itálica, y con los espacios propios del modo texto) puede
7
utilizarse el comando \text{Texto}. Por ejemplo:
de lo anterior se deduce:
\begin{equation*}
x\le|x|\quad\text{para todo $x$ en $R$}.
\end{equation*}
de lo anterior se deduce:
x ≤ |x| para todo x en R.
(nòtese el uso de signos $ dentro del argumento de \text, a fin de poner x y R en itálica.
En caso de que una ecuación sea demasiado larga para caber en una línea, se puede
utilizar el entorno multline*, por ejemplo:
(a + b + c + d + e)2 = a2 + b2 + c2 + d2 + e2
+ 2ab + 2ac + 2ad + 2ae + 2bc + 2bd + 2be + 2cd + 2ce + 2de
se produce con:
\begin{multline*}
(a+b+c+d+e)^2=a^2+b^2+c^2+d^2+e^2\\
+2ab+2ac+2ad+2ae+2bc+2bd+2be+2cd+2ce+2de
\end{multline*}
Para ecuaciones en más de dos líneas, los resultados no son muy satisfactorios. Por
ejemplo: tecleando:
\begin{multline*}
(a+b+c+d+e+f)^2=a^2+b^2+c^2+d^2+e^2+f^2\\
+2ab+2ac+2ad+2ae+2af\\
+2bc+2bd+2be+2bf\\
+2cd+2ce+2cf\\
+2de+2df\\
+2ef
\end{multline*}
obtenemos:
8
(a + b + c + d + e + f )2 = a2 + b2 + c2 + d2 + e2 + f 2
+ 2ab + 2ac + 2ad + 2ae + 2a f
+ 2bc + 2bd + 2be + 2b f
+ 2cd + 2ce + 2c f
+ 2de + 2d f
+ 2e f
Para solucionar esto se puede utilizar el entorno split, que no puede usarse inde-
pendientemente, esto es, debe incluirse dentro de alguna estructura tipo equation. Por
ejemplo, podemos modificar el caso anterior tecleando:
\begin{equation*}
\begin{split}
(a+b+c+d+e+f)^2 & = a^2+b^2+c^2+d^2+e^2+f^2\\
&\quad +2ab+2ac+2ad+2ae+2af\\
&\quad +2bc+2bd+2be+2bf\\
&\quad +2cd+2ce+2cf\\
&\quad +2de+2df\\
&\quad +2ef
\end{split}
\end{equation*}
con lo que se tiene:
(a + b + c + d + e + f )2 = a2 + b2 + c2 + d2 + e2 + f 2
+ 2ab + 2ac + 2ad + 2ae + 2a f
+ 2bc + 2bd + 2be + 2b f
+ 2cd + 2ce + 2c f
+ 2de + 2d f
+ 2e f
Este entorno también es útil cuando la ecuación contiene múltiples igualdades; por
ejemplo:
\begin{equation*}
\begin{split}
(a+b)^2 & = (a+b)(a+b)\\
& = a^2+ab+ba+b^2\\
& = a^2+2ab+b^2
\end{split}
\end{equation*}
9
produce:
(a + b)2 = (a + b)(a + b)
= a2 + ab + ba + b2
= a2 + 2ab + b2
5.2. Grupos de ecuaciones
Un grupo de ecuaciones puede ser escrito utilizando el entorno gather:
\begin{gather*}
(a,b)+(c,d)=(a+c,b+d)\\
(a,b)(c,d)=(ac-bd,ad+bc)
\end{gather*}
produce como salida:
(a, b) + (c, d) = (a + c, b + d)
(a, b)(c, d) = (ac − bd, ad + bc)
Cuando un grupo de ecuaciones deben formar una sola unidad, el modo lógicamente
correcto de escribirlas es incluyendo cierta alineación. Para ello podemos utilizar el
entorno align*, como se ve a continuación:
Suponemos que $x$, $y$, $z$ satisfacen las ecuaciones:
\begin{align*}
x+y-z & = 1\\
x-y+z & = 1
\end{align*}
obteniendo:
Suponemos que x, y, z satisfacen las ecuaciones:
x + y − z = 1
x − y + z = 1
Dentro del entorno align* podemos añadir un texto intermedio, sin romper la
alineación, con el comando \intertext{Texto}. Por ejemplo:
10
Suponemos que $x$, $y$, $z$ satisfacen las ecuaciones:
\begin{align*}
x+y-z & = 1\\
x-y+z & = 1\\
\intertext{y por hipótesis}
x+y+z & =1
\end{align*}
Suponemos que x, y, z satisfacen las ecuaciones:
x + y − z = 1
x − y + z = 1
y por hipótesis
x + y + z = 1
En éste entorno, también pueden alinearse varias ecuaciones en varias columnas;
todo lo que se necesita es añadir separadores “&” extra:
Comparamos los siguientes conjuntos de ecuaciones:
\begin{align*}
\cos^2x+\sen^2x & = 1 & \cosh^2x-\senh^2x & = 1\\
\cos^2x-\sen^2x & = \cos 2x & \cosh^2x+\senh^2x & = \cosh 2x
\end{align*}
Comparamos los siguientes conjuntos de ecuaciones:
cos2 x + sen2 x = 1 cosh2 x − senh2 x = 1
cos2 x − sen2 x = cos 2x cosh2 x + senh2 x = cosh 2x
Imaginemos que queremos modificar lo anterior en la siguiente forma:
Comparamos los siguientes conjuntos de ecuaciones:
cos2 x + sen2 x = 1
cos2 x − sen2 x = cos 2x
y
cosh2 x − senh2 x = 1
cosh2 x + senh2 x = cosh 2x
Esto no se puede escribir utilizando los entornos ya vistos, dado que cualquiera de
ellos ocupa toda la anchura de texto; el paquete amsmath proporciona las variantes
11
gathered, aligned y alignedat, que ocupan sólo la anchura real de los contenidos.
Así, lo anterior se puede obtener a partir del código:
Comparamos los siguientes conjuntos de ecuaciones:
\begin{equation*}
\begin{aligned}
\cos^2x+\sen^2x & = 1\\
\cos^2x-\sen^2x & = \cos 2x
\end{aligned}
\qquad\text{y}\qquad
\begin{aligned}
\cosh^2x-\senh^2x & = 1\\
\cosh^2x+\senh^2x & = \cosh 2x
\end{aligned}
\end{equation*}
Una estructura común en matemáticas es definición de funciones a trozos, por
ejemplo:
|x| =

x if x ≥ 0
−x if x ≤ 0
lo cual se obtiene utilizando el entorno cases de amsmath dentro de una ecuación:
\begin{equation*}
|x| =
\begin{cases}
x & \text{if $x\ge 0$}\\
-x & \text{if $x\le 0$}
\end{cases}
\end{equation*}
La tabla en la página siguiente ilustra con ejemplos sencillos las distintas posibili-
dades básicas vistas hasta ahora:
12
Comparación de diferentes entornos para ecuaciones
\begin{equation*}
a=b
\end{equation*}
a = b
\begin{equation}
a=b
\end{equation}
a = b (2)
\begin{equation}\label{xx}
\begin{split}
a& =b+c-d\\
& \quad +e-f\\
& =g+h\\
& =i
\end{split}
\end{equation}
a = b + c − d
+ e − f
= g + h
= i
(3)
\begin{multline}
a+b+c+d+e+f\\
+i+j+k+l+m+n
\end{multline}
a + b + c + d + e + f
+ i + j + k + l +m + n (4)
\begin{gather}
a_1=b_1+c_1\\
a_2=b_2+c_2-d_2+e_2
\end{gather}
a1 = b1 + c1 (5)
a2 = b2 + c2 − d2 + e2 (6)
\begin{align}
a_1& =b_1+c_1\\
a_2& =b_2+c_2-d_2+e_2
\end{align}
a1 = b1 + c1 (7)
a2 = b2 + c2 − d2 + e2 (8)
\begin{align}
a_{11}& =b_{11}&
a_{12}& =b_{12}\\
a_{21}& =b_{21}&
a_{22}& =b_{22}+c_{22}
\end{align}
a11 = b11 a12 = b12 (9)
a21 = b21 a22 = b22 + c22 (10)
\begin{flalign*}
a_{11}& =b_{11}&
a_{12}& =b_{12}\\
a_{21}& =b_{21}&a_{22}& =b_{22}+c_{22}
\end{flalign*}
a11 = b11 a12 = b12
a21 = b21 a22 = b22 + c22
13
Otra posibilidad más para alinear ecuaciones es el entorno eqnarray. Funciona de
forma similar al entorno align, y su sintaxis es la siguiente:
\begin{eqnarray}
FormulaIzquierda1 &Separador1& FormulaDerecha1 \\
FormulaIzquierda1 &Separador2& FormulaDerecha2 \\
......
\end{eqnarray}
Existe igualmente en dos versiones, sin asterisco ó con asterisco, lo cual implica que
se numeran ó no todas las ecuaciones, respectivamente. Para no numerar una ecuación
en particular, se debe utilizar el comando \nonumber delante del salto de línea \\.
5.3. Numerando ecuaciones
La utilidad de la numeración de ecuaciones reside, aparte de la mejor organi-
zación de las mismas, en la posibilidad de referenciarlas dentro del texto. El pro-
cedimiento se basa en los comandos \label{Etiqueta}, que etiqueta las ecuaciones, y
\eqref{Etiqueta}, que las etiqueta. Por ejemplo:
(a + b)(a − b) = a2 − b2 (11)
En efecto:
(a + b)(a − b) = a2 + ab − ab − b2 (12)
= a2 − b2
Para diferencias de cubos tenemos:
(a2 + ab + b2)(a − b) = a3 − b3 (13)
Se ha abordado el caso n = 2 en (11), su desarrollo en (12), y el caso
n = 3 en (13)
se obtendría con el siguiente código:
\begin{equation}
(a+b)(a-b)=a^2-b^2 \label{n=2}
\end{equation}
En efecto:
\begin{align}
(a+b)(a-b) &= a^2 +ab -ab -b^2 \label{desarr} \\
&= a^2-b^2 \nonumber
\end{align}
14
Para diferencias de cubos tenemos:
\begin{equation}
(a^2 +ab +b^2)(a-b) = a^3-b^3 \label{n=3}
\end{equation}
Se ha abordado el caso $n=2$ en \eqref{n=2}, su desarrollo en
\eqref{desarr}, y el caso $n=3$ en \eqref{n=3}
Imaginemos ahora que queremos que los números de ecuación contengan el número
de sección correcpondiente. Ello se consigue con el comando:
\numberwithin{equation}{section},
que aplicado antes del código del ejemplo anterior, nos daría el siguiente resultado:
(a + b)(a − b) = a2 − b2 (5.14)
En efecto:
(a + b)(a − b) = a2 + ab − ab − b2 (5.15)
= a2 − b2
Para diferencias de cubos tenemos:
(a2 + ab + b2)(a − b) = a3 − b3 (5.16)
Se ha abordado el caso n = 2 en (5.14), su desarrollo en (5.15), y el caso
n = 3 en (5.16)
Otra herramienta interesante para numerar ecuaciones es el entorno subequations,
con sintaxis:
\begin{subequations}
ParteDelDocumento
\end{subequations}
Todas las ecuaciones dentro de éste entorno, serán numeradas como (6a), (6b), etc... La
última ecuación anterior al entorno y la inmediatamente siguiente serán numeradas
como (5) y (7), respectivamente.
El formato de las etiquetas de ecuación puede cambiarse puntualmente con el co-
mando \tag{NuevaEtiqueta}, que coloca el argumento NuevaEtiqueta entre parénte-
sis, ó con \tag*{NuevaEtiqueta}, análogo pero que suprime los paréntesis. También
puede utilizarse \notag, que suprime la etiqueta, y que es análogo a \nonumber. La
ubicación vertical también es modificable (por ejemplo, nos puede convenir colocar la
etiqueta a mitad de camino entre dos ecuaciones), lo cual se consigue con el comando
\raisetag{Longitud}
15
6. Delimitadores
Llamamos delimitadores a signos de la forma ( ), { }, etc... Una de las capacidades
más potentes del modo matemático es el ajuste automático del tamaño del delimitador
al tamaño 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 tamaño adecuado utilizando \left( ... \right), en vez
de simplemente ( ... ). Véase la diferencia:
a +
(
b
c
)
=
ac + b
c
La lista de símbolos al final del capítulo 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 paréntesis y cerrar con llaves). Incluyendo un punto, se
puede incluso eliminar la apertura y el cierre; por ejemplo:
ux = vy
uy = −vx
}
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*}
A veces los delimitadores producidos automáticamente con \left y \right son
demasiado grandes ó pequeños. Por ejemplo:
16
\begin{equation*}
(x+y)^2-(x-y)^2=\left((x+y)+(x-y)\right)\left((x+y)-(x-y)\right)=4xy
\end{equation*}
produce:
(x + y)2 − (x − y)2 = ((x + y) + (x − y)) ((x + y) − (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 tamaño predefinido, mayores que \bigl, que por
tamaño creciente se ordenan como: \Bigl, \biggl y \Biggl (con versiones análogas
para “r”).
7. Matrices y determinantes
Para escribir datos en forma matricial, dentro del modo matemático se puede utilizar
el entorno array,que funciona de forma similar al tabular:
\begin{array}[Posición]{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}\]
17
produce:
x 3 m + n2
x + y 5 m − n
xz
√
75 m
(x + y)z′ 100 1 +m
(nótese como debemos iniciar el modo matemático antes de comenzar array)
Basándonos en array, podemos construir una matriz utilizando los delimitadores
\right( y \left), un determinante con \right| y \left|, etc... Un método alterna-
tivo es usar los entornos específicos pmatrix, bmatrix, Bmatrix, vmatrix y Vmatrix,
análogos a array, y que respectivamente añaden automáticamente los delimitadores
(), [], { }, | | y || ||. A diferencia de array, éstos entornos siempre producen columnas
centradas. Dentro de estos entornos ss posible utilizar el comando:
\hdotsfor[Factor]{NúmeroDeColumnas}
que produce un línea de puntos suspensivos en la matriz que abarca tantas columnas
como se especifique en NúmeroDeColumnas. El argumento (opcional) Factor escala la
separación 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.
18
8. Fracciones y binomios
La forma general de un fracción se obtiene con el comando:
\frac{numerador}{denominador}
Para formas binomiales, se utiliza el comando análogo:
\binom{numerador}{denominador}
para el cual se carece de barra horizontal, y que incluye paréntesis. 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
22
− · · · −
(
n
n − 1
)
1
2n−1
= 0
Ya mencionamos al comienzo de la lección que los tamaños de las fórmulas depen-
den del modo en el que nos encontremos, texto, ó párrafo. En realidad, existen hasta 4
modos predefinidos, que se ordenan por tamaño decreciente como párrafo, texto, sub-
índices y sub-sub-índices. Si un estilo predefinido no nos satisface, existe la posibilidad
de cambiarlo, siendo irrelevante cómo hayamos abierto el modo matemático ($ ... $ ó
\[ ... \]. Para ello se utilizan los comandos:
\displaystyle \textstyle \scriptstyle \scriptscriptstyle
Por ejemplo, si una fracción en modo texto queda demasiado pequeña:
Se cumple $|x_n|<\frac{1}{2}$ para todo $n\ge p$
Se cumple |xn| < 12 para todo n ≥ p
puede cambiarse con:
Se cumple $|x_n|<\displaystyle\frac{1}{2}$ para todo $n\ge p$
Se cumple |xn| <
1
2
para todo n ≥ p
Así, distintos modospueden combinarse libremente dentro de la misma fórmula,
por ejemplo:
\[
19
f(a+h) = f(a) + \frac{f’(a)h}{1} + \textstyle \frac{f’’(a)h^2}{2!} +
\dotsb + \scriptstyle \frac{f^{(n)}(a)h^n}{n!} + \scriptscriptstyle
o(h^n)
\]
f (a+ h) = f (a) +
f ′(a)h
1
+
f ′′(a)h2
2! + · · · + f
(n)(a)hn
n! +o(h
n)
Lo anterior es importante por la sencilla razón de que los cambios de tamaño de
fuente no tienen efecto dentro del modo matemático. Sí es posible, sin embargo, cambiar
globalmente el tamaño de una fórmula con \small, \Large, \huge, etc...
El paquete amsmath introduce dos nuevos comandos para fracciones,\dfrac{Num}{Denom}
y \tfrac{Num}{Denom}, donde “d” y “t” denotan displaystyle y textstyle, respectiva-
mente. Son abreviaturas de\displaystyle\frac{Num}{Denom}y\textstyle\frac{Num}{Denom}.
También existe un comando \genfrac que se puede utilizar para producir fracciones
personalizadas, con la sintaxis:
\genfrac{Delim.Izqdo}{Delim.Derecho}{GrosorLínea}{Tamaño}{Numerador}{Denominador}
Para Tamaño, se puede elegir entre los valores 0, 1, 2 y 3, que corresponden respecti-
vamente a \displaystyle, \textstyle, \scriptstyle y \scripscriptstyle (OJO!
valores mayores implican entonces tamaños más pequeños). Veamos un ejemplo:
{
i j
k
}
= gk1
[
i j
1
]
+ gk2
[
i j
2
]
\begin{equation*}
\genfrac{\{}{\}}{0pt}{}{ij}{k}=
g^{k1}\genfrac{[}{]}{0pt}{}{ij}{1}
+g^{k2}\genfrac{[}{]}{0pt}{}{ij}{2}
\end{equation*}
Las fracciones continuas se obtienen a través del comando \cfrac:
4
π
= 1 +
12
2 +
32
2 +
52
2 + · · ·
20
\begin{equation*}
\frac{4}{\pi}=1+\cfrac{1^2}{2+
\cfrac{3^2}{2+
\cfrac{5^2}{2+\dotsb}}}
\end{equation*}
9. Unos símbolos sobre otros
Podemos subrayar ó poner una línea sobre el argumento con los comandos\underline{Objeto}
y\overline{Objeto}; asimismo,\underbrace{Objeto}_{Indice}y\overbrace{Objeto}^{Indice}
colocan llaves bajo ó sobre un objeto, pudiéndose incluso añadir el argumento Indice
bajo la llave:
4︷ ︸︸ ︷
x + y + z
︸︷︷︸
2
+w
\[ \overbrace{x+\underbrace{y+z}_{2} +w}^{4} \]
De carácter más general son los comandos:
\underset{Debajo}{Objeto} y \overset{Encima}{Objeto},
que colocan los símbolos Encima y Debajo, respectivamente, encima y debajo de Objeto.
El comando \stackrel{Encima}{RelaciónBinaria} puede utilizarse para poner ar-
gumentos 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 flechas, se dispone de la siguiente colección 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:
21
z + w←−−−− , z + q−−−→
,
←→zw
a+b←−−
T
T←−−−−−−
a+b+c+d
\[ \underleftarrow{z+w} \neq \underrightarrow{z+q}
\neq \overleftrightarrow{zw} \]
\[ \xleftarrow[T]{a+b} \quad \xleftarrow[a+b+c+d]{T} \]
22
10. Tablas de símbolos
Tabla 1: Letras griegas
α \alpha θ \theta o o τ \tau
β \beta ϑ \vartheta π \pi υ \upsilon
γ \gamma ι \iota ̟ \varpi φ \phi
δ \delta κ \kappa ρ \rho ϕ \varphi
ǫ \epsilon λ \lambda ̺ \varrho χ \chi
ε \varepsilon µ \mu σ \sigma ψ \psi
ζ \zeta ν \nu ς \varsigma ω \omega
η \eta ξ \xi
Γ \Gamma Λ \Lambda Σ \Sigma Ψ \Psi
∆ \Delta Ξ \Xi Υ \Upsilon Ω \Omega
Θ \Theta Π \Pi Φ \Phi
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 E \unlhd∗ ‡ \ddagger
· \cdot ≀ \wr D \unrhd∗ ∐ \amalg
+ + − -
∗ No predefinidos en LATEX 2ε.
Usar uno de los paquetes latexsym, amsfonts ó amssymb.
Tabla 3: Operadores de relación
≤ \leq ≥ \geq ≡ \equiv |= \models
≺ \prec ≻ \succ ∼ \sim ⊥ \perp
� \preceq � \succeq ≃ \simeq | \mid
≪ \ll ≫ \gg ≍ \asymp ‖ \parallel
⊂ \subset ⊃ \supset ≈ \approx ⊲⊳ \bowtie
⊆ \subseteq ⊇ \supseteq � \cong Z \Join∗
⊏ \sqsubset∗ ⊐ \sqsupset∗ , \neq ⌢ \smile
⊑ \sqsubseteq ⊒ \sqsupseteq � \doteq ⌣ \frown
23
∈ \in ∋ \ni ∝ \propto = =
⊢ \vdash ⊣ \dashv < < > >
: :
∗ No predefinidos en LATEX 2ε.
Usar uno de los paquetes latexsym, amsfonts ó amssymb.
Tabla 4: Signos de puntuación
, , ; ; : \colon . \ldotp · \cdotp
Tabla 5: Símbolos de flechas
← \leftarrow ←− \longleftarrow ↑ \uparrow
⇐ \Leftarrow ⇐= \Longleftarrow ⇑ \Uparrow
→ \rightarrow −→ \longrightarrow ↓ \downarrow
⇒ \Rightarrow =⇒ \Longrightarrow ⇓ \Downarrow
↔ \leftrightarrow ←→ \longleftrightarrow l \updownarrow
⇔ \Leftrightarrow ⇐⇒ \Longleftrightarrow m \Updownarrow
7→ \mapsto 7−→ \longmapsto ր \nearrow
←֓ \hookleftarrow ֒→ \hookrightarrow ց \searrow
↼ \leftharpoonup ⇀ \rightharpoonup ւ \swarrow
↽ \leftharpoondown ⇁ \rightharpoondown տ \nwarrow
⇋ \rightleftharpoons { \leadsto∗
∗ No predefinidos en LATEX 2ε.
Usar uno de los paquetes latexsym, amsfonts ó amssymb.
Tabla 6: Símbolos varios
. . . \ldots · · · \cdots ... \vdots . . . \ddots
ℵ \aleph ′ \prime ∀ \forall ∞ \infty
~ \hbar ∅ \emptyset ∃ \exists � \Box∗
ı \imath ∇ \nabla ¬ \neg ^ \Diamond∗
 \jmath
√
\surd ♭ \flat △ \triangle
ℓ \ell ⊤ \top ♮ \natural ♣ \clubsuit
℘ \wp ⊥ \bot ♯ \sharp ♦ \diamondsuit
ℜ \Re ‖ \| \ \backslash ♥ \heartsuit
ℑ \Im ∠ \angle ∂ \partial ♠ \spadesuit
℧ \mho∗ . . | |
∗ No predefinidos en LATEX 2ε.
Usar uno de los paquetes latexsym, amsfonts ó amssymb.
24
Tabla 7: Operadores de tamaño 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
{ \{ } \} l \updownarrow m \Updownarrow
⌊ \lfloor ⌋ \rfloor ⌈ \lceil ⌉ \rceil
〈 \langle 〉 \rangle / / \ \backslash
| | ‖ \|
Tabla 10: Delimitadores grandes
 \rmoustache
 \lmoustache
 \rgroup
 \lgroup
 \arrowvert
wwww \Arrowvert
 \bracevert
Tabla 11: Acentos en modo matemático
â \hat{a} á \acute{a} ā \bar{a} ȧ \dot{a}
ă \breve{a} ǎ \check{a} à \grave{a} ~a \vec{a}
ä \ddot{a} ã \tilde{a}
Tabla 12: Otras construcciones
ãbc \widetilde{abc} âbc \widehat{abc}←−
abc \overleftarrow{abc}
−→
abc \overrightarrow{abc}
abc \overline{abc} abc \underline{abc}
25
︷︸︸︷
abc \overbrace{abc} abc︸︷︷︸ \underbrace{abc}√
abc \sqrt{abc}
n√
abc \sqrt[n]{abc}
f ′ f’ abcxyz \frac{abc}{xyz}
Tabla 13: Delimitadores AMS
p \ulcorner q \urcorner x \llcorner y \lrcorner
Tabla 14: Flechas AMS
d \dashrightarrow c \dashleftarrow
⇇ \leftleftarrows ⇆ \leftrightarrows
⇚ \Lleftarrow և \twoheadleftarrow
֋ \leftarrowtail " \looparrowleft
⇌ \leftrightharpoons x \curvearrowleft
	 \circlearrowleft � \Lsh
⇈ \upuparrows ↿ \upharpoonleft
⇃ \downharpoonleft ⊸ \multimap
! \leftrightsquigarrow ⇉ \rightrightarrows
⇄ \rightleftarrows ⇉ \rightrightarrows
⇄ \rightleftarrows ։ \twoheadrightarrow
֌ \rightarrowtail # \looparrowright
⇋ \rightleftharpoons y \curvearrowright
� \circlearrowright � \Rsh
� \downdownarrows ↾ \upharpoonright
⇂ \downharpoonright \rightsquigarrow
Tabla 15: Flechas de negación AMS
8 \nleftarrow 9 \nrightarrow : \nLeftarrow
; \nRightarrow = \nleftrightarrow < \nLeftrightarrow
Tabla 16: Letras griegas AMS
̥ \digamma κ \varkappa
Tabla 17: Letras hebreas AMS
i \beth k \daleth ג \gimel
26
Tabla 18: Símbolos varios AMS
~ \hbar ℏ \hslash
� \square ♦ \lozenge
∡ \measuredangle ∄ \nexists
a \Game k \Bbbk
N \blacktriangleH \blacktriangledown
⋆ \bigstar ∢ \sphericalangle
� \diagup � \diagdown
△ \vartriangle ▽ \triangledown
s \circledS ∠ \angle
℧ \mho ` \Finv
8 \backprime ∅ \varnothing
� \blacksquare � \blacklozenge
∁ \complement ð \eth
Tabla 19: Operadores binarios AMS
∔ \dotplus r \smallsetminus ⋓ \Cap
⊼ \barwedge ⊻ \veebar [ \doublebarwedge
⊠ \boxtimes ⊡ \boxdot ⊞ \boxplus
⋉ \ltimes ⋊ \rtimes ⋋ \leftthreetimes
f \curlywedge g \curlyvee ⊖ \circleddash
⊚ \circledcirc � \centerdot ⊺ \intercal
⋒ \Cup ⊟ \boxminus > \divideontimes
⋌ \rightthreetimes ⊛ \circledast
Tabla 20: Operadores de relación AMS
≦ \leqq 6 \leqslant 0 \eqslantless
/ \lessapprox ≅ \approxeq ⋖ \lessdot
≶ \lessgtr ⋚ \lesseqgtr S \lesseqqgtr
: \risingdotseq ; \fallingdotseq ∽ \backsim
j \subseteqq ⋐ \Subset ⊏ \sqsubset
2 \curlyeqprec - \precsim w \precapprox
E \trianglelefteq � \vDash � \Vvdash
a \smallfrown ≏ \bumpeq ≎ \Bumpeq
> \geqslant 1 \eqslantgtr & \gtrsim
⋗ \gtrdot ≫ \ggg ≷ \gtrless
T \gtreqqless ≖ \eqcirc ⊜ \circeq
∼ \thicksim ≈ \thickapprox k \supseteqq
⊐ \sqsupset < \succcurlyeq 3 \curlyeqsucc
v \succapprox ⊲ \vartriangleright D \trianglerighteq
27
p \shortmid q \shortparallel ≬ \between
∝ \varpropto ◭ \blacktriangleleft ∴ \therefore
◮ \blacktriangleright ∵ \because . \lesssim
≪ \lll + \doteqdot ⋍ \backsimeq
4 \preccurlyeq ⊳ \vartriangleleft ` \smallsmile
≧ \geqq ' \gtrapprox R \gtreqless
, \triangleq ⋑ \Supset % \succsim

 \Vdash ⋔ \pitchfork � \backepsilon
Tabla 21: Negación de operadores de relación AMS
≮ \nless � \nleq 
 \nleqslant
� \lneq � \lneqq � \lvertneqq
≨ \lnapprox ⊀ \nprec � \npreceq
� \precnapprox / \nsim . \nshortmid
0 \nvdash 2 \nvDash ⋪ \ntriangleleft
* \nsubseteq ( \subsetneq \varsubsetneq
& \varsubsetneqq ≯ \ngtr � \ngeq
� \ngeqq 
 \gneq 	 \gneqq
� \gnsim ≩ \gnapprox ⊁ \nsucc
� \nsucceq � \succnsim � \succnapprox
/ \nshortparallel ∦ \nparallel 2 \nvDash
⋫ \ntriangleright 4 \ntrianglerighteq + \nsupseteq
) \supsetneq ! \varsupsetneq % \supsetneqq
� \nleqq � \lnsim � \precnsim
∤ \nmid 5 \ntrianglelefteq $ \subsetneqq
� \ngeqslant � \gvertneqq � \nsucceq
� \ncong 3 \nVDash # \nsupseteqq
' \varsupsetneqq
Tabla 22: Alfabetos matemáticos
Paquete requerido
ABCdef \mathrm{ABCdef}
ABCdef \mathitABCdef
ABCde f \mathnormal{ABCdef}
ABC \mathcal{ABC}
ABC \mathcal{ABC} euscript con la opción: mathcal
\mathscr{ABC} euscript con la opción: mathcr
ABCdef \mathfrak{ABCdef} eufrak
ABC \mathbb{ABC} amsfonts ó amssymb
A BC \mathscr{ABC} mathrsfs
28