Poznámka k analytické geometrii
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.
V článku budeme studovat třídu duálních simplexů v -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ů.
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.