diff --git a/TFG_Sixto_José_Martínez_Gan.pdf b/TFG_Sixto_José_Martínez_Gan.pdf index 76566ff..8c4dcee 100644 Binary files a/TFG_Sixto_José_Martínez_Gan.pdf and b/TFG_Sixto_José_Martínez_Gan.pdf differ diff --git a/TFG_Sixto_José_Martínez_Gan.tex b/TFG_Sixto_José_Martínez_Gan.tex index 05f7f27..ff5609b 100644 --- a/TFG_Sixto_José_Martínez_Gan.tex +++ b/TFG_Sixto_José_Martínez_Gan.tex @@ -32,7 +32,7 @@ \usepackage[spanish]{babel} % selecciona idioma \usepackage[T1]{fontenc} % gestión de fuentes con acentos %\usepackage{ulem} - +\usepackage{placeins} \usepackage{graphicx} \usepackage{wrapfig} @@ -203,6 +203,18 @@ urlcolor=black]{hyperref} \newcommand{\dertheta}[2]{\ensuremath{\theta_{#1, #2}}} \newcommand{\Groebner}{Gr\"obner} +\makeatletter +\long\def\@makecaption#1#2{ +\vskip\abovecaptionskip +\sbox\@tempboxa{#1. #2} +\ifdim \wd\@tempboxa >\hsize +#1. #2\par +\else +\global \@minipagefalse +\hb@xt@\hsize{\hfil\box\@tempboxa\hfil} +\fi +\vskip\belowcaptionskip} +\makeatother \begin{document} \frontmatter % Parte primera del texto @@ -811,7 +823,10 @@ Si $S=A \setminus \left\lbrace 0 \right\rbrace$, denotaremos la localización co \end{proof} Esto nos va a permitir completar la demostración de un resultado anterior. - \begin{wrapfigure}[8]{r}{0.3\textwidth} +\vspace{-1cm} + +\mbox{} + \begin{wrapfigure}[7]{r}{0.3\textwidth} % \begin{equation*} \begin{tikzcd} @@ -821,8 +836,9 @@ Esto nos va a permitir completar la demostración de un resultado anterior. \end{tikzcd} \end{equation*} \vspace{-1cm} - \caption{Diagrama de aplicaciones duales.} \label{Diagrama Dual Reflexivo} + \caption{} \label{Diagrama Dual Reflexivo} \end{wrapfigure} +\FloatBarrier \begin{proof}[Demostración del Lema~\ref{Lema_Reflexivo_dual}] % Para cualquier \modulo{A} $B$, denotaremos $B_\mathrm{Q} := B \otimes \cuerpofracciones{A}$ (véase la Definición~\ref{Definición Extensión de Escalares}). @@ -833,7 +849,7 @@ Consideremos el diagrama de homomorfismos de \modulo{\Kx}s de la Figura \ref{Dia \dual{M}\equiv\definicionconjunto{h \in \left( \dual{M} \right)_Q}{h\!\left( m \right) \in A \ \forall m \in M}, \end{equation*} o en otras palabras, como todos aquellos homomorfismos en el conjunto ampliado a las fracciones que <> a $M$ funcionan como un elemento de \dual{M}. - Ahora recordemos por el Ejemplo~\ref{Ejemplo Espacio Vectorial es Reflexivo} que $M_\mathrm{Q}$ es reflexivo así que $\dualdual{M_Q} \simeq M_Q$. Esto nos identificar + Ahora recordemos por el Ejemplo~\ref{Ejemplo Espacio Vectorial es Reflexivo} que $M_\mathrm{Q}$ es reflexivo así que $\dualdual{M_Q} \simeq M_Q$. Esto nos permite identificar \begin{equation*} \dualdual{M}\equiv\definicionconjunto{m \in M_Q}{ \phi(m) \in A \ \forall \phi \in \dual{M}}\quad M^{***}\equiv\definicionconjunto{m \in \left( \dual{M} \right)_Q}{h\!\left( m \right) \in A \ \forall m \in M}.\qedhere