algebra

Geometrijska i algebarska interpretacija presjeka stošca i valjka ravninom

Mandi Orlić Bachler, Mirela Katić Žlepalo i Ivan Derežić
Tehničko veleučilište u Zagrebu, Graditeljski odjel, 10000 Zagreb, Av. V. Holjevca 15, Hrvatska
mandi.orlic@tvz.hr i mkatic@tvz.hr
 
Sažetak
Na Preddiplomskom stručnom studiju graditeljstva i Politehničkom diplomskom specijalističkom stručnom studiju graditeljstva Tehničkog veleučilišta u Zagrebu izvodi se nastava iz nekoliko matematičkih predmeta (Matematika 1 i 2, Matematika, Nacrtna geometrija u graditeljstvu 1 i 2), kao i iz predmeta usko povezanih s njima (Računarstvo u graditeljstvu, Parametarsko modeliranje 1 i 2). Mnoge teme iz nastavnog plana i programa tih predmeta su iste, međutim pristup i način njihove obrade je drukčiji (algebarski, geometrijski, primjenom računalnih programa, itd.). U članku su prikazani različiti pristupi obradi teme presjeka stošca i valjka ravninom, a koji se primjenjuju u sklopu nastave navedenih predmeta. Dani su prijedlozi za moguću bolju realizaciju ishoda učenja navedenih predmeta njihovim adekvatnijim međusobnim povezivanjem.


Ključni pojmovi: stožac, valjak, ravnina, prostor, presjek, krivulje 2. reda

1Uvod

Na Preddiplomskom stručnom studiju graditeljstva i Politehničkom diplomskom specijalističkom stručnom studiju graditeljstva Tehničkog veleučilišta u Zagrebu izvodi se nastava iz pet matematičkih predmeta: Matematika 1 (u prvom semestru), Matematika 2 (u drugom semestru), Nacrtna geometrija u graditeljstvu 1 (u prvom semestru) i Nacrtna geometrija u graditeljstvu 2 (u drugom semestru) na preddiplomskom te Matematika (u prvom semestru) na diplomskom specijalističkom studiju. Predmeti koji su po svom sadržaju povezani s ovim matematičkim predmetima su Računarstvo u graditeljstvu, koji se izvodi na stručnom preddiplomskom studiju u prvom semestru, te predmeti Parametarsko modeliranje 1 i 2 koji se izvode na specijalističkom diplomskom studiju u trećem, odnosno četvrtom semestru.

Mnoge teme iz nastavnog plana i programa navedenih predmeta su bliske i povezane, a mnoge i iste, međutim pristup i način njihove obrade je drukčiji (analitički, geometrijski, primjenom računalnih programa, itd.).

Dosadašnje iskustvo je pokazalo da studenti često ne prepoznaju da su teme obrađene na navedenim predmetima iste, ali s drukčijim pristupom. Tako na primjer u sklopu predmeta Nacrtna geometrija u graditeljstvu 1, u četvrtom tjednu nastave, studenti slušaju temu probodište pravca i ravnine. S istim problemom susreću se nešto kasnije, u sedmom tjednu nastave, na predmetu Matematika 1, kada algebarskim pristupom izračunavaju koordinate točke dobivene kao presjek pravca i ravnine u prostoru. Nerijetko, kad ih upitamo jesu li još negdje obradili takav problem i s kojeg aspekta, mnogi studenti nemaju odgovor. Oni koji se tad i prisjete da su to obradili na predmetu Nacrtna geometrija u graditeljstvu, često kažu da to ne bi primijetili da ih nismo pitali.

Isto tako, pojam ploha proteže se kroz sve nastavne programe navedenih predmeta. O rotacijskom stošcu (i valjku), ravninama u prostoru i njihovom međusobnom odnosu studenti slušaju na nekoliko kolegija. Pojam ravnine u prostoru prvo se obrađuje u sklopu programa predmeta Nacrtna geometrija u graditeljstvu 1 i Matematika 1. Algebarske plohe 2. reda, odnosno rotacijski stožac, obrađuju se prvo na predmetu Nacrtna geometrija u graditeljstvu 1, a potom i na predmetu Nacrtna geometrija u graditeljstvu 2, dok se s pojmom rotacijskog tijela paralelno susreću na predmetu Matematika 2, kod primjene određenog integrala. Na diplomskom specijalističkom studiju o plohama 2. reda slušaju na predmetu Matematika kao funkcijama više varijabli, te posljednji put na predmetima Parametarsko modeliranje 1 i 2, gdje izrađuju složene parametarske 3D modele primjenom programa Rhinoceros 3D i Grasshopper1, čiji su oblici, između ostalog, dobiveni kao presjek ploha 2. reda ravninom. Primjeri 3D modela izrađenih primjenom navedenih programa prikazani su na slici 1.

Slika 1: 3D modeli izrađeni primjenom programa Rhinoceros 3D i Grasshopper. Modeli su isprintani 3D printerom.


U sljedećim poglavljima prikazat ćemo kako se presjek stošca i valjka ravninom obrađuje s geometrijskog i algebarskog aspekta u sklopu nastavnih programa prethodno navedenih predmeta.

2Presjek stošca ravninom

Na predmetima nacrtne geometrije općenita stožasta ploha se definira kao algebarska pravčasta ploha dobivena gibanjem pravca (izvodnice) po nekoj ravninskoj krivulji (ravnalici) pri čemu jedna njegova točka miruje. Rotacijski stožac dobiva se ukoliko je ravnalica kružnica. Presjek plohe ravninom je skup svih zajedničkih točaka te plohe i presječne ravnine. Ako je ploha algebarska, njezin presjek ravninom je algebarska ravninska krivulja reda jednakog redu plohe. Iz toga slijedi da je presjek rotacijskog stošca, kao plohe 2. reda, ravninom ravninska krivulja 2. reda, koja može biti [3]:

\bullet neraspadnuta ili nedegenerirana (kružnica, elipsa, parabola, hiperbola);
\bullet raspadnuta ili degenerirana (krivulja 2. reda se raspala na dva pravca, jedan dvostruki pravac ili par konjugirano-imaginarnih pravaca koji se realno sijeku u točki).

