Está en la página 1de 7

El entorno matemtico con LATEX *

Curso organizado por el C.E.P. de la Sierra de Cdiz.

Luis Olmedo Snchez


15 de diciembre de 2004

A mi hijo Luis

ndice
1. Introduccin

2. Conectando con el modo matemtico


2.1. Las rdenes displaystyle y textstyle
2.2. Subndices y superndices . . . . .
2.3. Las fuentes en el modo matemtico
2.4. Despacio con los espacios . . . . .
2.5. Los entornos equation y equarray .

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

2
2
3
3
3
4

3. Construcciones simples
3.1. Fracciones . . . . . . . . . . . .
3.2. Raices . . . . . . . . . . . . . .
3.2.1. la orden mathstrut . . . .
3.3. Cosas encima y debajo de otras cosas
3.4. Nmeros peridicos . . . . . . . .
3.5. Parntesis y corchetes . . . . . . .
3.6. Sistemas de ecuaciones . . . . . .

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

5
5
5
5
5
6
6
7

4. Tablas de letras, smbolos, operadores y delimitadores

Bibliografa

1.

Introduccin

LATEX se conecta con el modo matemtico para componer frmulas. En el prembulo de nuestro documento
podemos usar:

\usepackage{amssymb,amsmath,amsfonts}
para hacer disponibles las fuentes y smbolos de la (AMS ) American Mathematics Society, y tambin

\usepackage[spanish]{babel}
para (entre otras cosas) modicar algunas ordenes del entorno matemtico, por ejemplo:
* 2004
c
Luis Olmedo Snchez. Tiene permiso para copiar, distribuir y/o modificar este documento bajo los trminos de la Licencia de Documentacin Libre GNU,
Versin 1.1 o cualquier otra versin posterior publicada por la Free Software Foundation

2. Conectando con el modo matemtico

$\lim$
$\max$
$\min$
$\sen$

lm
max
mn
sen
2.

Conectando con el modo matemtico

En LATEX existen varias maneras de conectarse al modo matemtico, dentro del cual hay dos estilos: texto y
Las mismas instrucciones pueden dar resultados diferentes segn el estilo:

exposicin.

1.

El estilo texto
P
Se usa para smbolos matemticos insertados entre texto. Por ejemplo n=1
texto, y se obtiene con

1
2n

= 1 est en modo

$\sum_{n=1}^\infty\frac1{2^n} = 1$
Podemos cambiar $...$ por \( ...\) y el resultado es el mismo
2.

El estilo exposicin
Se usa para frmulas centradas separadas del texto. Por ejemplo

X
1
=1
2n
n=1

est en modo exposicin y se obtiene de

$$\sum_{n=1}^\infty\frac1{2^n} = 1$$
Podemos cambiar $$...$$ por \[ ... \] y el resultado es el mismo
2.1.

Las rdenes

displaystyle

textstyle

Si nos encontramos dentro del modo matemtico y queremos cambiar al modo exposicin podemos usar la

X
1
orden \displaistyle. Por ejemplo,
= 1 se ha conseguido escribiendo
n
2
n=1

$\displaystyle \sum_{n=1}^\infty\frac1{2^n} = 1$
Ocurre lo contrario con el comando \textstyle, por ejemplo, si escribimos

$$\textstyle\sum_{n=1}^\infty\frac1{2^n}=1$$
obtenemos

1
n=1 2n

=1

En la siguiente tabla podemos ver el resultado de algunas ordenes encada modo:


texto
P

exposicin
X

orden
\sum

texto
T

exposicin
\

orden
\bigcap

texto
J

exposicin
K

orden
\bigodot

\bigcup

\bigotimes

\bigsqcup

\bigoplus

\biguplus

\int

\oint

\prod

\bigvee

\coprod

\bigwedge

R
H

[www.casidral.com]

c Luis Olmedo Snchez


2. Conectando con el modo matemtico

2.2.

Subndices y superndices

A algunas rdenes, como las que aparecen en la tabla anterior, podemos aadirles subndices (_) y
superndices (). As si escribimos

$$\int_a^b f(x)dx$$
obtenemos

f (x)dx
a

Si el contenido del subndice, o del superndice, es ms extenso debe ir entre llaves. Por ejemplo, para
obtener
Z 12b
f (x)dx
a2 +1

escribimos

$$\int_{a^2+1}^{1-2b} f(x)dx$$
2.3.

Las fuentes en el modo matemtico

La fuente por defecto en modo matemtico es la cursiva, podemos modicarla usando:

$\mathrm{ABCDEFGabc}$\\
$\mathit{ABCDEFGabc}$\\
$\mathbf{ABCDEFGabc}$\\
$\mathsf{ABCDEFGabc}$\\
$\mathtt{ABCDEFGabc}$\\
$\mathcal{ABCDEFG}$\\
$\mathbb{ABCDEFG}$\\
$\mathfrak{ABCDEFGabc}$

