☰

\newtheorem 環境中 itemize 環境後的縮排

tag-icon • tag-icon amsmath itemize
\newtheorem 環境中 itemize 環境後的縮排

我不知道如何在 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這裡沒有相關性。為了表明這一點，我在兩個定理陳述之間添加了一些文本。

不用擔心！縮排是正確的！也許你可以避免用列表來結束語句。

我的印像是第二個陳述是一個定義，而不是一個定理，但你是法官。

我對您的程式碼做了一些修復：請查看它們。尤其，

  1. 沒有必要\newtheorem*在每個定理之前都做；
  2. 如果必須對每一個設定的符號\left\lbrace進行鍵入，那麼 TeX 將是一個非常糟糕的系統；\right\rbrace
  3. 我相信我一生中只使用過\;幾次（也許更多，但只是為了給您一個想法），並且自 1988 年以來我一直在使用 TeX/LaTeX；你需要的是定義一個運算符，這樣間距就會自動進行；
  4. 引號應該是``and '', never"
\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}

給予：

在此輸入影像描述

相關內容