Cap tulo 1 Personalizaciones

1.1. El paquete titlesec

Mediante el paquete titlesec es posible cambiar de forma libre el aspecto de las unidades de estructura (cap tulo, secciones, subsecciones, etc.) dentro de un documento. Para ello, se utiliza el comando \titleformat (que deber amos declarar en el pre ambulo) con el siguiente formato: \titleformat{Comando de Estructura }[Tipo ]{Formato } {Etiqueta }{Separaci on }{C odigo anterior }[C odigo posterior ] Donde cada una de las opciones del comando tiene los siguientes signicados: Comando de Estructura: El comando para la unidad de estructura cuyo formato deseamos cambiar; e.g., \chapter, \section, etc. En algunos casos es preciso, por ejemplo, usar las formas (ver c odigo correspondiente a la Fig. 1.4): name=\chapter para personalizar la unidad de estructura cap tulo numerado. Y name=\chapter,numberless para personalizar la unidad de estructura cap tulo no numerado. Algo similar se puede aplicar a \section, etc. 1

CAP ITULO 1. PERSONALIZACIONES Tipo: La forma b asica para el encabezamiento de la unidad de estructura; se dispone de las siguientes opciones: hang: Pone la etiqueta y el texto del t tulo en la misma l nea.

display: Pone la etiqueta y el texto del t tulo en l neas separadas. runing: Integra el t tulo de secci on dentro de la primera l nea del p arrafo que comienza la secci on (no aplica a cap tulo). frame: Similar a display pero encuadrando el t tulo.

leftmargin y rightmargin Colocan el t tulo en los m argenes derecho e izquierdo respectivamente. block: Formato general que trata al conjunto etiqueta + t tulo como un bloque. Preferible a hang para t tulos centrados. drop y wrap: Se encaja el t tulo en el primer p arrafo, ocupando dos l neas. drop usa una longitud ja para el t tulo y wrap es capaz de partirlo en dos l neas. Formato: Comandos y declaraciones que se aplican tanto a la etiqueta como al texto. Etiqueta: Identicador asignado al cap tulo, secci on, etc. Separaci on: Longitud de separaci on entre etiqueta y t tulo de la secci on; dependiendo del formato, puede ser una distancia vertical u horizonal. C odigo anterior: C odigo ejecutado inmediatamente antes de la escritura del t tulo; podemos jugar, como se ha visto en ejemplos anteriores, incluyendo un comando dependiente de un argumento; en el argumento (que no especicamos) se pasa el t tulo de la secci on. C odigo posterior: C odigo opcional a ejecutar inmediatamente despu es de la escritura del t tulo, que puede ser ejecutado en modo vertical u horizontal dependiendo del formato del t tulo.

1.1.1.

Resultado por defecto

La gura 1.1 muestra el aspecto, por defecto, de las unidades de estructura.

1.1.2.

Personalizaci on tesis fc-unp

Es importante mencionar que en las opciones del comando \titleformat podemos utilizar los comandos \filcenter, \filright y \filleft para justi-

1.1. EL PAQUETE TITLESEC

Cap tulo 1 Introducci on al an alisis

N umeros reales. Conjuntos. L ogica simb olica

Por el curso de la escuela secundaria sabemos que todo n umero real no negativo x se representa mediante una fracci on decimal innita x , x 1 x2 . . . , (1.1)

donde x es el n umero entero mayor que no sobrepasa x y se denomina parte entera del n umero x, xn {0, 1, 2, . . . , 9} para cualquier n N. En este caso, las fracciones en las cuales xn = 9 para todo n n0 (n0 es cierto n umero natural) se excluyen com unmente de la consideraci on en virtud de las siguientes igualdades: x , 999 . . . = x + 1, x , x1 x2 . . . xn0 1 999 . . . = x , . . .

. . . (xn0 1 + 1) (n0 > 1, xn0 1 = 9) .

Un n umero real x es racional, es decir, puede ser representado en forma de la raz on m , m, n Z cuando, y s olo cuando, la fracci on 1.1 es peri odica. En n el caso contrario el n umero x es irracional. Se llama valor absoluto o m odulo del n umero real x un n umero no negativo |x| = x, si x 0, x, si x < 0.

Se supone que las reglas de comparaci on de los n umeros reales, como tambi en las operaciones aritm eticas sobre los mismos se conocen por el curso de ense nanza secundaria. 1

Figura 1.1: Aspecto, por defecto, de las unidades de estructura.

CAP ITULO 1. PERSONALIZACIONES

car tanto el texto del t tulo como la etiqueta (o los dos globalmente) al centro, derecha o izquiera, respectivamente. La gura 1.2 muestra el aspecto de las unidades de estructura obtenido el siguiente c odigo:

\usepackage{titlesec} \titleformat {\chapter}%Comando de Estructura [display]%Tipo {\bfseries\Large\filcenter}%Formato {\MakeUppercase{\chaptername}\;\Roman{chapter}}%Etiqueta {25pt}%Separaci on {\MakeUppercase}%C odigo anterior [\thispagestyle{empty}]%C odigo posterior \titleformat {\section}%Comando de Estructura [hang]%Tipo {\bfseries\large}%Formato {\arabic{chapter}.\arabic{section}.}%Etiqueta {1em}%Separaci on {}%C odigo anterior \titleformat {\subsection}%Comando de Estructura [hang]%Tipo {\bfseries}%Formato {\arabic{chapter}.\arabic{section}.\arabic{subsection}.}%Etiq. {1em}%Separaci on {}%C odigo anterior

