Geometrio

fako de matematiko pri formo, grando, kaj pozicio de objektoj

Geometrio (de la grekaj γης, "tero", kaj μετρoς, "mezuro") estas branĉo de matematiko, kiu studas spacajn rilatojn (ekz. reciprokan situon), formojn (ekz. geometriajn korpojn), grandojn kaj relativan situon de figuroj kaj ilian ĝeneraligon. La naskiĝo de geometrio okazis en antikveco pro praktikaj bezonoj: mezurado de terpecoj, volumeno ktp. Geometro estas specialisto pri geometrio,[1] nome fakulo pri geometrio, matematikisto, kiu laboras en la kampo de geometrio.

La Géometrie de René Descartes (1637).
Taleso el Mileto.
Skulptaĵo reprezentanta Eŭklidon, Oxford University Museum.
Arkimedo, pentraĵo de Domenico Fetti (1620).

Kvankam geometrio ege evoluis dum sia historio, kelkaj ĝeneralaj konceptoj de geometrio restas fundamentaj. Tiuj estas, ekzemple, la konceptoj punkto, rekto, ebeno, distanco, angulo, surfaco kaj linio, same kiel la pli modernaj nocioj topologio kaj sternaĵo.[2]

Geometrio havas aplikojn en multaj fakoj, kiel arto, arkitekturo, fiziko, same kiel al la aliaj branĉoj de matematiko.[3]

Historio redakti

 
Nikolaj Ivanoviĉ Lobaĉevskij.

Geometrio stariĝis sendepende en nombraj fruaj kulturoj kiel korpuso de praktika sciaro koncerne al longoj, areoj, kaj volumenoj, kun elementoj de formala matematika scienco aperanta en Okcidento tiom frue kiom ĝis Taleso de Mileto (6a jarcento a.K.). Poste la strikta konstruo de geometrio, kiel sistemo de asertoj (teoremo), konsekvence sinsekvaj el nemultaj difinoj de ĉefaj nocioj kaj veraĵoj, akceptitaj sen pruvo (aksiomo), estis donita en antikva Grekio. Tia traktado de geometrio en la “Komencoj” de Eŭklido (ĉ. 300 a.K.), dum preskaŭ 2 mil jaroj servis kiel modelo por aksioma metodo kaj baza konstruo de t.n. "Eŭklida geometrio" sekvota dum multaj jarcentoj.[4] Arkimedo disvolvigis ingeniajn teknikojn por la kalkulado de areoj kaj volumenoj, en multaj manieroj pionire de la moderna integrala kalkulo. La fako astronomio, ĉefe ĉar ĝi rilatas al mapado kaj al la situoj de steloj kaj planedoj en la ĉielosfero kaj al priskribado de rilatoj inter movoj de ĉielaj korpoj, utilis kiel grava fonto de geometriaj problemoj dum la venontaj unu kaj duona jarmiloj. En la klasika mondo, kaj geometrio kaj astronomio esris konsiderataj parto de Quadrivium, subfako de la sep Sep liberaj artoj konsideritaj esencaj por ke libera civitano mastru.

La reviviĝo de la scienco kaj arto en Eŭropo stimulis evoluon de geometrio, kies teoria bazo estis Projekta Geometrio. Kartezio (Rene Descartes) proponis metodon de koordinatoj, kiu permesis interligi geometrion kun algebro kaj matematika analizo, rezultanta naskon de analiza geometrio kaj diferenciala geometrio. De tiam geometriaj figuroj kiaj ebenaj kurboj estos reprezentataj analize en la formo de funkcioj kaj ekvacioj, Tio ludis ŝlosilan rolon en la apero de la infinitezima kalkulo en la 17a jarcento. Krome, la teorio de perspektivoj montris, ke estas pli al geometrio ol ĝuste la mezuraj propraĵoj de figuroj: perspektivo estas la origino de projekcia geometrio. La subjekto de geometrio estis plue pliriĉigita per la studo de la esenca strukturo de geometriaj objektoj kiuj originiĝis ĉe Euler kaj Gauss kaj kondukis al la kreado de la topologio kaj de la diferenciala geometrio.

En la epoko de Eŭklido, ne estis klara distingo inter fizika kaj geometria spacoj. Ekde la 19a-jarcenta malkovro de ne-Eŭklida geometrio, la koncepto de spaco suferis radikalan transformadon kaj levigis la demandon pri kiu geometria spaco ple bone kongrus kun fizika spaco. En 1826 N. Lobaĉevskij konstruis hiperbolan geometrion, diferencantan de la eŭklida geometrio per la aksiomo pri paraleloj. En la mezo de 19-a jarcento estis esploritaj multmezuraj spacoj. Vasta fako de geometrio estis fondita en la verkoj de B. Riemann. La ĝeneraligo de la ĉefobjekto de geometrio - spaco, ebligis ĝian fruktodonan uzadon ne nur en matematikaj sciencoj, sed ankaŭ en fiziko, meĥaniko k.a.

