\newtheorem 환경 내 항목별 환경 후 들여쓰기

\newtheorem 환경 내 항목별 환경 후 들여쓰기

\newtheorem 환경 안에 있는 itemize 환경 다음에 "일반 텍스트"를 들여쓰기하지 않는 방법을 알 수 없습니다. 기본적으로 나는 내가 작성한 두 가지 정리 뒤에 장의 나머지 부분을 포함하는 새 단락을 만들려고 합니다. 이것은 내 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정리에 no가 있으면 텍스트는 같은 방식으로 들여쓰기됩니다. itemize여기서는 관련이 없습니다. 나는 이것을 보여주기 위해 두 정리 진술 사이에 텍스트를 추가했습니다.

괜찮아요! 들여쓰기가 맞습니다! 어쩌면 목록으로 명령문을 끝내는 것을 피할 수도 있습니다.

내 생각에 두 번째 진술은 정리가 아니라 정의이지만 판단자는 당신입니다.

귀하의 코드를 일부 수정했습니다. 한번 살펴보시기 바랍니다. 특히,

  1. \newtheorem*모든 정리 전에 수행할 필요는 없습니다 .
  2. TeX는 모든 세트 표시에 대해 \left\lbrace입력 해야 한다면 매우 열악한 시스템이 될 것입니다 .\right\rbrace
  3. 나는 내 인생에서 단지 몇 번만 사용했다고 생각하며 \;(물론 그 이상일 수도 있지만 단지 여러분에게 아이디어를 제공하기 위해) 1988년부터 TeX/LaTeX를 사용해 왔습니다. 필요한 것은 연산자를 정의하는 것이므로 간격이 자동으로 적용됩니다.
  4. ``따옴표는 and 이어야 하며 ''절대로 사용하지 마십시오."
\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}

기부:

여기에 이미지 설명을 입력하세요

관련 정보