查看“︁水平線測試”︁的源代码

{{Unreferenced|time=2014-10-29T14:05:44+00:00}}
在[[數學]]裡，'''水平線測試'''為一測試方法，用來判斷一[[函數]]是否為[[單射]]、[[滿射]]或[[雙射]]。

設一帶有[[函數圖形|图像]]的函數為''f''&nbsp;:&nbsp;'''X'''&nbsp;→&nbsp;'''Y'''，接著使用'''X''' x '''Y'''上的水平線
:<math>y_0 \in Y,\ \{(x,y_0): x \in X\} = (X \times y_0) </math>。

*若函數為單射，則其图像絕不會和任何一條水平線相交超過一次。
*若函數為滿射，則每一水平線和图像至少相交一次。
*若函數為雙射，則每一水平線和图像相交於一點且只有一點。
{| border="1"
|-
| align="center"|[[File:Horizontal-test-ok.png]]<br>
測試通過（單射）
| align="center"|[[File:Horizontal-test-fail.png]]<br>
測試失敗（非單射）
|}

==相关条目==

*[[垂线测试]]
*[[函数图像]]

{{Math-stub}}

[[Category:集合論基本概念|S]]