koji nam je, za a = 1, poslužio za određivanje sume geometrijska progresija. Uz pretpostavku da je Gaussova teorema dokazana, pretpostavljamo da je a = a 1 korijen jednadžbe (17), tako da

	) = a n + a		a n−1			a n−2		a 1 + a

Oduzimanjem ovog izraza od f(x) i preuređivanjem pojmova, dobijamo identitet

f(x) = f(x) − f(a1 ) = (xn − a n 1 ) + an−1 (xn−1 − a n 1 −1 ) + . . . + a1 (x − a1 ).

(21) Koristeći sada formulu (20), možemo izdvojiti faktor x − a 1 iz svakog člana i zatim ga izvaditi iz zagrade, a stepen polinoma preostalog u zagradi će postati jedan manji. Ponovo preuredimo termine, dobijamo identitet

f(x) = (x − a1 )g(x),

gdje je g(x) polinom stepena n − 1:

g(x) = xn−1 + bn−2 xn−2 + . . . + b1 x + b0 .

(Izračunavanje koeficijenata označenih sa b nas ovdje ne zanima.) Primijenimo isti argument dalje na polinom g(x). Prema Gaussovom teoremu, postoji korijen a2 jednadžbe g(x) = 0, tako da

g(x) = (x − a2 )h(x),

gdje je h(x) novi polinom stepena već n − 2. Ponavljanje ovih argumenata n − 1 puta (naravno, primjena principa matematička indukcija), na kraju dolazimo do dekompozicije

f(x) = (x − a1 )(x − a2 ) . . . (x − an ).

Identitet (22) implicira ne samo da kompleksni brojevi a1, a2,

An su korijeni jednačine (17), ali i činjenica da jednačina (17) nema drugih korijena. Zaista, kada bi broj y bio korijen jednadžbe (17), onda bi iz (22) slijedilo

f(y) = (y − a1 )(y − a2 ) . . . (y − an ) = 0.

Ali vidjeli smo (str. 115) da je proizvod kompleksnih brojeva nula ako i samo ako je jedan od faktora nula. Dakle, jedan od faktora y − ar je jednak 0, tj. y = ar, što je trebalo utvrditi.

§ 6.

1. Definicija i pitanja postojanja. Algebarski broj je bilo koji broj x, realan ili imaginaran, koji zadovoljava neke algebarska jednačina vrsta

an xn + an−1 xn−1 + . . . + a1 x + a0 = 0 (n > 1, an 6= 0),

130 MATEMATIČKI NUMERIČKI SISTEM pog. II

gdje su brojevi ai cijeli brojevi. Tako, na primjer, broj 2 je algebarski, jer zadovoljava jednačinu

x2 − 2 = 0.

Na isti način, bilo koji korijen bilo koje jednadžbe sa cjelobrojnim koeficijentima trećeg, četvrtog, petog, bilo kojeg stepena, i bez obzira da li je izražen ili ne u radikalima, je algebarski broj. Koncept algebarskog broja je prirodna generalizacija pojma racionalnog broja, koji odgovara posebnom slučaju n = 1.

Nije svaki realan broj algebarski. Ovo slijedi iz sljedeće Cantorove teoreme: skup svih algebarskih brojeva je prebrojiv. Od mnoštva svih realni brojevi neprebrojivi, onda nužno moraju postojati realni brojevi koji nisu algebarski.

Naznačimo jednu od metoda za ponovno izračunavanje skupa algebarskih brojeva. Svaka jednadžba oblika (1) povezana je s pozitivnim cijelim brojem

h = |an | + |an−1 | + . . . + |a1 | + |a0 | +n,

koju ćemo, radi sažetosti, nazvati "visinom" jednačine. Za svaku fiksnu vrijednost n postoji samo konačan broj jednačina oblika (1) sa visinom h. Svaka od ovih jednačina ima najviše n korijena. Stoga može postojati samo konačan broj algebarskih brojeva generiranih jednadžbama visine h; stoga, svi algebarski brojevi mogu biti raspoređeni u obliku niza, navodeći prvo one generirane jednadžbama visine 1, zatim one visine 2, itd.

Ovaj dokaz da je skup algebarskih brojeva prebrojiv utvrđuje postojanje realnih brojeva koji nisu algebarski. Takvi brojevi se nazivaju transcendentalnim (od latinskog transcendere - proći, nadmašiti); Ojler im je dao ovo ime jer "premašuju moć algebarskih metoda".

Cantorov dokaz postojanja transcendentnih brojeva nije konstruktivan. Teoretski bi se transcendentalni broj mogao konstruisati dijagonalnim postupkom koji se izvodi na imaginarnoj listi decimalnih proširenja svih algebarskih brojeva; ali takav postupak je lišen ikakvog praktična vrijednost i ne bi dovelo do broja čije proširenje u decimalni (ili neki drugi) razlomak zapravo može biti zapisano. Najzanimljiviji problemi povezani s transcendentalnim brojevima leže u dokazivanju da su određeni, konkretni brojevi(ovo uključuje brojeve p i e, o kojima vidi str. 319–322) su transcendentni.

ALGEBRSKI I TRANSCENDENTNI BROJEVI

**2. Liouvilleova teorema i konstrukcija transcendentnih brojeva. Dokaz postojanja transcendentnih brojeva i prije Cantora dao je J. Liouville (1809–1862). To omogućava da se zapravo konstruišu primjeri takvih brojeva. Liouvilleov dokaz je teži od Cantorovog, i to nije iznenađujuće, budući da je konstruiranje primjera, općenito govoreći, teže nego dokazivanje postojanja. U predstavljanju Liouvilleovog dokaza u nastavku, imamo na umu samo obučenog čitaoca, iako je poznavanje elementarne matematike potpuno dovoljno za razumijevanje dokaza.

Kao što je Liouville otkrio, iracionalni algebarski brojevi imaju svojstvo da se ne mogu aproksimirati racionalnim brojevima do vrlo visokog stepena tačnosti, osim ako se imenioci aproksimirajućih razlomaka ne uzmu izuzetno veliki.

Pretpostavimo da broj z zadovoljava algebarsku jednačinu sa cjelobrojnim koeficijentima

f(x) = a0 + a1 x + a2 x2 + . . . + an xn = 0 (an 6= 0),

ali ne zadovoljava istu jednačinu nižeg stepena. Onda

recimo da je sam x algebarski broj stepena n. Na primjer,

broj z = 2 je algebarski broj stepena 2, pošto zadovoljava jednačinu x2 − 2 = 0√ stepena 2, ali ne zadovoljava jednačinu prvog stepena; broj z = 3 2 je stepena 3, pošto zadovoljava jednačinu x3 − 2 = 0, ali ne (kao što ćemo pokazati u poglavlju III) ne zadovoljava jednačinu nižeg stepena. Algebarski broj stepena n > 1

