一些对齐错误

一些对齐错误

一个问题,为什么我在使用时会出现此错误align? 我的代码如下

\documentclass[12pt,a4paper]{report}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage[spanish]{babel}
\usepackage{amsmath}
\usepackage{amsthm}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{graphicx}
\usepackage{xargs}
\usepackage[usenames]{xcolor}
\usepackage{xr-hyper}
\usepackage[left=3.00cm, right=2.50cm, top=2.50cm, bottom=3.00cm]{geometry}
\usepackage{emptypage}
\usepackage[hyphens]{url}
\usepackage{fncychap}
\usepackage{fancyhdr}
\usepackage{amsthm}

\theoremstyle{definition}
\newtheorem{teorema}{Teorema}[chapter]
\newtheorem{definicion}{Definición}[chapter]
\newtheorem{lema}{Lema}[chapter]
\newtheorem{corolario}{Corolario}[chapter]
\newtheorem{proposicion}{Proposición}[chapter]
\newtheorem{observacion}{Observación}[chapter]
\newtheorem{ejemplo}{Ejemplo}[chapter]
\newtheorem{afirmacion}{Afirmación}[chapter]
\usepackage[colorlinks=true, pdfpagemode=None, linkcolor=blue, citecolor=blue]{hyperref}
\usepackage[shortlabels]{enumitem}