Kun la apero de la formala matematiko en la 20a jarcento, 'spaco' (ĉu 'punkto', 'linio', aŭ 'surfaco') perds sian intuiciajn enhavojn, kaj tiele nuntempe oni devas distingi inter fizika spaco, geometriaj spacoj (en kiuj 'spaco', 'punkto' ktp., kiuj ankoraŭ havas sian intuiciajn signifojn) kaj abstraktaj spacoj. Nuntempa geometrio konsideras sternaĵojn, nom spacojn kiuj estas konsiderinde pli abstraktaj ol la familiara Eŭklida spaco, al kiu ili nur proksimume similas je malgrandaj skaloj. Tiuj spacoj povas esti dotitaj per aldona strukturo kiu permesas onin paroli pri longo. Moderna geometrio havas multaj ligojn al fiziko kiel estas ekzempligita de la ligoj intee la pseŭdo-Riemannian-a geometrio kaj la ĝenerala teorio de relativeco. Unu el la plej novaj fizikaj teorioj, nome la Kordoteorio, estas ankaŭ tre geometrieca.

Dum la vida naturo de geometrio faras ĝin dekomence pli alirebla ol aliaj matematikaj areoj kiaj algebro aŭ Nombroteorio, geometria lingvaĵo estas uzata ankaŭ en kuntekstoj tre foraj el sia tradicia eŭklida deveno (por ekzemplo, ĉe fraktala geometrio kaj ĉe algebra geometrio).[5]

Gravaj konceptoj en geometrio redakti

Kelkaj el la plej gravaj konceptoj en geometrio estas jenaj.[2][6][7]

Aksiomoj redakti

 
Bildo de la paralela postulato de Eŭklido.
  Pli detalaj informoj troveblas en artikoloj Eŭklida geometrio kaj Aksiomo.

Eŭklido efektivigis abstraktan aliron al geometrio en sia verko Elementoj,[8] unu el la plej influaj libroj iam verkitaj.[9] Eŭklido bazis sian aliron sur kelkaj aksiomoj (alinome: postulatoj) esprimantaj unuarangajn aŭ mem-evidentajn ecojn de punktoj, rektoj kaj ebenoj.[10] Li rigore deduktis aliajn proprecojn per matematika racieco. La karaktera trajto de la alproskimigo de Eŭklido al geometrio estis lia rigoro, kaj ĝi estis konata kiel aksiomecasinteza geometrio.[11] Komence de la 19a jarcento, la malkovro de la ne-Eŭklidaj geometrioj fare de Nikolaj Lobaĉevskij (1792–1856), János Bolyai (1802–1860), Carl Friedrich Gauss (1777–1855) kaj aliaj[12] kondukis al revivigo de intereso en tiu fako, kaj en la 20a jarcento, David Hilbert (1862–1943) uzis aksioman raciecon en klopodo havigi modernan fundamenton de geometrio.[13]

Punktoj redakti

  Pli detalaj informoj troveblas en artikolo Punkto (matematiko).

Punktoj estas konsiderataj fundamentaj konceptoj en la Eŭklida geometrio. Ili estis difinitaj per vario de manieroj, kiel per la difino de Eŭklido kiel 'kio kio ne havas partojn'[14] kaj tra la uzado de algebro aŭ de nestoserioj.[15] En multaj areoj de geometrio, kiel en analiza geometrio, diferenciala geometrio, kaj topologio, ĉiuj objektoj estas konsiderataj konstruitaj el punktoj. Tamen, estis iome da studo de geometrio senreference al punktoj.[16]

Rektoj redakti

  Pli detalaj informoj troveblas en artikolo Rekto.

Eŭklido priskribis rekton kiel "senspira longo" kiu "kuŝas egale kun rilato al la punktoj en si mem".[14] En moderna matematiko, havigita la multeco de geometrioj, la koncepto de rekto estas tre ligata al la maniero kiel la geometrio estas priskribita. Por ekzemplo, en analiza geometrio, rekto en ebeno estas ofte difinita kiel la serio de punktoj kies koordinatoj kontentigas difinitan linearan ekvacion,[17] sed en pli abstrakta konsidero, kiel en incida geometrio, rekto povas esti sendependa objekto, distingebla el la serio de punktoj kiuj kuŝas en ĝi.[18] En diferenciala geometrio, geodezia kurbo estas ĝeneraligo de la nocio de rekto ĝis kurbaj spacoj.[19]

Universala ekvacio de rekto redakti

Universala ekvacio de rekto estas jena formulo:

A x + B y + C = 0

kie A, B, C - laŭvolaj reelaj nombroj .Sed almenaŭ unu el A kaj B ne estas nulo.

(x, y) - koordinatoj de punkto en rekto.

Vektoro [A, B] estas orta al rekto, kaj vektoro [-A, B] estas paralela al rekto.

Rimarku: unu rekto povas havi pli ol unu universala ekvacio. Sed koeficiento devas:  . Ĉar oni sufiĉas ke universala ekvacio multiplikas de laŭvola ne nula nombro kaj estos alia ekvacio sed ĝi priskribos saman rekton.