ne može biti racionalan, jer racionalni broj z = p q zadovoljava

zadovoljava jednačinu qx − p = 0 stepena 1. Svaki iracionalan broj z se može aproksimirati sa bilo kojim stepenom tačnosti korišćenjem racionalnog broja; to znači da uvijek možete specificirati niz racionalnih brojeva

p1, p2, . . .

q 1 q 2

sa neograničeno rastućim imeniocima, što ima svojstvo

to

p r → z. qr

Liouvilleova teorema kaže: kakav god da je algebarski broj z stepena n > 1, on se ne može aproksimirati racionalnim

dovoljno veliki imenioci, nejednakost

z−p q			> q n1 +1 .

MATEMATIČKI BROJEVNI SISTEM

Daćemo dokaz ove teoreme, ali prvo ćemo pokazati kako se ona može koristiti za konstruisanje transcendentalni brojevi. Uzmite u obzir broj

z = a1 10−1! + a2 10−2! + a3 10−3! + . . . + am · 10−m! + . . . == 0,a1 a2 000a3 00000000000000000a4 000 . . . ,

gdje ai označava proizvoljne cifre od 1 do 9 (najlakše bi bilo postaviti sve ai jednake 1), a simbol n!, kao i obično (vidi str. 36), označava 1 · 2 · . . . n. Karakteristično svojstvo decimalnog proširenja takvog broja je da se grupe nula koje brzo rastu u dužini izmjenjuju u njemu s pojedinačnim znamenkama koje nisu nule. Označimo sa zm konačni decimalni razlomak koji se dobije uzimanjem svih članova do am · 10−m! u proširenju. inkluzivno. Tada dobijamo nejednakost

Pretpostavimo da bi z bio algebarski broj stepena n. Zatim, postavljajući u Liouvillovoj nejednakosti (3) p q = zm = 10 p m! , moramo imati

|z - zm | > 10(n+1)m!

za dovoljno velike vrijednosti m. Poređenje posljednje nejednakosti sa nejednakošću (4) daje

10(n+1)m!		10(m+1)!			10(m+1)!−1

odakle slijedi (n + 1)m! > (m + 1)! − 1 za dovoljno veliko m. Ali to ne vrijedi za vrijednosti m veće od n (neka se čitatelj potrudi da pruži detaljan dokaz ove tvrdnje). Došli smo do kontradikcije. Dakle, broj z je transcendentalan.

Ostaje dokazati Liouvilleovu teoremu. Pretpostavimo da je z algebarski broj stepena n > 1 koji zadovoljava jednadžbu (1), tako da

f(zm ) = f(zm ) − f(z) = a1 (zm − z) + a2 (zm 2 − z2 ) + . . . + an (zm n − zn ).

Podijelimo oba dijela sa zm − z i koristimo algebarsku formulu

u n − v n = un−1 + un−2 v + un−3 v2 + . . . + uvn−2 + vn−1 , u − v

dobijamo:

	f(zm)	A1 + a2 (zm + z) + a3 (zm 2 + zm z + z2 ) + . . .
	zm − z
		An (zm n−1 + . . . + zn−1 ). (6)

ALGEBRSKI I TRANSCENDENTNI BROJEVI

Pošto zm teži z, onda će se za dovoljno veliko m racionalni broj zm razlikovati od z za manje od jedan. Stoga, za dovoljno veliko m, možemo napraviti sljedeću grubu procjenu:

	f(zm)		< |a1 | + 2|a2 |(|z| + 1) + 3|a3 |(|z| + 1)2
zm − z

N|an |(|z| + 1)n−1 = M, (7)

osim toga, broj M desno je konstantan, jer se z ne mijenja tokom dokaza. Hajde da sada izaberemo m toliko veliko

razlomak z m = p m ima imenilac q m bio veći od M; onda qm

|z - zm | >	|f(zm )|			|f(zm )|

|f(zm )| =							-qn
							1 p + . . . + a
Racionalni broj zm =			ne može biti korijen jednačine

pošto bi tada bilo moguće izdvojiti faktor (x − zm ) iz polinoma f(x), i, prema tome, z bi zadovoljio jednačinu stepena nižeg od n. Dakle, f(zm ) 6= 0. Ali brojilac na desnoj strani jednakosti (9) je cijeli broj i stoga je po apsolutnoj vrijednosti najmanje jedan. Dakle, poređenje relacija (8) i (9) implicira nejednakost

|z - zm | >
					qn+1

što je upravo sadržaj naznačene teoreme.

Tokom proteklih nekoliko decenija, istraživanja o mogućnosti aproksimacije algebarskih brojeva racionalnim su mnogo dalje napredovala. Na primjer, norveški matematičar A. Thue (1863–1922) je otkrio da se u Liouvilleovoj nejednakosti (3) eksponent n + 1 može zamijeniti manjim eksponentom n 2 + 1.

K. L. Siegel je pokazao da je moguće uzeti i manje (još manje

za veći n) eksponent 2 n.

Transcendentalni brojevi su oduvijek bili tema koja privlači pažnju matematičara. Ali sve do relativno novijeg vremena, među brojkama koje su same po sebi interesantne, vrlo malo se znalo čiji se transcendentalni karakter može utvrditi. (Transcendencija broja p, o kojoj će biti reči u poglavlju III, podrazumeva nemogućnost kvadriranja kruga lenjirom i šestarom.) U svom govoru na Pariskom međunarodnom kongresu matematičara 1900. godine, David Hilbert je predložio trideset matematičkih

ALGEBRA SKUPOVA

problemi koji dopuštaju jednostavnu formulaciju, neki čak i prilično elementarni i popularni, od kojih ne samo da nisu riješeni, već su se čak činili sposobnim riješiti pomoću matematike tog doba. Ovi "Hilbertovi problemi" imali su snažno stimulativno dejstvo tokom narednog perioda u razvoju matematike. Gotovo svi su rješavani malo po malo, a u mnogim slučajevima njihovo rješavanje je bilo povezano sa jasnim napretkom u razvoju opštijih i dubljih metoda. Jedan problem koji se činio prilično beznadežan je bio

dokaz da je broj

je transcendentan (ili barem iracionalan). Tri decenije nije bilo ni nagoveštaja takvog pristupa pitanju sa bilo čije strane koji bi otvorio nadu u uspeh. Konačno, Siegel i, nezavisno od njega, mladi ruski matematičar A. Gelfond otkrili su nove metode za dokazivanje transcendencije mnogih

