Boş fonksiyon: Revizyonlar arasındaki fark

Vikipedi, özgür ansiklopedi
[kontrol edilmiş revizyon][kontrol edilmiş revizyon]
İçerik silindi İçerik eklendi
SiLveRLeaD (mesaj | katkılar)
böyle de güzel bir şey varmış
SiLveRLeaD (mesaj | katkılar)
dz
5. satır: 5. satır:
Boş bir [[Fonksiyon grafiği|fonksiyonun grafiği]], {{math|∅ × ''A''}} [[kartezyen çarpım]]ının [[alt kü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.
Boş bir [[Fonksiyon grafiği|fonksiyonun grafiği]], {{math|∅ × ''A''}} [[kartezyen çarpım]]ının [[alt kü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ümesi]]ne referans olan bir tanım tercih edilir.
Ç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ümesi]]ne referans olan bir tanım tercih edilir.


== Kaynakça ==
== Kaynakça ==

Sayfanın 14.39, 24 Ocak 2017 tarihindeki hâli

Boş fonksiyon, matematikte, tanım kümesi boş küme olan fonskiyon türü. Her A kümesi için böyle bir fonksiyon vardır.

Boş bir fonksiyonun grafiği, ∅ × A 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 x için, değer kümesi A 'da (x, y) ∈ ∅ × A olan benzersiz bir y vardır. Bu ifade, tanım kümesinde x 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).