Ar ko darbojamies matemtik.

Padefinjos teksts
Dainis Zeps dainize@mii.lu.lv Matemtikas un Informtikas institts Latvijas Universitte 2008. jnijs

Saturs
Ievads .................................................................................................................................................................. 1 Reprezentcijas .................................................................................................................................................... 2 Invarianti ............................................................................................................................................................. 2 Teormas ............................................................................................................................................................. 2 Teormu pierdjumi ............................................................................................................................................ 2 Matemtiskas izteiksmes un teksti ....................................................................................................................... 2 Definjumi ........................................................................................................................................................... 3 eneriskie lielumi ................................................................................................................................................. 3 Matemtiskie pamatelementi un darbbas ........................................................................................................... 3 Pitagora skaiti ..................................................................................................................................................... 3 Literatra:............................................................................................................................................................ 4

Ievads
Pazstamais fiziis teortiis L Smolins grmat (Smolin, Three Roads to Quantum Gravity 2001) izsaka ideju, ka visums nesastv no lietm, bet procesiem [The universe is made of processes, not things]. Vartu likties, ka t ir oti oriinla ideja. Ideja ir tiem laba, bet ldzgi jau ir spriedui daudzi, kaut vai Kants, nordot, ka viss, ko ms par lietu varam uzzint, ir prta konstrukcija vai rekonstrukcija [k mums labk patiks izteikties], ka pati lieta paliek in se, t.i., t mums piejama nav. Fizik matemtiskais aparts spl novrotja lomu (Zeps, Matemtiskais prts un kognitv mana, 2008), t.i., caur to ms redzam universu vai vismaz universu k procesus, k to gribtu Smolins. Viss cits, ko ms gribtu novrot visum bez matemtikas, nav lielas ievrbas ciengs. Protams, paliek jautjums, ko ms novrojam ar fiziklo eksperimentu, bet, ja pamanm, ka msu redze k ar citi kognitvie aparti tpat k fiziklie instrumenti,kas paplaina msu kognitvos apartus, preczi strd pateicoties matemtiskajiem invariantiem, kas ir to funkcionalittes pamat, tad pie paa uzstdjuma paliekam. ds skats uz matemtiku k novrotju fizik paldz uzlkot matemtiku it k no citas puses, kur t ar ir ieraugma k rekonstrukciju mehnisms, kur rekonstrukciju veidojam izmantojot vienu meta -operatoru reprezentciju. Tlkais teksts nav uzlkojams k kda defincija, bet k padefinjos teksts, t.i., ja lastjs te saskata kdu jgu, tad tas ir ar teksta saturs; ja tdu jgu nesaskata, tad tda te ar nav.

Reprezentcijas
Matemtik nav nek cita k tikai reprezentcijas. Kaut kdu A reprezent kaut kds B un to pierakstm form A=B, ja lietojam Zeilbergeram (Petkovek, Wilf, & Zeilberger, 1997) tuvku apzmjumu, vai, lai pardtu attiecbas nesimetriskumu, A=>B. Ms vl lietosim apzmjumu <Rep: A, B>, kas pasacs, ka A ir reprezentts ar B, lietojot reprezentanas procedru Rep. apzmjuma cita nozme mums pardsies vlk. Ja A ir skaitlis, tad B var bt is skaitlis decimlaj skaitanas sistm, utm.

Invarianti
Matemtik nav nek cita k tikai invarianti. Invariantu I reprezent teorma T un pierakstm I=T. Ja mkam reprezentciju raksturot k rep, sakm <rep:I,T>. Parasti matemtisks disciplnas nenosauc tos savus invariantus, ar kuriem ts darbojas visaugstk lmen. Zemkos lmeos tie pards tiei k matemtiski objekti, k vienkru piemru minot procedru pierdjumus.

Teormas
Matemtik nav nek cita k tikai teormas. Teormu T reprezent teormas pierdjums P un pierakstm T=P. Ja mkam reprezentciju raksturot k rep, sakm <rep:T,P>. Aksiomas, postultus, matemtiskus pamatpiemumus ms varam viegli uzlkot k teormu specilus gadjumus. Ja tk, P varam pieemt k True.

Teormu pierdjumi
Matemtik nav nek cita k tikai teormu pierdjumi. Teormas pierdjumu P reprezent matemtiska izteiksme E un pierakstm P=E. Ja mkam reprezentciju raksturot k rep, sakm <rep:P,E>. Matemtiska izteiksme mums bs izteiksme tradicionlaj nozm vai matemtisks teksts, ja, piemram, mums tas kvalificjas k teormas pierdjums.

Matemtiskas izteiksmes un teksti

Matemtik nav nek cita k matemtiskas izteiksmes un teksti. Matemtiskas izteiksmes un tekstus E reprezent matemtiskas defincijas D un pierakstm E=D. Ja mkam reprezentciju raksturot k rep, sakm <rep:E,D>. Ms uztveram matemtisku tekstu k universlu kategoriju, kas var saturt visu, ko matemtika lieto, bet t nozmi determins un virzs definjumi.

Definjumi
Matemtik nav nek cita k defincijas un definjumi. Definciju D reprezent eneriskie lielumi G un pierakstm D=G. Ja mkam reprezentciju raksturot k rep, sakm <rep:D,G>.

