LaTeX Forum

\usepackage{paralist}

% ....

\newtheoremstyle{plain}% name
  {}%         Space above, empty = `usual value'
  {}%         Space below
  {\itshape}% Body font
  {}%         Indent amount (empty = no indent, \parindent = para indent)
  {\bfseries}% Thm head font
  {.}%        Punctuation after thm head
  {\newline}% Space after thm head: \newline = linebreak
  {}%         Thm head spec
\theoremstyle{plain}
\newtheorem{satz}{Satz}

% ....

\begin{satz}
\begin{compactenum}[(1)]
\item Falls $f : X \rightarrow Y$ eine surjektive, stetige Abbildung ist,\\ so ist f eine Quotientenabbildung, falls es eine offene Abbildung ist.
\item $f : X \rightarrow Y$ sei eine Quotientenabbildung. \\
Dann ist eine Abbildung $g : Y \rightarrow Z$ genau dann stetig, wenn $g \circ f : X \rightarrow Z$ stetig ist.
\item Sei $ f : X \rightarrow Y$ eine Quotientenabbildung und sei $\sim$ als Äquivalenzrelation definiert durch: \\
$x \sim x' \Leftrightarrow f(x) = f(x') auf X$ \\
Dann ist der Quotientenraum [X] homöomorph zu Y.
\end{compactenum}
\end{satz}

% ....

Hallo Zusammen!

Mein Problem ist, dass ich bei meiner eigens definierten und gestylten Theorem-Umgebung "satz" keinen Zeilenumbruch nach der ersten Zeile, welche "Satz 1." sagt, hinbekomme. Ich hätte gerne meine compactenum items (1),(2),... innerhalb dieser Umgebung, genau darunter in der nächsten Zeile.

Aber hier ein kleiner Ausschnitt:

[code]
\usepackage{paralist}

% ....

\newtheoremstyle{plain}% name
{}% Space above, empty = `usual value'
{}% Space below
{\itshape}% Body font
{}% Indent amount (empty = no indent, \parindent = para indent)
{\bfseries}% Thm head font
{.}% Punctuation after thm head
{\newline}% Space after thm head: \newline = linebreak
{}% Thm head spec
\theoremstyle{plain}
\newtheorem{satz}{Satz}

% ....

\begin{satz}
\begin{compactenum}[(1)]
\item Falls $f : X \rightarrow Y$ eine surjektive, stetige Abbildung ist,\\ so ist f eine Quotientenabbildung, falls es eine offene Abbildung ist.
\item $f : X \rightarrow Y$ sei eine Quotientenabbildung. \\
Dann ist eine Abbildung $g : Y \rightarrow Z$ genau dann stetig, wenn $g \circ f : X \rightarrow Z$ stetig ist.
\item Sei $ f : X \rightarrow Y$ eine Quotientenabbildung und sei $\sim$ als Äquivalenzrelation definiert durch: \\
$x \sim x' \Leftrightarrow f(x) = f(x') auf X$ \\
Dann ist der Quotientenraum [X] homöomorph zu Y.
\end{compactenum}
\end{satz}

% ....
[/code]