ABCDEFGabc
ABCDEFGabc
ABCDEFGabc
ABCDEFGabc
ABCDEFGabc
ABCDEFG
ABCDEFG
ABCDEFGabc
2.4.

Despacio con los espacios

Si escribimos espacios dentro del modo matemtico LATEX no los considerar como tales. Por ejemplo,
tanto si escribimos :

$$\int_a^bf(x)dx$$
como si escribimos:

$$

\int

obtenemos el mismo resultado:

f
Z

$$

f (x)dx
a

Obsrvese que las rdenes como \int no pueden separarse en \i n t , ya que LATEX nos dara el
siguiente resultado: nt. Esto de debe a que interpreta cada elemento por separado.
Existen varias rdenes que generan espacios dentro del entorno matemtico:
rden
\qquad
\quad
\
\;
\:
\,
\!

Espacio generado

Tamao
Equivale a la anchura de dos M del tipo en curso

Equivale a la anchura de una M del tipo en curso

Equivale a

Equivale a

c Luis Olmedo Snchez


de M del tipo en curso

Equivale a

Equivale a

3
18
5
18
4
18
3
18

Equivale a

3
18

de M del tipo en curso


de M del tipo en curso
de M del tipo en curso
de M del tipo en curso

[www.casidral.com]

2. Conectando con el modo matemtico

Uso del espacio negativo:


Si escribimos $$\int\int_A f(x,y) dx dy$$ obtendremos:

Z Z

en cambio con $$\int\!\!\!\int_A f(x,y)\,dx\,dy$$

ZZ

f (x, y)dxdy
A

f (x, y) dx dy
A

2.5.

Los entornos

equation

equarray

Otra forma de conectar con el modo matemtico es usando el entorno equation que nos crea una estructura
similar a la que se crea con $$...$$ pero numerndola. Por ejemplo, ai escribimos

\begin{equation}
\lim_{n\to \infty} a_n=a, \quad \Leftrightarrow \quad \forall\varepsilon>0,\
\exists n_\varepsilon \in \mathbb{N} \:/\: n>n_\varepsilon
\Rightarrow |a_n - a|<\varepsilon
\end{equation}
se obtiene:

lm an = a,

> 0, n N / n > n |an a| <

(1)

Para que la numeracin de las ecuaciones aparezca en el lado izquierdo se aade la orden \leqno. As, si
escrbimos:

\begin{equation}
\lim_{n\to \infty} a_n=a, \quad \Leftrightarrow \quad \forall\varepsilon>0,\
\exists n_\varepsilon \in \mathbb{N} \:/\: n>n_\varepsilon
\Rightarrow |a_n - a|<\varepsilon
\leqno
\end{equation}
obtendremos:
(2)

lm an = a,

> 0, n N / n > n |an a| <

Si no queremos que aparezca el nmero de la ecuacin aadimos la orden \nonumber .


Para modicar la numeracin de las ecuaciones escribimos la siguiente orden:

\setcounter{equation}{125}
que modica el contador de las ecuaciones y lo pone, en este caso, en 125. La siguiente ecuacin que
escribamos estar numerada como la 126.
Si lo que queremos es escribir un grupo de ecuaciones debemos usar el entorno eqnarray , por ejemplo, si
escribimos:

\begin{eqnarray}
(a+b)^2 \ = \ a^2+b^2+2ab \\
(a-b)^2 \ = \ a^2+b^2-2ab \\
(a+b)(a-b) \ =\ a^2-b^2
\end{eqnarray}
obtenemos:

(a + b)2 = a2 + b2 + 2ab
(a b)2 = a2 + b2 2ab
(a + b)(a b) = a2 b2

(126)
(127)
(128)

Para alinear las ecuaciones podemos usar & , as si escribimos:

[www.casidral.com]

c Luis Olmedo Snchez


3. Construcciones simples

\begin{eqnarray}
\dfrac{\partial u}{\partial t}+ (u\cdot\nabla)\cdot u -\Delta u & = & f \ en \ \Omega \\
\dfrac{\partial u}{\partial n} & = & 0 \ sobre \ \partial\Omega \nonumber
\end{eqnarray}
obtenemos:

u
+ (u ) u u
t
u
n

(129)

= f en
=

0 sobre

Para modicar el nmero de las ecuaciones usaremos la orden:

\def\theequation{\thesection.\arabic{equation}}

X
2
1
=
n2
6
n=1

3.

(2.130)

Construcciones simples

Veamos algunas contrucciones sencillas en el modo matemtico.


3.1.

Fracciones

Para escribir una fraccin podemos hacerlo usando $\frac{3}{4}$ o $\dfrac{3}{4}$ . En el primer
caso aparecer en modo texto y el resultado ser 43 . En el segundo caso el modo es exposicin el resultado
3
ser .
4
3.2.

