|
|
| (같은 사용자의 중간 판 38개는 보이지 않습니다) |
| 1번째 줄: |
1번째 줄: |
| | *[[/0]] |
|
| |
|
| = 결합기하학 =
| | *[[/1]] |
| '''결합기하학'''(incidence geometry)은 [[결합기하학#결합구조|결합구조]]를 연구하는 학문이다. [[해석기하학]]과 달리 점, 선, 그리고 그 결합만을 생각한다.
| |
|
| |
|
| == 결합구조 ==
| | *[[/2]] [[/2]] |
| <math>\mathscr P</math>, <math>\mathscr L</math>(<math>\mathscr P \cap \mathscr L = \emptyset</math>) 와 <math>\mathscr I\subseteq \mathscr P \times \mathscr L</math>가 [[집합]]일 때, <math>\sigma = (\mathscr P, \mathscr L, \mathscr I)</math>을 '''결합구조'''(incidence structure), 또는 '''기하학적 구조'''(geometric structure)라 한다. 만약 <math>\mathscr P</math>와 <math>\mathscr L</math>이 [[유한]]이면, <math>\sigma</math>를 '''유한결합구조'''라 한다. 여기서 <math>\mathscr P</math>는 [[점]]들의 집합이고, <math>\mathscr L</math>은 [[선]]<ref>흔히 생각하는 직선일 필요는 없다. 아래의 [[아핀 평면#예시]] 참조.</ref>들의 집합이다. <math>\mathscr P</math>와 <math>\mathscr L</math>의 [[교집합]]이 [[공집합|공]]이라는 것은, 점과 선을 같은 것으로 보지 않겠다는 말이다.
| |
|
| |
|
| 주어진 점 <math>p, q\in\mathscr P</math>에 대하여, <math>\exists L \in \mathscr L \text{ s.t. } (p,L),(q,L)\in \mathscr I</math>이면 '''<math>p</math>와 <math>q</math>는 jointed'''라 하고, 만약 위를 만족하는 선 <math>L</math>이 단 하나 존재하면 '''<math>L</math>은 <math>p</math>와 <math>q</math>에 의하여 결정된다'''고 한다(선 <math>L</math>을 <math>p</math>와 <math>q</math>의 '''join'''이라 하고 <math>pq:=L</math>로 쓴다.) 비슷하게, 주어진 <math>L, M\in \mathscr L</math>에 대하여 <math>\exists p \in \mathscr P \text{ s.t. } (p,L),(p,M)\in \mathscr I</math>이면, '''<math>L</math>과 <math>M</math>이 만난다'''고 하며, 그러한 <math>p</math>가 유일하면 '''<math>p</math>는 <math>L</math>과 <math>M</math>에 의하여 결정된다'''고 한다(점 <math>p:=L\cap M</math>을 <math>L</math>과 <math>M</math>의 '''교점'''이라고 한다.) 또한 <math>[p(\in\mathscr P)\in L (\in \mathscr L)] \overset{def}{\Leftrightarrow} [(p, L) \in \mathscr I]</math>로 쓰기도 하며, 기하학적 구조를 표기할 때 <math>\mathscr I</math>를 생략하기도 한다.
| | *[[/3]] |
| | |
| == 평면 ==
| |
| We shall call incidence structures <math>\pi=(\mathscr P , \mathscr I)</math> satisfying following axioms '''planes''':
| |
| | |
| * <math>\forall p, q \in\mathscr P \exists ! L \in \mathscr L \text{ s.t. }p, q\in L,</math>
| |
| * <math>\forall L\in\mathscr L \exists p, q\in\mathscr P (p \ne q) \text{ s.t. } p, q \in L.</math>
| |
| | |
| === 아핀 평면 ===
| |
| We call incidence structures satisfying following axioms '''affine planes''':
| |
| | |
| * <math>\exists L \in \mathscr L,</math>
| |
| * <math>\forall L \in \mathscr L \exists p, q\in \mathscr P (p \ne q) \text{ s.t. }p,q\in L,</math>
| |
| * <math>\forall L \in \mathscr L \exists r\in\mathscr P \text{ s.t. }r \notin L,</math>
| |
| * <math>\forall p,q \in \mathscr P (p\ne q)\exists ! L=pq\in \mathscr L,</math>
| |
| * <math>\forall L \in \mathscr L \forall p (\notin L) \in \mathscr P \exists ! M \in \mathscr L \text{ s.t. } p \in M \wedge L \| M.</math> (<math>L \| M</math> means <math>\not \exists L \cap M</math>.)
| |
| | |
| And every affine plane is a plane.
| |
| | |
| === 실-아핀 평면 ===
| |
| We call incidence structures <math>\alpha_\mathbb R</math> satisfying following axioms '''real affine planes''':
| |
| * <math>\mathscr P \subseteq \mathbb R^2,</math>
| |
| * <math>L(\in \mathscr L) = \{(x,y)|ax+by+c=0 \wedge a, b, c\in\mathbb R \wedge \neg(a=0\wedge b=0) \},</math>
| |
| * <math>(x_0 , y_0) \in \{ (x,y)|ax+by+c = 0\} \Longleftrightarrow ax_0 + by_0 + c = 0.</math>
| |
| | |
| And every real affine plane is an affine plane.
| |
| | |
| === 사영 평면 ===
| |