ฟังก์ชันว่าง

แม่แบบ:ชื่ออื่น ฟังก์ชันว่าง (แม่แบบ:Langx) ในทางคณิตศาสตร์คือฟังก์ชันที่มีโดเมนเป็นเซตว่าง สำหรับแต่ละเซต A จะมีฟังก์ชันว่างเช่นนั้นเพียงหนึ่งเดียวคือ

$f_A:\varnothing \to A$

กราฟของฟังก์ชันว่างคือเซตย่อยของผลคูณคาร์ทีเซียน ∅ × A เนื่องจากผลคูณนี้เป็นเซตว่าง ดังนั้นจึงมีเซตย่อยเพียงเซตเดียวคือเซตว่าง ∅ เซตย่อยที่เป็นเซตว่างนี้เป็นกราฟที่สามารถใช้งานได้ เพราะสำหรับทุกค่า x ในโดเมน ∅ จะมี y เพียงหนึ่งเดียวในโคโดเมน A ที่ทำให้ (x,y) ∈ ∅ สิ่งนี้เป็นตัวอย่างหนึ่งของความจริงว่างเปล่า (vacuous truth) ด้วยเหตุผลว่า ไม่มี x อยู่ในโดเมน

อ้างอิง

• Herrlich, Horst and Strecker, George E.; Category Theory, Allen and Bacon, Inc. Boston (1973).