İçeriğe atla

Boş fonksiyon

Boş fonksiyon, matematikte, tanım kümesi boş küme olan fonksiyon 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).

İlgili Araştırma Makaleleri

<span class="mw-page-title-main">Türev</span> Fonksiyonun grafiğine çizilen teğetin eğimini hesaplama tekniğidir.

Matematikte türev, bir fonksiyonun tanımlı olduğu herhangi bir noktada değişim yönünü veya hızını veren temel bir kavramdır. Tek değişkenli bir fonksiyonun tanım kümesinin belli bir noktasında türevi, fonksiyonun grafiğine bu noktada karşılık gelen değerde çizilen teğet doğrunun eğimidir. Teğet doğru, tanım kümesinin bu noktasında fonksiyonun en iyi doğrusal yaklaşımıdır. Bu nedenle türev genellikle anlık değişim oranı ya da daha açık bir ifadeyle, bağımlı değişkendeki anlık değişimin bağımsız değişkendeki anlık değişime oranı olarak tanımlanır. Bir fonksiyonun türevini teorik olarak bulmaya türev alma denilir. Eğer bir fonksiyonun tanım kümesindeki her değerinde hesaplanan türev değerlerini veren başka bir fonksiyon varsa, bu fonksiyona eldeki fonksiyonun türevi denir.

Fonksiyon, matematikte değişken sayıları girdi olarak kabul edip bunlardan bir çıktı sayısı oluşmasını sağlayan kurallardır. Fonksiyon, 17. yüzyılda matematiğin kavramlarından biri olmuştur. Fizik, mühendislik, mimarlık ve birçok alanda kullanılmaktadır. Galile, Kepler ve Newton hareketlerin araştırılmasında, zaman ve mesafe arasındaki durumu incelemek için fonksiyonlardan faydalanmıştır. Dört işlemden sonra gelen bir işlem türüdür.

Eğer bir kümeyse, kümesinden kümesine giden bir fonksiyona kümesi üzerine ikili işlem denir. İkili işlemi olarak gösterirsek, yerine genellikle , , ya da daha yaygın olarak yazmak bir gelenek halini almıştır. Burada önemli olan, her için, işlemin sonucu olan elemanının yine kümesinde olmasıdır, yoksa ikili bir işlemden söz edemeyiz. Örneğin, ise, işlemi bu küme üzerinde ikili bir işlem değildir. Örneğin, bir doğal sayı değildir. Öte yandan olarak tanımlanan işlem doğal sayılar kümesi üzerine ikili bir işlemdir.

Bileşke fonksiyon, matematikte bir işlevdir.

<span class="mw-page-title-main">Küme</span> matematiksel anlamda tanımsız bir kavramdır. Bu kavram "nesneler topluluğu veya yığını" olarak yorumlanabilir.

Küme, matematikte farklı nesnelerin topluluğu veya yığını olarak tanımlanmaktadır. Bu tanımdaki "nesne" soyut ya da somut bir şeydir. Fakat her ne olursa olsun iyi tanımlanmış olan bir şeyi, bir eşyayı ifade etmektedir. Örneğin, "Tüm canlılar topluluğu", "Dilimiz alfabesindeki harflerin topluluğu", "Masamın üzerindeki tüm kâğıtlar" tümcelerindeki nesnelerin anlaşılabilir, belirgin oldukları, kısaca iyi tanımlı oldukları açıkça ifade edilmektedir. Dolayısıyla bu tümcelerin her biri bir kümeyi tarif etmektedir. O halde, matematikte "İyi tanımlı nesnelerin topluluğuna küme denir." biçiminde bir tanımlama yapılmaktadır.

<span class="mw-page-title-main">Tanım kümesi</span> işlevin tanımlandığı "giriş" veya bağımsız değişken değerleri kümesi

Matematikte verilmiş bir fonksiyonun tanım kümesi, fonksiyonun tanımlı olduğu "girdi" değerlerinin oluşturduğu kümedir. Örneğin, kosinüsün tanım kümesi gerçel sayılar olurken karekök fonksiyonunun tanım kümesi 0 ve 0'dan büyük sayıların oluşturduğu negatif olmayan gerçel sayılar kümesidir. Fonksiyonun xy Kartezyen koordinat sistemindeki temsilinde, tanım kümesi x-ekseni (apsis) ile temsil edilir.

<span class="mw-page-title-main">Görüntü kümesi</span>

Matematikte görüntü kümesi bir fonksiyonun tüm girdi değerlerinin kümesinin veya daha kesin bir söylemle tanım kümesinin tüm elemanlarının fonksiyon tarafından gönderildiği kümedir.

<span class="mw-page-title-main">Değer kümesi</span> matematiksel bir fonksiyonun hedef kümesi

Matematikte verilmiş bir fonksiyonun değer kümesi, fonksiyonun tanımlı olduğu "çıkış" değerlerinin oluşturduğu kümedir. Örneğin, kosinüsün değer kümesi [-1; 1] gerçel sayılar aralığıyken gerçel sayılarda karekök fonksiyonunun değer kümesi bütün gerçel sayılardır. Fonksiyonun xy Kartezyen koordinat sistemindeki temsilinde değer kümesi y-ekseniyle (ordinat) temsil edilir.

