一个问题,为什么我在使用时会出现此错误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:&\longrightarrow \\
& #4 &\mapsto&\D #1(#4):= #5
\end{array}}
\def\dfunv#1{\dfunvx(#1)}
\def\dfunvx(#1,#2,#3,#4,#5){\begin{array}{cccl}
#1:&\longrightarrow \\
& #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}