定数関数
↑ 斎藤 (2009, pp. 24–25) は、写像 f: X → Y が定値写像であることを、c ∈ Y として、すべての元 x ∈ X を c ∈ Y にうつす写像と定義した後、空集合の恒等写像も定値写像とよぶ、としており、Bourbaki による定義と一致する。一方、松坂 (1968) の定義では空集合への空写像は定値とならない(松坂 (1968, あとがき 6)) にあるように、本文ではそもそも定義域や終域が空集合となる場合への言及を(実用上は枝葉末節であるという趣旨で)意図的に避けている)。
↑ Carter, John A.; Cuevas, Gilbert J.; Holliday, Berchie; Marks, Daniel; McClure, Melissa S. (2005). “1”. Advanced Mathematical Concepts - Pre-calculus with Applications, Student Edition (1 ed.). Glencoe/McGraw-Hill School Pub Co. p. 22. ISBN 978-0078682278
↑ “Derivative Proofs”. Lamar University (2007年). 2014年1月12日閲覧。
↑ “Zero Derivative implies Constant Function”. 2014年1月12日閲覧。