Ebenoj redakti

  Pli detalaj informoj troveblas en artikolo Ebeno (matematiko).
 
Du ebenoj intersekcantaj.

Ebeno aŭ ebenaĵo estas ebena, du-dimensia surfaco kiu etendiĝas senfine for.[14] Ebenoj estas uzataj en ĉiu areo de geometrio. Por ekzemplo, ebenoj povas esti studataj kiel topologiaj surfacoj senreference al distancoj aŭ anguloj;[20] ili povas esti studataj kiel afina spaco, kie kunlineareco kaj proporcioj povas esti studataj sed ne distancoj;[21] ili povas esti studataj kiel kompleksa ebeno uzante teknikojn de kompleksa analitiko;[22] kaj tiel plu.

Eŭklida ebeno redakti

Kiel la eŭklida spaco, ebeno estas tia spaco, kiu, estante du malsamaj punktoj, enhavas la unikan rekton, kiu trapasas tiujn punktojn. Ebeno kiu estas eŭklida spaco estas nomata kiel eŭklida ebeno aŭ ℝ2.

La fundamenta strukturo de tiaj du ebenoj ĉiam estos la sama. En matematiko, tio estas topologia ekvivalento, kio signifas, ke ĉiuj ajn ebenoj ŝajnas egalaj. En eŭklida ebeno povas esti difinita koordinatosistemo el du koordinatoj, kiu povas difini ĉiun punkton en la ebeno. Karteziaj koordinatoj estas plej kutime uzataj, ili tie havas abscison kaj ordinaton.

Anguloj redakti

  Pli detalaj informoj troveblas en artikolo Angulo.

Eŭklido difinis ebenan angulon kiel la klino de unu al alia, en ebeno, de du rektoj kiuj kuniĝas unu al la alia, kaj ne kuŝas rekte rilate unu al la alia.[14] En modernaj terminoj, angulo estas la figuro formata de du radioj, nomataj la flankoj de la angulo, kiuj kunhavas komunan finpunkton, nomata vertico de la angulo.[23]

 
Akuta (a), obtuza (b), kaj rekta (c) anguloj. La akuta kaj obtuza anguloj estas konataj ankaŭ kiel oblikvaj anguloj.

En Eŭklida geometrio, anguloj estas uzataj por studi plurlaterojn kaj triangulojn, same kiel por formi studobjektojn per si mem.[14] La studo de anguloj de triangulo aŭ de anguloj en unuocirklo formas la bazon de trigonometrio.[24]

En diferenciala geometrio kaj kalkulo, la anguloj inter ebenaj aŭ spacaj aŭ surfacaj kurboj povas esti kalkulataj uzante derivaĵojn.[25][26]

Kurboj redakti

  Pli detalaj informoj troveblas en artikolo Kurbo.

Kurbo estas 1-dimensia objekto kiu povas esti durekta (kiel linio) aŭ ne; kurboj en 2-dimensia spaco estas nomataj ebenaj kurboj kaj tiuj en 3-dimensia spaco estas nomataj spacaj kurboj.[27]

En topologio, kurbo estas difinita per funkcio el intervalo de la reelaj nombroj al alia spaco.[20] En diferenciala geometrio, la sama difino estas uzata, sed oni postulas, ke la difinanta funkcio estu diferencialebla [28] Algebra geometrio studas algebrajn kurbojn, kiuj estas difinitaj kiel algebraj variaĵoj de dimensio unu.[29]

Kompakta kurbo estas sternaĵo de dimensio 1, alivorte kontinuumo en kiu por ĉiu ĝia punkto, kaj laŭvola ĉirkaŭaĵo de ĉi tiu punkto ekzistas ia ĉirkaŭaĵo de punkto, kiu entenas en lastan, kiu rando ne havas kontinuumon, kiu konsistas el ne pli ol unu punkto (ĉiaj punktoj havas laŭvolan ĉirkaŭaĵon kun 0-dimensia rando).

En elementa geometrio oni esploras rektan linion aŭ rekton, detranĉojn de rekto, rompitan linion, kurban linion aŭ kurbon. Ĉiu speco de linio estas determinita per speciala maniero, ekz. cirklo estas aro de tiuj punktoj, kiuj egale distancas de la donita punkto O". Oni nomas la punkton O - centro de la cirklo, kaj la distancon R - radiuso de la cirklo.

Surfacoj redakti

  Pli detalaj informoj troveblas en artikolo Rekto.
 
Sfero estas surfaco kiu povas esti difinita parametrike (per x = r sin θ cos φ, y = r sin θ sin φ, z = r cos θ) aŭ implice (per x2 + y2 + z2r2 = 0.)

Surfaco estas du-dimensia objekto, kiel sfero aŭ paraboloido.[30] En diferenciala geometrio[28] kaj topologio,[20] surfacoj estas priskribitaj per du-dimensiaj 'zonoj' (aŭ ĉirkaŭaĵo) kiuj estas kunigitaj per difeomorfioj aŭ per homeomorfioj, respektive. En algebra geometrio, surfacoj estas priskribitaj per polinomaj ekvacioj.[29]