1.1.3.

Personalizaci on titlerule

Para dibujar l neas horizontales se dispone del comando \titlerule[grosor ]; este comando dispone de la versi on con asterisco \titlerule*{objeto }, que permite dibujar copias repetidas de un objeto dado. El comando \titleline[justicaci on ]{material } permite introducir material horizontal en argumentos de \titleformat que esperan material vertical (el par ametro optativo justicaci on admite los valores habituales r, l, c). La variante

1.1. EL PAQUETE TITLESEC

CAP ITULO I AL ANALISIS INTRODUCCION

1.1.
1.1.1.

N umeros reales. Conjuntos. L ogica simb olica

Por el curso de la escuela secundaria sabemos que todo n umero real no negativo x se representa mediante una fracci on decimal innita x , x 1 x2 . . . , (1.1)

donde x es el n umero entero mayor que no sobrepasa x y se denomina parte entera del n umero x, xn {0, 1, 2, . . . , 9} para cualquier n N. En este caso, las fracciones en las cuales xn = 9 para todo n n0 (n0 es cierto n umero natural) se excluyen com unmente de la consideraci on en virtud de las siguientes igualdades: x , 999 . . . = x + 1, x , x1 x2 . . . xn0 1 999 . . . = x , . . .

. . . (xn0 1 + 1) (n0 > 1, xn0 1 = 9) .

Un n umero real x es racional, es decir, puede ser representado en forma de , m, n Z cuando, y s olo cuando, la fracci on (1.1) es peri odica. En la raz on m n el caso contrario el n umero x es irracional. Se llama valor absoluto o m odulo del n umero real x un n umero no negativo |x| = x, si x 0, x, si x < 0.

Se supone que las reglas de comparaci on de los n umeros reales, como tambi en las operaciones aritm eticas sobre los mismos se conocen por el curso de ense nanza secundaria.

Figura 1.2: Aspecto de las unidades de estructura obtenido con la personalizaci on tesis fc-unp.

CAP ITULO 1. PERSONALIZACIONES

\titleline*[justicaci on ]{material } permite introducir el material en una caja de anchura \titlewidth (variable de longitud que almacena la anchura del t tulo). Es esencial, a la hora de utilizar esta variante, cargar el paquete titlesec con la opci on calcwidth en el pre ambulo. La gura 1.3 muestra el aspecto de las unidades de estructura obtenido con el siguiente c odigo: \usepackage[T1]{fontenc} \usepackage[calcwidth]{titlesec} \usepackage{anyfontsize} \titleformat {\chapter}%Comando de Estructura [display]%Tipo {\filcenter\bfseries\LARGE}%Formato {\large\scshape\chaptername\;\thechapter}%Etiqueta {0ex}%Separaci on {\titleline*[c]{\titlerule}\vspace{6pt}% \titleline*[c]{\titlerule*{\tiny$\diamond$}}% \vspace{6pt}}%C odigo anterior [{\vspace{6pt}% \titleline*[c]{\titlerule*{\tiny$\diamond$}}% \vspace{6pt}% \titleline*[c]{\titlerule}}]%C odigo posterior \titleformat {\section}%Comando de Estructura [hang]%Tipo {\bfseries\fontsize{16}{16}\selectfont}%Formato {\thesection.}%Etiqueta {1em}%Separaci on {}%C odigo anterior

1.1.4.

Personalizaci on leftmarg

Para especicar una indentaci on arbitraria en los distintos elementos del t tulo, se utiliza el comando: \titlespacing{Comando de estructura }{Indentaci on Izq.} {Espacio anterior }{Espacio posterior }[Indentaci on Der.]

1.1. EL PAQUETE TITLESEC

Captulo 1
Introduccin al anlisis

1.1.
1.1.1.

Nmeros reales. Conjuntos. Lgica simblica

Por el curso de la escuela secundaria sabemos que todo nmero real no negativo x se representa mediante una fraccin decimal innita
x , x 1 x2 . . . ,

(1.1)

donde x es el nmero entero mayor que no sobrepasa x y se denomina parte entera del nmero x, xn {0, 1, 2, . . . , 9} para cualquier n N. En este caso, las fracciones en las cuales xn = 9 para todo n n0 (n0 es

cierto nmero natural) se excluyen comnmente de la consideracin en virtud de las siguientes igualdades:
x , 999 . . . = x + 1, x , x1 x2 . . . xn0 1 999 . . . = x , . . .

. . . (xn0 1 + 1) (n0 > 1, xn0 1 = 9) .

Un nmero real x es racional, es decir, puede ser representado en forma de , m, n Z cuando, y slo cuando, la fraccin (1.1) es peridica. En la razn m n el caso contrario el nmero x es irracional. Se llama valor absoluto o mdulo del nmero real x un nmero no negativo
|x| = x, si x 0, x, si x < 0.

Se supone que las reglas de comparacin de los nmeros reales, como tambin las operaciones aritmticas sobre los mismos se conocen por el curso de enseanza secundaria. 1

