[MD-sorular] ynt:SORU

Murat Çağlıyan murat.cagliyan at gmail.com
13 Ara 2008 Cmt 17:05:15 EET


Sayın Değirmencioğlu

  Çok teşekkür ederim; vermiş olduğunuz bilgiler ve yapmış olduğunuz
   itirazlar, benim için çok faydalı oldu.
  ilk soru için vermiş olduğunuz bilgiler, bende yeni düşünceler uyandırdı
yani
  ıraksak serilerle ilgili olan, ıraksak serilerle işlem yapmak
istediğimizde
  özellikle verdiğim örnekle ilgili olarak, yakınsak serilerden oluşmuş olan

  bu türlü seriler, sinüs, cosinüs ve e^x fonksiyonlarından oluşmuş ve daha
önceden
  aralarında tanımlar yapılmış eşitliklerde yine bu eşitlikleri kullanarak
  belirli bir tanım aralığında işlem yapabilmek mümkünmüdür ?
     Biraz karışık bir ifade oldu sanırım. Bu serilerin
     e^x ve logaritma sinüs Cosinüs eşitlikleride kullanılarak, ıraksak
olmasına rağmen
     g(x) fonsiyonları için belirli bir tanım aralığı sözkonusu mu ?
     Yani ıraksak olmasına rağmen, belirli koşul ve sınırlamalar altında
tanımlı
  olabilecek denklemler üretebilmek ?
Bu konuyla asal sayılarla ilgili olarak değil
Dürtü tepkesi üzerinden bazı sonuçlar çıkarmak üzere ilgileniyorum. Tabii ki
belirli ön koşulların gerçekleşmiş olması
durumunda..Yani bir tanım aralığı sözkonusu..

   Maili yazarken sayın tibetin yapmış olduğu itirazı okudum sanki daha
doğru bir yaklaşım sergilemiş gibi geldi.
Çünkü benimde anlatmaya çalıştığım ilk önce f fonksiyonları ile oluşturduğum
serilerin(fonksiyonların) 1000 farklı x değeri için toplamı idi.
Bu duruma göre hata payının üst limiti hesaplanmadan veya farkları hesaba
katmadan başka bir yolla
bu denklemin sağlanması mümkünmüdür. ?
  Mesela Cos(x) ^2 + Sin(x) ^2 = 1 denklemini (g3(x) - g4(x))^2 + (g1(x) -
g2(x))^2 = R ^ 2
R = g(x) lerin bileşkesi şeklinde ifade edebiliyorum.

   Sayın tibet bu arada Goldbach sanısını ispatlamadığımı veya buna
çalışmadığımı belirtmek isterim.

   --------------------------
   Asal sayılar konusundaki eleştirileriniz oldukça yapıcı, deterministik
kelimesini
   belirttiğiniz üzere yanlış kullanıyor olabilirim. Anlatmaya çalıştığım
daha çok
   belirli sınırlar dahilinde yaptığım tanımı daha sonrasında genele açmak,
   elbette özel koşullar altındaki bir tanım matematiksel açıdan anlamsız
olacaktır.
   Kasttetiğim bir anlamda, sınırlı bir kümede tanımlanmış olan fonksiyonun
genele açılması
   ile ilgili, b şıkkında yapmış olduğunuz itirazında haklı olduğunu
söylemeliyim.
   Elbette aynı anda hem diskrimanantın hemde kökün tamsayı olması
gerektiğini söylemek gereksiz
   belki çeviride bir hata yapmış olabilirim. Biri diğerinin doğal sonucu
zaten,
   burada 2. derece polinom ailesi ile asallık koşulu arasında bir ilişki
kurulmaya çalışılıyor.

   Son itirazınızınızda belirtmiş olduğunuz Complex Asallar hakkında biraz
bilgi verebilir
    misiniz acaba ? Ya da bu konuyu araştırabileceğim bir kaynak önerebilir
misiniz ?

   Saygılarımla...



     -----------------------------------------------------------------

