Loading [MathJax]/jax/output/HTML-CSS/jax.js
Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
0 beğenilme 0 beğenilmeme
933 kez görüntülendi

n,mN olsun. 

Z/nZ ve Z/mZ, K uzerine iki vektor uzayi olsun. 

Eger, 

                                  F:Z/nZZ/mZ  

bu iki vektor uzayi arasinda bir lineer donusumse F hangi ozellikleri saglamalidir? Baska bir deyisle ¯1Z/nZ icin F(¯1)=?

Lisans Matematik kategorisinde (691 puan) tarafından 
tarafından düzenlendi | 933 kez görüntülendi

n,m,K arasindaki iliski ne olmali peki? n=2,m=3,K=F5 olabilir mi gibi?

Iliski olmasina gerek var mi? n, m nin herhangi dogal sayilar olmasi yeterli. K da sonlu ya da sonsuz bir cisim olabilir fark etmez. Ama bir lineer donusum belli ki 1 i herhangi bir yere goturemez, 

Sonucta bir iliski kurmaya calisacagiz. m'yi K icinde bir eleman olarak gorelim. 

(m adet toplam) f(1+1++1)=f(1)++f(1)=0 olur. m'ye denk gelen K icindeki elemani da alirsak mf(1)=0 olmali olur. Eger m K icerisinde sifir degilse K icerisinde m1 vardir. Bu da 0=m1(mf(1))=f(1) oldugunu verir. 

m  K icerisinde sifir ile devam edelim.


(n tane) 0=f(0)=f(1++1)=f(1)++f(1)=nf(1) olur. (cisimdeki n'ye denk gelen eleman icin de, Z/mZ icin de). Eger n  K icerisinde sifir  degilse yine ayni senaryo ile f(1)=0 olur.


n,m  K icerisinde sifir ise cisim sonlu olmali olur.  Karakteristik pozitif. Bunu yukarida da cikarabilirdik.


Ayrica Z/mZ icerisinde de nf(1)=0 olmali. Buradan n=0modm degilse ... diye gider. 

Acikcasi cismin ne oldugunun cok onemli olmadigini dusunmustum, onemliymis. 

n de m de cisimde olmasalar? Yani skalerle carpmanin fonksiyonun alacagi degeri etkilemesini istemiyorum. Sadece bu iki vektoru uzayinin elemanlari arasindaki dogal(bolum grubu yapisindan kaynaklanan) iliskinin fonksiyonun alacagi degeri nasil belirleyecegini merak ediyordum. Soruyu sormak cevaplamaktan daha zor oluyor bazen.

Evet, oyle oluyor bazen.

charK=p>0 olsun. Ilk olarak N=Z/nZ'yi modul olarak inceleyelim. n=0K oldugundan pn olmali. Ayrica p kere toplam da olusacak modul hakkinda bilgi verir. pa=0a=0 olacak. Yani olusacak modul sifir modul degilse bu modulde de karakteristik p olmali. Demek ki Zp kopyalari icermeli sadece. Illa ki cisim olmasina gerek yok.

Ornegin {0,α} oyle ki αF4F2. Bu bize F2 uzerinde bir vektor uzayi verir.  Bunlari linearised(?) polinomlarla iliskilendirebilirsin, her pozitif karakteristik icin. Yukaridaki uzayin polinomu x2+αx

Simdilik aklima gelenler bunlar. Sorunu acmana yardimci olur mu bilmem ama.

Bekledigim de boyle seylerdi zaten, cok tesekkurler Sercan Hocam.

V, k cismi üzerine sonlu boyutlu (n-boyutlu diyelim) bir vektör uzayı ise Vkn olur. Bunu göstermek zor değil. V'nin taban elemanlarını, kn'nin standart tabanına gönderen dönüşüm izomorfizmadır. kn'in eleman sayısı da |k|n. Yani Sercan'ın ilk yorumuna ben de katılıyorum.

Bunlara istersen Z-modül, yani abelyen grup, olarak bakabilirsin. 

20,333 soru
21,889 cevap
73,624 yorum
3,067,294 kullanıcı