知識は永遠の輝き

学問全般について語ります

数学的実在とは-幾何学-13-原論と基礎論(11)

2010-03-03 06:45:30 | 数学基礎論/論理学
 『幾何学基礎論』では、線分の比例を導入するために線分同士の積をまず定義しています。これには直線外の点から引ける平行線はただ1本であるというユークリッドの平行の公理が必要です。この線分の積に交換則が成立することの証明には、射影幾何学の定理として有名なパスカルの定理の特殊な場合が使われます。 . . . 本文を読む
コメント