[Math] Projective Space: $\mathbb{P}^n$, n차원 투영공간

$n$ dimension의 real projective space $\mathbb{P}^n$는 다음과 같은 set(집합)임.

$$\mathbb{P}^n = \mathbb{R}^{n+1} - \mathbf{0} $$

---

Projective space 에서는 duality가 성립하여,

• 해당 space에 속하는 element인 vector들은
• point 일수도 있고, line일수도 있음
• (point에서 성립하는 것은 line에서도 성립:duality)

2024.06.28 - [.../Math] - [Math] Duality of Projective Geometry

[Math] Duality of Projective Geometry

---

 

Projective space는

• Affine space에
• parallel lines가 교차하는 one point at infinity (=ideal point) 가 추가된 것임.

예를 들어. $\mathbb{P}^2$는

• homogeneous coordinates로 표현될 때
• 3개의 elements를 가지는 vector 로서 표현되고,

아래와 같은 equivalent (동치관계: 아래에서 등호로 표시함)가 성립함

$$\begin{bmatrix} x \\ y \\ z \end{bmatrix} = k\begin{bmatrix} x \\ y \\ z \end{bmatrix} = \begin{bmatrix} \frac{x}{z} \\ \frac{y}{z} \\ 1\end{bmatrix}$$ 

---

위의 homogeneous coordinates는 다음의 수식처럼

• $\mathbb{R}^2$의 point에 대응될 수 있고, 
• $\mathbb{R}^2$의 line에 대응될 수 있음.

$$(x,y) \rightarrow \begin{bmatrix}x \\ y \\ 1\end{bmatrix}, ax+by+c=0 \rightarrow \begin{bmatrix} a \\ b \\ c \end{bmatrix}$$

2024.06.16 - [.../Math] - [Math] Homogeneous Coordinate and Projective Geometry

[Math] Homogeneous Coordinate and Projective Geometry

2024.06.16 - [.../Math] - [CV] Intersection and Ideal Point; Homogeneous Coordinate and Cross Product

[CV] Intersection and Ideal Point; Homogeneous Coordinate and Cross Product

 

 

기하학적으로 살펴보면,

• 2-Dimenstional Projective Space $\mathbb{P}^2$ 는 일종의 set이기 때문에,
• 이 set에 포함되는 element는 각각 다음 그림에서 origin(원점)을 제외한 line에 해당함.
• (각 line을 이루는 3차원의 점들은 $\mathbb{P}^2$에서 동치관계임: 해당 line으로 p에 투영.)

---

더 읽어보면 좋은 자료들

https://www.math.toronto.edu/mathnet/questionCorner/projective.html

Question Corner -- Understanding Projective Geometry

https://alida.tistory.com/13

다중관점기하학(Multiple View Geometry in Computer Vision) 책 내용 정리 Part 1