☰

Recuo após discriminar o ambiente dentro do ambiente \newtheorem

tag-icon • tag-icon amsmath itemize
Recuo após discriminar o ambiente dentro do ambiente \newtheorem

Não consigo descobrir como não recuar algum "texto normal" após um ambiente itemize, que está dentro de um ambiente \newtheorem. Basicamente estou tentando criar um novo parágrafo, contendo o restante do capítulo, após os dois teoremas que escrevi. Este é o meu 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}

Este é o capítulo onde surge o problema (veja %TODOno código a seguir)

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

Isto é o que eu recebo isso é o que eu recebo

Responder1

Se você não tiver nenhum itemizeteorema, o texto será recuado da mesma forma: o itemizenão tem relevância aqui. Adicionei algum texto entre as duas declarações do teorema para mostrar isso.

Não se preocupe! O recuo está certo! Talvez você possa evitar terminar uma declaração com uma lista.

Minha impressão é que a segunda afirmação é uma definição, e não um teorema, mas você é o juiz.

Fiz algumas correções no seu código: por favor, dê uma olhada nelas. Em particular,

  1. não há necessidade de fazer isso \newtheorem*antes de cada teorema;
  2. TeX seria um sistema muito pobre se fosse necessário digitar \left\lbracee \right\rbracepara cada denotação de conjunto;
  3. Acredito que \;só usei algumas vezes na minha vida (bem, talvez mais algumas, mas só para se ter uma ideia) e uso TeX/LaTeX desde 1988; o que você precisa é definir um operador, assim o espaçamento será automático;
  4. aspas devem ser ``e '', nunca"
\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}

insira a descrição da imagem aqui

Responder2

O texto está alinhado corretamente, pelo que posso dizer. Como o teorema é um ambiente "semelhante a um parágrafo" independente, quando você digita texto abaixo dele, ele inicia um novo parágrafo, fornecendo o recuo.

Se você quiser suprimi-lo, basta dar \noindentantes do seu texto, ou seja

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

Dando:

insira a descrição da imagem aqui

informação relacionada