brojevi koji su bitni u matematici. Konkretno, postavljeno je

transcendencija ne samo Hilbertovog broja 2 2 , već i prilično opsežne klase brojeva oblika ab , gdje je a algebarski broj različit od 0 i 1, a b je iracionalni algebarski broj.

DODATAK POGLAVLJU II

Algebra skupova

1. Opća teorija. Koncept klase, ili zbirke, ili skupa objekata jedan je od najosnovnijih u matematici. Skup je definisan nekim svojstvom (“atributom”) A, koje svaki predmet koji se razmatra mora imati ili ne mora imati; oni objekti koji imaju svojstvo A formiraju skup A. Dakle, ako uzmemo u obzir cijele brojeve i svojstvo A je "da bude prost", tada se odgovarajući skup A sastoji od svih prostih brojeva 2, 3, 5, 7, . . .

Matematička teorija skupova polazi od činjenice da se novi skupovi mogu formirati iz skupova uz pomoć određenih operacija (kao što se novi brojevi dobijaju iz brojeva operacijama sabiranja i množenja). Proučavanje operacija nad skupovima je predmet "algebre skupova", koja ima mnogo zajedničkog sa običnom numeričkom algebrom, iako se na neki način razlikuje od nje. Činjenica da se algebarske metode mogu primijeniti na proučavanje nenumeričkih objekata, kao što su skupovi, je ilustrativna.

ALGEBRA SKUPOVA

pokazuje veliku opštost ideja moderne matematike. Nedavno je postalo jasno da algebra skupova baca Novi svijet na mnoga područja matematike, na primjer, teoriju mjere i teoriju vjerovatnoće; također je koristan u sistematizaciji matematičkih koncepata i razjašnjavanju njihovih logičkih veza.

U nastavku ću označiti određeni stalni skup objekata čija je priroda indiferentna, a koje možemo nazvati univerzalnim skupom (ili univerzumom rasuđivanja), i

A, B, C, . . . postojaće neki podskupovi od I. Ako je I kolekcija svih prirodni brojevi, tada A, recimo, može označiti skup svih parnih brojeva, B skup svih neparnih brojeva, C skup svih prostih brojeva, itd. Ako I označava skup svih tačaka na ravni, onda A može biti skup tačaka unutar nekog pa kruga, B - skup tačaka unutar drugog kruga, itd. Zgodno nam je da uključimo samo I kao "podskup", kao i "prazan" skup koji ne sadrži nikakve elemente . Cilj koji teži takvom vještačkom proširenju je očuvanje stava da svakom svojstvu A odgovara određeni skup elemenata iz I koji imaju ovo svojstvo. Ako je A univerzalno važeće svojstvo, kao što je prikazano (u slučaju brojeva) svojstvom zadovoljavanja trivijalne jednakosti x = x, tada će odgovarajući podskup od I biti sam I, budući da svaki element ima ovo svojstvo; s druge strane, ako je A neka vrsta interno kontradiktornog svojstva (kao x 6= x), tada odgovarajući podskup uopće ne sadrži nikakve elemente, on je "prazan" i označen je simbolom.

Kažemo da je skup A podskup skupa B, ukratko, "A je uključeno u B", ili "B sadrži A" ako ne postoji element u skupu A koji ne bi bio i u skupu B. Ova relacija odgovara notacija

A B, ili B A.

Na primjer, skup A svih cijelih brojeva djeljivih sa 10 je podskup skupa B svih cijelih brojeva djeljivih sa 5, budući da je svaki broj djeljiv sa 10 također djeljiv sa 5. Relacija A B ne isključuje relaciju B A. Ako i bilo kako, onda

To znači da je svaki element od A također element od B, i obrnuto, tako da skupovi A i B sadrže potpuno iste elemente.

Relacija A B između skupova u mnogo čemu liči na relaciju a 6 b između brojeva. Posebno napominjemo sljedeće

ALGEBRA SKUPOVA

sljedeća svojstva ovog omjera:

1) A A.

2) Ako su A B i B A, onda je A = B.

3) Ako su A B i B C, onda A C.

Iz tog razloga, A B relacija se ponekad naziva "relacija reda". Glavna razlika između relacije koja se razmatra i relacije a 6 b između brojeva je u tome što se između bilo koja dva data (realna) broja a i b nužno provodi barem jedna od relacija a 6 b ili b 6 a, dok se za relacija A B između skupova slična izjava je lažna. Na primjer, ako je A skup koji se sastoji od brojeva 1, 2, 3,

a B je skup koji se sastoji od brojeva 2, 3, 4,

tada ne vrijedi ni relacija A B ni relacija B A. Iz tog razloga kažemo da su podskupovi A, B, C, . . . skupovi I su "djelimično uređeni", dok su realni brojevi a, b, c, . . .

formiraju "dobro uređen" skup.

Uzgred, primijetite da iz definicije relacije A B slijedi da, bez obzira na podskup A skupa I,

Svojstvo 4) može izgledati pomalo paradoksalno, ali ako razmislite, logično striktno odgovara tačnom značenju definicije znaka. Zaista, relacija A bi bila samo narušena

in u slučaju da je prazan skup sadržavao element koji ne bi bio sadržan u A; ali pošto prazan skup uopšte ne sadrži elemente, to ne može biti, šta god A bilo.

Sada definiramo dvije operacije nad skupovima koji formalno imaju mnoga algebarska svojstva sabiranja i množenja brojeva, iako su po svom unutrašnjem sadržaju potpuno različite od ovih aritmetičke operacije. Neka su A i B neka dva skupa. Unija, ili "logički zbir", A i B se shvata kao skup koji se sastoji od onih elemenata koji su sadržani ili u A ili

in B (uključujući one elemente koji su sadržani i u A i B). Ovaj skup je označen A + B. 1 "Presjek" ili "logički proizvod" A i B se podrazumijeva kao skup koji se sastoji od onih elemenata koji su sadržani i u A i u B. Ovaj skup je označen AB.2

Među važnim algebarskim svojstvima operacija A + B i AB navodimo sljedeće. Čitalac će moći provjeriti njihovu valjanost na osnovu definicije samih operacija:

	A + (B + C) = (A + B) + C. 9)
	A(B + C) = AB + AC.		A + (BC) = (A + B)(A + C).
	Relacija A B je ekvivalentna svakoj od dvije relacije

