Professional Documents
Culture Documents
Cebirsel Trev
Sayg Duyar
Trev, 17inci yzylda baz
geometrik ve analitik problemleri
zmek iin, birbirinden bamsz olarak Newton
ve Leibniz tarafndan bulunmutur. Trevi bu balamndan soyutlayarak ok ilgin ve ok kullanl
bir teori elde edebiliriz. Bu yazda bu konuya deinip sonraki yazlarda kullanacamz baz olgular
kantlayacaz.
Grld gibi tanm biimsel; analizle, fonksiyonlarn grafiiyle, teetlerin eimiyle filan hi ilgisi yok.
Kanta bile ihtiyac olmayan u basit olguyu
bir sonraki yazmzda can alc bir noktada kullanacaz:
nsav 1. (i) bir polinom ve = 0 ise o zaman sabit bir polinomdur, yani gerel bir a says iin = adr.
(ii) bir polinom ve gerel bir a says iin =
a ise o zaman gerel bir b says iin = b + aXtir2.
1 Geen saylarda halkalardan sk sk szetmitik: Bir halka, stnde toplama ve arpma ad verilen ve doal birka kurala uyan iki ilemin tanmland bir kmedir. rnein Z, Q,
R, Z/nZ birer halkadr. Katsaylar belli bir R halkasnda olan
polinomlar kmesi de bir halkadr; bu halka R[X] olarak
yazlr. Bu yazda halkalardan szetmeyeceiz.
35
Altrmalar.
1. Polinomlarda = diferansiyel denklemini zemeyiz, nk bir polinomun trevinin
derecesi polinomun derecesinden daha kktr.
Ama g serilerinde zebiliriz3. = denkleminin g serilerinde tm zmlerini bulun.
2. Trevin de trevi alnabilir. = diferansiyel denkleminin tm zmlerini bulun.
3. : R[X] R[X] fonksiyonu, her , g
R[X] iin,
( + g) = + g
(g) = g + (g)
eitliklerini salyorsa fonksiyonuna trev denir.
3a. Her R[X] iin, (n) = nn1() eitliinin salandn kantlayn.
3b. Her q Q iin, (q) = 0 eitliini kantlayn.
(pucu: nce q N, sonra q Z iin kantlayn.
3c. Her r R iin, (r) = 0 eitliini varsayarak, bir trevinin (X) tarafndan belirlendiini
ve (X)in herhangi bir polinom olarak alnabileceini kantlayn.
4. R herhangi bir halka olsun. : R R fonksiyonu, her , g R iin,
( + g) = + g
(g) = g + (g)
eitliklerini salyorsa fonksiyonuna trev denir.
4a. 1 ve 2 birer trevse ve a1, a2 R ise a11
+ a22nin de bir trev olduunu kantlayn.
4b. 1 ve 2 birer trevse, [1, 2] olarak yazlan 1I2 2I1 fonksiyonunun da bir trev olduunu kantlayn.
4c (Jacobi Eitlii). 1, 2 ve 3 birer trevse,
[[1, 2], 3] + [[2, 3], 1] + [[3, 1], 2] = 0
eitliini kantlayn.
Altrmalar.
1. Eer bir polinom ve n bir doal sayysa,
n
( ) = nn1 eitliini kantlayn.
2. Eer ve g birer polinomsa, Ig bu polinomlarn (bu srayla) bilekelerini simgelesin.
(Ig) = Ig g eitliini kantlayn.
G Serileri. nXn terimlerinin sonlu tanesini
deil de sonsuz tanesini toplarsak, elde ettiimiz
ey artk bir polinom deildir. rnein, sonsuza
kadar uzayan
1 + X + X2 + X3 + X4 + ...
ifadesi bir polinom deildir. Bu tr ifadelere g
serileri (ya da Douran Fonksiyonlar yazsnda olduu gibi bazen douran fonksiyonlar da) denir.
G serileri de polinomlar gibi
1, X, X2, X3, ...
terimlerinin saylarla arplp toplanmasyla elde
edilir, ancak bu kez toplamn illa sonlu olmas gerekmez. Daha davurumcu bir ifadeyle, bir g serisi, 0, 1, ..., n, ... saylar iin,
0 + 1X + 2X2 + ... + nXn + ...
biiminde yazlan bir ifadedir. (Bkz. MD-2004-II,
sayfa 32-42.)
G serileri de aynen polinomlar gibi toplanp
arplrlar. rnein,
(1 + X + X2 + X3 + ...)(1 X + X2 X3 + ...)
= 1 + X2 + X4 + X6 + ...
(1 + 2X + 3X2 + 4X3 + ...)(1 X X2 X3 ...)
= 1 + X 2X3 5X4 + ...
Her polinom bir g serisidir ama her g serisi bir polinom deildir. Bir g serisinin polinom
3 Biraz analiz grm okurlarn bildii gibi (x) = ex fonksiyonu bu denklemin bir zmdr. Ama biz bir fonksiyon deil bir g serisi aryoruz. (x) = ex rneinden yola karak,
okur,
1 + X/1! + X2/2! + X3/3! + ... + Xn/n! + ...
g serisinin bu denklemin bir zm olduunu tahmin
edebilir.
36