我不知道如何在 itemize 环境(位于 \newtheorem 环境内)之后不缩进某些“常规文本”。基本上,我试图在我写的两个定理之后创建一个包含本章其余部分的新段落。这是我的 main.tex:
\documentclass[a4paper,12pt]{book}
\usepackage[utf8]{inputenc}
\usepackage{graphicx}
\usepackage[final]{pdfpages}
\usepackage[italian]{babel}
\usepackage[margin=2cm]{geometry}
\usepackage{amsmath,amsthm,amssymb}
\usepackage{siunitx}
\usepackage{tocloft}
\usepackage{setspace}
%\usepackage[fontsize=14pt]{scrextend} Nel caso volessi aumentare la dimensione dei caratteri globalmente.
\setboolean{@twoside}{false}
%\doublespacing %nel caso volessi aumentare di due linee lo spacing
\onehalfspacing
\begin{document}
\includepdf[pages=-, offset=0cm 4cm]{frontespizio.pdf}
\tableofcontents
\cleardoublepage\thispagestyle{empty} %clears head and foot
\vspace*{15cm} %adjust spacing as you like
\begin{center}
\rule{\textwidth}{1pt}
\vrule height1cm width 0pt depth0pt
\emph{A tutti coloro \\che hanno reso questo possibile.}
\vrule height1cm width 0pt depth0pt
\rule{\textwidth}{1pt}
\end{center}
\vfill
\mainmatter
\include{./TeX_files/intro}
\include{./TeX_files/Chapter1/chapter01}
\backmatter
% bibliography, glossary and index would go here.
\end{document}
这是出现问题的章节(参见%TODO
以下代码)
\chapter{Presentazione del modello}
Tuttavia, resta da determinare la "giusta" trasformazione di stato $T(x)$. A tal fine si introducono, brevemente, alcuni importanti strumenti matematici.
\theoremstyle{plain}
\newtheorem*{Frobenius}{Teorema di Frobenius}
\begin{Frobenius}
Sia $\left\lbrace v_{1},v_{2},\dots,v_{n}\right\rbrace$ un insieme di campi vettoriali linearmente indipendenti. L'insieme è completamente integrabile se, e solo se, esso è involutivo.
\end{Frobenius}
\newtheorem*{FondTheorem}{Teorema}
\begin{FondTheorem}
Il sistema non lineare
\begin{equation*}
\begin{cases}
&\dot{x} = f(x) + g(x)u\\
&y=h(x)
\end{cases}
\end{equation*}
dove $f$ e $g$ sono campi vettoriali di classe $C^{\infty}$, si dice input-state linearizzabile se, e solo se, esiste una regione $\Omega$ tale che:
\begin{itemize}
\item i campi vettoriali $\left\lbrace g,ad_{f} \; g, \dots, ad_{f}^{n-1} \; g\right\rbrace$ sono linearmente indipendenti in $\Omega$
\item l'insieme $\left\lbrace g,ad_{f} \; g, \dots, ad_{f}^{n-2} \; g\right\rbrace$ è involutivo
\end{itemize}
\end{FondTheorem}
%TODO the following text shouldn't be aligned with the itemize enviroment, but it should be indented like a regular paragraph text
In base ai risultati visti è possibile ricavare una procedura per effettuare la input-state linearization, del sistema non lineare in esame, riassumibile nei seguenti passi:
\begin{itemize}
\item ricavare i campi vettoriali:
\begin{align*}
& \left\lbrace g,ad_{f} \; g, \dots, ad_{f}^{n-1} \; g\right\rbrace \label{eq:one} \tag{i}\\
& \left\lbrace g,ad_{f} \; g, \dots, ad_{f}^{n-2} \; g\right\rbrace \label{eq:two} \tag{{ii}}\\
\end{align*}
\item ...
\end{itemize} %the following text is correctly aligned
Tornando al modello...
答案1
如果定理中没有itemize
,文本将以相同的方式缩进:itemize
此处没有相关性。我在两个定理陈述之间添加了一些文本以显示这一点。
别担心!缩进是正确的!也许你可以避免用列表结束语句。
我的印象是,第二条陈述是一个定义,而不是一个定理,但你是判断者。
我对你的代码做了一些修复:请查看它们。特别是,
- 没有必要
\newtheorem*
在每个定理之前都这样做; - 如果必须为每个集合符号输入
\left\lbrace
和,那么 TeX 将是一个非常糟糕的系统;\right\rbrace
- 我相信我一生中只使用过
\;
几次(也许更多,但只是为了给你一个想法),我从 1988 年开始使用 TeX/LaTeX;你需要定义一个运算符,这样间距就会自动实现; - 引号应该是
``
并且''
永远不会"
\documentclass[a4paper,12pt,oneside]{book}
\usepackage[T1]{fontenc} % <--- don't forget
\usepackage[utf8]{inputenc}
\usepackage[italian]{babel}
\usepackage[margin=2cm]{geometry}
\usepackage{amsmath,amsthm,amssymb}
\usepackage{graphicx}
\usepackage[final]{pdfpages}
\usepackage{siunitx}
\usepackage[titles]{tocloft} % <--- don't forget titles
\usepackage{setspace}
%\usepackage[fontsize=14pt]{scrextend} % 12pt is the size for primary school textbooks
%\setboolean{@twoside}{false} % NO! Set the oneside option, if really needed
%\doublespacing %nel caso volessi aumentare di due linee lo spacing
\onehalfspacing
\DeclareMathOperator{\ad}{ad}
\theoremstyle{plain}
\newtheorem*{unnumberedtheorem}{\unnumberedtheoremname}
\providecommand{\unnumberedtheoremname}{}
\newenvironment{Teorema}[1][Teorema]
{\renewcommand{\unnumberedtheoremname}{#1}\unnumberedtheorem}
{\endunnumberedtheorem}
\begin{document}
\mainmatter
\chapter{Presentazione del modello}
Tuttavia, resta da determinare la ``giusta'' trasformazione di stato $T(x)$.
A tal fine si introducono, brevemente, alcuni importanti strumenti matematici.
\begin{Teorema}[Teorema di Frobenius]
Sia $\{v_{1},v_{2},\dots,v_{n}\}$ un insieme di campi vettoriali linearmente
indipendenti. L'insieme è completamente integrabile se, e solo se, esso è involutivo.
\end{Teorema}
Qui aggiungo un testo per dimostrare come il rientro sia presente indipendentemente
da eventuali \texttt{itemize} nell'enunciato.
\begin{Teorema}
Il sistema non lineare
\begin{equation*}
\begin{cases}
\dot{x} = f(x) + g(x)u\\
y=h(x)
\end{cases}
\end{equation*}
dove $f$ e $g$ sono campi vettoriali di classe $C^{\infty}$, si dice
input-state linearizzabile se, e solo se, esiste una regione $\Omega$ tale che:
\begin{itemize}
\item i campi vettoriali $\{ g,\ad_{f} g, \dots, \ad_{f}^{n-1} g \}$ sono
linearmente indipendenti in $\Omega$;
\item l'insieme $\{ g,\ad_{f} g, \dots, \ad_{f}^{n-2} g \}$ è involutivo.
\end{itemize}
\end{Teorema}
In base ai risultati visti è possibile ricavare una procedura per effettuare
la input-state linearization, del sistema non lineare in esame, riassumibile
nei seguenti passi:
\begin{itemize}
\item ricavare i campi vettoriali:
\begin{align*}
& \{ g,\ad_{f} g, \dots, \ad_{f}^{n-1} g \} \label{eq:one} \tag{i}\\
& \{ g,\ad_{f} g, \dots, \ad_{f}^{n-2} g \} \label{eq:two} \tag{{ii}}
\end{align*}
\item ...
\item ...
\end{itemize}
Tornando al modello...
\end{document}
答案2
据我所知,文本对齐正确。由于定理是一个独立的“段落式”环境,当您在其下键入文本时,它会开始一个新段落,并给出缩进。
如果你想抑制它,只需\noindent
在你的文本前给出,即
\documentclass[a4paper,12pt]{book}
\usepackage[utf8]{inputenc}
\usepackage{graphicx}
\usepackage[final]{pdfpages}
\usepackage[italian]{babel}
\usepackage[margin=2cm]{geometry}
\usepackage{amsmath,amsthm,amssymb}
\usepackage{siunitx}
\usepackage{tocloft}
\usepackage{setspace}
%\usepackage[fontsize=14pt]{scrextend} Nel caso volessi aumentare la dimensione dei caratteri globalmente.
\setboolean{@twoside}{false}
%\doublespacing %nel caso volessi aumentare di due linee lo spacing
\onehalfspacing
\newtheorem*{FondTheorem}{Teorema}
\begin{document}
\chapter{Presentazione del modello}
Tuttavia, resta da determinare la "giusta" trasformazione di stato $T(x)$. A tal fine si introducono, brevemente, alcuni importanti strumenti matematici.
\begin{FondTheorem}
Il sistema non lineare
\begin{equation*}
\begin{cases}
&\dot{x} = f(x) + g(x)u\\
&y=h(x)
\end{cases}
\end{equation*}
dove $f$ e $g$ sono campi vettoriali di classe $C^{\infty}$, si dice input-state linearizzabile se, e solo se, esiste una regione $\Omega$ tale che:
\begin{itemize}
\item i campi vettoriali $\left\lbrace g,ad_{f} \; g, \dots, ad_{f}^{n-1} \; g\right\rbrace$ sono linearmente indipendenti in $\Omega$
\item l'insieme $\left\lbrace g,ad_{f} \; g, \dots, ad_{f}^{n-2} \; g\right\rbrace$ è involutivo
\end{itemize}
\end{FondTheorem}
\noindent In base ai risultati visti è possibile ricavare una procedura per effettuare la input-state linearization, del sistema non lineare in esame, riassumibile nei seguenti passi:
\end{document}
给予: