Kristf Mikls

A F-algebra
2006
TARTALOM
A F-algebra
Az Univerzlis Algebrai M!ellez"s Ala#$ai
%g& ele''el generl(at algebrk
A F-algebra generlsa eg&etlen ele''el
Matr$ska-vilg
Kz'ik)s evl*+i
Az %ffrk evl*+i$a
A F-algebra
Elszr is: mit neveznk algebrnak? Valami olyan matematikai struktrt,
amelyben szmolni lehet. Van kt mvelet, az sszea!s s a szorzs. "z
sszea!s kommutat#v $so%ortot alkot, a szorzs viszont tetszleges lehet.
"z sszea!s tula&!onsgai:
'. a ( b ) b ( a *kommutativits+
,. *a ( b+ ( $ ) a ( *b ( $+ *asszo$iativits+
-. a ( . ) a *nullelem ltezse+
/. a ( * a+ ) a 0 a ) . *inverz, ellentett, kivons+
" szorzs tula&!onsgai:
'. a . ) . *nullval szorzs nullt a!+
,. *a ( b+ $ ) a $ ( b $ * szorzs s sszea!s !isztributivitsa+
1r nyilvnval2, !e azrt megeml#ten!, hogy a, b s a ( b, valamint a b
ugyanannak a halmaznak az eleme, azaz egyik mvelet se vezet ki a halmazb2l.
Egy egymveletes struktrb2l knnyen k%ezhetnk algebrt a kvetkez3
k%%en:
4egyen a struktra mvelete a szorzs. 4egyenek a struktra elemei az ", 1, 5,
6 szimb2lummal &ellt elemek. Ekkor bevezethet&k a ", 1, 5 6
elemeket, ahol a grg betk val2s vagy kom%le7 szmokat &ellnek. Ezekre az
& elemekre kiter&eszthet&k a struktra szorzsi szablyt:
*"+*1+ ) *+*"1+ , ahol a *+ a val2s *vagy kom%le7+ szmok
szoksos szorzata, s rtelmezhet&k most mr az sszea!st is:
*"+ ( *"+ ) * ( + " .
8a " s 1 az ere!eti struktra elemei, akkor " ( 1 rtelmezve van, !e ltalban
nem hozhat2 egyszerbb alakra *kivtelek %ersze lehetnek+.
Ennek meg9elelen a kibv#tett struktra & elemei ltalban #gy #rhat2k:
" ( 1 ( 5 6 vagy rvi!#tve
# i
i '
"

, ahol
i
az egytthat2k *val2s vagy
kom%le7+ s "
i
%e!ig az ere!eti struktra elemei. :t ilyen elem szorzata #gy
ka%hat2:
" )
# i
i '
"

, 1 )
& &
& '
"

=

s "1 ) *
# i
i '
"

+*
& &
& '
"

=

+ )
( )
i & i &
i ' & '
" "

= =

Ezek utn mr $sak azt kell tu!ni hogy mi "

i
"
&
. Ez az ere!eti struktra
valamely "
k
eleme. Ezzel a m2!szerrel az ere!eti egymveletes struktrb2l egy
ktmveletes algebrt $sinltunk. ;e ez $sak a kez!ete a lehetsgeknek<
:iin!ulhatunk eleve egy = "
i
> szimb2lumhalmazb2l, s k%ezhet&k belle a
# i
i '
"

elemeket. Ezeket a 9ent !e9inilt m2!on szorozhat&uk ssze. Ehhez

$sak az "
i
"
&
szorzatok rtkt kell lergz#teni, amit a 5
i&k
strukturlis
llan!2kkal a!unk meg:
Ekkor
i & i&k k
k '
" " 5 "

=
=

lesz. Ez termszetesen megint az algebra egy eleme

lesz.
?gy "1 ) *
# i
i '
"

+*
& &
& '
"

=

+ )
i & i&k k
i ' & ' k '
5 "

= = =






lesz.
@zoks ebben a m9a&ban az Einsteini konven$i2t hasznlni, ahol a szumma
&eleket elhagy&uk, s a ktszer szere%l in!e7ekre sszegezni kell, ekkor
"1 ) *
# i
"
+*
& &
"
+ )
i & i&k k
5 "
lesz.
Ag egy !olog szoks, az "
k
argumentumokat egyszeren elbli$$elik, s #gy az
algebra elemeit egyszeren a
i
egytthat2kkal re%rezentl&k, #gy az algebra
eleme egy vektor lesz, azaz egy szm3vgtelenes. Bn nem tartom ezt igazn &2
szoksnak, br a $so%ortelmlet szmra sok hasznos 9elismers #gy szletett.
Cl!ul a s#ki!omok 9orgatsai $so%ortot alkotnak, s a 9orgatsok nll2
entitsokknt kezelhetk gy is, hogy meg9ele!keznk arr2l, mit is 9orgatunk
tula&!onk%%en.
"z ltalnos algebra mega!sa a 5
i&k
strukturlis llan!2k le9i7lsval trtnik.
"z ltalnos algebra se nem kommutat#v, se nem asszo$iat#v. Dltalban min!en
algebra egye!i tula&!onsgokkal ren!elkezik, a val2s szmok msok mint a
kom%le7 szmok, s azok is klnbznek a kvaterni2kt2l. Egyanakkor az
algebrk egymst tartalmazhat&k, #gy az okt2ni2k tartalmazzk a kvaterni23
algebrt, a kvaterni2algebra a kom%le7 szmokat s a kom%le7 szmok a val2s
szmokat. Val2!i matr&oskavilg.
Bn azonban szeretnk egy olyan algebrt konstrulni, amelyben az sszes tbbi
algebra benne van< 4ehetsges ez? Flletve legynk szernyebbek egy %i$it:
legyen benne min!en vges algebra, s min!en olyan vgtelen algebra, amely a
megszmllhat2an vgtelen !arab = "
i
> szimb2lumhalmazb2l k%ezhet a
# i
i '
"

szabllyal, s a 5
i&k
strukturlis llan!2k tetszlegesek lehetnek.
Aagyarn sz2lva azt vr&uk, hogy ha van egy a!ott algebrnk az = "
i
>
szimb2lumhalmaz 9elett, akkor az univerzlis algebrban ki tu!ok vlasztani
bizonyos = "G
i
> elemeket, amelyek %ontosan gy szorz2!nak, mint az = "
i
>
elemek. Heht ha
i & i&k k
k '
" " 5 "

=
=

, akkor
G G G
i & i&k k
k '
" " 5 "

=
=

, ugyanazzal
a 5
i&k
3val.
Ezt az univerzlis algebrt nevezem I#3algebrnak, mert ala%elemeit vel
&ellm.
" I#3algebrhoz teht a 5
i&k
strukturlis llan!2kat kell mega!ni, s ezt elg
sa&tos m2!on tesszk. " I#3algebra elemei a
.
,
'
,
,
,
-
. . . szimb2lumok,
s ezek lineris kombin$i2i, azaz a
# i
i '
k

sszegek. Ftt most az egytthat2kat

&ellm latin betkkel.
" szorzsi szablyhoz egy tblzatot hasznlunk 9el:
" I#3algebra lelke egy egyszer vgtelen tblzat, amit mr JK3ben 9el#rtam, %l.
a ra$ionlis szmok sorbaren!ezsnl el&tt. ?r&uk 9el a %ozit#v ra$ionlis
szmokat egy tblzatban, nem tr!ve azzal hogy az egyszers#ts miatt
ugyanaz a szm tbbszr is szere%el< " szmokat aLb alakban #r&uk 9el, ahol a s
b megy '3tl vgtelenig. Ezt ka%&uk:
'L' 'L, 'L- 'L/ 'LK 'LM . . . ' , / J '' 'M
,L' ,L, ,L- ,L/ ,LK ,LM . . . - K N ', 'J ,-
-L' -L, -L- -L/ -LK -LM . . . M O '- 'N ,/ -'
/L' /L, /L- /L/ /LK /LM . . . '. '/ 'O ,K -, /.
KL' KL, KL- KL/ KLK KLM . . . 'K ,. ,M -- /' K.
ML' ML, ML- ML/ MLK MLM . . . ,' ,J -/ /, K' M'
a &obbol!ali tblzat azt mutat&a meg, hogy az egyes ra$ szmokat hogyan
sorolom 9el egyetlen vgtelen sorozatban< Bs ez a I# algebra kul$stblzata<
" 9elsorols teht #gy menne: 'L', 'L,, ,L', 'L-, ,L,, -L', 'L/, ,L-, -L,, /L', 'LK,
,L/, -L-, 6
. ' , - / K Ez az "
i &
tblzat, a %iros szmok a sorok, els in!e7, a zl!
. ' , / J '' 'M szmok az oszlo%ok, mso!ik in!e7. :2!ol&a a tblzat a
' - K N ', 'J ,-
.
,
'
,
,
,
-
. . . sa&tvektorok szorzsi szablyt< E!!ig a
, M O '- 'N ,/ -' linalgebrban nem volt sz2 arr2l hogy a vektorok szorozhat2k
- '. '/ 'O ,K -, /. is egymssal< Val2&ban ettl lesz a vektorokb2l algebra<
"
',
)N Pelentse ez azt, hogy
N

'
=
,
!
Heht
"i&

i
=
&
! Bs min!en ms k i esetn
"i&

k
= 0 !
Aost mr meg tu!&uk mon!ani a 5
i&k
strukturlis llan!2kat is:
, ,
i&
" i &
5 ' =
, ha i , & ) ., ', ,, -, . . . s min!en egyb 5
i&k
) ..
:r!s: Ait tu! az #gy !e9inilt algebra? Qagyon sokat &tsza!oztam vele m#g
r&ttem<
Cl. annak is &elentsge van hogy a szmozs nem '3tl hanem .3t2l in!ul: ekkor
a nulla!ik sorb2l vlaszt&uk az n. gykrelemeket, erre ma&! ott rtrnk.
Aost beszl&nk arr2l, hogy mit neveznk a klasszikus matekban o%ertornak<
@z#n&ells: az o%ertorokat %iros, a 9ggvnyeket *vektorokat+ 9ekete sz#n &elli.
"z o%ertor nem ms mint egy lek%ezs egy vektorr2l egy msik vektorra. "
lek%ezs lehet lineris vagy nemlineris. Ai most $sak a homogn lineris
esettel 9oglalkozunk. 8a a vektort egy szmoszlo% a!&a meg, akkor a homogn
lineris o%ertort egy mtri7 re%rezentl&a.
" homogn lineris o%ertorok ala%vet tula&!onsgai:
R *
'
(
,
+ ) R
'
( R
,
, R * k

+ ) k R

.
* R
'
( R
,
+

) R
'


( R
,


, * R
'
R
,
+ = R
'
* R
,
+
@a&trtk9ela!at: R = ." hermitikus o%ertornak
'
,
,
,
-
,
/
. .
. sa&tvektorai vannak, melyek ortogonlisak, s ezekhez a
'
,
,
,
-
,
/
. . .
val2s sa&trtkek tartoznak.
4egyen most ) a
'