Sternaĵoj redakti

  Pli detalaj informoj troveblas en artikolo Sternaĵo.

Sternaĵo estas ĝeneraligo de la konceptoj de kurbo kaj surfaco. En topologio, sternaĵo estas topologia spaco en kiu ĉiu punkto havas ĉirkaŭaĵon kiu estas homeomorfia al Eŭklida spaco.[20] En diferenciala geometrio, diferencialabla sternaĵo estas spaco en kiu ĉiu ĉirkaŭaĵo estas difeomorfia al Eŭklida spaco.[28]

Sternaĵoj estas uzataj etende en fiziko, kiel en ĝenerala relativeco kaj en kordoteorio.[31]

Longo, areo kaj volumeno redakti

  Pli detalaj informoj troveblas en artikoloj Longo, Areo kaj Volumeno.

Longo, areo kaj volumeno priskibas la grandon aŭ etendon de objekto en unu dimensio, du dimensioj kaj tri dimensioj respektive.[32]

En Eŭklida geometrio kaj en analiza geometrio, la longo de rektosegmento povas ofte esti kalkulita pere de la Pitagora teoremo.[33]

Areo kaj volumeno povas esti difinitaj kiel fundamentaj kvantoj aparte el longo, aŭ ili povas esti priskribitaj kaj kalculataj en terminoj de longoj en ebeno aŭ en 3-dimensia spaco.[32] Matematikistoj trovis multajn klarajn formulojn por areoj kaj formulojn por volumeno de variaj geometriaj objektoj. En kalkulo, areo kaj volumeno povas esti difinitaj en terminoj de integraloj, kiel la Rimana integralo[34] aŭ la Lebesga integralo.[35]

Metriko kaj mezuroj redakti

  Pli detalaj informoj troveblas en artikoloj Metriko (matematiko) kaj Mezuro (matematiko).
 
Vida testo de la Pitagora teoremo por la (3, 4, 5) triangulo kiel ĉe la verko Ĵoŭbi Suanĝing 500–200 a.n.e. La Pitagora teoremo estas rezulto de la Eŭklida metriko.

La koncepto de longo aŭ distanco povas esti ĝeneraligita, konduke al la ideo de metriko.[36] Por ekzemplo, la Eŭklida metriko mezuras la distancon inter punktoj en la Eŭklida ebeno, dum la hiperbola metriko mezuras la distancon en la hiperbola ebeno. Aliaj gravaj ekzemploj de metriko estas la Lorentz-a metriko de speciala relativeco kaj la duon-Rimana metriko de la ĝenerala relativeco.[37]

En diferenca direkto, la konceptoj de longo, areo kaj volumeno estas etenditaj pere de la mezurteorio, kiu studas metodojn atribui grandon aŭ mezuron al aroj, kie la mezuroj sekvas regulojn similajn al tiu de klasikaj areo kaj volumeno.[38]

Kongruo kaj simileco redakti

  Pli detalaj informoj troveblas en artikolo Simileco (geometrio).

Kongruo kaj simileco estas konceptoj kiuj priskribas kiam du formoj havas similajn karakterojn.[39] En Eŭklida geometrio, simileco estas uzata por priskribi objektojn kiuj havas la saman formon, dum kongruo estas uzata por priskribi objektojn kiuj estas samaj kaj laŭ grando kaj laŭ formo.[40] Hilbert, en sia verko pri la kreado de pli rigora fundamenton por geometrio, traktis kongruon kiel nedifinita termino kies proprecoj estas difintaj per aksiomoj.

Kongruo kaj simileco estas ĝeneraligitaj en transforma geometrio, kiu studas la ecojn de geometriaj objektoj, kiuj estas konservataj per diferencaj tipoj de transformoj.[41]

Rektilo kaj cirkelo redakti

  Pli detalaj informoj troveblas en artikolo Rektilo kaj cirkelo.

Klasika geometrio dediĉis specialan atenton al konstruado de geometriaj objektoj kiuj esti priskribitaj alimaniere. Klasike, la nuraj instrumentoj permesitaj en geometria konstruado estas la cirkelo kaj la rektilo. Krome, ĉia geometria konstruaĵo devas esti kompletigita en finhava nombro de ŝtupoj. Tamen, kelkaj problemoj rezultis malfacile aŭ maleble solveblaj per nur tiuj rimedoj, kaj oni trovis ingeniajn konstruojn uzante parabolojn kaj aliajn kurbojn, same kiel meĥanikajn aparatojn. Vidu sube ĉapitron Klasikaj problemoj.

Dimensio redakti

  Pli detalaj informoj troveblas en artikolo Dimensio.
 
La Neĝero de Koch, kun fraktala dimensio=log4/log3 kaj topologia dimensio=1.