\newcommand{\sub}[2]{(#1_{#2})_{#2\in \mathbb{N}}}
\newcommand{\D}{\displaystyle}
\newcommand{\R}{\mathbb{R}}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\omp}{{\omega(p)}}
\newcommand{\orb}{\mathcal{O}}



\def\span{\mathrm{Span}}
\def\defi{\it}

\def\para#1{\parax(#1)}
\def\parax(#1){\mathbf{#1}}

\def\dfun#1{\dfunx(#1)}
\def\dfunx(#1,#2,#3,#4,#5){\begin{array}{cccl}
#1:&#2&\longrightarrow &#3\\
& #4 &\mapsto&\D #1(#4):= #5
\end{array}}

\def\dfunv#1{\dfunvx(#1)}
\def\dfunvx(#1,#2,#3,#4,#5){\begin{array}{cccl}
#1:&#2&\longrightarrow &#3\\
& #4 &\mapsto&\D #1 #4:= #5
\end{array}}

%%%%%%%%%%%%%%%%%%%comandos acoplados%%%%%%%%%%%
% COLORES personales---------------------------------------------------
    \definecolor{colortitulo}{RGB}{11,17,79} %
    \definecolor{colordominante}{RGB}{11,17,79}
    \definecolor{colordominanteA}{RGB}{243,102,25}
    \definecolor{colordominanteF}{RGB}{219,68,14}
    \definecolor{colordominanteD}{RGB}{74,0,148}



%************************************************
\newcommand{\pr}{\hspace*{5.5mm}}



%************************************************
%\numberwithin{equation}{chapter}
%\renewcommand\thesection{\arabic{section}}
%\renewcommand\thesubsection{\thesection.\arabic{subsection}}
%\setcounter{secnumdepth}{3}
%\setcounter{tocdepth}{3}
%%%%%%%%%%%-----Diseño de capítulos estilo 1. 2. 3.,...%%%%%%%%%%%

%\def\LigneVerticale{\vrule height 1.2cm depth 0.5cm\hspace{0.1cm}\relax}
%\def\LignesVerticales{%
%   \let\LV\LigneVerticale\LV\LV\LV\LV\LV\LV\LV\LV\LV\LV}
\def\GrosCarreAvecUnChiffre#1{%
    \rlap{\vrule height 0.8cm width 1cm depth 0.2cm}%
    \rlap{\hbox to 1cm{\hss\mbox{\white #1}\hss}}%
    \vrule height 0pt width 1cm depth 0pt}
\def\@makechapterhead#1{\hbox{%
        \bfseries
        \Huge
    %   \LignesVerticales
        \hspace{-0.5cm}%
        \GrosCarreAvecUnChiffre{\thechapter}
        \hspace{0.3cm}\hbox{#1}%
    }\par\vskip 2cm}
    
\begin{document}
\begin{titlepage}

\renewcommand{\contentsname}{INDICE GENERAL}
\tableofcontents
\fancyhead[LE,LO]{Contenido}
\newpage
\renewcommand{\chaptername}{}

\chapter{Preliminares variedades}

\begin{definicion}
Una {\defi variedad diferenciable de clase $C^k$ de dimensión $m$}, con $1\leq k\leq +\infty$, es un espacio topológico Hausdorff $M^m$ la cual tiene una base numerable de abiertos y está dotado de un {\defi atlas diferenciable} $\mathcal{A}=\{(U_\alpha,\para{x}_\alpha):\alpha\in\Lambda\}$, es decir, una familia de homeomorfismos $\para{x}_\alpha:U_\alpha\to \para{x}_\alpha(U_\alpha)$, $\alpha\in\Lambda$ tales que:
\begin{enumerate}[{1)}]
\item cada $U_\alpha$ es un abierto de $M^m$ mientras que cada $\para{x}_\alpha(U_\alpha)$ es un abierto de $\R^m$ y además $M^m=\D\bigcup_{\alpha\in\Lambda}U_\alpha$,
\item la aplicación $\para{x}_\beta\circ\para{x}^{-1}_\alpha:\para{x}_\alpha(U_\alpha\cap U_\beta)\to\para{x}_\beta(U_\alpha\cap U_\beta)$ es un difeomorfismo de clase $C^k$ entre abiertos de $\R^m$, para cualesquiera $\alpha$ y $\beta$ en $\Lambda$ tales que $U_\alpha\cap U_\beta\neq\emptyset$.
\item la familia $\mathcal{A}=\{(U_\alpha,\para{x}_\alpha):\alpha\in\Lambda\}$ es maximal con respecto a la condición $(2)$, es decir, si $(U,\para{x})$ es una carta local tal que $\para{x}\circ\para{x}^{-1}_\alpha$ y $\para{x}_\alpha\circ\para{x}^{-1}$ son difeomorfismos de clase $C^k$ para todo $\alpha\in\Lambda$, entonces $(U,\para{x})\in\mathcal{A}.$
\end{enumerate}
\end{definicion}

A menos que se indique lo contrario, consideraremos variedades diferenciables conexas, es decir, tales que los únicos subconjuntos abiertos y cerrados simultáneamente son el propio $M^m$ y el conjunto vacío $\emptyset$. 

Los homeomorfismos $\para{x}_\alpha$ son llamados {\defi cartas locales} o {\defi coordenadas locales}, y las funciones $\para{x}_\beta\circ\para{x}^{-1}_{\alpha}$ son llamadas {\defi cambio de coordenadas}. 

Diremos que una aplicación $f:M^m\to N^n$ entre variedades diferenciblaes es {\defi diferenciable} si 
\begin{equation}\label{fdif}
\para{y}_\beta\circ f\circ\para{x}^{-1}_\alpha:\para{x}(U_\alpha\cap f^{-1}(V_\beta))\to \para{y}_\beta(V_\beta\cap f(U_\alpha))
\end{equation}
es una aplicación diferenciable para toda carta local $\para{x}_\alpha:U_\alpha\to\para{x}(U_\alpha)$ de $M^m$ y toda carta local $\para{y}_\beta:V_\beta\to\para{x}(V_\beta)$ de $N^n$ con $f(U_\alpha)\cap V_\beta\neq\emptyset$. Además, diremos que $f$ es de clase $C^k$ si $M^m$ y $N^n$ son variedades diferenciables de clase $C^k$ y toda aplicación $\para{y}_\beta\circ f\circ\para{x}^{-1}_\alpha$ en \eqref{fdif} es de clase $C^k$. Llamaremos {\defi difeomorfismo} a toda biyección $f:M^m\to N^n$ tal que tanto $f$ como $f^{-1}$ son diferenciables, si ambas aplicaciones fueran de clase $C^k$ diremos que el difeomorfismo es de clase $C^k$.

Sea $M^m$ una variedad diferenciable. Para cada $p\in M^m$, consideremos el conjunto $C_p(M^m)$ de todas las curvas $\gamma:I\to M$, donde $I$ es un intervalo abierto que contiene a $0$, tales que $\gamma(0)=p$ y $\gamma$ es diferenciable en el punto $0$, es decir la aplicación $\para{x}_\alpha\circ\gamma$ es diferenciable en el punto $0$, para toda carta local $\para{x}_\alpha:U_\alpha\to\para{x}_\alpha(U_\alpha)$ con $p\in U_\alpha$. Diremos que dos curvas $\gamma_1,\gamma_2$ en $C_p(M^m)$ son equivalentes si $\left.\D\dfrac{d}{dt}(\para{x}_\alpha\circ\gamma_1)(t)\right\vert_{t=0}=\left.\D\dfrac{d}{dt}(\para{x}_\alpha\circ\gamma_2)(t)\right\vert_{t=0}$ para toda carta local $\para{x}_\alpha:U_\alpha\to\para{x}_\alpha(U_\alpha)$. De hecho, si la igualdad vale para una carta local entonces ella vale para cualquier otra, en efecto notemos que dada cualquier otra carta local $\para{x}_\beta:U_\beta\to\para{x}(U_\beta)$ con $p\in U_\beta$, tenemos que

\begin{align}
\left.\D\dfrac{d}{dt}(\para{x}_\beta\circ\gamma_1)(t)\right\vert_{t=0}&=\left.\D\dfrac{d}{dt}((\para{x}_\beta\circ\para{x}^{-1}_\alpha)\circ(\para{x}_\alpha\circ\gamma_1))(t)\right\vert_{t=0}\\
&=\left.\D d(\para{x}_\beta\circ\para{x}^{-1}_\alpha)(\para{x}_\alpha\circ\gamma_1(0))\dfrac{d}{dt}(\para{x}_\alpha\circ\gamma_1)(t)\right\vert_{t=0}\smallskip\\
&=\left.\D d(\para{x}_\beta\circ\para{x}^{-1}_\alpha)(\para{x}_\alpha\circ\gamma_2(0))\dfrac{d}{dt}(\para{x}_\alpha\circ\gamma_2)(t)\right\vert_{t=0}\\
&=\left.\D\dfrac{d}{dt}(\para{x}_\beta\circ\gamma_2)(t)\right\vert_{t=0}.
\end{align}

Representamos por $[\gamma]$ a la clase de equivalencia de cualquier curva $\gamma\in C_p(M^m)$. El espacio tangente a la variedad $M^m$ en el punto $p$ es el conjunto de tales clases de equivalencia, el cual será denotado por $T_pM$. Dada cualquier carta local $\para{x}_\alpha:U_\alpha\to\para{x}_\alpha(U_\alpha)$


\newpage

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\addcontentsline{toc}{chapter}{5.\;\;Bibliografía }
\fancyhead[LE,LO]{Bibliografía}
%\chapter{Bibliografía}
%\renewcommand{\bibname}{Bibliografía}
\begin{thebibliography}{20}
    %\addcontentsline{toc}{chapter}{7. Bibliografía}
    \fancyhead[LE,LO]{Bibliografía}
        
\bibitem{benazic}  Benazic, R. (2007). Tópicos de ecuaciones diferenciales ordinarias. Uni, Perú.
\bibitem{ciesielski} Ciesielski, K. (2012). The Poincaré-Bendixson theorem: from Poincaré to the XXIst century. Central European Journal of Mathematics, 10(6), 2110-2128.
\bibitem{hirsch} Hirsch, M. W., Smale, S., \& Devaney, R. L. (2012). Differential equations, dynamical systems, and an introduction to chaos. Academic press.
\bibitem{palis} Palis, J. J., \& De Melo, W. (1982). Geometric theory of dynamical systems: an introduction. Springer-Verlag.
\bibitem{perko} Perko, L. (2001). Differential equations and Dynamical systems.     
\bibitem{schwartz} Schwartz, A. J. (1963). A generalization of a Poincaré-Bendixson theorem to closed two-dimensional manifolds. American Journal of Mathematics, 453-458.      
\bibitem{sotomayor1979li} Sotomayor, J. (1979). Lic{\~o}es de equac{\~o}es diferenciais ordin{\'a}rias. Instituto de Matem{\'a}tica Pura e Aplicada, CNPq.
\end{thebibliography}
\end{document}

知道如何做才能消除这个错误吗?

答案1

现在您知道为什么 LaTeX\newcommand并且每个人都推荐使用它来代替\def

amsmath.sty我们在里面发现

\def\measure@#1{%
    \begingroup
        [...code that's not of a concern]
            \halign{\span\align@preamble\crcr
        [...code that's not of a concern]
    \endgroup
}

并且\measure@对于对齐显示来说是一个非常基本的功能,例如align

align即使没有,但使用内核定义的\multicolumn命令,你也会遇到同样的问题。

你正在重新定义原始命令TeX,这是可以做到的(LaTeX 在某些地方也可以做到),但是你必须知道你在做什么。抱歉,但用“以直立形式打印某些内容”替换此原始内容并不属于此类别。

切勿使用\def,除非您确切知道这不会产生任何后果(对于没有以非常特定的方式定制的命令名称,这种知识非常罕见)。

如果要在数学模式中使用“Span”,请执行以下操作

\DeclareMathOperator{\Span}{Span}

并使用\Span。这是安全的,并且正确地使用了 LaTeX,而\mathrm{Span}没有。

如果你确实需要\def带有分隔参数的宏,那么

\newcommand{\dfunx}{}
\def\dfunx(#1,#2,#3,#4,#5){...}

这样您就会知道它是否\dfunx被某些第三方包使用。

顺便问一下:为什么

\def\para#1{\parax(#1)}
\def\parax(#1){\mathbf{#1}}

而不是更简单的

\newcommand{\para}[1]{\mathbf{#1}}

哪个功能完全一样?

您还在它根本不起任何作用的地方定义并大量使用它\D\displaystyle

答案2

正如问题下的第一条评论所评论的那样(在您发布生成错误的代码之前),您应该使用 LaTeX 构造,\def这样如果您重新定义 TeX 构造,您就会收到警告。

\span是 TeX 基元,\multicolumn因此如果您重新定义,\span则需要重新定义使用它的每个构造以使用原始基元的已保存版本。至少

\sp@n来自 LaTeX 格式

\gather@\align@\measure@amsmath

但即便如此,您的文档也可能与任何进行任何类型的对齐或数组构造的包不兼容。

实际上,解决方案是替换

\def\span{\mathrm{Span}}

经过

\DeclareMathOperator{\Span}{Span}

\Span然后在你的文档中使用,

答案3

我测试了你的 MWE(使用最新的 MiKTeX),它运行良好。但是,我不会使用你的\def,而是\mathbf使用 LaTeX 中定义的:

\documentclass[12pt,a4paper]{report}
\usepackage[T1]{fontenc}
\usepackage{amsmath}

\begin{document}
\begin{align*}
\left.\dfrac{d}{dt}\bigl(\mathbf{x}_\beta\circ\gamma_1\bigr)(t)\right\vert_{t=0}
    & = \left.\dfrac{d}{dt}\bigl((\mathbf{x}_\beta\circ\mathbf{x}^{-1}_\alpha)
            \circ\mathbf{x}_\alpha\circ\gamma_1\bigr)(t)\right\vert_{t=0}\\
&=\left. d(\mathbf{x}_\beta\circ\mathbf{x}^{-1}_\alpha)(\mathbf{x}_\alpha\circ\gamma_1(0))\dfrac{d}{dt}(\mathbf{x}_\alpha\circ\gamma_1)(t)
\right\vert_{t=0}\\
    & = \left. d(\mathbf{x}_\beta\circ\mathbf{x}^{-1}_\alpha)
            (\mathbf{x}_\alpha\circ\gamma_2(0))
            \dfrac{d}{dt}(\mathbf{x}_\alpha\circ\gamma_2)(t)\right\vert_{t=0}\\
    & = \left.\dfrac{d}{dt}(\mathbf{x}_\beta\circ\gamma_2)(t)\right\vert_{t=0}.
\end{align*}
\end{document}

在此处输入图片描述

相关内容