Fonksiyonlar, sahip oldukları özelliklere göre sınıflandırılabilir.

Matematikte tersholomorf fonksiyonlar holomorf fonksiyonlara oldukça yakın ancak yine de onlardan ayrı olan fonksiyonlar ailesidir.

Cantor teoremi, kümeler teorisinin başlıca teoremlerindendir. Teorem; boş olmayan herhangi bir X kümesinin kuvvet kümesinin kardinalitesinin, X kümesinin kardinalitesinden büyük olduğunu söyler. P(X) ile kuvvet kümesi gösterilirse, teoreme göre X kümesi ile P(X) arasında birebir eşleme yapılamaz.

<span class="mw-page-title-main">Fonksiyon grafiği</span> bir fonksiyonun (x, f(x)) çiftleri kümesi olarak gösterimi

Matematik'te bir fonksiyon'un grafiği, sıralı çiftlerin kümesidir.

Matematikte doğrusal fonksiyon, her ne kadar bu terimle ile ifade edilse bile aslında şu iki farklı terimle ilgilidir:

<span class="mw-page-title-main">Sabit fonksiyon</span>

Matematikte sabit fonksiyon, her giriş değeri için çıkış değerini daima sabit kaldığı bir fonksiyondur. Örneğin; , bir sabit fonksiyondur. Çünkü, giriş değeri ne olursa olsun  değeri daima 4'tür.

Matematikte, tek fonksiyon ve çift fonksiyon, aralarında simetri ilişki bulunan ve toplamaya göre tersleri olan fonksiyonlardır. Matematiksel analizin birçok alanında, özellikle kuvvet serisi ve Fourier serisinde sıkça kullanılır. Kuvvet fonksiyonunun eş kuvvetlerine göre adlandırılır ve şu şartı şağlar: Eğer n çift tam sayı ise, f(x) = xn, çift fonksiyon; n tek tam sayı ise, fonksiyon tek fonksiyondur.

<span class="mw-page-title-main">Örten fonksiyon</span>

Örten fonksiyon, matematikte, X kümesinden Y kümesine tanımlı bir f fonksiyonunda, X kümesindeki her x elemanı için Y kümesindeki y elemanlarının tamamının olduğu fonksiyon türü. Tanım kümesindeki elemanların tamamı, değer kümesindeki elemanların tamamıyla eşleştiği örten fonksiyonlarda, değer kümesi ile görüntü kümesi birbirine eşittir.

<span class="mw-page-title-main">Birebir örten fonksiyon</span>

Birebir örten fonksiyon, matematikte hem birebir hem örten fonksiyon özelliklerini aynı anda gösteren fonksiyonlardır. İki küme arasındaki fonksiyonda 1.kümeden her bir eleman ikinci kümedeki elemanla eşleşir ve her iki kümeden açıkta eleman kalmaz. Örten fonksiyon görüntü kümesinde boşta eleman kalmayacak şekilde eşleşmenin gerçekleştiği, birebir fonksiyon ise her bir elemanın diğer kümenin bir elmanıyla eşleştiği fonksiyondur. Birebir örten fonksiyonlar ise bu iki fonksiyonun özelliklerine aynı anda sahip olan fonksiyonlardır.

Matematiksel analizde, M metrik uzay olmak üzere, elemanları M 'de olan her Cauchy dizisinin yine M'de bir limiti varsa,veya alternatif olarak, M'deki her Cauchy dizisi yine M'de yakınsaksa M metrik uzayına tam denir.

<span class="mw-page-title-main">Riemann yüzeyi</span>

Matematikte Riemann yüzeyi, özellikle karmaşık analizde bahsi geçen tek boyutlu karmaşık bir manifolddur. Bu yüzey(ler) ilk olarak Bernhard Riemann tarafından incelenmiş ve isimlendirilmiş. Riemann yüzeyleri, karmaşık düzlemin deforme olmuş versiyonları olarak düşünülebilir: her noktanın yakınında karmaşık düzlemin yerel olarak yamaları gibi görünürler, ama topolojisi oldukça farklı olabilmektedir.

<span class="mw-page-title-main">Ölçü (matematik)</span> uzunluk, alan, hacim ve integralin bir genellemesi olarak görülebilecek bir kümenin bazı alt kümelerine sayılar atayan işlev

Matematiksel analizde, küme üzerindeki bir ölçü, bu kümenin her bir uygun alt kümesine bir sayı atamanın sistematik bir yoludur ve sezgisel olarak kümenin boyutu olarak yorumlanır. Bu anlamda ölçü, uzunluk, alan ve hacim kavramlarının bir genellemesidir. Özellikle önemli bir örnek, Öklid geometrisinin geleneksel uzunluğunu, alanını ve hacmini n-boyutlu Öklid uzayının Rn uygun alt kümelerine atayan bir Öklid uzayındaki Lebesgue ölçüsüdür. Örneğin, gerçek sayılardaki [0, 1] aralığının Lebesgue ölçüsü, kelimenin günlük anlamındaki uzunluğudur ve tam olarak 1'dir.