Raices

Para escribir raices usamos la


orden \sqrt , as si escribimos \sqrt{3} obtenemos 3. Si escribimos

\sqrt[n]{a} obtenemos n a. LATEX se encarga de seleccionar uno de los distintos smbolos de raz ()
v
s
u
r
u
n+2
a+1
n+1
t
a+
a+ n
a1
3.2.1.

la orden

mathstrut

La orden \mathstrut es un puntal cuya altura y profundidad coinciden con la de un parntesis. Podemos
usarlo para evitar situaciones anmalas como:

g+

h+

j+

$$
\sqrt{g}+\sqrt{h}+\sqrt{j}+\sqrt{t}
$$

en la que las raices no tienen el mismo smbolo.

3.3.

p
p
p
g+ h+ j+ t

$$
\sqrt{\mathstrut g}+\sqrt{\mathstrut h}+
\sqrt{\mathstrut j}+\sqrt{\mathstrut t}
$$

Cosas encima y deba jo de otras cosas

Las rdenes \underline y \overline se usan para subrayar y superrayar, respectivamente

c Luis Olmedo Snchez


[www.casidral.com]

3. Construcciones simples

$$
Definamos \qquad
\underline{z}=\overline{\overline{z}^2-1}
$$

z = z2 1

Def inamos

Pero si en vez de una raya queremos abarcar expresiones con llaves horizontales, usaremos \underbrace y
\overbrace:

}|

zZ
|

hAx, xi =

g(z)dz
}

f (z)+g(z)dz

aij xi xj =

$$
\left\langle Ax,x \right\rangle =
\sum_{\stackrel{1\le i \le n}
{\scriptscriptstyle 1\le j \le n}} a_{ij}x_ix_j =
\sum_{1\le i,j \le n} a_{ij}x_ix_j
$$

aij xi xj

1i,jn

1in
1jn

3.4.

}|

zZ

f (z)dz +
{z
R

$$
\underbrace{\overbrace{\int_\Omega f(z)dz}^{=I_1}
+\overbrace{\int_\Omega g(z)dz}^{=I_2}}_{
\int_\Omega f(z)+g(z) dz}
$$

=I2

=I1

Nmeros peridicos

Para poder escribir nmeros peridicos podemos incluir antes de \begin{document} la denicin de la
orden \periodo:

\def\periodo#1{\mathop{\vbox{\ialign{##\crcr\noalign{\kern3pt}
\ensuremath{\braceld\leaders\vrule\hfill\bracerd}
\crcr\noalign{\kern3pt\nointerlineskip}
\ensuremath{\hfill\displaystyle{#1}\hfill}\crcr}}}\limits}
$$ 12,34\periodo{5678} $$

As si escribimos

obetemos:

z {
12, 34 5678
3.5.

Parntesis y corchetes

Para poner parntesis podemos usarlos de forma normal

{[(x2 )2 ]2 }2 = x16

{[(x2 )2 ]2 }2 = x16

$$
\{ [ ( x^2 )^2 ]^2 \}^2 = x^{16}
$$

si usamos las rdenes \left y \right

h

[www.casidral.com]

 i2
2 2

2

= x16

$$
\left\{ \left[ \left( x^2
\right)^2 \right]^2 \right\}^2
= x^{16}
$$

c Luis Olmedo Snchez


4. Tablas de letras, smbolos, operadores y delimitadores

3.6.

Sistemas de ecuaciones

Para escribir sistemas de ecuaciones podemos usar el entorno array

x+y+z
xy

xz

4.

$$
\left\{
\begin{array}{rcl}
x+y+z & = & 2\\
x-y
& = & 0 \\
x-z
& = & 1
\end{array}
$$

= 2
= 0
= 1

Tablas de letras, smbolos, operadores y delimitadores

\mathbb{N}
\mathbb{Z}
\mathbb{Q}
\mathbb{I}
\mathbb{R}
\mathbb{C}

N
Z
Q
I
R
C

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

\Gamma
\Delta
\Theta
\Lambda

\iota
\kappa
\lambda
\mu
\nu
\xi
o
\pi
\varpi
\rho

\varrho
\sigma
\varsigma
\tau
\upsilon
\phi
\varphi
\chi
\psi
\omega

\Xi
\Pi
\Sigma
\Upsilon

\Phi
\Psi
\Omega

Referencias

[1]

Francisco Ortegn Gallego: L TEX. Primeros pasos.

[2]

Francisco Javier Pueyo Mena: Alergia al L TEX?

[3]

Donald Knuth: TEXbook.

[4]

Francisco Ortegn Gallego: L TEX. Primeros pasos.

c Luis Olmedo Snchez


Masson. (1992)

(2000)

(1992)

Masson. (1992)

[www.casidral.com]