Displaying 1641 – 1660 of 2726

Showing per page

Poznámky k axiomatizaci planimetrie

Zdeněk Halas (2018)

Pokroky matematiky, fyziky a astronomie

Axiomatická metoda je považována za hlavní metodu, kterou je dnes matematika formalizována. Není však jedinou, navíc prošla v průběhu tisíciletí poměrně pestrým vývojem. V tomto příspěvku se pokusíme na základě charakterizace různých typů formalizace matematiky zařadit nejznámější pokusy o axiomatizaci eukleidovské geometrie, zejména Eukleidův, Hilbertův a Birkhoffův.

Pozoruhodné vlastnosti duálních a rovnostěnných čtyřstěnů

Jan Brandts, Michal Křížek (2018)

Pokroky matematiky, fyziky a astronomie

V článku budeme studovat třídu duálních simplexů v  n -rozměrném eukleidovském prostoru. Dokážeme, že tato třída je stejná jako třída tzv. dobře centrovaných simplexů. Dále ukážeme, že jisté přirozené konvergenční vlastnosti duálních trojúhelníků nelze přímo zobecnit do trojrozměrného prostoru. K tomuto účelu představíme rovnostěnné čtyřstěny, což je speciální podtřída dobře centrovaných čtyřstěnů.

Principal bundles, groupoids, and connections

Anders Kock (2007)

Banach Center Publications

We clarify in which precise sense the theory of principal bundles and the theory of groupoids are equivalent; and how this equivalence of theories, in the differentiable case, reflects itself in the theory of connections. The method used is that of synthetic differential geometry.

Currently displaying 1641 – 1660 of 2726