Genelliği kaybetmeden

Vikipedi, özgür ansiklopedi

Genelliği kaybetmeden veya daha az kullanılan şekliyle genellikten hiç kayıp vermeden, matematikte sıkça kullanılan bir deyimdir. Bu deyim önermenin örneklem kümesini daraltarak analizin kapsamını küçülten bir ispat geliştirirken, bir varsayımdan önce kullanılır; ispatın bu altkümedeki geçerliliğinin tüm kümeye genelleştirilebileceğini ima eder. Böylece önermenin kaynak kümesinin bir altkümesinde gerçekleştirilen bir "alt-ispat"tan elde edilen sonuçların anaküme için de geçerli olacağını ifade eder.

Bu durum genelde ~~simetri~~ bakışımlılık gerektirir. Örneğin, x ve y şeklinde iki sayımız olsun ve x < y olduğu bilinsin; bu durumda bu varsayıma dayanarak ispat edilen tüm ilişkiler tamamlayıcı durum olan y < x için de geçerli olacaktır, zira x ve y nin rolleri değişmiştir, fakat ispat bu iki değişkende bakışımlıdır. Başka bir deyişle P(x, y)'nin doğru olduğu sonucuna ancak ve ancak P(y, x) doğru ise ulaşabiliyorsak, o halde genelliği kaybetmeden P(x, y) 'nin doğru olduğunu göstermemiz yeterlidir, zira bakışım gereği P(y, x) sonucumuzu takip edecektir. Bu bağlamda, P bakışımlıdır (simetriktir).

Genelliği kaybetmeden deyiminden sonra bir varsayım gelmelidir. Genelliğin kaybolmadığını denetlemek için ispatın tamamını yazar (kaynak kümesini daraltılmış bir varsayım yapmadan) ve ispatın tüm kümede geçerli olup olmayacağına bakarız.

[değiştir] Örnek

Aşağıdaki kuramı inceleyelim (Ramsey'in kuramının en basit hali ve ayrıca Dirichlet'in güvercin yuvası ilkesinin bir örneğidir):

Üç cisimden her biri ya kırmızıya ya da maviye boyanmıştır; o halde rengi aynı olan iki cisim olmalıdır.

İspat:

Genelliği kaybetmeden ilk cismin kırmızı olduğunu varsayalım. Eğer kalan iki cisimden herhengi biri kırmızı ise işimiz bitmiştir; eğer değilse kalan iki cisim mavidir ve dolayısıyla yine işmiz bitmiştir.

Tam ispata tüm permütasyonların dökümüyle başlayalım, K ile başlayanları M ile başlayanlardan ayıralım:

KKK
KKM
KMK
KMM
MKK (4'ün tersi)
MKM (3'ün tersi)
MMK (3'ün tersi)
MMM (1'in tersi)

Toplamda, beklediğimiz gibi 8 tanedirler (2 × 2 × 2). Şimdi görüyoruz ki ayrık listeler varsayımımız altında birbirlerine denktirler (ilk yarıdakilerde K ve M'nin yerlerini değiştirerek ikinci yarıdakileri elde edebiliyoruz, ve tersi), o halde varsayımımızı sadece K ile başlayan yarı üzerinde denememiz yeterlidir.

Daha kısa olan listeyi tarayarak (1-4 arası permütasyonlar) her defasında aynı renkte olan iki cisim olduğunu görebiliriz. 1-3 arası permütasyonlarda ilkinden sonra en az bir cismin kırmızı olduğunu görüyoruz, ve 4. permütasyonda da son iki cisim mavi.

Önermemizi kısıtlandırma işlemini yaparken dikkat ettiğimiz iki nokta;