Geometrický útvar

souhrn geometrických objektů

Geometrický útvar je souhrn geometrických objektů, nejčastěji bodů, přímek či rovin.[1] Někdy se geometrický útvar definuje přímo jako množina bodů Euklidova prostoru.[2][3] Často se slovní spojení geometrický útvar používá také pro určitý tvar či pro typ geometrického objektu, který je pojmenován (například bod, přímka, prostor,[2] trojúhelník nebo čtverec[4]).

Jehlan, koule a krychle v prostoru

Další příklady geometrických útvarů jsou křivka, prostorový úhel, mezikruží či fraktál. Uzavřenou oblast v rovině nazýváme obrazcem, v prostoru tělesem.[2]

Jednoduché geometrické útvary byly známy již v paleolitu a podrobněji zkoumány ve všech antických civilizacích. Na vědecké úrovni se jim poprvé věnovali staří Řekové jako Eukleidés a další. V raném novověku René Descartes vynalezl souřadnice, což umožnilo vznik analytické geometrie a zkoumání útvarů algebraickými prostředky. 19. století postavilo matematiku na nové formální základy, z hlediska geometrie byl významný například vznik neeukleidovské geometrie a teorie množin.

Útvary ve třírozměrném prostoru se dělí na rovinné (rovinné křivky a obrazce) a prostorové (prostorové křivky, plochy v prostoru a tělesa). V analytické geometrii se vydělují lineární a kvadratické geometrické útvary podle stupně polynomu, který je popisuje. K základním vlastnostem útvarů patří jejich míra (délka, obsah, objem, povrch či obvod), dimenze, symetrie, souvislost nebo konvexnost. Geometrie zkoumá také vztahy mezi útvary, jako jsou shodnost, podobnost a další geometrická zobrazení.

Dějiny

editovat
Související informace naleznete také v článku Geometrie#Historie.

Geometrické útvary patří vedle čísel k nejstarším zkoumaným předmětům matematiky, jednoduchou představu o některých z nich měli lidé zřejmě již v paleolitu, starší době kamenné.[5] V neolitu se pak různé útvary staly základem geometrické ornamentiky na více místech světa.[6] Další rozvoj přišel s nástupem prvních států v Mezopotámii a Egyptě, kde se poznatky o útvarech využívaly v zeměměřičství a stavebnictví; Babylóňané již znali zvláštní případy Pythagorovy věty a egyptští geometři uměli počítat obsah trojúhelníka i kruhu, přičemž jejich odhad čísla byl asi 3,1605.[6] K řadě poznatků se dospělo také ve starověké Indii a Číně.[7]

 
Neolitické umění: kámen zdobený geometrickými motivy (Newgrange, Irsko)

Na vědeckou úroveň povznesli matematiku staří Řekové, především Eukleidés, autor první axiomatické teorie. Geometrických útvarů se týká řada jejich poznatků a úvah. Jmenovat lze například platónská tělesa (Platón je popsal a uvažoval o jejich hlubším smyslu, zatímco Eukleidés dokázal, že žádná další takto pravidelná tělesa již neexistují), Zénónovy paradoxy o nekonečném dělení úsečky nebo Archimédovy myšlenky o výpočtu objemu těles, předjímající pozdější integrální počet.[8] Útvarů se týkají také tři slavné problémy, které starověká matematika zanechala nevyřešené: trisekce úhlu, zdvojení krychle a kvadratura kruhu.[9]

Ve středověku rozvíjeli geometrii především Arabové; vznikly trigonometrické tabulky a díky arabskému astronomovi al-Battánímu se objevily první poznatky sférické trigonometrie.[10] V raném novověku rozvoj mechaniky podnítil zájem např. o výpočet těžiště.[11] Přelomový byl Descartův objev souřadnic, který umožnil vznik analytické geometrie a řešení geometrických problémů algebraickou a analytickou cestou.[12] K poznání geometrických útvarů tak bylo možno použít i diferenciální a integrální počet, který vznikl díky Newtonovi a Leibnizovi. Nové pohledy na geometrii umožnili v 19. století matematici jako Évariste Galois a Niels Henrik Abel (teorie grup, umožňující mj. analyzovat symetrie) či Nikolaj Ivanovič Lobačevskij a János Bolyai (neeukleidovská geometrie).[13] Teorie množin, již založil Georg Cantor, umožnila jednotný pohled na mnoho oblastí matematiky i řešení řady problémů spojených s otázkami nekonečna.[14]