Osim vrsta presječnih krivulja stošca, važno je da studenti nauče i kako treba postaviti presječnu ravninu da bi presjek bila točno određena krivulja. Kao presjek stošca ravninom dobivamo:

\bullet kružnicu ako je ravnina presjeka paralelna s osnovicom stošca;
\bullet elipsu ako ravnina presjeka siječe sve izvodnice stošca i nije paralelna s osnovicom stošca;
\bullet parabolu ako je ravnina presjeka paralelna s jednom izvodnicom stošca;
\bullet hiperbolu ako je ravnina presjeka paralelna s dvije izvodnice stošca.

Raspadnuti presjek stošca dobiva se ako ravnina presjeka prolazi vrhom stošca. Krivulja 2. reda se u tom slučaju raspadne na:

\bullet dvije realne i različite izvodnice stošca ili;
\bullet jednu dvostruku izvodnicu stošca (u slučaju tangencijalne ravnine) ili;
\bullet dvije konjugirano-imaginarne izvodnice stošca koje imaju realan presjek u vrhu stošca.

U sklopu predmeta Nacrtna geometrija u graditeljstvu 2 presjek stošca se crta kao zadatak za samostalni rad studenta (tzv. program) u Mongeovoj metodi (tlocrt, nacrt, bokocrt), kao i u metodi kose aksonometrije. Pri tome se koriste:

\bullet metoda pomoćnih kružnih presjeka kod Mongeove metode i
\bullet metoda izvodnica kod metode kose aksonometrije.

U slučaju da je presječna krivulja stošca elipsa, studente upućujemo da konstruiraju veliku i malu os presječne elipse ili par njezinih konjugiranih promjera. Presječne parabole i hiperbole konstruiraju se na taj način da se odredi dovoljan broj njihovih točaka [3]. U programima studenti obično crtaju presjeke s dvije ili tri presječne ravnine, dok se na kolokviju zbog ograničenog vremena zadaju zadaci s jednom presječnom ravninom. Pri tome se položaj stošca varira na taj način da mu je osnovica ili u tlocrtnoj ili u nacrtnoj ili u bokocrtnoj ravnini. Studenti mogu program predati nacrtan olovkom, a oni koji žele bolju ocjenu, program trebaju istuširati ili nacrtati u AutoCAD-u. Primjer programa iz AutoCAD-a prikazan je na slikama 2. i 3.

Slika 2: Mongeova projekcija (tlocrt, nacrt, bokocrt) presjeka stošca s tri ravnine - dobiveni presjeci su: elipsa, parabola i par izvodnica.
Slika 3: Presjek stošca u kosoj aksonometriji - tri presječne ravnine su analogne kao na prethodnoj slici kod Mongeove projekcije.

Studenti se nerijetko žale da ne mogu zamisliti kako presječeni stožac stvarno izgleda. S ciljem što bolje vizualizacije presječenih stožaca, u akademskoj godini 2017/18. su pripremljeni modeli različitih presjeka stožaca koristeći 3D printer (slika 4.).

Slika 4: Različiti 3D modeli presjeka stošca kao pomoć za vizualizaciju presjeka.

Na predmetu Matematika plohe 2. reda obrađuju se u sklopu gradiva funkcije više varijabli, a s određivanjem presjeka stošca ravninom studenti se susreću pri primjeni višestrukog integrala. S tog aspekta problem promatramo na sljedeći način.

Općenito, algebarska ploha n-toga reda je skup točaka euklidskog prostora čije koordinate (x,y,z) zadovoljavaju neku algebarsku jednadžbu F^{n}\left(x,y,z\right)=0, gdje je F^{n} polinom n-tog stupnja.
Algebarska ploha 1. reda je ravnina u prostoru i opći oblik njene jednadžbe dan je izrazom

Ax+By+Cz+D=0\,,

pri čemu je barem jedan od koeficijenata A, B, C različit od nule (odnosno A^{2}+B^{2}+C^{2}\gt 0).
Algebarska ploha 2. reda ili kvadrika je skup svih točaka euklidskog prostora koje zadovoljavaju jednadžbu 2. reda:

(1)
Ax^{2}+By^{2}+Cz^{2}+Dyz+Ezx+Fxy+Gx+Hy+Iz+K = 0\,,

pri čemu je barem jedan od koeficijenata A, B, C, D, E, F različit od nule, odnosno, u izrazu postoji barem jedan netrivijalni nelinearni član.
Osnovni tipovi algebarskih ploha 2. reda su elipsoid, jednoplošni hiperboloid, dvoplošni eliptički hiperboloid, eliptički paraboloid, hiperbolički paraboloid, konus 2. reda (eliptički i kružni stožac) i cilindar 2. reda (eliptički, hiperbolički i parabolički cilindar).

Kanonska jednadžba eliptičkog stošca dana je izrazom

(2)
\frac{x^{2}}{A^{2}}+\frac{y^{2}}{B^{2}}-\frac{z^{2}}{C^{2}}=0\,,

gdje su A, B, C\neq 0, (ako je A=B radi se o kružnom stošcu). Odgovarajućim cikličkim izmjenama dobivamo još dvije jednadžbe iste plohe u različitim položajima.
Presjek plohe (2) ravninama:

(1) z=P, gdje je P \in \mathbb{R} \setminus \left\lbrace 0\right\rbrace, su elipse:
\frac{x^{2}}{\frac{A^{2} P^{2}}{C^{2}}}+\frac{y^{2}}{\frac{B^{2} P^{2}}{C^{2}}}=1\,.
Ako je A=B presjek je kružnica. Ako je z=0 presjek je točka.
(2) x=P, gdje je P \in \mathbb{R}\setminus \left\lbrace 0\right\rbrace, su hiperbole:
\frac{z^{2}}{\frac{C^{2}R^{2}}{A^{2}}}-\frac{y^{2}}{\frac{B^{2}R^{2}}{A^{2}}}=1\,.
Ako je x=0 presjek je par ukrštenih pravaca: z=\pm \frac{C}{A}x.
 
