Einrückung nach itemize-Umgebung innerhalb der \newtheorem-Umgebung

Einrückung nach itemize-Umgebung innerhalb der \newtheorem-Umgebung

Ich kann nicht herausfinden, wie ich einen „normalen Text“ nach einer Itemize-Umgebung, die sich innerhalb einer \newtheorem-Umgebung befindet, nicht einrücken kann. Im Grunde versuche ich, nach den beiden Theoremen, die ich geschrieben habe, einen neuen Absatz zu erstellen, der den Rest des Kapitels enthält. Dies ist meine 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}

Dies ist das Kapitel, in dem das Problem auftritt (siehe %TODOim folgenden Code)

\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...

Das ist, was ich bekomme das ist, was ich bekomme

Antwort1

itemizeWenn Sie im Theorem keins haben , wird der Text auf die gleiche Weise eingerückt: das itemizehat hier keine Relevanz. Um dies zu zeigen, habe ich zwischen den beiden Theoremaussagen etwas Text hinzugefügt.

Keine Sorge! Der Einzug ist richtig! Vielleicht könnte man es vermeiden, eine Anweisung mit einer Aufzählung zu beenden.

Mein Eindruck ist, dass es sich bei der zweiten Aussage eher um eine Definition als um einen Lehrsatz handelt, aber das entscheiden Sie selbst.

Ich habe einige Korrekturen an Ihrem Code vorgenommen: Bitte sehen Sie sie sich an. Insbesondere

  1. das muss man nicht \newtheorem*vor jedem Theorem machen;
  2. TeX wäre ein sehr schlechtes System, wenn man für jede festgelegte Bezeichnung „ \left\lbraceund“ eingeben müsste;\right\rbrace
  3. Ich glaube, ich habe es nur ein paar Mal in meinem Leben verwendet \;(naja, vielleicht auch öfter, aber nur um Ihnen eine Vorstellung zu geben), und ich verwende TeX/LaTeX seit 1988. Sie müssen einen Operator definieren, damit die Leerzeichen automatisch erfolgen.
  4. Anführungszeichen sollten ``und sein '', niemals"
\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}

Bildbeschreibung hier eingeben

Antwort2

Der Text ist, soweit ich das beurteilen kann, korrekt ausgerichtet. Da das Theorem eine in sich geschlossene „absatzähnliche“ Umgebung ist, wird beim Eintippen von Text darunter ein neuer Absatz begonnen, der die Einrückung ergibt.

Wenn Sie es unterdrücken möchten, geben Sie einfach \noindentvor Ihrem Text ein, dh

\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}

Geben:

Bildbeschreibung hier eingeben

verwandte Informationen