[Math] Duality of Projective Geometry

2024. 6. 28. 11:28·.../Math
728x90
728x90

Duality of Projective Geometry

projective geometry(사영기하학)에서 duality(이중성) 는
point(점)과 line(직선) 사이의 역할을 교환해도 성질이 변하지 않는 관계를 의미함

 

이 글은 projective geometry에서 duality(이중성)를 예를 통해 설명함.


duality(이중성)의 기본 원리

projective geometry(사영기하학)에서의 duality(이중성)는 다음과 같은 방식으로 정의됨:

  • point과 line의 interchange(교환):
    • 어떤 theorem(정리)가 point에 대해 성립(true)한다면,
    • 그 theorem에서 point를 line으로, line을 point로 바꾸어도 성립함. 

Example 0

Original Theorem

  • Theorem: 두 point를 지나는 유일한 line이 존재함.
    • 예: 점 $A$와 점 $B$가 주어지면, 이 두 점을 지나는 유일한 직선 $\ell$이 존재함.

Application of duality(이중성) principle

  • Dual Theorem: 두 line을 지나는 유일한 point가 존재함.
    • 예: 직선 $\ell_1$과 직선 $\ell_2$가 주어지면, 이 두 직선을 지나는 유일한 점 $P$가 존재함.

이 두 정리는 서로 duality(이중성) 관계 (=dual realtionship)에 있음.

  • 하나는 점과 직선의 관계를 나타내고,
  • 다른 하나는 직선과 점의 관계를 나타냄.
Projective geometry에서 두 직선은 ideal point 에서 만나든지 일반 point에서 만나든지 둘 중에 하나임.
즉, 무조건 하나의 점에서 만남.

Example 1

Original Theorem

  • Theorem: 세 점이 동일한 직선 위에 있으면, 그 점들은 collinear(공선)임.

Application of duality(이중성) principle

  • Dual Theorem: 세 직선이 동일한 점에서 만나면, 그 직선들은 concurrent(공점)임.

위의 examples는
projective geometry(사영기하학)에서
duality(이중성)이 어떻게 작동하는지를 명확하게 보여줌.
각 theorem의 dual theorem은
원래 theorem에서 점과 직선의 역할을 바꾸어 얻은 것임.


요약

  • duality(이중성) 원리: projective geometry(사영기하학)에서 어떤 정리가 점과 직선에 대해 성립하면, 점과 직선의 역할을 바꾸어도 성립함.
  • 예시:
    • 두 점을 지나는 유일한 직선이 존재함 ↔ 두 직선을 지나는 유일한 점이 존재함.
    • 세 점이 동일한 직선 위에 있으면 collinear(공선)임 ↔ 세 직선이 동일한 점에서 만나면 concurrent(공점)임.

이러한 duality(이중성) 원리는 projective geometry(사영기하학)에서 여러 정리와 성질들을 이해하고 증명하는 데 매우 유용한 도구임.


같이 보면 좋은 자료들

2024.06.16 - [.../Math] - [Math] Geometry: Euclidean, Projective, Non-Euclidean

 

[Math] Geometry: Euclidean, Projective, Non-Euclidean

Euclidean Geometry(유클리드 기하학), Projective Geometry(사영 기하학), Non-Euclidean Geometry(비유클리드 기하학)기하학(Geometry)은 공간과 도형의 성질을 연구하는 수학의 한 분야임.기하학은 여러 종류가 있

dsaint31.tistory.com

 


 

'... > Math' 카테고리의 다른 글

[Math] Projective Space: $\mathbb{P}^n$, n차원 투영공간  (0) 2024.07.06
[Math] Hypothesis Testing 에서 Conservative Approach (보수적 접근법)란?  (1) 2024.07.05
[ML] Out of Bag: 유도하기.  (0) 2024.06.20
[Math] Ex: Lagrange Method: Tangency Condition  (0) 2024.06.19
[Math] Example of Lagrange Method  (0) 2024.06.19
'.../Math' 카테고리의 다른 글
  • [Math] Projective Space: $\mathbb{P}^n$, n차원 투영공간
  • [Math] Hypothesis Testing 에서 Conservative Approach (보수적 접근법)란?
  • [ML] Out of Bag: 유도하기.
  • [Math] Ex: Lagrange Method: Tangency Condition
dsaint31x
dsaint31x
    반응형
    250x250
  • dsaint31x
    Dsaint31's blog
    dsaint31x
  • 전체
    오늘
    어제
    • 분류 전체보기 (740)
      • Private Life (13)
      • Programming (56)
        • DIP (104)
        • ML (26)
      • Computer (119)
        • CE (53)
        • ETC (33)
        • CUDA (3)
        • Blog, Markdown, Latex (4)
        • Linux (9)
      • ... (351)
        • Signals and Systems (103)
        • Math (172)
        • Linear Algebra (33)
        • Physics (42)
        • 인성세미나 (1)
      • 정리필요. (54)
        • 의료기기의 이해 (6)
        • PET, MRI and so on. (1)
        • PET Study 2009 (1)
        • 방사선 장해방호 (4)
        • 방사선 생물학 (3)
        • 방사선 계측 (9)
        • 기타 방사능관련 (3)
        • 고시 (9)
        • 정리 (18)
      • RI (0)
      • 원자력,방사능 관련법 (2)
  • 블로그 메뉴

    • Math
    • Programming
    • SS
    • DIP
  • 링크

    • Convex Optimization For All
  • 공지사항

    • Test
    • PET Study 2009
    • 기타 방사능관련.
  • 인기 글

  • 태그

    검사
    SS
    math
    Optimization
    numpy
    signal_and_system
    fourier transform
    function
    Vector
    linear algebra
    Probability
    Convolution
    인허가제도
    signals_and_systems
    SIGNAL
    random
    opencv
    Term
    Python
    Programming
  • 최근 댓글

  • 최근 글

  • hELLO· Designed By정상우.v4.10.3
dsaint31x
[Math] Duality of Projective Geometry
상단으로

티스토리툴바