Soyut Matematik: Fonksiyonlar ve Temel Kavramlar

Soyut matematik kavramlarından fonksiyonlar, matematiğin en temel yapı taşlarından biridir. Fonksiyonlar, iki küme arasındaki özel bir eşleştirme türüdür. A ve B gibi iki küme arasında tanımlanan f: A→B bağıntısında, A kümesindeki her eleman B kümesinden yalnızca bir elemanla eşleşiyorsa, bu bağıntıya fonksiyon denir. Burada A kümesine tanım kümesi, B kümesine ise değer kümesi adı verilir.

Tanım: Fonksiyon olabilmesi için gerekli şartlar:

1. Tanım kümesinde açıkta eleman kalmamalı
2. Her eleman yalnız bir elemanla eşleşmeli

Fonksiyonların özel türleri vardır. Birim fonksiyon, her elemanı kendisiyle eşleştiren fonksiyondur. Sabit fonksiyon ise tanım kümesindeki tüm elemanları değer kümesinin aynı elemanıyla eşleştirir. Çift ve tek fonksiyonlar ise simetri özelliklerine göre sınıflandırılır.

Fonksiyonlarda Birebir ve Örten Kavramları

Soyut Matematik konuları arasında önemli bir yere sahip olan birebir ve örten fonksiyonlar, fonksiyonların özel durumlarını tanımlar. Birebir fonksiyon, tanım kümesinin farklı elemanlarını değer kümesinin farklı elemanlarıyla eşleştiren fonksiyondur.

Örnek: f$x$ = x² fonksiyonu IR⁺'de birebir iken, IR'de birebir değildir. Çünkü f(2) = f$-2$ = 4 olduğundan farklı elemanlar aynı değeri alır.

Örten fonksiyon ise değer kümesindeki her elemanın en az bir elemanla eşleştiği fonksiyondur. Bir fonksiyonun hem birebir hem örten olması, o fonksiyonun bire bir ve örten (bijektif) olduğunu gösterir.

Kartezyen Çarpım ve Bağıntılar

Soyut matematik dersinde kartezyen çarpım, iki kümenin elemanlarını sıralı ikililer halinde eşleştiren bir işlemdir. A×B şeklinde gösterilir ve koordinat sisteminin temelini oluşturur.

Vurgu: Kartezyen çarpımda sıra önemlidir: A×B ≠ B×A

Kartezyen çarpım grafikleri üç farklı şekilde karşımıza çıkar:

1. İki sonlu kümenin kartezyen çarpımı: Noktalardan oluşan grafik
2. Bir küme ve bir aralığın kartezyen çarpımı: Çubuklardan oluşan grafik
3. İki aralığın kartezyen çarpımı: İçi taralı dikdörtgen bölge

Bağıntılar ve Fonksiyonel İlişkiler

Soyut Matematik 1 konuları içinde bağıntılar, kümeler arasındaki ilişkileri tanımlayan temel yapılardır. Her fonksiyon bir bağıntıdır ancak her bağıntı bir fonksiyon değildir.

Tanım: Bağıntı, iki küme arasındaki elemanların birbirleriyle olan ilişkilerini gösteren matematiksel bir yapıdır.

Bağıntıların fonksiyon olabilmesi için özel şartları sağlaması gerekir. Bu şartlar, tanım kümesindeki her elemanın değer kümesinden yalnızca bir elemanla eşleşmesi ve tanım kümesinde açıkta eleman kalmamasıdır.

Tam Sıralama Bağıntısı ve Poset Kavramı

Bu sayfada tam sıralama bağıntısı tanımlanmış ve kısmi sıralı kümelerde (poset) minimum ve maksimum eleman kavramları açıklanmıştır.

Tanım: Tam sıralama bağıntısı, kısmi sıralı bir kümede her iki eleman arasında karşılaştırma yapılabilmesini sağlayan bağıntıdır.

Tanım: Poset'te (kısmi sıralı küme) minimum eleman, kümenin tüm elemanlarından küçük veya eşit olan elemandır. Maksimum eleman ise kümenin tüm elemanlarından büyük veya eşit olan elemandır.

Teorem: Kısmi sıralı bir kümenin maksimum ya da minimum elemanı varsa, bu eleman tektir.

Bu teoremin ispatı da verilmiştir.

Poset ve Sıralama İlişkileri

Bu son sayfada, kısmi sıralı kümelerde (poset) sıralama ilişkileri ve özel elemanlar hakkında daha fazla bilgi verilmiştir.

Tanım: Bir poset'te, alt kümenin tüm elemanlarından küçük olan elemana o alt kümenin minimum elemanı, tüm elemanlarından büyük olan elemana ise maksimum elemanı denir.

Önemli notlar:

• Maksimum ve minimum elemanlar her zaman bulunmak zorunda değildir.
• Maksimum ve minimum elemanlar kümeye ait olmak zorundadır.

Teorem: Kısmi sıralı bir kümenin maksimum ya da minimum elemanı varsa, bu eleman tektir.

Bu teoremin ispatı detaylı olarak açıklanmıştır. İspat, varsayım ve çelişki yöntemi kullanılarak yapılmıştır.

Fonksiyonlar

Bu bölümde fonksiyonların temel tanımı ve özellikleri açıklanmıştır. Fonksiyon kavramı, tanım kümesi ve değer kümesi arasındaki ilişki üzerinden anlatılmıştır.

Tanım: Fonksiyon, A tanım kümesindeki her elemanı B değer kümesindeki yalnız bir elemanla eşleştiren bir bağıntıdır.

Fonksiyon olma koşulları şu şekilde belirtilmiştir:

1. Tanım kümesinde açıkta eleman kalmamalı
2. Tanım kümesindeki her eleman değer kümesinden yalnız bir elemanla eşleşmeli

Örnek: A = {a, b, c}, B = {1, 2, 3} kümeleri için verilen bağıntılardan hangilerinin fonksiyon olduğu incelenmiştir.

Ayrıca, birim fonksiyon ve sabit fonksiyon gibi özel fonksiyon türleri tanımlanmıştır.

Tanım: Eğer f$x$ = x ise birim fonksiyon, f$x$ = b (sabit bir değer) ise sabit fonksiyon denir.