Provjera svih ovih zakona je stvar najelementarnije logike. Na primjer, pravilo 10) kaže da je skup elemenata sadržanih u A ili A samo skup A; pravilo 12) kaže da se skup onih elemenata koji su sadržani u A i istovremeno sadržani ili u B ili u C poklapa sa skupom elemenata koji su ili sadržani istovremeno u A i B, ili su sadržani istovremeno u A i C Logičko rezoniranje korišteno u dokazima ove vrste pravila je prikladno ilustrovano ako se složimo da predstavljamo skupove A, B, C, . . . u obliku nekih figura u avionu i bit ćemo vrlo oprezni da ne propustimo nijednu od logičkih mogućnosti koje se pojavljuju kada je prisutnost u pitanju zajednički elementi dva skupa ili, obrnuto, prisustvo u jednom skupu elemenata koji nisu sadržani u drugom.

ALGEBRA SKUPOVA

Čitalac je nesumnjivo skrenuo pažnju na činjenicu da su zakoni 6), 7), 8), 9) i 12) spolja identični sa dobro poznatim komutativnim, asocijativnim i distributivnim zakonima obične algebre. Iz ovoga slijedi da sva pravila obične algebre koja slijede iz ovih zakona vrijede i u algebri skupova. Naprotiv, zakoni 10), 11) i 13) nemaju analoga u običnoj algebri i daju algebri skupova jednostavniju strukturu. Na primjer, binomna formula u algebri skupova svodi se na najjednostavniju jednakost

(A + B)n = (A + B) · (A + B) . . . (A + B) = A + B,

što proizilazi iz zakona 11). Zakoni 14), 15) i 17) kažu da su svojstva skupova i I u odnosu na operacije ujedinjenja i presjeka skupova vrlo slična svojstvima brojeva 0 i 1 u odnosu na operacije numeričkih operacija sabiranje i množenje. Ali zakon 16) nema analoga u numeričkoj algebri.

Ostaje definirati još jednu operaciju u algebri skupova. Neka je A neki podskup univerzalnog skupa I. Tada je komplement od A u I skup svih elemenata iz I koji nisu sadržani u A. Za ovaj skup uvodimo oznaku A0 . Dakle, ako je I skup svih prirodnih brojeva, a A skup svih prostih brojeva, onda je A0 skup svih kompozitni brojevi i broj 1. Operacija prijelaza iz A u A0, koja nema analoga u običnoj algebri, ima sljedeća svojstva:

	A + A0 = I.		AA0 = .
	0 = I.		I0 = .

23) A 00 = A.

24) Relacija A B je ekvivalentna relaciji B 0 A0 .

25) (A + B)0 = A0 B0 . 26) (AB)0 = A0 + B0 .

Provjeru ovih svojstava opet prepuštamo čitaocu.

Zakoni 1)–26) leže u osnovi algebre skupova. Imaju izvanredno svojstvo "dualnosti" u sljedećem smislu:

Ako u jednom od zakona 1)–26) zamijenimo odgovarajući

(u svakom njihovom pojavljivanju), onda je rezultat opet jedan od istih zakona. Na primjer, zakon 6) prelazi u zakon 7), 12) - u 13), 17) - u 16), itd. Iz toga slijedi da svaka teorema koja se može izvesti iz zakona 1)–26) odgovara drugoj, teoremi "dualan" prema njemu, koji se od prvog dobija pomoću naznačenih permutacija simbola. Zaista, od dokaza

ch. II ALGEBRA SKUPOVA 139

prve teoreme sastoji se od uzastopne primjene (u različitim fazama obrazloženja) nekih od zakona 1-26), tada će primjena "dualnih" zakona u odgovarajućim fazama predstavljati dokaz "dvostruke" teoreme . (Za sličnu "dvojnost" u geometriji, vidjeti Poglavlje IV.)

2. Primjena na matematičku logiku. Provera zakona algebre skupova zasnivala se na analizi logičkog značenja relacije A B i operacija A + B, AB i A0 . Sada možemo preokrenuti ovaj proces i smatrati zakone 1)–26) osnovom za "algebru logike". Recimo preciznije: onaj dio logike koji se tiče skupova, odnosno, što je u suštini isto, svojstava objekata koji se razmatraju, može se svesti na formalni algebarski sistem zasnovan na zakonima 1)–26). Logički "uslovni univerzum" definira skup I; svako svojstvo A definira skup A koji se sastoji od onih objekata u I koji imaju to svojstvo. Pravila za prevođenje obične logičke terminologije u skup jezik su jasna

sljedeći primjeri:
"ni A ni B"			(A + B)0 , ili, što je isto, A0 B0
"Nije tačno da i A i B"			(AB)0 , ili, što je isto, A0 + B0
je B", ili
"Ako A, onda B"
"Iz A slijedi B"
"Neki A je B"
"Ne A je B"			AB=
"Neko A nije B"			AB0 6=
"Ne postoji A"

U smislu algebre skupova, silogizam "Barbara", koji znači "ako je svako A B i svako B C, onda je svako A C", poprima jednostavan oblik:

3) Ako su A B i B C, onda je A C.

Slično, "zakon kontradikcije", koji kaže da "objekat ne može istovremeno imati i nemati neko svojstvo", piše se kao:

20) AA 0 = ,

a piše "zakon isključene sredine", koji kaže da "objekat mora imati ili ne imati neko svojstvo":

19) A + A 0 = I.

ALGEBRA SKUPOVA

Dakle, onaj dio logike, koji se može izraziti u terminima simbola, +, · i 0, može se tretirati kao formalni algebarski sistem, podložan zakonima 1)–26). Spajanjem logičke analize matematike i matematičke analize logike nastala je nova disciplina - matematička logika, koja je trenutno u procesu naglog razvoja.

Sa aksiomatske tačke gledišta, izvanredna činjenica da se iskazi 1)–26), zajedno sa svim ostalim teoremama algebre skupova, mogu logički izvesti iz sljedeće tri jednakosti:

27) A + B = B + A,

(A + B) + C = A + (B + C),

(A0 + B0 )0 + (A0 + B)0 = A.

Iz toga slijedi da se algebra skupova može konstruirati kao čisto deduktivna teorija, poput Euklidove geometrije, na osnovu ove tri tvrdnje koje se uzimaju kao aksiomi. Ako su ovi aksiomi prihvaćeni, tada se operacija AB i relacija A B definiraju u terminima A + B i A0:

	označava skup (A0 + B0 )0 ,
	B znači da je A + B = B.

Potpuno drugačiji primjer matematičkog sistema u kojem su zadovoljeni svi formalni zakoni algebre skupova dat je sistemom od osam brojeva 1, 2, 3, 5, 6, 10, 15, 30: ovdje a + b označava , by

po definiciji, najmanji zajednički višekratnik a i b, ab je najveći zajednički djelitelj a i b, a b je izjava "b je djeljivo sa a", a a0 je broj 30 a. su-

Postojanje takvih primjera dovelo je do proučavanja općih algebarskih sistema koji zadovoljavaju zakone 27). Takvi sistemi se nazivaju "Booleove algebre" po George Booleu (1815–1864), engleskom matematičaru i logičaru, čija se knjiga Istraživanje zakona mišljenja pojavila 1854.

3. Jedna od primjena na teoriju vjerovatnoće. Algebra skupova je usko povezana sa teorijom verovatnoće i omogućava vam da je pogledate u novom svetlu. Razmotrimo najjednostavniji primjer: zamislimo eksperiment s konačnim brojem mogućih ishoda, koji se svi smatraju "jednako mogućim". Eksperiment bi se, na primjer, mogao sastojati u nasumičnom izvlačenju karte iz dobro promiješanog punog špila. Ako skup svih ishoda eksperimenta označimo sa I, a A označava neki podskup od I, tada je vjerovatnoća da će ishod eksperimenta biti u podskupu A definirana kao omjer

p(A) = broj elemenata A . broj elemenata I

ALGEBRA SKUPOVA

Ako se dogovorimo da broj elemenata u nekom skupu A označimo sa n(A), onda se posljednja jednakost može dati oblik

U našem primjeru, uz pretpostavku da je A podskup klubova, dobijamo
n(A) = 13, n(I) = 52 i p(A) =

Ideje algebre skupova nalaze se u proračunu vjerovatnoća kada je potrebno, znajući vjerovatnoće nekih skupova, izračunati vjerovatnoće drugih. Na primjer, s obzirom na vjerovatnoće p(A), p(B) i p(AB), možemo izračunati vjerovatnoću p(A + B):

p(A + B) = p(A) + p(B) − p(AB).

To neće biti teško dokazati. Imamo

n(A + B) = n(A) + n(B) − n(AB),

budući da se elementi koji se nalaze istovremeno u A i B, tj. elementi AB, broje dva puta kada se računa zbir n(A) + n(B), i, stoga, morate oduzeti n(AB) od ove sume u nalog za izračunavanje n(A + B) je napravljen ispravno. Zatim podijelimo obje strane jednakosti sa n(I), dobijamo relaciju (2).

Zanimljivija formula dobija se ako govorimo o tri skupa A, B, C iz I. Koristeći relaciju (2) imamo

p(A + B + C) = p[(A + B) + C] = p(A + B) + p(C) − p[(A + B)C].

Zakon (12) iz prethodnog stava nam daje (A + B)C = AC + BC. Ovo implicira:

p[(A + B)C)] = p(AC + BC) = p(AC) + p(BC) − p(ABC).

Zamjenom vrijednosti p[(A + B)C] i vrijednosti p(A + B) preuzete iz (2) u relaciju dobijenu ranije, dolazimo do formule koja nam je potrebna:

p(A + B + C) = p(A) + p(B) + p(C) − p(AB) − p(AC) − p(BC) + p(ABC). (3)

Kao primjer, razmotrite sljedeći eksperiment. Tri broja 1, 2, 3 su napisana bilo kojim redom. Kolika je vjerovatnoća da će barem jedna od cifara biti na ispravnom (u smislu numeracije) mjestu? Neka je A skup permutacija u kojem je broj 1 na prvom mjestu, B je skup permutacija u kojem je broj 2 na drugom mjestu, C je skup permutacija u kojem je broj 3 na trećem mjesto. Moramo izračunati p(A + B + C). To je jasno

p(A) = p(B) = p(C) = 2 6 = 1 3 ;

zaista, ako je bilo koja cifra na pravom mjestu, tada postoje dvije mogućnosti za preuređenje preostale dvije cifre od ukupno 3 · 2 · 1 = 6 mogućih permutacija tri cifre. dalje,

Vježba. Izvedite odgovarajuću formulu za p(A + B + C + D) i primijenite je na eksperiment koji će uključivati ​​4 znamenke. Odgovarajuća vjerovatnoća je 5 8 = 0,6250.

Opća formula za uniju n skupova je

p(A1 + A2 + . . . + An ) =
	p(Ai ) −
			p(Ai Aj ) + p(Ai Aj Ak ) − . . . ± p(A1 A2 . . . An ), (4)
gdje simboli				označavaju zbrajanje svih mogućih

kombinacije koje sadrže jedan, dva, tri, . . . , (n − 1) slova iz A1 , A2 , . . .

an. Ova formula se može uspostaviti matematičkom indukcijom – baš kao što je formula (3) izvedena iz formule (2).

Iz formule (4) možemo zaključiti da ako je n znamenki 1, 2, 3, . . . , n su napisane bilo kojim redoslijedom, tada je vjerovatnoća da će barem jedna od cifara biti na ispravnom mjestu jednaka

pn = 1

gdje posljednjem članu prethodi znak + ili −, ovisno o tome da li je n paran ili neparan. Konkretno, za n = 5 ova vjerovatnoća je jednaka

p5 = 1 − 2! + 3! − 4! +5! = 30 = 0,6333. . .

U VIII poglavlju ćemo vidjeti da kada n ide u beskonačnost, izraz

1 1 1 1 Sn = 2! − 3! +4! − . . . ±n!

teži granici 1 e , čija vrijednost, sa pet decimala,

jednako 0,36788. Kako je iz formule (5) jasno da je pn = 1 − Sn, odatle slijedi da pri n → ∞

pn → 1 − e ≈ 0,63212.

Ilya Shchurov

Matematičar Ilja Ščurov o decimalnim razlomcima, transcendenciji i iracionalnosti Pi.

Kako je "jedan" pomogao u izgradnji prvih gradova i velikih imperija? Kako ste inspirisali izuzetne umove čovečanstva? Kakvu je ulogu imala u nastanku novca? Kako je "jedan" ujedinjen sa nulom da vlada savremeni svet? Istorija jedinice je neraskidivo povezana sa istorijom evropske civilizacije. Terry Jones kreće na šaljivo putovanje kako bi sastavio našu nevjerovatnu priču prost broj. Uz pomoć kompjuterske grafike u ovom programu, jedinica oživljava na razne načine. Iz istorije jedinice postaje jasno odakle dolaze moderni brojevi i kako nas je pronalazak nule spasio od potrebe da danas koristimo rimske brojeve.

Jacques Cesiano

O Diofantu znamo malo. Čini se da je živio u Aleksandriji. Nijedan grčki matematičar ga ne spominje pre 4. veka, pa je verovatno živeo sredinom 3. veka. Najvažnije Diofantovo djelo, "Aritmetika" (Ἀριθμητικά), dogodilo se na početku 13 "knjiga" (βιβλία), odnosno poglavlja. Danas ih imamo 10, i to: 6 u grčkom tekstu i 4 druga u srednjovekovnom arapskom prevodu, čije je mesto u sredini grčkih knjiga: knjige I-III na grčkom, IV-VII na arapskom, VIII-X. na grčkom. Diofantova „Aritmetika“ je prvenstveno zbirka zadataka, ukupno oko 260. Istina, nema teorije; postoje samo opšta uputstva u uvodu knjige, a konkretne napomene u nekim problemima kada je to potrebno. "Aritmetika" već ima karakteristike algebarske rasprave. Prvo Diofant uživa različiti znakovi, da izrazi nepoznanicu i njene moći, takođe neke kalkulacije; kao i sav algebarski simbolizam srednjeg vijeka, njegov simbolizam dolazi od matematičkih riječi. Zatim, Diofant objašnjava kako riješiti problem na algebarski način. Ali Diofantovi problemi nisu algebarski u uobičajenom smislu, jer se skoro svi svode na rješavanje neodređene jednačine ili sistema takvih jednačina.

George Shabat

Program predmeta: Istorija. Prve ocjene. Problem samjerljivosti obima kruga sa njegovim prečnikom. Beskonačni nizovi, proizvodi i drugi izrazi za π. Konvergencija i njen kvalitet. Izrazi koji sadrže π. Sekvence koje brzo konvergiraju na π. Savremene metode izračunavanje π uz pomoć kompjutera. O iracionalnosti i transcendentnosti π i nekih drugih brojeva. Za razumijevanje kursa nije potrebno nikakvo predznanje.

Naučnici sa Univerziteta u Oksfordu su izjavili da se najranija poznata upotreba broja 0 za označavanje odsustva vrednosti mesta (kao kod broja 101) treba smatrati tekstom indijskog Bakhšali rukopisa.

Vasily Pispanen

Ko nije igrao igru ​​"imenuj najveći broj" kao dijete? Već je teško zamisliti milione, trilione i druge "-one" u umu, ali pokušaćemo da razaznamo "mastodonta" u matematici - Grahamov broj.

Victor Kleptsyn

Realni broj može se proizvoljno precizno aproksimirati racionalnim brojevima. I koliko se takva aproksimacija može uporediti sa svojom složenošću? Na primjer, razbijanje decimalnog zapisa broja x at k-ta cifra nakon decimalnog zareza dobijamo aproksimaciju x≈a/10^k sa greškom reda 1/10^k. I općenito, fiksiranjem nazivnika q aproksimirajućeg razlomka, definitivno možemo dobiti aproksimaciju s greškom reda 1/q. I može li se to bolje uraditi? Poznata aproksimacija π≈22/7 daje grešku reda 1/1000, što je očito mnogo bolje nego što bi se moglo očekivati. I zašto? Jesmo li sretni što π ima takvu aproksimaciju? Ispada da za bilo koji iracionalni broj postoji beskonačno mnogo razlomaka p/q koji ga aproksimiraju bolje od 1/q^2. To je ono što kaže Dirichletova teorema - a mi ćemo započeti kurs sa malo nestandardnim dokazom.

Godine 1980. Ginisova knjiga rekorda je ponovila Gardnerove tvrdnje, dodatno podstaći interesovanje javnosti za ovaj broj. Grahamov broj je nezamisliv broj puta veći od drugih dobro poznatih veliki brojevi, kao što su googol, googolplex, pa čak i više od Skewesovog i Moserovog broja. Zapravo, cijeli svemir koji se može promatrati je premalen da bi mogao sadržavati običan decimalni prikaz Grahamovog broja.

Dmitry Anosov

Predavanja čita Anosov Dmitrij Viktorovič, doktor fizičko-matematičkih nauka, profesor, akademik Ruske akademije nauka. Ljetna škola"Moderna matematika", Dubna. 16-18. jula 2002

Nemoguće je tačno odgovoriti na ovo pitanje jer numeričke serije nema gornju granicu. Dakle, bilo kojem broju dovoljno je samo dodati jedan da dobijete još veći broj. Iako su sami brojevi beskonačni, oni nemaju mnogo vlastitih imena, jer se većina njih zadovoljava imenima sastavljenim od manjih brojeva. Jasno je da u konačnom nizu brojeva koje je čovječanstvo dodijelilo svojim imenom, mora ih biti najveći broj. Ali kako se to zove i čemu je jednako? Pokušajmo to shvatiti i u isto vrijeme otkriti do kakvih su velikih brojeva matematičari došli.

Na realnoj liniji, pored algebarskih brojeva, postoji još jedan skup, čija se kardinalnost poklapa sa kardinalnošću cijele linije - to je skup transcendentnih brojeva.

Definicija 6 : Poziva se broj koji nije algebarski transcendentan, odnosno transcendentalni broj (lat. transcendere - proći, premašiti) - ovo je realan ili kompleksni broj, koji ne može biti korijen polinoma (nije identično nula) s racionalnim koeficijentima

Svojstva transcendentnih brojeva:

· Skup transcendentnih brojeva je kontinuiran.

Svaki transcendentalni pravi broj je iracionalno, ali obrnuto nije tačno. Na primjer, broj je iracionalan, ali nije transcendentan: on je korijen polinoma (i stoga je algebarski).

· Redosled na skupu realnih transcendentnih brojeva je izomorfan redu na skupu iracionalnih brojeva.

· Mjera iracionalnosti skoro svakog transcendentnog broja jednaka je 2.

Postojanje transcendentnih brojeva prvi je dokazao Liouville. Laouvilleov dokaz postojanja transcendentnih brojeva je efikasan; na osnovu sljedeće teoreme, koja je direktna posljedica teoreme 5, konstruirani su konkretni primjeri transcendentnih brojeva.

Teorema 6 [3, strana 54].: Neka bude je pravi broj. Ako za bilo koji prirodni n 1 i bilo koji pravi c>0, postoji barem jedan racionalni razlomak takav da je (11), onda je transcendentan broj.

dokaz: Ako bio algebarski, tada bi postojao (teorema 5) pozitivan cijeli broj n i validan c>0 takav da bi za bilo koji razlomak bio, a to je u suprotnosti sa činjenicom da se (11) odvija. Pretpostavka da algebarski broj, tj. transcendentan broj. Teorema je dokazana.

Brojevi za koje, za bilo koje n 1 i c>0 nejednačina (11) ima rješenje u cijelim brojevima a i b nazivaju se transcendentalnim Liouvilleovim brojevima.

Sada imamo mogućnost konstruisanja nealgebarskih realnih brojeva. Potrebno je konstruisati broj koji dozvoljava aproksimacije proizvoljno high order.

Primjer:

a je transcendentan broj.

Uzmite proizvoljno realno n 1 i c>0. Neka gde k izabran tako veliki da kn, onda

Pošto za proizvoljno n 1 i c>0, možete pronaći razlomak takav da je tada transcendentan broj.

Postavite broj na beskonačan decimalni razlomak: gdje

Zatim, bilo gdje, . Dakle, a to znači da on dopušta aproksimacije proizvoljno visokog reda i stoga ne može biti algebarski.

Godine 1873. Š. Pustinjak je dokazao transcendentnost broja e, baze prirodnih logaritama.

Da dokaže transcendentnost broja e dvije leme su potrebne.

Lema 1. Ako a g(x) je polinom s cijelim koeficijentima, tada za bilo koji kN svi koeficijenti k- oh derivat g (k) (x) se dijele na k!.

Dokaz. Od operatera d/dx linearan, onda je dovoljno potvrditi tvrdnju leme samo za polinome oblika g(x)=x s , s 0.

Ako a k>s, onda g (k) (x)=0 i k!|0.

Ako a k< s , onda

binomni koeficijent je cijeli broj i g(k) ( x) je opet djeljiv sa k! potpuno.

Lema 2 (Identitet pustinjaka) . Neka bude f(x) je polinom proizvoljnog stepena k sa realnim koeficijentima,

F( x)=f(x)+f" (x)+f"(x)+ … +f (k) (x) je zbir svih njegovih derivata. Onda za bilo koji pravi (pa čak i složen, ali nam još neće trebati) x urađeno:

Dokaz. Integracija po dijelovima:

Integral je opet integriran po dijelovima, itd. Ponavljanjem ovog postupka k+1 puta, dobijamo:

Teorema 7 (Ermit, 1873.). Broj e transcendentan.

Dokaz. Dokažimo ovu tvrdnju kontradikcijom. Pretpostavimo to e - algebarski broj, stepen m. Onda

a m e m + … +a 1 e+a 0 =0

za neke prirodne m a neki ceo a m ,… a 1 , a 0 . Zamenimo Hermitov identitet (12) umjesto X cijeli broj k koji uzima vrijednosti od 0 do m; pomnožite svaku jednačinu

odnosno na a k a zatim ih sve sabrati. Dobijamo:

Pošto (ovo je naša gadna pretpostavka), ispada da za bilo koji polinom f(x) mora biti zadovoljena jednakost:

Odgovarajućim izborom polinoma f(x) možemo učiniti lijevu stranu (13) cijelim brojem koji nije nula, dok će desna biti između nule i jedan.

Razmotrimo polinom gdje n definiraj kasnije ( nN, i n veliko).

Broj 0 je korijen višestrukosti n-1 polinom f(x), brojevi 1, 2,…, m- višestruki korijeni n, dakle:

f (l) (0)=0, l=1,2,…, n-2

f(n-1) (0)=(-1) mn (m!) n

f (l) (k)=0, l=0,1, …, n-1; k=1,2,…, m

Uzmite u obzir g( x)=x n-1 (x-1) n (x-2) n … (x-m) n je polinom sličan f(x), ali sa cjelobrojnim koeficijentima. Prema lemi 1, koeficijenti g ( l) (x) su cijeli brojevi djeljivi sa l!, dakle, kada l< n , derivacija g ( l) (x) svi koeficijenti su cijeli brojevi djeljivi sa n, jer g( l) (x) se dobija iz g (l) ( x) dijeleći samo sa ( n-jedan)!. Zbog toga

gdje ALI je odgovarajući cijeli broj, a iznad znaka zbira je broj ( m+1) n-1 - stepen polinoma f(x) i, iako je moguće sabrati do beskonačnosti, derivacije od y različite od nule f(x) je upravo toliko.

Slično

gdje B k- odgovarajući cijeli brojevi, k = 1, 2,…, m.

Pusti sada nN - bilo koji cijeli broj koji zadovoljava uslove:

Razmotrimo ponovo jednakost (13):

U zbroju na lijevoj strani, svi pojmovi su cijeli brojevi, i a k F(k) at k = 1, 2,…, m podijeljena n, a a 0 F(0) uključeno n ne dijeli. To znači da je cijeli zbir cijeli broj, n ne dijeli, tj. nije null. dakle,

Procijenimo sada desnu stranu jednakosti (13). Jasno je da na segmentu pa samim tim i na ovom segmentu

gdje su konstante C 0 i C 1 ne zavisi od n. To je poznato

Dakle, za dovoljno velike n, desna strana (13) je manja od jedan, a jednakost (13) je nemoguća.

Godine 1882. Lindemann je dokazao teoremu transcendencije moći e sa algebarskim eksponentom koji nije nula, čime se dokazuje transcendentnost broja.

Teorema 8 (Lindemann) [3, strana 58]. Ako je algebarski broj i, onda je broj transcendentan.

Lindemannova teorema omogućava konstruisanje transcendentnih brojeva.

Primjeri:

Iz Lindemannove teoreme slijedi, na primjer, da je broj ln 2 - transcendentan, jer 2=e U 2, a broj 2 je algebarski, a ako je broj ln 2 je bio algebarski, onda bi prema lemi broj 2 bio transcendentan broj.

Općenito, za bilo koju algebarsku, ln po Lindemannovoj teoremi je transcendentna. Ako je transcendentno, onda ln nije nužno transcendentan broj, npr. ln e =1

Ispostavilo se da smo još uvijek srednja škola vidio mnogo transcendentalnih brojeva - ln 2,ln 3,ln() itd.

Također primjećujemo da su brojevi oblika transcendentni, za bilo koji algebarski broj različit od nule (prema Lindemann-Weierstrass teoremi, koja je generalizacija Lindemannove teoreme). Na primjer, brojevi su transcendentni, .

Ako je transcendentan, onda ne nužno transcendentalni brojevi, na primjer,

Dokaz Lindemannove teoreme može se izvesti pomoću Hermitovog identiteta, na isti način na koji je dokazana transcendencija, uz određene komplikacije u transformacijama. Upravo je to i sam Lindemann dokazao. A ovu teoremu možete dokazati na drugačiji način, kao što je sovjetski matematičar A.O. Gelfonda, čije su ideje dovele sredinom 20. veka do rešenja Hilbertovog sedmog problema.

Godine 1900, na II međunarodnom kongresu matematičara, Hilbert je, među problemima koje je formulisao, formulisao sedmi problem: „Ako, da li je tačno da su brojevi u obliku gde su algebarski i da su iracionalno transcendentalni brojevi?“ . Ovaj problem je 1934. godine riješio Gelfond, koji je dokazao da su svi takvi brojevi zaista transcendentni.

