j axio m a t i z l s Kiss Olga A geo m e t ri a euklide s zi rends z e r e ahog y arrl mr volt sz kt s flezer ve n a tudo m n y esz m n yi formj t jelent e t t e a gond

a gond olkod k sz m r a . Ma m g s e m eze n az ton !tj"k fel a#i m a r e n d s z e r e i n k e t . $mlksz" nk% az Elem e k az ala fog al m a k tiszt z s r a sznt defin!&ikkal kezd'd ( t t% s ezt k(vet t k a osztul t u m o k s a#im k. A mai a#i m a r e n d s z e r e k ne m ilyen ek. )egy"k ld ul ellen o n t k n t a geo m e t ri a hil*erti a#i m a r e n d s z e r t + % mely a mai egye t e m i tank( n yv e k ala j ul is szolglt. A k(vetk e z ,k e t ltjuk.. .lleszke d s i a#im k /0ld ul- .+ Minden egye n e s n e k van legal * * kt ontja% .1 2rm ely kt ont egyr t el m 3 e n me g h a t r o z egy egye n e s t % mely ezek e t tart al m a z z a . ..4 ... 5end ez si a#i m k /0l. ..+ 6a egy egye n e s kt ontj a A s 2% akkor van az egye n e s e n olyan 7 ont% melye t 2 elvlas zt A8tl94 $zek k(z(tt tallh a tjuk a nev ez e t e s 0as&h a#i m t - 6a egy hro m s z ( g s!kj* a n lv, egye n e s ne m hala d t a hro m s z ( g egyik &s&s n se m% de me t s zi a hro m s z ( g egyik oldalt% akkor ez az egye n e s me t s zi a hro m s z ( g n e k m g egy oldalt. .... $gy*e v g s g i a#i m k /0l. 6a adott egy a szak a s z s egy O kezd, o n t flegye n e s % akkor van a flegye n e s e n olyan A ont% melyr e OA=a 94 .). 0rhuz a m o s s g i a#im a $zt ma ltal * a n az euklides zi helye t t a 0roklosztl szr m a z form * a n mon dj k ki- 6a adott a s!k*a n egy egye n e s % s egy rajta k!v"l es, ont% akkor e s!k*a n &sak egy olyan egye n e s van% mely a me g a d o t t onto n th al a d s az edott egye n e s t ne m met s zi. ). :olyton o s s gi a#im a /;ed ekin d8 fle a#im a 4 6a az egye n e s ontjait gy soroljuk kt osztly* a % hogy egyik osztly se legye n "res s egyik osztly* a tartoz ont se vlas sz o n el msik osztly* a tartoz kt onto t% akkor van olyan ont% am ely *r m ely kt t,le k"l(n*(z, s ms8 ms osztly* a tartoz ontot elvla sz t $zek rsz* e n me gf el el m n e k az euklide s zi a#i m k n a k % rsz* e n ne m% de e** e n a illan a t * a n ne m is ez vizsg l d s u n k trgya . 0uszt n arra a tnyr e szer e t n m felh!vni e helye n az olvas figyel m t % hogy elt3nt e k a rend s z e r elejr,l a defin!&ik. ;e hova lettek s mirt nin&s e n e k itt< $zt a krd s k (r t tekintj"k t a k(vetk ez , fejezet * e n .

;avid 6il*ert- =rundl > g e n der =eo m e t ri e% +?@@