Figura 1.3: Aspecto de las unidades de estructura obtenido con la personalizaci on titlerule.

CAP ITULO 1. PERSONALIZACIONES

donde las opciones de Indentaci on Izq. o Indentaci on Der. se pueden utilizar para cambiar la anchura y colocaci on del t tulo, y las opciones de Espacio anterior y Espacio posterior especican los espacios a dejar antes y despu es del t tulo, respectivamente. Estas longitudes, cuando son de tipo el astico, se especican a trav es de la declaraci on *f (siendo f un factor decimal), lo cual equivale a f unidades ex con una cierta elasticidad. La gura 1.4 muestra el aspecto de las unidades de estructura obtenido con el siguiente c odigo: \usepackage{titlesec} \usepackage{anyfontsize} \titleformat {\chapter}%Comando de Estructura {\sffamily\bfseries\Huge}%Formato {\llap{\makebox[2em][r]{\thechapter}\hspace{1em}}}%Etiqueta {0pt}%Separaci on {}%C odigo anterior \titleformat {\section}%Comando de Estructura [leftmargin]%Tipo {\filcenter\sffamily\bfseries\large}%Formato {\thesection}%Etiqueta {0pt}%Separaci on {}%C odigo anterior \titlespacing{\section}{2.5cm}{*2.5}{0.5cm} \titleformat {\subsection}%Comando de Estructura [hang]%Tipo {\sffamily\bfseries}%Formato {\thesubsection}%Etiqueta {1em}%Separaci on {}%C odigo anterior

1.1.5.

Personalizaci on tikz

La gura 1.5 muestra el aspecto de las unidades de estructura obtenido con el siguiente c odigo:

1.1. EL PAQUETE TITLESEC

1
1.1 N umeros reales. Conjuntos. L ogica simb olica

Introducci on al an alisis

1.1.1

Concepto de n umero real

Por el curso de la escuela secundaria sabemos que todo n umero real no negativo x se representa mediante una fracci on decimal innita x , x 1 x2 . . . , (1.1)

donde x es el n umero entero mayor que no sobrepasa x y se denomina parte entera del n umero x, xn {0, 1, 2, . . . , 9} para cualquier n N. En este caso, las fracciones en las cuales xn = 9 para todo n n0 (n0 es cierto n umero natural) se excluyen com unmente de la consideraci on en virtud de las siguientes igualdades: x , 999 . . . = x + 1, x , x1 x2 . . . xn0 1 999 . . . = x , . . .

. . . (xn0 1 + 1) (n0 > 1, xn0 1 = 9) .

Un n umero real x es racional, es decir, puede ser representado en forma de , m, n Z cuando, y s olo cuando, la fracci on (1.1) es peri odica. En la raz on m n el caso contrario el n umero x es irracional. Se llama valor absoluto o m odulo del n umero real x un n umero no negativo |x| = x, si x 0, x, si x < 0.

Se supone que las reglas de comparaci on de los n umeros reales, como tambi en las operaciones aritm eticas sobre los mismos se conocen por el curso de ense nanza secundaria.

Figura 1.4: Aspecto de las unidades de estructura obtenido con la personalizaci on leftmarg.

10 \usepackage{titlesec}

CAP ITULO 1. PERSONALIZACIONES

