满射維基百科,自由的 encyclopedia 满射或蓋射(英語:surjection、onto),或稱满射函数或映成函數,一个函数 f : X → Y {\displaystyle f:X\rightarrow Y} 为满射,則对于任意的陪域 Y {\displaystyle Y} 中的元素 y {\displaystyle y} ,在函数的定义域 X {\displaystyle X} 中存在一點 x {\displaystyle x} 使得 f ( x ) = y {\displaystyle f(x)=y} 。换句话说, f {\displaystyle f} 是满射時,它的值域 f ( X ) {\displaystyle f(X)} 与陪域 Y {\displaystyle Y} 相等,或者,等价地,如果每一个陪域中的元素 y ∈ Y {\displaystyle y\in Y} 其原像 f − 1 ( y ) ⊆ X {\displaystyle f^{-1}(y)\subseteq X} 不等於空集合。
满射或蓋射(英語:surjection、onto),或稱满射函数或映成函數,一个函数 f : X → Y {\displaystyle f:X\rightarrow Y} 为满射,則对于任意的陪域 Y {\displaystyle Y} 中的元素 y {\displaystyle y} ,在函数的定义域 X {\displaystyle X} 中存在一點 x {\displaystyle x} 使得 f ( x ) = y {\displaystyle f(x)=y} 。换句话说, f {\displaystyle f} 是满射時,它的值域 f ( X ) {\displaystyle f(X)} 与陪域 Y {\displaystyle Y} 相等,或者,等价地,如果每一个陪域中的元素 y ∈ Y {\displaystyle y\in Y} 其原像 f − 1 ( y ) ⊆ X {\displaystyle f^{-1}(y)\subseteq X} 不等於空集合。