eneriskie lielumi
Matemtik nav nek cita k eneriskie lielumi. enerisko lielumu G reprezent matemtiskie pamatelementi El un pierakstm G=El. Ja mkam reprezentciju raksturot k rep, sakm <rep:G,El>. Veseli skaiti ir enerisks lielums, kurus var enert no viena skaita, teiksim, 1.

Matemtiskie pamatelementi un darbbas

Matemtik viss atvasints no pamatelementiem. To saimei varam pievienot jebkuru msu izgudrotu jaunu matemtisku konstrukciju un tlk lietot ka matemtikas pamatelementu. Darbbas ir kdas mums tradicionls k pamatdarbbas. To saimei varam pievienot jebkdas msu jaunizgudrotas darbbas.

Pitagora skaiti
Ldz im ms runjm par mums tradicionlu matemtikas uzlkojumu, to minot tikai saslot par procesu rekonstrukcijas mehnismiem, pie tam to darot ne glui forml vai daji forml veid. Tlk aplkosim netradicionlu matemtisku vai drzk kognitvu konstrukciju Pitagora skaiti. Pitagora skaiti ir divu matemtisku jdzienu pris, kam pievienojam konstrukcija, kas viena jdziena vrtbas atveido otr jdziena vrtbs. Biei varsim teikt, ka Pitagora skaiti ir pris A, B, kur mums ir treais elements rep, kas A reprezent k B; tad varsim teikt, ka <rep:A, B>. Bet emsim vr, ka Pitagora skaiti nav matemtiska defincija, bet matemtiski kognitva, ka ai konstrukcijai jstrd pa veid, lai ms to pieemtu par funkcionjou Pitagora skaitu pri vai Pitagora skaitiem, runjot vienkroti. Atkrtojam ldzgu apgalvojumu k iepriek, bet ar citu nozmi. Matemtik nav nek cita k Pitagora skaiti. To ieraudzsim vlk. Bet lai minam kdus Pitagora skaitu piemrus: Slgta lkne un vaja lkne, kur izvlamies veidu, k, teiksim, no vajas lknes iegt slgtu lkni. To varam izdart oti dados veidos un ttad o varam uzlkot k labu piemru Pitagora skaitiem. Rotcija un translcija. Process ir rotcijas prveide translcij, piemram, cikloda. Tehnik tas ir auto, kur riteu kustba prvrsta auto paa kustb pa virsmu. Procesam nav obligti jprveido rotcija translcij kd acmredzam veid, piemram, kompleks maing funkciju gadjum, kur kompleks maing funkcijas radil un argumenta daas ir saisttas ar Ko Rmaa viendbm k nosacjumu funkcijas analtiskumam.

Komplekso skaitli varam uzlkot k likumu 0-vektora (imaginrs daas) un 1-vektora (rels daas) savienojumam ar Eilera formulas paldzbu. Tad <kompleksais skaitlis: imaginr daa k 0 -vektors, rel daa k 1-vektors>. Vl viens oti labs piemrs Pitagora skaitiem ir variette, kur ts funkcionalitte tiek definta t, lai realiztu rotcijas prveidi translcij taj telp, ko defin variette. Variette citu neko ar nedefin. Eilera telp Pitagora skaiti ir, piemram, Dekarta koordintes un polrs koordintes, kuras savieno attiecg koordintu transformcijas krtula. Cits Pitagora skaitu piemrs ir hologramma un distinkcija, k tos aplko raksts (Zeps, Hologram and Distinction. The Physics of Time, 2008). is pris vislabk parda, ka msu skatjum Pitagora skaiti ir kognitva kategorija. Tradicionlk skatjum is skaitu pris ir hologrfiskais attls un parastais attls, kur tos savieno Furj transformcija. Ar Pitagora skaitu paldzbu jcenas raksturot pc iespjas visas mums zinms matemtisks rekonstrukcijas, L algebras, Puasona iekavas, utt. Visas augstk aprdts reprezentcijas vartu pretendt uz Pitagora skaitu piemriem, bet tas vl rpgi jprbauda. Atkrtosim, ka, lai Pitagora skaita pri k tdu ievestu, tam ir labi jstrd. Praks, ja da Pitagora skaitu rekonstruana ieviestos, tad vartu kdu jdzienu pri pieemt par Pitagora skaitiem ldz brdim, kad atkljam, ka kds jaundefints pris ir lietdergks un visprgks par iepriekjo. Ideli btu, ka ms tiem mctu msu lietoto matemtiku izteikt ar Pitagora skaitiem un tos izmantot, lai labk prskattu msu veidots matemtisks konstrukcijas. Prakse var prbaudt apgalvojuma sakargumu: matemtik nav nek cita k Pitagora skaiti.

Literatra:

Hall, B. C. (2003). Lie Groups, Lie Algebras, and Representations. An Elementary Introduction. New Yourk: Springer. Petkovek, M., Wilf, H. S., & Zeilberger, D. (1997). A = B. Shabat, B. V. (1969). Vvedenije v kompleksnij analiz. In Russian. M.: Nauka. Smolin, L. (2001). Three Roads to Quantum Gravity. New York: Basic Books. Zeps, D. (2008). Hologram and Distinction. The Physics of Tim, http://www.ltn.lv/~dainize/idems.html Zeps, D. (2008). Matemtiskais prts un kognitv mana, http://www.ltn.lv/~dainize/idems.html Zeps, D. (2007). Classical and quantum self-reference systems in physics and mathematics, http://www.ltn.lv/~dainize/MathPages/self.systems.pdf