Projektv geo m e t ria Mr $uklidesz Optik ja s a Katorptrika is foglalkozot t azzal% hogya n vltozn a k me g az alakz a t ok tulajdo n s g a i vet!t s s t"kr(z s hat s r a . A ollonius s 0a o s z is felfed e z e t t nh n y olyan tt elt% melyek k(z on ti jelent' s g 3 e k a rojekt!v geo m e t ri * a n % ez azon* a n mint (nll kutat s i ter"let m g ne m ltez e t t az antikvit s * a n . A ren e s z n s z idejn a ers e k t!v a felfed ez s e s alkalm a z s a 0ietro della :ran& e s & a s 2runelles & hi tevk e n ys g e nyo m n az *r zol geo m e t ri a me g s z "l e t s h e z veze t e t t . Al*erti / Della Pittura % +ABC s Ludi Mathe m a tici % +ACD4 me gfog al m a z t a % hogy a k a fest e n d ' trgy ontj ait a nz' o n t t al (ssz ek ( t ' sug r n a k a k s!kkal val met s z s o n tj * a n keletk e zik. ;"rer / Under e ! " u n g der Me"" u n g mid den #!rk el und $!cht " c h e ! d % +C1E4 a ers e k tivikus k szerke s z t s r 'l szlva me g h a t r o z t a a mr e t e z s mdj t is azzal% hogy a k e t *er & s oz t a % s e seg d v o n al a k me n t n mr k(nnye n me g h a t r o z h a t a k lett ek a helye s arn yo k. A matematikailag izgalmas krds azon*an itt az volt% hogy a trgy k"l(n*(z' k ei mi*en hasonl!tanak% azaz milyen tulajdonsgot 'riznek meg az eredeti*'l. =irad ;easargues +EB@8*en egy r(vid amflet*en /%ruillon projet d&une atteinte au' (v(nemen" de" recontre" d&un cone avec un plan% azaz )ava"olt k"(rletterve*et arra vonatko*+an, mik(nt kell eljrni, a eg! k-p eg! "kkal tallko*ik4 megmutatta% hogy a mi kifejezs"nkkel lve a rojek&i kett'sviszony tart% azaz A% 2% 7% ; egy egyenesre es' ontok valamint AF% 2F% 7F s ;F szintn kollineris k ontjainak el'jeles tvolsgait tekintve /A7G724G/8 A;G;24H/AF7FG7F2F4G/8 AF;FG;F2F4 Mivel mind e n k sz el e t el'll!th a t egy egye n e s k(rk vala m ely s!kkal val met s z e t e k n t % ;es ar g u e s a k sz ele t e k e t % rint'iket s hrjaika t a k(r me gf el el' rint'in e k s hrjain ak k ek n t ll!tott a el'. $z egys g e s trgyal s t tett lehet ' v sz m r a % melyn e k seg!ts g v e l sz m o s tt elt egys z e r 3 * * e n tudot t *izony!t a ni. Mg egy jelent' s j!ts a volt% am ely azon * a n jelent ' s e n me g is osztot t a a mat e m a t ik u s k(zvle m n y t . Mivel a k s!k s a vet!t si ont alkalm a s me gv l a s z t s v a l kt rh uz a m o s egye n e s t egym s t met s z' egye n e s e k * e vihet" n k t /!gy lesz ld ul a ers e k tivikus *r zol s * a n a k s!kr a mer'l e g e s rhu m a m o s o k k e olyan% hogy met s zik egym s t a horizont egye n e s n 4 s ersz e me gford!tv a- met s z ' egye n e s e k e t is rhuz a m o s o k * a vihet " n k t. A rojek&i teh t ne m tesz k"l(n*s g e t me t s z ' s rh uz a m o s egye n e s e k k(z(tt. A me gf el elt e t s h e z ;es ar g u e s *ev ez e t t e a s!k vgt el e n "l tvoli /idelis4 ontj ain ak% s ezek (ssze s s g e k n t % a vgt el e n "l tvoli egye n e s n e k a fogalm t . Igy kt rh uz a m o s egye n e s k(z(s ontj a egy idelis ont lesz% melyn e k k e az eml!te t t rojek&i* a n a k e g y e n e s e k me t s z s o nj a. /A ar a * ol h o z% mint a k(r rojekt!v k h e z egy% m!g a hi er *ol a/ r 4 h oz kt k ze t e s ont tartozik4. ;es ar g u e s a mfle tj n e k (tve n ld n y a kzr'l kzre jrt 0rizs* a n m!g mind e g yik el ne m vesz e t t. Jem&s a k

gond ol a t ai n a k jdons g a % de kifejez s m dj n a k neh zk e s s g e % &siszolatla n s g a is oka lehet e t t ann a k% hogy egye s e k "nn e el t k % m!g ms ok hev e s e n *!rltk gond ol a t ai t. Mg *ar tj a% ;es&ar t e s is neh ez e n rth e t ' n e k tartot t a a mKv e t. Az ifj 0as& al azon * a n lelkes e n olvas t a az j gond ol a t o k a t % s az ltala felfed e z e t t /s rla elnev e z e t t 4 tt el ks'* * nagy jelent' s g 3 v vlt a rojekt!v geo m e t ri * a n . A k(vetk e z ' m sf l vszz a d * a n voltak m g ugya n% akik foglalkozt ak a rojekt!v tran s zfor m &ik sajto s s g a i v al 8 mint l. JeLton az Optik *an /+MDA4% a N).... szz a d vg n e k nagy mat e m a t ik u s ai azon * a n ne m tulajdo n!tot t a k tlzott jelent' s g e t e krd s k (r n e k . A rojekt!v geo m e t ri t vg"l a N.N. szz a d elejn Monge fedezt e fel jra% aki az Ecole Politech ni. u e 8on tartot t el'ad s a i rv n iskolt ter e m t e t t :ran&iaors z g * a n e ter"le t m3v el s n e k . Oan!tv n ya % Pean8 )i&tor 0on&ele t az idelis tr el e m e k e t mr teljes e n egye n r t k 3 n e k tekint e t t e a k(z(ns g e s e k k el. :elism e r t e % s +?+?8 *an u*liklt a 7relle folyirat * a n a dualit s elvt. Az idelis trel e m e k seg!ts g v e l egys z e r 3 * * e n lehet e t t kezelni sz m o s tt elt% melye t eddig k"l(n kellett kimon d a ni rhuz a m o s s egy onto n kere sz t "lh al a d sug r s o r okr a . A s!k rojekt!v geo m e t ri j * a n a ont s az egye n e s fel&s er lh e t ' egym s s a l.Azon tl% hogy az idelis ele m e k k el *'v!tet t s!kon igaz az az euklides zi a#i m a % hogy *r m ely kt ont egyr t el m 3 e n me g h a t r o z egy rajtuk th al a d egye n e s t % igaz enn ek dulis a is% hogy ti. *r m ely kt egye n e s n e k egy s &sak egy k(z(s ontja van. /A tr* eli dualit s a ontn a k s!kot% a s!knak ontot s az egye n e s n e k egye n e s t felelte t me g.4 A dualits elve edig lehe t 'v teszi% hogy egye s ontok s egye n e s e k illeszke d s r e vona tk oz tet el ek e t egym s n a k me gf el elt e t v e % eleg e n d ' legye n az egyike t *izony!t a ni% a msikn l edig erre a *izony!t s r a s a dualit s elvr e hivatkozni. A* anal*i" m e g ala p o * " a Mr volt sz a vgt el e n "l ki&siny me n n yis g e k k el% azaz infinitezim lis okk al ka &s ol a t o s me gfo n t ol s okr l. $zek seg!ts g v el sz"let e t t me g az g(r(g $udo#os z kimer!t si eljrs * l kiindulva a N)... szz a d * a n kidolgozot t mds z e rr el az integr l8 s differe n &i lsz m! t s . Az infinitezi m lisokk al val sz m ol s sok es e t * e n igen hat k o n y volt- ld ul vegy"k a mr az jkori rszn l emle g e t e t t nor m l ar a * ol n k a t % enn e k 1 f"ggv n y a l a kj a / / ' 4 = ' % s legye n ' vgt el e n "l ki&siny me gv ltoz s a a Q ekkor az / / / ' 0 a 4 1 / / ' 44G a = // ' 0 a 4 1 1 ' 1 4G a = / ' 1 0 2a' 0 a 1 1 ' 1 4G a = / 2a' 0 a 1 4G a = 2' 0 a =345 2' . $gsz e n az utols el'tti l sig egys z e r 3 alge *r ai talak!t s o kk al jutott u nk% az utolsn l edig figyele m * e vett "k% hogy a vgt el e n "l ki&siny% ezrt elha n y a g ol h a t . $z a gond ol a t m e n e t gy t3nik% helye s ere d m n yr e vezet% m g s e m teljes e n me g g y' z '. Azt ugya nis% hogy mirt e n ezen a onto n hanya g olt a m el a 8t% egylt al n ne m

tudo m ms s al alt m a s z t a n i% mint az ere d m n y helye s s g v e l. Rm a sz m ol s e n akkor j% ha ki tudok vele sz m olni olyas mit is% amit m g ne m tudok. Ahhoz teh t% hogy az eljr s me g *!zh a t legye n % onto s a n kn e tudni% mikor s mirt tekint h e t e m nulln ak a sz m!t s * a n szer e l' infinitezim lis ok a t . Az ala ok hiny n a k ro*l m j t mr =eorg e 2erkele y felvet e t t e / 6he Anal!" t % +MBA4% filozfiai rvei azon* a n ne m jelent e t t e k ozit!v me g old si lehe t ' s g e t a mat e m a t ik u s o k n a k . A N).... szza d folya m n azon* a n a 2ernoulliak /;aniel% Pa&o* s Pohan n4% $uler% 7lairau t% Sagra n g e s Sa la& e j te&h nik k a t dolgozt a k ki s vezet t e k *e a kalkulus * a % mint ld ul a vari&isz m! t s t vagy a ar&ilis differe n &i l e g y e nl e t e k vizsgla t t . A g(r* k geo m e t ri ai jelleg3 tanul m n yo z s a !gy fokoza t o s a n ta d t a a hely t a vltoz me n n yis g e k k(z(tti (ssz ef" g g s e k tan ul m n yo z s n a k % egye nl e t e k osztlyoz s n a k s me g old si mds z e r e k keres s n e k . $uler / 7ntroduction in anal!"in in/initoru m % +MA?4 2ernoulli f"ggv n yd e fin!&ija me n t n j md o n !ti fel a kalkulus t% melyn e k !gy mr nin&s k(zve tl e n geo m e t ri ai rtel m e z s e . $uler me& h a nik h o z k(zeli rtel m e t ad a differe n &il s integr lsz m! t s n a k % mely enn e k k(vetk e z t * e n jl haszn lh a t az alkalm a z o t t ter"let e k e n . A fran&ia forrad alo m idejn kt ala v e t ' e n k"l(n*(z' iskola k(rvon al ai rajzoldn a k ki el'tt" nk. Az egyik k(z o n ti alakja Monge% az *rz ol geo m e t ri a me g t e r e m t ' j e % a msik Sagra n g e % aki 8 t(** e k k(z(tt 8 az anal!zis uszt n alge *r ai esz(z(kk el t(rt n ' fel !t s v e l !rta *e nev t a mat e m a t ik a t(rt n e t * e . Sagran g e az anal!zis szigor me g al a o z s n dolgozott. 7lja az volt% hogy kik"sz(* (lj(n *el'le mind e n geo m e t ri ai sze ml l e t r e t(rt n ' utal s t. s a vgt el e n sorok alge *r j r a ala ozz a a kalkulus t. / 6heorie de" /onction" analiti.u e " ill. Di"cour" "ur l&o8ject de la theorie de" /onction " analiti.u e " 4. A ma t e m a t i k u s o k s az egye t e m e k r e a forrad alo m rv n *ek er "l' reng e t e g hallga t sz m r a egya r n t fontos volt a logikus s sziszt e m a t ik u s fel !t s % melye t Sagran g e az alge *r a jl ismert sza* lyair a ala ozo t t. Akkori*a n ne m volt szigor hat rv o n al a kalkulus s alkalm a z s ai% ava g y a tiszta ma t e m a t i k a s a ma t e m a t i k ai fizika k(z(tt. Sagran g e k(nyv e t !rt M(cani.u e analiti.u e &!mm el /+M??4% s a ma n a s g ink** fizikusk n t ismert Sa la& e az $&ole Jormal e rofes s z or a k n t a me& h a nik a an alitikai fel !t s n dolgozott. Az eg s z me& h a nik t nh n y ter m s z e t t ( r v n y mat e m a t ik ai rend s z e r v akart a alak!ta ni% ahol az egye s fizikai jelens g e k e t a t(rv n y e k e t jelent' differe n &i l e g y e nl e t e k kezd e ti rt k ein e k s hat rf elt t el ei n e k seg!ts g v el tudn ma g y a r z ni. Kettej"k tevk e n ys g e a** a n f3zhet ' k(z(s rogr a m m % hogy az elml e t t(kle t e s!t s e mindk e t t ej "k n l formalizl s t jelent e t t . Arra t(rek e d t e k % hogy az rvel s * 'l kizrjk a geo m e t ri ai sze ml l e t r e t(rt n ' utal s t% s a sza* lyok alkalm a z s v a l teljes e n me& h a niku s a n % a uszt a deduk t!v logika me n t n lehes s e n eljutni rv n ye s ered m n y e k h e z . Trde m e s me gfigyelni vel"k sze m * e n Monge lls o n tj t. )lem n y e szerint az anal!zis &su n tr* eli alakza t ok mozg s n a k

le!rs a / 9eo m e trie de"criptiv e 4. Az% hogy a klasszikus geo m e t ri a ne m tett e lehet ' v az anal!zis jelenle gi form j n a k me g al a o z s t % 't ne m a sze ml l e t e s 8 geo m e t ri ai me gk (z el!t s s me g al a o z s elvet s h e z % han e m a geo m e t ri a me g j!t s h o z veze t t e . Az anal!zis mai form j t a N.N. szz a d * a n vett e fel. A 1D8 as BD8 as vek * e n 7au&hy% az $&ole 0olyte& h niU u e /0rizs4 tan r a a vltoz me n n yis g e k /egyv ltoz s f"ggv n y e k 4 sajto s s g a ir a ala ozv a !te t t e fel kalkulus t. Ala fog al m ai- a konv er g e n &i a s a folytono s s g % melyek defin!&iit a mai fogalm ai nk els' form in a k szokt ak tart a ni a t(rt n s z e k ann a k ellen r e % hogy m g ne m ont* eli folytono s s g r l *esz l. 7au&h y ut n a vltoz me n n yis g e k fokozat o s a n elveszt e t t k ala fog alo m8 jelleg"k e t % s a sz m o k /ill ontok4 halm a z ai ker"ltek a hely"kr e. $zt a folya m a t o t nev ezt e :eli# Klein az an al!zis aritm e tiz l s n a k . Karl Veiers tr a s s a szza d ms o dik fel* e n 2erlin* e n tartot t el'a d s ai n mr azon a mdo n definilta a folytono s s g o t % ahog y azt mi is ismerj"k% e szilonn al s deltv al% r(gz!tet t f"gg e tl e n vltozr a. A kis interv allu m * a n val folyton o s s g edig enn e k (ssze s ontj * a n val folyton o s s g g a l lett definilva. Igy 7au&hy s Veiers tr a s s munk s s g v a l letisztult ak az an al!zis* e n haszn l a t o s ala v e t ' fogal m a k- soroza t% sor% konver g e n &i a % hat r r t k % ele mi f"ggv n y% .. s az anal!zis egy* e n a vals sz m o k elml e t n e k kielg!t' me gfog al m a z s h o z is elvez e t e t t . A* alge8ra talakul" a Mr volt sz rla% hogy az ara* ok t l tve t t retorikus alge *r a 8 a kivon s s (sszev o n s tudo m n y a 8 hely t a N).. szza d * a n tve t t e a k let e k k el dolgoz szim*olikus alge *r a . Wtruktur lis vltoz s azon * a n m g ne m k(vetk e z e t t *e. Oov* *r a is az egye nl e t e k me g old s v a l foglalkozot t% enn e k mds z e r ei t kutat t a . )olt sz arrl is% hogy Oarta glia s 7ard a n o me g t al lt k a har m a d f ok % :errari edig a negye dfok egye nl e t me g oldk l e t t . A neg a t!v sz m o kr a vona tkoz m3v el e ti sza* lyok felhasz n l s v a l )ite egys g e s ! t e ni tudt a a k"l(n*(z' t! us har m a df o k egye nl e t e k kezels t . ;e mi a helyze t az (t(dfok egye nl e t t el< 5ad s ul a mds z e r t% melye t 7arda n o% Ji&&olo Oarta glia s Sodovi&o :errari haszn lt% ne m mind e n es e t * e n lehet e t t alkalm a z ni. )oltak olyan helyze t e k % amikor a har m a d f o k egye n t e t n e k van ter m s z e t e s sz m gy(k e% a me g old k l e t m gis rt el m e tl e n n vlik% mert neg a t!v sz m lesz a ngyz e t g y( k alatt. .lyen ld ul az ' B H M ' X E. $z az n. ca"u" irreduci8ili" . Jehz "gy. Mr 7ard a n o szre v e t t e % hogy vala mik e n a Yminus z gy(k eZ elt3nik% s sokat foglalkozot t az es e t t el% de enn l sokkal t(**r e ne m jutott. 5affaello 2om* elli volt az% aki els'k n t sz m n a k tekint e t t e a neg a t!v sz m * l vont ngyz e t g y( k ( t is% s me gfog al m a z t a a rjuk vona tkoz szorz si sza* lyok a t / Alge8ra % +CM1% Miln4. $z ann l is ink* * jelent' s % mert akkori* a n m g a ter m s z e t e s sz m o k neg a t!vjai se m nyert e k

olgrjogo t a sz m o k k(r* e n . 2r mr Su&a 0a&ioli tallt jel(ls t a sz m u kr a / A* arit m e t k a , a geo m e t ria, a* arn! o k (" arn!o " " g o k :""* e / o glal" a +A@A% )elen& e4% s ezt 7huUu e t is haszn lt a % 7ard a n o azon* a n &sak fikt!v sz m o k n a k tartot t a 'ket. Wtiefel 8 noh a ' az els'% akinl a jel(ls * e n is kifejez'dik% hogy D8 nl kise** sz m o kr l van sz% hisz D 1 n alak* a n !rja 'ket 8 &sak a*szur d sz m o k n a k nev ez t e a neg a t!vok a t / Arith m e tica integra % azaz 6elje" arit m e tik a % J"rn* e r g % +CAA4. Mg )iete se m 8 aki edig nagy l s e k e t tett az egye nl e t m e g ol d s egys g e s ! t s e fel /ltal n o s eljrs kere s s e % *et 3kk el fel!rt ismer e tl e n e k s egy" t t h a t k % mint jel(ls * eli j!ts4 8 vett e figyele m * e a neg a t!v gy(k(k e t. Mg ;es&ar t e s is ha mis n a k nev ezi az ilyen gy(k(k e t . Mr sz m olt a k vel"k% de m g egy ideig eltarto t t % am!g sz mk n t elism e r s t nyert e k a mat e m a t ik a vilg * a n . Amire itt vissza szer e t n k trni% az 2om* elli% akinek k ze t e s sz m ai is akkor vltak egy( n t e t 3 e n elfog a d o t t % amikor +?BD8 *an =aus s 8 rend e z e t t rk n t koordin t a r e n d s z e r * e helyezv e 'ket 8 me g a d t a a kom l e# sz m o k ltal n o s elml e t t . Di".ui"ition e " arith m e tic a e /azaz Aritm e ti k ai vi*"glato k % +?D+4 &. munk j * a n foglalkozot t az olyan a X 8 i alak kom le# sz m o k tulajdon s g a iv al% melyek n l az a s 8 ra&ion lis sz m. $z azrt rd ek e s % mert ezek k(r* e n az oszth a t s g ala t ul ajdo n s g a i g y rv n ye s "l n e k % mint az eg s z sz m o k k(r* e n . $zrt is nev ezik 'ket =aus s eg s z e k n e k % s vel"k kezd' d ( t t a kom m u t a t !v gy3r3k tan ul m n yo z s a . =aus s sz m o s ms &so ort o t is vizsg lt Aritme tik j * a n . Augus tin Souis 7au&h y /akir'l az an al!zis me g al a o z s a ka &s n mr es e t t sz4 +?+C8 *en jelent e t e t t me g egy munk t a er m u t &i h ozz r e n d e l s e k r 'l. $zek &so or tj t vizsg lv a fogal m a z t a me g azt a tt el t% hogy ha egy &so ort rendj e /ez vg e s &so ort es e t * e n az ele m ei n e k a sz m v al azono s 4 oszth a t egy p r!m m el% akkor van p 8edr e n d 3 rsz&s o o r tj a. K(z*en $uler az alge *r ai egye nl e t gy(k eit s azok ra&ion lis f"ggv n y e i t vizsg lt a. Meglla !to t t a % hogy ha egya d o t t egye nl e t h e z ltezik a gy(k(kn e k olyan ra&ion lis f"ggv n y e % mely ne m vltozik% ha a gy(k(k e t *enn e fel&s er lj"k /azaz invari n s a gy(k(k er m u t &i ira4% akkor ez a f"ggv n y az egye nl e t egy" t t h a t i n a k is ra&ion lis f"ggv n y e . Mirt rd ek e s ez< Mert amikor az egye nl e t me g old k l e t t keres s " k% akkor e n az egy" t t h a t k * l szer e t n n k vala mik e n el'll!tani a gy(k(t. Az alge *r ai alak* a n val el'll!tha t s g azt jelenti% hogy az ala m 3 v el e t e k /(ssze a d s kivon s szorz s oszt s s a gy(kvon s geg!ts g v e l vg e s sok l s * e n el'll!tha t . Sagran g e s 5uffini / 6heoria gen er ale delle e.ua *ioni % A* eg! e nl e t e k ltalno" elm (l e t e % +M@@4 a gy(k(k er m u t &iv al sze m * e n invarin s f"ggv n y e k e t vizsglv a a gy(k(k er m u t &i in ak &so ort t ul ajd o n s g a i ala j n tett k!srlet e t arra% hogy me g m u t a s s a az (t(d8 s ma g a s a * * f ok egye nl e t e k e r e nin&s me g old k l e t . 2izony!t s t vg"l A*el adt a me g / D( m o n " tr a tio n de l&impo" "i8ilit(

de la r("olution alg(8ri.u e de" e.ua tion " g(n (r al e " .u pa"" e n t le .uatri( m e degr ( % +?1E4. Jem kell teh t tov * * kere s ni azt ami nin&s. ;e vajon mirt< Tvarist e =alois fiatal fran&ia ma t e m a t i k u s a hall t okoz vgz e t e s r* aj el'tti jszak n vet e t t e a !rra erre vona tk oz nze t eit. Az ' ala g o n d ol a t a az volt% hogy amikor a me g oldk l e t e t keres s " k alge *r ai kifejez s alakj* a n % valj* a n a ra&ion lis sz m o k h o z vesz" nk hozz vg e s sok gy(k(s kifejez s t% s ezekr e a ngy ala m 3 v el e t e t alkalm a zz uk. Mi t(rt nik ilyenkor< $gyes gy(k(s kifejez s t /mon dj uk [14 hozzv v e az !gy ltrej(tt strukt r a /tes t4 tov * * r a is zrt lesz% azaz a m3v el e t e k elvgz s e ne m veze t ki e**'l a k(r*'l. Ms es e t e k * e n % ld ul a B [18 nl mr ne m elg ezt hozzv e n ni% hiszen a szorz s rv n el'ker"l a B [A is. 6a azon* a n ezt is hozzv e s s z " k% akkor az !gy ltrej(tt strukt r a mr ism t zrt. 6a teh t az egye nl e t e k me g old s h o z sz"ks g e s tes t * ' v!t s e k e t vizsgln n k% k(zele* * jutn n k a me g old h a t s g krd s h e z . =alois zsenilis (tlett 'l ind!tta t v a az egye s tes t * ' v!t s e k h e z rend elt &so ort ok a t Q m g e di g a gy(k(k k(z(tt fenn ll ra&ion lis (ssz ef" g g s e k e t hely* e n h a g y er m u t &i k &so ortj t. A test * ' v!t s e k &so ortj ain ak =alois8 fle vizsg l a t * l kt nagyo n lnye g e s gondola t k(vetk e z e t t . Az egyik az alge *r ai- az ltal n o s (t(d /s ma g a s a * * 4 fok egye nl e t r e vona tkoz me g oldk l e t hiny r l. A msik edig egy klasszikus ro*l m r l- az euklide s zi /k(rz'v el s vonalzv al val4 szerk e s zk e s z t s lehet ' s g r 'l. ;es&ar t e s alge *r ai me gk(z el!t s e s =alois elml e t e ala j n *izony!th a t % hogy a ko&kak e t t ' z s % a sz(gh a r m a d o l s % s a sza* lyo s htsz( g szerk e s z t s e uszt n k(rz' s vonalz felha sz n l s v a l ne m vg ez h e t ' el. $zek az ered m n y e k azon* a n a legkev s * se m jelent e t t k az alge *r ai kuta t s o k vg t. $llenkez'le g. A k"l(n*(z' test e k% gy3r3k s &so ort ok tulajdo n s g a i n a k fontos s g a az alge *r ai struktr k ltal n o s vizsgla t r a irny!tot t a a figyelm e t . $zzel az alge *r a ala v e t ' e n talak ult% s mr majdn e m a mai formj * a n ll el'tt" n k. Milyen me s s z e vagyu n k mr Al 6vrizmi alge *r j t l\ ;e m1 euklide " *i geo m e t rik< A g(r(g mat e m a t ik a trgyal s a k o r rszlet e s e n foglalkozt u n k az euklides zi geo m e t ri a fel !t s v el. Arrl is es e t t mr sz% hogy ez a rends z e r kt ez e r ve n t a szigor logikai rends z e r s a tudo m n yo s s g mint a k e volt. A mor e geo m e t rico azaz geo m e t ri ai mdo n val *izony!t s az egz ak t s g idelis fokt jelent e t t e ne m& s a k a mat e m a t ik * a n de a ter m s z e t t u d o m n y o k * a n s a filozfi* a n is. )olt azon * a n a rend s z e r n e k egy ontja% melye t me g alkot s a ta kt ely k!srt. $z a 8 felteh e t 'l e g a rends z e r t (ssze s z e r k e s z t ' $uklidesz ltal me gfo g al m a z o t t 8 rh uz a m o s s g i oszt ul t u m . :orm j * a n s me gfog al m a z s m d j * a n is eltr a t(**it'l% azokn l *onyolult a * * % k(r"lm n y e s e * * . 5ad s ul a geo m e t ri a sz m o s

tt el e nlk"le is *izony!th a t . Mr az kor* a n felmer "lt ht a krd s % hogy ne m lehet n e 8 e a geo m e t ri t enlk"l fel !t e ni. $z eg s z e n onto s a n gy fogalm a z d o t t me g% hogy vajon a rhuz a m o s s g i osztul t u m ne m *izony!th a t 8 e a t(**i a#im a s osztul t u m seg!ts g v e l. Mr az kor* a n is t(** e n 8 ld ul 0tole m aio s z s 0roklosz is 8 r* lkozt a k ezzel. Az el'z' ezre dfor d ul n egy Alhaze n nev3 ara * tuds fizikus foglalkozott a krd s s el% hogy vajon ne m lehe t n e8 e *e*izon y!t a ni a rhuz a m o s s g i osztul t u m o t az euklides zi akim a r e n d s z e r t(**i feltev s * 'l. Kiindult egy olyan ngys z( g * 'l% melyn e k hro m der ks z ( g e van /Sam* e r t8 fle ngys z ( g4% s *e*izon y!to t t a % hogy a negye dik is az. Wajnos a *izony!t s h o z 8 anlk"l% hogy szr ev e t t e volna 8 a rh uz a m o s s g i a#i m a /vagy osztu lu m 8 a mi sze m o n t u n k * l mr nin&s jelent' s g e a me gk "l(n * ( z t e t s n e k 4 egy ekvivale n s helye t t e s! t 'j t haszn lt a fel. Alhaze n *izony!t s t kritizlva Omm a r 6jj m olyan ngys z( g g el r* lkozot t% melyn e k kt oldala egye nl' hossz s mer'le g e s a har m a dikr a /Wa&&h e ri8 fle ngys z( g 4% m a *izony!t s h o z ' is felha sz n lt egy helye t t e s !t ' a#i m t . Jaszirad din &sillag s z8 mat e m a t ik u s a N.... szza d * a n szint n foglalkozott e krd s s el 8 az ' k(zvet!t s v e l jutott a k el $ur * a a rh uz a m o s s g i osztul t u m m a l ka &s ol a t o s ro*l m a f elv e t s e k . Vallis ugya nis a N)... szz a d * a n leford!tot t a Jaszra d din k(nyv t . :elteh e t 'l e g e m3 hat s r a kezd e t t =iovan ni =irola m o Wa&&h e ri e t m a vizsgla t * a . ] azon * a n 8 s itt sz m u n k r a ez az% ami igaz n jelent' s 8 indirekt *izony!t s s al r* lkozot t. K(nyve% A mind e n /oltt+l m e g ti" * tto t t Euklid( " * <<< / Euclide" a8 om ni nae v o vindicat u "= "ive conat u " geo m e t ricu " .uo "ta8iliuntur prim a ip"a univer " a e 9eo m e t ria e Principia 4 +MBB8 *an jelent me g% s hro m olyan es e t e t k"l(n*(z t e t me g% ami felmer "lh e t - a ngys z( g mindk t m sik sz(g e vagy der ks z ( g % vagy hegye s s z ( g % vagy tom a s z ( g . ^gy vlte% me g tudja mut a t ni% hogy a ms o dik s a har m a dik es e t ellent m o n d s r a veze t. Jem kell ism t el n " n k% hogy amiv el ellent m o n d s r a jutott az ism t& s a k ne m a mar a d k a#im a r e n d s z e r % han e m a rhuz a m o s s g i a#i m a egy ja** alakja.

Sam* e r t% aki +MEE tjn haso nl krd s e k k el foglalkozv a 8 szint n indirekt

me gk(z el!t s s el r* lkozot t 8 sz m o s k"l(n(s sajto s s g t fedezt e fel e s!kido mo k n a k% l hogy a hro m s z ( g sz(g ein e k (ssze g e kise** /illetve 8 a m sik es e t * e n 8 nagyo * * 4 mint kt derk s z( g% W't% a g(m *i geo m e t ri a hro m s z ( g ei n e k ter"letk l e t t felfed ezv e a levez e t e t t (ssz ef" g g s e k k(z(tt% enn e k an algij r a *ev ez e t t e ri k ze t e s sug a r g(m* ( t% teljes e n formlis ala o n% ne m gond olv a% hogy enn ek *r mifle vals g t a r t al m a lehe t. Sam* e r t teh t sz m o s ne m8 euklides zi tt elt fogalm a z o t t me g an lk"l% hogy ezek e t egy (nll geo m e t ri a tt el ein e k tartot t a volna. Wz m r a ezek mind e n alkalo m m a l ja** s ja** me g & fola n d ere d m n y t jelent e t t e k . )g"l ne m tallva az ellent m o n d s t % ezt sajt "gye tl e n s g n e k tulajdon!tot t a % Segen dr e +?DD8 *an /els' sz(gt t el * e n 4 me g m u t a t t a % hogy az egyik es e t val* a n ellent m o n d s * a n van a mar a d k a#i m a r e n d s z e r r el- A hro m s z ( g sz(g ein e k (ssze g e ne m lehe t nagyo * * kt der ks z ( g n l. Msodik sz(gt t el e edig azt mon dj a ki% hogy ha egy hro m s z ( g * e n a sz(g ek (ssz e g e kt der ks z ( g n l kise* *% akkor mind e g yik* e n az. $zut n me g r * l t a *izony!t a ni% hogy ilyen hro m s z ( g nin&s. _ssze g e z v e azt mon d h a tj uk% hogy mind e z e k a r* lkoz s o k 8 Sam* e r t sz(gt t el eit lesz m!tv a 8 vagy kudar&& al vgz' d t e k % vagy a rh uz a m o s s g i osztul t u m ekvivale n s me gfog al m a z s a i t haszn lt k a *izony!t s h o z e# li&it vagy im li&it mdo n. Mgis k(zele* * vittek azon* a n vala mih e z% ami azut n me gr e n g e t t e a mat e m a t ik a o*jektivit s * a vet e t t hitet% s egy eg s z e n jfajta mat e m a t ik af elfog s t ered m n y e z e t t . 2olyai Pnos s Jyikolaj .vanovi&s So*a&s e v s zkij nagyj * l egys z e rr e fedezt k fel% hogy a +?D 8nl kise* * es e tr e az ellent m o n d s t azrt ne m talljk% mert nin&s. A tr egy j% az euklides zivel egye n r t k 3 tudo m n y t fedezt k fel. Azt ugya n ne m tudt k *izony!t a ni% hogy ellent m o n d s m e n t e s % m azt igen% hogy az euklides zi geo m e t ri n a k van me gf el el'j e e** e n a vilg* a n . A hi er * olikus geo m e t ri * a n a ara s zf r n teljes "ln ek az euklides zi s!kra vona tkoz a#im k% ha s!k alatt a ara s zf r t % egye n e s alatt edig a ar a&iklus ok a t rtj"k. Ahhoz% hogy a relat!v ellent m o n d s m e n t e s s g e t a msik irny* a is me g m u t a s s k % sajt elml e t " k r e mod ellt kellett volna adni az

euklides zi s!kon. $z flszz vvel ks'* * a 7ayley8 Klein mod ell* e n me g is valsult. Segye n ugya nis a s!k egy ny!lt k(rla az euklides zi s!kon% az egye n e s e k az euklides zi egye n e s n e k a k(rla o n *el"li rsz ei. .tt egy adot t onto n keres zt "l t(** rhuz a m o s !s hzh a t egy egye n e s s e l% !gy a rh uz a m o s s g i oszt ul t u m ne m teljes "l.

6a a kt ont /0 s `4 tvols g t 7ayley (tlet e egy ala j n gy definiljuk% hogy legye n d/0%`4 H 8 /+G14alog//A2-024G/A`-`244 akkor ez egyr s z t kielg!ti a tvols g r a vona tkoz k(vet el m n y e k e t - mindig ne m n e g a t ! v% akkor s &sak akkor nulla% ha a kt ont egy* e e s ik% s az egy egye n e s e n levb ontokr a d/0%54 H d/0%`4 X d/0%54. /7ayley- A "i'th m e m o ir upon .uantic" % +?C@4% m s r s z t edig kielg!ti a mar a d k a#i m a r e n d s z e r a#im it. Klein mod ell mds z e r t % mellyel *izony!tot t a % hogy a ne m8 euklides zi geo m e t ri a ellen m o n d s m e n t e s % ha az euklides zi is az% ma is haszn lj k relat!v ellent m o n d s m e n t e s s g i *izony!t s o kr a . >ilo*+/iai vitk 1 -j alapok Mirt is volna sz"ks g j ala okr a < A mat e m a t ik a e n virgz korszak t li. Woha ennyi j ere d m n y% a me gk(z el!t s m d o k n a k s (tlet ek n e k ilyen gazd a g s g a ne m jellem e z t e e tudo m n y t . Oekintlye &sor*!t a tl a n % sz m o s ms tudo m n y e n az ' mint j r a igyekszik fel !t e ni sajt elml e ti rends z e r t . Az igaz n sokat t m a d o t t j tudo m n y g % az an al!zis is szigor me g al a o z s t nyert 7au&h y s Veiers tr a s s tev k e n ys g e rv n. Jem t3nik e n vls g o s n a k a helyz e t. 6t akkor< Mai fejjel vissza t e kin tv e taln mr az se m teljes e n vilgos% mirt volt olyan neh z elfoga d ni% hogy msf ajt a geo m e t ri a is lehe t s g e s . Mirt t3nt ez annyir a a*szur d n a k sz m o s mat e m a t ik u s sz m r a % holott mr szint e kez"k* e n volt a me g old s < Mirt hivatkozo t t ld ul =aus s az olvas k rt e tl e n s g r e % amikor /egy Oaurinus h o z !rott level * e n 4 am elle t t rvelt% hogy mirt ne m hozta nyilvn o s s g r a sajt ezirn y ered m n y e i t < W't% mirt krt e Oaurinus t is arra% hogy ere d m n y e i * 'l se m mi t se u*likljon< Mit'l volt ennyir e titkolan d egy j ma t e m a t i k ai elml e t < A geo m e t ri a mint a tr tudo m n y a vala mik e n arrl szlt% hogy milye n a vilg. Kt nagy filozfiai irnyz a t jtszott d(nt' szer e e t az eur ai kultra geo m e t ri a8 felfog s * a n - a latni s az

arisztot el s zi. 0latn szerint a geo m e t ri a az idelis o*jekt u m o k k al foglalkozik% melyek * e n mind e n felsz!ni es e tl e g e s s g e n tl a lnye gi (ssz ef" g g s e k mut a t k oz n a k me g. Az arisztot el s zi felfog s a geo m e t ri a form j r a helyezi a hang s lytaz a#io m a tiku s rends z e rr e . Az ltal n o s elvek /a#im k% osztul t u m o k 4 a legelvo n t a * * % ta a s z t al a ti vals g t l legt v ol a * *i (sszef" g g s e k e t jelentik. Oerm s z e t e s e n mindk t lls o n t o t egys z e rr e is el lehe t n e fogad ni 8 mindk e t t ' a ma t e m a t i k a tnyle g e s ta a s z t al a t n ala ul 8 m gis vit* a n lltak egym s s a l vsz z a d o k o n kere s zt "l. $zen az ltal n o s szinte n m g akr (ssze * k!t h e t ' k is lenn n e k mon d v n % a legelvo n t a * * (sszef" g g s e k % melyek h e z a legn e h e z e * * e n jutunk el ugya n a z o k% mint am elye k a legt v ol a * * esn e k az rzki ta s zt al a t k(rt 'l. Mgs e m ez t(rt n t. Az eur ai kultr t sz"let s e ta forml e kt nagy filozfiai trad!&i k(z(tti fesz"lts g d(nt' szer e e t jtszot t a mat e m a t ik r l szl vitk alakul s * a n is. A geo m e t ri a s *en n " n k e t k(r"lvev' fizikai tr ka &s ol a t t JeLton tett e e# li&itt me& h a nik j * a n . /$mlksz" nk% Arisztot el s z kor* a n a mat e m a t ik a m g &su n az gi jelens g e k le!rs * a n volt alkalm a z h a t . A Yhold alattiZ fizikja &sak m sf l ezer v mlva vlt a mat e m a t ik a sz m r a me gk(z el!th e t ' ter"let t . $nnek vilgos me gfog al m a z s a volt =alilei mr eml!te t t mon d s a arrl% hogy a ter m s z e t k(nyv e a ma t e m a t i k a nyelv n !rdott. Orj"nk azon* a n vissza JeLton h o z.4 A ter m s z e tfilozfia mat e m a t ik ai ala elv ei* e n JerLto n a*szolt ter t 8 euklides zi mint r a 8 mindig mind e n h ol haso nl n a k% mind e n k"ls't'l f"gg e tl e n n e k s mozd ula tl a n n a k tekinti. A relat!v tr e** e n &su n a dime nzi vagy a mrt k% melye t rzk eink hat r oz n a k me g a test e k h e z k e s t % m amit sokszor mozd ula tl a n n a k tekint e n e k ... Az a*szolt /ma t e m a t i k ai4 s a relat!v /fizikai4 tr ilyet n (sszek a & s ol s a a kifejt s a#iom a tiku s mds z e r v e l egy" t t kell' tekint lyt k(l&s(nz(t t JeLton 0rin&i ijn a k. Az gi s f(ldi fizika e nagy szintzis e t(** mint ktsz z ve n t irny!tot t a a me& h a nik ai kuta t s t % s ma is a mr n (ki tudo m n y o k haszno s eszk(z e. Ol azon* a n % hogy jl m3k(dik% teor e tikus ala ja is volt a fizikai s geo m e t ri ai tr (sszek a & s ol s n a k . .mma n u e l Kant A ti"*ta (" kritikj *an a tere t s az id't mint rzki sze ml l e t " n k formit !rja le- egysz e r 3 e n tr* e n s id'*e n ta a s z t aljuk a vilgot. Akkori*a n ezt gy rt el m e z t k % hogy Kant az egye tl e n lehe t s g e s geo m e t ri a esz m j h e z nyjtott filozfiai t m a s z t. A sors irnija azon* a n % hogy e n Kant filozfija lett a kiindul o n tj a ann a k a feno m e n ol gi ai mozg alo m n a k % mely ma mr az rzki ta a s z t al a t legk(l(n * (z ' * * form it vizsg lja. 6a ugya nis a ter e t s az id't val* a n sze ml l e ti form k n a k tekintj"k% m olyanok n a k% melyek ne m kizrlag o s a k % azaz lehet s g e s e k m sf ajt a vilg ai is a jelens g e k n e k % akkor azt kell mon d a n u n k % hogy az ilyen t! us vizsgld s o k elvi ala j a ne m j(het e t t volna ltre a kanti ter m s z e tf elfog s nlk"l% mely levla sz t o t t a a ta a s z t alt a t /a ter m s z e t e t 4 a ne m ta a s z t al h a t /ma g n v a l 4 ltez'r'l. Most azon * a n m g a N.N. szza d der ek n jrunk. A geo m e t ri a mellet t m g egy klasszikus ter"le t vr a me g j ul s r a . Az arit m e tik a

a sz m o kr l% mint a sz m ol s s al legszoros a * * ka &s ola t * a n lev' dolgokrl szlt. Azrt lehet t e k a tt el ei ltal n o s a n alkalm a z h a t a k % mert a me g s z m l l h a t dolgok sz m o s s g n a k sajto s s g a i r l szltak 8 s itt mos t a me g s z m l l h a t t s a sz m o s s g o t ne m &antori halm a z el m l e ti% han e m htk(zn a i rtele m * e n vv e. Arrl szlt teh t % hogy a sz m o k% ahog ya n mi ismerj"k 'ket% milyen tulajdon s g o k k al rend elk ez n e k . $zrt is volt olyan neh z a neg a t!v sz m o k elfoga d s a . Jem az volt ugya nis neh z% hogy mon dj uk az ads s g o t vagy a k(nyv el s * e n a hinyt jel(ljk s sz m oljan a k vele% han e m ma g a a sze ml l e t v lt s . Mi rt el m e volna ugya nis a hinyt hinn yal szorozni< Ts m gis% a neg a t!v sz m m a l val szorz s r a knyel m e s e n kiterjeszt h e t ' k a m3v el e ti sza* lyok. W't% ha ezt me g t e s s z " k% egy sokkal ltal n o s a * * te&h nik t ka u nk% azaz t(** helyze t r e tudjuk alkalm a z ni% ahog y err'l mr volt is sz. ;e vajon ez elg ahhoz% hogy sz m n a k tekints "k 'ket< Meg ha mr te&h nik ai knyel e m r 'l *esz l" nk% ott voltak azok a helyze t e k% amokor neg a t!v sz m * l kellett volna ngyz e t g y( k ( t vonni. Mint emlks z " nk% 7ard a n o mr e# li&it mdo n hivatkozik rjuk% 2om* elli edig kidolgozz a a k ze t e s e k m3v el e ti sza* lyait% Mgis &su n az j geo m e t ri v al nagyj * l egyid' * e n a N.N. szza d els' har m a d * a n sz"let e t t me g =aus s s 6amilton rv n a kom le# sz m o k elml e t e . /Az alge *r ai sz m fogalm t ugya n mr :erm a t me g a d t a % elml e t " k azon* a n szint n &sak a N.N. szz a d k(ze n dolgozt a ki Kumm e r. A vals sz m s a folyton o s s g k(r"li vitka t akkor m g ne m is eml!te t t " k% melyek m g a N.N. szza d vg r e se m jutott a k nyugv o n t r a % amikor edig mr ksz e n llt 7au&h y s Veiers tr a s s szigor an al!zis e.4 .tt ll teh t el'tt" n k a klasszikus mat e m a t ik a e kt ala v e t ' ter"let e % a geo m e t ri a s az arit m e tik a a me g j ul s illana t * a n . +?EB8 *an me gj el e n n e k =aus s levelei a ne m8 euklides zi geo m e t ri r l. So*a&s e v s zkij !rs ai oroszul mr BC8 B?8 *an ismer t e k voltak% fran&iul azon * a n &sak =aus s levelei utn jelent e k me g. A d(nt' l s az volt% amikor E?8 *an me gj ele n t 2eltra mi !rs a a ne m8 euklides zi geo m e t ri r l. ] ugya nis me g a d t a a ne m8 euklides zi geo m e t ri a egy mod elljt az euklides zi s!kon. $z egy trk volt% mely a ne m8 euklides zi ktdi m e n zi s tere t k ez t e le egy k(rla r a. ahol az egye n e s e k a k(rla o n *el"li egye n e s e k * e me n n e k t $z az rtel m e z s *eleillett 5iem a n n geo m e t ri a8 felfog s * a is. ] gy gond olt a jrafog al m a z ni a geo m e t ri t% hogy az egy fel"let e t e t vagy ma g a s a * * dime n zij sokas g o t alkot ontok halm a z n a k vizsgla t a % melye n rtel m e z h e t ' a tvols g fogalm a . Konst a n s g(r*"le t 3 fel"let e k e n az alakz a t o k sza* a d o n torzuls nlk"l elmozg a t h a t k. /Konst a n s ozit!v g(r*"l e t 3 a g(m*f el"le t 8 a g(m*i geo m e t ri a mr az kor ta k(zis m e r t 8% nulla az euklides zi s!k g(r*"le t e % s a kons t a n s neg a t!v g(r*"le t 3 fel"let e n a 2olyai8 So*a&s e v s zkij fle geo m e t ri a rv n y e s "l.4 Azaz az euklides zi geo m e t ri a &sak egy a sok k(z"l.

Wzinte mind e n ksze n llt. Mgis% minth a vala mi m g hinyzo t t volna. )alj* a n az j geo m e t ri a elfoga d s a se m egys z e r 3 e n egy j elml e t hozzv t el e a t(**ih ez. $llenkez'l e g. T en a legala v e t ' * * n e k s egyr t el m 3 n e k tartot t ter"let e k e n ignyelt radiklis sze ml l e t v l t s t . Ahogy vgigk(v e t h e t t " k a fejl'd s t rezh e t ' is% hogy ne m a ma t e m a t i k ai rsz szorult mlyr e h a t tgo n d ol s r a % han e m ami m(g( t t e van% ami az eg s z e t fennt a r tj a. ^gy t3nik a filozfusok fogalm a z t k me g azok a t a korltok a t % melyek e t a mat e m a t ik n a k le kellett d(nt e ni e. Wokan hivatkozt a k is e vitkkal ka&s ola t * a n a kanti felfog s egye d u r al m r a . Jos% ha a mat e m a t ik u s o k ne m vett k volna komolya n% azaz ne m gond olt k volna ma g u k is gy Kantt al egy" t t% hogy a geo m e t ri a a *en n " n k e t k(r"lvev ' trr'l szl% s a fizikai hro m s z ( g e k sz(g( s s z e g r e legfelje* * &sak az idelis s a vals g o s k(z(tti k"l(n* s g /egyfajt a mr si ro*l m a 4 miatt ne m j(n ki a +?D fok% akkor aligh a lehe t e t t volna korltoz hat s a . Jem a konfor mit s vagy lzad szelle m% *eh d ol s vagy f"gg e tl e n s g itt a krd s . Jem egy k"ls' hat alo m /itt mon djuk a filozfia4 volt az% ami me g a k a d l yoz t a vszz a d o k o n kere sz t "l a sze ml l e t v lt s t % majd hirtele n gy d(nt( t t% hogy eng e d l ye zi az tt(r s t . A NN. szza d tudo m n y t ( r t n e t i s filozfiai ere d m n y e i n e k k(sz(n h e tj "k% hogy mr a sokkal onto s a * * k " nk alakulh a t o t t ki a tudo m n y fejl'd s n e k e folya m a t a ir l. A tudo m n y ter m s z e t h e z tartozik% hogy ne m azono s az elml e t e k (ssz e s s g v e l. A tudo m n y o s ar a dig m k 8 !gy a ma t e m a t i k a ar a dig m i is 8 egyfajt a teh e t e tl e n s g g e l rend elk ez n e k . $z onto s a n azrt van !gy% mert a tuds ok ne m foglalkozn ak filozfiai krd s e k k el. Am!g sz e n hala d a tudo m n y% erre nin&s is sz"ks g " k. Jyilvnv al a n ne m lehet mind e n r e rkr d e z ni. A mirt e k vgt el e n regr e s s z u s n a k valahol hat r t kell sza* ni. $z a hat r lesz a tudo m n y s a filozfia k(zti hat r. Igy a dog m a tiz m u s m g akr seg!th e ti is a kutat s t % am e n n yi * e n korltozz a a felteh e t ' krd s e k k(rt. A *oldog *k eid'k * e n mind e n ki foglalkozh a t a sajt "gyeiv el. )lsg es e t n azon* a n me gk r d 'j el ez' d n e k e korltok% s a tuds ok k(z(tt is felled n e k a filozfiai jelleg3 vitk. A filozfusok ehh e z t(** n yir e &sak az rvek e t szll!tjk% a vita ne m az (vk% s vgs ' soron ne m is 'k d(ntik el. Segal * *is rtel m e s e n felvet h e t ' teh t a krd s % hogy hely n v al8 e a uszt n a kanti filozfia ural m r a hivatkozni% amikor egy mat e m a t ik ai elml e t elfoga d t a t s a a krd s . K"l(n(s e n % ha figyele m * e vessz "k% hogy a ma t e m a t i k u s o k kell' mat e m a t ik ai indokls ut n el is foga d t k az j geo m e t ri t. A filozfiai ro*l m r a azon * a n 8 taln ezrt 8 ne m ker"lt vlaszSe!r tudo m n y8 e a ma t e m a t i k a % azaz vann a k mat e m a t ik ai tnye k% melyek a mat e m a t ik a vilg * a n igazak vagy ha mis a k < )agy e n konstr ukt!v tudo m n y% mely ma g a alkotja a vilg t% elml e t ei ezrt lehe t n e k kristlytiszt k- egy te&h nik t hozn ak ltre% melyn e k a vals g r a val alkalm a z h a t s g a es e tl e g e s /s a tiszt a mat e m a t ik n a k taln ne m is fontos4< Ts ha az ut**i igaz% akkor mi

sza* hat r t az igazs g n a k < A *izony!th a t s g < )agy vala mi ms < $lfoga d h a t k8 e az j *izony!t si md sz e r e k % mint ld ul 7antor trans zfinit induk&ija% vagy ezek &sak tvtr a viszik a mat e m a t ik t < )al*a n elg egz ak t a k8 e azok a fogalm a k% melyek e t haszn lu nk< $gyrt el m 3 e k8 e< Kik"sz(*(lt"k8 e a flre r t s s tve d s lehe t ' s g t < $zekre a krd s e k r e a k(vetk ez , k(te t * e n fogunk vissza t r ni. ?j a'i+ m ar e n d " * e r e k 6a visszat e kin t " n k a t(rt n e t r e % ltjuk% ahog y a k lass a n kitisztul. $l'sz(r is vilgos s vlt az euklides zi geo m e t ri a s az alge *r a /ami ekkor m g egye nl e t m e g o l d s o k a t jelent4 ka &s ola t a ;es&ar t e s koordin t a g e o m e t r i j * a n . A mozg s % az rint'k s a ter"let s z m! t s vizsgla t * l me g s z "l e t e t t ma t e m a t i k ai an al!zis ma g a is e** e n a koordin t a g e o m e t ri * a n kezdt e me g diad altj t. =alois az egye nl e t e k gy(k ein ek er m u t &i& s o o r tj ait vizsg lv a 8 t'le szr m a zik a &so or t elnev e z s is 8 az egye nl e t m e g o l d s o k s a test * ' v!t s e k k(z(tt lla !tott me g (sszef" g g s e k e t . Az alge *r a !gy kezd e t t a test e k s &so ort ok% s r(vides e n a legk"l(nfl * * alge *r ai struktr k vizsgla t v al foglalkozni. $hhez 7ayley /+?E B8 tl4 a &so ort el m l e t rends z e r e s me g al a o z s v a l% Pordan /+?M D- 6rait( de" "u8" titu tio n " et de" e.ua tio n " alg(8ri.u e " 4az izomorfia fogal m n a k me g t e r e m t s v e l % Wteinitz az izomorfia elv me gfog al m a z s v a l% Sie edig a folytono s tran s zfor m &i& s o o r t fogal m n a k *ev ez e t s v e l jrult hozz. .tt tartu nk mos t. A filozfiai vitka t e n 7antor &ikke a vgt el e n r 'l /+?M A4 tartj a mozg s * a n . 6almaz el m l e t e a mat e m a t ik a leglt al n o s a * * fgogal m ait vizsglja. +?@?8 ra mr me g is sz"letik a sz m el m l e t form lis a#io m a tiku s halm a z el m l e ti fel !t s e /=ius e e 0eanoArith m e tic a principia nova m e t h o d o e'p o "ita % azaz A* arit m e tik a -j m+ d o n ki/ejte t t alapelv ei 4. A vals sz m o kr a vona tkoz a n 7au&hy% Veiers tr a s s s ;edekin d / @tAtigk eit und irrationali #ahlen / >ol!ton o " " g (" a* irracionli" "* m o k % +?M14 munk i mr me g *!zh a t ala o t jelent e t t e k % !gy 6il*ert +?@@8 *en mr a vals sz m o k elml e t r e ala ozv a !th e t t e fel a geo m e t ri t. A klasszikus euklide s zi mellett ismer t e k mr a rojekt!v s affin geo m e t ri k. Az +?ED8 as vek a ne m8 euklide s zi geo m e t ri k a t is ismert t tett k a vilg* a n . Alig telt el r v% s :elie# Klein me g m u t a t t a % hogy mind e n geo m e t ri h o z a trans zfor m &ik n a k egy *izonyo s folyton o s &so ortj a tartozik. $rlang e ni rogr a mj * a n /+?M14 javas olt a a geo m e t ri k ezen &so ort ok szerinti osztlyoz s t . A kilen&v e n e s vekr e az euklide s zi geo m e t ri r l mr nyilvnv alv vlt% hogy a rojekt!v geo m e t ri n a k &su n s e&ilis es e t e . ;avid 6il*ert 0eano t l f"gg e tl e n "l 8 Moritz 0as&h k(nyv t olvasv a jutott el az jraa #io m a tiz l s gond ol a t h o z. 0as&h ugya nis az ele mi geo m e t ri ai *izony!t s o k a t vizsg lv a felfed e z e t t olyan l s e k e t % melyek uszt n logikaiak. .lyen ld ul az ltala

me gfog al m a z o t t % s a hil*erti geo m e t ri * a 0as&h a#im a k n t *e !t e t t ll!ts. 0as&h &lja ezek me gfo g al m a z s a volt% hogy ezlt al a geo m e t ri ai levez e t s e k e t me g tudja tiszt!ta ni a sze ml l e t r e val hivatkoz s o k t l. 6il*ert% tgo n d olv a 0as&h ere d m n y e i t gy ltta% hogy ez ne m &su n a geo m e t ri a kritikjt han e m teljes e n j mdo n val felfog s t is lehe t ,v teszi. A levez e t s i sza* lyok han g s lyoz s a lehe t ,v teszi% hogy az a#i m k * l gy lehe s s e n eljutni a tt el ek h e z % hogy k(z*e n nin&s sz"ks g a geo m e t ri ai sze ml l e t r e . $z azt is jelenti egy* e n % hogy mr nin&s sz"ks g a szav a k jelent s r e se m. 5adiklis me g old s a flre r t h e t , s g s ktr t el m K s g kik"sz(* (l s r e . 6a nin&s e n e k defin!&ik% az a#im k formlis ak% s a /szint n formlis4 sza* lyok egyr t el m K e n me g h a t r o z o t t a k % nin&s lehet , s g ellen l d k felkut a t s r a . A defin!&ik teh t az a*szolt szigor s g oltr n lettek felldozv a. A k(vetk e z , vtized * e n 6il*ert a ne m8 euklide s zi geo m e t ri k a t is *e !t e t t e a trgyal s * a . )e*len s coung / Projectiv e 9eo m e t r ! % +@+D8 +B4 me g m u t a t t k % mikn t trgyalh a t mind e n geo m e t ri a e** e n a szelle m * e n . A szz a d v g e n sorra sz"let t e k me g a k"l(n*(z' elml e t e k a#io m a tiz l s ai- hlel m l e t 8 ;edekin d /+?@M s +@DD4% &so ort el m l e t s test el m l e t 8 6untingt o n /+@DE4. Oest el m l e t 8 Wteinitz- / Alge8rai"ch er 6heorie der K:rper % +@+D4Q ' mr ne m is foglalkozik a m3v el e t e k tart al m v a l% &su n sajto s s g a i k a t r(gz!ti. 0ldak n t a vals sz m o k% a ra&ion lis sz m o k s a kom l e# sz m o k tes t t eml!ti. .delel m l e t 8 $mmie Joeth e r- / 7dealth e orie in $ing8 er eic h e n % +@1+4 ... $zekh ez ism t& s a k az alge *r a egy jelent' s ere d m n y e % a mat e m a t ik ai logika ala j ul szolgl 2oole8 alge *r a nyjtot t seg!ts g e t . +@B@8 t'l kezdv e jelent e k me g Elem e n t " de Mathe m a ti . u e &!me n a 2our* aki &so ort munk i. $ soroz a t az eg s z mat e m a t ik a a*sztr a k t halm a z s t r u k t r k s k(z(tt "k rtel m e z e t t lek e z s e k seg!ts g v el val fel !t s t t3zt e ki &lul. Az a#io m a tiz l s (nm a g * a n m g &su n a legtiszt * * deduk t!v rend s z e r fel !t s t jelent e n . Jem akr milye n a#i m a r e n d s z e r e k r 'l van azon* a n itt sz. )egy"k uszt n a form ai sze m o n t o k a t \ $uklidesz a#im a r e n d s z e r e a defin!&ikkal kezd'dik. A mai a#i m a r e n d s z e r e k azon* a n mr ne m definiljk ld ul a onto t vagy az egye n e s t . $ fogal m a k tov * * r a is szer e el n e k az a#i m k * a n % m &su n definilatl a n ala fog al m a k k n t . Mit jelent ez< Azt% hogy amikor alkal m a z ni akarjuk vala m el y ter"letr e az elml e t e t % akkor &su n azt kell ellen'rizn" nk% hogy 8 a definilatl a n ala fog al m a k n a k imm r jelent s t adv a 8 igazak8 e a krd s e s ter"let e n /strukt r n 4 az a#i m k. 6a igen% akkor /*izonyo s ala v e t ' feltt el ek teljes "l s e mellet t4 =(del teljes s gi tt el e rtel m * e n az a#im a r e n d s z e r (ssze s levez e t e t t tt el e igaz lesz e struktr n . $z az adot t a#i m a r e n d s z e r egy mod ellje lesz 8 s ez lehe t akr mat e m a t ik ai% fizikai vagy *r milye n m s mod ell. Az ala ok ro*l m j a ktflek e n veth e t ' fel. Az egyik a *izony!t s r a vona tk ozik- mi az ll!ts ala ja% mirt igaz% hogya n

rvelh e t " n k mellet t e % azaz milyen egy * tt el ek * 'l% defin!&ik*l tudjuk levez e t ni< A m sik viszont a ma t e m a t i k ai igazs g forrs air a vona tkozik- honn a n tudo m% hogy igaz8 e a tt el vagy az a#i m a % hogy helye s8 e a defin!&i< /$ kt krd s k (r ne m feltt eln "l f"gg e tl e n egym s t l. Mai tud s u n k sze m o n tj * l mind e n e s e t r e vilgos k"l(n* s g e t teh e t " n k a levez e t h e t b s g s az igazs g krd s e k(z(tt.4 6a az ala ok az els' rt el e m * e n ker"ln ek vls g * a % ann a k aut e n tiku s me g old s a egy j a#im a r e n d s z e r fel !t s e . 6a viszont a ms o dik rt el e m * e n % akkor a form alist a vissza h z d h a t az igazs g krd s k ( r t 'l mon d v n 'r &su n a levez e t h e t ' s g krd s e tartozik% a t(**i az inter r e t &i dolga. Az a#i m k igaz vagy ha mis volta% a defin!&ik rtel m e /a szav ak jelent s e 4 mr a mod ell s az rtel m e z s ro*l m j a . O'le ne m ka u nk vlaszt arra% hogya n d(nth e t e m el egy mod elle n% hogy igazak8 e az a#im k% ha ma g a a mod ell ne m egy formlis rend s z e r. $zek mr ne m a tiszta ma t e m a t i k a ro*l m i. Mirt lett ez !gy< A fordula t okozja a trrel s a sz m o kk al ka &s ola t * a n mr felvet e t t ro*l m a . Ami azon* a n a N.N. szza d * a n m g filozfiai krd s n e k ltszott% az a NN. szz a d kezd e t n egy r t el m 3 e n mat e m a t ik ai ro*l m a k n t mut a t t a me g ma g t . A mat e m a t ik ai fogalo m alko t s s igazs g ro*l m j t a ne m8 euklides zi geo m e t ri k elfoga d s a ne m oldott a me g% ink** flres ( ( r t e . ^jra felvet' d ( t t azon* a n az n halm a z el m l e ti ar a d o # o n o k * a n . $gy ifjkor * a n heg eli n u s filozfus8 logikus% 2ertra n d 5uss ell felism e r t s me gfo g al m a z o t t olyan ellent m o n d s o k a t % melyek 8 noh a 7antor sajt elml e t * e n kivd e ni ltszott 'ket 8 *izonyt al a n n tett k a halm a z fogal m t . $ ara d o # o n o k n a k k"l(n*(z' me gfo g al m a z s a i lnek a ma t e m a t i k ai folklr* a n . Az egyik ilyen ld ul- *orotv lja8 e ma g t az a *or* ly% aki onto s a n azok a t *orotv lja a vros * a n % akik ma g uk ne m *orotv lkoz n a k. Az ere d e ti forma k(zele * * ll ehh e z- Ytart al m a z z a8 e (nm a g t az (ssz e s halm a z ok halm a z a < Z )agy igaz8 e a k(vetk e z ' ll!tsY6azudokZ% melyn e k t(rt n e t e a hazu g krt ai klasszikus antik ar a d o # o nj ig nylik vissza< $zek a krd s e k irny!tot t k a mat e m a t ik u s o k figyelm t ann ak vizsg l a t r a % hogy mit lehe t s mit ne m ellent m o n d s nlk"l me g t e n ni a ma t e m a t i k * a n . A zavart 8 gy t3nik 8 az okozt a% hogy tgo n d ol a tl a n ul% mint e g y naiva n haszn lt uk ld ul a halm a z fogalm t s me g e n g e d t " n k olyan formulk a t % melyek ma g u kr l szlnak /mint ld ul- Y$z a mon d a t ha misZ4. A mat e m a t ik a ala j ain a k vizsgla t a a ma t e m a t i k ai tud s forrs air a irny!tot t a a figyel m e t . )an mat e m a t ik ai vals g% melyn e k intuit!v me gis m e r s e seg!t a tt el ek felfed ez s * e n % hogy azut n krlelh e t e tl e n logikv al *izony!ts uk azok a t< )agy tetsz'le g e s struktr k a t alkoth a t u n k% s a *izony!t s &su n az elme sza* a d jtk a /a jtk h oz tartoz szigor a n definilt sza* lyok me n t n 4 < 6ol hzzuk me g a hat r t a me g e n g e d h e t ' s me g ne m eng e d h e t ' *izony!t si eljr s ok k(z(tt< A kivlaszt s i a#i m a lett az egyik nev ez e t e s ont% ahol e vitk (ssz e& s a t a k - .gaz8 e az% hogy mind e n halm a z jlrend e z h e t ' 8

azaz me g a d h a t egy olyan rend e z s % mely szerint mind e n rszh al m a z n a k lesz legkis e * * ele m e < Wenki ne m tudot t adni ilyen rend e z s t ld ul a vals sz m o k halm a z r a % viszont ha osztulljuk a kivlaszt si a#i m t % akkor e**'l mr *izony!th a tj uk a jlrend e z h e t ' s g e t . A krd s teh t - elg8 e oszt ul lni a kivlas t si a#i m t % ava g y tnyle g e s e n me g kelljen adni e rend e z s t vagy kivlaszt s i f"ggv n yt < )agy ami ezzel ekvivale n s elfoga dj uk8 e a tran s zfinit induk&it *izony!t si md sz e r n e k < Ma a mat e m a t ik u s o k kis rsz e fogadj a &sak el a kontrukt!v *izony!t si eljrs o k korlt ait. Ami viszont ilmdo n is *izony!th a t % azt az elml e t e k leg*iztos a * * rsz n e k tekintik. Az ere d m n y e k tekint e t * e n teh t elrh e t ' rszle g e s egye t r t s . Ami a mat e m a t ik ai igazs g krd s t illeti% a** a n viszont ez ne m k(vetk ez e t t *e. Az egye t e m e k e n oktat o t t ma t e m a t i k a t(** n yir e formlis fel !t s 3 % s ez az elml e t e k alkalm a z s n a k is kedv ez. 6ogy a ma t e m a t i k u s o k es e tle g m gis gy rzik% hogy vala mi vals g o s % nagyo n is ltez' dologrl teszn e k kijelent s e k e t tt el eik* e n % az jelenleg 8 a vilgn z e ti krd s e k h e z haso nl a t o s a n 8 a sze m lye s me g g y' z ' d s e k k(r* e tartozik. 7rodalo m 2oyer% 7arl 2enja min8 Merz* a& h% dta e.- A Bi"tor! o/ Mathe m a tic " /Pohn Viley and Wons% +@?@4 ;avis% 0hili 8 6ersh% 5eu* e n - A mat e m a ti k a (lm ( n ! e /M3szaki% 2uda e s t +@?A4 :reud 5. /szerk.4- ;ag! pillanato k a mat e m a t i k a t:rt( n e t ( 8 e n /=ondola t% 2uda e s t +@?+4 =ratt a n8 =uines s% .vor/szerk.4- Com p a nio n Enc!clop e dia o/ the Bi"tor! and Philo"oph ! o/ the Math e m a tic al @cienc e " /5outle d g e % Sondon +@@A4 Sakato s .mre- %i*on !t " o k (" c/olatok /=ondola t% 2uda e s t +@?+ s Oy ot e #% 2uda e s t +@@?4 Wain Mrton- ;inc" kirl!i -t< Mate m a ti k a t :r t ( n e t /=ondola t% 2uda e s t +@?E4 Wmith% ;. $.- A @ource %ook in Mathe m a tic " /;over% JeL cork +@C@4