'
( a
,

,
( a
-

-
( . . . egy ltalnos vektor< Ekkor
R ) R *a
'

'
( a
,

,
( a
-

-
( . . . + ) a
'
R
'
( a
,
R
,
( a
-
R
-
( . . . )
) a
'

'

'
( a
,

,

,
( a
-

-

-
( . . . 8ogy lehet ezt szemlltetni?
4egyen most ) $os
'
( sin
,
<
Ekkor R ) R *$os
'
( sin
,
+ )
) $os R
'
( sin R
,
) $os
'

'
( sin
,

,
. Ait &elent ez? "zt
hogy az 9ggvnyben egy krn 9ut vgig, R %e!ig egy elli%szisen<
Heht az o%ertor nem $sinl mst, minthogy a krt elli%sziss transz9orml&a<
" klasszikus 9izika !i99egyenletekkel !olgozott, s a hely, sebessg, gyorsuls az
i! 9olytonos 9ggvnyei voltak. " kvantum9izika esetn a 9izikai mennyisgek
o%ertorok lettek, a 9izikai mennyisg lehetsges rtkei az o%ertor sa&trtkei,
a ren!szer 9izikai lla%ott a *7,y,z,t+ lla%ot9ggvny a!&a meg, s ha 3t
ki9e&t&k az o%ertor sa&t9ggvnyei szerint, azaz ) a
'

'
( a
,

,
( a
-

-
( .
. . , akkor a ren!szer a
i

,
val2sz#nsggel a
i
lla%otban van, s ha mrst
ha&tunk vgre, akkor a mrs ere!mnye a
i

,
val2sz#nsggel a
i
sa&trtk
lesz. Ebben egyrszt benne van a kvantumbizonytalansg, msrszt az a
9aramu$i !olog, hogy a ren!szer lla%ota a mrs utn a
i
lla%ot lesz, teht az
lla%otot mintegy a mrs teremti< Ezt gy neveztk, hogy a hullm$somag
re!uk$i2&a.
"z o%ertor *mint 9izikai mennyisg+ a lla%otban van. " sa&t9ggvnyek
ortonormltak, a lehetsges 9ggvnyek szintn, vagyis egy o%ertor sszes
lehetsges lla%ota egy egysgsugar gmbn van, az R 3k meg egy
elli%szoi!n. Qo %ersze min!ez a vgtelen !imenzi2s lla%ottrben, !e ez $sak
9ormai klnbsg.
) $os
'
( sin
,


'

R )
'
$os
'
(
,
sin
,

Qem esett sz2 mg a skalris szorzatr2l.
Ezzel lehet az egytthat2kat meghatrozni.

* ,
'
+ ) $os , * ,
,
+ ) sin .
##4ele%leztk az o%ertor tur%issgt< Ain!ssze annyit tesz hogy a
) $
i

i
lla%ot9ggvnyhez az R ) $
i

i

i
& lla%ot9ggvnyt
ren!eli.
" lla%otvektor min!en koor!int&t
i
szeresre ny&t&a. ?gy $sinl a
gmbbl elli%szoi!t. *Ait is tu!na tenni szegny?<+ Heht az o%ertor gy
transz9orml&a az lla%otvektort, hogy a koor!intit kln3kln megny&t&a.
4egyen a vektor ilyen: ) b
.

.
( b
'

'
( b
,

,
( . . . , ahol a
k
bzisvektorok egy hermitikus o%ertor sa&tvektorai *sa&t9ggvnyei+< "z R
o%ertor a sa&tvektorokat linerisan transz9orml&a, amit egy R
i&
mtri7szal
lehet mega!ni:
R
.
) R
..

.
( R
'.

'
( R
,.

,
( R
-.

-
( . . .
R
'
) R
.'

.
( R
''

'
( R
,'

,
( R
-'

-
( . . .
R
,
) R
.,

.
( R
',

'
( R
,,

,
( R
-,

-
( . . .
R
-
) R
.-

.
( R
'-

'
( R
,-

,
( R
--

-
( . . . stb.
hogyan hat az R o%ertor a vektorra?
R ) R * b
.

.
( b
'

'
( b
,

,
( . . . + ) b
.
R
.
( b
'
R
'
( b
,
R
,
( . .
. )
) b
.
*R
..

.
( R
'.

'
( R
,.

,
( R
-.

-
( . . . + (
( b
'
*R
.'

.
( R
''

'
( R
,'

,
( R
-'

-
( . . . + (
( b
,
*R
.,

.
( R
',

'
( R
,,

,
( R
-,

-
( . . . + (
( b
-
*R
..

.
( R
'-

'
( R
,-

,
( R
--

-
( . . . + ( . . . )
) *R
..
b
.
( R
.'
b
'
( R
.,
b
,
. . .+
.
(
( *R
'.
b
.
( R
''
b
'
( R
',
b
,
. . .+
'
(
( *R
,.
b
.
( R
,'
b
'
( R
,,
b
,
. . .+
,
(
( *R
-.
b
.
( R
-'
b
'
( R
-,
b
,
. . .+
-
( . . . . .
4t&uk teht, hogy a vektorok egyin!e7es sokasgot alkotnak, az o%ertorok
*mtri7ok+ %e!ig egy ktin!e7es sokasgot. " kt vilg lesen elkln&l, gy
tnik, egy !olog nem lehet egyszerre vektor s o%ertor. "
kvantumme$hanikban aztn ltunk ellen%l!t is: ott a vektoroknak az
lla%ot9ggvnyek 9elelnek meg, s egy 9ggvnyhez hozz3ren!elhetnk egy
o%ertort gy, hogy az o%ertor legyen e 9ggvnnyel val2 szorzs< Dm ez a
hozzren!elt o%ertor mgsem azonos magval a 9ggvnnyel.
" I#3algebrban azonban lehet az elemeket egymssal szorozni is, amit akr gy
is tekinthetek, mint egy o%ertorral val2 lek%ezst< 8a "1 ) 5, akkor az "3t
olyan o%ertorral azonos#thatom, amely a 1 vektort a 5 vektorba viszi t. 8a
most 9eltrk%ezem hogy az " a
k
bzisvektorokat hova k%ezi le, akkor mr
meg is ka%tam azt az o%ertort, amely az "3val val2 szorzsnak meg9elel< Heht
az " nem$sak vektor, !e egyttal o%ertor is< R%ertorknt akkor mk!ik, ha
balr2l szorzok vele, vektorknt %e!ig akkor, amikor a &obbol!alon ll< Egyanaz
a mennyisg, kt klnbz szere%ben<
Ebben az algebrban ugyanazok a mennyisgek k2!ol&k az o%ertorokat, mint a
vektorokat< Heht igaz lett Aota N.3ban kimon!ott ttele: "zonoss vlik a
9ggvnyek halmaza azon halmazzal, amin a 9ggvny rtelmezve van< Ezt
neveztem n @ES3nak, azaz @el9 Esing R%erationnak. 8a %l. az R o%ertor
olyan, hogy R
'
)
,
, akkor az
R o%ertor azonos#that2 a
N
vektorral, hiszen lttuk, hogy
N

'
)
,
< 8a
%e!ig
R
'
)
,
, akkor R )
N
3$al azonos#that2. Dm ennl sokkal tbb is igaz<
Qem kevesebbrl van sz2, minthogy a I#3algebrban min!en lino%$si
egyrtelmen k2!olhat2<
) a
.

.
( a
'

'
( a
,

,
( . . . , s ) b
.

.
( b
'

'
( b
,

,
( . . . , a
kette&k szorzata : R ) *a
.

.
( a
'

'
( a
,

,
( . . . + (b
.

.
( b
'

'
( b
,

,
( . . . + , s most vegyk 9igyelembe a szorzsszablyt: a
'
b
.

.
( a
,
b
.

'
(
a
-
b
'

.
( a
/
b
.

,
(
( a
K
b
'

'
( a
M
b
,

.
( a
J
b
.

-
( a
N
b
'

,
( a
O
b
,

'
( a
'.
b
-

.
( a
''
b
.

/
( . . . . .
lthat&uk a szablyt: a
i
in!e7e 9olyamatosan n: ',,,-,/,K6 , b
&
in!e7e #gy
vltozik:
., . ', . ' ,, . ' , -, . ' , - / 6 s
k
in!e7e %e!ig #gy: ., ' ., , ' ., - , ' ., /
- , ' .6.
Ez %ontosan meg9elel az "i& tblzat szablynak. 8a a
k
egytthat2it
sszevonom, ka%om azt hogy *a
'
b
.
( a
-
b
'
( a
M
b
,
( a
'.
b
-
6+
.
( *a
,
b
.
( a
K
b
'
( a
O
b
,
( a
'/
b
-
6+
'
( *a
/
b
.
( a
N
b
'
( a
'-
b
,
( a
'O
b
-
6+
,
( *a
J
b
.
( a
',
b
'
( a
'N
b
,
( a
,K
b
-
6+
-
(
stb. Bs hogyan hat egy R o%ertor a vektorra? Qos, ezt egy R
i&
mtri7szal
lehet mega!ni. R ) *R
..
b
.
( R
.'
b
'
( R
.,
b
,
. . .+
.
( *R
'.
b
.
( R
''
b
'
( R
',
b
,
. . .+
'
( *R
,.
b
.
( R
,'
b
'
( R
,,
b
,
. . .+
,
( *R
-.
b
.
( R
-'
b
'
( R
-,
b
,
. . .+
-
( . . . . .
8a sszevet&k ezt az elbbi k%letnkkel, azt lt&uk, hogy R
..
) a
'
, R
.'
) a
-
,
R
.,
) a
M
,
R
.-
) a
'.
, . . . . , R
'.
) a
,
, R
''
) a
K
, R
',
) a
O
, R
'-
) a
'/
, . . . . , R
,.
) a
/
, R
,'
) a
N
,
R
,,
) a
'-
, R
,-
) a
'O
, . . . . , R
-.
) a
J
, R
-'
) a
',
, R
-,
) a
'N
, . . . . stb. 8a ki$sit
o!a9igyelnk, lthat&uk, hogy az R
i&
tblzat %%en az "
i&
tblzat transz3
%onlt&a, tkrk%e, azaz R
i&
) a
"&i
. Ftt az a
i
szm in!e7e az "
&i
tblzatelem.
Qe kever&k ssze: az R
i&
az ktin!e7es, az a
i
%e!ig egyin!e7es, #gy %l.
Shromegy ) tizenkett , nem %e!ig egykett< 4t&uk teht, hogy a
vgtelenszer vgtelen !arab R
i&
0t bele tu!tuk zs9olni az egyszer vgtelen !arab
a
i
0k kz< Ez a trkk szintn JK 2ta k#srt engem, hiszen ere!etileg ezt
neveztem Qaishi3transz9orm$i2nak< Qo s ez mg $sak a kez!ete a I#3algebra
$so!inak< Aost megmutatom, hogy a I#3algebrba belevihet %l. a Haylor3sor
is<
"zonos#tsuk a
i
szimb2lumot az 7
i
hatvny9ggvnnyel< Egy Haylor3sor #gy
nz ki:
9*7+ ) a
i
7
i
, az in!e7 9ut .3t2l 3ig. "z 7
.
az termszetesen '. Ekkor az 9*7+
9ggvnynek meg9eleltet&k a ) a
i

i
vektort. Ton! van azonban a
szorzssal:
7
i
7
&
) 7
i(&
, azonban
i

&

i(&
< Ezen gy seg#tnk, hogy klnvlaszt&uk az
7
i
0t mint 9ggvnyt, s mint szorz2 o%ertort< 7 7
i
) 7
i('
, ezrt az 7
o%ertornak 9eleltessk meg a kvetkez vektort: U )
,
(
N
(
'N
(
-,
(
K.
(
J,
( . . . Ez tel&es#ti a kvetkez szablyt: U
i
)
i('
, ami meg9elel az
elvrt 7 7
i
) 7
i('
szablynak. " ,,N,'N,-,,K.6 szmok az "i& tblzatban
tl2san helyezke!nek el. 8a eggyel o!bb megynk, ka%&uk a /,',,,/,/.6
szmokat, amelyek az U
,
) U *U + o%ertornak 9elelnek meg.
?gy teht U
,
)
/
(
',
(
,/
(
/.
(
M.
(
N/
( . . . , U
-
)
J
(
'J
(
-'
(
/O
(
J'
( . .
Bs #gy tovbb. Ezzel k%ezhet az 9*7+ 9ggvnynek meg9elel
o%ertor9ggvny,
I*U+ ) a
i
U
i
, ahol a
i
ugyanaz, mint 9*7+3nl. Ezzel az 9*7+ g*7+
9ggvnyszorzatnak az
I*U+ g*7+ o%ertor39ggvny3szorzat 9elel meg. 4ttuk teht, hogy 9*7+3nek kt
vektort is meg9eleltetnk, egyiket vektor szere%ben, a msikat o%ertor sze3
re%ben. Erre a skizo9rn hasa!sra azrt van szksg, mert a I#3algebra nem
asszo$iat#v s nem is kommutat#v<
Viszont ebben re&lik az univerzalitsa s az ere&e< " !erivlsnak meg9elel
!i99eren$il3o%ertort is knnyen tu!&uk k%ezni. 8a 9*7+ ) a
n
7
n
, akkor 9V*7+
) a
n
n 7
n3'
, ehhez az albbi o%$si kell: ;
n
) n
n3'
. Erre az albbi vektor
alkalmas:
; )
-
(,
O
(-
'O
(/
--
(K
K'
(M
J-
( . . . :zben ugye 9igyeltnk,
nagyon egyszer szablyok a!&k meg e szmokat: ,,N,'N,-,,K.,J,. . . ) , n
,
,
ha n)',,,-, 6 a ; szablya:
, n
,
(' , ha n)',,,-, 6 " most megismert U s ; o%ertorokkal knnye!n
igazolni tu!&uk a 8eisenberg39le 9el$serlsi trvnyt: ;U 0 U; ) '< Ennek
kvantumme$hanikai meg9elel&e CU 0 UC ) 3 i F , ahol F az i!entitso%$si. C
viszont 0 i /7 .
@z2val ezt kell igazolni: ; *U + 0 U *; + ) ' ) . Elegen! a !olgot
beltni
)
n
0re. ; *U
n
+ 0 U *;
n
+ ) ; *
n('
+ 0 U *n
n3'
+ ) *n('+
n
0 n
n
)
n
.4t&uk, hogy az ssze9ggs 9ennll. Aost lehetsg van arra is, hogy
n
0
nek %l. a harm2nikus osz$illtor sa&t9ggvnyeit 9eleltessk meg. Ftt is kt
szere% kell, egy 9ggvnyszere% s egy o%ertorszere%. ;e a I#3algebra mg
ennl is tbbre k%es, mg%e!ig arra, hogy brmely vges szorz2tblval
mega!ott algebra mo!ell&t meg lehet benne konstrulni< Ezt egy olyan
me$hanizmussal tesszk, amit %%en JK3ben 9e!eztem 9el, ez egy9a&ta nbv#t
el&rs, amely hatresetben %% a k#vnt megol!st a!&a. Rlyan mint a @el93
:onzisztens Iiel! m2!szer. ;e annl egyszerbb m2!szer, elemi szmolst
ignyel $sak. :sbb %e!ig azt is ltni 9og&uk, hogy a vgtelen szorz2tbla is
belevihet a I#3algebrba< @t mg oly m2!on is belevihet, hogy min!vgig
vges norm& vektorokkal !olgozunk< Ez megnyit&a a ka%ut egy olyan algebrai
vilg 9el, ahol az elemek egymst tkrzik, s ltezik egy vgtelen tr2$en,
amely a vilgot magban 9oglal&a *ez az ter meg9elel&e+. " 9ggvnyek a
normlt vektorok, az o%ertorok %e!ig a vgtelen norm& vektorok. " kt vilg
br lesen elklnl, mgis van t&rs kztk, azaz egy 9ggvny vlhat
o%ertorr s viszont. Ezzel lehetsgess vlik a :va!romatikban olyannyira
9ontos nkl$snhats le#rsa. "z atomok s az elemi rsze$skk n9enntart2
hullm$somagok az terben. Ennek le#rsra lett ez az egsz kitallva. "
tovbbiakban azt mutatom meg, hogyan lehet egy vges algebrt k2!olni.
" hats 0 re9lektlt hats 0 &ra re9lektlt hats 6 me$hanizmust hasznl&uk
9el a I#3algebrban akkor is, amikor egy algebrt mo!elleznk vele. Erre ma&!
ott kitrnk. 8a megkr3!eznk tlem, mi a :va!romatika lelke, egy mon!attal
azt 9elelnm, hogy a tkrzve 0 tkrzs< Ez az i!eo!a 0 ver!s teremti meg
sok 9ela!at megol!st, ahogy a :vantum39izikban is ke!velt m2!szer a @el9 0
5onsistent Iiel! *@5I+ m2!szer< Cl. ol!&uk meg a I#3algebrban a )
9ela!atot< " I#3algebrt mega!2 tblzat els sora : ' , , , / , J , '' , 'M , ,, ,
,O , -J , /M , KM , MJ 6 ami azt &elenti, hogy
' 0 = 0, 2 0 = 1, 22 0 = 6, 6 46 0 = 9 6 stb.
Ain!en ms k 0val a szorzat ) . . Aost k%ezzk a kvetkez vektort:
) , . + 1 + 1/2 2 ( 'L/ 4 + 1/8 11 + 1/16 MJ + 1/32 2279 + 6
Aost szmol&uk ki ezzel 0t< " sorban szere%l k 0k egye!l . 0lal
a!nak &rulkot, min!en mssal nulla a szorzat. Pa s . . ) .. ?gy ezt ka%&uk:
) '2 0 + 1/2 22 0 +
'L/ 42 0 + 1/8 112 0 + 1/16 672 0 + 1/32 22792 0 ..
= , . + 1 + 1/2 2 ( 'L/ 4 + 1/8 11 + 1/16 MJ + 1/32 2279 + 6 )
<
4t&uk, olyan ra99inltan konstrultuk meg a 0t, hogy a k . szorzatokb2l
%%en a k 0i kereke!nek el< " k 3k egytthat2i , negat#v hatvnyai, a
mrtani sor %e!ig eltolsra invarins, $sak egy konstanssal szorz2!ik,
renormlhat2, ami a 9raktloknl egy gyakran hasznlt m2!szer. " k 3k
in!e7ei %e!ig gy a!2!nak, hogy ugyanazt a 9ggvnyt alkalmazom az
ere!mnyre, teht a kimenetet min!ig berakom a bemenetre, s ez %% a
man!el%ro$essz lnyege is< " 9ggvny ebben az esetben az ',,,/,J,''6et
elll#t2 m)n*n('+L, (' 9ggvny. n)': m),. n),: m),-L,(')/, n)/:
m)/KL,(')'', n)'': m)''',L,(' ) MJ, n)MJ: m)MJMNL,(' ) ,,JO , 6 stb.
4t&uk, hogy min!ig a ka%ott m 0et rak&uk be n helyre. 8ats 0 re9lektlt hats
0 &ra re9lektlt hats 6 stb. Ez a tkrzve3tkrzs elmlete. " tkrk%ek a
vgtelenbl ra!nak el, s egy vgtelen 9olyamot alkotnak. Ezt a 9olyamot egy
egyszer gr99al tu!&uk brzolni:
Ftt most a 2 . , 1 , 1/2 2 , 'L/ 4 , 1/8 11 , 1/16 MJ , 1/32 2279 ,
. . . vektorokat egyszeren a
.
,
'
,
, ,

-
,
/
, . . . . szimb2lummal
&elltk. . . . .
',
a . lal szorz2!va elll#t&a
''
0et,
''
a . lal
szorz2!va elll#t&a
'.
0et, s #gy tovbb, m#g vgl el&utunk a . ig, amely
mr $sak a . vektort ll#t&a el. Ez teht egy nmagban raml2 9olyam, amely a
vgtelenbl ere!, ezrt soha nem hal le. ?gy lesz a ) 9ela!at megol!sa
egy n9enntart2, nmagt elll#t2 vektor. Ain!en !olog mlyn ez a
me$hanizmus munklko!ik. Aost tetten rtk a Heremtt mk!s kzben<
" I#3algebra mint univerzlis algebra ugyan#gy mk!ik. Vannak a
mo!ellezen! algebra ", 1, 5, ; 6 elemei, s van ezek szorz2tbl&a, %l. ""
)1, "1 )5, 1; ) E
stb. Els l%sknt min!egyik algebrai elemnek vlasztunk egy n,
gykrelemet a I#3algebra nulla!ik sorb2l, #gy az ",1,5,;,E6 elemeknek a

'
,
2
,
4
,
7
,
11
. . . . elemeket vlasztom. *Aellesleg a nulla!ik sor erre
lett kitallva+. Ezutn a ren!szert bv#tem olyan elemekkel, amelyek %l. az "1
)5 tula&!onsgot megval2s#t&k. " bv#tst a!!ig 9olytatom, m#g min!en
megk#vnt tula&!onsg elll. ?gy ",1,56 egy3egy vgtelen sok tagb2l ll2
vektor lesz. Ez %ontosan arra vilg#t r, hogy a tkrzve3tkrzs rvn a vges
!olgok mlyn is a Vgtelen munklko!ik< " vges !olgok vgtelen !olgokb2l
tev!nek ssze< " szmok nem egyszeren $sak vannak: szntelenl
teremt!nek, keletkeznek, ramlanak, hatnak egymsra, teht a szmok vilga is
egy l vilg<
Az Univerzlis Algebrai M!ellez"s Ala#$ai
Aost elszr !e9inil&unk nhny seg!9ogalmat, ami megknny#ti a
munknkat<
. ' , - / K 8t elszr is, vegyk szemgyre ke!ven$ tblzatunkat, s
. ' , / J '' 'M mon!&uk meg, hogy az "
n k
szm %%en mennyi< Qos ez egy
' - K N ', 'J ,- 9ggvny lesz, mg%e!ig n s k 9ggvnye. Qevezzk el ezt a
, M O '- 'N ,/ -' 9ggvnyt I
n
*k+ 0 nak, amely teht n 9ggvnyben a k 0 hoz
- '. '/ 'O ,K -, /. egy szmot ren!el< Heht I
n
*k+ ) "
n k
, amelynek rtke:
,
n
* + - ,
I *
,
k k n
+ k
n + + + +
= Cl!a: n ) -, k ) K :
,
-
M/ O J
,
/.
- - K K * + -
I + K
,
*
,
+ +
= =
+ + + +
=

"i&

i
=
&
,

teht
/.

-
=
K
<
8a teht %l. " ) * . . .
/.
W . . . + s

1 ) * . . .

-
. . . + , akkor "1 ) * . . . .
K
.
. . .+ lesz.
Aost egy algebra ", 1, 5 6 elemeit %r2bl&uk meg 9el%#teni.
"z algebra egy szorz2tblval van mega!va, ahol %l. azt lt&uk, hogy "1 ) 5 .
1 ) * . . .

-
. . . + , s 5 ) * . . . .
K
. . . .+ .
:r!s, milyen elemmel kell "3t bv#teni, hogy
"* . . .

-
. . . + ) * . . . .
K
. . . .+ legyen? " vlasz: %%en a
- - K
" /. I * + K
= =
elemmel kell bv#teni< Ez mega!&a a kul$sot az
nbv#tget el&rshoz<
Aost vegyk &ra szemgyre azt az esetet, amikor a ) 9ela!atot ol!ottuk
meg<
Ait is $sinltunk? Vettnk egy gykrelemet, a . t, s min!en tovbbi elemet
ennek a gykrelemnek a sorb2l, teht a nulla!ik sorb2l vlasztottunk< "z #gy
vlasztott elemek egye!l a . lal val2 szorzsnl a!nak nem nulla &rulkot,
min!en egyb szorzatuk nulla< Ez nagymrtkben megknny#ti a tervezst, mert
sokkal kevesebb vltoz2ra kell $sak o!a9igyelni. " I#3algebrnak ez a szells
szerkezete teszi lehetv az univerzalitst< " szellssg itt azt &elenti, hogy a
szorzatok tlnyom2 tbbsge nulla, egsz %ontosan min!en k elem egyetlen
egy msik m elemmel a! nemnulla szorzatot, az sszes tbbi szorzat nulla
lesz< "z ember azt hinn, hogy az ilyen %%en $sak 9elski$$elt szorz2tblban
szinte min!en nulla, #gy nin$s is benne semmi r!ekes. "zonban nem ez a
helyzet< "mikor a szorz2tblval mega!ott struktrt algebrv bv#t&k, akkor
megenge!ett elemek lesznek az elemek sszegei is, st a vgtelen sszegeket is
megenge!&k, az ilyen vgtelen sszegek %e!ig mr sokkal tbbet tu!nak, mint
a kiin!ul2 k elemek< Aeg&elenik az n9enntarts s az nre%ro!ukls
k%essge< Bs ha ma&! mg egy %i$ivel tovbbmegynk, azt is ltni 9og&uk, hogy
ebben a vilgban az nteremts k%essge is megvan<<
Rl!&uk meg &ra a ) 9ela!atot, !e most ne tr!&nk a megol!s
norm&val<
4egyen a nulla!ik l%sben ) . , teht $sak maga a gykrelem<
Ekkor ) . . ) . min!ssze, ez neknk nem &2. 8ozzuk ltre legalbb a
. elemet<
Ehhez a ' elemre lesz szksgnk, hiszen ' . ) .<
"z & 3 nk #gy nz ki: ) . + '<
Aost ) * . + ' + * . + ' + ) . . ( . ' ( ' . ( ' '
) . !Egye!l a r2zsasz#nnel kiemelt tag a! &rulkot. Qa ez mr egy l%s<
" kvetkez l%shez a , elemre lesz szksgnk, hiszen , . ) '<
"z & 3 nk #gy nz ki: ) . + ' + ,<
Aost ) * . + ' + , + * . + ' + , + )
) . . ( . ' ( . , ( ' . ( ' ' ( ' , ( , . ( , '
( , , )
) . ( ' , hiszen most $sak a r2zsasz#n s naran$s tag a! &rulkot<
"z el&rst 9olytatva sz#nre l% a / , '' , MJ , ,,JO , ,KON.M' elem is, a
vgtelensgig<
" k 0k in!e7ei egy nvekv szmsorozatot alkotnak, amit egy egyszer
szably a! meg:
4ttuk, hogy I
n
*k+ ) "
n k
, s *6I
n
*k+6+*6n6+ ) *6k6+ most a &ellsnl a
szimb2lumot les%2roltam az egyszersg ke!vrt, lt&uk hogy 3 t %%en az
I
n
*k+ elemmel kell bv#tennk, s mivel . a gykrelem, n ) ., s #gy az I
.
*k+
9ggvny kell neknk.
, ,
.
* k '+ k k k ,
'
, ,
* + - ,
I *k
. k k
,
.
+
+ + +
= = +
+ + + +
= , e sorozat %%en a
nulla!ik sort a!&a meg neknk. Ezt a 9ggvnyt llan!2an az & meg &
ere!mnyre alkalmazzuk.
Vezessnk be egy & &ellst: 8a ) * a i + b & + $ k + . . .+ , akkor
I
n
*+ )
n n n
i & I * + I * + I *k+
a b $ ... + + +
Ezzel a &ellssel most mr az el&rst is mega!hat&uk, amivel a 3 t
ltrehozzuk<
'.+ :iin!ul2 rtk: ) . ,
,.+ el&rs$iklus: : ) . ( I
.
*+< "zaz: Csz# legyen egyenl . ( I
.
*+<
Ezzel az el&rssal az albbi %sz# 0 sorozatot ka%&uk:
. ,
. ( I
.
* . + ) . ( ' ,
. ( I
.
* . ( '+ ) . ( ' ( , ,
. ( I
.
* . ( ' ( ,+ ) . ( ' ( , ( /,
. ( I
.
* . ( ' ( , ( /+ ) . ( ' ( , ( / ( '', . . . . . stb.
"z igazi %sz#t akkor ka%&uk meg, ha ezt az el&rst a vgtelensgig ismtel&k<
4t&uk, hogy konstruk$i2nkban a vgtelennek lnyeges, st !nt szere% &ut<
Ennek ksznhet, hogy a vektoraink n9enntart2v, nteremtv vlnak<
Ain!en lnyeges hats a vgtelenbl ra! ki, teht van egy vgtelen 9orrs,
a99le $so!akors2, amibl kimlik az egsz Ain!ensg< " most ka%ott nem
normlhat2, illetve ez azt &elenti hogy a norm&a vgtelen. 4tni 9og&uk, hogy a
vilgunk kt &2l elklnl rszre oszt2!ik: a vges norm& vektorok vilgra
s a vgtelen norm& vektorok vilgra. "z o%ertorok szere%ben szere%l
elemek ltalban vgtelen norm&ak, m#g a vektor szere%ek ltalban vges
norm&ak. " kt vilg kzt azonban van t&rs< "z n. nemkorltos o%ertorok
olyanok, hogy normlt vektort vgtelen norm& vektorba k%ezhetnek le. "
kvantum9izikban ilyen a koor!inta *7 + o%ertor s az im%ulzus o%ertor is
*ih
7
L
+
Aint ltni 9og&uk, ennek 2risi a &elentsge. 8a egy egyre normlt vektort
nzek, amely vgig9ut a tel&es vgtelen !imenzi2s egysggmbn, akkor a
nemkorltos o%ertor ltali lek%ezs bizonyos irnyokban vgtelenre ny&t&a ezt
a vektort, ez kinzetre olyan, mint mikor egy neuronb2l egy a7on nylik ki egy
msik neuron 9el. Bs ez nem$sak 9ormai hasonlat, mert ezzel a vilgunk egy
gigszi neuronhl2hoz vlik hasonlatoss, ahol a neuronok kzt a7onok s
!en!ritek trilli2i mennek o!a3vissza, s ez nem ms mint az Xristen agya< Bs ez
az agy tu!atos, rtelmes, mi tbb, kommuniklni is lehet vele< "z egsz
matematiknk $l&a arra irnyul, hogy 9elvegyk a ka%$solatot ezzel a hi%er3
szu%er lnnyel< Flyen !en!ritek s a7onok lthat2k az albbi Aan!elbrot 0
brkon is:
Aost akkor !e9inil&uk a 8ilbert3teret< " 8ilbert3tr nem egyb, mint egy
vgtelen !imenzi2s vektortr, amelyben a vektorok normlhat2ak. " 8ilbert3tr
lehet val2s vagy kom%le7, ltalban az ut2bbit szoktk 8ilbert3trnek nevezni. "
8ilbert3tr bziselemei a
.
,
'
,
,
,
-
. . . szimb2lumok, ezekbl teht
vgtelen sok van, s a 8ilbert3tr elemei ezek lineris kombin$i2i, azaz a
# i
i '
k

sszegek ahol a k
i
0k kom%le7 szmok.
"
# i
i '
k

=
=

elem norm&a a
,
i
i '
k

=
=

ki9e&ezs.
Vilgos, hogy ha $sak egy vagy vges sok
k
egytthat2&a nem nulla, akkor a
norma vges. 8a val2s 8ilbert3trrl van sz2, akkor a norma egyszeren az
egytthat2k ngyzetsszege *nem kell az abszoltrtk+. " I#3algebra egy val2s
8ilbert3trnek 9elel meg. " kom%le7sg egyszeren mo!ellezhet ebben a
vilgban: egyszeren megkettzm a bziselemeket, az els kom%onens a val2s
rsz, a mso!ik a k%zetes rsz meg9elel&e. Ezrt mi $sak a val2s 8ilbert3trrel
9oglalkozunk.
Ftt kt meg&egyzs is k#nlkozik. "z els a kva!romatikus 9ggetlensg. "
8ilbert3trben kt vektor, vagy 0 9ggvny akkor lin 9ggetlen, ha a '' (
,, ). egyenlet $sak ' ) , ) . %aramterekkel elg#thet ki. "
kva!romatikus 9ggetlensg a K 0trben van rtelmezve, ami abban klnbzik
a 8ilbert 0trtl, hogy nin$s kiktve a normlhat2sg, vagyis a vgtelen nagy
norma is megenge!ett. 8a 1 s 2 olyan, hogy min!kett norm&a vgtelen,
akkor azt mon!&uk, hogy
'
K ,
,
K . 4ehetsges azonban, hogy ltezik
olyan ' , , nemnulla konstans, hogy '' ( ,, H < *ahol H a
8ilbert3teret &elli+ . Ekkor mon!&uk azt, hogy a
'
s
,
kva!romatikusan
ssze9gg< 8a ilyen konstansok nin$senek, vagyis min!en ' , , nemnulla
konstans esetn '' ( ,, K akkor a
'
s
,
kva!romatikusan
9ggetlen. Brtelemszeren ltalnos#that2 ez vges szm 9ggvnyre: ha n
!arab,
'
,
,
,
-
,
/
. . .
n
9ggvnyhez tallunk olyan
'
,
,
,
-
,
/
. . .
n

nem min! nulla konstanst, hogy '' ( ,, ( -- ( . . nn H akkor az
n !arab
'
,
,
,
-
,
/
. . .
n
9ggvny kva!romatikusan ssze9gg,
egybknt %e!ig kva!romatikusan 9ggetlen.
8ogy egy %l!t is mutassunk a !ologra: legyen a
'
vgtelen vektor
*',',',',',','6+, a
,
vgtelen vektor %e!ig *.,',',',',','6+ , akkor
'
3
,
)
*',.,.,.,.6+ , ez %e!ig H , hiszen a norm&a '< Ez a
'
s
,
teht
kva!romatikusan ssze9gg< 8asonl2an, ha
-
) *',,,,,,,,,,,,6+ , akkor ,
'
3

-
) *',.,.,.,.6+ , ez %e!ig megint $sak H , teht
'
s
-
kva!romatikusan ssze9gg. Ellenben ha
/
) *',,,-,/,K,M,J6+ , akkor
/
min!hrom elztl kva!romatikusan 9ggetlen<Qo, ez volt a kva!romatikus
9ggetlensg, &elentsge a I#3algebrban 2risi.
Bs akkor egy ehhez ka%$sol2!2 :va!ron3!e9in#$i2: 4egyen K vgtelen
vektor. "!&uk hozz a H 0beli vektort, s 9usson vgig H sszes
elemn< Ekkor ( is vgig9ut egy K 0beli sszessgen, ami egy9a&ta 3
vel eltolt, K3ba begyazott H3tr< :t ilyen vektor, mon!&uk ( 1 s (
2 kva!romatikusan ssze9gg, hiszen klnb3sgk 1 2 H!
Ezt a 0vel eltolt H 0t nevezzk
Y
0nek, s ez a kva!ron< Csz#kala%6
&ellhet&k #gy is:
( H , ami azt &elenti hogy a 0hez egy egsz 8ilbert3teret a!unk hozz<
"
Y
nem egyb, mint egy egsz Vilgegyetem a krl< Egy olyan
Vilgegyetem, amely tle nulla tvolsgra van a K 0beli tvolsgrtelemben.
Heht az e%szilon meg9elel&e< Aa&! ksbb ltni 9og&uk, hogy az omegk s
e%szilonok a I#3algebrban is szksgk%%en 9elbukkannak. Ar eleve az hogy
vgtelen sszegeket is megenge!nk, st ezek a te2ria szerves rszt k%ezik,
maga utn von&a hogy vannak vgtelen norm& vektorok, s az ezekkel val2
szorzs behozza az omegt< :lasszikusan ) '('('('(. . . .
8a ) ' ( - ( M ( '. ( 'K ( . . . , s ) . ( ' ( , ( - ( / (
K ( . . . , akkor ) * ' ( ' ( ' ( ' ( ' ( ' ( 6 + Z
.
)
0
lesz<
Aost visszatrve a norma kr!sre, elemezzk a = megol!st a norma
szerint is<
8a ) , . + 1 + 1/2 2 ( 'L/ 4 + 1/8 11 + 1/16 MJ + 1/32 2279 + 6 ,
akkor
norm&a
, , , ,
, ,
' ' ' '
, ' .....
, / N 'M
+ + + + + +



=
, , , ,
,
' ' ' '
' .....
, / N 'M
, + + + + +

)
)
, /
' -
'
/
=

lesz, azaz kb ,.-.O/.'.JJ . Van3e a = 3nek egyre normlt

megol!sa?
Vilgos, hogyha = , akkor *k)(k) = (kk) ) k*k+ , teht k a
= k egy megol!sa lesz. 8a a norm&a n, akkor k ) 'Ln vlasztssal a
= /n egy egyre normlt megol!st ka%&uk, $sakhogy nem egszen ezt
kerestk<
" 9enti 0ben a , hatvnyai szere%eltek. 8a , helyett %l 7 van, akkor
) 7 . + 1 + 1/7 2 ( 'L 7
,
4 + 1/ 7
-
11 + 1/ 7
/
MJ + 1/ 7
K
2279 + 6,
s ennek a norm&a
,
,
,
7 7
'
7
'
7
'
=

lesz. Ez a minimumt az 7 )
,
helyen
veszi 9el, s a minimum rtke ,. Ennl kisebb norm& nem elg#theti ki a
= egyenletet<
8a a . helyett ms gykrelemet vlasztunk, egy msik megol!st ka%unk.
4egyen most 1 , 2 kt olyan megol!s, hogy 1 2 ) 2 1 ) .<
Ekkor
( 1 + 2 ) ( 1 + 2 ) ) 1 1 ( 2 2 ) 1 + 2 , mert a vegyes
szorzatok kiesnek.
4t&uk teht hogy az sszeg is megol!sa a = egyenletnek< Qo s
mennyi a norm&a?
, ,
' ,
+
< Ez %e!ig nem kisebb, mint a normk kln3
kln.
4t&uk hogy nem tu!unk a ,3es norma al menni, ez olyan mint az entr2%ia, $sak
nni tu!, $skkenni nem. 8ogy van3e ennek &elentsge, ma&! ksbb
meglt&uk.
Aost visszatrnk az algebrk mo!ellezsnek kr!sre.
Dll&on az algebrnk az ", 1, 5 elemekbl, s legyen a szorz2tbl&a ez:
" 1 5 Eszerint "" ) ", "1 ) 5, "5 ) 1 ,stb.
" " 5 1
1 5 1 " "z els l%sknt gykrelemet vlasztunk: " , 1 , 5 t.
5 1 " 5
" gykrelemeket a nulla!ik sorb2l vlaszt&uk.
4egyen %l. " = ' , 1 = , , 5 = / !Ennek meg9elelen " )
" , = 1 , 5 ) 5 a kez!rtkek.
" kvetkez l%s a bv#ts: %l. "1 ) 5 0nek meg9elelen az " elemet olyan
U elemmel
1v#t&k, amelyre U 1 = 5 ! Ez akkor tel&esl, ha U ) I 1 *5+<
Ennek meg9elelen az albbi $iklusmveletekre van szksg:
" :) " + I " *"+ ( I 1 *5+ ( I 5 *1+ ,
1 :) 1 + I " *5+ ( I 1 *1+ ( I 5 *"+ ,
5 :) 5 + I " *1+ ( I 1 *"+ ( I 5 *5+ .
Ftt is a :) [legyen egyenl\ utas#ts szere%el, teht a balol!alnak a &obbol!al
rtkt a!&uk. " $iklus els vgreha&tsakor - & elemmel bvl min!hrom
elem. " mso!ik vgreha&tskor mr -- ) O elemmel bvlnek, aztn ,J
elemmel, stb. " $iklust a vgtelensgig 9olytatva az ", 1, 5 elem olyan lesz,
hogy
" ) " + I " *"+ ( I 1 *5+ ( I 5 *1+ ,
1 ) 1 + I " *5+ ( I 1 *1+ ( I 5 *"+ ,
5 ) 5 + I " *1+ ( I 1 *"+ ( I 5 *5+ .
Fmmron nem [legyen egyenl\ szere%el, hanem ren!es egyenlsg<
Iigyel&k meg az in!e7ek s argumentumok logik&t is:
8a 5" ) 1 , akkor 5 ) . . . . . + I " *1+ . . . . .
Ezzel a m2!szerrel tetszleges, vges szorz2tblval mega!ott algebrt el
tu!ok ll#tani<
Qzzk meg konkrtan, szmokkal is a k2!ols m2!&t<
4egyen " = ' , 1 = , , 5 = / !Ennek meg9elelen az I " *k+ , I 1
*k+ , I 5 *k+ 9ggvnyeket is meghatrozzuk:
I " *k+ ) I ' *k+ )
( )
, ,
k k - M
k -k M
, ,
* + - , k ' k
,
'
=
+ +
+ +
=
+ + + +
I 1 *k+ ) I , *k+ )
( )
, ,
k k K ',
k Kk ',
, ,
* + - ,
,
, k , k
=
+ +
+ +
=
+ + + +
I 5 *k+ ) I / *k+ )
( )
, ,
k k O -.
k Ok -.
, ,
* + - ,
,
/ k / k
=
+ +
+ +
=
+ + + +
" tovbbiakban a szimb2lumot egyszeren elhagyom, s $sak a szmokat
#rom.
:iin!ulsi rtkek:
" ) '
1 ) ,
5 ) /
Els $iklus utn:
" ) ' , I " *"+ , I 1 *5+ , I 5 *1+ ) ' , I ' *'+ , I , */+ , I / *,+ ) ' , K , ,/ ,
,M
1 ) , , I " *5+ , I 1 *1+ , I 5 *"+ ) ' , I ' */+ , I , *,+ , I / *'+ ) , , 'J , '- ,
,.
5 ) / , I " *1+ , I 1 *"+ , I 5 *5+ ) ' , I ' *,+ , I , *'+ , I / */+ ) / , N , O , /'
.
" kvetkez $iklusban O 0 O & szm generl2!ik , s az ere!mny #gy alakul:
" ) ', K , ,/ , ,M , ,- , -,J , -N. , KN , MO , O/O , ,-M , 'KN , -.K
1 ) ,, 'J , '- , ,. , /J , KJ , O.K , 'O- , ',- , ,KM , K. , /'' , /J.
5 ) /, N , O , /' , 'J- , '.J , ,-- , -' , -K/ , /.O , --, , OM , './.
"!!ig ne is men&nk tovbb, am#g &2 ala%osan t nem tanulmnyoztuk ezt a
%l!t, s min!ent szmol&unk utna. "z " sorban %l. a ,-, -,J, -N. szmok az
I " *"+ ere!mnyei ahol az " ) K, ,/, ,M lett be%akolva a 9ggvny hasba:
K*K -+ M
,-
,
+ +
= ,
,/*,/ -+ M
-,J
,
+ +
= ,
,M*,M -+ M
-N.
,
+ +
= .
"z KN, MO, O/O szmok az I 1 *5+ ere!mnyei , ahol a N, O, /' szmokat tesszk
a 9ggvny hasba, a ,-M, 'KN, -.K szmok %e!ig az I 5 *1+ ere!mnyei, ahol a
'J, '-, ,. szmokat tesszk a 9ggvny hasba. @zmol&unk utna<
8a mr &2l elsa&t#tottuk a m2!szert s megrtettk, hogyan mk!ik, l%hetnk
tovbb.
Ao!ellezznk most olyan algebrt, ahol az egytthat2k nem min! egyek<
Ennek legyegyszerbbike a 1FR] nev nemasszo$iat#v !e kommutat#v algebra,
amelyet a kvetkezk%%en generlunk:
"" ) 1
"1 ) "
1" ) "
11 ) 1
"z algebra elemei az 7" ( y1 alak szmok, ahol 7 , y val2s egytthat2k.
4t&uk, hogy 11 ) 1 , teht meg&elent egy m#nusz el&el.
Els l%sknt itt is gykrelemeket vlasztunk: " = ' , 1 = , . Etna
9el#r&uk a generl2 $iklust:
" ) " + I " *1+ ( I 1 *"+
1 ) 1 + I " *"+ I 1 *1+
4t&uk, hogy a 1 sorban meg&elenik a m#nusz el&el.
" tovbbiakban min!en gy megy ahogy megtanultuk, $sak gyelni kell az
el&elekre.
" ) ' + I ' *1+ ( I , *"+
1 ) , + I ' *"+ I , *1+
I ' *k+ )
( )
k k - M
,
+ +
, I , *k+ )
( )
k k K ',
,
+ +
.
" ) ' N O ,- '.J KN MO ''JN 'J'- K-. JJK, -,N KOON 'N-- ,KKO
1 ) , K '- /J KJ -' ',- -., KNNN 'JJ, ,/NJ ',,N 'JJ- KM/ JNJN
"z alhzott szmok negat#v kom%onenseket &ellnek. Ennek meg9elelen
" )
' + N + O + ,- '.J + KN + MO + ''JN + 'J'- K-. +
JJK, + . . .
1 )
, + K '- + /J + KJ -' + ',- + -., KNNN + 'JJ, +
,/NJ + ...4t&uk, hogy a 1ior kt ala%eleme elll mint vgtelen sszeg.
" kvetkez l%s olyan algebra mo!ellezse, ahol mr a szorz2tblban val2s
szorz2tnyezk is szere%elnek.
Dll&on teht az algebrnk az ", 1, 5 elemekbl, s legyen a szorz2tbl&a ez:
" 1 5 Eszerint "" ) ,", "1 ) -5, "5 ) K1 ,stb.
" ," -5 K1
1 /5 M1 J" "z els l%sknt gykrelemet vlasztunk: " , 1 , 5 t.
5 N1 O" 5
" ) " + 2I " *"+ ( -I 1 *5+ ( KI 5 *1+ ,
1 ) 1 + 4I " *5+ ( MI 1 *1+ ( JI 5 *"+ ,
5 ) 5 + 8I " *1+ ( OI 1 *"+ ( I 5 *5+ .
" gykrelem megvlasztsa utn:
" ) ' + 2I ' *"+ ( -I , *5+ ( KI / *1+ ,
1 ) , + 4I ' *5+ ( MI , *1+ ( JI / *"+ ,
5 ) / + 8I ' *1+ ( OI , *"+ ( I / *5+ .
I ' *k+ )
( )
k k - M
,
+ +
, I , *k+ )
( )
k k K ',
,
+ +
, I / *k+ )
( )
k k O -.
,
+ +
.
Egytthat2k nlkl, $sak a 0k in!e7ei #gy alakulnak:
" ) ', K , ,/ , ,M , ,- , -,J , -N. , KN , MO , O/O , ,-M , 'KN , -.K
1 ) ,, 'J , '- , ,. , /J , KJ , O.K , 'O- , ',- , ,KM , K. , /'' , /J.
5 ) /, N , O , /' , 'J- , '.J , ,-- , -' , -K/ , /.O , --, , OM , './.
Aost hozzvesszk az egytthat2kat is:
" )
' + 2 K + 3 ,/ + 5 ,M + 22 ,- + 23 -,J + 25 -N. + 38 KN +
39 MO +
1 )
, + 4 'J + 6 '- + 7 ,. + 48 /J + 49 KJ + 4 O.K + 64 'O- + 6
6 ',- + 5 )
/ + 8 N + 9 O + /' + 84 'J- + 86 '.J + 87 ,-- + 92 -' + 9
3 -K/ +
4t&uk hogy az egytthat2k hogyan kvetkeznek egyms utn6
" m2!szer megmutat&a az utat a nem egsz val2s egytthat2khoz is.
"!!ig semmik%%en se l%&nk tovbb, am#g ezt a %l!t ala%osan t nem
tanulmnyoztuk s min!en #zben meg nem rtettk<
Aost kvetkezzen az algebrnknak egy $so!latos tula&!onsga, mg%e!ig az,
hogy nmagt is mo!ellezni tu!&a< Vagyis konstrulhat2k olyan
. , ' , , , - . . . elemek, amelyek szakasztott ugyanazt tu!&k, mint a
. , ' , , , - . . . elemek<
" !olgot megint azzal kez!&k, hogy gykrelemeket vlasztunk, !e ezttal
vgtelen !arabot kell vlasztani, legyenek ezek a nulla!ik sor elemei, ,3tl
kez!!en<
8ogy mrt %%en a ,3tl kez!!en, azt ma&! ksbb meglt&uk, a ' 0et
valami s%e$ilis szere%re tartogat&uk 9ent<
" megval2s#tan!2 szorz2tbla:
' . = . , . = '
- ' = .
/ . = ,
K ' = '
M , = .
J . = -
N ' = , O , = ' '. - = . Ennek meg9elelen az elemek #gy
alakulnak: . = ,
' = / + I
,
* .+ = / + I
,
* ,+ ) / + '-
, = J + I
,
* '+ = J + I
,
* / + '-+ ) J + ,/ + ',-
- = '' + I
/
* .+ = '' + I
/
* ,+ ) '' + ,M
/ = 'M + I
,
* ,+ = 'M + I
,
* J + ,/ + ',-+ = 'M + /N + -K/ + JNJN
K = ,, + I
/
* '+ = ,, + I
/
* / + '-+ = ,, + /' + 'KN
M = ,O + I
J
* .+ = ,O + I
J
* ,+ = ,O + K-
J = -J + I
,
* -+ = -J + I
,
* '' + ,M+ = -J + O/ + /.O N = /M
+ I
/
* ,+ = /M + I
/
* J + ,/ + ',-+ = /M + J' + /'' + N'-- O = KM
+ I
J
* '+ = KM + I
J
* / + '-+ = KM + J/ + ,'N '. = MJ + I
''
* .+ = MJ
+ I
''
* ,+ = MJ + '.-4t&uk, hogy itt min!en elem vges szm tagb2l ll. Ez
azrt van, mert min!en k $sak egy msikkal a! nem nulla szorzatot. " k
vilgban &ra lehet mo!ellezni a I#3algebrt, s ezzel egy val2!i Aatr&oska3vilg
&n ltre< Vgtelen !arab egymsba gyazott I#3algebra< Ez az egymsba
gyazott Eniverzumsokasg az2ta k#srt engem, ami2ta J.3ben olvastam
@tanis^a_ 4em trtnett 5or$oran %ro9esszorr2l, s a l!ir2l. 1in 4!en )
binris l!k< Qa eme kis laz#ts utn rtrhetnk a I#3algebra legnehezebb
9e&ezetre:
8ogyan kell vgtelen szorz2tbl& algebrt mo!ellezni?< " gon!ot az okozza,
hogy most vgtelen 9elsorolsok kvetkeznek egyms utn, aztn vgtelenszer
vgtelen 9elsorolsok, s #gy tovbb, s ezt kne egyetlen 9elsorolsban
mega!ni, mghozz gy hogy legalbb elvben ki tu!&uk szmolni brmelyik
tagot<
" ) " + I " *"+ ( I 1 *5+ ( I 5 *1+ volt a kiin!ul2 %l!nkban, most az
algebrai elemek
Egy vgtelen sorozata van: "
k
, ahol k ) ', ,, -, /, K, 6 s a generl2
ssze9ggs
"
k
) "
k
+ I "
'
*"
k'
+ ( I "
,
*"
k,
+ ( I "
-
*"
k-
+ ( . . . . valami ilyesmi lesz.
"z els l%sben a gykrelemeket vlaszt&uk meg, a nulla!ik sorb2l, ezzel
nin$s ba&.
;e a mso!ik l%sben mr az I "
'
*"
k'
+ ( I "
,
*"
k,
+ ( I "
-
*"
k-
+ ( . . . . egy
vgtelen tag sszeg lesz, utna %e!ig az I "
'
*"
k'
+ tagok kln3kln is
vgtelenek lesznek, teht vgl is egy vgtelen ( vgtelenvgtelen (
vgtelenvgtelenvgtelen ( . . . . t#%us sszeggel lesz !olgunk< @zeretnnk mi
ezt egyetlen vgtelen sszegknt ki9e&ezni<
Ftt seg#tenek neknk ma&! a %r#mek<
@eg!9ela!atknt ol!&uk meg a kvetkezt: 4egyen egy ;
k
vgtelen vektorunk,
egy ;
km
vgtelenvgtelen mtri7unk, egy ;
kmn
vgtelenvgtelenvgtelen -
in!e7es mtri7unk, stb s ezek elemeit sorol&uk 9el egyetlen vgtelen
sorozatban<
" sorozat valahogy #gy 9og 9esteni: ;
'
, ;
,'
, ;
,
, ;
'''
, ;
/,
, ;
-
, ;
'/
, ;
,''
, ;
-',,
, ;
/
, ;
'K
, s #gy tovbb. 8ogy a!&uk meg azt a 9ggvnyt, ami az in!e7eket
generl&a?
" %r#mszmok sorozata #gy in!ul: ,, -, K, J, '', '-, 'J, 'O, ,-, ,O, -', -J, /',
/-, /J, K-, KO
Egy szm #gy #rhat2 9el:
' , - / r
r
' , - /
n % % % % ...%

=
, itt a %r#mek nvekv
sorren!ben vannak, #gy %
r
a legnagyobb %r#m. @zere%eltessk %
r
0ig az sszes
%r#met, s amelyik nem szere%el n 9elbontsban, ahhoz a . kitevt ren!el&k.
?gy az n szm az r
' , - /
, , , ,...
szmvektorral is re%rezentlhat2. Cl '.K )
-KJ =
. ' ' '
, - K J
= (0, 1, 1, 1) vektor,
,M ) , '- ) *', ., ., ., ., '+ ,stb. 4t&uk hogy az utols2 szm sohasem nulla.
Aost m2!os#tsuk a vektort gy, hogy az utols2 kivtelvel min!en szmot
megnvelnk '3gyel<
Ekkor '.K ) *', ,, ,, '+ lesz, s ,M ) *,, ', ', ', ', '+ lesz. Ez az tk2!ols o!a3
vissza egyrtelm. Eltntek a zavar2 nullk. Aost tesszk meg a !nt l%st:
Ieleltessk meg az * a, b, $, !, 6+ vektor szmnak a ;
ab$!6
mtri7elemet< Ez
ms sz2val azt &elenti, hogy a ;
ab$!6
mtri7elem a 9elsorolsban %%en arra a
helyre kerl, aminek a vektora %%en *a, b, $, !, 6+< Ez a 9elsorols egyrtelm,
s min!en szmhoz hozz van ren!elve valamilyen mtri7elem. :ivtel az ',
ahhoz a " gykrelemet ren!el&k<
Ezzel megol!ottuk a 9elsorolst. ?gy 9og kinzni:
, ) *'+, - ) *', '+, / ) *,+, K ) *', ', '+, M ) *,, '+, J ) *', ', ', '+, N ) *-+, O ) *',
,+, 6
teht a 9elsorols: " , ;
'
, ;
' '
, ;
,
, ;
' ' '
, ;
, '
, ;
' ' ' '
, ;
-
, ;
' ,
, ;
, ' '
, . . . .
Aost az a kr!s, hogy mi 9elel meg az egyes ;
ab$!6
mtri7elemeknek?
"
'
) "
'
+ I "
'
*"
,
+ ( I "
,
*"
-
+ ( I "
-
*"
/
+ ( . . . .
"
,
) "
,
+ I "
'
*"
-
+ ( I "
,
*"
/
+ ( I "
-
*"
'
+ ( . . . .
"
-
) "
-
+ I "
'
*"
/
+ ( I "
,
*"
'
+ ( I "
-
*"
,
+ ( . . . .
"
/
) "
/
+ I "
'
*"
'
+ ( I "
,
*"
,
+ ( I "
-
*"
-
+ ( . . . .
. . . . . .
legyen az egyszersg ke!vrt ez az algebrnk generl2 egyenlete<
" gykrelemek: "
'
= ' , "
,
= , , "
-
= / , "
/
= J
, "
K
= '' , . . .
Egy $lszer &ells bevezetse: I " * 1+ 0t &ell&k #gy: 1<
Ekkor I " *I 1 * 5++ ) 15 , s I " *I 1 *I 5 * ;+++ ) 15; , stb.
Ezzel a &ellssel knnyebb 9el#rni a szuk$essz#ve bvl elemeket.
@t a 9# is elhagyhat2, s 15; helyett simn "15; #rhat2.
"
'
) "
'
+ I "
'
*"
,
+ ( I "
,
*"
-
+ ( I "
-
*"
/
+ ( . . . . )
) "
'
+ I "
'
* "
,
+ ( I "
,
* "
-
+ ( I "
-
* "
/
+ ( . . . . ( I "
'
*I "
'
*"
-
+ ( I "
,
*"
/
+ (
( I "
-
*"
'
+ ( . . . .+ ( I "
,
*I "
'
*"
/
+ ( I "
,
*"
'
+ ( I "
-
*"
,
+ ( . . . .+ (
( I "
-
*I "
'
*"
'
+ ( I "
,
*"
,
+ ( I "
-
*"
-
+ ( . . . . + ( . . . .
"
'
) "
'
,

"
'
"
,
,

"
,
"
-
,

"
-
"
/
, . . . , "
'
"
'
"
-
, "
'
"
,
"
/
, "
'
"
-
"
'
, . . . "
,
"
'
"
/
,
"
,
"
,
"
'
, "
,
"
-
"
,
, . . . "
-
"
'
"
'
, "
-
"
,
"
,
, "
-
"
-
"
-
, . . .
mg min!ig nehz megltni az ltalnos ssze9ggst<
"!&uk meg a vgtelen algebra szorz2tbl&t egy a
i&
mtri7szal:
' , - / K M Aost a szorzsi szably: "
'
"
/
) "
K
)
/ '
a
"
' , - / K M J
, - / ' M J K
- / ' , J N O
/ ' , - N O '.
"z algebra generl2 egyenlete:
i "i "& i&
&
a
" I *" + = +
,
lvn
& i
&
a
i
" " " =
.
" szuk$essz#v iter$i2 sorn az "
i
elem #gy alakul:
i& i&, " i "i "& i& "i "& "k k
& & k
a a
a
a
" I *" + I * I *" ++ = + = + + =

i&,k
i&
i&,
, m
" "m i "i "& "k
k
m & k
a
a
a "a
a " I * I * I *"a +++ = + + +
) . . . . .
Aost mr kez! !erengeni az ltalnos ssze9ggs:
"z egyin!e7es mtri7nak a
"&
i&
&
"a
I * +
9elel meg, ami a rvi!#tett #rsm2!ban
& i& a
" "
, a ktin!e7es mtri7nak a i&,k
"& "k
& k
"
a
a I * I * ++
9elel meg, ami
& k
i&,k a
a " " "
.
" - in!e7es mtri7nak i&,k
, m
"m "& "k
m & k
a
" a I * I * I * a +++
)
m
& k
i&,
, m
k a
a " " " "a
9elel meg.
" 9elsorolsunk: " , ;
'
, ;
' '
, ;
,
, ;
' ' '
, ;
, '
, ;
' ' ' '
, ;
-
, ;
' ,
, ;
, ' '
, . . . .
;
'
)
"' ''
"
a
I * +
) I
'
*
",
+ ) I
'
*
,
+ )
N
,
;
' '
)
"' "' '',' a
I *I * "a ++
) I
'
*I
'
*
"a,'
++ ) I
'
*I
'
*
"-
++ ) I
'
*I
'
*
/
++ ) I
'
*
'J
+ )
'J-
,
;
,
)
", ',
"
a
I * +
) I
,
*
"-
+ ) I
,
*
/
+ )
,/
,
;
' ' '
)
"' "' "' '','
,' a
a
I *I *I * "a +++
)
' ' ' ,,'
,' a I *I *I * "a +++
)
' ' '
-,' I *I *I * "a +++
)
)
' ' '
/ " I *I *I * +++
)
' ' '
J I *I *I * +++
)
' '
-N I *I * ++
)
'
JN, I * +
)
-.MO-N
;
, '
)
", "' ',,' a
I *I * "a ++
) I
,
*I
'
*
"a-'
++ ) I
,
*I
'
*
"/
++ ) I
,
*I
'
*
J
++ ) I
'
*
-N
+ )
JN,
,
lt&uk hogy mr az els nhny elemnl olyan nagy szmok &nnek be, mint a
-.MO-N.
1izony, ennl az algebrnl az igen nagy szmok elmletre is szksg van<
Haln ennyi %l!a elegen! annak %rezentlsra, hogyan mk!ik a m2!szer.
8a a szorz2tblban val2s szorz2tnyezk is vannak, akkor az ismert m2!szerrel
#r&uk 9el a generl2 egyenletet :
i "i i& "& i&
&
a
" k I *" + = +
,
lvn
i&
& & i i
a
" " k " =
s a tbbi az ismertetett m2!on megy.
Aost tr&nk vissza a normlhat2sg kr!sre< 4ttuk hogy a =
9ela!atnak volt vges norm& megol!sa is< 8a " ) " + I " *"+ , akkor ""
) " , !e ugyanez igaz az
" ) k " +
'
k
I " *"+ elemre is, azzal a klnbsggel hogy az ut2bbi norm&a
vges.
8a az ", 1, 5 algebrnkat #gy generl&uk:
" ) k " +
'
k
I " *"+ (
'
n
I 1 *5+ (
'
m
I 5 *1+ ,
1 ) m 1 +
'
n
I " *5+ (
'
m
I 1 *1+ (
'
k
I 5 *"+ ,
5 ) n 5 +
'
m
I " *1+ (
'
k
I 1 *"+ (
'
n
I 5 *5+ ,
akkor ez ugyanazt a szorz2tblt tu!&a, $sak most az elemek vges norm&ak
lesznek.
k, m s n nem szksgszeren ugyanaz, #gy a - elem norm&a lehet eltr.
" 1 5 Eszerint "" ) ,", "1 ) -5, "5 ) K1 ,stb.
" ," -5 K1
1 /5 M1 J" "z els l%sknt gykrelemet vlasztunk:
" , 1 , 5 t.
5 N1 O" 5
" ) k " + 2
'
k
I " *"+ ( -
'
n
I 1 *5+ ( K
'
m
I 5 *1+ ,
1 ) m 1 + 4
'
n
I " *5+ ( M
'
m
I 1 *1+ ( J
'
k
I 5 *"+ ,
5 ) n 5 + 8
'
m
I " *1+ ( O
'
k
I 1 *"+ (
'
n
I 5 *5+ :
Aost gy kell megvlasztani a k, m, n norml2 tnyezket, hogy nagyobbak
legyenek mint az el9or!ul2 legnagyobb szorz2tnyezk, #gy k ` O, m ` N, n ` /
kell tel&esl&n.
Br!ekes kr!s, hogy va&on a vgtelen algebrk normlhat2k3e? Fgen, ha a
szorz2tnyezknek van egy 9els korlt&a. 8a nin$s, akkor nem normlhat2.
Ezzel a I#3algebrnknak min!en lnyeges tula&!onsgt elmon!tuk.
Aost tr&nk r arra a kr!sre, hogy lehet3e ezt az algebrt egyetlen elemmel
generlni?
Qhny egyszer %l!val %rezentlom, hogy %ontosan mire is gon!olok.
%g& ele''el generl(at algebrk
Vegyk elszr a val2s szmokat< " val2s szmok kt mvelettel ren!elkeznek,
az sszea!ssal s a szorzssal, amelyek tula&!onsgai a kvetkezk:
'.+ a ( b ) b ( a az sszea!s kommutativitsa
,.+ a ( *b ( $+ ) *a ( b+ ( $ az sszea!s asszo$iativitsa
-.+ a ( . ) a nullelem mint a!!it#v neutrlis elem
/.+ a ( *a+ ) . a!!it#v inverz ltezse
K.+ ab ) ba a szorzs kommutativitsa
M.+ a(b$+ ) *ab+$ a szorzs asszo$iativitsa
J.+ a' ) a az ' mint multi%likat#v egysgelem
N.+ a*a
'
+ ) ' multi%likat#v inverz ltezse
O.+ *a ( b+$ ) *a$+ ( *b$+ a szorzs s sszea!s !isztributivitsa
Qos ezek a testa7i2mk, s a val2s szmok testet alkotnak. ;e!ekin!nek 'M
a7i2m&a volt, van mg K ren!ezsi a7i2ma, az "r$him!eszi tula&!onsg s a
9olytonossgi a7i2ma.
Ezek kzl a 9olytonossgi a7i2ma a leg9ontosabb. Ennek rtelmben min!en
olyan vgtelen "
n
sorozatnak, ahol "
n
"
m
tart nullhoz ha n, m tart
vgtelenhez, ltezik hatrrtke, s az egy val2s szm. ?gy %l. az ', './, './',
'./'/, './'/,, './'/,', './'/,'- . . sorozat %%en
,
3hz tart, s az val2s
szm.
Val2s szmb2l roha!t sok van, %%en kont#nuumnyi. Ez azt &elenti hogy nem
lehet 9elsorolni ket. Egyanis ha $sinlok egy 9elsorolst, a 5antor39le tl2s
m2!szerrel tstnt rittyentek egy & elemet, ami nin$s benne a 9elsorolsban<
" val2s szmot 9el#rhatom kettes szmren!szerben, mghozz egyrtelmen:
a )
k
k
k n
,

, ahol n vges egsz. 8a megenge!em az n ) vgtelent is, akkor

ka%om az n. transzvergens szmokat. " negat#v szm ugyanez, $sak egy
m#nusz el&ellel.
8a a szumma megll egy vges k ) Q szmnl, akkor az n. 1FQ szmokat
ka%om,
Ezek a vges binris trtek. Ain!en 1FQ szm ra$ionlis, !e nem min!en ra$
szm 1FQ szm, %l. az 'L- nem az. Qa ez a binris 9el#rs sugall&a azt, hogy az
'L, szmmal min!en %ozit#v val2s szm generlhat2< Val2ban, sszea!ssal
tetszlegesen nagy egsz elll vele,
s ha szorzom nmagval, akkor elllnak az 'L/, 'LN, 'L'M, 'L-,, 'LM/,
'L',N . . . . szmok, s ezek vges sszegvel elllnak a 1FQ szmok, ha %e!ig
a vgtelen sszegeket is megenge!em, akkor az sszes %ozit#v val2s szm elll.
Ton! az, hogy a vgtelen sszegek megenge!svel 2hatatlanul be&nnek a
transzvergens szmok is< Qin$s mese, ha el9oga!om %l. a %# ltezst, akkor a
transzvergens szmokat is meg kell enge!ni<
Asik gon! a negat#v szmok. "zok bizony nem llnak #gy el< " trkk az, hogy
akkor nem 'L,3bl in!ulok ki, hanem 'L,3bl< *'L,+* 'L,+ ) 'L/, s *'L/+ +
*'L/+ ) 'L, , s a !olog mehet ugyangy tovbb<
" val2s szmok teht az albbi smval ll#that2k el:
'
, ,
,
+

Ebben a szisztmban kt mvelet szere%el, melyek kielg#tik a testa7i2mkat,
s mg egy ssze9ggst kell $satolni hozz, amit a 0 'L, tu!:
*'L,+* 'L,+ ( *'L,+* 'L,+ ( *'L,+ = 0 !"hol a . termszetesen a test
nulleleme.
8a a test egysgelemt is hasznlom, akkor a 9enti ssze9ggs %2tolhat2 ezzel
is:
*'L,+ + * 'L,+ ( ' ) . .
Ain!ez %ersze nagyon trivialitsnak tnhet, ha a megszokott matematikai
sztereot#%iinkat hasznl&uk. Ezrt &ell&k a 0 'L,3et %l 0val< Ekor az
ssze9ggs #gy nz ki:
( ( ' ) . , s mris nem hat olyan trivialitsnak<
" tovbbiakban min!en val2s szmot az al9a vges vagy vgtelen sszegeivel s
szorzataival #runk 9el. Br!ekelne, hogy a
,
vagy a hogy nz ki ebben a
re%iben.
Ar az egyszer szmok sem egyszerek ebben a k%ben< *Cersze meg kell
&egyezzem, hogy a ;e!ekin!3szeletekkel brzolt val2s szmok sem egyszerek
m<+
Cl. - ) ( ( ( ( ( ( ( ( ( (
( .
4vn ) 'L/, s ugye - ) ',*'L/+ .
Ebben a vilgban mg az egyszeregy bizony#tsa sem knny, lvn
' ) ( ( ( <
'' ) * ( ( ( )( ( ( ( ) = 16 () , ahol
most a 'M &elentse egyszeren 'M ilyen tag sszea!sa. 1e kell ltni hogy ez
%%en '3gyel egyenl< Qos, a !isztributivits miatt kiemelhetnk 3t, s #gy:
'' ) ( ( ( ( ( . . . . ( ) ahol %%en 'M
szere%el.
Dm!e ( ( ( = 1, ezrt a * + 0ben ' ( ' ( ' ( ' van< Heht
'' ) ( 1 + 1 + 1 + 1 ) = ( ( ( = 1 ! 8urr, belttuk<
Ag r!ekesebb annak a beltsa, hogy 'L, ( 'L/ ( 'LN ( 'L'M ( 'L-, ( . . . ) '<
Ez a mi re%rezent$i2nkban #gy 9est:
( ( + + + + . . . . = ( ( (
!Egye ez mr nem olyan trivialits?
Von&uk ki azt a hrom 3t az ele&rl:
+ + + + + + . . .
. = .vegyk szre hogy min!en tag hromszor szere%el, mert az 'L,3t gy
ll#tom el, hogy
'L, ) 'L/ ('L/ , stb. ?gy a -3ast kiemelhetem:
- ( + + + . . . . ) = Aost oszthatunk
val: - ( + + + + . . . . ) = 1 Ez
tula&!onk%%en azt ll#t&a hogy 'L/ ( 'L'M ( 'LM/ ( 'L,KM ( . . . . ) 'L- .
"z osztst mg nem rtelmeztk ebben a szisztmban< Cersze a testa7i2mk
rtelmben ltezik a multi%likat#v inverz, s a vele val2 szorzst nevezzk
osztsnak.
Ennek rtelmben a - inverze %%en a 9ent lthat2
+ + + . . . .elem lesz. Cersze 9olytat&uk a bizony#tst:
szorozzuk meg a 9enti egyenletet *' ) val< Ezt ka%&uk:
- *' )( + + + + . . . . ) = '

- ( + + + + . . . .) -
( + + + + . . . . ) = '
Elvgezve az val szorzst, ezt ka%&uk:
- ( + + + + . . . .) -
( + + + . . . . ) = *' ) Bs #me a
$so!a< " %irossal kiemelt rszek kie&tik egymst<<< Aara!:
- = *' ) , s most ne 9ele!&k, mit &elent a
- : + + = ' , vgl a!&unk hozz = t :
+ + + = '<<<<< Bs ez igaz, teht bizony#tottuk az ssze9ggst<
8t nem volt egyszer, !e r!emes volt. Aert mi kvetkezik ebbl? Qem ms
mint az hogy a ;e!ekin! 09le 9olytonossgi a7i2ma min!en kln kikts
nlkl kia!2!ik<
"bban a vilgban, amit kizr2lag az = 'L, elembl generltunk, a
9olytonossgi a7i2ma magt2l tel&esl, nem kell kln kiktni< Ezrt a sz%
ere!mnyrt kszk!tnk i!ig< "zzal hogy megenge!&k a vgtelen
sszegeket, lt&ogosultsgot nyer az n. @FS3m2!szer, ahol @FS ) @el9 Fnvolving
Rb&e$t ) anmagt tartalmaz2 Rb&ektum<
Ez #gy mk!ik: ' ( 'L, ( 'L/ ( 'LN ( 'L'M ( 'L-, ( . . . . )7, kr!s, mennyi 7?
Qos, 7 ) ' ( 'L, *' ( 'L, ( 'L/ ( 'LN ( 'L'M ( 'L-, ( . . .+ ) ' ( 'L, 7<
Heht 7 ) ' ( 'L, 7 , von&unk ki min!kt ol!alb2l 'L, 7 0et, ka%&uk:
'L, 7 ) ', s most szorzunk ,3vel: 7 ) ,<<< Egsz %ontosan.
Ebben az a 9el9ogs re&lik, hogy az ' ( 'L, ( 'L/ ( 'LN ( 'L'M ( 'L-, ( . . . .
vgtelen sor nem $su%n tart ,3hz, hanem egsz %ontosan egyenl vele,
aktulisan, itt s most<
Heht a val2s szmok nem$sak %oten$ilisan lteznek, hanem aktulisan is<
" kont#nuum nem $su%n egy %oten$ilis vgtelen, hanem aktulisan is ltezik<
"zt hiszem rz!ik, hogy a I#3algebra egsz szellemn vgighz2!ik ez a
gon!olat.
" I#3algebra elemei olyan ltezk, amelyek vgtelen szm tag sszegeknt
llnak el.
B%%en ez teszi lehetv a I#3algebra univerzalitst<<<
Bs most elrkeztnk a I#3algebra legr!ekesebb 9e&ezethez:
8ogyan lehet az egsz I#3algebrt generlni egyetlen "4I" elemmel?
Ez az "4I" elem mltn megr!emli a HE]EAHb nevet<
A F-algebra generlsa eg&etlen ele''el
Pell&e most is ezt a Heremt elemet<
Ennek meg9elelen I#3algebra )
, , +
, $sak most az elem ms
ssze9ggseket elg#t ki:
8t elszr is a testa7i2mkb2l trl&k a szorzs kommutativitst, asszo3
$iativitst s az egysgelem ltezst, valamint a multi%likat#v inverz ltezst
is.
Ez a !rasztikus $sonk#ts $so!latos & lehetsgek ka%u&t nyit&a meg<<
4egyenek most az a7i2mink ezek:
'.+ a ( b ) b ( a az sszea!s kommutativitsa
,.+ a ( *b ( $+ ) *a ( b+ ( $ az sszea!s asszo$iativitsa
-.+ a ( . ) a nullelem mint a!!it#v neutrlis elem
/.+ a ( *a+ ) . a!!it#v inverz ltezse
K.+ *a ( b+$ ) *a$+ ( *b$+ a szorzs s sszea!s !isztributivitsa
4t&uk hogy az ere!eti O 0 bl min!ssze K mara!t.
Aost kvetkezik az, hogy az 0nak milyen ssze9ggseket kell kielg#tenie:
6.) =
.
7.)
n
=
'
,

n('
N.+
n




= 0
"z 0t gy nevezzk hogy " Heremt, a
.
0t %e!ig gy, hogy "z B%#t.
O.+ "
n
0ek kielg#tik az ismert tblzattal mega!ott szorzsi szablyt:
. ' , - / K Ez az "
i&
tblzat. Cl. "
,-
) 'N .
. ' , / J '' 'M
' - K N ', 'J ,-
, M O '- 'N ,/ -'
- '. '/ 'O ,K -, /.
"
' ,
) N . Pelentse ez azt, hogy
N

'
=
,
! Heht
"i&

i
=
&
!Bs min!en ms k i esetn
"i&

k
= 0 !Ezzel a I#3
algebrnkat tel&esen mega!tuk< I#3algebra )
, , +
<
Aost &n a nagy kr!s: tnyleg el lehet ll#tani ezzel min!en I#3algebrabeli
elemet?
" I#3algebrabeli ltalnos elem ugyanis #gy nz ki: ) b
.

.
( b
'

'
( b
,

,
( . . . ahol a b
k
egytthat2k tetszleges val2s szmok lehetnek< Ain!en val2s
szm kln 0 kln is vgtelen sok binris tag sszege, s itt mg ezekbl is
vgtelen sok van<
Ar hogy lehetne ezeket az egy szem al9nkb2l min! elll#tani? ;e bizony
hogy el lehet<
Ain!en ) b
.

.
( b
'

'
( b
,

,
( . . . vektor valahogy #gy 9og kinzni
ebben az & re%rezent$i2ban: )
+ + + + + + 6 ahol az
t#%us szorzatokat szigoran ebben az rtelemben hasznl&uk:
. . . . . ((())). . .) teht balr2l szorzsknt. Ennek meg9elelen
=
.
, =
.
)
'
,

'
, = (
'
,

'
) =
'
/

,
, s tovbb
9olytatva elll a
'
N

-
,
'
'M

/
,
'
-,

K
,
'
M/

M
,
'
',N

J
,
'
,KM

N
,
'
K',

O
,
'
'.,/

'.
, . . .
na ez mr nagyon &2, $sak mg az a %roblma, hogy min!en
k
0nak $sak
egy9le egytthat2&a van. "hhoz hogy a tbbit is elll#atsuk, egy kis trkkhz
9olyamo!unk:
Hu!&uk hogy
'

.
)
.
, teht *
.
)
.
)
'
,

'

.
)
'
,

.
, teht
()() =
'
,

.
< Qagyon gyel&nk a zr2&elezsre<
(
'
,

.
) =
'
/

'
, (
'
/

'
) =
'
N

,
, s tovbb 9olytatva elllnak sz%en
sorban az
'
'M

-
,
'
-,

/
,
'
M/

K
,
'
',N

M
,
'
,KM

J
,
'
K',

N
,
'
'.,/

O
, . . .
elemek is<
X&ra megismtelve a trkkt ezttal a
'
,

.
elemmel, ezt ka%&uk:
*(
'
,

.
))
.
)
'
/

'

.
)
'
/

.
, teht immr az
'
/

.
elemmel
9olytathat&uk:
'
/

.
,
'
N

'
,
'
'M

,
,
'
-,

-
,
'
M/

/
,
'
',N

K
,
'
,KM

M
,
'
K',

J
,
'
'.,/

N
, . . .
4that&uk teht, hogy a trkknk ismtelt alkalmazsval el tu!&uk ll#tani a

.
,
'
,

.
,
'
/

.
,
'
N

.
,
'
'M

.
,
'
-,

.
,
'
M/

.
,
'
',N

.
,
'
,KM

.
,
'
K',

.
, . . elemeket. cavar2 mg az alternl2 el&el, az algebrnkban $sak az
sszea!s megenge!ett mvelet, a kivons nem< :ln kell igazolni hogy
min!en elemnek ltezik ellentett&e<
Qa!e a!&uk ssze %rosval az #gy ka%ott elemeket:

.
( *
'
,

.
+ )
'
,

.
,
'
/

.
( *
'
N

.
+ )
'
N

.
,
'
'M

.
( *
'
-,

.
+ )
'
-,

.
, stb. Ezzel a hinyz2
'
,

.
,
'
N

.
,
'
-,

.
, stb. tagok is elllnak tisztn
sszea!ssal s szorzssal. "
.
ismtelt sszea!sval tetszlegesen nagy
%ozit#v egsz, a
'
,

.
ismtelt sszea!sval tetszlegesen nagy negat#v egsz
ltrehozhat2, a ,
3k

.
3k seg#tsgvel %lusz az egszekkel %e!ig tetszleges
val2s szm elll#that2, %ersze a legtbbszr $sak vgtelen sszeg seg#tsgvel.
4tre tu!&uk teht hozni a b
.

.
tagot, ahol b
.
tetszleges val2s szm<
Ebbl %e!ig ltre tu!&uk hozni a tbbi b
k

k
tagot is, 0val val2
szorozgatssal<
Val2ban, . . . . . ((((( b
.

.
))). . .) = (1)
k
(,
3k
) b
.

k
lesz, ahol
%%en k !arab
0val szoroztunk balr2l, s ha most b
.
0t gy vlasztom meg hogy (1)
k
(,
3k
)
b
.
= b
k
legyen, akkor mr meg is ka%tam a b
k

k
tagot<
" b
k

k
tagok birtokban %e!ig ltre tu!om hozni a ) b
.

.
( b
'

'
( b
,

,
( . . .3t is< Fgazoltuk teht, hogy a tel&es I#3algebra ltrehozhat2 tisztn
sszea!ssal s szorzssal, egye!l az generl2 elemet 9elhasznlva<
Cersze egy ltalnos elem alak&a nem lesz egyszer, !e sok egyszers#t &ellst
lehet bevezetni. Vgl is, amikor val2s szmokkal szmolunk, akkor sem
;e!ekin!3szeletekkel !olgozunk, vagy vgtelen binris trtekkel< @zorozni
klnsen nehz velk<
Matr$ska-vilg
Aost %e!ig megmutatom, hogy a teremt "4I" mo!ell&e a I#3algebrn bell is
ltrehozhat2< Hr&nk ehhez vissza a I#3algebra nmo!ell&hez<
. = ,
' = / + I
,
* .+ = / + I
,
* ,+ ) / + '-
, = J + I
,
* '+ = J + I
,
* / + '-+ ) J + ,/ + ',-
- = '' + I
/
* .+ = '' + I
/
* ,+ ) '' + ,M
/ = 'M + I
,
* ,+ = 'M + I
,
* J + ,/ + ',-+ = 'M + /N + -K/ + JNJN
K = ,, + I
/
* '+ = ,, + I
/
* / + '-+ = ,, + /' + 'KN
M = ,O + I
J
* .+ = ,O + I
J
* ,+ = ,O + K-
J = -J + I
,
* -+ = -J + I
,
* '' + ,M+ = -J + O/ + /.O N = /M
+ I
/
* ,+ = /M + I
/
* J + ,/ + ',-+ = /M + J' + /'' + N'-- O = KM
+ I
J
* '+ = KM + I
J
* / + '-+ = KM + J/ + ,'N '. = MJ + I
''
* .+ = MJ
+ I
''
* ,+ = MJ + '.-. . . . . . . . . . . .
Ezekhez az elemekhez mr $sak a Heremtt kell megkonstrulni, s ksz a
begyazott Aatr&oska 0 vilg<< "z "4I" %e!iglen ezt tu!&a:
"4I""4I" ) . "4I" n =
'
,

n(' Bs most tstnt megrt&k, mirt ,

vel kez!tk a gykrelemek sorozatt: tu!niillik ' et szntuk az "4I"
gykrelemnek<<
Heht "4I" ) ' + . . . . %lusz mi$so!a?
8t elszr is "4I""4I" ) . = , , teht "4I" ) ' + N
+ . . . . mivelhogy N ' = , ! "ztn "4I" . =
'
,

' miatt "4I" ,

=
'
,

( / + '- ) , az "4IDt bv#t&k az

I
,
*/+ s az I
,
*'-+ elemekkel, azaz ,/ s 1,- elemekkel, nem meg9ele!kezve a

'
,
szorz2 tnyezkrl sem: "4I" ) ' + N
'
,

,/
'
,

1,-
. . . . "4I" ' =
'
,

, miatt "4I" / =
'
,

( J + ,/ + ',- ) , az
"4IDt bv#t&k a

'
,

I
/
*J+ , a
'
,

I
/
*,/+ , s a
'
,

I
/
*',-+ elemekkel , ka%&uk:
"4I" ) ' + N
'
,

,/
'
,

1,-
'
,

J'
'
,

411
'
,

JNN'
. . . . Hovbb 9olytatva az el&rst, vgl megka%&uk a tel&es "4IDt, vagyis a
Heremtt<
Ez az egyetlen elem ltrehozza a I#3algebrn bell magnak a I#3algebrnak a
tkletes mo!ell&t< Vagyis megszletik a Aatr&oska 0vilg< Aert ugye itt sem
ll meg a buli, hanem ltre&n ebben a n vilgban egy ugyanilyen @cECE]3
"4I", amely megteremti a @cECE] n vilgot, s ez #gy 9olytat2!ik a
vgtelensgig<
@cECE]3"4I" ) ' + N
'
,

,/
'
,

1,-
'
,

J'
'
,

411
'
,

JNN' . . . .@cECE]3@cECE]3"4I" ) @cECE] ' + @cECE] N

'
,

@cECE] ,/ . . . . s #gy tovbb a vgtelensgig6.

Kz'ik)s evl*+i
Aost ebben az utols2 9e&ezetben azt vizsgl&uk meg, hogy ltre tu!nak3e &nni
ebben a vilgban magukt2l is ezek a teremt "l9k, vagy neknk kell ket
mestersgesen megkonstrulni? Egyangy, ahogy %l. egy vges vagy vgtelen
algebra mo!ell&t is gy konstrultuk meg, bizonyos generl2 egyenletekkel.
"z els szrevtel az, hogy amikor 9el#r&uk %l. az " ) " + I " *"+ ( I 1 *5+
( I 5 *1+ egyenletet, akkor az I " *"+ lnyegben egy o%er$i2 az I " * +
o%ertorral< ;e ahogy a legele&n megmutattuk, a I#3algebrban min!en lineris
o%ertor elll szorzsknt<
Qevezzk ezt az o%ertort E99ornak< "z I* + ) e99 6 sz2b2l szrmaztatva.
"z E99or ezt tu!&a:
,
n
* + - ,
I *
,
k k n
+ k
n + + + +
= , teht I n * k+ ) m , ahol
,
* + - ,
,
k n n k
m
+ + + +
= . Qo s mivel kell a k 0 t szorozni ahhoz hogy m
legyen?
Qos, termszetesen a 0 val, ahol most a ) I k *m+ , azaz
k
,
m * + - ,
I * +
,
a
m
m
k k + + + +
= = )
)
, ,
,
* + - , * + - ,
* + -
n n n n
k k ,
,
,
k
,
k k k + + + + + + + +
+ + + +
< @z%. . . . .
"z I n *k+ E99ort gy ka%om meg, hogy k ) ., ', ,, -, /, . . . 0et helyettes#tek, s
az #gy ka%ott a 0 kat sszea!om: *termszetesen rgz#tett n mellett+ :
I n * + ) a. ( a' ( a, ( a- ( a/ ( aK ( . . . . .
, ,
,
.
* + - , * + - ,
* + - ,
,
n n n . .
,
,
. n
. .
.
a
+ + + + + + + +
+ + + +
=

, ,
,
'
* + - , * + - ,
* + - ,
,
n n n ' '
,
,
' n
' '
'
a
+ + + + + + + +
+ + + +
=
,
, ,
,
,
* + - , * + - ,
* + - ,
,
n n n , ,
,
,
, n
, ,
,
a
+ + + + + + + +
+ + + +
=
, stb.
Egyszerbben is 9el#rhatom ezeket: a ) I k *m+ , s m ) I n *k+ , teht a ) I k *I n
*k++<
"z E99orok seg#atsgvel a generl2 egyenlet: " ) " + I " " ( I 1 5 ( I 5
1 , ahol I " , I 1 , I 5 az E99orok, s kznsges szorzs szere%el.
Iel tu!&uk teht %#teni az algebrnkat szuk$essz#v l%sekbl, nhny E99or
9elhasznlsval. " gon! mg min!ig az, hogy az E99orokat kszen kell tlalni
ehhez.
Bn %e!ig egy olyan evol$i2t szeretnk %rezentlni, ahol min!en magt2l &n
ltre<
"z egyetlen alkalmazan!2 szably az nmagra alkalmazs, ami itt meg9elel az
nmagval szorzsnak< "mikor = 'L, volt, akkor megnztk az 7 ) + 7
elemet:
7 ) + 7 ) + * + 7+ ) + * + * + 7++ )
+ * + * + * + 7+++ . .
7 )
+ + + + + + + . . . .
szorozzuk meg 7 0et *' 0 + 0val: 7*' 0 + )
+ + + + + + + . . . .
. . . . =
, min!en ms kiesik ugyanis. Ebbl 7 0 7 ) a!2!ik, vissza&utottunk az
ele&re.
Egye azt kne ka%nunk hogy 7 ) /(1), !e ezt elemi ton kell megka%ni.
8a = 'L, , akkor 7 ) 'L- a!2!ik. Heht - 7 ) ' , teht 7 ( 7 ( 7 )
+ .
Aivel 7 ) + 7 , ezrt 7 ( 7 ( 7 ) + 7 ( + 7 ( 7 ) + + 7 ( 7
( 7 )
) + + 7( + + 1) , s most i!zzk 9el az !e9inil2 egyenlett:
+ + 1 = 0 !Heht igazoltuk hogy - 7 ) ' , teht 7 ) 'L- , s most lt&uk a
'L- re%rezent$i2&t az "l9a39ormalizmusban: 'L- )
+ + + + + +. .Aost ha az "l9a a I#3
algebra generl2 eleme, akkor mit a! az 7 ) + 7 k%let?
7 ) + + + + + +. . . . =) +
.

'
,

'
(
'
/

,

'
N

-
(
'
'M

/

'
-,

K
(
'
M/

M

'
',N

J
(
'
,KM

N
, . . .
8a %e!ig 7 )
.
+ 27 , akkor 7 )
.

'
(
,

-
(
/

K
(
M

J
(
N
. . .
Br!ekes elemek ezek, !e egyenlre nem tu!unk r2luk tbbet mon!ani.
Ezzel a I#3algebrai vizsglatainknak a vgre &utottunk, br az igazi trtnet mg
$sak itt kez!!ne. 8a sikerlne megmutatni, hogy a I#3algebrban lehetsges
egy9a&ta algebrai evol$i2, ahol egyszer elemekbl, egyszer szablyok seg#t3
sgvel bonyolult struktrk &hetnek ltre, amelyek akr az nszervez!sre is
k%esek, s #gy mo!ell&ei lehetnek egy tu!atk%z!si me$hanizmusnak, ami
vgs soron a vilg ala%&a.
Az %ffrk evl*+i$a
"z E99or ezt tu!&a:
,
n
* + - ,
I *
,
k k n
+ k
n + + + +
= , teht I n * k+ ) m , ahol
,
* + - ,
,
k n n k
m
+ + + +
= . Qo s mivel kell a k 0 t szorozni ahhoz hogy m
legyen?
Qos, termszetesen a 0 val, ahol most a ) I k *m+ , azaz
k
,
m * + - ,
I * +
,
a
m
m
k k + + + +
= = )
)
, ,
,
* + - , * + - ,
* + -
n n n n
k k ,
,
,
k
,
k k k + + + + + + + +
+ + + +
< @z%. . . . .
"z I n *k+ E99ort gy ka%om meg, hogy k ) ., ', ,, -, /, . . . 0et helyettes#tek, s
az #gy ka%ott a 0 kat sszea!om: *termszetesen rgz#tett n mellett+ :
I n * + ) a. ( a' ( a, ( a- ( a/ ( aK ( . . . . .
, ,
,
.
* + - , * + - ,
* + - ,
,
n n n . .
,
,
. n
. .
.
a
+ + + + + + + +
+ + + +
=

, ,
,
'
* + - , * + - ,
* + - ,
,
n n n ' '
,
,
' n
' '
'
a
+ + + + + + + +
+ + + +
=
,
, ,
,
,
* + - , * + - ,
* + - ,
,
n n n , ,
,
,
, n
, ,
,
a
+ + + + + + + +
+ + + +
=
, stb.
Egyszerbben is 9el#rhatom ezeket: a ) I k *m+ , s m ) I n *k+ , teht a ) I k *I n
*k++<
Vegyk szre, hogy az E99or $sak n 0 tl 9gg, teht a gykrelem megv3
lasztst2l<
;e 9ggetlen att2l, milyen algebrban hasznl&uk, milyen !e9inil2 egyenle3
tekkel<
Ez azt &elenti, hogy min!en algebrai mo!ell ugyanazokat az E99orokat hasznl&a.
I ' * + ) a. ( a' ( a, ( a- ( a/ ( aK ( . . . . .
, ,
,
.
* + - , * + - ,
* + -
. . . ' '
,
,
.
J
,
'
.
,
. '
a
+ + + + + + + +
+

+ + +
= =
,
, ,
,
'
* + - , * + - ,
* + -
' ' ' '
,
, ,
,-
,
'
'
' ' '
'
a
+ + + + + + + +
+

+ + +
= =
,
, ,
,
,
* + - , * + - ,
* + -
' ' , ,
,
, ,
KN
,
,
,
, ' '
,
a
+ + + + + + + +
+

+ + +
= =
,
, ,
,
-
* + - , * + - ,
* +
' ' ' '
- ,
, ,
',/
- -
- - -
,
-
a
+ + + + + + + +
+ + +

+
=

=
,
, ,
,
/
* + - , * + - ,
* +
' ' ' '
- ,
, ,
,-M
/ /
/ / /
,
/
a
+ + + + + + + +
+ + +

+
=

=
,
, ,
,
K
* + - , * + - ,
* +
' ' ' '
- ,
, ,
/',
K K
K K K
,
K
a
+ + + + + + + +
+ + +

+
=

=
,
, ,
,
M
* + - , * + - ,
* +
' ' ' '
- ,
, ,
MJ-
M M
M M M
,
M
a
+ + + + + + + +
+ + +

+
=

=
,
, ,
,
J
* + - , * + - ,
*
J
+ - ,
, ,
'
' ' ' '
J J
./-
J J J
,
a
+ + + + + + + +
+ + +
=

=
,
, ,
,
N
* + - , * + - ,
*
N
+ - ,
, ,
'
' ' ' '
N N
K/O
N N N
,
a
+ + + + + + + +
+ + +
=

=
,
, ,
,
O
* + - , * + - ,
*
O
+ - ,
, ,
,
' ' ' '
O O
,,'
O O O
,
a
+ + + + + + + +
+ + +
=

=
,
stb.
Aeghatroztuk teht az I ' * + ) I ' E99or els '. elemt, amellyel teht
I ' ) J ( ,- ( KN ( ',/ ( ,-M ( /', ( MJ- ( './- ( 'K/O (
,,,' ( . . . . .
Ezzel az E99orral teht az I ' * " + szorzatknt #rhat2, #gy hogy I ' " .
8asonl2 m2!szerrel ka%hat&uk meg az I , E99ort is:
I , * + ) b. ( b' ( b, ( b- ( b/ ( bK ( . . . . .
, ,
,
.
* + - , * + - ,
* + -
, , . .
,
, ,
,,
,
.
.
. , ,
.
b
+ + + + + + + +
+

+ + +
= =
,
, ,
,
'
* + - , * + - ,
* + -
, , ' '
,
, ,
KJ
,
'
'
' , ,
'
b
+ + + + + + + +
+

+ + +
= =
,
, ,
,
,
* + - , * + - ,
* +
, , , ,
- ,
, ,
',-
, ,
, , ,
,
,
b
+ + + + + + + +
+ + +

+
=

=
,
, ,
,
-
* + - , * + - ,
* +
, , , ,
- ,
, ,
,-K
- -
- - -
,
-
b
+ + + + + + + +
+ + +

+
=

=
,
, ,
,
/
* + - , * + - ,
* +
, , , ,
- ,
, ,
/''
/ /
/ / /
,
/
b
+ + + + + + + +
+ + +

+
=

=
,
, ,
,
K
* + - , * + - ,
* +
, , , ,
- ,
, ,
MJ,
K K
K K K
,
K
b
+ + + + + + + +
+ + +

+
=

=
,
, ,
,
M
* + - , * + - ,
*
M
+ - ,
, ,
'
, , , ,
M M
./,
M M M
,
b
+ + + + + + + +
+ + +
=

=
,
, ,
,
J
* + - , * + - ,
*
J
+ - ,
, ,
'
, , , ,
J J
K/N
J J J
,
b
+ + + + + + + +
+ + +
=

=
,
, ,
,
N
* + - , * + - ,
*
N
+ - ,
, ,
,
, , , ,
N N
,,.
N N N
,
b
+ + + + + + + +
+ + +
=

=
,
, ,
,
O
* + - , * + - ,
*
O
+ - ,
, ,
-
, , , ,
O O
.O'
O O O
,
b
+ + + + + + + +
+ + +
=

=
,
stb.
Aeghatroztuk teht az I , * + ) I , E99or els '. elemt, amellyel teht
I , ) ,, ( KJ ( ',- ( ,-K ( /'' ( MJ, ( './, ( 'K/N (
,,,. ( -.O' ( . .
"zt a megle% 9el9e!ezst tehet&k, hogy b
k
) a
k('
0 '< Egyszer szmols
meggyz errl.
Va&on milyen lesz az I - E99or?
I - * + ) $. ( $' ( $, ( $- ( $/ ( $K ( . . . . .
@zmol&uk ki %l $
N
0 at<
, ,
,
N
* + - , * + - ,
*
N
+ - ,
, ,
-
- - - -
N N
.O.
N N N
,
$
+ + + + + + + +
+ + +
=

=
<
]emnyeinkben nem is $salatkoztunk, ez nem ms mint b
O
0 '< Heht #rhat&uk is:
I - ) KM ( ',, ( ,-/ ( /'. ( MJ' ( './' ( 'K/J ( ,,'O (
-.O. ( . . . .
I / ) ',' ( ,-- ( /.O ( MJ. ( './. ( 'K/M ( ,,'N ( -.NO
( . . . .
I K ) ,-, ( /.N ( MMO ( '.-O ( 'K/K ( ,,'J ( -.NN ( . . . .
Bs #gy tovbb.
" most 9elismert eltolsi ssze9ggs 0 amely tel&es in!uk$i2val bizony#that2 0
viszont lehetv teszi, hogy az sszes E99ort elll#tsuk egye!l az I' 0 bl<
Qem kell ms, $sak egy eltolsi o%ertor, amely a legels elemet eltnteti, a
tbbit %e!ig eggyel $skkenti.
"z eltols knnyen megy a * -, O, 'O, --, K', J-, OO, ',O, 'M-, ,.', . . . ,n
,
( ' +
elemmel.
Egyanis - ' ) . , O , ) ' , 'O - ) , , -- / ) - , K' K )
/ , . . .
"z eltntets a bonyo!almas. Ait kell eltntetni? I ' 3 bl a J 0et, I , 3 bl a
,, 0t,
I - 3 b2l a KM 0ot, I / 3 bl a ',' 0et, I K 3 bl a ,-, 0t, stb.
5sinl&uk ezt a lyukas szita m2!szerrel< Ennek lnyege az, hogy az eltolsi
o%ertorban ezeken a helyeken lyukakat hagyunk, azaz kihagyom a J , ,, ,
KM , ',' , ,-, , 6 elemeket eltol2 9#ket< Aelyek ezek? " ,n
,
( ' k%let
megmon!&a< Heht a ,J
,
( ' ) OO, a ,,,
,
( ' ) OMO, a ,KM
,
( ' ) M,J-, a
,','
,
( ' ) ,O,N-, a ,,-,
,
( ' ) '.JM/O, . . . stb. elemeket kell ki9ele&teni az
eltolsi o%ertorb2l< "z ily m2!on kigyomllt eltolsi o%ertor most mr tu!&a
amit kell: az I ' E99orb2l elll#t&a I , 3 t, az I , E99orb2l elll#t&a I - 3 t, az I -
E99orb2l elll#t&a I / 3 et, s #gy tovbb<
Eniverzumunkban teht kt elemre van szksg, az I ' E99orra, s a kigyomllt
eltolsi o%ertorra, azaz
I ' ) J ( ,- ( KN ( ',/ ( ,-M ( /', ( MJ- ( './- ( 'K/O (
,,,' ( . . . . . s E ) * -, O, 'O, --, K', J-, OO, ',O, 'M-, ,.', . . . ,n
,
( ' + 0 * OO,
OMO, M,J-, ,O,N-, '.JM/O, 6+ E ) - ( O ( 'O ( -- ( K' ( J- (
',O ( 'M- ( ,.' ( ,/- ( . . . . .
Egye 9igyeltnk, a OO 0 es kimara!t. " legkzelebbi kimara!2 a OMO, aztn a
M,J-, stb.
8a egy algebrt mo!elleznk, mg kellenek a gykrelemek is, a szorz2tbla
nulla!ik sorb2l, s kellenek a !e9inil2 egyenletek is. Vges, n elem algebra
mo!ellezsnl $sak az els n !b. E99or kell, !e mivel $sak n !b. gykrelem
van, a tbbi E99or br &elen van, tel&essggel hatstalan, azaz min!enbl nullt
$sinl. Van azonban egy nagy gon!: az E99orokban gykrelemek is
szere%elnek< Cl. I
'
0ben a J, I
,
0ben a ,, szere%el,
I
-
0ban az KM szere%el, I
/
0ben %e!ig a ',' szere%el. Ezek szerint ezeket az
elemeket nem szaba! gykrelemnek vlasztani< Vagy %e!ig hagy&uk el az
E99orb2l az a
.
elemet, mivel a
.
0t sose vlaszt&uk meg gykrelemnek, s
ekkor
I ' ) ,- ( KN ( ',/ ( ,-M ( /', ( MJ- ( './- ( 'K/O (
,,,' ( . . . . .
I , ) KJ ( ',- ( ,-K ( /'' ( MJ, ( './, ( 'K/N ( ,,,. (
-.O' ( . . . .
I - ) ',, ( ,-/ ( /'. ( MJ' ( './' ( 'K/J ( ,,'O ( -.O. ( . . . .
I / ) ,-- ( /.O ( MJ. ( './. ( 'K/M ( ,,'N ( -.NO ( . . . .
I K ) /.N ( MMO ( '.-O ( 'K/K ( ,,'J ( -.NN ( . . . .
Bs #gy tovbb.
E ) * -, O, 'O, --, K', J-, OO, ',O, 'M-, ,.', . . . ,n
,
( ' + 0 * '.KO, M/OO,
,OJMO,'.NKJO 6+
"z E 0 bl a ,-, KJ, ',,, ,--, /.N 6 elemek meg9elelit hagytuk el.
Aost mr tu!unk univerzlis algebrkat %#teni. ;e ehhez szksg van a
!e9inil2 egyenletek evol$i2&ra is. 4egyen az egyenletnk ez:
" :) " + I " *"+ ( I 1 *5+ ( I 5 *1+ ,
1 :) 1 + I " *5+ ( I 1 *1+ ( I 5 *"+ ,
5 :) 5 + I " *1+ ( I 1 *"+ ( I 5 *5+ .
Ez az E99orok seg#tsgvel #gy %2tolhat2:
" :) " + I " " ( I 1 5 ( I 5 1 ,
1 :) 1 + I " 5 ( I 1 1 ( I 5 " ,
5 :) 5 + I " 1 ( I 1 " ( I 5 5 .
" ) ' , 1 ) , , 5 ) / , I " ) I ' , I 1 ) I , , I 5 ) I / , a tbbi
E99ornak nin$s szere%e. Fnnentl a m2!szer a megszokott m2!on alakul tovbb.
:iin!ulsi rtkek:
" ) '
1 ) ,
5 ) /
Els $iklus utn:
" ) ' , I " *"+ , I 1 *5+ , I 5 *1+ ) ' , I ' *'+ , I , */+ , I / *,+ ) ' , K , ,/ ,
,M
1 ) , , I " *5+ , I 1 *1+ , I 5 *"+ ) ' , I ' */+ , I , *,+ , I / *'+ ) , , 'J , '- ,
,.
5 ) / , I " *1+ , I 1 *"+ , I 5 *5+ ) ' , I ' *,+ , I , *'+ , I / */+ ) / , N , O , /'
.
" kvetkez $iklusban O 0 O & szm generl2!ik , s az ere!mny #gy alakul:
" ) ', K , ,/ , ,M , ,- , -,J , -N. , KN , MO , O/O , ,-M , 'KN , -.K
1 ) ,, 'J , '- , ,. , /J , KJ , O.K , 'O- , ',- , ,KM , K. , /'' , /J.
5 ) /, N , O , /' , 'J- , '.J , ,-- , -' , -K/ , /.O , --, , OM , './.
Cl. az I
/
, ) ,M #gy alakul ki: I / ) ,-- ( /.O ( . . . miatt /.O , ) ,M
kell legyen:
"i& i ) & , azaz "
,,,M
) /.O kell legyen.

, ,
,N M ,N N'N
, ,
, ,M * + - ,
.O
,
,
/
M ,
=
+ +
=
+ + + +
= Tynyr, ki&tt teht.
8asonl2an leellenrizhet&k a tbbi szmot is.
"z evol$i2 sorn min!en $iklusban & szmok generl2!nak, s a vgtelene!ik
l%sben &n ltre a k#vnt vgere!mny. Iela!atul tzhet&k ki azt is, hogy
egyszerbb algebrkb2l egyre bonyolultabbakat hozzunk ltre. Hallhatunk
olyan univerzlis k%letet is, amely min!en vges s megszmllhat2 algebrt
ltrehoz. Ebben a vilgban tanulmnyozhat&uk az algebrk kl$snhatst is. 8a
a!ott kt egyszerbb algebra, hogy &n ltre bellk bonyolultabb? Cl!ul kt
algebra !irekt szorzata. 4tre lehet ezt hozni evol$i2val is? Fgazb2l azt vr&uk,
hogy egy9a&ta hierar$hia &n ltre az algebrk kzt.
4ehet osztlyozni is az algebrkat aszerint hogy melyiket milyen egyszer
9ormulval lehet generlni. Ezzel az algebrk bonyolultsga is mrhet.
Ekvivalen$iarel$i2 is mega!hat2: kt algebra ekvivalens, ha azonos m2!on
generl2!ik. Ez mg nem &elent izomor9it. Ebben a vilgban az algebrk
atom&ai egy nagyobb ren!nek. Ezt a nagyobb ren!et kell &obban megismerni.
"kit a tma &obban r!ekel, #r&on nekem a kristo9miklosd9reemail.hu $#mre.
armmel 9oga!ok min!en levelet. 4ehet tovbbi tleteket is a!ni a tovbb3
l%shez. 8tha ki9orr ebbl is valami r!ekes, & tan.