Geometrický útvar

Z Multimediaexpo.cz

(Rozdíly mezi verzemi)
m (1 revizi)
(+ Masivní vylepšení)
Řádka 1: Řádka 1:
-
{{Wikipedia-cs|Geometrický útvar|700}}
+
[[Soubor:Basic shapes.png|thumb|220px|Jehlan, koule a krychle v prostoru]]
 +
'''Geometrický útvar''' je souhrn [[geometrie|geometrických]] objektů, nejčastěji [[bod]]ů, [[přímka|přímek]] či [[rovina|rovin]].<ref>Slovník školské matematiky, SPN Praha, 1981, s. 220-221</ref> Někdy se geometrický útvar definuje přímo jako [[množina]] [[bod]]ů [[Eukleidovský prostor|Euklidova prostorů]],<ref name="BARTSCH">BARTSCH, Hans-Jochen, Matematické vzorce, SNTL Praha, 1983, s. 283</ref><ref>POLÁK, Josef, Přehled středoškolské matematiky, Praha : Prometheus, 2008, ISBN 978-80-7196-356-1, s. 414</ref> ačkoliv ty samé zdroje uvádějí jako geometrický útvar i samotný bod (tedy [[Prvek množiny|prvek]]).<ref name="BARTSCH"/> 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 [[tvar]]em dané množiny, který se nemění u otočení a posunutí.<ref>Tristan Needham, ''Anschauliche Funktionentheorie'', Oldenbourg Wissenschaftsverlag, 2001, str. 36,37</ref><ref>Scott Milross Buchanan, ''Poetry and mathematics'', Lippincott; [1st Keystone ed.] edition, 1962, str. 48</ref><ref>Rudolph Berlinger, ''Philosophische Perspektiven, sv. 3'', Frankfurt a. M., Verlag Vittorio Klostermann, 1971, str. 19</ref> V [[Ottův slovník naučný|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 [[hmota|hmotě]].<ref>''Ottův slovník naučný'', heslo Geometrie, svazek 10, str. 34, [http://www.archive.org/stream/ottvslovnknauni02ottogoog#page/n34/mode/2up Ottův slovník naučný: Illustrovaná encyklopédie obecných vědomostí, heslo Geometrie]</ref> Často se slovní spojení ''geometrický útvar'' používá také pro ''typ'' geometrického objektu, který je ''pojmenován'' (například bod, přímka, [[Geometrie|prostor]],<ref name="BARTSCH"/> ale také [[trojúhelník]] nebo [[čtverec]]<ref>Allan Bluman, ''Pre-Algebra DeMYSTiFieD'', McGraw-Hill Professional, 2010, (s.e.), str. 198</ref>).
 +
Další příklady geometrických útvarů jsou [[křivka]], [[prostorový úhel]], [[mezikruží]] či [[fraktál]]. [[Uzavřená množina#Topologická definice|Uzavřenou]] [[oblast (matematika)|oblast]] v [[planimetrie|rovině]] nazýváme [[obrazec|obrazcem]], v [[stereometrie|prostoru]] [[Geometrický útvar|tělesem]].<ref name="BARTSCH"/>
 +
 +
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 [[Kartézská soustava souřadnic|souřadnice]], což umožnilo vznik [[analytická geometrie|analytické geometrie]] a zkoumání útvarů [[algebra]]ickými prostředky. 19. století postavilo matematiku na nové formální základy, z hlediska geometrie byl významný například vznik [[neeukleidovská geometrie|neeukleidovské geometrie]] a [[teorie množin]].
 +
 +
Útvary ve třírozměrném prostoru se dělí na rovinné ([[rovinná křivka|rovinné křivky]] a obrazce) a prostorové ([[prostorová křivka|prostorové křivky]], [[plocha|plochy]] v prostoru a tělesa). V analytické geometrii se vydělují [[lineární geometrický útvar|lineární]] a [[kvadratický geometrický útvar|kvadratické]] geometrické útvary podle stupně [[polynom]]u, který je popisuje. K základním vlastnostem útvarů patří jejich [[Míra (matematika)|míra]] ([[délka]], [[obsah]], [[objem]], [[povrch (geometrie)|povrch]] či [[obvod (geometrie)|obvod]]), [[Dimenze vektorového prostoru|dimenze]], [[symetrie]], [[Souvislá množina|souvislost]] nebo [[Konvexní množina|konvexnost]]. Geometrie zkoumá také vztahy mezi útvary, jako jsou [[shodnost]], [[podobnost (geometrie)|podobnost]] a další [[geometrické zobrazení|geometrická zobrazení]].
 +
 +
== Dějiny ==
 +
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é.<ref>{{Citace monografie
 +
| příjmení = Šalát
 +
| jméno = Tibor
 +
| titul = Malá encyklopédia matematiky 
 +
| url = http://vufind.lib.cas.cz/Record/000057121
 +
| vydání = 3
 +
| vydavatel = Obzor
 +
| místo = Bratislava
 +
| rok = 1981
 +
| počet stran =
 +
| strany = 7
 +
| isbn =
 +
| jazyk = slovensky
 +
}}</ref> V neolitu se pak různé útvary staly základem geometrické [[ornament]]iky na více místech světa.<ref name="šalát8">Šalát, s. 8</ref> Další rozvoj přišel s nástupem prvních států v Mezopotámii a starověkém Egyptě, kde se poznatky o útvarech využívaly v zeměměřičství a stavebnictví. Babylóňané již znali zvláštní případy [[Pythagorova věta|Pythagorovy věty]] a egyptští geometři uměli počítat obsah [[trojúhelník]]a i [[kruh]]u, přičemž jejich odhad čísla [[pí (číslo)|pí]] byl asi 3,1605.<ref name="šalát8"/> K řadě poznatků se dospělo také ve starověké [[Indie|Indii]] a starověké [[Čína|Číně]].<ref>Šalát, s. 9</ref>
 +
[[Soubor:Newgrange Entrance Stone.jpg|thumb|220px|Neolitické umění: kámen zdobený geometrickými motivy (Newgrange,&nbsp;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]].<ref>Šalát, s. 10–11</ref> Útvarů se týkají také [[Tři klasické problémy antické matematiky|tři slavné problémy]], které starověká matematika zanechala nevyřešené: [[trisekce úhlu]], [[zdvojení krychle]] a [[kvadratura kruhu]].<ref>Šalát, s. 10</ref>
 +
 +
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|sférické trigonometrie]].<ref>Šalát, s. 12</ref> V raném novověku rozvoj mechaniky podnítil zájem např. o výpočet [[těžiště]].<ref>Šalát, s. 13</ref> Přelomový byl Descartův objev [[Kartézská soustava souřadnic|souřadnic]], který umožnil vznik [[analytická geometrie|analytické geometrie]] a řešení geometrických problémů [[algebra]]ickou a [[matematická analýza|analytickou]] cestou.<ref>Šalát, s. 14</ref> K poznání geometrických útvarů tak bylo možno použít i diferenciální a integrální počet, který vznikl díky Isaacu Newtonovi a Gottfriedu 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]]).<ref>Šalát, s. 17–19</ref>
 +
[[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čno|nekonečna]].<ref>Šalát, s. 18</ref>
 +
 +
Jako prostor, v němž geometrie pracovala, se po dvě tisíciletí bral výhradně prostor popsaný [[Eukleidés|Euklidem]] v jeho ''[[Eukleidovy Základy|Základech]]'', jehož [[Eukleidova-Hilbertova axiomatizace geometrie|teorii]]<ref>HILBERT, David, The Foundations of Geometry, The Open Court Publishing Company, La Salle, Illinois, 1950, s. 2–15, [http://www.gutenberg.org/files/17384/17384-pdf.pdf on-line]</ref> na konci 19. století axiomatizoval [[David Hilbert]].<ref>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</ref> V 19. a 20. století se postupně objevily alternativy, jmenovitě neeukleidovské geometrie, umožňující vystihnout mj. geometrii zakřivených ploch,<ref>Mlodinow, s. 95–142</ref> a vícerozměrné prostory, vhodné např. pro popis [[časoprostor]]u.<ref>Mlodinow, s. 153–216</ref>
 +
 +
== Základní geometrické útvary ==
 +
* V některých učebnicích se uvádí jako ''základní geometrické útvary'' [[bod]], [[přímka]] a [[rovina]],<ref>Matematika pro gymnázia. Stereometrie. ISBN 978-80-7196-389-9, s. 8</ref><ref>{{Citace monografie
 +
| příjmení = Pomykalová
 +
| jméno = Eva
 +
| odkaz na autora =
 +
| titul = Deskriptivní geometrie pro střední školy 
 +
| vydavatel = Prometheus
 +
| místo = Praha 
 +
| rok = 2010
 +
| počet stran =
 +
| kapitola =
 +
| strany = 11
 +
| isbn = 978-80-7196-400-1
 +
| jazyk =
 +
}}</ref> popř. i sám [[Prostor (geometrie)|prostor]].<ref name="BARTSCH"/> Mezi základní geometrické útvary se někdy zahrnují i jiné útvary; ve [[výuka matematiky|š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 <math>A</math>, <math>B</math>, <math>C</math>,…
 +
** Přímka je abstrakce rovné čáry nulové šířky, jednorozměrný objekt, označuje se malým písmenem <math>a</math>, <math>b</math>, <math>p</math>, <math>q</math> nebo <math>\overline{A B}</math> 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 <math>\alpha</math>, <math>\beta</math>, <math>\rho</math>, <math>\pi</math>, nebo také <math>\overline{A B C}</math> pomocí tří různých bodů neležících na jedné přímce, které ji určují.
 +
* V hilbertovské axiomatizaci geometrie se  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á grafika|počítačové grafice]] se můžeme setkat s termínem [[grafické primitivum]], což obvykle [[křivka]], [[Mnohoúhelník|polygon]] a podobně.
 +
 +
== Členění a příklady ==
 +
=== Podle dimenze ===
 +
[[Soubor:Shape Area.png|thumb|220px|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:
 +
* [[rovinná křivka|rovinné křivky]] – např. [[kuželosečka|kuželosečky]] ([[kružnice]], [[elipsa]], [[parabola (matematika)|parabola]], [[hyperbola]]), [[cykloida|cykloidy]], [[řetězovka|řetězovky]] apod., ale i přímka a její nebodové části - [[polopřímka|polopřímky]] a [[úsečka|úsečky]]
 +
* [[obrazec|(rovinné) obrazce]] – např. [[trojúhelník]], [[čtyřúhelník]] a jiné [[mnohoúhelník]]y, [[kruh]] apod.
 +
* rovinné [[fraktál]]y - např. [[dračí křivka]], [[Sierpinského koberec]], [[Mandelbrotova množina]] apod.
 +
 +
'''[[Prostorové útvary]]''' jsou útvary, které nelze vnořit do žádné roviny. Jsou to například:
 +
* [[prostorová křivka|prostorové křivky]] – např. [[šroubovice]]
 +
* [[plocha|plochy]] v prostoru – např. [[kvadrika|kvadriky]] ([[přímková plocha|přímkové plochy]], [[Sféra (matematika)|kulová plocha]], [[elipsoid]], [[paraboloid]], [[hyperboloid]]) apod.
 +
* [[Geometrický útvar|tělesa]] – např. [[mnohostěn]]y ([[krychle]], [[kvádr]], [[hranol]], [[jehlan]]), [[válec]], [[kužel]], [[koule]] apod.
 +
* prostorové [[fraktál]]y - např. [[Mengerova houba]] apod.
 +
 +
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 ===
 +
[[Analytická geometrie]] dělí útvary a své subdisciplíny podle stupně [[polynom]]ů, popisujících útvar:<ref>Kol.: ''Aplikovaná matematika 1'', SNTL, Praha 1977, s. 83–84</ref>
 +
* [[Analytická geometrie lineárních útvarů|Analytická geometrie '''lineárních útvarů''']] se zabývá útvary popsatelnými ve vhodně zvolené souřadné soustavě [[polynom]]y prvního stupně (v nichž souřadnice vystupují v první mocnině); příkladem je [[přímka]] (lze v rovině popsat rovnicí tvaru <math>y = a x + b</math>, v prostoru soustavou <math>b c(x - x_0) = a c(y - y_0) = a b(z-z_0)</math>) či [[rovina]] (lze v prostoru popsat rovnicí tvaru <math>a x + b y + c z + d = 0</math>).
 +
* [[Analytická geometrie kvadratických útvarů|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čka|kuželosečky]] (např. [[parabola (matematika)|parabolu]] lze popsat rovnicí tvaru <math>y = a x^2 + b x + c</math>), v prostoru [[kvadrika|kvadriky]] (např. [[paraboloid#Hyperbolický paraboloid|hyperbolický paraboloid]] lze popsat rovnicí <math>z-z_0 = (1/2p)(x- x_0)^2 - (1/2q)(y-y_0)^2</math>, kde <math>pq > 0 </math>).
 +
* [[Algebraická geometrie]] se zabývá útvary popsatelnými polynomy obecného stupně.
 +
 +
== Vlastnosti ==
 +
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íra (matematika)|Míry]] útvarů: [[Délka]], [[obsah]], [[objem]], [[povrch (geometrie)|povrch]] a [[obvod (geometrie)|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 vektorového prostoru|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ř. [[topologická dimenze|topologickou dimenzi]] nebo různé [[fraktální dimenze]] (jako jsou [[Hausdorffova míra]] či [[Rényiho dimenze]]), jež pro speciální útvary zvané [[fraktál]]y mohou být i neceločíselné.<ref>VACHTL, Pavel, Fraktály a chaos, Natura, [http://natura.baf.cz/natura/1998/12/9812-4.html on-line]</ref> (Pro fraktální útvary lze určovat i další speciální vlastnosti, např. [[lacunarita|lacunaritu]],<ref>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</ref> 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í bod]]y, [[vnější bod]]y, [[izolovaný bod|izolované body]] a [[hraniční bod]]y ú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á množina|otevřený]], tedy obsahovat pouze vnitřní body. To znamená, že každý bod útvaru má kolem sebe nějaké [[Okolí (matematika)|okolí]], jež obsahuje pouze body tohoto útvaru. Otevřený útvar tedy neobsahuje svou hranici.
 +
* Útvar může být [[uzavřená množina|uzavřený]], tedy obsahovat všechny své [[hromadný bod|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á množina|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í množina|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 ==
 +
{{Podrobně|Analytická geometrie#Vzájemná poloha geometrických útvarů}}
 +
[[Soubor:Geom shodnost soumernost osa.png|thumb|220px|Shodnost dvou osově symetrických útvarů: shodují se úhly i délky úseček]]
 +
 +
Kromě obecných [[matematická logika|logických]] vztahů ([[existence]], [[rovnost (matematika)|rovnost]]) používá Hilbertovská axiomatizace geometrie tři různé vztahy mezi geometrickými objekty:<ref>Aplikovaná matematika 1, s. 420–422</ref>
 +
# Incidence, což znamená vlastnost „ležet na“, „ležet v“, „být prvkem“. Značí se <math>\in</math> a její negace jako <math>{\not \in}</math>. Například <math>A\in p</math> znamená „bod ''A'' leží na přímce ''p''“. 
 +
# Vlastnost „ležet mezi“, např. bod ''A'' leží mezi body ''X'' a ''Y'' na přímce ''p''.
 +
# [[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 <math>\cong</math>. Například <math>\triangle \mathrm{ABC} \cong \triangle \mathrm{DEF}</math> č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í|geometrická zobrazení]], zejména [[podobnost (geometrie)|podobnost]], [[afinní zobrazení]] a [[topologické zobrazení|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í]].
 +
 +
== Zobecnění ==
 +
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 [[difeomorfizmus|difeomorfizmech]] studuje [[diferenciální topologie]] a vlastnosti, které se nemění při [[homotopie|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á grupa|homotopické grupy]]'' a ''[[homologie (matematika)|homologické grupy]]''.<ref>{{Citace monografie
 +
| příjmení = Hatcher
 +
| jméno = Allen
 +
| titul = Algebraic Topology
 +
| vydavatel = Cambridge University Press
 +
| rok = 2002
 +
| isbn = 0-521-79160-X
 +
| jazyk = anglicky
 +
}} [http://www.math.cornell.edu/~hatcher/AT/ATpage.html Dostupné online]</ref>
 +
 +
== Literatura ==
 +
* {{Citace monografie
 +
| příjmení = Klapka
 +
| jméno = Jiří
 +
| odkaz na autora =
 +
| titul = Jak se studují geometrické útvary v prostoru?. Část první
 +
| vydavatel = Jednota československých matematiků a fysiků
 +
| místo = Praha
 +
| rok = 1947
 +
| počet stran =
 +
| kapitola =
 +
| strany =
 +
| isbn =
 +
| jazyk =
 +
}}
 +
* {{Citace monografie
 +
| příjmení = Klapka
 +
| jméno = Jiří
 +
| odkaz na autora =
 +
| titul = Jak se studují geometrické útvary v prostoru?. II. část
 +
| vydavatel = Jednota československých matematiků a fysiků
 +
| místo = Praha
 +
| rok = 1947
 +
| počet stran =
 +
| kapitola =
 +
| strany =
 +
| isbn =
 +
| jazyk =
 +
}}
 +
* {{Citace monografie
 +
| příjmení = Vyšín
 +
| jméno = Jan
 +
| odkaz na autora =
 +
| titul = Konvexní útvary
 +
| vydavatel = Mladá fronta
 +
| místo = Praha
 +
| rok = 1964
 +
| počet stran =
 +
| kapitola =
 +
| strany =
 +
| isbn =
 +
| jazyk =
 +
}}
 +
* {{Citace monografie
 +
| příjmení = Jukl
 +
| jméno = Marek
 +
| odkaz na autora =
 +
| titul = Analytická geometrie lineárních útvarů
 +
| vydání = 2
 +
| vydavatel = Univerzita Palackého v Olomouci
 +
| místo = Olomouc
 +
| rok = 2008
 +
| počet stran =
 +
| kapitola =
 +
| strany =
 +
| isbn = 978-80-244-2148-3
 +
| jazyk =
 +
}}
 +
* {{Citace monografie
 +
| příjmení = Pech
 +
| jméno = Pavel
 +
| odkaz na autora =
 +
| titul = Analytická geometrie lineárních útvarů
 +
| vydavatel = Jihočeská univerzita
 +
| místo = České Budějovice 
 +
| rok = 2004
 +
| počet stran =
 +
| kapitola =
 +
| strany =
 +
| isbn = 80-7040-741-7
 +
| jazyk =
 +
}}
 +
 +
== Reference ==
 +
<references />
 +
 +
 +
{{Článek z Wikipedie}}
[[Kategorie:Geometrie]]
[[Kategorie:Geometrie]]
[[Kategorie:Geometrické útvary]]
[[Kategorie:Geometrické útvary]]

Verze z 29. 3. 2016, 13:47

Jehlan, koule a krychle v prostoru

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 prostorů,[2][3] ačkoliv ty samé zdroje uvádějí jako geometrický útvar i samotný bod (tedy prvek).[2] 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í.[4][5][6] 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ě.[7] Často se slovní spojení geometrický útvar používá také pro typ geometrického objektu, který je pojmenován (například bod, přímka, prostor,[2] ale také trojúhelník nebo čtverec[8]).

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í.

Obsah

Dějiny

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é.[9] V neolitu se pak různé útvary staly základem geometrické ornamentiky na více místech světa.[10] Další rozvoj přišel s nástupem prvních států v Mezopotámii a starověkém 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.[10] K řadě poznatků se dospělo také ve starověké Indii a starověké Číně.[11]

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.[12] Ú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.[13]

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.[14] V raném novověku rozvoj mechaniky podnítil zájem např. o výpočet těžiště.[15] 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.[16] K poznání geometrických útvarů tak bylo možno použít i diferenciální a integrální počet, který vznikl díky Isaacu Newtonovi a Gottfriedu 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).[17] 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.[18]

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

Základní geometrické útvary

  • V některých učebnicích se uvádí jako základní geometrické útvary bod, přímka a rovina,[23][24] 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 <math>A</math>, <math>B</math>, <math>C</math>,…
    • Přímka je abstrakce rovné čáry nulové šířky, jednorozměrný objekt, označuje se malým písmenem <math>a</math>, <math>b</math>, <math>p</math>, <math>q</math> nebo <math>\overline{A B}</math> 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 <math>\alpha</math>, <math>\beta</math>, <math>\rho</math>, <math>\pi</math>, nebo také <math>\overline{A B C}</math> pomocí tří různých bodů neležících na jedné přímce, které ji určují.
  • V hilbertovské axiomatizaci geometrie se 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ž obvykle křivka, polygon a podobně.

Členění a příklady

Podle dimenze

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

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

  • 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 <math>y = a x + b</math>, v prostoru soustavou <math>b c(x - x_0) = a c(y - y_0) = a b(z-z_0)</math>) či rovina (lze v prostoru popsat rovnicí tvaru <math>a x + b y + c z + d = 0</math>).
  • 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 <math>y = a x^2 + b x + c</math>), v prostoru kvadriky (např. hyperbolický paraboloid lze popsat rovnicí <math>z-z_0 = (1/2p)(x- x_0)^2 - (1/2q)(y-y_0)^2</math>, kde <math>pq > 0 </math>).
  • Algebraická geometrie se zabývá útvary popsatelnými polynomy obecného stupně.

Vlastnosti

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é.[26] (Pro fraktální útvary lze určovat i další speciální vlastnosti, např. lacunaritu,[27] 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

Podrobnější informace naleznete na stránce: 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:[28]

  1. Incidence, což znamená vlastnost „ležet na“, „ležet v“, „být prvkem“. Značí se <math>\in</math> a její negace jako <math>{\not \in}</math>. Například <math>A\in p</math> 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 <math>\cong</math>. Například <math>\triangle \mathrm{ABC} \cong \triangle \mathrm{DEF}</math> č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í.

Zobecnění

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

  • 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.  

Reference

  1. Slovník školské matematiky, SPN Praha, 1981, s. 220-221
  2. 2,0 2,1 2,2 2,3 2,4 BARTSCH, Hans-Jochen, Matematické vzorce, SNTL Praha, 1983, s. 283
  3. POLÁK, Josef, Přehled středoškolské matematiky, Praha : Prometheus, 2008, ISBN 978-80-7196-356-1, s. 414
  4. Tristan Needham, Anschauliche Funktionentheorie, Oldenbourg Wissenschaftsverlag, 2001, str. 36,37
  5. Scott Milross Buchanan, Poetry and mathematics, Lippincott; [1st Keystone ed.] edition, 1962, str. 48
  6. Rudolph Berlinger, Philosophische Perspektiven, sv. 3, Frankfurt a. M., Verlag Vittorio Klostermann, 1971, str. 19
  7. 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
  8. Allan Bluman, Pre-Algebra DeMYSTiFieD, McGraw-Hill Professional, 2010, (s.e.), str. 198
  9. ŠALÁT, Tibor. Malá encyklopédia matematiky. 3. vyd. Bratislava : Obzor, 1981. Dostupné online. S. 7. (slovensky) 
  10. 10,0 10,1 Šalát, s. 8
  11. Šalát, s. 9
  12. Šalát, s. 10–11
  13. Šalát, s. 10
  14. Šalát, s. 12
  15. Šalát, s. 13
  16. Šalát, s. 14
  17. Šalát, s. 17–19
  18. Šalát, s. 18
  19. HILBERT, David, The Foundations of Geometry, The Open Court Publishing Company, La Salle, Illinois, 1950, s. 2–15, on-line
  20. 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
  21. Mlodinow, s. 95–142
  22. Mlodinow, s. 153–216
  23. Matematika pro gymnázia. Stereometrie. ISBN 978-80-7196-389-9, s. 8
  24. POMYKALOVÁ, Eva. Deskriptivní geometrie pro střední školy. Praha : Prometheus, 2010. ISBN 978-80-7196-400-1. S. 11.  
  25. Kol.: Aplikovaná matematika 1, SNTL, Praha 1977, s. 83–84
  26. VACHTL, Pavel, Fraktály a chaos, Natura, on-line
  27. 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
  28. Aplikovaná matematika 1, s. 420–422
  29. HATCHER, Allen. Algebraic Topology. [s.l.] : Cambridge University Press, 2002. ISBN 0-521-79160-X. (anglicky)  Dostupné online