查看“原像”的源代码

[[映射||(集合论)]] $f \colon X \to Y$ 下,
[[子集]] $A \subset Y$ 的\textbf{原像}
是 $X$ 中所有被 $f$ 映到 $A$ 的元素构成的集合,
通常记为 $f^{-1} (A)$.

== 定义 ==

\begin{definition}[原像]
    设 $f \colon X \to Y$ 是[[集合]]间的[[映射||(集合论)]].
    \begin{itemize}
        \item
            [[子集]] $A \subset Y$ 在 $f$ 下的\textbf{原像}是
            $X$ 的子集
            \[
                f^{-1} (A) =
                \{ x \in X \mid f (x) \in A \}.
            \]
        \item
            [[元素]] $y \in Y$ 在 $f$ 下的\textbf{原像}是
            $X$ 的子集
            \[
                f^{-1} (y) =
                \{ x \in X \mid f (x) = y \}.
            \]
    \end{itemize}
\end{definition}

== 性质 ==

(\ldots)

== 相关概念 ==

* [[像]]
* [[纤维]]

{{ Transbox
    | {{ Translist
        | title = 原像
        | en = preimage
        | fr = préimage {{NounGender|f}}
        | de = Urbild {{NounGender|n}}
        | grc = προείκων {{NounGender|f}}
        | la = praeimago {{NounGender|f}}
    }}
}}

[[分类:集合论]]