(3) y=P, gdje je P \in \mathbb{R} \setminus \left\lbrace 0\right\rbrace, su hiperbole:
\frac{z^{2}}{\frac{C^{2} P^{2}}{B^{2}}}-\frac{x^{2}}{\frac{A^{2} P^{2}}{B^{2}}}=1\,.
Ako je y=0 presjek je par ukrštenih pravaca: z=\pm \frac{C}{B}y.
(4) z=Mx+Ny+P, gdje su M, N, P \in \mathbb{R} \setminus \left\lbrace 0\right\rbrace, su ravninske krivulje 2. reda oblika:
(3)
x^{2} \left(\frac{1}{A^{2}}-\frac{M^{2}}{C^{2}}\right)+y^{2} \left(\frac{1}{B^{2}}-\frac{N^{2}}{C^{2}}\right)-\frac{ 2 N M}{C^{2}}x y-\frac{ 2 N P}{C^{2}}y-\frac{2 M P}{C^{2}}x-\frac{P^{2}}{C^{2}}=0.
Ovako dobivenu krivulju nije lako identificirati, kao što je to bilo u prethodna tri slučaja. Identifikacija te krivulje radi se određivanjem njenih invarijanti:
(4)
\begin{aligned} T&=\frac{1}{A^{2}}-\frac{M^{2}}{C^{2}}+\frac{1}{B^{2}}-\frac{N^{2}}{C^{2}}\\ S&=\frac{L^{2} \left(A^{2}+B^{2}\right)}{A^{2} B^{2} C^{2}}\\ \delta&=\frac{1}{A^{2} B^{2}}-\frac{N^{2}}{A^{2} C^{2}}-\frac{M^{2}}{B^{2} C^{2}} \\ \Delta&=-\frac{P^{2}}{A^{2} B^{2} C^{2}} \end{aligned}
Naime, općenito vrijedi da se svaka ravninska krivulja 2. reda dana izrazom
(5)
ax^{2} + 2bxy + cy^{2} + 2dx + 2ey + f = 0\,,
gdje su a, b, c, d, e, f \in \mathbb{R} i bar jedan od koeficijenata a, b, c nije 0, translacijom i rotacijom koordinatnog sustava za neki kut \varphi, može transformirati u jedan od sljedećih oblika:
(a) Ako je \delta\gt 0 i
(i) \Delta\neq 0 i \Delta \cdot T \lt 0, jednadžba (5) predstavlja elipsu,
(ii) \Delta\neq 0 i \Delta \cdot T \gt 0, jednadžba (5) nema realnog rješenja (prazan skup),
(iii) \Delta = 0, jednadžba (5) predstavlja točku.
(b) Ako je \delta\lt 0 i
(i) \Delta\neq 0 jednadžba 5 predstavlja hiperbolu,
(ii) \Delta=0 jednadžba 5 predstavlja par ukrštenih pravaca.

 
(c) Ako je \delta \neq 0 i
(i) \Delta\neq 0, jednadžba (5) predstavlja parabolu,
(ii) \Delta = 0 i S\gt 0 jednadžba (5) predstavlja dva paralelna pravca,
(iii) \Delta = 0 i S=0 jednadžba (5) predstavlja jedan (dvostruki) pravac,
(iv) \Delta = 0 i S\lt 0 jednadžba (5) nema realnog rješenja (prazan skup).
pri čemu su invarijante \delta, \Delta i S i poluinvarijanta T jednake:
(6)
T=a+c\,,\,\, S=d^{2}+e^{2}-(a+c)f \,,\,\, \delta=\left|\begin{array}{ccc} a & b \\ b & c \\ \end{array}\right| \,\, \text{i} \,\, \Delta=\left|\begin{array}{ccc} a & b & d \\ b & c & e \\ d & e & f \end{array}\right|.

Invarijante \delta, \Delta i S ne mijenjaju se pri rotaciji i translaciji koordinatnog sustava, dok se poluinvarijanta T ne mijenja pri rotaciji, ali se mijenja pri translaciji.

Dokaze prethodnih tvrdnji ovdje nećemo iznositi, oni se mogu pronaći u [4].


Sljedeća dva zadatka primjeri su zadataka koji se rješavaju na predmetu Matematika, a u kojima se studenti susreću s presjekom stošca i ravnine.

Zadatak 1. Odrediti nivo-krivulje funkcija z=\sqrt{x^{2}-4y^{2}} i z=-\sqrt{x^{2}-4y^{2}}.

Rješenje:

Nivo-krivulje funkcija z=\sqrt{x^{2}-4y^{2}} i z=\sqrt{x^{2}-4y^{2}} dobivene su kao presjek zadanih ploha i ravnine z=c, za c=0,1,2,3,4. Za c=0 nivo-krivulje su pravci y=\pm \frac{1}{2}x, a za c\in \mathbb{R} \setminus \left\lbrace 0\right\rbrace hiperbole \frac{x^{2}}{c^{2}}-\frac{y^{2}}{\frac{c^{2}}{4}}=1. Rješenje zadatka prikazano je na slici 5.

Slika 5: Nivo-krivulje funkcija z=\sqrt{x^{2}-4y^{2}} i z=\sqrt{x^{2}-4y^{2}}.

Zadatak 2. Odrediti težište tijela koje zauzima područje omeđeno plohom z=6-\sqrt{x^{2}+y^{2}} i ravninom z=3 te ima gustoću mase \rho(x,y)=1-x^{2}-y^{2}.

Rješenje:

Presjek stožaste plohe z=6-\sqrt{x^{2}+y^{2}} i ravnine z=3 je kružnica x^{2}+y^{2}=9. S obzirom da se iz dobivenog izraza odmah iščitava jednadžba kružnice, ovdje nije potrebno promatrati invarijante dobivenog izraza. Zgodno je primijetiti da se težište nalazi na osi z, pa je stoga dovoljno računati samo njegovu aplikatu. Koordinate težišta računaju se kao omjer statičkog momenta i mase promatranog tijela. U ovom slučaju koordinate se računaju primjenom trostrukog integrala i prelaskom na cilindrični koordinatni sustav. Područje integracije je:

\Omega=\left\lbrace (\varphi,r,z): 0\leq \varphi \leq 2\pi,\,\, 0\leq r \leq 3,\,\, 3\leq z\leq 6-r \right\rbrace \,.

Aplikata težišta iznosi:

z_{s}=\frac{\int\int\int_{\Omega}{z r (1-r^{2}) \varphi\, r \, z}}{\int\int\int_{\Omega}{r (1-r^{2}) \varphi\, r \, z}}=\frac{57}{17}.
Težište tijela omeđenog stošcem i ravninom nalazi se na z osi i njegove koordinate su \left(0,0,\frac{57}{17}\right).
Slika 6: Na grafu je prikazan presjek stošca z=6-\sqrt{x^{2}+y^{2}} i ravnine z=3. Težište tijela omeđenog stošcem i ravninom nalazi se na z osi i njegove koordinate su \left(0,0,\frac{57}{17}\right).


U ovakvim zadacima pripadne slike i račune studenti rade ručno te u programu Maxima. Osnove rada u programima Maxima i AutoCAD-a2 studenti uče na predmetu Računarstvo u graditeljstvu. Primjenom programa Maxima napravljene su slika 5. i slika 6. te slika 7. koja se nalazi u poglavlju 3. Slika 2. i slika 3. izrađene su u programu AutoCAD.

3Presjek valjka ravninom



Na predmetima Nacrtna geometrija u graditeljstvu 1 i 2 valjkasta ploha definira se kao algebarska pravčasta ploha dobivena gibanjem nekog pravca (izvodnice) po nekoj ravninskoj krivulji (ravnalici) pri čemu beskonačno daleka točka tog pravca miruje, odnosno pravac pri tom gibanju ostaje sam sebi paralelan. Rotacijski valjak dobivamo ako je ravnalica kružnica.
Presjek rotacijskog valjka ravninom može biti:

(1) neraspadnuta ili nedegenerirana konika ako presječna ravnina nije paralelna s osi valjka. U ovom slučaju presjek valjka je elipsa, osim ako je presječna ravnina paralelna s osnovicom valjka jer je tada presjek kružnica.
(2) raspadnuta ili degenerirana konika ako je presječna ravnina paralelna s osi valjka. Presjek je
\bullet par realnih i različitih izvodnica;
\bullet jedna realna dvostruka izvodnica ili
\bullet par konjugirano-imaginarnih izvodnica s realnim sjecištem u beskonačnosti.

S algebarskog aspekta na predmetu Matematika razlikujemo sljedeće tipove valjka:

\bullet eliptički valjak
(7)
\frac{x^{2}}{A^{2}} + \frac{y^{2}}{B^{2}}=1,
kojem je trag elipsa u xy ravnini, a izvodnica paralelna s osi z. Specijalno u slučaju kada je A = B riječ je o kružnom valjku.
\bullet hiperbolički valjak
(8)
\frac{x^{2}}{A^{2}} - \frac{y^{2}}{B^{2}}=1,
kojem je trag hiperbola u xy ravnini, a izvodnica paralelna s osi z.
\bullet parabolički valjak
(9)
y^{2}=2px,
kojem je trag parabola u xy ravnini, a izvodnica paralelna s osi z.

U jednadžbama (7),(8) i (9) radi se o valjcima čije su izvodnice paralelne s osi z, a trag se nalazi u xy ravnini. Stoga, u tom slučaju kažemo da funkcija F(x,y)=0 predočuje geometrijsku plohu valjka. Međutim, ako je izvodnica valjka paralelna s osi x funkcija je tipa F(y,z)=0, a trag je u ravnini yz, odnosno ako je izvodnica valjka paralelna s osi y funkcija je tipa F(x,z)=0, a trag je u ravnini xz.

Daljne razmatranje presjeka plohe valjka ravninama odnosi se na funkciju F(x, y) =0, međutim analogni zaključci mogu se izvesti i za preostala dva tipa funkcije F.
Kako izraz funkcije F(x, y) =0 ne ovisi o z, presjek plohe valjka ravninama z=P, P \in \mathbb{R} uvijek je ista krivulja F(x, y) =0. Naime, svaka ravnina koja nije paralelna s izvodnicama valjka siječe valjak po elipsi ako je valjak eliptički, hiperboli ako je hiperbolički i paraboli ako je parabolički.
Promatramo li eliptički valjak (7), njegov presjek s ravninama x=Mz+Ny+P, pri čemu je barem jedan od koeficijenata M i N različit od nule, daje krivulju čija je jednadžba:

(10)
y^{2} \left(\frac{N^{2}}{A^{2}}+\frac{1}{B^{2}}\right)+\frac{2 N M y z}{A^{2}}+\frac{2 N P y}{A^{2}}+\frac{M^{2} z^{2}}{A^{2}}+\frac{2 M P z}{A^{2}}+\frac{P^{2}}{A^{2}}-1=0.

Vrijednosti invarijanti krivulje (10) su:

T=\frac{N^{2}}{A^{2}}+\frac{M^{2}}{A^{2}}+\frac{1}{B^{2}},\quad \delta=\frac{M^{2}}{A^{2} B^{2}},\quad \Delta=-\frac{M^{2}}{A^{2} B^{2}}.

Kako je \delta \gt 0 i \Delta\, T \lt 0, za svaki A, B, M, N \in \mathbb{R}\setminus \left\lbrace 0\right\rbrace jednadžba (10) predstavlja elipsu. Na isti način mogu se dokazati analogne tvrdnje za parabolički i hiperbolički valjak.

Sljedeći zadatak rješava se u sklopu nastave predmeta Matematika.

Zadatak 3. Odrediti težište homogenog tijela
\Omega=\left\lbrace (x,y,z) \in \mathbb{R}^{3} : y^{2}\leq x \leq 1,\,\, -1\leq y \leq 1,\,\, 0\leq z\leq x \right\rbrace \,.

Rješenje:

Koordinate težišta su:

x=\frac{\int\int\int_{\Omega}{x\, y\, x\, z}}{\int\int\int_{\Omega}{ y\, x\, z}}=\frac{7}{9},
y=\frac{\int\int\int_{\Omega}{y\, y\, x\, z}}{\int\int\int_{\Omega}{ y\, x\, z}}=\frac{2}{9},
z=\frac{\int\int\int_{\Omega}{z\, y\, x\, z}}{\int\int\int_{\Omega}{ y\, x\, z}}=\frac{35}{81}.

Rješenje zadatka prikazano je na slici 7.

Slika 7: Tijelo \Omega=\left\lbrace (x,y,z) \in \mathbb{R}^{3} : y^{2}\leq x \leq 1,\,\, -1\leq y \leq 1,\,\, 0\leq z\leq x \right\rbrace.


U području građevine stožaste i valjkaste plohe imaju široku primjenu i to još od davnina. Primjeri građevina koje imaju stožast ili valjkast oblik prikazani su na slici 8.

Slika 8: Coop's Shot Tower (Melbourne) i Chengdu (Kina) primjeri su građevina čije su kupole stošci. Green Lighthouse i Planetarium (Copenhagen) primjeri su građevina čiji je oblik eliptički valjak (slike su preuzete sa www.dreamstime.com).

4Zaključak

Poznato je kako je tendencija našeg obrazovnog sustava, već od osnovnoškolske razine, da se odbaci tradicionalni pristup u kojem se zagovara zatvorenost pojedinog nastavnog predmeta (područja) te da se na svim područjima teži međupredmetnoj povezanosti i interdisciplinarnosti. S ciljem što kvalitetnije realizacije ishoda učenja, ali i kako bi studenti što lakše usvojili potrebna znanja i vještine, uvijek nastojimo povezati gradivo, kako u okviru naših matematičkih predmeta, koje izvodimo na studijima graditeljstva, tako i sa strukovnim predmetima. Međutim, dosadašnje iskustvo pokazalo je da na povezanosti među predmetima i područjima još treba raditi.

Ponekad je zbog ograničenosti i nedostatka vremena, teško u sklopu nastave riješiti dovoljno zadataka kojim bi se ukazalo na povezanost obrađenog gradiva i drugih predmeta. Praksa je da se kroz domaće zadaće i seminarske radove, potakne studente na samostalni rad kojim bi povezali različite pristupe i metode u obradi određene matematičke teme, ali isto tako da samostalno pronađu odgovarajuće primjere primjene tog gradiva u području graditeljstva. Na primjer, tako smo ove akademske godine u sklopu predmeta Matematika 2, studentima koji su na prvom kolokviju ostvarili više od 85% mogućih bodova, ponudili seminarske radove u zamjenu za drugi kolokvij. Teme seminarskih radova odnose se na gradivo numeričkih metoda, a zadatak studenata je da pored opisa metode i rješavanja zadataka uz pomoć računalnog programa Maxima, daju primjer primjene zadane metode u području graditeljstva.

Već od samog početka studija studente pokušavamo zainteresirati za matematiku i nacrtnu geometriju i najvažnije njihovu primjenu, ne samo kroz nastavu već i kroz vannastavne aktivnosti. Studente koji već nakon prvog semestra ostvare bolje rezultate na završnom ispitu, potičemo da se uključe u pisanje stručnih radova, kao što je na primjer ovaj. U veljači se, drugu godinu zaredom, održava međunarodna radionica "Parametarsko modeliranje", koja je namijenjena svim studentima bez obzira na njihovo predznanje iz matematike i nacrtne geometrije. Na radionici se studenti na aktivan način upoznaju s mogućnostima primjene nacrtne geometrije u modernoj arhitekturi. Sam cilj radionice je studente naučiti osnove 3D i parametarskog modeliranja u programima Rhinoceros 3D i Grasshopper. Studenti samostalno osmišljavaju vlastiti projekt, programiraju zamišljeni model, te ga pripremaju za lasersko rezanje i sastavljanje makete.

Iako na većini naših visokoškolskih institucija i veleučilišta studenti završni (diplomski) rad mogu pisati u (ko)mentorstvu s nastavnikom iz područja matematike, pa tako i s temom iz tog ili srodnog područja, to trenutno nije moguće niti na jednom studiju graditeljstva koji se izvode na Tehničkom veleučilištu u Zagrebu. Nadamo se da će se to u skoroj budućnosti promijeniti, jer vjerujemo da bi upravo na taj način, a u suradnji s kolegama iz područja graditeljstva, ojačali našu međupredmetnu povezanost.

Bibliografija
[1] https://www.grasshopper3d.com/
[2] https://www.rhino3d.com/
[3] I. Babić, S. Gorjanc, A. Sliepčević, V. Szirovicza: Nacrtna geometrija-zadaci, HDGG, Zagreb, 2011.
 
[4] Ž. Milin Šipuš, M. Bombardelli: Analitička geometrija, skripta, Zagreb, 2016.
Dostupno na: https://web.math.pmf.unizg.hr/nastava/ag/dodatni/predavanja.pdf
[5] https://wxmaxima-developers.github.io/wxmaxima/index.html 
[6] https://www.autodesk.com/education/free-software/autocad
 


 

O superalgebrama

Ajda Fošner
University of Primorska
Faculty of Management
Cankarjeva 5
SI-6104 Koper
Slovenia
ajda.fosner@fm-kp.si
Maja Fošner
University of Maribor
Faculty of Logistics
Mariborska cesta 2
SI-3000 Celje
Slovenia
maja.fosner@uni-mb.si




Sažetak
U članku uvodimo definiciju asocijativne superalgebre, osnovna svojstva, te dajemo neke primjere.

1Uvod

U posljednjih nekoliko desetljeća, jedna od najplodonosnijih tema iz algebre jest nedavno razvijena teorija graduiranih algebri, te takozvanih superalgebri. U [12], Kac tvrdi da se interes za područje superalgebri pojavio u fizici, u teoriji “supersimetrije”. Mnogo rezultata o superalgebrama i graduiranim algebrama napisali su Martinez, Zelmanov, Wall, Shestakov i drugi (za primjer vidi [7, 8, 9, 11, 12, 13, 14, 15]). Osnovni cilj ovog rada je uvesti definiciju asocijativne superalgebre, dati ponešto primjera i prezentirati osnovna svojstva.

Pod algebrom ćemo podrazumijevati asocijativnu algebru nad poljem \Phi. Smatramo da su definicije algebre, modula i ideala poznate. Međutim, napisat ćemo neke definicije i objasniti neka osnovna svojstva algebri. Algebra \mathcal{A} je jednostavna, ako je {\mathcal{A}}^{2}\ne 0 i ako su 0 i \mathcal{A} jedini ideali u \mathcal{A}. Kažemo da je algebra \mathcal{A} prosta ako za nju vrijedi da je produkt bilo kojih dvaju ne-nul ideala opet ne-nul ideal. To je ekvivalentno sljedećoj implikaciji: Ako je a \mathcal{A} b =0 za neke a,b\in \mathcal{A}, slijedi da je a=0 ili b=0. Primjer proste algebre je M_{n}(\mathbb{C}), tj. algebra svih n \times n kompleksnih matrica. Kažemo da je algebra poluprosta ako nema ne-nul nilpotentnih ideala (ideal \mathcal{I} u algebri \mathcal{A} je nilpotentan, ako je {\mathcal{I}}^{n}=0 za neki n\in \mathbb{N}). To je ekvivalentno svojstvu: ako je a \mathcal{A} a=0 za neki a\in \mathcal{A}, tada je a=0. Svaka prosta algebra je i poluprosta. Obrat, međutim, općenito ne vrijedi. Posebno, ako je \mathcal{A} \neq 0 prosta algebra, tada je \mathcal{A} \times \mathcal{A} poluprosta algebra koja nije prosta.

2Superalgebre

Dragi čitatelji, u ovom poglavlju pozivamo vas u svijet superalgebri. Uvest ćemo neke osnovne definicije te prikazati neke primjere asocijativnih super\-algebri.

Superalgebra je {\mathbb{Z}}_{2}-graduirana algebra. To znači da postoje \Phi-podmoduli \mathcal{A}_{0} i \mathcal{A}_{1} od \mathcal{A} takvi da vrijedi: \mathcal{A}=\mathcal{A}_{0} \oplus \mathcal{A}_{1}, \mathcal{A}_{0} \mathcal{A}_{0}\subseteq \mathcal{A}_{0} (što znači da je \mathcal{A}_{0} podalgebra \mathcal{A}), \mathcal{A}_{0} \mathcal{A}_{1} \subseteq \mathcal{A}_{1}, \mathcal{A}_{1} \mathcal{A}_{0} \subseteq \mathcal{A}_{1} i \mathcal{A}_{1} \mathcal{A}_{1} \subseteq \mathcal{A}_{0}. Kažemo da je \mathcal{A}_{0} parni dio, a \mathcal{A}_{1} neparni dio od \mathcal{A}.

Asocijativna superalgebra \mathcal{A} je asocijativna \mathbb{Z}_{2}-graduirana algebra. Kažemo da je \mathcal{A} trivijalna superalgebra ako je \mathcal{A}_{1}=0. Za a \in \mathcal{A}_{k} (gdje je k \in \lbrace 0,1\rbrace) kažemo da je homogen stupnjak} i pišemo |a|=k.

Graduiran\Phi-podmodul} \mathcal{B} asocijativne superalgebre \mathcal{A} je podmodul algebre \mathcal{A} za koji vrijedi
\mathcal{B} = \mathcal{B} \cap \mathcal{A}_{0} \oplus \mathcal{B} \cap \mathcal{A}_{1}.
U tom slučaju pišemo \mathcal{B}_{0} = \mathcal{B} \cap \mathcal{A}_{0} i B_{1} = \mathcal{B} \cap \mathcal{A}_{1}, što znači \mathcal{B} = \mathcal{B}_{0} \oplus \mathcal{B}_{1}. Ako je \mathcal{B} graduirana podalgebra od \mathcal{A}, tada je \mathcal{B} i asocijativna superalgebra.

Graduiran ideal (ili superideal) \mathcal{I} superalgebre \mathcal{A} je ideal od \mathcal{A} koji je i graduiran \Phi-podmodul, tj. \mathcal{I} = \mathcal{I} \cap \mathcal{A}_{0} \oplus \mathcal{I} \cap \mathcal{A}_{1}, ili \mathcal{I} = \mathcal{I}_{0} \oplus \mathcal{I}_{1}.

Napišimo ponešto o graduiranosti. Prirodno se postavlja pitanje kako opisati \mathbb{Z}_{2}-graduiranost. Za danu asocijativnu superalgebru \mathcal{A} = \mathcal{A}_{0} \oplus \mathcal{A}_{1} definirajmo funkciju \sigma ~ : ~ \mathcal{A} \to \mathcal{A} sa (a_{0}+a_{1})^{\sigma} = a_{0} - a_{1}, te primijetimo da je tako definirana funkcija \sigma zapravo automorfizam od \mathcal{A} za koji vrijedi \sigma^{2} = \text{id}. Obratno, za danu algebru \mathcal{A} i automorfizam \sigma od \mathcal{A} sa svojstvom \sigma^{2} = \text{id}, \mathcal{A} postaje superalgebra definiranjem \mathcal{A}_{0} = \lbrace a \in \mathcal{A} \ | \ \sigma (a) = a\rbrace i {\mathcal{A}}_{1} = \lbrace a \in \mathcal{A} \ | \ \sigma (a) = -a\rbrace (doista, bilo koji element a \in \mathcal{A} može se prikazati kao a= \frac{a + a^{\sigma}}{2} + \frac{a - a^{\sigma}}{2}, te je \frac{a + a^{\sigma}}{2} \in \mathcal{A}_{0}, \frac{a - a^{\sigma}}{2} \in \mathcal{A}_{1}). Tako reći, {\mathbb{Z}}_{2}-graduiranje može se karakterizirati preko automorfizma s kvadratom \text{id}.

Podmodul \mathcal{B} superalgebre \mathcal{A} je graduiran ako i samo ako je \mathcal{B}^{\sigma} = \mathcal{B}. Neka je centar \mathcal{Z}(\mathcal{A}) superalgebre \mathcal{A} upravo centar algebre \mathcal{A} u uobičajenom smislu, tj. \mathcal{Z}(\mathcal{A}) = \lbrace a \in \mathcal{A} \ | \ ab=ba \ \forall b \in \mathcal{A} \rbrace. Centar je graduiran, jer svaki automorfizam preslikava centar na centar. To znači da je \mathcal{Z}(\mathcal{A}) = \mathcal{Z}(\mathcal{A})_{0} \oplus \mathcal{Z}(\mathcal{A})_{1}.

U sljedećem tekstu prikazat ćemo neke primjere asocijativnih superalgebri.

Primjer 1. Neka je \mathcal{A} algebra i neka je c \in \mathcal{A} invertibilan element. Nadalje, neka je \sigma automorfizam algebre \mathcal{A} definiran s x^{\sigma} = cxc^{-1} za sve x \in \mathcal{A}. Uočimo da je \sigma^{2} = \text{id} ako i samo ako je c^{2} \in \mathcal{Z}(\mathcal{A}). Slijedi da je \mathcal{A}=\mathcal{A}_{0} \oplus \mathcal{A}_{1} superalgebra, gdje je \mathcal{A}_{0} = \lbrace x \in \mathcal{A} \ | \ xc=cx\rbrace i \mathcal{A}_{1} = \lbrace x \in \mathcal{A} \ | \ xc=-cx\rbrace.

Konkretno, neka je \mathcal{A}=M_{r+s}(\Phi) algebra svih (r+s) \times (r+s) matrica nad \Phi, gdje su r,s \in \mathbb{N}. Za element c možemo izabrati matricu
\begin{bmatrix} I_{r} & 0 \\ 0 & -I_{s} \end{bmatrix},
gdje je I_{r} jedinična matrica iz M_{r}(\Phi) te I_{s} jedinična matrica iz M_{s}(\Phi). Tada su parni i neparni dijelovi dani s
A_{0} = \left[\begin{array}{cc} M_{r}(\Phi) & 0 \\ 0 & M_{s}(\Phi) \\ \end{array}\right], \quad \mathcal{A}_{1} = \left[\begin{array}{cc} 0 & M_{r,s}(\Phi) \\ M_{s,r}(\Phi) & 0 \\ \end{array}\right],
gdje M_{r,s}(\Phi) označava skup svih r \times s matrica. Ova algebra je asocijativna superalgebra, koju obično označujemo s M(r|s).

Primjer 2. Neka je A algebra nad \Phi i stavimo \mathcal{A} = A \times A. Nadalje, neka je \sigma automorfizam na \mathcal{A} definiran sa \sigma(a,b)=(b,a), za sve a,b \in A. Tada vrijedi \mathcal{A} = \mathcal{A}_{0} \oplus \mathcal{A}_{1}, gdje je parni dio dan s \mathcal{A}_{0} = \lbrace (a,a) \ | \ a \in A\rbrace, a neparni s \mathcal{A}_{1} = \lbrace (b,-b) \ | \ b \in A\rbrace. Pokaže se da vrijedi:
\mathcal{A} \cong \Big\lbrace \left[\begin{array}{cc} C & D \\ D & C \\ \end{array}\right] \ | \ C,D \in A \Big\rbrace ,
\mathcal{A}_{0} \cong \Big\lbrace \left[\begin{array}{cc} C & 0 \\ 0 & C \\ \end{array}\right] \ | \ C \in A \Big\rbrace , \qquad \mathcal{A}_{1} \cong \Big\lbrace \left[\begin{array}{cc} 0 & D \\ D & 0 \\ \end{array}\right] \ | \ D \in A \Big\rbrace .
U ovom slučaju kažemo da je superalgebra \mathcal{A} zadana automorfizmom zamjene.

Primjer 3. Neka je \mathcal{A} = Q(\alpha, \beta)4-dimenzionalna algebra nad \Phi, s bazom \lbrace 1,uv,u,v\rbrace. Definirajmo množenje na sljedeći način: u^{2}=\alpha \in \Phi, v^{2}=\beta \in \Phi, uv=-vu. Posebno, \mathcal{A} je algebra kvaterniona nad \mathbb{R}. Stavimo \mathcal{A}_{0} = \Phi 1 + \Phi uv i \mathcal{A}_{1} = \Phi u + \Phi v. Vrijedi da je \mathcal{A} = \mathcal{A}_{0} \oplus \mathcal{A}_{1} asocijativna superalgebra, koju zovemo superalgebra kvaterniona.


Navedimo neka osnovna svojstva asocijativnih superalgebri. Asocijativna superalgebra \mathcal{A} je jednostavna, ako nema pravih ne-nul graduiranih ideala. Jedini graduirani ideali su 0 i cijela superalgebra \mathcal{A}. Primijetimo da jednostavna superalgebra ne mora biti jednostavna i kao algebra. Ako produkt dvaju ne-nul graduiranih ideala superalgebre \mathcal{A} uvijek bude različit od 0, kažemo da je \mathcal{A} prosta superalgebra. Superalgebra \mathcal{A} je poluprosta, ako nema ne-nul nilpotentnih graduiranih ideala. Kao što je zabilježeno u [1], to je ekvivalentno implikaciji da a \mathcal{A} b = 0 povlači da je a=0 ili b=0, gdje su a i b bilo koji homogeni elementi u \mathcal{A}. Zapravo, isti zaključak i dalje vrijedi ako pretpostavimo da je samo jedan od tih dvaju elemenata, recimo b, homogen.

Neka je \mathcal{A} prosta superalgebra. Prirodno se javlja pitanje jesu tada i algebre \mathcal{A} i \mathcal{A}_{0} proste. Sljedeća dva primjera pokazuju da to ne mora vrijediti uvijek.

