☰

Отступ после itemize environment внутри \newtheorem environment

tag-icon • tag-icon amsmath itemize
Отступ после itemize environment внутри \newtheorem environment

Я не могу понять, как не делать отступ для "обычного текста" после окружения 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. TeX был бы очень плохой системой, если бы приходилось вводить \left\lbraceи \right\rbraceдля каждого обозначения набора;
  3. Я полагаю, что пользовался TeX \;/LaTeX всего несколько раз в своей жизни (ну, может быть, больше, но просто чтобы дать вам представление), а я использую TeX/LaTeX с 1988 года; все, что вам нужно, это определить оператор, чтобы интервалы ставились автоматически;
  4. кавычки должны быть ``и '', никогда"
\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}

Давать:

введите описание изображения здесь

Связанный контент