\usepackage{anyfontsize} \newcommand{\myfontsize}[1]{\fontsize{#1}{#1}\selectfont} \usepackage{tikz} \newcommand{\backgr}{% \begin{tikzpicture}[overlay,% baseline={([yshift=-5pt]current bounding [Link])}]% \draw[line width=8ex,SteelBlue]% (-\paperwidth,0ex)--(\paperwidth,0ex); \end{tikzpicture} } \newlength{\myskip} \makeatletter \setlength{\myskip}{\f@size pt} \makeatother \newcommand{\nodechap}{% \rule{0.1\textwidth}{0pt} \begin{tikzpicture}[overlay,% baseline={([yshift=-5pt]current bounding [Link])}]% \node[minimum width=10ex,minimum height=10ex,draw=Black]% {\myfontsize{8\myskip}\thechapter}; \end{tikzpicture}% } \newcommand{\titlechap}[1]{% \rule{0.05\textwidth}{0pt} \parbox[c]{0.8\textwidth}{\textcolor{white}{#1}}% } \titleformat {name=\chapter}%C. de Estructura (cap. numer.) [hang]%Tipo {\bfseries\LARGE }%Formato {\backgr\nodechap}%Etiqueta {1em}%Separaci on {\titlechap}%C odigo anterior [\thispagestyle{empty}]%C odigo posterior

1.1. EL PAQUETE TITLESEC \titleformat {name=\chapter,numberless}%C. de Estructura (cap. no numer.) [hang]%Tipo {\bfseries\LARGE}%Formato {\backgr}%Etiqueta {1em}%Separaci on {\titlechap}%C odigo anterior [\thispagestyle{empty}]%C odigo posterior

11

\titlespacing{\chapter}{-5ex}{7ex}{20ex}

\newcommand{\nodesec}{% \begin{tikzpicture}[% baseline={([yshift=-5.5pt]current bounding [Link])}] \node[draw=Black]{\textcolor{SteelBlue}{\thesection}}; \end{tikzpicture}% } \newcommand{\titlesec}[1]{% \textcolor{SteelBlue}{#1}% } \titleformat {\section}%Comando de Estructura [hang]%Tipo {\bfseries\large}%Formato {\nodesec}%Etiqueta {0.5em}%Separaci on {\titlesec}%C odigo anterior \newcommand{\titlesubsec}[1]{% \textcolor{SteelBlue}{#1}% } \titleformat {\subsection}%Comando de Estructura [hang]%Tipo {\bfseries}%Formato {\textcolor{SteelBlue}{\thesubsection}}%Etiqueta {0.5em}%Separaci on {\titlesubsec}%C odigo anterior

12 Observaciones.

CAP ITULO 1. PERSONALIZACIONES

1. El lector debe tener en cuenta que en este caso es preciso a nadir la opci on svgnames al comando \documentclass para que sean reconocidos los nombres de colores: Black y SteelBlue; y as obtener un resultado sin errores, como el que se muestra en la gura 1.5. En este ejemplo se us o el c odigo: \documentclass[12pt,a4paper,svgnames]{book} al inicio del documento. 2. Otra capacidad interesante del paquete es la especicaci on condicional de formatos de t tulo para p aginas pares o impares, utilizando la variable page (con valores even u odd) en la opci on comando de estructura. Para que esto funcione, es importante que el manuscrito est e formateado con la opci on twoside.

1.2.

El paquete facyhdr

El paquete fancyhdr permite modicar encabezamientos y pies de p agina. Existen dos comandos u tiles para denir los encabezamientos y los pies de p aginas: \fancyhead{texto } \fancyfoot{texto }. A estos comandos se les puede pasar unos selectores que indican en que parte del encabezado/pie de p agina se escribir an: L (izquierda), C (centro) y R (derecha). Adem as para libros se puede hacer que las p aginas impares sean diferentes de las p aginas pares. Para ello se utilizan los selectores: E (par) y O (impar).

1.2.1.

Resultado por defecto

Las guras 1.6 y 1.7 muestran el aspecto, por defecto, de los encabezados y pies de p agina.

1.2. EL PAQUETE FACYHDR

13

Introducci on al an alisis

1.1 N umeros reales. Conjuntos. L ogica simb olica

donde x es el n umero entero mayor que no sobrepasa x y se denomina parte entera del n umero x, xn {0, 1, 2, . . . , 9} para cualquier n N. En este caso, las fracciones en las cuales xn = 9 para todo n n0 (n0 es cierto n umero natural) se excluyen com unmente de la consideraci on en virtud de las siguientes igualdades: x , 999 . . . = x + 1, x , x1 x2 . . . xn0 1 999 . . . = x , . . .

. . . (xn0 1 + 1) (n0 > 1, xn0 1 = 9) .

Un n umero real x es racional, es decir, puede ser representado en forma de , m, n Z cuando, y s olo cuando, la fracci on (1.1) es peri odica. En la raz on m n el caso contrario el n umero x es irracional. Se llama valor absoluto o m odulo del n umero real x un n umero no negativo |x| = x, si x 0, x, si x < 0.

Se supone que las reglas de comparaci on de los n umeros reales, como tambi en las operaciones aritm eticas sobre los mismos se conocen por el curso de ense nanza secundaria.

Figura 1.5: Aspecto de las unidades de estructura obtenido con la personalizaci on tikz.

14

CAP ITULO 1. PERSONALIZACIONES

AL ANALISIS CAP ITULO 1. INTRODUCCION

1.2.

Conjuntos y operaciones sobre ellos

Por conjunto se entiende cualquier totalidad de objetos, llamados elementos del conjunto. La notaci on a A signica que el objeto a es un elemento del conjunto A (pertenece al conjunto A); en el caso contrario se escribe a A. Un conjunto que no contiene ning un elemento, se denomina vac o y se designa por el s mbolo . La notaci on A B (A est a contenido en B ) quiere decir que todo elemento del conjunto A es un elemento del conjunto B ; en este caso el conjunto A lleva el nombre de subconjunto del conjunto B . Los conjuntos A y B se llaman iguales (A = B ), si A B y B A. Existen dos m etodos principales para denir (escribir)los conjuntos. 1. El conjunto A se determina por enumeraci on directa de todos sus elementos a1 , a2 , . . . , an , es decir, se escribe en la forma A = {a1 , a2 , . . . , an }. 2. El conjunto A se determina como una totalidad de aquellos y s olo aquellos, elementos de cierto conjunto b asico T , que poseen la propiedad com un . En este caso se emplea la designaci on A = {x T |(x)}, donde la notaci on (x) signica que el elemento x posee la propiedad .

1.3.

Cotas superiores e inferiores

Sea X un conjunto arbitrario no vac o de n umeros reales. El n umero M = m ax X se denomina elemento mayor (maximal ) del conjunto X , si M X y para todo x X se verica la desigualdad x M . An alogamente se determina el concepto de elemento menor (minimal ) m = m n X del conjunto X . El conjunto x se llama acotado superiormente, si existe un n umero real a de tal ndole que x a para cualquier x X . Todo n umero que posee dicha propiedad lleva el nombre de cota superior del conjunto X . Para el conjunto dado X acotado superiormente, el conjunto de todas las cotas superiores tiene un elemento menor, que se denomina cota superior exacta del conjunto X y se designa mediante el s mbolo sup X . An alogamente se determinan los conceptos de conjunto acotado inferiormente, de cota inferior y de cota inferior exacta del conjunto X ; esta u ltima se designa mediante el s mbolo nf X . El conjunto X se denomina acotado, si est a acotado superior e inferiormente.

Figura 1.6: Encabezado y pie de p agina, por defecto, en una p agina par.

1.2. EL PAQUETE FACYHDR

15

1.4. LOGICA SIMBOLICA

1.4.

L ogica simb olica

Al anotar los razonamientos matem aticos resulta razonable aplicar ciertos s mbolos econ omicos usados en la l ogica. He aqu algunos s mbolos de los m as sencillos utilizados con mayor frecuencia. Sean , ciertas declaraciones o armaciones, es decir, oraciones narratorias, con respecto a cada una de las cuales podemos decir si es cierta o falsa. on de la armaci on . la notaci on signica: no , es decir, negaci La notaci on signica: de la armaci on resulta la armaci on ( es el s mbolo de implicaci on ). La notaci on signica: la armaci on es equivalente a la armaci on , es decir, de proviene y de se deduce ( es el s mbolo de equivalencia). La notaci on signica: y ( es el s mbolo de conjunci on ). La notaci on signica: o ( es el s mbolo de disyunci on ). La notaci on x X(x) signica: para todo elemento x X la armaci on (x) es ver dica ( es el cuanticador universal ). La notaci on x X(x) signica: existe tal elemento x X , para el cual la armaci on (x) es ver dica ( es el cuanticador existencial ). Si un elemento x X , para el cual la armaci on (x) es ver dica no s olo existe, sino que es u nico, se escribe: ! x X(x).

Figura 1.7: Encabezado y pie de p agina, por defecto, en una p agina impar.

16

CAP ITULO 1. PERSONALIZACIONES

1.2.2.

Personalizaci on simple

Las guras 1.8 y 1.9 muestran el aspecto de los encabezados y pies de p agina obtenidos con el siguiente c odigo:

\usepackage{fancyhdr} \pagestyle{fancy} \fancyhf{} % borra todos los campos del encabezado y pie \fancyhead[R]{Universidad Nacional de Piura} %Especifica %el texto a poner a la derecha del encabezado \fancyfoot[LO,RE]{P agina \thepage} %N umero de p agina %a la izquierda en las p aginas impares %y a la derecha en las pares \fancyfoot[LE,RO]{Proyecto Fin de Carrera} %Escribe este %texto a la izquierda en las p aginas impares %y a la derecha en las pares

1.2.3.

Personalizaci on rule

Si se quiere modicar el grosor de las l neas de separaci on entre encabeza y pie de p agina se utiliza:

\renewcommand{\headrulewidth}{g } \renewcommand{\footrulewidth}{g }

Si se desea obligar a que desaparezca una o ambas l neas bastar a con asignar el valor 0pt a g. Las guras 1.10 y 1.11 muestran el aspecto de los encabezados y pies de p agina obtenidos con el siguiente c odigo:

\usepackage{fancyhdr} \pagestyle{fancy} \fancyhf{} % borra todos los campos del encabezado y pie \fancyhead[RO,LE]{\bfseries Matem atica b asica}

1.2. EL PAQUETE FACYHDR

17

Universidad Nacional de Piura

1.2.

Conjuntos y operaciones sobre ellos

Por conjunto se entiende cualquier totalidad de objetos, llamados elementos del conjunto. La notaci on a A signica que el objeto a es un elemento del conjunto A (pertenece al conjunto A); en el caso contrario se escribe a A. Un conjunto que no contiene ning un elemento, se denomina vac o y se designa por el s mbolo . La notaci on A B (A est a contenido en B ) quiere decir que todo elemento del conjunto A es un elemento del conjunto B ; en este caso el conjunto A lleva el nombre de subconjunto del conjunto B . Los conjuntos A y B se llaman iguales (A = B ), si A B y B A. Existen dos m etodos principales para denir (escribir)los conjuntos. 1. El conjunto A se determina por enumeraci on directa de todos sus elementos a1 , a2 , . . . , an , es decir, se escribe en la forma A = {a1 , a2 , . . . , an }. 2. El conjunto A se determina como una totalidad de aquellos y s olo aquellos, elementos de cierto conjunto b asico T , que poseen la propiedad com un . En este caso se emplea la designaci on A = {x T |(x)}, donde la notaci on (x) signica que el elemento x posee la propiedad .

1.3.

Cotas superiores e inferiores

Sea X un conjunto arbitrario no vac o de n umeros reales. El n umero M = m ax X se denomina elemento mayor (maximal ) del conjunto X , si M X y para todo x X se verica la desigualdad x M . An alogamente se determina el concepto de elemento menor (minimal ) m = m n X del conjunto X . El conjunto x se llama acotado superiormente, si existe un n umero real a de tal ndole que x a para cualquier x X . Todo n umero que posee dicha propiedad lleva el nombre de cota superior del conjunto X . Para el conjunto dado X acotado superiormente, el conjunto de todas las cotas superiores tiene un elemento menor, que se denomina cota superior exacta del conjunto X y se designa mediante el s mbolo sup X . An alogamente se determinan los conceptos de conjunto acotado inferiormente, de cota inferior y de cota inferior exacta del conjunto X ; esta u ltima se designa mediante el s mbolo nf X . El conjunto X se denomina acotado, si est a acotado superior e inferiormente. Proyecto Fin de Carrera P agina 2

Figura 1.8: Encabezado y pie de p agina, en una p agina par, obtenido con la personalizaci on simple.

18

CAP ITULO 1. PERSONALIZACIONES

Universidad Nacional de Piura

1.4.

L ogica simb olica

Al anotar los razonamientos matem aticos resulta razonable aplicar ciertos s mbolos econ omicos usados en la l ogica. He aqu algunos s mbolos de los m as sencillos utilizados con mayor frecuencia. Sean , ciertas declaraciones o armaciones, es decir, oraciones narratorias, con respecto a cada una de las cuales podemos decir si es cierta o falsa. on de la armaci on . la notaci on signica: no , es decir, negaci La notaci on signica: de la armaci on resulta la armaci on ( es el s mbolo de implicaci on ). La notaci on signica: la armaci on es equivalente a la armaci on , es decir, de proviene y de se deduce ( es el s mbolo de equivalencia). La notaci on signica: y ( es el s mbolo de conjunci on ). La notaci on signica: o ( es el s mbolo de disyunci on ). La notaci on x X(x) signica: para todo elemento x X la armaci on (x) es ver dica ( es el cuanticador universal ). La notaci on x X(x) signica: existe tal elemento x X , para el cual la armaci on (x) es ver dica ( es el cuanticador existencial ). Si un elemento x X , para el cual la armaci on (x) es ver dica no s olo existe, sino que es u nico, se escribe: ! x X(x).

P agina 3

Proyecto Fin de Carrera

Figura 1.9: Encabezado y pie de p agina, en una p agina impar, obtenido con la personalizaci on simple.

1.2. EL PAQUETE FACYHDR \fancyfoot[LE,RO]{\thepage} % N umero de p agina %a la izquierda en las p aginas pares %y a la derecha en las impares \fancyfoot[CO,CE]{Dpto. Matem atica - UNP} % Escribe este %texto al centro en las p aginas impares %y al centro en las pares \fancyfoot[LO,RE]{R. Ipanaqu e} % Escribe este %texto a la izquierda en las p aginas impares %y a la derecha en las pares \renewcommand{\headrulewidth}{0.4pt} % Establece una %l nea de 0.4pt de grosor en el encabezado \renewcommand{\footrulewidth}{0.4pt} % Establece una %l nea de 0.4pt de grosor en el pie de p agina

19

1.2.4.

Personalizaci on actualizable

Existen dos comandos1 u tiles para poder hacer encabezados que cambien seg un se avanza en el texto: \leftmark (nivel m as alto) y \rightmark (nivel inferior). Tambi en es posible modicar la presentaci on de la informaci on con respecto a cap tulos, secciones y subsecciones redeniendo los comandos \chaptermark, \sectionmark y \subsectionmark. Por ejemplo, el dise no por defecto, de los encabezados y pies de p agina en la clase book, se puede obtener con los siguientes comandos (Figs. 1.6 y 1.7):

\usepackage{fancyhdr} \pagestyle{fancy} \renewcommand{\chaptermark}[1]{% \markboth{\MakeUppercase{\chaptername\ \thechapter.\ #1}}{}} \renewcommand{\sectionmark}[1]{% \markright{\MakeUppercase{\thesection.\ #1}}} \fancyhead{} \fancyfoot{} \fancyhead[RE]{\slshape \leftmark} \fancyhead[LO]{\slshape \rightmark}
1

Su valor depende del tipo de documento.

20

CAP ITULO 1. PERSONALIZACIONES

Matem atica b asica

1.2.

Conjuntos y operaciones sobre ellos

Por conjunto se entiende cualquier totalidad de objetos, llamados elementos del conjunto. La notaci on a A signica que el objeto a es un elemento del conjunto A (pertenece al conjunto A); en el caso contrario se escribe a A. Un conjunto que no contiene ning un elemento, se denomina vac o y se designa por el s mbolo . La notaci on A B (A est a contenido en B ) quiere decir que todo elemento del conjunto A es un elemento del conjunto B ; en este caso el conjunto A lleva el nombre de subconjunto del conjunto B . Los conjuntos A y B se llaman iguales (A = B ), si A B y B A. Existen dos m etodos principales para denir (escribir)los conjuntos. 1. El conjunto A se determina por enumeraci on directa de todos sus elementos a1 , a2 , . . . , an , es decir, se escribe en la forma A = {a1 , a2 , . . . , an }. 2. El conjunto A se determina como una totalidad de aquellos y s olo aquellos, elementos de cierto conjunto b asico T , que poseen la propiedad com un . En este caso se emplea la designaci on A = {x T |(x)}, donde la notaci on (x) signica que el elemento x posee la propiedad .

1.3.

Cotas superiores e inferiores

Sea X un conjunto arbitrario no vac o de n umeros reales. El n umero M = m ax X se denomina elemento mayor (maximal ) del conjunto X , si M X y para todo x X se verica la desigualdad x M . An alogamente se determina el concepto de elemento menor (minimal ) m = m n X del conjunto X . El conjunto x se llama acotado superiormente, si existe un n umero real a de tal ndole que x a para cualquier x X . Todo n umero que posee dicha propiedad lleva el nombre de cota superior del conjunto X . Para el conjunto dado X acotado superiormente, el conjunto de todas las cotas superiores tiene un elemento menor, que se denomina cota superior exacta del conjunto X y se designa mediante el s mbolo sup X . An alogamente se determinan los conceptos de conjunto acotado inferiormente, de cota inferior y de cota inferior exacta del conjunto X ; esta u ltima se designa mediante el s mbolo nf X . El conjunto X se denomina acotado, si est a acotado superior e inferiormente. 2 Dpto. Matem atica - UNP R. Ipanaqu e

Figura 1.10: Encabezado y pie de p agina, en una p agina par, obtenido con la personalizaci on rule.

1.2. EL PAQUETE FACYHDR

21

Matem atica b asica

1.4.

L ogica simb olica

Al anotar los razonamientos matem aticos resulta razonable aplicar ciertos s mbolos econ omicos usados en la l ogica. He aqu algunos s mbolos de los m as sencillos utilizados con mayor frecuencia. Sean , ciertas declaraciones o armaciones, es decir, oraciones narratorias, con respecto a cada una de las cuales podemos decir si es cierta o falsa. on de la armaci on . la notaci on signica: no , es decir, negaci La notaci on signica: de la armaci on resulta la armaci on ( es el s mbolo de implicaci on ). La notaci on signica: la armaci on es equivalente a la armaci on , es decir, de proviene y de se deduce ( es el s mbolo de equivalencia). La notaci on signica: y ( es el s mbolo de conjunci on ). La notaci on signica: o ( es el s mbolo de disyunci on ). La notaci on x X(x) signica: para todo elemento x X la armaci on (x) es ver dica ( es el cuanticador universal ). La notaci on x X(x) signica: existe tal elemento x X , para el cual la armaci on (x) es ver dica ( es el cuanticador existencial ). Si un elemento x X , para el cual la armaci on (x) es ver dica no s olo existe, sino que es u nico, se escribe: ! x X(x).

R. Ipanaqu e

Dpto. Matem atica - UNP

Figura 1.11: Encabezado y pie de p agina, en una p agina impar, obtenido con la personalizaci on rule.

22

CAP ITULO 1. PERSONALIZACIONES

\fancyhead[LE,RO]{\thepage} \renewcommand{\headrulewidth}{0pt} Las guras 1.12 y 1.13 muestran el aspecto de los encabezados y pies de p agina obtenidos con el siguiente c odigo: \usepackage{fancyhdr} \pagestyle{fancy} \renewcommand{\chaptermark}[1]% {\markboth{\MakeUppercase{\thechapter.\ #1}}{}} \renewcommand{\sectionmark}[1]% {\markright{\MakeUppercase{\thesection.\ #1}}} \renewcommand{\headrulewidth}{0.5pt} \renewcommand{\footrulewidth}{0.5pt} \newcommand{\helv}{% \fontfamily{phv}\fontseries{b}\fontsize{9}{11}\selectfont} \fancyhf{} \fancyhead[LE,RO]{\helv \thepage} \fancyhead[LO]{\helv \rightmark} \fancyhead[RE]{\helv \leftmark} \fancyfoot[RO,LE]{\helv UNP} \fancyfoot[RE,LO]{% \vspace{-2ex}\includegraphics[scale=0.075]{unp}% }

1.3.

El paquete titletoc

El paquete titletoc se usa para cambiar de forma libre el aspecto de la tabla de contenidos de un documento. Las entradas toc son tratadas como areas rectangulares donde se escribir a el texto y, probablemente, un relleno. La gura 1.14 muestra un esquema de tales a reas (por supuesto, las l neas no se imprimen). El espacio entre el margen izquierdo de la p agina y el borde izquierdo del a rea ser a nombrado Izquierdo, del mismo modo tenemos Derecho. Se permite

1.3. EL PAQUETE TITLETOC

23

AL ANALISIS 1. INTRODUCCION

1.2.

Conjuntos y operaciones sobre ellos

Por conjunto se entiende cualquier totalidad de objetos, llamados elementos del conjunto. La notaci on a A signica que el objeto a es un elemento del conjunto A (pertenece al conjunto A); en el caso contrario se escribe a A. Un conjunto que no contiene ning un elemento, se denomina vac o y se designa por el s mbolo . La notaci on A B (A est a contenido en B ) quiere decir que todo elemento del conjunto A es un elemento del conjunto B ; en este caso el conjunto A lleva el nombre de subconjunto del conjunto B . Los conjuntos A y B se llaman iguales (A = B ), si A B y B A. Existen dos m etodos principales para denir (escribir)los conjuntos. 1. El conjunto A se determina por enumeraci on directa de todos sus elementos a1 , a2 , . . . , an , es decir, se escribe en la forma A = {a1 , a2 , . . . , an }. 2. El conjunto A se determina como una totalidad de aquellos y s olo aquellos, elementos de cierto conjunto b asico T , que poseen la propiedad com un . En este caso se emplea la designaci on A = {x T |(x)}, donde la notaci on (x) signica que el elemento x posee la propiedad .

1.3.

Cotas superiores e inferiores

Sea X un conjunto arbitrario no vac o de n umeros reales. El n umero M = m ax X se denomina elemento mayor (maximal ) del conjunto X , si M X y para todo x X se verica la desigualdad x M . An alogamente se determina el concepto de elemento menor (minimal ) m = m n X del conjunto X . El conjunto x se llama acotado superiormente, si existe un n umero real a de tal ndole que x a para cualquier x X . Todo n umero que posee dicha propiedad lleva el nombre de cota superior del conjunto X . Para el conjunto dado X acotado superiormente, el conjunto de todas las cotas superiores tiene un elemento menor, que se denomina cota superior exacta del conjunto X y se designa mediante el s mbolo sup X . An alogamente se determinan los conceptos de conjunto acotado inferiormente, de cota inferior y de cota inferior exacta del conjunto X ; esta u ltima se designa mediante el s mbolo nf X . El conjunto X se denomina acotado, si est a acotado superior e inferiormente.
UNP

Figura 1.12: Encabezado y pie de p agina, en una p agina par, obtenido con la personalizaci on actualizable.

24

CAP ITULO 1. PERSONALIZACIONES

1.4. LOGICA SIMBOLICA

1.4.

L ogica simb olica

Al anotar los razonamientos matem aticos resulta razonable aplicar ciertos s mbolos econ omicos usados en la l ogica. He aqu algunos s mbolos de los m as sencillos utilizados con mayor frecuencia. Sean , ciertas declaraciones o armaciones, es decir, oraciones narratorias, con respecto a cada una de las cuales podemos decir si es cierta o falsa. on de la armaci on . la notaci on signica: no , es decir, negaci La notaci on signica: de la armaci on resulta la armaci on ( es el s mbolo de implicaci on ). La notaci on signica: la armaci on es equivalente a la armaci on , es decir, de proviene y de se deduce ( es el s mbolo de equivalencia). La notaci on signica: y ( es el s mbolo de conjunci on ). La notaci on signica: o ( es el s mbolo de disyunci on ). La notaci on x X(x) signica: para todo elemento x X la armaci on (x) es ver dica ( es el cuanticador universal ). La notaci on x X(x) signica: existe tal elemento x X , para el cual la armaci on (x) es ver dica ( es el cuanticador existencial ). Si un elemento x X , para el cual la armaci on (x) es ver dica no s olo existe, sino que es u nico, se escribe: ! x X(x).

UNP

Figura 1.13: Encabezado y pie de p agina, en una p agina impar, obtenido con la personalizaci on actualizable.

1.3. EL PAQUETE TITLETOC

25

Izquierda

Derecha

Figura 1.14: Esquema de un area rectangular correspondiente a una entrada toc.

Izquierda

Derecha

Figura 1.15: Esquema de un area rectangular con una modicaci on \hspace*{2pc}. modicar el principio de la primera l nea y el nal de la u ltima l nea. Por ejemplo, asignando a ambos lugares \hspace*{2pc}, el a rea adquiere un aspecto como en de la gura 1.15. Y cambiando la asignaci on a \hspace*{-2pc} el a rea el aspecto que se muestra en la gura 1.16. La gura 1.17 muestra la tabla de contenidos mostrada por defecto con la A clase book de L TEX.

\titlecontents{Comando de estructura }[Separaci on ]{C odigo superior } {Formato de entrada numerada }{Formato de entrada no numerada }{Formato de relleno }[C odigo inferior ]

Comando de estructura: El comando para la unidad de estructura cuyo formato deseamos cambiar; e.g., chapter, section, etc. figure y table tambi en est an permitidos.

Izquierda

Derecha

Figura 1.16: Esquema de un area rectangular con una modicaci on \hspace*{-2pc}.

26

CAP ITULO 1. PERSONALIZACIONES

Indice general
1. Introducci on al an alisis 1.1. N umeros reales. Conjuntos. L ogica simb olica 1.1.1. Concepto de n umero real . . . . . . . 1.2. Conjuntos y operaciones sobre ellos . . . . . 1.3. Cotas superiores e inferiores . . . . . . . . . 1.4. L ogica simb olica . . . . . . . . . . . . . . . . 3 3 3 4 4 5

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

Figura 1.17: Ejemplo de una tabla de contenidos. Separaci on: Aunque entre corchetes es obligatorio y establece la separaci on desde el margen izquierdo de la p agina. C odigo anterior: Es el c odigo para el formato global de la entrada. Formato de entrada numerada: Ser a utilizado justo antes del t tulo de la entrada. Formato de entrada no numerada: Es como el anterior, si hay t tulos sin etiqueta. Formato de relleno: Los rellenos se crean, por lo general, con el comando \titlerule que es compartida por ese paquete y titlesec. Tambi en es posible el uso de \hspace. C odigo posterior: Es el c odigo que sigue a la entrada, por ejemplo, el espacio vertical.
1