Boş fonksiyon: Revizyonlar arasındaki fark

'''Boş fonksiyon''', matematikte[[matematik]]te [[tanım kümesi]] [[boş küme]] {{math|∅}} olan [[fonskiyon]] türü. Her {{math|''A''}} kümesi için böyle bir küme vardır.

Boş bir [[Fonksiyon grafiği|fonksiyonun grafiği]], {{math|∅ × ''A''}} [[kartezyen çarpımınınçarpım]]ının [[alt kümesidirküme]]sidir. Ç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 {{math|''x''}} için, [[değer kümesi]] {{math|''A''}} 'da {{math|(''x'', ''y'') ∈ ∅ × ''A''}} olan benzersiz bir {{math|''y''}} vardır. Bu ifade, tanım kümesinde {{math|''x''}} olmadığı için [[anlamsız kabul]] örneğidir.

"[[Sabit fonksiyon]]" terimini tanımlarken çoğu yazar, 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ümesinekümesi]]ne referans olan bir tanım tercih edilir.