Primjer 4. Neka je A prosta algebra nad \Phi i neka je \mathcal{A} = A \times A superalgebra s graduiranošću definiranom kao u primjeru 2. Ova algebra je prosta superalgebra (produkt bilo kojih dvaju ne-nul graduiranih ideala je različit od 0), ali nije prosta algebra, jer (0 \times A)(A \times 0)=0.

Primjer 5. Superalgebra M(r|s) je prosta superalgebra. Skupovi
\mathcal{I} = \Big\lbrace \left[\begin{array}{cc} C & 0 \\ 0 & 0 \\ \end{array}\right] \ | \ C \in M_{r}(\mathbb{F})\Big\rbrace \quad \text{i} \quad \mathcal{J} = \Big\lbrace \left[\begin{array}{cc} 0 & 0 \\ 0 & D \\ \end{array}\right] \ | \ D \in M_{s}(\mathbb{F})\Big\rbrace
su ne-nul ideali u algebri M(r|s)_{0} takvi da im je produkt 0. Stoga algebra M(r|s)_{0} nije prosta algebra.


Veza između proste superalgebre (ili poluproste superalgebre) \mathcal{A} i prostih algebri (ili poluprostih algebri) \mathcal{A} i \mathcal{A}_{0} je sljedeća: Ako je \mathcal{A} asocijativna poluprosta superalgebra, tada su \mathcal{A} i \mathcal{A}_{0} također poluproste algebre. Ako je \mathcal{A} asocijativna prosta superalgebra, tada je ili \mathcal{A} prosta algebra, ili \mathcal{A}_{0} prosta algebra. Dokazi tih rezultata mogu se vidjeti u [13].

3Zaključak

Prirodno pitanje koje se postavlja jest kako generalizirati neke klasične strukture. Opišimo ukratko pozadinu toga. Naprimjer, neka je \mathcal{A} asocijativna algebra. Uvođenjem novog produkta u \mathcal{A} (takozvanog Jordanovog produkta) a \circ b = ab + ba, \mathcal{A} postaje Jordanova algebra, koju obično označujemo s \mathcal{A}^{+}. Postavlja se pitanje veze između strukturalnih svojstava algebri \mathcal{A} i \mathcal{A}^{+} (naprimjer, svaki ideal u algebri \mathcal{A} je ideal i u {\mathcal{A}}^{+}; vrijedi li obrat?). Takva pitanja razmatrao je Herstein 1950-ih (vidi [10]). Promatrao je većinom jednostavne algebre. U posljednje vrijeme njegova je teorija generalizirana. Na tu temu dosta su radova napisali Lanski, Martindale, McCrimmon, Miers, Montgomery i mnogi drugi. Na sličan način možemo uvesti Jordanove superalgebre. Ponovo se nameće isto pitanje: Koja je veza između struktura superalgebri i Jordanovih superalgebri? Čitatelja upućujemo da vidi primjerice [1, 2, 3, 4, 5, 7, 8, 9, 13].

Na kraju, naznačimo da možemo proširiti pojam superalgebre na \mathcal{G}-graduirane algebre, gdje je \mathcal{G} neka Abelova grupa. Algebru zovemo \mathcal{G}-graduirana ako postoje potprostori \mathcal{A}_{g}, g \in \mathcal{G}, od {{\mathcal{A}}}, takvi da je \mathcal{A} = \bigoplus_{g \in \mathcal{G}}\mathcal{A}_{g} i \mathcal{A}_{g} \mathcal{A}_{h} \subseteq \mathcal{A}_{gh} za sve g, h \in \mathcal{G}. Superalgebre su zapravo posebni slučajevi \mathcal{G}-graduiranih algebri. U tom slučaju \mathcal{G} = \mathbb{Z}_{2}. U kontekstu \mathcal{G}-graduiranih algebri možemo također definirati pojmove popout modula, ideala, graduiranih prostih algebri ... Stoga se prirodno javljaju mnogi novi problemi.
Bibliografija
[1] K. I. Beidar, M. Brešar, M. A. Chebotar, Jordan superhomomorphisms, Comm. Algebra 31 (2003), 633.–644.
[2] M. Brešar, A. Fošner, M. Fošner, Jordan ideals revisited, Monatsh. Math., 1 (2005), 1.–10.
[3] M. Fošner, Jordan superderivations, Comm. Algebra 31 (2003), 4533.–4545.
[4] M. Fošner, Jordan superderivations, II, Internat. J. Math. Math. Sci. 2004 (2004), 2357.–2369.
[5] M. Fošner, On the extended centroid of prime associative superalgebras with applications to superderivations, Comm. Algebra 32 (2004), 689.–705.
[6] M. Fošner, Asociativne superalgebre in jordanske strukture, doktorska disertacija, Maribor 2004.
[7] C. Gómez-Ambrosi, J. Laliena, I. P. Shestakov, On the Lie structure of the skew elements of a prime superalgebra with superinvolution, Comm. Algebra 2 (2000), 3277.–3291.
[8] C. Gómez-Ambrosi, F. Montaner, On Herstein's constructions relating Jordan and associative superalgebras, Comm. Algebra 28 (2000), 3743.–3762.
[9] C. Gómez-Ambrosi, I. P. Shestakov, On the Lie structure of the skew elements of a simple superalgebra with superinvolution, J. Algebra 208 (1998), 43.–71.
[10] I. N. Herstein, Topics in ring theory, The University of Chicago Press, Chicago 1969.
[11] V. G. Kac, Classification of simple Z-graded Lie superalgebras and simple Jordan superalgebras, Comm. Algebra 13 (1977), 1375.–1400.
[12] V. G. Kac, Lie superalgebras, Advances in mathematics 26 (1977), 8.–96.
[13] F. Montaner, On the Lie structure of associative superalgebras, Comm. Algebra 26 (1998), 2337.–2349.
[14] S. Montgomery, Constructing simple Lie superalgebras from associative graded algebras, J. Algebra 195 (1997), 558.–579.
[15] I. P. Shestakov, Prime alternative superalgebras of arbitrary characteristic, Algebra and logic 36 (1997), 389.–420.