<!DOCTYPE html>
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p><br>
</p>
<p>Mesajları şimdi okudum. Üye olmadığımdan Turkmath'a doğrudan
yollayamıyorum. Biriniz yollar umarım.<br>
</p>
<p>1) Seçim Aksiyomu düzgün bir lisans eğitiminde bilinmesi gerekir.
Ama biraz fazla uçuk geldiği için pek önemsenmez. En azından benim
deneyimim bu yönde. <br>
</p>
<p>2) Zorn Önsavı Seçim Aksiyomu'ndan çok daha işlevseldir,
özellikle cebirde. Ya da şöyle diyeyim, Seçim Aksiyomu kullanılan
yerler lisans öğrencileri tarafından pek önemsenmez, ama Zorn
Önsavı gerçekten her zaman çok şaşırtıcı sonuçlar verir. Bir başka
deyişle: Seçim Aksiyomu farkına varmadan kullanılabilir (okura
yutturabilirsin), ama Zorn Önsavı'nı farkına varmadan kullanmak
imkânsızdır.<br>
</p>
<p>3) Oysa Zorn Önsavı'yla Seçim Aksiyomu (bilindiği üzere)
birbirine denktir. İyi bir lisans öğrencisi kanıtını bilmese de
bunu bilmeli.<br>
<br>
4) Analizde Seçim Aksiyomu, sağda solda, orada burada hemen hiç
bahsedilmeden kullanılır. Arada bir bu hoyratlık cebirde de
yapılır, ama çok daha enderdir. Genel olarak analizciler Seçim
Aksiyomu'nu hiç sorgulamadan kabul ederler. Ayşe Uyar'ın verdiği
örnek buna güzel bir örnektir: eşmerkezli ve 1/n yarıçaplı her
yuvardan bir eleman seçmek tabii ki Seçim Aksiyomu'yla mümkündür
ama analizciler bunu (haklı olarak aslında) pek önemsemezler. Öte
yandan cebirde mesela maksimal idealin varlığını kanıtlamak için
Zorn Önsavı'nı öğrencilerin gözüne sokmak zorundasın, yoksa
ayaklanıp isyan ederler.</p>
<p>5) Bilgi Üniversitesi'nde bütün bunları tüm ayrıntılarıyla
birinci sınıf öğrencilerime anlatıyordum/anlatıorduk. Felsefesiyle
tabii ki. Bana ve bize benzemelerini istemiyordum/istemiyorduk! Ne
yazık ki 26 yıl süren Bilgi efsanesi sona erdi. Şimdi benzer bir
yapıyı korsan olarak Matematik Köyü'nde kurmaya çalışıyorum.<br>
</p>
<p>6) Son olarak bir (A_i)_{i \in I} küme ailesinin matematiksel
tanımını vereyim. I ve X birer küme olsun. I'dan X'e giden bir f
fonksiyonuna küme ailesi denir! Bu kadar basit! Eğer i \in I için
f(i) = A_i ise, (X'i yok sayıp!) bu fonksiyonu (A_i)_{i \in I}
olarak yazarız.<br>
</p>
<p>Ali<span style="white-space: pre-wrap">
</span></p>
<div id="DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2"><br /><table style="border-top: 1px solid #D3D4DE;"><tr><td style="width: 55px; padding-top: 13px;"><a href="https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=emailclient" target="_blank"><img src="https://s-install.avcdn.net/ipm/preview/icons/icon-envelope-tick-round-orange-animated-no-repeat-v1.gif" alt="" width="46" height="29" style="width: 46px; height: 29px;"/></a></td><td style="width: 470px; padding-top: 12px; color: #41424e; font-size: 13px; font-family: Arial, Helvetica, sans-serif; line-height: 18px;">Virüs yok.<a href="https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=emailclient" target="_blank" style="color: #4453ea;">www.avast.com</a></td></tr></table><a href="#DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2" width="1" height="1"> </a></div></body>
</html>