Jako prostor, v němž geometrie pracovala, se po dvě tisíciletí bral výhradně prostor popsaný Euklidem v jeho Základech, jehož teorii[15] na konci 19. století axiomatizoval David Hilbert.[16] V 19. a 20. století se postupně objevily alternativy, jmenovitě neeukleidovské geometrie, umožňující vystihnout mj. geometrii zakřivených ploch,[17] a vícerozměrné prostory, vhodné např. pro popis časoprostoru.[18]

Základní geometrické útvary

editovat
  • V některých učebnicích se uvádí jako základní geometrické útvary bod, přímka a rovina,[19][20] popř. i sám prostor.[2] Mezi základní geometrické útvary se někdy zahrnují i jiné útvary; ve školské matematice například kružnice, trojúhelník nebo čtverec.
    • Bod je bezrozměrný dále nedělitelný element. Body se v učebnicích často značí velkými písmeny  ,  ,  ,…
    • Přímka je abstrakce rovné čáry nulové šířky, jednorozměrný objekt, označuje se malým písmenem  ,  ,  ,   nebo   pomocí dvou různých bodů, které ji určují.
    • Rovina je abstrakce ploché rovné desky nulové tloušťky, značí se písmeny řecké abecedy  ,  ,  ,  , nebo také   pomocí tří různých bodů neležících na jedné přímce, které ji určují.
  • V hilbertovské axiomatizaci geometrie jsou bod, přímka a rovina spolu s některými vlastnostmi a vzájemnými vztahy definovány axiomaticky a další vlastnosti, útvary a tvrzení se odvozují z těchto stavebních prvků.
  • V počítačové grafice se můžeme setkat s termínem grafické primitivum, což je obvykle křivka, polygon a podobně.

Členění a příklady

editovat

Podle dimenze

editovat
 
Příklady rovinných útvarů: trojúhelník, kosodélník a kruh

Rovinné útvary jsou takové útvary, jež celé leží v jedné rovině. Mimo jiné jde o:

Prostorové útvary jsou útvary, které nelze vnořit do žádné roviny. Jsou to například:

Dále lze uvažovat i vícerozměrný prostor a v něm vícerozměrné útvary. Příkladem mohou být čtyřrozměrná platónská tělesa.

Podle stupně polynomu

editovat

Analytická geometrie dělí útvary a své subdisciplíny podle stupně polynomů, popisujících útvar:[21]

  • Analytická geometrie lineárních útvarů se zabývá útvary popsatelnými ve vhodně zvolené souřadné soustavě polynomy prvního stupně (v nichž souřadnice vystupují v první mocnině); příkladem je přímka (lze v rovině popsat rovnicí tvaru  , v prostoru soustavou  ) či rovina (lze v prostoru popsat rovnicí tvaru  ).
  • Analytická geometrie kvadratických útvarů se zabývá útvary popsatelnými ve vhodně zvolené souřadné soustavě polynomy druhého stupně (v nichž jedna nebo více souřadnic vystupuje v druhé mocnině); příkladem jsou v rovině kuželosečky (např. parabolu lze popsat rovnicí tvaru  ), v prostoru kvadriky (např. hyperbolický paraboloid lze popsat rovnicí  , kde  ).
  • Algebraická geometrie se zabývá útvary popsatelnými polynomy obecného stupně.

Vlastnosti

editovat

