Professional Documents
Culture Documents
Roger Penrose Fizigin Gizemi Kralin Yeni Usu 2
Roger Penrose Fizigin Gizemi Kralin Yeni Usu 2
Gizemi
Roger Penrose
II
E
"'
o
co
TBITAK
...-
...--
KRALlN YEN USU -11-
FZGN GZEM
Roger Penrose
TBtrAK Popler Bilim Kitaplar 95
Roger Penrose
eviri: Tekin Dereli
Redaksiyon: lker Erkan
ISBN 975-403-080-4
ISBN 975-403-083-9
Fiziin Gizemi
l k basm Kasm 1998'de yaplan
letme Mdr
M. Kemal Bostancolu
TBTAK
Atatrk Bulvan No: 221 Kavakldere 06100 Arkara
Tel: (312) 427 33 21 Faks: (312) 42713 36
e-posta: kitap@tubitak.gov.tr
nternet: kitap.tubitak.gov.tr
Roger Penrose
EVlRl
Tekin Dereli
II
TBTAK POPLER BLM KTAPLARI
j
j
j
j
j
j
j
j
j
j
j
j
j
j
j
j
j
j
j
j
j
j
j
indekiler
V. Blm
Klasik Dnya 1
Fiziksel Kuramn Klasik Dnyadaki Yeri 1
Eukleides Geometrisi 10
Galilei ve Newton'un Dinamik Kuram 17
Newton Dinamiinin Mekanik Dnyas 24
Bilardo Topu Dnyasndaki Yaam Hesaplanabilir mi? 28
Hamilton'un Mekanii 33
Faz Uzay 36
Maxwell'in Elektromanyetizma Kuram 45
Hesaplanabilirlik ve Dalga Denklemi 50
Lorentz Hareket Denklemi; Babo Paracklar 51
Einstein ve Poincarfnin zel Grelilik Kuram 54
Einstein'n Genel Grelilii 68
Greli Nedensellik ve Belirleyicilik 80
Klasik Fizikte Hesaplanabilirlik: Neredeyiz? 85
Ktle, Madde ve Gereklik 86
VI. Blm
Kuantumun Bys ve Kuantum Gizemi 95
Felsefecilerin Kuantum Kuramna Gereksinimleri Var m? 95
Klasik Kuramn Sorunlar 98
Kuantum Kuramnn Balangc 1 O1
ift Yark Deneyi 103
Olaslk Genlikleri 108
Bir Paracn Kuantum Durumu 116
Belirsizlik lkesi 122
Uve R Evrim Yntemleri 124
Bir Parack Ayn Anda ki Ayr Yerde Olabilir mi? 126
Hilbert Uzay 133
lmeler 137
Spin ve Riemann Durumlar Kresi 141
Kuantum Durumlarnn Nesnellii ve llebilirfii 146
Bir Kuantum Durumunun Kopyalanmas 148
Foton Spini 149
Yksek Spine Sahip Cisimler 152
ok Parackl Sistemler 154
Einstein, Podolsky ve Rosen 1kilemi' 160
Fatonlarla Deneyler: GreliZikle ilgili bir sorun mu var? 168
Schrdinger Denklemi; Dirac Denklemi 171
Kuantumlu Alanlar Kuram 173
Schrdinger'in Kedisi 17 4
Bugnn Kuantum Kuramnda eitli Yaklamlar 178
Btn Bunlar Bizi Nereye Getirdi? 182
V. Blm
Klasik Dnya
1. STN
2. YARARLI
3. GEC
* Yrngelerinin hesaplanmasnda genel greliliin etkileri dikkate alnarak,
uzay aralarnn davrann ngrmek iin yzde yz olmasa da yeterli
doruluk salanabilir. Yeryzndeki konumlar ylesine duyarl ( birka
desimetre yanlma payyla) saptayabilen aygtlar yapld ki artk genel
greliliin uzay-zaman erilerinin etkilerine gerekten gereksinim vardr.
5
Eukleides Geometrisi
a+JJ+y=180
ekil5.1. (a) Eukleides uzaynda birgen, (b) Lobachevsky uzaynda bir gen.
ruysa, a/b ve c/d reel saylan arasnda kalan bir kesir daima bulunmaktadr.
Buna gre Eudoxos'un lt dorulanm oluyor.
15
lanarak, kre gibi veya paraboller veya spiraller gibi daha kar
mak ekilleri kapsayan alanlan ve hacimleri hesaplad. Bugn
bu amala sonsuz kkler hesabn (kalkulus) kullanyoruz
ama tarttmz konu, bu yntemin Newton ve Leibniz tarafn
dan kefinden ondokuz yzyl kadar nceydi! (Sonsuz kkler
hesabnn hemen hemen yansnn, yani integralin Arkhimedes
tarafndan bilindiini syleyebiliriz!) Arkhimedes'in savlannda
sergiledii matematiksel gce, modem standartlarla bile ulal
mas zordur. Yazlan, bata Galilei ve Newton olmak zere bir
ok matematikiyi ve bilim adamn derinden etkilemitir. Ar
khimedes, ayn zamanda, statiin fiziksel kuramn da (S
TN?) (Kaldra yasas gibi dengedeki cisimlerin yasasn ve y
zen cisimlerin yasalan, vb.) kefederek, bir tmden-gelimsel bi
lim halinde gelitirdi. Tpk Eukleides'in geometrik uzay ve kat
cisimlerin geometrisi bilimlerini gelitirdii gibi.
Arkhimedes'in deinmem gereken bir ada Apollonios'tur
(.. 262-200). Byk bir geometri ustas olan Apollonios, koni
kesitleri (elipsler, paraboller ve hiperboller) kuramyla Kepler
ve Newton'u nemli lde etkilemitir. lgintir ki, Apolloni
os'un sz konusu ekilleri, gezegenlerin yrngelerini tanmla
mak iin gerekli ekillerin ta kendisidir!
lvme bir
vektrdr
.
.
.
A. .
. .
/
. . .
.
ekil 5.7. ki parack arasndaki ekim kuvvetininin, ikisi arasndaki doru parasnda
gerekletii varsaylr (ve Newton'un nc yasasyla: A zerinde B'den kaynaklanan
etki, B zerinde A'dan kaynaklanan etkiye daima eit ve terstir.)
* Elektrik ve manyetik kuvvet ler arasndaki fark, mknat slann ' kuzey' ve
'gney' kutuplan olarak mutlaka 'ift kutuplu' olmasndadr. 'Manyetik y kler'
(yani tek balanna kuzey ve gney mknats kutuplan) birbirlerinden bamsz
varolanazlar.
26 Klasik Dnya
ekil 5.8. Bir l arpma. Sonutairi davran, hangi paracklarn nce biraraya gel
diklerine baldr ve bu nedenle sonu srekli biimde girdiye bamldr.
ekil 5.9. Fredkin-Toffoli bilardo topu bilgisayannda bir 'yer deitirme' (A. Ressler ta
rafndan tasanmlanmtr). Eer bir top B noktasndan girerse, dier bir top, bir baka
topun A'dan girmesine bal olarak D veya E noktasndan kar (A ve B noktalarndan
girilerin eanl olduu varsaylr).
30 Klasik Dnya
Hamilton'n Mekanii
. aH
Pi = - -
aX i
,
Faz Uzay
n paracl'l
sistem
ekil 5.10. Faz uzayndaki bir Q noktas, fiziksel sistemin, btn paracldannn eanl
hareketleri dahil, tm durumunu temsil eder.
ekil 5.11. Hamilton denklemlerine gre zaman evrimini temsil eden bir faz uzay
vektr alan.
: ! ;G'f J
,..-:>".-,; z
' :t;
iL---::: :.'
:; t;:P:
;,>}1) :1
Aygtn deerler
a:;.;_,:/
blgesi
kmesi
ekil 5.12. Faz uzaynda bir blge, tm paracklann konum ve momentumlanna ait
olas deerlerin kmesine edeerdir. Byle bir blge, bir aygtn aynnlanabilir bir du
rumunu (yani, bir 'seeneini') temsil edebilir.
41
ekil 5 .1 3. Zaman ierisinde, R0 faz durumu blgesi vektr alan tarafndan yeni bir R1
blgesine, srklenir. Bu, aygtnzla ilgili belirli bir seenein zaman evrimini gster
mektedir.
ekil 5. 14. Liouville teoremi bize, faz uzay hacminin zaman evrimiyle deimediini bil
dirmise de bu hacim, sz konusu evrimin son derece "karmak" olmas nedeniyle, doal
olarak, etkin bir ekilde da doru yaylacaktr.
1 JE - --: JB -
- - = curl B - 4:rJ ' - = -curl E'
c2 Jt Jt
div E = 4:rp, divB = O.
.
- /'
./'
- - -
-
/
ekil 5.15. Lorentz hareket denklemlerini nasl tam olarak uygulayabiliriz? Ykl bir
parack zerindeki kuvvet, sadece paracn bulunduu yerdeki alan incelemekle elde
edilemez, nk orada paracn kendi alan baskndr.
ekil 5.16. Minkowski uzay-zamannda bir k konisi (sadece iki uzaysal boyutlu); O ile
gsterilen uzay-zaman merkezindeki olay da yer alan bir patlamadan sonra k yayl
mnn tarihesini tanmlyor.
nein basit uzaklk olarak, bir anlam vardr ve bu nedenle gzlemci iin olaylar ayn
anda meydana gelmi gibi grnr. (Bu konuyu daha sonra aynntlandracam).
63
Eukleides hali
AC<AB+ BC
gen eitsizlii
AC>AB+BC
A
ekil 5.19. zel greliliin 'ikizler ikilemi' ad verilen problemi bir Minkowski gen
eitsizliiyle anlalr. (Kyaslama amacyla, Eukleides geni de verilnitir)
ekil 5.21. uzay-zaman boyutunda bir Poincare hareketi. Soldaki ema S iin eanl
uzaylan, ve sadaki ema ise M iin eanl uzaylan gstermektedir. S, R'nin Q'dan nce
olutuunu dnrken, M, Q'nun R'den nce olutuunu dnyor. (Buradaki hare
ket, (pasif) edilgendir; yani, sadece, iki ayr S ve M gzlemcisinin, ayn uzay-zaman ile
ilgili farkl tanmlanalan zerine etki eder.)
67
Yerkre Andromeda
B A ?"
'6' l;'
1,
A'nn eanl uzay _
_
=-+-==- - -
-
- - -
B'nn --
" eanl uz -
ay
ekil 5.23. Galilei, iki kayay ekil 5.24. Astronot, uzay aracnn, yereki
(ve bir video kanerasn) minden etkilenmemi gibi nnde asl durdu
Pisa Kulesinden aa atyor. unu grr.
ekil 5.25. Gelgit etkisi. ift oklar, bal ivmeyi (WEYL) gsterir.
ekil 5.26. Eer kre, bir madde dalnnn (burada, Dnya'y) evreliyorsa ieriye do
runet bir ivme (RICCI) vardr.
Yerkre
ekil 5.30. Yerkre ve Gne'in dnya izgileri; ve uzak bir yldzdan gelen nn Gne
tarafndan saptrlmas.
RIEMANN
olarak yazacam. Sz konusu tensr, Weyl tensr ve Ricci
tensr olmak zere (herbiri on bileenli) iki ksma ayrlabilir.
Bu ayrlmay ematik olarak yazacam:
RICCI = ENERJ
(ENERJ tensrnn tanm iinde basncn bulunmas ve bir
btn olarak denklemlerin tutarl olmas koulu, yukanda ta
nmlanan hacmin azalmas etkisine basncn da katks bulun
duunu gsterir.)
Bu denklem, Weyl tensr hakknda bir ey sylemiyor. Fa
kat Weyl tensr nemli bir niceliktir. Bo uzayda gzken
balang biiminin bozulmas etkisi tmyle WEYL nedeniyle
dir. Aslnda, Einstein'n yukanda verilen denklemleri daha n
ce grm olduumuz Maxwell denklemlerine benzer olarak,
WEYL ile ENERJ tensrlerini birbirine balayan diferansiyel
denklemlerin varln gerektirir.24 Gerekten de, WEYL'i, (E,B)
alan ifti ile tanmlanan elektromanyetik alan niceliinin (ki
aslnda bu alan ifti, Maxwell tensr adyla bilinen bir tensr
oluturur) evrensel ktleekimindeki edeeri olarak grmek
verimli bir bak as olacaktr. Bu nedenle, belirli bir anlamda
WEYL, ktleekim alannn ltdr. WEYL'in kayna,
ENERJ tensrdr; bu durum, (E , B ) elektromanyetik alanlan
79
w
w
(a) (b)
ekil 5.31. W gzlemcisinin gnderdii ktan hzl bir sinyal, U gzlemcisinde zamanda
geri gidiyormu izlenimini brakacaktr. Sadaki (b) ekli, U'nun gr asna gre ye
niden izilen soldaki ekilden bakas deildir. (Yeniden izimleme, bir Poincare hareke
ti olarak dnlebilir. ekil 5.21 ile kyaslanrken (a)'dan (b)'ye ekil deitirme, edil
gen deil etken balamda alnmaldr.)
82 Klasik Dnya
ekil 5.32. V gzlemcisi, W gzlemcisinin aygtna benzer fakat ters yne dnk, ktan
lzl bir sinyal aygt ile donannl olsa, bu aygt W tarafndan kendi gemiine mesaj
yollamak iin kullamlabilirdi!
yleyse varsayalm ki, yalnzca olaan fiziksel paracklada
tanan sinyaller deil her trl sinyal, k konileriyle kstlan
drlm olsun. Yukanda rneklenen sav zel grelilie uygun
dur, ama genel grelilik kuramnda zel kuramn kurallan sa
dece yerel dzeyde geerlidirler. Tm sinyallerin, k konileri
nin iinde tutulmasn gerektiren neden, zel greliliin yerel
dzeyde geerliliidir ve bylece genel grelilikte de geerli ol
maktadr. Bunun, bu kurarnlarda belirleyicilii (determinizmi)
nasl etkilediini grelim. Newtoncu (veya Hamiltoncu, vb.) an
layta 'belirleyiciliin', belli bir anda verilen balang verileri
nin, teki tm anlardaki davran tamamiyle belirledii ek
linde anlaldn anmsayn. Newton kuramndaki uzay-za
mana gre, balang verilerini belirlediimiz 'belli an', drt bo-
83
ekil 5.33. Genel grelilikte, zerinde balang verilerinin tanmlanmasna uygun bir
uzaysal yzey.
* Dalga denkleminin de (bkz. dipnot s. 50), Maxwell denklemleri gibi, greli bir
lk olgusu', sadece S'nin snrl blgelerinde yer alan balang verileriyle ilgili
denklem olduu sylenebilir. Bu durumda, Pour-El-Richards'n 'hesaplanamaz
bir etkendir.
84 Klasik Dnya
E anl uz ay
ekil 5.34. zel grelilikte, P noktasndaki olay sadece eanl uzayn snrl bir blgesin
de belirlenen verilere baldr. Bunun nedeni, etkilerin P noktasna ktan hzl gideme
meleridir.
sonsuz 'zaman diliminin' tmnde nelerin olup bittiini bilmek
zorundayz. Newton verilerinin yaylabilecei hzla ilgili bir s
mrlama yoktur, nitekim, Newton kuvvetlerinin etkisi anidir.
Genel grelilikte belirleyicilik, zel grelilikte olduundan
daha karmak bir konudur; bu nedenle sadece bir ka noktaya
deinmekle yetineceim. Birincisi, balang verilerinin tamm
lanmas iin (eanl bir yzey yerine) bir uzaysal yzeyi kullan
malyz. Bylece, eer ENERJ tensrne katkda bulunan
madde alanlarmn (doal olarak) belirlenebilir davraml ol
duklarm varsayarsak, Einstein denklemleri ktleekim alan
larmn yerel olarak belirlenebilir ekilde davrandklarili gste
rir. Ancak, nemli saylabilecek sorunlar vardr. Ik konisiyle
tamrolanan 'nedensellik' yaps da dahil uzay-zamamn geomet
risinin kendisi belirlenmektedir. Ik konisi yapsn nceden
belirleyemediimiz iin, gelecekteki bir P olaynn davramn
belirlemek amacyla S'nin hangi ksmlarm kullanacamz bi
lemiyoruz. Baz zel durumlarda S'nin tm bile yetersiz kala
bilmektedir ve dolaysyla evrensel belirleyicilik yokolmaktadr!
(Bu aamada zor sorularla kar karyayz. Bu sorular genel
grelilik kuramnda yer alan henz zmlennemi 'kozmik
sansr' ad verilen kara deliklerin oluumu ile ilgili bir sorunun
kapsamndadr (Tipler ve arkadalar 1980); (bkz. 7. Blm)
iddetli ktleekim alanlarnda 'belirleyiciliin geersizlii' gibi
bir olasln, insan leinde dorudan etkili olmas olanaksz
85
Zaman ekseni
-- - - - -- - -
Enerji-momentum
4-vektr
Uzay resmi
f
Uzay-zaman resmi
ekil 5.36. Ktleli 1t"-mezonu, ktlesiz iki fotona bozunur. Uzay-zaman resmi, enerji-mo
tayan alanlar var. kincisi, dala sonra greceimiz gibi, k hznn Einstein'n zel greliliinde
gerekten arpc bir olgudur. Birincisi, Maxwell'in elektromanyetik kurammn ktleden ayrk eneji
oynad son derece nemli rol var. ncs, Newton'un evrensel ekim knannndan minik sapmalar
var ki Einstein'n genel greliliine gre bu gibi sapmalar, sadece hzlar n hzyla kyaslanacak
ti, nkiyle kyaslandnda kara deliklerden ka hz, vb.) Drdncs, ilk kez n davramnda
kadar byk olduklarnda nem kazanrlar. (In Gne tarafndan saptrlnas, Merkili'n hareke
gzlemlenen kantum mekaniksel dalga-parack ikilii var. Son olarak, k ve ykl paracklarn
kuantunlu alan knram olan kuantum elektrodinamii var. Dnyay tasarnlad resinle ilgili derin
problemlerin, n gizemli davrannda gizli oldunu Newton'un kendisi bile kabul ederdi eklinde
bir speklasyon olduka mantkl bence. Bkz. Newton (1 730; ve Penrose 1987a).
2. Snflandrmaya almadm iyi tanmlanm multeem bir fizik kuram var: Carnot'un, Max
well'in, Kelvin'in, Boltzman'n ve dierlerinin termodinanik knran. Oknrlanmm bazlar bu kura
mn snflandrmamda niin olmadm merak edebilirler ama bunu kasten yaptm. 7. Blmde ak
layacam nedeulerle, bugnk haliyle termodinamii, STN kategorisine dalil etmek iimden
gelmedi. Ancak, bylesine gzel ve temel nitelikteki dnceler btnn, YARARLI gibi dala alt
bir kategoriye dalil etmee kalksam bir ok fiziki bunu, kutsal eylere saygszlk olarak kabul
edebilirdi. Bence, termodinanik, adndan da aulald gibi, bir sistemin bireysel bileeulerine deil
sadece ortalamalara, ksmen, baka kuramlardan uslanlamayla varlm sonulara dayal olup, bu
rada benim kastettiim anlamda tam bir fizik kuram deildir. (stastiksel mekaniin matematiksel
erevesi iin de ayn yaklam sz konusudur). Problemden kanmak iin bu zrn arkasna sak
lanyorun ve konuyn snflandrma kapsamnn tmyle dnda brakyorun. 7. Blmde grecei
miz gibi, termodinamikle, ykarda deindiim YARARLI kategorisindeki bir konu olan, byk pat
lamann standart modelinin birbirleriyle yakn ilikili oldumu iddia ediyorun. Bu iki dnce gru
bu arasnda kurulacak (u anda bulunmayan) uygn bir ilikiden, inanyorun ki, STN kategori
sinin ngrd anlamda bir fizik kuram oluabilir. Bu konuy dala sonra yine tartacaz.
3. Meslektalarm, uzun yllar ilgilendiim 'tvistor' kuramn, yeni likirierin ve yntemlerin zeuli bir
btn olan bu kuram, hangi snfa dalil edeceimi sordular. Fizik dnyasnn farkl bir knram ol
du iin, GEC kategorisinden baka kategoriye giremez. Ama bu kategoriye girmesi de pek do
ru olmaz. nk iyi tanmlanm dala nceki fizik kuranlarnn matematiksel bir kopyasdr.
4. Ancak, yle anlalyor ki Galilei gzlemlerinde o kez bir su saati kullanmtr. Bkz. Barbour (1985).
5. Newton'un ad bu modelle, dala dorusu bir btn olarak Newton mekaniiyle, sadece uygn bir
ad olarak zdeletirilmitir. Newton'un fiziksel dnyann gerek doas ile ilgili grleri bundan
ok dala az dognatik ve dala karmaktr. (Bu 'Newtoncu' modeli en ciddiye alan kiinin R.G. Bos
covich (1 711-1 787) oldu aulalyor.)
6. Raphael Sorkin, bana bu kendine zg oyuncak modelin evriminin, (rnein) Newton sistemleri
iin kullandmz yntemlerden pek farkl olmayan yntemlerle 'hesaplanabilme' olasln hatrlat
t. Sistemimizin davrann sonsuza dek ve artan bir dorulukla teleyebilmemizi salanan CI> C2,
Tu (m) ileminin N aama boyunca srdn, ve ilem o aamaya kadar durmad takdirde Tu (m)
C3 ... , gibi bir dizi hesap dnelin. (bkz. s. 30, 31). Elimizdeki rnek zerinde, Turing makinesinin
= D oldumu 'varsayarak' CN'yi tarumlamak suretiyle bunu baarabiliriz. Ancak, Tu (m) = D yerine
'tm q'lar iin T(q) durur' gibi iki kez nicelendirilmi bildirinler ieren bir evrimle bu tr hesap yn
temini rtmek iin oyuncak modelinizde deiiklik yapmak pek zor olmasa gerek. (zlmemi
bir problem olarak, farklar ikiye eit asal saylarn oluturdu sonsuz adet say ifti vardr' byle
bir bildirimin rneidir.)
7. 4. Blmde (s. 178, aklama 10) nerilen yeni Blum-Shub-Smale (1989) kuram, bu konularn ba
zlannn zm iin, matematiksel olarak ok dala kabul edilebilir bir yntem sunabilir.
93
8. Hamilton denklemleri, kendine zg grn tam olarak yanstnasa da, Hamilton'dan 24 yl kadar
nce talyan asll Fransz matematiki Joseph L. Lagrange (1736-1813) tarafindan biliniyordu. Daha
nceki bir dneme ait ayn lde nemli bir gelime, Euler-Lagrange denklemlerine dayanlarak me
kaniin formle edilmi olmasdr; ki bu durumda Newton'un hareket yasalarnn, duraan eylem ilke
nin yansra Euler-Lagrange denklemleri kayda deer gl ve pratik hesap yntemleri salar.
si (P.L.M. de Maupertuis) gibi nemli bir ilkeden kanlabildii anlalmaktadr. Kuramsal nemleri
9. Liouville'in faz uzay haciminin, Harnilton evrimine gre sabit kalan farkl boyutlarda 'hacimler'
(Poincare deimezleri) kmesinin bir yesi olmas balamnda durum gerekten 'ktleiyor'. Ancak
nermelerinin kapsamnda biraz hakszlk yaptm. (Faz uzay hacminin bir ksmna katkda bulu
nan), fiziksel serbestlik derecelerinin ilgi duynadmz bir yere yarak (sonsuzlua kamas gibi)
'atlverdii' ve bylece ilgi duyduumuz ksmn faz uzaynun daraltld bir sistem dnebiliriz.
10. zellikle bu ikinci gerek, bilim iin byk bir ansdr nk onsuz, byk cisimlerin dinamik
davramn aklamak zor olurdu. nc yasa zerinde Newton'un srarla durmasmn nedeni, ka
ll.
c'p
Maxwell'in denklemlerini sundu ekle uygun birimler semee altm (unun dnda: Max
well'in elektrik yk yonluu, burada olmalyd.) nk, baka birimler kullansaydm, denk
lemlerdeki c faktrleri farkl datlrd.
12. Aslnda, x/ler ve p/lerden oluan sonsuz tanesine sahibiz, fakat Harnilton programnn uygulana
bilmesi iin Maxwell alamm veren belirli bir 'potansiyele' sahip olmamz gerektii iin, alan dei
kenlerini bu koordinatlar gibi kullanamayz.
14. Lorentz hareket denklemleri, iinde yer ald elektromanyetik alan nedeniyle ykl bir parac
n ivmesini belirler. Ancak, ykl paracklar, o kez, k hzna yakn hzla hareket ederler, ve
n zerine etkiyen kuvveti verir; buna gre, ktlesini bilirsek, Newton'un ikinci yasas bize parac
zel grelilik etkileri nem kazannaa balar. (Bunlan bir sonraki bli.de inceleyeceiz). Bu gibi
nedenlerle, ykl bir parack iin doru kuvvet yasasnn bulunmas, zel greliliin kefine kadar
gecikmitir.
15. Gerekte, bir anlamda, Doadaki herhangi bir kuantum mekaniksel parack tek bana byle bir
saat gibi davranabilir. 6. Blmde tartacamz gibi, frekans paracn ktlesiyle orantl herhan
gi bir kuantum paracmn salnn vardr; s. 102. Son derece dakik modern saatler (atomik saatler,
nkleer saatler) sonuta bu geree dayanlarak gelitirilmitir.
16. Seyahat eden kardein B'deki dnya izgisinde bir 'ke' olutu iin, onun B olaynda sonsuz
ivmeyle, seyalat eden gzlemcinin dnya izgisinin B'deki kesi giderilebilir, ve bylece, hala, Min
bir ivmeye maruz kalacandan endie duyabilirsiniz. Endielenmeniz iin bir neden yok. Snrl bir
kowski'nin tm dnya izgisi 'uzmlu' ile llen ve seyalat eden gzlemcinin geirdii toplam se
yalat sresinde pek az deiiklik oluur.
17. Bmlar, Einstein'n eanllk tanmna gre earl olduklan M tarafndan belirlenecek olayiann
uzaylandr. Eanllk tanm, M tarafndan gnderilen ve sz konusu olaylardan tekrar M'ye yanst
lan k sinyallerini kullanr. Bkz. Rindler (1982).
94 Klasik Dnya
18. Bu, eklin ilk ikinci zaman trevidir (veya 'ivmesidir'). Biimin deime hz (veya 'hz') balan
gta sfr olarak alnmaldr, nk kre, hareketine durgun olarak balar.
genel greliliioden sonra, ilk kez Fransz matematikisi Elie Cartan (1923) tarafndan yaplmtr.
19. Newton kuramnn bu ekilde yeniden biimiendirilmesi matematiksel olarak, kukusuz Einstein'n
20. Bu anlamda yerel olarak Eukleides yapsnda olan (daha yksek boyutlardaki) erilikli uzaylara,
tr uzaylar ilk kez aratran byk matematiki Bernhard Riemann'n (1826-1866) ad verilmi ve
iki boyutlu uzaylar zerine Gauss tarafndan daha nce yaplm baz almalardan esinlenerek bu
Riemann manifoldlar denmitir. Burada, yerel geometriyi, Eukleides yapsnda deil, yerel olarak
kez Lorentz manifoldlar olarak anlr. (veya Riemanns manifoldlar, veya daha az mantksal olarak,
Minkowski uzay alarak Riemann'n grnde nemli bir deiiklik yapmalyz. Bu tr uzaylar ou
21. Okuyucu, bu sfr deerinin nasl olup da 'uzunlunn' maksintum deerini temsil ettiini merak
edebilir! Gerekten temsil eder, fakat biraz belirsiz bir anlamda: Sfr uzunluktaki bir geodezik, (ye
rel) noktalarnn herhangi ikisini birletiren baka parack dnya izgileri blunmad gereiyle
karakterize edilebilir.
22. Ashda, sunduum rneklerde biin-bozlmas ile hacint-deimesi konlar arasndaki ayrm
pek iyi tannlanm deil. Ricci tensrnn kendisi belli miktarda bir bozlmay tanmlayabilir.
(Ik iin bu blnme tamamen aktr; bkz. Penrose and Rindler (1986), 7. Blm) Weyl ve Ricci ten
srlerinin daha kesin tanm iin bkz. Penrose and Rindler (1984). s. 240, s. 210. (Almanya'da doan
Hermann Weyl, bu yzyh en nemli matematikilerinden biridir; talyan Gregorio Ricci ise, geen
yzylda tensrler kuramn kefederek etkili olmu bir geometricidir.)
23. Deuklenlerin doru ekli, 1915 Kasm aynda David Hilbert tarafndan da belirlenmitir. Ancak
kuramn lizikle ilgili ngrleri yalnz Einstein'a aittir.
25. Bu savla ilgili (pek de tatmin edici olmayan) baz yntenler vardr. Bkz. Wheeler and Feyuman (1945).
26. Teknik olarak 'yzey' yerine 'hiperyzey' teriminin kllanlmas daha uygun, nk yzey iki de
il, boyutludur.
27. Bu konlarla ilgili gl teorenler ok yararl ve ilgin olurdu, ama bugn iin, byle teorenler
yoktur.
28. Varolan kurama gre hesaplanamaz; dolasyla (geici olarakl yararsz yant udur: Sonsuzluk!
VI. Blm
Kuantumun Bys ve Kuantum Gizemi
ekil 6.1. Istlan bir maddedeki atomlar, zgn frekanslarda k yayarlar. Bu ma,
bir prizmadan geirilerek, atomlarn zelliini yanstan spektrun izgileri kmesi olu
turulur.
100 Kuantumun Bys ve Kuantum Gizemi
Ima genlii
Frekans
ekil 6.2. Scak bir cismin ('siyah cisim') ma genliinin klasik yntemle (Rayleigh-Je
E = hv
Burada h, Planck sabiti olarak bilinen, Doann yeni bir temel
sabitidir. Byle bir zorlama varsaym yoluyla Planck'n, bugn
Planck ma yasas ad verilen kuram ile, ma genliinin fre
kansa bamlln gzlemlerle badatrmas artcdr.
(Planck sabitinin deeri normal standartara gre ok kk
tr: yaklak 6.6 x 10-34 Joule-saniyedir.) Planck bu cesur atl
myla kuantum kuramnn perdesini aralam oldu. Einstein
baka bir artc neride bulununcaya kadar fazlaca bir dik
kat de ekmedi. Einstein'n buluu yleydi: Elektromanyetik
alan tamamiyle bu tr bamsz birimlerden oluur! Maxwell
ve Hertz'in, n elektromanyetik alan salnmlarndan olu
tuunu gsterdiklerini anmsayn. Bylece, Einstein'a -ve Eins
tein'dan iki yzyl kadar ncesi Newton'a- gre k aslnda par
acklardr! (Ondokuzuncu yzyln balarnda ngiliz kurarnc
ve deneyeisi Thomas Young n dalgalardan olutuunu gs
termiti. )
102 Kuantumun Bys ve Kuantum Gizemi
ulaan enerji asla bir fotonun yans (veya herhangi bir baka
oran) kadar deildir. Ik dm, foton birimleri cinsinden bir
ya- hep-ya-hi olaydr. Sadece tam sayda foton grlebilir.
Kaynak
Ik
genlii
ekil 6.3. Monokromatik (tek renkli) kla yaplan iki ince yark deneyi.
104 Kuantumun Bys.ve Kuantum Gizemi
'iW@\'W$tt,fttY
. : .
*: i1
ekil 6.4. Bir yark ak olduunda ekranda grlen genlik dalm tek tek kk nok
talar eklindedir.
noktalarda, aydnlanma genlii, ilk deneydeki genlie kyasla,
iki kat deil tam drt kat artmtr. Desenin en fazla silikletii
dier yerlerde genlik sfra iner. Sfr genlikli noktalar parack
yorumu iin belki en byk problemi yaratmaktadr. Yarklar
dan birinin ak olmas durumunda fotonun gle oynaya ulat
bu noktalar, ikinci yarn da almasyla birdenbire fotona
yasaklanverdi. Fotona izleyecei yol iin ikinci bir seenek su
narak nasl oluyor da onun teki yolu da izlemesini nlyoruz?
Fotonun dalgaboyunu, fotonun 'bykl' olarak alrsak, ikin
ci yark birincisinden 300 foton bykl kadar uzaktadr
(her bir yark birka dalgaboyu kadar aktr ) (ekil 6.6). y
leyse foton, yarklardan birinden geerken teki yarn ak
olup olmadn nasl biliyor? Aslnda, ilke olarak, sz konusu
'yapc' veya 'ykc' giriim olaylarnn olumas iin iki yarn
birbirinden uzakl konusunda bir snr yoktur.
: .
. . . . .. : . . . . . .
. . . . . .
. : ..
. . .
. . . .. : . . . '
. . :. : . ; . : . : . : :
. .
. .
ekil 6.5. Her iki yark da ak olduundaki genlik kesikli noktalarm dalgal dalmn
gsterir.
106 Kuantumun Bys ve Kuantum Gizemi
ekil 6.6. Fotonun bak asndan yanidari 300 'foton bykl' kadar uzaklktaki
ikinci yann ak m yoksa kapal m olduunu foton nasl fark edebilir?
f\rYVv'
.:::-.
Salnnlar birbirini
-- --.jV\.}1./'v
;
...,__. sndrr (koyu)
"-.._
//"/ /;:!Vv\
Salnmlar birbirini
destekler (parlak)
Olaslk Genlikleri
Bir nceki ksmdaki tammlamalarda fotonlar kullanman
zn zel bir amac yoktur. Elektronlar veya herhangi bir tr
109
p + q = l.
Ancak, A ve B'den baka seenekler de varsa, A seenei ile B
seeneinin olasklarnn toplam l'den kktr. Bu durumda,
p : q oran A olaynn B olayna gre oluma olasl orandr.
Yalnz bu iki seenee gre A ve B olaylarnn gerek olaslkla
r, srasyla, p 1 (p + q) ve q 1 (p + q) olarak bildirilir. Bu yorum
p + q, l'den byk olsa bile kullanlabilir. ( rnein, st ste yi
nelenen bir deneyde bu yorumun ok yarar olabilir: A verileri
nin says olarak p ve B verilerinin says olarak q alnabilir).
p + q = 1 ise p ve q saylarnn normalletirilmi olduunu ve
bu nedenle, sadece olaslklarn oranlarn deil gerek olaslk
larn verdiklerini syleyeceiz.
Kuantum fiziinde grnte buna benzer bir uygulama ya
pacaz ama bu kez p ve q, kompleks saylar olacak. Bu nedenle
p yerine w, q yerine z kullanmay yeleyeceim:
w kere A seenei art z kere B seenei
'
yazdmzda 'w ve 'z'yi nasl yorumlamamz gerekir? Kukusuz
bunlar olaan olaslklar (veya olaslk oranlar) deiller. nk
her birisi bamsz olarak eksi veya saf sanal olabilir, ama ikisi
de bir ok bakmdan olaslk olarak davranr. (Daha sonra gre
ceimiz gibi, uygun eK.ilde normalletirildiklerinde) olaslk
genlikleri veya sadece genlikler olarak anlrlar. stelik, ou
kez, olaslklarn artrd yle ifadeler kullanrz: 'A'nn ol
mas genlii w, B'nin olmas genlii, z'dir.' Gerek olaslklar ol
masa da imdilik bunlar olaslklar veya daha dorusu, olaslk
larn kuantum dzeyindeki benzerleri olarak kabul edeceiz.
Normal olaslklarn kurallar nelerdir? Daha nce tanmla
dmz iki yark deneyinde (ekil 6.3) olduu gibi fakat bu kez
foton yerine makroskopik bir nesne, diyelim bir top kulland
mz ve topa vurarak iki delikten birinden geirip arkadaki bir
lklardan birisi P(s, t)'dir, yani s 'de vurolduktan sonra top stte
ekrana gnderdiimizi varsayalm. Bu durumda oluacak olas
ki t deliine ular; baka bir olaslk P(s, b)'dir, yani top alttaki
b deliine ular. Ayrca, ekran zerinde zel bir p noktas be
lirlersek baka bir olaslk, P(t,p), yani topun t deliinden gee
rek ekrandaki p noktasna ulaaca olaslk; ve yine baka bir
olaslk P(b,p), yani b deliininden geerek p noktasna ulaaca
olasldr. Yalnz t st delii ak olduu takdirde topa, vu-
lll
Hepsi iyi gzel de, bir kuantum etkisi klasik dzeye ulanca
ya kadar byltld zaman, bu genlikleri nasl yorumlayaca
mz bilmedike bunun bize pek bir yaran yok. rnein p nok
tasna yerletirilen bir foton detektr, veya bir fotosel, kuan
tum dzeyindeki bir olay, fotonun p'ye ulamas olayn bylt
menin ve klasik olarak farkedilebilecek, diyelim bir 'klik' sesinin
duyulmas gibi bir olay, haline getirmenin yolunu bulabilir. (Ek
ran, fotonun gzle grlebilir bir leke brakahilecei fotoraf fil
ni grevini grebilse bu da ie yarayabilirdi, ama yine de biz bir
112 Kuantumun Bys ve Kuantum Gizemi
Y Sanal eksen
Reel eksen
X
Birim ember
bir olaslk genlii. Merkezden uzakln karesi 1 z 1 ', etkilerin klasik dzeye byltl
ekil 6.8. Argand dzleminde birim ember stnde kalan bir z noktas ile temsil edilen
Z+ W
ekil 6.9. tki genliin toplamnn mutlak deer karesi iin 2 w z cos e dzeltme teri
mini veren geometri.
1 15
olasl sfrdr. Bunun yerine, 1 \jl(x) 1 ' ifadesini bir olaslk younluu olarak
* Burada teknik bir sorun var nk bir parac kesin bir noktada bulmak
(a)
ekil 6.10. (a) Bir x reel deikeninin reel deerli fonksiyonunun grafii. (b) Bir x reel
deikeninin kompleks deerli fonksiyonu fnin grafii.
den \jf 'yi elde etmek iin uyguladmz yntemi uygulanz. Artk,
hannonik analizi yaplacak olan fonksiyon \if 'dir. 'Yaln tonlar' (mo
mentum uzay resmindeki sannallar), imdi konum durumlar adn
alrlar. Her bir x-konumu, momenturu uzaynda bir 'yaln tonu' belir
ler, ve bu 'yaln tonun' \jl'ye katksnn bykl \jl(x) deerini verir.
Bir konum durumunun kendisi, olaan konum uzay resmin
de, x-deeri dnda tm genliklerin sfr olduu ortamda, x dee
rinde birdenbire ykselen bir \jl fonksiyonuna karlk gelir. By
le bir fonksiyon, x noktasnda ald deer sonsuza gittii iin,
teknik olarak, tam bir 'fonksiyon' saylnasa bile, (Dirac) delta
fonksiyonu adyla bilinir. Ayn ekilde, momenturo durumlar
(konum uzay resimindeki sarmallar), momenturo uzay resmin
deki delta fonksiyonlann verirler (ekil 6.12). Bylece, bir sar
maln Fourier dnm bir delta fonksiyonudur, veya bunun
tersi, bir delta fonksiyonu, bir sarmaln Fourier dnmdr.
Konum uzay tanm, bir paracn konumunun lm iin
yararldr; bu lmde, olas konurolann etkilerinin klasik dze
ye ykseltimi gerekir. (Genel bir rnek olarak, fotoseller ve foto
raf filmleri, fotonlann konum lmlerini salarlar.) Momenturo
uzay tanm ise, paracn momenturounu lmek iin (baka
deyile, farkl momenturulann etkilerinin klasik dzeye ykselti
mi iin) yararldr. (Momentum lmlerinde geritepki etkileri
veya kristallerden knnm etkileri kullanlabilir.) Her durumda,
kar gelen dalgafonksiyonunun (\jl veya \if ) mutlak deer karesi,
ngrlen lmn sonucunun istenen olasln verir.
ki yank deneyine bir kez daha dnerek bu ksmdaki tart
mamz noktalayalm. Kuantum mekaniine gre, bir tek par
acn bile, tek bana, sanki bir dalgaym gibi davranabilece
ini rendik. Bu dalga, \jl dalgafonksiyonu ile tanmlanr. En
----- !
-------.;.:
d
;::
:7 .::z. ;
ekil 6.12. Konum uzaynda delta fonksiyonlar, momentum uzayndaki sarmallara gi
der veya bunun tersi olur.
121
CD r CD t nlerde yerde-
gtirne: koyu
(tl
(!) T (!)Ayn ynde yerde-
itirne: parlak
s
Ekran
ekil 6.13. ki yank deneyinin foton momentum durumlannn sarmal tannyla analizi.
Belirsizlik lkesi
Pek ok okuyucu Heisenberg belirsizlik ilkesini duymu ol
maldr. Bu ilkeye gre bir paracn hem konum ve hem mo
mentumunu ayn anda lmek (yani klasik dzeye byltmek)
mmkn deildir. Bundan da kts, ix ve i1p ile gsterecei
miz bu lm kesinsizliklerinin arpmlannda,
Ax. L1JJ ;? -n
baintsyla gsterilen mutlak bir alt snr vardr.
Bu forml bize, eer x konumunu lerek ne kadar kesin be
lirliyorsak, p momenturounun o oranda belirsiz kalacan sy
lemektedir. Aynen kesin p momenturo lmleri de x konumu
nu belirsiz brakacaktr. Eer konumu sonsuz duyarllkta l
m olsaydk momenturo btnyle belirsiz kalrd; tersine
eer momentumu kesin olarak lseydik paracn konumu ta
mamen belirsiz kalrd. Heisenberg bantsnn getirdii alt s
nnn bykl hakknda bir fikir edinmek iin bir elektronun
konumunun nanometre ( 10-9m) mertebesinde duyarllkta l
leceini dnn; bu durumda momentumu o denli belirsiz ka
lr ki lmden bir saniye sonra elektronun bize 100 km'den da
ha yakn olmasn bekleyemeyiz.
Baz tanmlamalarda, lme srecine has bir tr iten becerik
sizliin bulunduunu sanabiliriz. Dolaysyla, biraz nce dn
dmz elektronun konumunu belirlemek stersek, bu gr
123
asna gre, lme sreci srasnda elektron yle bir rasgele 'dar
be' alr ki, bykl Heisenberg ilkesiyle bulunacak bir hzla
uup gitmesi olasl byktr. Dier tanmlamalarda ise belir
sizliin paraca has bir nitelik olduunu renmekteyiz; hare
ketinde yle bir rastgelelik var ki kuantum dzeyinde davran
n ngremeyiz. Bundan da farkl tanmlamalarda, kuantum
paracnn klasik konum ve klasik momentum kavramlarnn
uygulanamad anialamaz bir ey olduu sylenir. Bu tanm
lamalarn hi birisinden holanmyorum. Birincisi yanltcdr,
ikincisi kesin yanltr, ncs ise gereksiz yere karamsardr.
Dalgafonksiyonu tanm, gerekte bize ne bildirir? Momen
turo durumunun tanmn anmsaynz. Momentumun en belir
gin olduu durum budur. \jf-erisi bir sarmaldr ve ileriedii
tm yol boyunca eksenden uzakl sabit kalr. Farkl konum
deerleri ile ilgili genliklerin, bu nedenle, mutlak deer kareleri
eittir. yleyse, bir konum lm yaplrken parac herhan
gi bir noktada bulma olasl, bir baka noktada bulma olasl
yla ayndr. Paracn konumu gerekten tmyle belirsiz
dir! Peki, bir konum durumu nedir? imdi, \jf-erisi bir delta
fonksiyonudur. Tm teki konum deerleri iin genlikler sfr
olduu iin parack kesinlikle delta fonksiyonun tepesindeki
konumda yer alr. Momentum genlikleri, momentum uzay ta
nmlarna baklarak elde edilir; momenturo uzaynda \jf-erisi
artk yle bir sarmaldr ki, farkl momenturo genliklerinin t
mnn mutlak deer kareleri eittir. Paracn momentumun
llmesi tamamlandktan sonra elde edilecek sonu imdi ta
mamen belirsizdiri
Konumlarn ve momentumlarn, Heisenberg bantsna gre
belirli bir derecede de olsa snrland bir ara durumu incele
mek ilgi ekici olabilir. Bu duruma ait \jf-erisi ile \il -erisi (bir
birlerinin Fourier dnmleri), ekil 6. 14'te gsterilmitir.
Dikkat ederseniz, her bir erinin eksenden uzakl yalnz dar
bir blgede hatr saylr byklktedir. Uzaklatka, eri ek
seni ok daha sk sarmaktadr. Baka bir deyile, mutlak deer
kareler, gerek konum uzaynda gerekse momenturo uzaynda,
yalnz ok snrl bir blgede deerlendirilebilecek boyuttadr.
Bu ekilde parack uzayda olduka dar bir blge iine snrlan
drlabilir, fakat yine de belirli bir yaylma vardr; ayn ekilde
124 Kuantumun Bys ve Kuantum Gizemi
ekil 6.14. Dalga paketleri. Bunlar hem konum uzaynda hem de momentum uzaynda
yerellemitir.
U ve R Evrim Yntemleri
Bir dalga paketinin zamanla evriminin yukandaki tanmla
mas; dalgafonksiyonunun zaman ierisinde nasl evrimletii
ni bildiren Schrdinger denklemini artrmaktadr. Schro
dinger denklemine gre, 'Jf'yi momentum durumlarna ('yaln
tonlar') ayrtrrsak, her bir bileen, c2 bl ele alnan roomen
tumuna sahip klasik bir paracn hz kadar bir hzla hare
ket edecektir. Aslnda Schrdinger'in matematik denklemi bu
aklamadan daha z yazlmtr. Denklemin kendisini daha
sonra irdeleyeceiz. Harnilton veya Maxwell denklemlerine
(her iki denklerole yakn benzerlikleri vardr) benzeyen bu
denklem, ayn ad geen denklemler gibi herhangi bir zamanda
belirlenmi dalgafonksiyonunun tamamiyle belirleyici evrimini
verir! (bkz. s. 170-1 71)
'Jf'nin dnyann 'gerekliini' tanmlad kabul edilirse -'Jf,
belirleyici Schrdinger evrimi tarafndan ynetildii srece- ku
antum teorisinde doutan varolduu dnlen belirleyici ol
mama zelliinden bir iz bile kalmaz. Bu evrime U diyelim. An
cak, kuantum genliklerini klasik dzeye ykseltmek iin ne za-
125
ma sabitine-burada --12- blerek ('!'t + '!'b) 1 --12 ifadesini bulmaktr. Fakat tanm
* Daha allagelmi bir kuantum mekaniksel tanm, bu toplam bir boylandr
ekil 6.15. Foton dalgafonksiyonu bir ift ince yanktan getikten sonra ayn anda iki ay
n yerde sivrilir.
veya
129
ekil 6. 16. Bir foton dalgafonksiyonun iki noktada sivrildii farkl seenek.
ekil 6.1 7. Bir dalgafonksiyonunun iki sivri tepe noktas birbirlerinden birka k yl
uzak olabilir. Bu olay, yan saydam bir aynayla gerekletirilebilir.
s
Foton
T :;anstc dedektrleri
__.,__/
{
1- -- -- an
saydam A
t +
/ Yan saydam
1
-J
:.
__ __ ---- _ _ am yanstc
./
Kaynak
ekil 6.18. Dalgafonksiyonunun iki sivri tepe noktas fotonun sadece bir yerde veya ba
ka yerde bulunmas olasl katsaylan olarak dnlemez. Fotonun izledii iki yol ke
sitirilebilir.
Hilbert Uzay
Klasik sistemlerin tanm iin 5. Blmde bir faz uzay kavra
mnn verildiini anmsaynz. Faz uzaynn her bir noktas, fizik
sisteminin (klasik) bir durumunu temsil etmek iin kullanlyor
du. Kuantum kuramnda bunun uygun bir karl Hilbert uza
ydr*. Hilbert uzaynn her bir noktas, tm sistemin bir kuan
tum durumunu temsil eder. Hilbert uzaynn matematiksel yap
sna gzatmamz gerekiyor. Umann byle yapmakla okurun g
zn yldnnam. Aklayacaklanm matematiksel ynden hi de
karmak olmamakla birlikte baz kavramlar yabanc gelebilir.
Hilbert uzaynn en belirgin zellii bir vektr uzay, daha
dorusu kompleks bir vektr uzay olmasdr. Bunun anlam,
uzayn herhangi iki elemann toplayabiliriz ve baka bir uzay
eleman elde edebiliriz ve bu toplama ilemlerini kompleks kat
saylarla da yapabiliriz demektir. Bu toplama ilemlerini yapa
bilmeliyiz nk bu ilemler, biraz nce incelediimiz izgisel
kuantum birletirimleri, zellikle fotonla ilgili olarak \jft + \jfb,
\jft - \jfb, \jft + \jfb, vb. sonular veren ilemlerdir. Aslnda,
'kompleks vektr uzay' terimini kullanmakla, bu trden katsa
yl toplamlar oluturabileceimizi anlatmak istiyoruz.5
Hilbert uzaynn elemanlann, yani durum vektrlerini sim
geleyen \jf>, x>, <p), >, l >, 1 3), n >, 1 1'>, J), >, 1 .?)'
vb., (Dirac bildirimine uygun) bir kodlama kolaylk salayacak
tr. Bu simgeler, kuantum durumlann gsterir. ki durum vek
trnn toplama ilemi iin
1 \jf> + 1 x>
yazanz; w ve z kompleks katsaylanyla
w 1 \jf> + z 1 x>
* Daha nceki blmlerde tantmz David Hilbert, kuantum mekaniinin
bulunmasndan ok nce bu nemli kavram, sonsuz boyutlu biimiyle, stelik
tmyle farkl bir matematiksel amala kullanmtr!
134 Kuantumun Bys ve Kuantum Gizemi
'Jf>, 2 'Jf>, - 'Jf>, i 'Jf>, -J2 'Jf>, 1t 'Jf>,c - 3i) 'Jf>, v.d.
veya daha genel olarak durum vektr verilen bir z =1= O says
iin z 'Jf> ile, ayn fiziksel durumu temsil ederler. Hilbert uzay
nn, fiziksel bir durum olarak hibir yoruma sahip olmayan tek
eleman O sfr vektrdr (veya Hilbert uzaynn merkezidir.)
Btn bunlarn geometrik bir resmini elde etmek iin nce,
'reel' vektr kavramn biraz daha inceleyelim. Byle bir vekt
r, ou kez, bir dzlem zerine veya boyutlu bir uzayda i
a+
b
o
b ;
_,/
ekil 6.19. Bildiimiz uzaysal vektrler iin olduu gibi, Hilbert uzayndaki vektrlerin
toplanmas ve saylada arplmas ilemleri normal ekilde dnlebilir.
135
Fiziksel olarak
-I'IJI)
ekil 6.20. Hilbert uzaynda nlar, fiziksel kuantum durumlarm temsil ederler.
136 Kuantumun Bys ve Kuantum Gizemi
' /
/ Momentnn durumu
' ekseni
'
/ ' Konum durumu ekseni
'
/
ekil 6.21. Konum ve momentnn durumlan ayn Hilbert uzaynda dikey eksenler olu-
tururlar.
137
lmeler
lme (veya gzlem) ile ilgili genel bir R kural bir kuantum
sisteminin eanl olarak klasik dzeye byltlebilen farkl ni
teliklerinin -ki sistem bunlar arasndan bir seim yapmaldr
daima birbirlerine dikey olmalarn gerektirir. Bir tam lme
iin seilen seeneklerin kmesi, birbirlerine dikey vektrler
den oluur; bunun anlam, Hilbert uzayndaki her vektrn
(tek bir ekilde bunlar cinsinden) dorusal olarak ifade edilebi
leceidir. Tek paracktan oluan bir sistemde konum lm
iin, bu taban vektrleri, sz edilmi konum eksenlerini ta
nmlar. Momentum iin, momenturo eksenlerini tanmlayan
farkl bir kme, ve sistemin baka bir tam lm iin yine bir
baka kme olacaktr. lmeden sonra sistemin durumu, taban
kmesinin lmeyle saptanm eksenlerinden birine atlar. Bu
seim sadece olaslkla belirlenir. Seilen eksenler arasnda,
Doann hangisini seeceini bize bildiren dinamik bir yasa
yoktur. Doann seimi, olaslk deerlerini olaslk genlikleri
nin mutlak deg-er karesi yapmak dnda rasgeledir.
Durumu 1 'l'.> olan bir sistemde, sistemin tam bir lm ya
plsn ve seilen lmede taban olarak
l o>, 1 >, 1 2>, 1 3), ...
rum vektleri alnn. Bunlar bi tm kme . oluturduklar
n, herhang baka br durum vektoru, . ve ozellkle 1 \j/), bunla
rn cinsinden dorusal* olarak gsterilebilir:
* Bu kavram, vektrlerin sonsuz toplamna izin verildii anlamnda kabul edil
melidir. Hilbert uzaynn tam bir tanm (burada aynntlandramayacam ka
dar teknik bir tanm), bu tr sonsuz toplamlarla ilgili kurallan ierir.
138 Kuantumun Bys ve Kuantum Gizemi
ve gerek olaslklar
lO)
ekil 6.22. w> durum vektrn o>, >, 2>... w> durum vektrnn eksenleri s
tne dey izdmlerinin boylan, ngrlen zO> z. z2 genliklerini verir.,
..
ekil 6.23. Durum vektrn indirgenmesi. Bir evetlhayr lmesi, birbirlrine dik tmle
yen iki Y ve N blgesini belirleyerek tammlanabilir. lm sonras '1';, bu blgelerin
birindeki ya da tekindeki izdmne atlar; bu srecin olasl, durum vektrnn bo
yunun karesinin izdm srasndaki ksalmasyla orantl olarak belirlenir.
Bir kuantum sistemi stnde yaplabilen lmelerle ilgili son
bir konuya deinmek istiyorum. Kuantum kurallannn sonula
nndan birisi udur: Hangi durum sz konusu olursa olsun, diye
lim x> durumu iin, llen durum x> ise (veya ona orantl
ise) yantn EVET olduu, x> 'ye dik ise yantn HAYIR olduu,
uygulanabilir bir evetlhayr olm7 ilke olarak vardr. Buna g
re y blgesi, seilen herhangi bu x> durumunun arpanlann
dan oluabilir. Burada gl olarak nerilen, durum vektrleri
nin somut birer gerek olduklandr. Bir fiziksel sistemin duru
mu ne olursa olsun -bu duruma x> diyelim- EVET sonucunu
kesinlikle sadece x> veya ona orantl bir durumda veren bir
lme ilke olarak yaplabilir. Baz x> durumlan iin bu lme
141
9
den ok, uzayda taban tabana zt ynlerin karldr.)
l t) : .
1 ) : ,
ekil 6.24. Bir elektronun spin durumlannn taban sadece iki durumdan oluur: Yukan
spin ve aa spin.
! ;r) :
( = l t) + q l) )
0 .
.
.
ekil 6.25. ekildeki Riemann kresi, bir spin -i paracnn fiziksel bakmdan farkl
spin durumlarmn uzay olarak gsterilmitir. Kre, ekvator dzlemiyle akan Argand
dzlemine, gney kutup noktasndan (=) izdrlmtr.
145
Foton Spini
imdi, bir fotonun 'spin'ini ve bunun Riemann kresi ile ilgi
sini inceleyelim. Fotonlarn, spini vardr, fakat daima k h
znda ilededikleri iin spinin deimez bir noktaya gre verildi
i dnlemez; spin ekseni daima hareket ynndedir. Foton
spinine kutuplanma ad verilir; 'polaroid' (kutuplayc) gne
gzlklerinin davrannn dayana bu olgudur. ki kutuplay
cy st ste koyup baknz. Bir miktar n getiini grecek
siniz. Bu kez, kutuplayclardan birini sabit tutarken dierini
eviriniz. Geen k miktannn deitiini grrsnz. In
maksimum miktann yakaladnz anda, sabit kutuplayc, ha
reketli kutuplaycdan geen hemen hemen hi azaltmaz;
halbuki bu konuma gre hareketli kutuplaycy doksan derece
dndrrseniz; ikinci kutuplayc k miktann hemen hemen
sfra indirir.
Bu olay, n dalga tanmyla aklandnda anlamak ko
laylar. Bunun iin, Maxwell'in salnan elektrik ve manyetik
alananna ihtiyacmz var. ekil 6.26'da, bir dzlemsel kutup
lanm k gsterilmektedir. Elektrik alan, kutuplanma dzle
mi denilen bir dzlemde ileri geri salnm durumundadr, ve
manyetik alann salnm da bununla uyumludur, ancak man
yetik alan salnm dzlemi, elektrik alannnkine diktir. Her
Elektrik alan
<L]J:P
Manyetik alan >
ekil 6.26. Dzlemsel kutuplanm bir elektromagnetik dalga.
150 Kuantumun Bys ve Kuantum Gizemi
Elektrik
\__[;7 _;JJFf
Manyetik
Elektrik vektr vektr
Manyetik, embersel Eliptik
alan kutuplanna kutuplaruna
Fotonun
hareket yn
ekil 6.28. .Yq'nun Riemann kresi ile bir fotonun kutuplanna durumlan tammlanr.
(.Jq noktasyla tanmlanan vektre Stokes vektr denir.)
ekil 6.29. Ktleli bir parack iin genel bir yksek spinli durum, rasgele ynlere yne
lik spin 112 durumlannn bir derlemi olarak verilebilir.
ok Parackl Sistemler
ok parackl durumlarn kuantum mekaniksel tanmlama
lan, ne yazk ki, biraz karmaktr. Aslnda son derece karma-
* Daha doru bir yaklamla; karmak sistemlerde toplanan pek ok farkl toplam
spin degerieri varolabilecei iin asal momentum, ok sayda, noktalardan
oluan bu tr dzenlernelerin kompleks izgisel birletirimiyle tanmlanmalyd.
Bylece ortaya kan tanm, klasik asal momentum tanrnma daha da az benzer!
155
Burada, eitli z0, z v z2, z3, ... z9 bileenleri, her bir noktada bu
lunan paracn ilgili genliklerini verirler. On kompleks say,
paracn durumunu belirler. ki parack durumu iin her bir
ift konum ile ilgili bir genlie gereksinim duyanz. Dolaysyla
oz = oo
farkl (sralanm) konum ifti vardr, yleyse yz kompleks sa
yya gereksinimimiz vardr! Sadece bir parackl iki duruma
(yani, yukardaki 'iki konumun bir fonksiyonu' yerine 'bir konu
mun iki fonksiyonuna') sahip olsaydk, yalnz yirmi kompleks
sayya gereksinimimiz olacakt.
Bu yz sayy yle gsterebiliriz:
Zoo' zov Zoz, ... , zog, Z o , Zv Z z, ... , Zzo , ... , Zgg
ve bunlann karl (ortonormal) taban vektrlerini de yle
gsteririz: 12
o> o>, o> >, o> 2>, ... , o> 9>, > o>, ... , 9> 9>.
Buna gre genel iki parack durumu 1 'If>, u ekilde bir top
larola gsterilir:
'If> = Zoo O) O) + Zo O) > + . . . + Zgg 9) 9).
Bu 'arpm' gsterimi u anlam tar: a), birinci parack iin
(konum durumu olmas gerekmiyor) olas bir durumsa, ve ),
ikinci parack iin olas bir durumsa; birinci paracn duru
munun a) olduunu ve ikincisininkinin ) olduunu gste
ren 'durum' yle yazlr:
gibi bir birletirimde 1 p), birinci sistemin baka bir olas durumu
ve 1 cr), ikinci sistemin bir baka olas durumudur- Bu durum, bir
izgisel birletirimdir; birinci birletirme ( 1 a) ve I p)) art ikinci
birletirme ( 1 p) ve 1 cr)) eklinde verildii iin, bir arpm (yani, iki
durumun birletirini) olarak yorunlanamaz. Bir baka rnek ola
rak, 1 a) I p) - i 1 p) 1 cr), farkl bir izgisel birletirimi bildirir. Dik
kat ederseniz, kuantum mekanii, 've' ve 'art' szcklerinin an
lamlar arasndaki kesin aynma zen gsterilmesini ngrmekte
dir. Modem dilde -zellikle sigorta belgelerinde olduU gibi- 'art'
szcn 've' yerine yanl olarak kullanma eilimi yazk ki g
rlmektedir. Burada bu konuda ok daha dikkatli olmalyz!
parack sz konusu olduu zaman durum yine buna ben
zerdir. Genel bir parack durumunu tanmlamak iin, yuka
ndaki rnekte yalnz on alternatif konum varken bu kez tam
bin adet kompleks sayya gereksinim duyarz! parack du
rumlan iin eksiksiz bir taban olarak u yapy kullanabiliriz:
1 o> 1 o> 1 o>, 1 o> 1 o> 1 >, 1 o> 1 o> 1 2>, ... , 1 9) 1 9) 1 9).
zel parack durumlan:
1 a) I p) 1 i> eklindedir.
(Burada 1 a), I p) ve 1 y)'nn konum durumlar olmalar gerek
mez). Fakat bu basit 'arpm' eklindeki bir ok durumun, genel
bir parack durumu elde etmek zere, izgisel birletirimi
gerekecektir. Buna gre, drt veya daha fazla parack iin du
rum vektr tanmlannn nasl yaplabilecei aktr.
u aamaya kadarki tartmamz, 'birinci parack', 'ikinci
parack', 'nc parack' vb. ayrdedilebilir paracklar ze
rine geliti. Ancak, kuantum mekaniinin arpc bir zellii,
zde (ayrdedilemez) paracklar iin kurallann farkl olmas
dr. Gerekte, kurallar, belli tr paracklann sadece, diyelim
son derece birbirine benzer olmalann deil kesinlikle zde ol
malarn ngrr. Bu kural, tm elektronlar ve tm fotonlar
iin geerlidir. Fakat elektronlar, tm fotonlarn birbirlerine
zdeliklerinden farkl ekilde birbirlerine zdetirleri Bu fark,
elektronlarn fermiyonlar olmasndan, fotonlarn ise bozonlar
olmasndan kaynaklanr. Bu iki genel tr parack birbirinden
olduka farkl ekilde ele alnmaldr.
158 Kuantumun Bys ve Kuantum Gizemi
(ox 9) = 45
p) cr) .
Buna gre A ile ilgili lmmz B'nin durumunun, bir EVET
yantyla )'ya atlamasna, HAYIR yantyla ise cr)'ya atla
masna neden olur! B paracnn A blgesinin yaknnda bir
yerde yerellemesine gerek yoktur; k yllarnca uzak olabilir
ler birbirlerinden. Fakat B, A'nn llmesiyle ayn anda atlar!
Fakat durun. Okuyucu ''bu 'atlama' da neyin nesi?" diye so
ruyor olabilir. imdi rnekleyeceim nesneler neden 'atlam
yor'? inde bir beyaz top ve bir de siyah top bulunduu bilinen
bir kutu dnn. Toplar kutudan karp hi bakmadan oda
nn iki ayr kesine frlattmz varsayalm. Sonra toplardan
birini incelediimiz zaman beyaz olduunu grrsek (yukarda
ki ' aY gibi) -hey presto!- teki topun siyah olduu (' )' gibi)
anlalr! te yandan, ilk incelediimiz top siyah ise (' p )'),
ikinci topun belirsiz durumu, bir anda, 'kukusuz olarak, beya
za' atlar (' cr)'). Okuyucunun da bu konuda srar edecei gibi,
akl banda hi kimse, ikinci topun 'kukulu' durumundan
'kukusuz siyaha' veya 'kukusuz beyaza' ani deiikliini, ilk
top incelenir incelenmez yerel olmayan gizemli bir 'etkinin', bu
toptan ikincisine doru ilerlemesine balamaz.
Oysa Doa, gerekte, bundan ok daha olaanstdr. Yuka
rdaki rnekte, A zerinde lme (gzlem) yaplmadan nce, di
yelim, B'nin durumunun ) olduunun ve A'nn durumunun
a) olduunun (ya da B'ninkinin a) ve A'nnkinin p) olduu
nun) sistem tarafndan zaten 'bilindiini' gerekten dnebili
riz; bilmeyen birisi varsa o da deneyi yapan kii idi. Gzlemci,
A'nn a) durumunda olduunu grnce, sadece B'nin 13> du
rumunda olduu sonucunu karr. Bu, yerel olarak sakl dei
kenler kuramnda olduu gibi, 'klasik' bir gr olup, hibir f-
Elektron E Pozitron P
Balang durumu
-----------------0------------------
A
Spin O
Spin Spin
ekil 6.30. Bir spin-sfr parac, birisi elektron E ve dieri pozitron P, olmak zere iki
spin 1/2 paracna bozunuyor. Spin 112 paracklanndan birinin spininin llmesi g
rne gre ayn anda tekinin spin durumunu saptar.
164 Kuantumun Bys ve Kuantum Gizemi
= c I Ei) +
I Et)) c I Pi) - I Pt))
- c l Ei) - 1 Et)) c l Pi) + 1 Pt))
= 1 Ei) 1 Pi) + I Et) 1 Pi) - 1 Ei) 1 Pt) - 1 Et) 1 Pt)
- I Ei) I Pi) + I Et) I Pi) - I Ei) l pt) + I Et) I Pt)
=-2( 1 Ei) 1 Pt) - 1 Et) 1 Pi))
= - 2 1 Q) ,
~
B c
E
o
p
Qi
B' C'
E-ler P-ler
ekil 6.31. EPR ikileminin ve Beli teoreminin David Merrnin tarafindan tasanmlanan
basit bir biimi: Doann yerel gereklii gr ile kuantum kuramnin sonulan ara
snda eliki olduunu gsteriyor. E-leri ve P-leri, kendi taraflanndaki paracklarn
spinlerini ltkleri ynler iin er ayara sahiptirler.
167
1. Her iki taraftaki ayarlar ayn ise (yani, A ve A', vb.) iki l
er tarafndan verilen sonular daima uyumsuzdur (yani, P-l
eri HAYlR kaydederken E-leri EVET kaydeder, P-leri
EVET kaydederken E-leri HAYlR kaydeder.)
2. Ayar dmeleri evrilir ve birbirinden tmyle bamsz
olarak 'rasgele' konumlara getirilirse, iki lmn birbiriyle
uyumlu veya uyumsuz olmas olaslklar eittir.
1. ve 2. zelliklerin, daha nce verilmi olan kuantum olaslk
kurallarnn dorudan birer sonucu olduklar kolayca grl
mektedir. nce E-lerinin kayda baladn varsayabiliriz. P
leri, E-leri tarafndan llen spin durumunun tersi spin
durumuna sahip cisimcii bulur, bylece 1. zellik hemen orta
ya kar. 2. zellii gstermek iin unutmamalyz ki, aralann
daki a 120 olan iki ynde, E-leri EVET sonucunu verirse P
yn, lm yapt spin durumuyla 60 adadr; E-leri HA
YlR sonucunu verirse P-yn, spin durumuna 120 adadr.
yleyse, lrolerin uyumas olasl 3/4 = 1/2 ( 1 + cos 60),
uyumamas olasl ise 1/4 = 1/2 (1 + cos 120)'dir. Buna gre,
P-ayar iin ortalama olaslk, E-leri EVET yantn verir
se, P-lerinin EVET yantn vermesi iin 1/3 (O + 3/4 + 3/4) =
1/2, P-lerinin HAYlR yantn vermesi iin 113 ( 1 + 1/4 + 1/4)
= 112'dir (yani, E-lerinin EVET yantn onaylamas veya
\
l
2. lm -al 2. lm
. - .
.:::- UZay
-
- _ -- __
-- -
- -
..___ --
- -:
-
-...<"" uz!X-
- - z emci lm lm Gzlemci ...,_ Durum
/ \
Durum 'atlar'
'atlar' Foton Foton
..
ekil 6.32. ki fotonun bir spin-0 durumundan zt iki yne yayld bir EPR deneyinde
iki ayn gzlemcinin ayn deney iin oluturduklar 'gereklik' tanmlar birbirleriyle tu
tarszdr. Saa hareket eden gzlemci, sadaki lme nedeniyle, soldaki durumun lme
den nce atladlna karar verirken, sola hareket eden gzlemci tam aksini dnr!
it lvr> = Hlvr>.
dt
* Ancak, denklemlerin zmleri arasnda nemli bir fark vardr. Klasik Maxwell
alanlar reel deerlidir, halbuki foton durumlar kompleksdir. Ayrca, foton duru
munun salamas gereken ve 'art frekans' koulu denen bir koul daha vardr.
1 73
Schrdinger'in Kedisi
Tanmlamalarmza baladmzdan bu yana ilgi duymak
tan kendimizi alamadmz bir konuya sonunda geldik. Kriket
toplann ayn anda iki ayr yerde gremediimiz rneinde ol
duu gibi, klasik lekli nesnelerin kuantum izgisel birleti
rimlerini neden grmyoruz? Nasl oluyor da atomlar yle bir
'lme aygt' oluturuyorlar ki, R yntemini U ynteminin n
ne geiriyor? Kukusuz bir lme aygt fiziksel dnyann par
asdr. Davrann aratnp bulmak zere tasanmlanm ola
bilecei kuantum mekaniksel elerden yaplm bir aygt, in
celenmekte olan fizik sistemiyle birlikte, bileik bir kuantum
sistemi olarak neden kabul etmeyelim? imdi araya hibir gi
zemli 'd' lm giremez. Bileik sistemin yalnzca U uyannca
evrimlemesi gerekiyor. Fakat byle yapar m? U'nun bileik
sistem zerindeki etkisi tmyle belirleyici olup, sistemin ken
dine uygulamakta olduu 'lme' veya 'gzlem' ileminde R-tipi
olaslk belirsizliklere yer yoktur! Burada bir eliki grl
yor; bu eliki, Erwin Schrdinger (1935) tarafndan bulunan
nl dnce deneyinde zellikle canlandrlmtr: Schrdin
ger'in kedisi ikilemi.
Duvarlarndan ne ieriye ne de danya hibir fiziksel etkinin
geemiyecei ekilde mkemmel ina edilmi kilitli bir sandk
dnn. Sandn iinde bir kedi ve aynca herhangi bir kuan
tum olay tarafndan altnlmaya hazr bir aygt bulunduunu
varsayn. Kuantum olay meydana geldii anda aygt iinde si
yanr bulunan kk bir ieyi krar ve kedi lr. Byle bir olay
meydana gelmezse, kedi yaayacaktr. Schrdinger'in zgn ta-
1 75
1. 'Ciddi' bir felsefi grn naslsa azck da olsa gerekilik iereceini sanmtm. Grnte ciddi
dnrlerin, ou kez kuantum mekaniinin bildirimleriyle ilgilenen fizikilerin, gerekten 'orada
bir yerde' 'gerek' dnya olmadna dair znel bir gr benimsediklerini grmek beni daima ar
tr! Olabildiince gereki bir izgi izlemem, bu tr znel grlerin ou kez ciddi lde savunuldu
unun farknda olmadm anlarnma gelmez - sadece, znel grlerden bir anlam karamyorum.
zneilikle ilgili gl ve ilgin bir saldrya tank olm istiyorsanz bkz. Gardner (983), 1. Blm.
2. zellikle J.J. Balmer, 885'te, hidrojenin spektnm izgilerinin frekanslannn R(n' - m'); ifade
siyle verildiini gsterdi burada n ve m sfrdan byk tam saylardr (R bir sabittir).
3. Belki de bu 'tmyle alan' tanmuu hemen gzard etmesek iyi olur. Einstein, kuantumlu cisimle
rin sergiledii kesikliliin farknda olarak, yaamuun son otuz yln, byle genel klasik trde kap
saml bir kuran bulmak iin uraarak geirdi. Fakat onun giriimleri de, dierlerinin ki gibi, sonu
vermedi. Paracklarm kesikli doasn aklamak iin klasik alann yamsra baka bir eye gereksi
nim olduu anlalyor.
4. Sz konusu iki evrim sreci, Macar asll Amerikal matematiki Jolm von Neumann (955) tarafin
srecine' ben U niter evrim adm verdim. (niter evrim, aslnda, olask genliklerinin evrim srasnda
dan klasik yaptnda aklanmtr. Onun '1. srecine', ben R-durum vektrnn indirgennesi, onun '2.
korunduldan anlamnadr). Gerekte, U kuantum dunmu evriminin baka, fakat buradakille edeer
'Heisenberg resmi'nde durumlar, hi evrim gstenniyonnu gibi tannlanr, bunun yerine konum 1 mo
dier tannlan da vardr ama bu tannlarda 'Sclrdinger denklemi' terimi yer almayabilir. rnein,
burada bizim iin nemli deildir; U srecinin farkl tannlamalan tamamen edeerdir.
mentum koordinatlannn anlamlannn srekli deiimi dinamik evrim olarak nitelenir. teki farklar
5. Aklamalanmzn eksik kalnarnas amacyla, Dirac bildiriminde kullanlan cebir yasalarn bura
da veriyoruz:
iJf> + i x> = l x> + I IJf>,
(z + w) l ljf> = z l ljl> + w l ljf>,
z(w I IJf>) = (zw) I IJf>,
ljf> + O = ljf>,
6. 'Birim vektr', 'diklik' veya 'olaslk genlii' gibi kavramlan basit olarak verebilnemize olanak sa
arpm a.b cos e eklinde yazlr. a ve b vektrlerin uzunluklarn, e aralanndaki ay gsterir). Hil
layan bir ilem vardr: ki vektrn 'skalar arpm' (veya i arpm) (Bilinen vektr cebirinde skalar
bert uzay vektrleri arasndaki skalar arpm genelde bir kompleks say verir. I IJf> ve 1 x> vektrle
<\Jfl ( i x> + i cp>J = <IJI I x> + <IJI I ep>, <IJI I (q i x>J = q <\Jf l x>. <IJI I x> = <x i iJf>. Burada bir sembol s
rinin skalar arpmn <'1! i x> diye yazarz. Bunun salad cebirsel kurallar yledir:
verilir. x ve y reel saylardr. Iz 1 ' = z z olduuna dikkat ediniz). l ljf> ile 1 x> vektrleri arasndaki
tne ekilen izgi, kompleks elenikleme gsterir. (z = x + i y kompleks saysnn elenii z = x - iy ile
diklik <IJI 1 x>= O kouluyla belirlenir. l ljf>'nin mutlak deer karesi I IJI 1 ' = <IJI 1 \Jf> eklinde verilir;
dolaysyla l ljf>'nin bire boylandnlm olmas halinde <IJI l ljf>= eitlii salanr. Bir lme sonu
cunda ljf> durumu x> veya x>'ye dik bir duruma atlarsa; 1 \Jf> ve x> vektrlerinin her ikisini
de bire boylandrlm varsayarak, I IJf>'ye atlama genliini <x 1 \Jf> ile veririz. Eer 1 \Jf> ve 1 x> bire
boylandnlmamlarsa, 1 \Jf>'den x>'ye atlama olasl <x 1 \Jf> <IJI x> <x x> <IJI ljf> eklinde
yazlacaktr. (bkz. Dirac 947).
7. Kuantum mekaniinin operatrlerle yazmna alk olanlar iin, (Dirac yazlrnndal bu lme
i x> iin) zdeeri EVET, O zdeeri HAYIR karlndadr. c<x i , <IJI i vb. vektrler verilen Hil
<IJI 1 x> ifadesiyle verilen snrl Hennite -sel operatr tarafndan tarif edilir. (Bire boylandrlm
8. Tek paracktan oluan bir kuantum sistemini daha nce tanmlarken, spini gzard etmi, duru
mun yalnz konurula aklanabileceini belirterek rnei ar lde basitletirmitim. Aslnda, ska
lar paracklar ad verilen, rnein piyonlar (t-mezonlan, s. 88) gibi nkleer paracklar, veya spin
deeri sfr olan atomlar gibi baz paracklar da vardr. Bu gibi paracklar iin (ama yalnzca bunlar
iin) yalnz konunianna dayal tanmlamalar yeterli olacaktr.
9. l.t >=::z 1 1) -w 1 J) olarak alnz; burada z ve w, z ve w'nun kompleks elenikleridir. (bkz. Aklama 6).
10. Stern-Gerlach aygt olarak bilinen standart bir deney aygt vardr ve uygon atomlarn spinlerini
irilirler. Alann yn, spin lmnn ynn belirler. Demet ikiye aynlr (bir spin lf2 atom iin,
lmek iin kullanlr. Bir demet haline getirilen atomlar, dzgn olmayan bir manyetik alandan ge
veya daha yksek spinli atomlar iin ikiden fazla ksma ayrlr); demetlerden birisi spin lm
EVET olan atomlardan, dieri yantn HAYIR olduu atomlardan oluur. Ne yazk ki, amacmzn d
nda kalan teknik ayrntlar nedeniyle elektron spinini lmek iin bu aygt yerine, daha dalayl bir
yntem kullanlmaldr. (bkz. Matt ve Massey 1965) Bu nedenle ve baka nedenlerle, elektronumu
zun spininin gerekte nasl lldnn ayrntsna girmiyorum.
ll. Giriimci okurlanm, metinde verilen geometriyi denemek isteyebilirler: Riemann kresini a-y
n 'yukar' ve -yn ise 'yukar' ve 'saa' ynleriyle belirlenen, yani Riemann kresinde q = tan
(Q/2) olarak belirtilen dzlemde kalacak ekilde konulandrrlarsa, olasln l ljl> den 1 x >'ye atia-
mas olasl iin <x l ljl) <ljl l x> <x 1 x> <ljl l ljl) tanmn kullanabilirler. Bkz. Aklama 6.
13. Kuantum mekaniinin kefi srasnda nde gelen isimlerden Avusturyal fiziki Wolfgang
Pauli, dariama ilkesini 1925'te bir varsaym olarak ileri srd. Bu varsaymn ayrntl kuan
tum mekaniksel incelenmesi- ki bugn buna 'fermiyon'lar diyoruz, 1926'da talyan asll Ameri
kal fiziki Enrico Fermi ve byk Paul Dirac tarafindan gerekletirildi. Fermiyonlarn istatis
tiksel davran 'Fermi-Dirac istatistiine' uygundur. Bu adla, ayrdedilebilir paracklarn
klasik istatistii olan 'Boltzmann istatistiinden' ayrlr. Bozonlara ait 'Bose-Einstein' istatisti
iyse, deerli Hintli fiziki S.N. Bose ve Allert Einstein tarafndan 1924'te fotonlarn incelenme
si iin gelitirilmitir.
nin yukar n ve saa [-4 olmak zere iki ayar, ve P-lerinin 45' ykar saa l i" ve 45' aa saa
14. Bu ylesine ilgin ve nemli bir sonu ki, baka bir biimde de verrnee deer: Diyelim E-leri
[ \1 olmak zere iki ayar var. E- ve P- lerleri iin, srasyla gerek ayarlan [-4 ve [i"] olarak aln.
E- ve P- lerleri ile uyumlu lme olasl ( m' 13""1 = 0.146 ... , kar. Yani yzde 15'in biraz altn
P: NYYNNNYNYNNYYNY.. .
ayarlarndan etkilenmiyor - diyelim yle ki E-ayar, [-4 yerine t olsayd, P-sonularnn sras hi
deneylerini yaparsak, yzde 15'in hemen altnda uyum elde edilecektir. imdi diyelim P-lmleri E
E-ayar nceki gibi [-4] olsayd, fakat P-ayar [i] yerine [.!.] olsayd E-sonular ncekiyle ayn srada
yeni E-lmleri, diyelim E', arasndaki uyuma yine yzde 15'in biraz altnda olurdu. te yandan,
Buna gre, P'-lm [\1 ve E'-lm [i] arasnda, bunlar gerek ayarlar olsayd, yzde 45'ten faz
olurdu ama yeni P-sonular, diyelim P', ilk E-sonularyla yzde 15'in biraz altnda uyuma verirdi.
la (yzde 15 + yzde 15 + yzde 15) uyuum salanamazd. Fakat [ \1 ile [l arasndaki a 45' deil
135' olduu iin anlama olasl, yzde 45 deil, yzde 85'in biraz zerinde olmaldr. Bu bir eli
kidir ve E'de yaplan lmn P'nin sonularn (ve bunun tersi) etkilemiyecei varsaymnn doru
188 Kuantumun Bys ve Kuantum Gizemi
olmamas gerektiini gsterir! Bu rnei verdii iin David Mermin'e minnettanm. Ana metinde ve
rilen rnek Merrnin'in makalesinden (1985) alnmtr.
15. Daha nceki sonular, Clauser, Horne, Shinony ve Holt (1969) tarafndan nerilen fikirlere daya
mlarak Freedman ve Clauser (1972) tarafndan bulunmutur. Bu deneylerde kullamlan foton detek
trlerinin tam randmaula almad, bu nedenle yaylan fotonlarn aslnda olduka kk bir bl
mnn saptand hala tartma konusudur. Ancak, olduka yetersiz detektrlerle bulunan sonula
nn bile kuantum kuranuyla uyumu ylesine mkemmel ki, detektrleri iyiletirmenin, kuramla uyu
mu birdenbire nasl ktletirileceini anlamak zor!
16. Kuantumlu alanlar kuram, hesapedilemezlik konusunu tartmak iin bir yeni alan salamakta
dr. (bkz. Kornar 1964).
1990 ylnda yaynlanan
ve ayn yl Bilimsel Kitap dl'n
elinizdeki kitap
sorgulanmaktadr.
ISBN 975-403-080-4
ISBN 975-403-142-8