Professional Documents
Culture Documents
Kapsayc Aa Says
(Matris-Aa Teoremi)
Selda Kkifi* / skucukcifci@ku.edu.tr
Bir izge aadaki gibi
noktalardan ve noktalar arasnda bantlardan (ya da kenarlardan ya da izgilerden) olumu bir yap ya da ekildir.
Teorem: Keleri adlandrlm bir G izgesinin komuluk matrisi A ve derece matrisi D olsun.
Gnin kapsayc aa says, D A matrisinin herhangi bir earpannn deeridir.
imdi teoremde geen terimleri aklayalm.
Noktalar v1, ..., vn olan bir izge alalm. Bu
izgenin komuluk matrisi, (i, j) girdisi vi ile vj noktalar arasndaki bant (kenar) says olan n n
boyutlu matristir.
v1
v2
v3
v7
v5
v4
v6
v3
0 4 2 0 0 0 0
4 0 2 0 0 0 1
2 2 0 2 1 0 1
v4 0 0 2 0 0 3 0
0 0 1 0 0 0 0
0 0 0 3 0 0 0
0 1 1 0 0 0 0
Komuluk matrisi
izgenin derece matrisi ise, (i, i) girdisi vi noktasnn derecesi (yani viyi ieren bant says) ve i j
iin (i, j) girdisi ise 0 olan n n boyutlu matristir.
46
v1
v2
v3
v7
v5
v4
v6
6 00 0 0 0 0
0 7 0 0 0 0 0
0 0 8 0 0 0 0
0 0 0 5 0 0 0
0 0 0 0 1 0 0
0 0 0 0 0 3 0
0 0 0 0 0 0 2
Derece matrisi
G1in D A matrisi,
r r boyutlu
son stun
1 1
2 0 3
1 11
rnek :
3 2 =
.
1 1 2 1 3 4 5
son satr
Gnin D A matrisi, n n boyutlu.
Gri matris, (n1) (n1) boyutlu E matrisidir.
2 0 1 1 2 3 1 1 0 3 3 2
= 39.
1 1 3 2 1 2 1 3 1 2 1 3
47
v1
e4
e7
v5
v2
e2 e3
e5
v3
e9
v4
e8
e10
e11
e6
110100000000
e6
101011000000
011110111100
v7 B = 0 0 0 0 0 0 0 0 1 1 1 1
0 0 0 0 0 0 1 0 0 0 0 0 v5
000000000011
000001010000
v6
Oluum matrisi
e12
0 0 0 0 0 0
1 0 0 0 0 0
0 1 1 1 1 0
0 0 0 1 1 1
0 1 0 0 0 0
0 0 0 0 0 1
1 0 1 0 0 0
0
0
0
1
0
1
0
11
1 0
0 1
1 0
0 1
1
Ct = 0
0 0
0 0
0 0
0 0
0 0
0 0
0
1
1
1
1
0
1
1
1
1
0
0
0
0
0
0
0
0
0
0
1
1
1
1
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
1
0
0
0
0
0
1
0
1
0
0
0
0
C nin stunlarnn toplam 0dr, nk girdilerinin biri 1, dieri 1 ve geri kalanlar 0dr. Bu,
birazdan nemli olacak.
CC t matris arpmn dikkatlice inceleyelim. (C t
matrisi, yukardaki rnekte grld gibi, C matrisinin apraza gre simetriidir, C t matrisinde C
matrisinin stunlar satr, satrlar stun olmutur.)
Cebirsel bir ilem olan CC t matris arpmnn geometrik anlam irdelendiinde, i j ise bu arpmn
(i, j) girdisinin vi ile vj noktalar arasndaki kenar says arp 1 olduu gzlemlenir; i = j durumunda ise
bu girdi vinin derecesidir. Demek ki CC t = D A.
Dolaysyla Gnin kapsayc aa saysnn CC t
matrisinin herhangi bir earpannn deeri
olduunu kantlamalyz.
Gnin n 1 bantl herhangi bir H altizgesine
bakalm. Cden sadece Hnin kenarlarna karlk
gelen stunlar kabul edip (yani dierlerini atp), sralardan da herhangi birini, diyelim k-inci sray atarak elde ettiimiz (n 1) (n 1) boyutlu C matrisinin (bkz. bir sonraki stundaki ekil) determinantnn mutlak deerini bulalm.
nce H altizgesinin bal olmadn varsayalm. O zaman Hnin vk noktasn barndrmayan bir
bileeni vardr. Bu bileen H1 olsun. Attmz k-inci satrn H1in noktalarna karlk gelen girdileri
0dr nk vk noktas H1de deildir. Dolaysyla
C matrisinin H1 izgesine karlk gelen altmatrisin
e1
v1
e4
e7
v3
v5
e9
v4
e6
e5
e8
e4
v7
e10
e11
e1
v1
v2
e2 e3
e7
v5
e2 e3
v3
e9
v4
v6
e12
e1
v1
v2
H izgesi
1
e6
e5
e8
v7
e10
e11
v2
e6
v3
e7
v5
e9
v4
v6
v7
e10
e11
v6 = vk
e12
G izgesi
H izgesi
1 1 0 1 0
1 0 1 0 1
C = 0 1 1 1 1
0 0 0 0 0
0 0 0 0 0
0 0 0 0 0
0 0 0 0 0
0 0 0 0 0 0
1 0 0 0 0 0
0 1 1 1 1 0
0 0 0 1 1 1
0 1 0 0 0 0
0 0 0 0 0 1
1 0 1 0 0 0
0
0
0
1
0
1
0
1 1 0 1 0
1 0 1 0 1
0 1 1 1 1
C = 0 0 0 0 0
0 0 0 0 0
0 0 0 0 0
0 0 0 0 0
0 0 0 0 0 0
1 0 0 0 0 0
0 1 1 1 1 0
0 0 0 1 1 1
0 1 0 0 0 0
0 0 0 0 0 1
1 0 1 0 0 0
k=6
0
1 0 0 0 0
0
1
1 0 0 0
0
0
0 1 1 1
1 =
0 0 0 1 1
0
0 0 1 0 0
1
0 1 0 0 0
0
0
0
0
1
0
0
stunlarnn toplam da aynen C matrisinin stunlarnda olduu gibi 0dr. Demek ki H1 izgesine
tekabl eden matrisin (resimde griyle gsterilmi)
determinant 0dr. Bundan da det C = 0 kar.
imdi H izgesinin bal olduunu, yani H altizgesinin Gnin bir kapsayc aac olduunu varsayalm. (Bkz. aadaki ekil.) C matrisinin satr
ve stunlarn deitirerek C matrisini, aprazn
altndaki girdileri 0 olan ama apraznda hi 0 olmayan bir matrise (stgen matrisine) dntreceiz. C matrisinin girdileri 1 ya da 1 olduklarndan ve satr ve stun deimelerinden determinantn mutlak deeri deimediindan, byle bir dnm yapabilirsek, |det C | = 1 eitliini kantlam olacaz.
G izgesi
e1
v1
e4
e7
v5
e2 e 3
v3
e9
v4
H izgesi
e5
e6
e8
e10
e11
e1
v1
v2
e4
v7
e7
v5
e2 e3
v3
e9
v4
v6
e12
v1
v2
e5
e6
e8
e10
e11
v2 = u 1
e4
v7
v6
e7
v5
e5 = 1
v3
e9
v4
e8 = 2 v = u
7
2
e11
1 1 0 1 0
1 0 1 0 1
C = 0 1 1 1 1
0 0 0 0 0
0 0 0 0 0
0 0 0 0 0
0 0 0 0 0
0 0 0 0 0 0
1 0 0 0 0 0
0 1 1 1 1 0
0 0 0 1 1 1
0 1 0 0 0 0
0 0 0 0 0 1
1 0 1 0 0 0
0
0
0
1
0
1
0
1 1 0 1 0
1 0 1 0 1
0 1 1 1 1
C = 0 0 0 0 0
0 0 0 0 0
0 0 0 0 0
0 0 0 0 0
0 0 0 0 0 0
1 0 0 0 0 0
0 1 1 1 1 0
0 0 0 1 1 1
0 1 0 0 0 0
0 0 0 0 0 1
1 0 1 0 0 0
0
0 1 0 0 0 0
0 1 0 0 0
0
1 = 1 1 1 1 1
0 0 0 0 1
0
0 0 1 0 0
1
0 0 0 1 0
0
k=6
48
v6 = v k
e12
0
0
0
1
0
0
Yazmzn banda szettiimiz Cayley Teoremi de Matris-aa teoreminden kolaylkla elde edilebilir. Gyi n noktal tam izge olarak alrsak
n 1 1
1 n 1
DA =
M
M
1
1
... 1
... 1
...
M
... n 1
n ... 0
n
M
M ... M
0 ... n
n
matrisinin determinantn bulacaz. nce ilk satr dier tm satrlardan kararak
n 1 1 ... 1
1 n 1 ... 1
M
M
...
M
1 ... n 1
1
matrisini bulalm. Ardndan ilk stuna dier tm
stunlar eklersek
1 1
0 n
M M
0 0
... 1
... 0
... M
... n
Kaynaka
[CL] G. Chartrand, L. Lesniak, Graphs and Digraphs,
Chapman & Hall, CRC Press 2000.
[H] Harary F., Graphs and matrices, SIAM Review 9
(1967) 83-90.
[K] Kirchhoff G., ber die Auflsung der Gleinchungen,
auf welche man bei der Untersuchung der linearen Verteilung
galvanisher Strme gefhrt wird, Ann. Phys. Chem. 72 (1847)
497-508.
49