Zasada dualności

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

Zasada dualności (lub dawniej zasada dwoistości[1]) – prawo geometrii rzutowej, mówiące, że dowolne prawdziwe twierdzenie na płaszczyźnie rzutowej zawierające tylko sformułowania:

  • punkt leży na prostej,
  • proste przecinają się w punkcie,
  • punkt należy do stożkowej,
  • prosta jest styczna do stożkowej,

jest równoważne twierdzeniu które można otrzymać, jeśli zamieni się w nim pojęcia "prosta" na "punkt" i odwrotnie (i odpowiednio "przechodzi przez" na "leży na") oraz zwrot "punkt należy do stożkowej" na "prosta jest styczna do stożkowej" i odwrotnie[1][2][3][4].

Przykłady[edytuj]

Współliniowość i współpękowość punktów[edytuj]

Do twierdzenia mówiącego o współliniowości danych punktów rzutowych istnieje dualne twierdzenie o współpękowości odpowiadającym im prostych dualnych[2].

Twierdzenie Brianchona i Pascala[edytuj]

Przykładem twierdzeń dualnych są twierdzenie Brianchona i twierdzenie Pascala[1][5][6].

Twierdzenie Pascala Twierdzenie Brianchona
Jeśli:
są różnymi punktami stożkowej są różnymi stycznymi do stożkowej
to trzy
punkty przecięcia proste łączące
odpowiednio
prostej z prostą punkt przecięcia z punktem przecięcia
prostej z prostą punkt przecięcia z punktem przecięcia
prostej z prostą punkt przecięcia z punktem przecięcia
leżą na jednej prostej[1][6]. przecinają się w jednym punkcie[1][5].

Twierdzenie Pappusa i Desargues’a[edytuj]

Przykładem twierdzeń dualnych są twierdzenie Pappusa i twierdzenie Desargues’a[1].

Twierdzenie Sylvestera-Gallai[edytuj]

Przykładem twierdzeń dualnych są twierdzenie Sylvestera-Gallai oraz dualne twierdzenie Sylvestera-Gallai[7][8].

Twierdzenie Sylvestera-Gallai Dualne twierdzenie Sylvestera-Gallai
Każda konfiguracja
prostych, punktów,
która nie jest
pękiem, współliniowa,
generuje co najmniej jeden (jedną)
punkt zwyczajny[7]. prostą zwyczajną[8].

Przypisy

  1. a b c d e f Prof. dr hab. Włodzimierz Waliszewski i in., Encyklopedia szkolna. Matematyka, Wydawnictwa Szkolne i Pedagogiczne, Warszawa 1988, ISBN 83-02-02551-8, s.326, Zasada dualności
  2. a b Mariusz Swornóg, Liniowe Stałe Harbourne'a dla konfiguracji rzeczywistych na płaszczyźnie rzutowej, Uniwersytet Pedagogiczny im. KEN w Krakowie, 2016, s.18, lemat 2.23
  3. Mariusz Swornóg, Liniowe Stałe Harbourne'a dla konfiguracji rzeczywistych na płaszczyźnie rzutowej, Uniwersytet Pedagogiczny im. KEN w Krakowie, 2016, s.18, obserwacja 2.24
  4. Anna Niewiarowska, Rzutowe, afiniczne i euklidesowe twierdzenia o stożkowych, Uniwersytet Warszawski, s.9, rozdział 2.3.1.
  5. a b Prof. dr hab. Włodzimierz Waliszewski i in., Encyklopedia szkolna. Matematyka, Wydawnictwa Szkolne i Pedagogiczne, Warszawa 1988, ISBN 83-02-02551-8, s.292, twierdzenie Brianchona
  6. a b Prof. dr hab. Włodzimierz Waliszewski i in., Encyklopedia szkolna. Matematyka, Wydawnictwa Szkolne i Pedagogiczne, Warszawa 1988, ISBN 83-02-02551-8, s.293, twierdzenie Pascala
  7. a b Mariusz Swornóg, Liniowe Stałe Harbourne'a dla konfiguracji rzeczywistych na płaszczyźnie rzutowej, Uniwersytet Pedagogiczny im. KEN w Krakowie, 2016, s.18, twierdzenie 2.25
  8. a b Mariusz Swornóg, Liniowe Stałe Harbourne'a dla konfiguracji rzeczywistych na płaszczyźnie rzutowej, Uniwersytet Pedagogiczny im. KEN w Krakowie, 2016, s.19, twierdzenie 2.27

Bibliografia[edytuj]

  • K. Borsuk, Geometria analityczna wielowymiarowa, Warszawa, 1977.
  • L. Dubikajtis, Wiadomości z geometrii rzutowej, Warszawa, 1972.