<div dir="ltr">Rahmetli Mükremin NeÅŸeli benim analiz dersime de birkaç kez geldi, sonra bıraktı.<div>"n sonsuza giderken filan diyorsunuz ya bu bana hiçbirÅŸey ifade etmiyor.Bu kesikli</div><div>matematiktir, Amerikan matematiÄŸidir ! " demiÅŸti.</div><div><br></div><div>Aslında temelde Ã§ok yetenekli idi. TuÄŸrul Taner nakletmiÅŸti :</div><div>Bir sınavda TuÄŸrul- beye geliyor. Güç bir soru var sınavda. "Bana ÅŸunun tanımını (unuttum, Ã¶rneÄŸin locally compact) verir misiniz ?"</div><div>diye soruyor. TuÄŸrul Bey :" veririm ama 10 puanını keserim" diyor. Sonuçta o tanımı alıyor ve o soruyu doÄŸru olarak Ã§Ã¶zen tek</div><div>öğrenci oluyor sınıfta.</div><div>Yazık kendini erken yaÅŸta Marksist romantizme kaptırdı ve Bursa daÄŸlarında (sanırım) katledildi</div><div>polis veya aşırı saÄŸcılarla.</div><div><br></div><div>UluÄŸ Ã‡apar</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, Nov 23, 2024 at 8:29 AM yilmaz akyildiz <<a href="mailto:yilmaz.akyildiz@listweb.bilkent.edu.tr">yilmaz.akyildiz@listweb.bilkent.edu.tr</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small">henüz junior heyecanlı ve romantik cihan ne kadar da haklıymış ÅŸu sözü 1968 de söylediÄŸinde:</div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small">"<i>matematikçiler bkuyla oynayan ayılar gibiler..."</i></div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small">rahmetli mükremin neÅŸeli de beni ÅŸÃ¶yle kızdırmıştı aynı günlerde:</div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small"><i>"siz fizikçiler daha kullandığınız Pi sayısının gerçekte ne olduÄŸunu dahi bilmekten acizsiniz". </i></div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small"><i><br></i></div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small">bu ne yaaa... havada uçuÅŸan ne idüğü belirsiz aksiomlar, </div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small">neymiÅŸ de efenim bunlar birbirlerine denklermiÅŸ.</div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small">matematiÄŸe yeni baÅŸlamış bir gencin hevesini kırmak için bunlar bire bir.. </div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small">bu conceptleri hazmetmek senelerin maturitisini gerektirir! </div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small">gördük iÅŸte aynı konularda Ã§alışan ayÅŸe ve zafer bile anlaÅŸamadılar </div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small">horoz dövüşü yaptılar, birbirlerinin kafa gözlerini yardılar.</div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small">ben defalarca "<i>stop it!</i>" dememe raÄŸmen hala ayrılmadılar. </div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small"><b>aramızda hiç mi yok constructive matematik yapanlar?</b></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, Nov 23, 2024 at 7:47 AM tanbay <<a href="mailto:tanbay@bogazici.edu.tr" target="_blank">tanbay@bogazici.edu.tr</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div style="font-size:10pt">
<p>turkmath Ã¼yeliÄŸi beni otuz yıl Ã¶ncesine götürdü. daha BoÄŸaziçi'nde internete baÄŸlanmak için ÅŸantiyeye benzeyen Bilgi Ä°ÅŸlem Merkezi binasına gidiliyor, oradaki TEK makinadan</p>
<p>baÄŸlanılıyordu. açıkçası pek sıra bile olmuyordu! "turkmath" daha kurulurken kavga ile baÅŸladı, "math" mı "mat" mı kavgası...her zamanki gibi herkesin haklı</p>
<p>argümanları vardı ama "razı gelmek" kavramı o zaman da yoktu, sonuç en kuvvetli tartışmacıların Ã¼ye olmamasıyla bitti... yorgan gitse de kavga bitmedi, bu iletiÅŸim ağını Ã§oÄŸunluk için</p>
<p>yorucu ve uzaklaÅŸtırıcı kılmaya devam edenler memlekette "süreklilik" kavramının olabileceÄŸini sanırım ispat ettiler. tamam, ispat demek zor, ama</p>
<p>aksiyomatik olarak kabul etmek zorundayız galiba!!! "bu aksiyom olmadan turkmath ve de tmd-uye okunmuyor" desek?? bizim okulda arada</p>
<p>ÅŸantiye binasını yıktılar...bütün kampusu inÅŸaat resullulah diyerek ÅŸantiyeye Ã§evirdiler, banal hayatlarımıza dokunmaları yetmedi, sanal hayatlarımızı da</p>
<p>"boun" adresini "bogazici" yaparak alt Ã¼st ettiler, ve bizim bölümde iki aÄŸa da kayıtlı olanlar artık bu mecrada yazılanları 4 kere alıyoruz!!! Alıyoruz dedim,</p>
<p>okuyoruz demedim...Ama sanırım Ali Nesin'i herkes okuyordur! Okumalı! </p>
<p><br></p>
<p>denk aksiyomlardan bahis ederken Zermelo aksiyomu da denen "iyi sıralama aksiyomu"nu da ekleyelim. DoÄŸal sayıların bildiÄŸimiz "daha küçük"</p>
<p>iliÅŸkisiyle iyi sıralı olduÄŸunu herkes bilir ama her kümenin iyi sırası olabileceÄŸini kabul etmek baÅŸka bir olay! </p>
<p>İyi sıralama (Well-ordering) Aksiyomu pek Ã§ok yerde teorem olarak geçecek kadar girmiÅŸ matematikçilerin hayatına ama Seçme Aksiyomuna denk.</p>
<p>Hausdorff Maksimalite Aksiyomu veya Zorn Leması gibi (buna da LEMMA diyoruz iÅŸte!).</p>
<p>Aslında Ã¶ÄŸrencinin iÅŸin ÅŸaşırtıcı tarafını anlaması için Seçim Aksiyomundan daha iyi olabilir, ne de olsa sonlu, en fazla da sayılabilir düşündüğümüz için,</p>
<p>"seçme fonksiyonu"nun olması bize doÄŸal geliyor...ama "öyle bir iliÅŸki vardır ki, reelleri iyi sıralı yapar" oldukça sarsıcı!</p>
<p> Analiz dersinde Hahn-Banach Teoremini "ispatlarız". Tabii ki  deminki aksiyomlardan birini kullanarak. Ve "boÅŸluk vardır" aksiyomunu ya da "sonsuz vardır"</p>
<p>aksiyomunu tartışmayı felsefecilere bıraktığımız gibi, seçme aksiyomunu da kullanmaktan Ã§ekinmeyiz. Ama Ã§oÄŸunlukla, Hahn-Banach teoremi'ni</p>
<p>alıp Seçme Aksiyomunu ispat etmeyiz..Halbuki denk ikisi! Demek "daha eÅŸit" gibi "daha denk" olmak da mümkün!!</p>
<p>Hakkını yemeden bitireyim: topolojide  yine seçim aksiyomlarından birini kullanarak ispatladığımız Tychonoff teoremi  (tıkızların Ã§arpımı tıkız)</p>
<p>de denktir diÄŸerlerine...ve bu denklikler listesi o kadar uzundur ki, klasik kitaplar vardır sadece bunları iÅŸleyen...</p>
<p><br></p>
<p>bugün galiba Ã¶ÄŸretmenler günü! Ã¶ÄŸretmeye Ã§alışanları tebrik eder, sevgilerimi yollarım</p>
<p><br></p>
<p id="m_5185704734846401456m_3658796852409356524m_931821095780174424reply-intro">On 22-11-2024 03:43, Ali Nesin wrote:</p>
<blockquote type="cite" style="padding:0px 0.4em;border-left:2px solid rgb(16,16,255);margin:0px">
<div id="m_5185704734846401456m_3658796852409356524m_931821095780174424replybody1">
<div>
<p><br></p>
<p>Mesajları ÅŸimdi okudum. Ãœye olmadığımdan Turkmath'a doÄŸrudan yollayamıyorum. Biriniz yollar umarım.</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. </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.</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.</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.</p>
<p>Ali<span style="white-space:pre-wrap"> </span></p>
<div id="m_5185704734846401456m_3658796852409356524m_931821095780174424v1DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2"><br>
<table style="border-top:1px solid rgb(211,212,222)">
<tbody>
<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" rel="noopener noreferrer" target="_blank"><img style="width: 46px; height: 29px;" src="cid:ii_193576a62da527484c21" width="46" height="29"></a></td>
<td style="width:470px;padding-top:12px;color:rgb(65,66,78);font-size:13px;font-family:Arial,Helvetica,sans-serif;line-height:18px">Virüs yok.<a style="color:rgb(68,83,234)" href="https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=emailclient" rel="noopener noreferrer" target="_blank">www.avast.com</a></td>
</tr>
</tbody>
</table>
<a href="#m_5185704734846401456_m_3658796852409356524_m_931821095780174424_v1DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2"> </a></div>
</div>
</div>
<br>
<div style="margin:0px;padding:0px;font-family:monospace">_______________________________________________<br>Turkmath mailing list<br><a href="mailto:Turkmath@listweb.bilkent.edu.tr" target="_blank">Turkmath@listweb.bilkent.edu.tr</a><br><a href="http://yunus.listweb.bilkent.edu.tr/cgi-bin/mailman/listinfo/turkmath" rel="noopener noreferrer" target="_blank">http://yunus.listweb.bilkent.edu.tr/cgi-bin/mailman/listinfo/turkmath</a></div>
</blockquote>
</div>
_______________________________________________<br>
Bu e-postayı Türk Matematik DerneÄŸi'nin TMD-UYE E-Posta Listesine Ã¼ye olduÄŸunuz için aldınız.<br>
<a href="mailto:TMD-UYE@listweb.bilkent.edu.tr" target="_blank">TMD-UYE@listweb.bilkent.edu.tr</a><br>
BU E-POSTA LİSTEDEN Ã‡IKMAK (UNSUBSCRIBE) VEYA ÃœYELİK SEÇENEKLERİNİ DÜZENLEMEK Ä°Ã‡Ä°N aÅŸağıda baÄŸlantısı verilen sayfayı ziyaret ediniz:<br>
<a href="http://yunus.listweb.bilkent.edu.tr/cgi-bin/mailman/listinfo/tmd-uye" rel="noreferrer" target="_blank">http://yunus.listweb.bilkent.edu.tr/cgi-bin/mailman/listinfo/tmd-uye</a><br>
</blockquote></div>
_______________________________________________<br>
Bu e-postayı Türk Matematik DerneÄŸi'nin TMD-UYE E-Posta Listesine Ã¼ye olduÄŸunuz için aldınız.<br>
<a href="mailto:TMD-UYE@listweb.bilkent.edu.tr" target="_blank">TMD-UYE@listweb.bilkent.edu.tr</a><br>
BU E-POSTA LİSTEDEN Ã‡IKMAK (UNSUBSCRIBE) VEYA ÃœYELİK SEÇENEKLERİNİ DÜZENLEMEK Ä°Ã‡Ä°N aÅŸağıda baÄŸlantısı verilen sayfayı ziyaret ediniz:<br>
<a href="http://yunus.listweb.bilkent.edu.tr/cgi-bin/mailman/listinfo/tmd-uye" rel="noreferrer" target="_blank">http://yunus.listweb.bilkent.edu.tr/cgi-bin/mailman/listinfo/tmd-uye</a><br>
</blockquote></div>