Kie la tradicia geometrio permesis dimensiojn 1 (rekto), 2 (ebeno) kaj 3 (la medio konceptita kiel Tri-dimensia spaco), matematikistoj kaj fizikistoj estis uzantaj pli altajn dimensiojn dum preskaŭ du jarcentoj.[42] Unu ekzemplo de matematika uzo por pli altaj dimensioj estas la formospaco de fizika sistemo, kiu havas dimension egalan al la liberecgradoj de la sistemo. Por ekzemplo, la formado de ŝraŭbo povas estis priskribita per kvin koordinatoj.[43]

En ĝenerala topologio, la koncepto de dimensio estis etendita el naturaj nombroj, al senfina dimensio (Hilbertaj spacoj, por ekzemplo) kaj al pozitivaj reelaj nombroj (en fraktala geometrio).[44] En algebra geometrio, la dimensio de algebra varieco estis ricevinta nombrajn ŝajne diferencajn difinojn, kiuj estas ĉiuj ekvivalentaj en plej oftaj okazoj.[45]

Simetrio redakti

  Pli detalaj informoj troveblas en artikolo Simetrio.
 
Kahelaro de hiperbola ebeno.

La temo de simetrio en geometrio estas preskaŭ tiom antikva kiom la scienco de geometrio mem.[46] Simetriaj fgormoj kiaj la cirklo, la regulaj plurlateroj kaj platonaj solidoj havis profundajn signifojn por multaj antikvaj filozofoj[47] kaj estis esploritaj detale antaŭ la tempo de Eŭklido.[10] Simetriaj modeloj ekzistas en la naturo kaj estis arte ripetitaj de homoj en multaj formoj, kiel en la bildoj de da Vinci, M.C. Escher, kaj aliaj.[48] En la dua duono de la 19a jarcento, la rilato inter simetrio kaj geometrio venis al intensa pridemandado. La Erlangen programo de Felix Klein proklamis, ke en tre preciza senco, simetrio, esprimita per la nocio de transforma grupo, determinas tion, kio geometrio estas.[49] Simetrio en klasika Eŭklida geometrio estas reprezentata per kongruoj kaj rigidaj movoj, dum en projekcia geometrio analoga rolo estas ludata per kunliniigoj, geometria transformado, kiu konvertas rektojn en rektojn.[50] Tamen estis en la novaj geometrioj de Bolyai kaj Lobaĉevskij, Riemann, Clifford kaj Klein, kaj Sophus Lie en kiuj la ideo de Klein por 'difini geometrion tra sia simetria grupo' trovis sian inspiron.[51] Kaj diskretaj kaj kontinuaj simetrioj ludas gravan rolon en geometrio, la unuaj en topologio kaj en la geometria grupoteorio,[52][53] kaj la lastaj en la teorio de Lie kaj en la geometrio de Bernhard Riemann.[54][55]

Diferenca tipo de simetrio estas la principo de dueco en projekcia geometrio, inter aliaj fakoj. Tiu meta-fenomenono povas iom estis priskribita jene: en ajna teoremo, ŝanĝi punkto al ebeno, kunigi al kuniĝi, kuŝas en al enhavas, kaj la rezulto estas egale vera teoremo.[56] Simila kaj tre rilata formo de dueco ekzistas inter vektora spaco kaj ties dueca spaco.[57]

Ĉefaj branĉoj de geometrio redakti

Eŭklida geometrio redakti

  Pli detalaj informoj troveblas en artikolo Eŭklida geometrio.
 
La kvin postulatoj de Eŭklido kaj la formulado de la kvina preferata hodiaŭ

Eŭklida geometrio estas geometrio en sia klasika senco.[58] Ĉar ĝi modeligas la spacon de la fizika mondo, ĝi estas uzata en multaj sciencaj fakoj, kiel en meĥaniko, astronomio, kristalografio,[59] kaj multaj teknikaj kampoj, kiaj inĝenierado,[60] arkitekturo,[61] geodezio,[62] aerodinamiko,[63] kaj navigado.[64] La deviga eduka studobjektaro de la majoritato de landoj inkludas la studon de Eŭklidaj konceptoj kiaj punktoj, rektoj, ebenoj, anguloj, trianguloj, kongruoj, simileco, solidaj figuroj, cirkloj, kaj analiza geometrio.[6]

Topologio redakti

Topologio en matematiko havas du signifojn. Ĝi estas:

  1. matematika strukturo, per kiu oni studas la nociojn de kontinueco, konekseco, kaj konverĝado; kaj
  2. tiu branĉo de matematiko, kiu okupiĝas pri tiuj ĉi nocioj.

Analiza geometrio redakti

Analiza geometrio estas la fako de geometrio, en kiu proprecoj de geometriaj figuroj (punkto, linio, surfaco) determiniĝas per rimedoj de algebro helpe de metodo de koordinatoj, t.e. per studo de proprecoj de ekvacioj, kies grafikoj estas la menciitaj figuroj. En analiza geometrio oni ekzamenas liniojn (surfacojn) de 1-a kaj 2-a gradoj. Linioj (surfacoj) de 1-a grado estas rektoj (ebenoj), inter linioj (surfacoj) de 2-a grado - elipsoj, hiperboloj, paraboloj (elipsoidoj, hiperboloidoj, paraboloidoj). Analizan geometrion unue pristudis Kartezio en 1-a duono de 17-a jarcento.

