Boş fonksiyon
Boş fonksiyon, matematikte, tanım kümesi boş küme Şablon:Matematik olan fonksiyon türü. Her Şablon:Matematik kümesi için böyle bir fonksiyon vardır.
Boş bir fonksiyonun grafiği, Şablon:Matematik kartezyen çarpımının alt kümesidir. Çarpım boş olduğundan bu tür alt kümeler boş kümedir. Boş alt küme geçerli bir grafiktir, çünkü boş tanım kümesindeki her Şablon:Matematik için, değer kümesi Şablon:Matematik 'da Şablon:Matematik olan benzersiz bir Şablon:Matematik vardır. Bu ifade, tanım kümesinde Şablon:Matematik olmadığı için anlamsız kabul örneğidir.
Çoğu yazar, sabit fonksiyon terimini tanımlarken boş fonksiyonun tanımlı olup olmadığına bakmadan en uygun tanımı kullanır. Bazen, boş fonksiyonun sabit olduğunu düşünmemek en iyisidir ve bu durumlarda görüntü kümesine referans olan bir tanım tercih edilir.
Kaynakça
- Herrlich, Horst and Strecker, George E., Category Theory, Heldermann Verlag (2007).