Beruflich Dokumente
Kultur Dokumente
TEX fue especialmente disenado para producir documentos de caracter cientfico con
un contenido importante de matematicas. Precisamente, es la calidad en la escritura de
tipografa matematica donde TEX y LATEX marcan la diferencia.
En esencia, LATEX divide la introduccion de texto matematico segun se haga a lo largo
del parrafo en que se esta escribiendo, o en parrafos separados.
El texto de caracter matematico escrito en la misma lnea de escritura (modo texto),
ha de ser introducido entre $ y $, mientras que para hacerlo en lneas separadas (modo
display), lo mas comun es encerrar la expresion entre $$ y $$.
Por otra parte, puesto que es muy frecuente el referenciar una formula matematica en
un texto, el entorno equation, que esencialmente tiene el mismo funcionamiento que $$,
anade ademas un numero a la ecuacion para futuras referencias.
4.1.1. Ejemplo
El siguiente ejemplo ilustra el funcionamiento de los modos texto y display:
23
24 Matematicas
Pn n(n+1)
Una formula bien conocida es k=1 k= 2 .
R 2
Otro ejemplo es 0
sen x dx = 0.
Z 2
sen x dx = 0
0
Z 2
Otro ejemplo es sen x dx = 0.
0
R 2
0
sen x dx = 0
El entorno array, que solo funciona dentro del modo matematico, permite ordenar
distintos elementos por filas y columnas. Su sintaxis es
\begin{array}{hcolocacioni}
Columna1 & Columna2 & & ColumnaN \\
..
.
\end{array}
Cada fila esta compuesta de un cierto numero de elementos (correspondientes a cada co-
lumna) que se separan mediante el comando de tabulacion &. Para cambiar de lnea usamos
el comando \\.
El argumento colocacion especifica el formato de alineacion de cada columna, que
puede ser
l para alineacion a izquierda (left)
r para alineacion a derecha (right)
c para alineacion al centro
Notese que habra tantas columnas como indiquemos en ese argumento. Dentro del argu-
mento colocacion tambien pueden aparecer:
4.3 Construcciones diversas 3 25
Para poner una lnea horizontal separando dos filas usaremos el comando \hline.
$$
\begin{array}{|rr@{,}l|c|}
\hline 12 & 2 & 27 & 1 \\
131 & 421 & 2 & 11 \\ 12 2,27 1
1424 & 12&7 & 111 \\ 131 421,2 11
\hline 1424 12,7 111
\end{array}
$$
4.2.1. Delimitadores
Cuando queremos encerrar una expresion entre parentesis o llaves que se ajusten al
tamano de la expresion debemos usar los comandos \left y \right junto con el delimi-
tador deseado.1 Cuando no queremos que uno de los delimitadores aparezca es necesario
senalarlo con el comando \left. o \right. segun sea necesario.
$$
\left\{ \begin{array}{c} 8 Z 2
>
>
\left(\displaystyle \int_0{2\pi} >
< sen x dx
\sen x\,dx\right)\\ 0 #
n
X
\left.\displaystyle \sum_{k=1}n k \right] >
>
\end{array} \right. >
: k
$$ k=1
4.3.1. Fracciones
$$
\frac{\frac{a}{x-y}+\frac{b}{x+y}} a
+ b
x y x+y
{1+\frac{a-b}{a+b}}
$$ 1+ a b
a+b
4.3.2. Matrices
$$
\left( \begin{array}{lll} 0 1
12 3
1 & 2 & 3 \\ 4 & 5 & 6 \\ 7 & 8 & 9 @4 5 6A
\end{array}\right)
$$
78 9
$$
\left( \begin{array}{ccc} 0 1
1 n
1 & \cdots & n \\ 2 & \cdots & n+1 \\
B2 n + 1 C
\vdots & \odots & \ddots \\ B C
B .. .. .. C
n & \cdots 2n-1 @. . . A
\end{array}\right)
n 2n 1
$$
\begin{equation*}
\begin{matrix} 0 & 1\\ 1 & 0 \end{matrix}\qquad
\begin{pmatrix} 0 & -i\\ i & 0 \end{pmatrix}\qquad
\begin{bmatrix} a & b\\ c & d \end{bmatrix}\qquad
\begin{vmatrix} 0 & 1\\ -1 & 0 \end{vmatrix}\qquad
\begin{Vmatrix} f & g\\ e & v \end{Vmatrix}
\end{equation*}
01 0 i a b 0 1 f g
10 i 0 c d 10 e v
$$
a\stackrel{{\rm def}}{=} \alpha + \beta\quad
def !0
\stackrel{\beta \to 0}{\longrightarrow} a = + !
$$
\begin{equation*} X
\sum_{\substack{0\leq i\leq m\\ 0>j>n}}
\end{equation*} 0im
0>j>n
\begin{equation*} 0im
\sum{\substack{0\leq i\leq m\\ 0>j>n}} 0>j>n
X
\end{equation*}
4.4 Smbolos Matematicos 27
< \Re k \|
| \clubsuit = \Im
\ \angle } \diamondsuit
@ \partial 4 \triangle
~ \heartsuit 1 \infty
\ \backslash \spadesuit
f \mho \Box
\Diamond @ \nexists
..
... \ldots . \ddots
..
\cdots . \vdots
4.4.5. Operadores
P T
\sum \bigcap
J Q
\bigodot \prod
S N
\bigcup \bigotimes
` F
\coprod R \bigsqcup
L
\bigoplus \int
W U
H \bigvee \biguplus
V
\oint \bigwedge
4.4.6. Flechas
\leftarrow \longleftarrow
" \uparrow ( \Leftarrow
(= \Longleftarrow * \Uparrow
! \rightarrow ! \longrightarrow
# \downarrow ) \Rightarrow
=) \Longrightarrow + \Downarrow
$ \leftrightarrow ! \longleft...
l \updownarrow , \Leftrightarrow
() \Longleft... m \Updownarrow
7 ! \mapsto 7 ! \longmapsto
% \nearrow - \hookleftarrow
,! \hookrightarrow & \searrow
( \leftharpoonup * \rightharpoonup
. \swarrow ) \leftharpoondown
+ \rightharpoondown - \nwarrow
\rightleftharpoons \leadsto
4.4.7. Relaciones
\leq \geq \equiv |= \models
\prec \succ \sim ? \perp
\preceq \succeq ' \simeq | \mid
\ll \gg \asymp k \parallel
\subset \supset \approx ./ \bowtie
\subseteq \supseteq
= \cong on \Join
@ \sqsubset A \sqsupset 6 = \neq ^ \smile
.
v \sqsubseteq w \sqsupseteq = \doteq _ \frown
2 \in 3 \ni 2
/ \notin / \propto
` \vdash a \dashv
4.4 Smbolos Matematicos 29
4.4.9. Negaciones
6< \not< 6> \not>
6 = \not= 6 \not\leq
6 \not\geq 6 \not\equiv
6 \not\prec 6 \not\succ
6 \not\sim 6 \not\preceq
6 \not\succeq 6' \not\simeq
6 \not\subset 6 \not\supset
6 \not\approx 6 \not\subseteq
6 \not\supseteq
6 = \not\cong
6 v \not\sqsubseteq 6 w \not\sqsupseteq
6 \not\asymp
4.4.10. Delimitadores
" \uparrow } \} d \lceil
{ \{ c \rfloor / /
b \lfloor i \rangle + \Downarrow
h \langle k \| m \Updownarrow
| | # \downarrow e \rceil
* \Uparrow l \updownarrow \ \backslash
\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
ABCDEFGHIJKLMNOPQRSTUVWXYZ
usar \mathbb{hletrai}
ABCDEFGHIJKLMNOPQRSTUVWXYZ
usar \mathfrak{hletrai} con el paquete amssymb
ABCDEFGHIJKLMNOPQRSTUVWXYZ
usar \mathbf{hletrai}
4.5 Ecuaciones 31
4.5. Ecuaciones
\begin{equation}
\varphi(x,z) = z - \gamma_{10} x - \sum_{m+n\geq 2} \gamma_{mn} xm zn
\end{equation}
$$
\varphi(x,z) = z - \gamma_{10} x - \sum_{m+n\geq 2} \gamma_{mn} xm zn
$$
X
'(x, z) = z 10 x
m n
mn x z (1)
m+n 2
X
'(x, z) = z 10 x
m n
mn x z
m+n 2
$$
\begin{array}{lcll}
\Psi(x,t) & = & A({\rm e}{{\rm i}kx}-{\rm e}{-{\rm i}kx})
{\rm e}{-{\rm i}\omega t}&\\
& = & D\sen (kx){\rm e}{-{\rm i}\omega t}, & D=2{\rm i}A
\end{array}
$$
R1
" exp( ") d"
" = R0 1 (3)
0
exp(Z ") d"
1
d 1
= log exp( ") d" = = kT. (4)
d 0
32 Matematicas
\begin{eqnarray}
\bar\varepsilon &=& \frac{\int_0\infty\varepsilon
\exp(-\beta\varepsilon)\,{\rm d}\varepsilon}{\int_0\infty
\exp(-\beta\varepsilon)\,{\rm d}\varepsilon}\nonumber\\
&=& -\frac{{\rm d}}{{\rm d}\beta}\log\left[\displaystyle\int_0\infty\exp
(-\beta\varepsilon)\,{\rm d}\varepsilon\right]=\frac1\beta=kT.
\end{eqnarray}
Notas:
El comando \nonumber situado en una de las lneas de la ecuacion puede ser usa-
do para suprimir la numeracion de dicha lnea. El comando \notag tiene el mismo
significado
El comando \tag{htextoi} sustituye el numero por el contenido de texto entre parente-
sis. El comando \tag* suprime los parentesis.
El entorno eqnarray* es equivalente al anterior pero sin introducir numeracion. Los
comandos \tag y \tag* tambien funcionan en este entorno.
LATEX, por defecto, no permite cambiar de pagina diferentes lneas de una ecuacion de
este tipo. Para permitirlo es necesario anadir en el preambulo el comando
\allowdisplaybreaks.
Para permitir el salto de pagina en una ecuacion local se puede poner \displaybreak
justo antes del \\ de la ultima lnea de la pagina.
Z 1 n
X
f (x) dx wi exi f (xi ) (5)
0 i=1
Este entorno se usa cuando hay mas de dos ecuaciones que deben ser alineadas verti-
calmente (normalmente son relaciones binarias o igualdades). align* suprime la numea-
racion.
4.5 Ecuaciones 33
\begin{align}
F_{\rm fer}(k) =& -\frac{16 x_03 t}{3\pi }\left( \sum_{l=1}\infty
-\frac{\nu5}{t4 (x_02-l-\frac{1}{4})3}\left[S
\left(\frac{\sqrt{x_02+l2}}{t};2 \right)
+ 2S\left(\frac{\nu}{t};2 \right)\right] \right)\\
F_{\rm red}(t) =& -\frac{16 x_0 3 t}{3\pi }\sum_{l=1}\infty
\bigg\{ \frac{1}{2\nu (x_02+l2)2} \nonumber\\
& -\frac{\nu5}{t4 (x_02-l-\frac{1}{4})3}\bigg[S
\bigg( \frac{\sqrt{x_02+l2}}{t};2 \bigg)
+2S\bigg(\frac{\nu}{t};2 \bigg)\bigg] \nonumber\\
& +V(x_e ,x_{\alpha}) -g \delta (x_e - x_{\alpha}) \bigg\}.
\end{align}
X
1 p 2
16x30 t 5 x0 + l2
Ffer (k) = S ; 2 + 2S ; 2 (6)
3 t (x0 l
4 2
4)
1 3 t t
l=1
1
16x30 t X 1
Fred (t) =
3 2(x20 + l2 )2
l=1
p 2
5 x0 + l2
1 3 S ; 2 + 2S ;2
t4 (x20 l 4)
t t
+ V (xe , x ) g (xe x ) . (7)
\begin{gather}
\frac{\int_0\infty\varepsilon\exp(-\beta\varepsilon)\,{\rm d}
\varepsilon}{\int_0\infty\exp(-\beta\varepsilon)\,{\rm d}\varepsilon}
\frac{\int_0\infty\varepsilon\exp(-\beta\varepsilon)\,{\rm d}\varepsilon}
{\int_0\infty\exp(-\beta\varepsilon)}\\
\noalign{\medskip}
\int_0\infty\exp(-\beta\varepsilon)\,{\rm d}\exp(-\beta\varepsilon)
\frac{\int_0\infty\varepsilon\exp(-\beta\varepsilon)\,{\rm d}\varepsilon}
{\int_0\infty\exp(-\beta\varepsilon)}\\
\int_0\infty\exp(-\beta\varepsilon)\,{\rm d}\exp(-\beta\varepsilon)
\end{gather}
R1 R1
" exp( ") d" 0 " exp( ") d"
0
R1 R1 (8)
0
exp( ") d" 0
exp( ")
Z 1
exp( ") d exp( ") (9)
0 R
1
" exp( ") d"
0R
1 (10)
exp( ")
Z 1 0
exp( ") d exp( ") (11)
0
\begin{alignat*}{2}
L_1 & = R_1 &\qquad L_2 & = R_2\\
L_3 & = R_3 &\qquad L_4 & = R_4
\end{alignat*}
L1 = R1 L2 = R2
L3 = R3 L4 = R4
Es posible generar ciertas formulas formadas por subformulas, cada una de ellas con
su propia alineacion. Los entornos asociados son aligned, gathered y alignedat. Cada
uno de ellos toma un argumento opcional para especificar su posicion vertical con respecto
al material de la otra estructura. Por defecto estara centrado ([c]).
\begin{equation*}
\begin{aligned}[b]
x2 + y2 & = 1\\
x & = \sqrt{1-y2}
\end{aligned}
\qquad
\begin{gathered}[t]
(a+b)2 = a2 + 2ab + b2 \\
(a+b) \cdot (a-b) = a2 - b2
\end{gathered}
\end{equation*}
x2 + y 2 = 1
p
x= 1 y2 (a + b)2 = a2 + 2ab + b2
(a + b) (a b) = a2 b2
Este entorno es una variante que se usa para una ecuacion demasiado larga que no cabe
en una unica lnea. La primera lnea se coloca en el margen izquierdo, las siguientes son
centradas y la ultima lnea se ajusta al margen derecho.
4.6 Definiciones de Teoremas 35
\begin{multline*}
\int_0\infty\varepsilon\exp(-\beta\varepsilon)\,
d\varepsilon \int_0\infty\exp(-\beta\varepsilon)\,
d\varepsilon \int_0\infty\varepsilon\exp(-\beta\varepsilon)\,
d\varepsilon \int_0\infty\exp(-\beta\varepsilon) \\
\noalign{\medskip}
\int_0\infty\exp(-\beta\varepsilon)\,
d\varepsilon \int_0\infty\varepsilon\exp(-\beta\varepsilon)\,
d\varepsilon \int_0\infty\exp(-\beta\varepsilon) \\
\noalign{\medskip}
\int_0\infty\varepsilon\exp(-\beta\varepsilon)\,
d\varepsilon \int_0\infty\exp(-\beta\varepsilon)\,
d\varepsilon \int_0\infty\varepsilon}
\int_0\infty\exp(-\beta\varepsilon)
\end{multline*}
Z 1 Z 1 Z 1 Z 1
" exp( ") d" exp( ") d" " exp( ") d" exp( ")
0 0 0 0
Z 1 Z 1 Z 1
exp( ") d" " exp( ") d" exp( ")
0 0 0
Z 1 Z 1 Z 1 Z 1
" exp( ") d" exp( ") d" " exp( ")
0 0 0 0
\newtheorem{col}{Corolario}[thm]
\begin{col}[Aranda, E. 2004] Corolario 3 (Aranda, E. 2004) Este es un
Este es un ejemplo del entorno ejemplo del entorno para construir corola-
para construir corolarios. rios.
\end{col}
\newtheorem{rmk}{Nota}[section]
\begin{rmk}
Este es un ejemplo del entorno Nota 4.6.1 Este es un ejemplo del entorno
para construir notas. para construir notas.
\end{rmk}
4.7. Ejercicios
|
xy + yz + ab+c + de+f + jlk
A AB
B C D
n
!
X xi
i=0
yi
Z 1 ZZ ZZZ
x dx, xy dA, xyz dV
0
|
a+b=c+d (12)
e=f +g+h (13)
a b a b a b a b a b a b
c d c d c d c d c d c d
|
X
n+1
n + 1 (k)
(f.g)(n+1) (a) = f (a)g (n+1 k)
(a)
k
k=0 (16)
Z 1
x3 dx = 1
4
0
|
X
ai,j bj,k
1jn
1in
1kn
|
0 1
23
B x m + n 2
C
B 14 C
B x + y 5m n C
B p C
@ xz 7 mA
yz 0 1
10 1+m
|
Z +1
sen x
dx =
0 x 2