Kromě základních definičních vlastností, jako jsou tvar, rozměry a poloha útvaru v prostoru, lze zkoumat i další vlastnosti geometrických útvarů. Například to jsou:

  • Míry útvarů: Délka, obsah, objem, povrch a obvod, jsou-li definovány. Tyto veličiny zjednodušeně řečeno vyjadřují „velikost“ či „rozsah“ útvaru. Matematicky se určují jako Jordanova míra nebo obecněji Lebesgueova míra zkoumaného útvaru.
  • Dimenze: Útvarům lze přiřadit číslo, které se nazývá počet rozměrů čili dimenze útvaru. Pro „běžné“ útvary je dimenze celé číslo: pro bod je to nula, pro přímku a obvyklé křivky 1, pro rovinu a běžné zakřivené plochy 2, pro prostorová tělesa jako koule a hranol 3. Existuje více způsobů definice dimenze; podle toho rozlišujeme např. topologickou dimenzi nebo různé fraktální dimenze (jako jsou Hausdorffova míra či Rényiho dimenze), jež pro speciální útvary zvané fraktály mohou být i neceločíselné.[22] (Pro fraktální útvary lze určovat i další speciální vlastnosti, např. lacunaritu,[23] měřící, nakolik fraktál vyplňuje prostor.)
  • Symetrie čili souměrnost podle nějakého bodu, přímky či roviny, symetrie vzhledem k otočení či symetrie vůči změně měřítka (škálovací symetrie).
  • Vnitřní body, vnější body, izolované body a hraniční body útvaru; hraniční bod je takový, že jeho každé okolí obsahuje alespoň jeden bod ležící v útvaru a současně alespoň jeden bod neležící v útvaru; množina všech hraničních bodů je hranice útvaru.
  • Útvar může být otevřený, tedy obsahovat pouze vnitřní body. To znamená, že každý bod útvaru má kolem sebe nějaké okolí, jež obsahuje pouze body tohoto útvaru. Otevřený útvar tedy neobsahuje svou hranici.
  • Útvar může být uzavřený, tedy obsahovat všechny své hromadné body; každá konvergentní posloupnost bodů útvaru má limitu, která rovněž patří do útvaru. Uzavřený útvar tedy obsahuje všechny své hraniční body. Útvar může být zároveň otevřený i uzavřený (to splňují prázdná množina a celý prostor) a naopak nemusí být ani otevřený, ani uzavřený (např. polootevřená úsečka). „Uzavřená křivka“ ovšem zpravidla znamená „křivka, jejíž počáteční bod se shoduje s koncovým,“ nejde tedy o uzavřenost v množinovém smyslu.
  • Útvar může být souvislý; to znamená, že mezi libovolnými dvěma jeho body existuje souvislá čára, která leží celá v útvaru.
  • Útvar může být konvexní; to znamená, že úsečka mezi libovolnými dvěma jeho body leží celá v útvaru. Z toho je patrné, že konvexní útvar musí být souvislý.

Vztahy mezi útvary

editovat
Podrobnější informace naleznete v článku Analytická geometrie#Vzájemná poloha geometrických útvarů.
 
Shodnost dvou osově symetrických útvarů: shodují se úhly i délky úseček

Kromě obecných logických vztahů (existence, rovnost) používá Hilbertovská axiomatizace geometrie tři různé vztahy mezi geometrickými objekty:[24]

  1. Incidence, což znamená vlastnost „ležet na“, „ležet v“, „být prvkem“. Značí se   a její negace jako  . Například   znamená „bod A leží na přímce p“.
  2. Vlastnost „ležet mezi“, např. bod A leží mezi body X a Y na přímce p.
  3. Shodnost, tedy schopnost útvarů se po vhodné transformaci zachovávající vzdálenosti ztotožnit. Týká se např. úseček (stejná délka) nebo úhlů (stejná velikost úhlu). Značí se  . Například   čteme „trojúhelník ABC je shodný s trojúhelníkem DEF“ a znamená to, že oba trojúhelníky mají stejné délky stran a velikosti úhlů.

Vedle shodnosti existují další geometrická zobrazení, zejména podobnost, afinní zobrazení a topologická zobrazení. Jelikož útvary jsou množiny, je možno o nich také hovořit množinovým jazykem a zkoumat například jejich průnik a sjednocení.

Různé významy

editovat

Nejčastěji geometrický útvar definuje přímo jako množina bodů Euklidova prostoru,[2][3]. Podle této definice je tedy například čtverec společný název pro nekonečně mnoho různých geometrických útvarů.

Jiné zdroje popisují geometrický útvar jako to, co je charakterizováno tvarem dané množiny, který se nemění u otočení a posunutí.[25][26][27]

V Ottově slovníků naučném je geometrický útvar popsán jako matematický objekt, který zachycuje tvar, velikost a polohu tělesa, nehledíce ale k jeho hmotě.[28]

Zobecnění

editovat

Existují různá matematická zobecnění pojmu geometrický útvar. Topologie se zabývá vlastnostmi množin, které se nemění při spojitých transformacích a topologický prostor je zobecněním pojmu tvar. Vlastnosti geometrických objektů, které se nemění při difeomorfizmech studuje diferenciální topologie a vlastnosti, které se nemění při homotopiích, studuje algebraická topologie. Vlastnosti útvarů, které se zachovávají při různých transformacích, se nazývají invarianty. V algebraické topologii jsou to například díry různých dimenzí (například kruh bez bodu má díru, plný kruh nikoliv). Invarianty, které formalizují a popisují typy a počty děr, jsou homotopické grupy a homologické grupy.[29]

