Her iki terim de iki küme arasındaki elemanların nasıl eşleştirildiğini tanımlasa da, denklemin farklı yönlerini ele alırlar. Bire bir (enjektif) fonksiyonlar, girdilerin benzersizliğine odaklanarak hiçbir iki yolun aynı hedefe ulaşmamasını sağlarken, örten (sürjektif) fonksiyonlar ise her olası hedefe gerçekten ulaşılmasını sağlar.
Her benzersiz girdinin ayrı ve benzersiz bir çıktı ürettiği bir eşleme.
Hedef kümedeki her elemanın en az bir girdiyle kapsandığı bir eşleme.
| Özellik | Birebir (Enjeksiyon) | Üzerine (Sürtünmeli) |
|---|---|---|
| Resmi Adı | Enjeksiyon | Sürjektif |
| Temel Gereksinim | Benzersiz girdiler için benzersiz çıktılar | Hedef kümesinin tam kapsamı |
| Yatay Çizgi Testi | Geçmesi gerekir (en fazla bir kez kesişir) | En az bir kez kesişmelidir. |
| İlişki Odaklılık | Münhasırlık | Kapsayıcılık |
| Küme Boyutu Kısıtlaması | Alan ≤ Eşalan | Alan ≥ Eşalan |
| Paylaşılan Çıktılar? | Kesinlikle yasak | İzin verilen ve yaygın |
Bire bir fonksiyon, her masanın tam olarak bir grup için ayrıldığı lüks bir restorana benzer; asla iki farklı grubun aynı masayı paylaştığını görmezsiniz. Matematiksel olarak, eğer $f(a) = f(b)$ ise, $a$, $b$'ye eşit olmalıdır. Bu münhasırlık, bu fonksiyonların 'geri alınmasına' veya tersine çevrilmesine olanak tanır.
Onto fonksiyonu, hedef kümesinde hiçbir taşın yerinde kalmamasına daha çok önem verir. Her koltuğun en az bir kişi tarafından işgal edilmesi gereken bir otobüs hayal edin. İki kişinin aynı bankta oturması (çoktan bire ilişki) önemli değil, yeter ki otobüste tek bir boş koltuk kalmasın.
Bir eşleme diyagramında, bire bir ilişki, tek noktalara işaret eden tek oklarla gösterilir; hiçbir iki ok asla birleşmez. Örtücü bir fonksiyon için, ikinci çemberdeki her noktaya en az bir ok işaret etmelidir. Bir fonksiyon hem örten hem de birebir eşleme olabilir; matematikçiler buna bire bir eşleme derler.
Standart bir grafikte, bire bir ilişkiyi test etmek için yatay bir çizgiyi yukarı ve aşağı kaydırırsınız; eğer çizgi eğriye birden fazla kez çarparsa, fonksiyon bire bir değildir. 'Üstün' ilişkiyi test etmek ise, grafiğin dikey aralığının, amaçlanan aralığın tamamını boşluksuz bir şekilde kapsadığından emin olmayı gerektirir.
Tüm fonksiyonlar ya bire bir ya da örten fonksiyonlardır.
Birçok fonksiyon ne birebir ne de örten değildir. Örneğin, $f(x) = x^2$ (tüm gerçek sayılardan tüm gerçek sayılara) bire bir değildir çünkü $2$ ve $-2$'nin her ikisi de $4$ sonucunu verir ve örten de değildir çünkü asla negatif sayılar üretmez.
Bire bir ilişki, fonksiyonla aynı anlama gelir.
Bir fonksiyonun yalnızca her girdinin bir çıktıya sahip olması yeterlidir. Bire bir ilişki, iki girdinin aynı çıktıyı paylaşmasını engelleyen ek bir 'kesinlik' katmanıdır.
Onto yalnızca formüle bağlıdır.
Örtük fonksiyon, hedef kümesini nasıl tanımladığınıza büyük ölçüde bağlıdır. Eğer hedefi 'tüm pozitif sayılar' olarak tanımlarsanız, $f(x) = x^2$ fonksiyonu örtük fonksiyondur; ancak hedef 'tüm gerçek sayılar' ise örtük fonksiyon başarısız olur.
Bir fonksiyon örten ise, tersine çevrilebilir olmalıdır.
Tersine çevrilebilirlik, bire bir ilişki gerektirir. Bir fonksiyon örten ise ancak bire bir ilişki değilse, hangi çıktıyı elde ettiğinizi biliyor olabilirsiniz, ancak onu oluşturan birden fazla girdiden hangisinin olduğunu bilemezsiniz.
Her sonucun belirli ve benzersiz bir başlangıç noktasına kadar izlenebildiğinden emin olmanız gerektiğinde bire bir eşleme kullanın. Amacınız bir sistemdeki her olası çıktı değerinin kullanıldığından veya elde edilebildiğinden emin olmaksa, üzerine eşleme seçin.
Açı ve eğim, bir doğrunun "dikliğini" nicel olarak ifade eder, ancak farklı matematiksel diller kullanırlar. Açı, kesişen iki doğru arasındaki dairesel dönüşü derece veya radyan cinsinden ölçerken, eğim dikey "yükselişi" yatay "koşuya" göre sayısal bir oran olarak ölçer.
Aritmetik ortalama, her veri noktasını nihai ortalamaya eşit katkıda bulunan bir unsur olarak ele alırken, ağırlıklı ortalama farklı değerlere belirli önem düzeyleri atar. Bu ayrımı anlamak, basit sınıf ortalamalarının hesaplanmasından, bazı varlıkların diğerlerinden daha önemli olduğu karmaşık finansal portföylerin belirlenmesine kadar her şey için çok önemlidir.
Özünde, aritmetik ve geometrik diziler, bir sayı listesini büyütmenin veya küçültmenin iki farklı yoludur. Aritmetik bir dizi, toplama veya çıkarma yoluyla sabit, doğrusal bir hızda değişirken, geometrik bir dizi çarpma veya bölme yoluyla üstel olarak hızlanır veya yavaşlar.
Asal çarpanlara ayırma, bileşik bir sayıyı temel yapı taşları olan asal sayılara ayırma matematiksel hedefidir; çarpan ağacı ise bu sonucu elde etmek için kullanılan görsel, dallanan bir araçtır. Biri nihai sayısal ifade iken, diğeri onu ortaya çıkarmak için kullanılan adım adım yol haritasıdır.
Bu karşılaştırma, doğal sayıların iki temel kategorisi olan asal ve bileşik sayıların tanımlarını, özelliklerini, örneklerini ve aralarındaki farkları açıklayarak, bu sayıların nasıl belirlendiğini, çarpanlara ayırma işleminde nasıl davrandıklarını ve temel sayı teorisinde bunları tanımanın neden önemli olduğunu ortaya koymaktadır.