Sayın Murat Çağlıyan;
Şimdi ilk sorunuzda ki sıkıntınızı anladım.Sorunuzda ki f(x)
fonksiyonları arasındaki verdiğiniz fonksiyonel bağıntıya benzer bir
bağıntıyı;tanımladığınız şekliyle g(x)  fonksiyonları
arasında şu 2 nedenden dolayı elde edemezsiniz:
1)f(x) fonksiyonlarının tanım aralığı (n=0 ila sonsuz) dur.Ama g(x)
fonksiyonlarını tanım aralığı (x=0 ila 1000) dir.Siz sonsuz aralıkta
tanımlı olan bir şeyin özelliğini, sonlu aralıkta tanımladığınızda
elde etmeniz olanaksızdır;zira sonsuz tanımlı değildir;ama faraza
1000 sayısı tanımlıdır.Bu dediğimi iyi anlatabilmek için bir örnek
vereyim.Bildiğiniz üzere Sinüs ve Cosinüs fonksiyonları her x değeri
için yakınsak olan sonsuz terimli bir toplam (veya çarpım) ile
tanımlanabilir. Bu tanımları kullanarak Sin(x)^2+Cos(x)^2=1
eşitliğini kanıtlayabilirsiniz.Ama Sinüs ve Cosinüs fonksiyonlarının
bu açılımlarından sonlu sayıda terim almak suretiyle (örneğin
Sin(x)=x-x^3/3!+x^5/5! ve Cos(x)=1-x^2/2!+x^4/4! alarak) bu eşitliği
kanıtlayamazsınız.Zira sonsuz terimli bir serinin sonlu terimini almanız o
serinin temsil ettiği değeri göstermez (Ancak alınan terim sayısına bağlı
olarak yaklaşık temsil eder!)
2)f(x) fonksiyonlarının tanımlandığı seriler; x'in her değeri
için yakınsak serilerdir.Ama g(x) i temsil eden tanımladığınız seriler x
üzerinden toplamda  ıraksak serilerdir.(Hiperbolik sinüs ve
kosinüslerin tanımlarında ki üstel e^x fonksiyonunu düşününüz!)
Sınırları ne olursa olsun,ıraksak serilerle aklınıza gelen her işlemi
yapamaz ve bir şey kanıtlayamazsınız.Matematikçi Abeli'in dediği
gibi"...ıraksak seriler şeytanın aracı/icadıdırlar." Onlarla iş yaparken
çoooooook dikkatli olmak gerekir.
Bu fonksiyonları incelemekteki amacınızı bilmiyorum.(zannederim asal
sayı çalışmalarınızla ilgili) Ama g(x) fonksiyonlarının tanım aralığını
sonsuz alsanız bile,g(x) serilerinin ıraksak olması nedeniyle bir şey
kanıtlamanız olanaksızdır;boşuna çaba harcamış olursunuz.
Asal sayılarla ilgil yazınıza gelince;henüz tam
incelemedim.İngilizcesini ve sizin özetinizi 1 kere
okudum.Takıldığım  birkaç noktayı belirtmek isterim:
a)Matematikte "deterministik tanım" olmaz;eğer olursa o zaman
kanıtladığınız her teorem bir "deterministik teorem veya sonuç" olur;genel
olmaz özel olur.Belki kelimeyi yanlış kullanıyorsunuz:Zira
determinist;tayin edilmiş,belirli,sınırlanmış,kesinleştirilmiş anlamlarını
içerir.Bu anlamlar sosyal bilimlerde belki kullanılabilir;ama matematikte
kullanılamaz.Siz eğer asal sayıların "deterministik bir tanımını"
yapabildiyseniz,o zaman faraza 1 trilyonla 1 katrilyon arasındaki asal
sayıları tanımlarsınız ve sonuçlarınızda bu asal sayılar için geçerli
olur;genel olmaz.Matematikte genellik yoksa,hiçbir anlamıda yok
demektir.
b)Asal sayı testinde kullandığınız ikinci derece denkleminin
diskriminantının ve köklerinin tamsayı olması halinde,x sayısının asal
olamayacağını belirtiyorsunuz.O zaman bu ikinci derece denkleminin
diskriminantının da tamsayı olması koşulunu neden öne sürüyorsunuz?Zira
diskriminant tamsayı değilse zaten bu ikinci derece denklemin tamsayı kök
vermesi olanaksızdır.Bu koşul, daha ileri "iddia ve kullanım" için mi
konulmuştur?
c)Asal sayıların tanımının "muğlak,biraz belirsizlik içeren" olduğu
kanaatinde değilim.Bu sayıları "çarpanlarla" veya "bölenlerle"
tanımlamanın fazla bir getirisi olmayacaktır.Bana göre asal sayılarla
ilgili temel zorluk;tamsayıların asal çarpanlara ayrılmasının tek
türlü olmayışıdır.Asal olan sanal sayıları (Complex numbers) ne
yapacağız?Bu sayılar, doğal asal sayılardan daha fazla zorluk
çıkarmaktadırlar ve acaip tuzaklar içeriyorlar.Bana göre asal sayılarla
çalışan herkes,asal sanal sayılar üzerinde yoğunlaşmalı ve doğal asal
sayılara daha sonra geçmelidir.Zira doğal sayılar asal sayıların bir
alt kümesidirler.
Dediğim gibi İngilizce metni tam inceleyip anlamadım;Türkçe
özetinizden de,İngilizce metnin "anlaşılmaya değer" sonucunu çıkardım.En
yakın zamanda bu metni anlayıp varsa itirazım,yazacağım;yukarıdaki
maddeleri şimdilik "tam anlaşılmadan ileri sürülen aceleci itirazlar"
olarak algılayın..
Selam ve saygılarımla..

A.Kadir Değirmencioğlu




-- 
Murat Çağlıyan
-------------- sonraki bölüm --------------
Bir HTML eklentisi temizlendi...
URL: http://lists.math.bilgi.edu.tr/pipermail/md-sorular/attachments/20081213/ad293f74/attachment.htm 


MD-sorular mesaj listesiyle ilgili daha fazla bilgi