Literatura

editovat
  • KLAPKA, Jiří. Jak se studují geometrické útvary v prostoru?. Část první. Praha: Jednota československých matematiků a fysiků, 1947. 
  • KLAPKA, Jiří. Jak se studují geometrické útvary v prostoru?. II. část. Praha: Jednota československých matematiků a fysiků, 1947. 
  • VYŠÍN, Jan. Konvexní útvary. Praha: Mladá fronta, 1964. 
  • JUKL, Marek. Analytická geometrie lineárních útvarů. 2. vyd. Olomouc: Univerzita Palackého v Olomouci, 2008. ISBN 978-80-244-2148-3. 
  • PECH, Pavel. Analytická geometrie lineárních útvarů. České Budějovice: Jihočeská univerzita, 2004. ISBN 80-7040-741-7. 

Externí odkazy

editovat

Reference

editovat
  1. Slovník školské matematiky, SPN Praha, 1981, s. 220-221
  2. a b c d e BARTSCH, Hans-Jochen, Matematické vzorce, SNTL Praha, 1983, s. 283
  3. a b POLÁK, Josef, Přehled středoškolské matematiky, Praha : Prometheus, 2008, ISBN 978-80-7196-356-1, s. 414
  4. Allan Bluman, Pre-Algebra DeMYSTiFieD, McGraw-Hill Professional, 2010, (s.e.), str. 198
  5. ŠALÁT, Tibor. Malá encyklopédia matematiky. 3. vyd. Bratislava: Obzor, 1981. Dostupné online. S. 7. (slovensky) 
  6. a b Šalát, s. 8
  7. Šalát, s. 9
  8. Šalát, s. 10–11
  9. Šalát, s. 10
  10. Šalát, s. 12
  11. Šalát, s. 13
  12. Šalát, s. 14
  13. Šalát, s. 17–19
  14. Šalát, s. 18
  15. HILBERT, David, The Foundations of Geometry, The Open Court Publishing Company, La Salle, Illinois, 1950, s. 2–15, on-line
  16. MLODINOW, Leonard, Euclid's Window: The Story of Geometry from Parallel Lines to Hyperspace, Touchstone 2002, ISBN 0-684-86523-8, s. 3–52, 143–152
  17. Mlodinow, s. 95–142
  18. Mlodinow, s. 153–216
  19. Matematika pro gymnázia. Stereometrie. ISBN 978-80-7196-389-9, s. 8
  20. POMYKALOVÁ, Eva. Deskriptivní geometrie pro střední školy. Praha: Prometheus, 2010. ISBN 978-80-7196-400-1. S. 11. 
  21. Kol.: Aplikovaná matematika 1, SNTL, Praha 1977, s. 83–84
  22. VACHTL, Pavel, Fraktály a chaos, Natura, on-line
  23. Tolle,C.R. McJunkin,T.R. Rohrbaugh,D.T. a LaViolette,R.A., Lacunarity definition for ramified data sets based on optimal cover, Physica D: Nonlinear Phenomena Volume 179, Issues 3-4, 15 May 2003, s. 129-152. DOI=http://dx.doi.org/10.1016/S0167-2789(03)00029-0
  24. Aplikovaná matematika 1, s. 420–422
  25. Tristan Needham, Anschauliche Funktionentheorie, Oldenbourg Wissenschaftsverlag, 2001, str. 36,37
  26. Scott Milross Buchanan, Poetry and mathematics, Lippincott; [1st Keystone ed.] edition, 1962, str. 48
  27. Rudolph Berlinger, Philosophische Perspektiven, sv. 3, Frankfurt a. M., Verlag Vittorio Klostermann, 1971, str. 19
  28. Ottův slovník naučný, heslo Geometrie, svazek 10, str. 34, Ottův slovník naučný: Illustrovaná encyklopédie obecných vědomostí, heslo Geometrie
  29. HATCHER, Allen. Algebraic Topology. [s.l.]: Cambridge University Press, 2002. Dostupné online. ISBN 0-521-79160-X. (anglicky)  Dostupné online
  NODES
Idea 1
idea 1