<!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>