Dokaz transcendencije značenja eksponencijalna funkcija, koji je predložio Gelfond, zasnovan je na aplikaciji metode interpolacije.

primjeri:

1) Na osnovu Gelfondove teoreme moguće je, na primjer, dokazati da je broj transcendentalan, jer da je algebarski iracionalan, onda, pošto bi broj 19 prema Gelfondovoj teoremi bio transcendentalan, što nije tačno.

2) Neka a i b- ir racionalni brojevi. Može broj a b biti racionalan?

Naravno, koristeći Hilbertov sedmi problem, ovaj problem nije teško riješiti. Zaista, broj je transcendentan (jer je algebarski iracionalan broj). Ali svi racionalni brojevi su algebarski, dakle - iracionalni. Na drugoj strani,

Dakle, upravo smo predstavili ove brojke: Međutim, ovaj problem se može riješiti i bez pozivanja na Gelfondov rezultat. Možemo zaključiti na sljedeći način: razmotrite broj. Ako je ovaj broj racionalan, onda je problem riješen a i b pronađeno. Ako je iracionalno, onda uzimamo i.

Dakle, predstavili smo dva para brojeva a i b, tako da jedan od ovih parova zadovoljava uslov, ali ne zna koji. Ali na kraju krajeva, nije bilo potrebno predstaviti takav par! Dakle, ovo rješenje je, u određenom smislu, teorema postojanja.

Riječ "transcendentalno" se obično povezuje s transcendentalnom meditacijom i raznim ezoterizmom. Ali da bismo ga pravilno koristili, potrebno ga je barem razlikovati od pojma "transcendentalno", a maksimalno - podsjetiti se na njegovu ulogu u djelima Kanta i drugih filozofa.

Ovaj koncept dolazi od latinskog transcendens - "prevazilaženje", "superiorno", "idi dalje". Općenito, označava nešto što je u osnovi nedostupno empirijskom znanju ili nije zasnovano na iskustvu. Preduvjeti za pojam nastali su u filozofiji neoplatonizma - osnivač pravca Plotin je stvorio doktrinu o Jednom - svedobrom porijeklu, koje se ne može spoznati ni naporom misli ni uz pomoć osjetilnog iskustva. „Jedno nije biće, već njegov roditelj“, objašnjava filozof.

Termin “transcendentalno” najpotpunije je otkriven u filozofiji Imanuela Kanta, gdje se koristio za karakterizaciju onih koji postoje neovisno o svijesti i djeluju na naša osjetila, dok su ostali fundamentalno nespoznatljivi, kako u praksi, tako i u teoriji. Suprotnost transcendencije je -: to znači ili neotuđivost, unutrašnju povezanost neke kvalitete objekta sa samim objektom, ili spoznatljivost objekta na lično iskustvo. Na primjer, ako pretpostavimo da je Univerzum stvoren prema nekom višem planu, sam plan je za nas transcendentan - možemo samo pretpostaviti o tome. Ali ako ovaj dizajn zaista postoji, njegove posljedice su nam imanentne i manifestiraju se fizički zakoni i okolnosti u kojima se nalazimo. Prema tome, u nekim teološkim konceptima, Bog je transcendentan i izvan je bića koje je stvorio.

Neke stvari-po sebi su još uvijek dostupne apriornom znanju: na primjer, prostor i vrijeme, ideje Boga, dobrota i ljepota, logičke kategorije. Odnosno, transcendentalni objekti su, figurativno rečeno, "prethodno postavljeni" u našem umu

Koncept transcendencije postoji iu matematici: transcendentalni broj je broj koji se ne može izračunati pomoću algebre ili algebarski izraziti (to jest, ne može biti korijen polinoma s cijelim koeficijentima koji nije identičan nuli). To uključuje, na primjer, brojeve π i e.

Koncept blizak "transcendentnom", ali drugačiji po značenju - "transcendentalni". U početku je jednostavno označavao područje apstraktnih mentalnih kategorija, a kasnije ga je Kant razvio, upao u vlastitu zamku: pokazalo se da je nemoguće izgraditi filozofski sistem samo na empirijskim podacima, a on nije prepoznao nikakve druge izvore. iskustva osim empirizma. Da bi izašao, filozof je morao priznati da su neke stvari-po sebi još uvijek dostupne apriornom znanju: na primjer, prostor i vrijeme, ideje Boga, dobrota i ljepota, logičke kategorije. Odnosno, transcendentalni objekti su, figurativno rečeno, "prethodno postavljeni" u našem umu - dok informacije o njima postoje same po sebi i ne slijede iz našeg iskustva.

Postoji još jedan srodni koncept - transcendencija. U širem smislu riječi, to znači prijelaz granice između dva heterogena područja, posebno prijelaz iz sfere ovoga svijeta u sferu onoga svijeta, transcendentnog. Radi jednostavnosti, uzmimo primjer iz naučne fantastike: paralelni svijet za običnog čovjeka je transcendentalni fenomen. Ali kada junak uđe u ovaj paralelni svijet ili je nekako u stanju da ga percipira, to je transcendencija. Ili više složen primjer iz egzistencijalne filozofije: Jean-Paul Sartre je vjerovao da je čovjek transcendentan jer nadilazi svako moguće vlastito iskustvo: možemo proučavati sebe i svijet sa različitih strana, ali nikada se nećemo ni približiti potpunom upoznavanju sebe. Ali u isto vrijeme, osoba ima sposobnost transcendiranja: on nadilazi bilo koju stvar, dajući joj neko značenje. Transcendencija je također važan element u religiji: ona pomaže osobi da se oslobodi svoje materijalne prirode i dotakne nešto izvan.

Iz filozofije je koncept transcendentalnosti prešao u psihologiju: švicarski psiholog Carl Jung uveo je koncept "transcendentalne funkcije" - to je funkcija koja spaja svjesno i nesvjesno. Posebno, psihoanalitičar može obavljati transcendentalnu funkciju - pomaže pacijentu da analizira slike nesvjesnog (na primjer, snove) i poveže ih zajedno sa svjesnim procesima u njegovoj psihi.

Kako da kažem

Netačno "Prijavio sam se na čas transcendentalne meditacije." Tako je - "transcendentalno".

Desno "Kada uđem u hram, doživljavam osećaj stapanja sa nečim transcendentalnim."

Tako je, "Umjetnost nadilazi predmete koji su nam poznati iz materijalnog svijeta, ispunjavajući ih višim značenjem."