Diferenciala geometrio redakti

Diferenciala geometrio estas la fako de geometrio, en kiu geometriaj figuroj determiniĝas surbaze de metodo de koordinatoj per la rimedoj de diferenciala kalkulo. La origina objekto de diferenciala geometrio estis pristudo de geometriaj figuroj de ordinara 3-dimensia spaco (linio, surfaco). De la 2-a duono de 19-a jarcento, la kadroj de diferenciala geometrio grave plivastiĝis, inkludante ankaŭ esploron de multdimensia spaco. Diferenciala geometrio estas grava instrumento por esploroj en meĥaniko, teorio de relativeco, k.a.

Desegna geometrio redakti

Desegna geometrio estas la fako de geometrio, en kiu geometriaj figuroj determiniĝas per konstruo de iliaj bildoj sur projekciaj ebenoj. Kelkaj ideoj de desegna geometrio estis prilaboritaj en 16a-17a jarcentoj, sed kiel sendependa scienco ĝi formiĝis nur ĉe la fino de 18-a jarcento pere de Gaspard Monge kaj pro la kreskantaj praktikaj bezonoj de inĝenierarto.

Planimetrio redakti

 
Projekcio de kubo en 2 dimensioj; kubo estas unu el plej konataj kaj facilaj korpoj studitaj en geometrio.

Planimetrio (de la latina Planum, "ebeno") estas la fako de elementa geometrio, kiu pristudas proprecojn de figuroj, kuŝantaj en surfaco.

Stereometrio redakti

Stereometrio estas la fako de elementa geometrio, kiu pristudas proprecojn de figuroj en spaco.

Sfera geometrio redakti

  Pli detalaj informoj troveblas en artikolo Sfera geometrio.

Sfera geometrio estas la fako de matematiko, kiu esploras figurojn sur sfero. Evoluo de ĉi tiu branĉo en antikveco estis ligita kun la problemoj de sfera astronomio.

Klasikaj problemoj redakti

 
Demonstro de la kvin konstruadoj bazaj per liniilo kaj cirkelo. supre la donitaĵoj kaj malsupre - la konstruo (ordo de agoj de maldekstre dekstren)

Por konstruado per rektilo kaj cirkelo, jen kelkaj el la klasikaj geometriaj problemoj:

  1. Kiel duobligi kubon?
  2. Kiel trionigi angulon?
  3. Kiel krei kvadraton kiu havas la saman surfacon kiel difinita cirklo?

Pli precize, en ĉiuj tri problemoj, la tasko estas establi geometrian konstrumanieron (ekz. por trionigi ajnan donitan angulon), uzante sole liniilon kaj cirkelon. Pri ĉiuj tri problemoj okupiĝis jam la grekoj antaŭ pli ol dumil jaroj. Per la teorio de Galois pri aŭtomorfismoj de korpoj oni montras facile ke 1. kaj 2. ne allasas ĝeneralan solvon. Ankaŭ la 3-a problemo ne estas solvebla; por pruvi tion, oni bezonas aldone la teoremon de Lindemann pri la transcendeco de la nombro pi.

Geometriaj elementoj redakti

 
Neregula seslatera piramido.

Vidu ankaŭ redakti


