Sixto/TFG_Sixto
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Compare commits

base: Sixto:15b98696527a3d90c5237596923f84d32cbe6b0b
Branches Tags
Sixto:main
Sixto:Resoluciones
..
compare: Sixto:0dc46a2d5130271c383edee34fcc17d4a1013571
Branches Tags
Sixto:main
Sixto:Resoluciones

No commits in common. "15b98696527a3d90c5237596923f84d32cbe6b0b" and "0dc46a2d5130271c383edee34fcc17d4a1013571" have entirely different histories.
15b9869652 ... 0dc46a2d51

2 changed files with 6 additions and 22 deletions
Show Stats Expand all files Collapse all files

BIN
TFG_Sixto_José_Martínez_Gan.pdf
View File

Binary file not shown.

28
TFG_Sixto_José_Martínez_Gan.tex
View File

@ -32,7 +32,7 @@
\usepackage[spanish]{babel} % selecciona idioma \usepackage[spanish]{babel} % selecciona idioma
\usepackage[T1]{fontenc} % gestión de fuentes con acentos \usepackage[T1]{fontenc} % gestión de fuentes con acentos
%\usepackage{ulem} %\usepackage{ulem}
\usepackage{placeins}
\usepackage{graphicx} \usepackage{graphicx}
\usepackage{wrapfig} \usepackage{wrapfig}
@ -51,8 +51,8 @@
% Bibliografía. % Bibliografía.
\newif\ifbibtex \newif\ifbibtex
\bibtextrue %\bibtextrue
%\bibtexfalse \bibtexfalse
\ifbibtex \ifbibtex
\else \else
\usepackage[backend=biber]{biblatex} \usepackage[backend=biber]{biblatex}
@ -203,18 +203,6 @@ urlcolor=black]{hyperref}
\newcommand{\dertheta}[2]{\ensuremath{\theta_{#1, #2}}} \newcommand{\dertheta}[2]{\ensuremath{\theta_{#1, #2}}}
\newcommand{\Groebner}{Gr\"obner} \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} \begin{document}
\frontmatter % Parte primera del texto \frontmatter % Parte primera del texto
@ -842,10 +830,7 @@ Si $S=A \setminus \left\lbrace 0 \right\rbrace$, denotaremos la localización co
\end{proof} \end{proof}
Esto nos va a permitir completar la demostración de un resultado anterior. Esto nos va a permitir completar la demostración de un resultado anterior.
\vspace{-1cm} \begin{wrapfigure}[8]{r}{0.3\textwidth}
\mbox{}
\begin{wrapfigure}[7]{r}{0.3\textwidth}
% %
\begin{equation*} \begin{equation*}
\begin{tikzcd} \begin{tikzcd}
@ -855,9 +840,8 @@ Esto nos va a permitir completar la demostración de un resultado anterior.
\end{tikzcd} \end{tikzcd}
\end{equation*} \end{equation*}
\vspace{-1cm} \vspace{-1cm}
\caption{} \label{Diagrama Dual Reflexivo} \caption{Diagrama de aplicaciones duales.} \label{Diagrama Dual Reflexivo}
\end{wrapfigure} \end{wrapfigure}
\FloatBarrier
\begin{proof}[Demostración del Lema~\ref{Lema_Reflexivo_dual}] \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}). % 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}).
@ -868,7 +852,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}, \dual{M}\equiv\definicionconjunto{h \in \left( \dual{M} \right)_Q}{h\!\left( m \right) \in A \ \forall m \in M},
\end{equation*} \end{equation*}
o en otras palabras, como todos aquellos homomorfismos en el conjunto ampliado a las fracciones que <<restringidos>> a $M$ funcionan como un elemento de \dual{M}. o en otras palabras, como todos aquellos homomorfismos en el conjunto ampliado a las fracciones que <<restringidos>> 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 permite 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 identificar
\begin{equation*} \begin{equation*}
\dualdual{M}\equiv\definicionconjunto{m \in M_Q}{ \phi(m) \in A \ \forall \phi \in \dual{M}}\quad \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 M^{***}\equiv\definicionconjunto{m \in \left( \dual{M} \right)_Q}{h\!\left( m \right) \in A \ \forall m \in M}.\qedhere