Выравнивание кусочных функций и математики определения функций

Question

Я не уверен, как выровнять следующее, чтобы оно \mathbb{N}было выровнено с nв f(n). Я пробовал \begin{align*}, но это просто дало мне кучу ошибок. Любая помощь будет высоко оценена!

It suffices to show that $\mathbb{Z}\preceq \mathbb{N}$.
\\* Define $f : \mathbb{N}\longrightarrow \mathbb{Z}$ by \[
f(n) =
\begin{cases}
k &\text{if } n=2k \text{ for } k\in \mathbb{Z},\\
-k &\text{if } n=2k+1 \text{ for } k\in \mathbb{Z}.
\end{cases}
\]

Answer 1

Результат получился ужасным.

\documentclass{article}
\usepackage{amsmath,amssymb}
\begin{document}
It suffices to show that $\mathbb{Z}\preceq \mathbb{N}$.
\[
\begin{array}{@{} r @{} c @{} l @{} }
\text{Define }f \colon &\mathbb{N} & {} \longrightarrow \mathbb{Z} \text{ by}\\[1ex]
&f(n) &{}=\displaystyle
\begin{cases}
k &\text{if } n=2k \text{ for } k\in \mathbb{Z},\\
-k &\text{if } n=2k+1 \text{ for } k\in \mathbb{Z}.
\end{cases}
\end{array}
\]
\end{document}

Пожалуйста, сделайте одолжение своим читателям и сделайте это традиционным способом:

\documentclass{article}
\usepackage{amsmath,amssymb}
\begin{document}
It suffices to show that $\mathbb{Z}\preceq \mathbb{N}$.
Define $f \colon\mathbb{N} \to \mathbb{Z}$ by
\[
f(n)=
\begin{cases}
k &\text{if } n=2k \text{ for } k\in \mathbb{Z},\\
-k &\text{if } n=2k+1 \text{ for } k\in \mathbb{Z}.
\end{cases}
\]
\end{document}

Я бы избегал использованияк, говоря с математической точки зрения:

\documentclass{article}
\usepackage{amsmath,amssymb}
\begin{document}
It suffices to show that $\mathbb{Z}\preceq \mathbb{N}$.
Define $f \colon\mathbb{N} \to \mathbb{Z}$ by
\[
f(n)=
\begin{cases}
\hphantom{-}\dfrac{n}{2} &\text{if $n\in\mathbb{N}$ is even},\\[2ex]
-\dfrac{n-1}{2} &\text{if $n\in\mathbb{N}$ is odd}.
\end{cases}
\]
\end{document}