Notoj redakti

  1. PIV
  2. 2,0 2,1 Tabak, John. (2014) Geometry: the language of space and form. Infobase Publishing. ISBN 978-0816049530.
  3. Walter A. Meyer. (21-a de februaro 2006) Geometry and Its Applications. Elsevier. ISBN 978-0-08-047803-6.
  4. Martin J. Turner,Jonathan M. Blackledge, Patrick R. Andrews (1998). Fractal geometry in digital imaging. Academic Press. p. 1. ISBN 0-12-703970-8
  5. Estas tre ofta ĉe algebra geometrio paroli pri geometrio de algebra varieco super finitaj kampoj, eble singulare. El naiva perspektivo, tiuj objektoj estas ĝuste finitaj serioj de punktoj, sed laŭ pova geometria imagaro kaj uzante bone disvolvigitajn geometriajn teknikojn, eblas trovi strukturon kaj statigi propraĵojn kiuj faras ilin iome analogaj al la ordinaraj sferojkonusoj.
  6. 6,0 6,1 Schmidt, W., Houang, R., & Cogan, L. (2002). "A coherent curriculum". American Educator, 26(2), 1–18.
  7. Morris Kline. (March 1990) Mathematical Thought From Ancient to Modern Times: Volume 3. Oxford University Press, USA, p. 1010–. ISBN 978-0-19-506137-6.
  8. Victor J. Katz. (21a de septembro 2000) Using History to Teach Mathematics: An International Perspective. Cambridge University Press, p. 45–. ISBN 978-0-88385-163-0.
  9. David Berlinski. (8a de aprilo 2014) The King of Infinite Space: Euclid and His Elements. Basic Books. ISBN 978-0-465-03863-3.
  10. 10,0 10,1 Robin Hartshorne. (11-a de novembro 2013) Geometry: Euclid and Beyond. Springer Science & Business Media, p. 29–. ISBN 978-0-387-22676-7.
  11. (16a de marto 2017) The Learning and Teaching of Geometry in Secondary Schools: A Modeling Perspective. Taylor & Francis, p. 20–. ISBN 978-1-351-97353-3.
  12. I.M. Yaglom. (6a de decembro 2012) A Simple Non-Euclidean Geometry and Its Physical Basis: An Elementary Account of Galilean Geometry and the Galilean Principle of Relativity. Springer Science & Business Media, p. 6–. ISBN 978-1-4612-6135-3.
  13. Audun Holme. (23-a de septembro 2010) Geometry: Our Cultural Heritage. Springer Science & Business Media, p. 254–. ISBN 978-3-642-14441-7.
  14. 14,0 14,1 14,2 14,3 14,4 Euclid's Elements – All thirteen books in one volume, Baze sur la traduko de Heath, Green Lion Press (ISBN 1-888009-18-7).
  15. (Jan 1985) “Individuals and Points”, Notre Dame Journal of Formal Logic 26 (1), p. 61–75. doi:10.1305/ndjfl/1093870761. 
  16. Gerla, G.. (1995) “Pointless Geometries”, Buekenhout, F.: Handbook of incidence geometry: buildings and foundations. North-Holland, p. 1015–1031.
  17. John Casey. (1885) Analytic Geometry of the Point, Line, Circle, and Conic Sections.
  18. Buekenhout, Francis (1995), Handbook of Incidence Geometry: Buildings and Foundations, Elsevier B.V.
  19. geodesic – definition of geodesic in English from the Oxford dictionary. OxfordDictionaries.com. Arkivita el la originalo je 15-a de julio 2016. Alirita 2016-01-20. Arkivigite je 2016-07-15 per la retarkivo Wayback Machine Arkivita kopio. Arkivita el la originalo je 2016-07-15. Alirita 2020-06-07.
  20. 20,0 20,1 20,2 20,3 Munkres, James R. Topology. Vol. 2. Upper Saddle River: Prentice Hall, 2000.
  21. Szmielew, Wanda. 'From affine to Euclidean geometry: An axiomatic approach.' Springer, 1983.
  22. Ahlfors, Lars V. Complex analysis: an introduction to the theory of analytic functions of one complex variable. New York, London (1953).
  23. Sidorov, L.A. (2001) [1994], "Angle", en Hazewinkel, Michiel (eld.), Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4 Alirita la 7an de junio 2020.
  24. Gelʹfand, Izrailʹ Moiseevič, kaj Mark Saul. "Trigonometry." 'Trigonometry'. Birkhäuser Boston, 2001. 1–20.
  25. Stewart, James (2012). Calculus: Early Transcendentals, 7th ed., Brooks Cole Cengage Learning. (ISBN 978-0-538-49790-9)
  26. Jost, Jürgen (2002), Riemannian Geometry and Geometric Analysis, Berlin: Springer-Verlag, (ISBN 978-3-540-42627-1) .
  27. Baker, Henry Frederick. Principles of geometry. Vol. 2. CUP Archive, 1954.
  28. 28,0 28,1 28,2 Do Carmo, Manfredo Perdigao, kaj Manfredo Perdigao Do Carmo. Differential geometry of curves and surfaces. Vol. 2. Englewood Cliffs: Prentice-hall, 1976.
  29. 29,0 29,1 Mumford, David. (1999) The Red Book of Varieties and Schemes Includes the Michigan Lectures on Curves and Their Jacobians, 2‑a eldono, Springer-Verlag. ISBN 978-3-540-63293-1.
  30. Briggs, William L., kaj Lyle Cochran Calculus. "Early Transcendentals." (ISBN 978-0321570567).
  31. Yau, Shing-Tung; Nadis, Steve (2010). The Shape of Inner Space: String Theory and the Geometry of the Universe's Hidden Dimensions. Basic Books. (ISBN 978-0-465-02023-2).
  32. 32,0 32,1 Steven A. Treese. (17a de majo 2018) History and Measurement of the Base and Derived Units. Springer International Publishing, p. 101–. ISBN 978-3-319-77577-7.
  33. James W. Cannon. (16-a de novembro 2017) Geometry of Lengths, Areas, and Volumes. American Mathematical Soc., p. 11. ISBN 978-1-4704-3714-5.
  34. Gilbert Strang. (1a de januaro 1991) Calculus. SIAM. ISBN 978-0-9614088-2-4.
  35. H. S. Bear. (2002) A Primer of Lebesgue Integration. Academic Press. ISBN 978-0-12-083971-1.
  36. Dmitri Burago, Yu D Burago, Sergei Ivanov, A Course in Metric Geometry, American Mathematical Society, 2001, (ISBN 0-8218-2129-6).
  37. Wald, Robert M. (1984), General Relativity, University of Chicago Press, (ISBN 978-0-226-87033-5) 
  38. Terence Tao. (14a de septembro 2011) An Introduction to Measure Theory. American Mathematical Soc.. ISBN 978-0-8218-6919-2.
  39. Shlomo Libeskind. (12a de februaro 2008) Euclidean and Transformational Geometry: A Deductive Inquiry. Jones & Bartlett Learning. ISBN 978-0-7637-4366-6.
  40. Mark A. Freitag. (1a de januaro 2013) Mathematics for Elementary School Teachers: A Process Approach. Cengage Learning. ISBN 978-0-618-61008-2.
  41. George E. Martin. (6-a de decembro 2012) Transformation Geometry: An Introduction to Symmetry. Springer Science & Business Media. ISBN 978-1-4612-5680-9.
  42. Mark Blacklock. (2018) The Emergence of the Fourth Dimension: Higher Spatial Thinking in the Fin de Siècle. Oxford University Press. ISBN 978-0-19-875548-7.
  43. Charles Jasper Joly. (1895) Papers. The Academy, p. 62–.
  44. Roger Temam. (11a de decembro 2013) Infinite-Dimensional Dynamical Systems in Mechanics and Physics. Springer Science & Business Media. ISBN 978-1-4612-0645-3.
  45. (1994) Recent Advances in Real Algebraic Geometry and Quadratic Forms: Proceedings of the RAGSQUAD Year, Berkeley, 1990-1991. American Mathematical Soc.. ISBN 978-0-8218-5154-8.
  46. Ian Stewart. (29a de aprilo 2008) Why Beauty Is Truth: A History of Symmetry. Basic Books. ISBN 978-0-465-08237-7.
  47. Stakhov Alexey. (11a de septembro 2009) Mathematics Of Harmony: From Euclid To Contemporary Mathematics And Computer Science. World Scientific. ISBN 978-981-4472-57-9.
  48. Werner Hahn. (1998) Symmetry as a Developmental Principle in Nature and Art. World Scientific. ISBN 978-981-02-2363-2.
  49. Brian J. Cantwell. (23a de septembro 2002) Introduction to Symmetry Analysis. Cambridge University Press. ISBN 978-1-139-43171-2.
  50. (9a de marto 2013) Geometry of Lie Groups. Springer Science & Business Media, p. 158ff. ISBN 978-1-4757-5325-7.
  51. Peter Pesic (1a de januaro 2007). Beyond Geometry: Classic Papers from Riemann to Einstein. Courier Corporation. ISBN 978-0-486-45350-7.
  52. Michio Kaku. (6-a de decembro 2012) Strings, Conformal Fields, and Topology: An Introduction. Springer Science & Business Media. ISBN 978-1-4684-0397-8.
  53. (24-a de decembro 2014) Geometric Group Theory. American Mathematical Soc.. ISBN 978-1-4704-1227-2.
  54. W-H. Steeb. (30-a de septembro 1996) Continuous Symmetries, Lie Algebras, Differential Equations and Computer Algebra. World Scientific Publishing Company. ISBN 978-981-310-503-4.
  55. Charles W. Misner. (20-a de oktobro 2005) Directions in General Relativity: Volume 1: Proceedings of the 1993 International Symposium, Maryland: Papers in Honor of Charles Misner. Cambridge University Press, p. 272. ISBN 978-0-521-02139-5.
  56. Linnaeus Wayland Dowling. (1917) Projective Geometry. McGraw-Hill book Company, Incorporated.
  57. G. Gierz. (15-a de novembro 2006) Bundles of Topological Vector Spaces and Their Duality. Springer. ISBN 978-3-540-39437-2.
  58. (6a de decembro 2012) Constructivism and Science: Essays in Recent German Philosophy. Springer Science & Business Media, p. 127–. ISBN 978-94-009-0959-5.
  59. (1886) Science. Moses King, p. 181–.
  60. W. Abbot. (11a de novembro 2013) Practical Geometry and Engineering Graphics: A Textbook for Engineering and Other Students. Springer Science & Business Media, p. 6–. ISBN 978-94-017-2742-6.
  61. (March 2001) Architecture and Geometry in the Age of the Baroque. University of Chicago Press. ISBN 978-0-226-32783-9.
  62. (3-a de junio 2015) Geodesy: The Concepts. Elsevier. ISBN 978-1-4832-9079-9.
  63. (27-a de aprilo 2015) Applied Computational Aerodynamics. Cambridge University Press. ISBN 978-1-107-05374-8.
  64. Roy Williams. (1998) Geometry of Navigation. Horwood Pub.. ISBN 978-1-898563-46-4.

Bibliografio redakti

  • Nikolai I. Lobachevsky, Pangeometry, tradukisto kaj eldonisto: A. Papadopoulos, Heritage of European Mathematics Series, Vol. 4, European Mathematical Society, 2010.
  • Jay Kappraff, A Participatory Approach to Modern Geometry, 2014, World Scientific Publishing, ISBN 978-981-4556-70-5.
  • Leonard Mlodinow, Euclid's Window – The Story of Geometry from Parallel Lines to Hyperspace, UK edn. Allen Lane, 1992.

Eksteraj ligiloj redakti