Vizualizare sursă pentru „Planul orientat Fano”

[[Fișier:Fano_plane.svg|miniatura| Planul Fano]]
În [[Geometrie finită|geometria finită]], '''planul Fano''' (după [[Gino Fano]]) este [[planul proiectiv]] finit de ordinul 2. Este planul proiectiv finit cu cel mai mic număr posibil de puncte și linii: 7 puncte și 7 linii, cu 3 puncte pe fiecare linie și 3 linii prin fiecare punct. Notația standard pentru acest plan, ca membru al unei familii de [[Spațiul proiectiv|spatii proiective]], este {{Math|PG(2, 2)}} unde {{Math|PG}} reprezinta "[[Geometrie proiectivă|geometrie proiectiva]]", primul parametru este dimensiunea geometrica si al doilea parametru este ordinea.

Planul Fano este un exemplu de [[Structura incidenței|structură de incidență]] finită, astfel încât multe dintre proprietățile sale pot fi stabilite folosind [[Combinatorică|tehnici combinatorii]] și alte instrumente utilizate în studiul [[Geometria incidenței|geometriilor incidenței]]. Deoarece este un spațiu proiectiv, tehnicile algebrice pot fi, de asemenea, instrumente eficiente în studiul său.

== Coordonate omogene ==
Planul Fano poate fi construit prin [[algebră liniară]] ca [[Planul proiectiv|plan proiectiv]] peste [[Corp finit|câmpul finit]] cu două elemente. Se poate construi planuri proiective în mod similar peste orice alt câmp finit, planul Fano fiind cel mai mic.

Folosind construcția standard a spațiilor proiective prin [[coordonate omogene]], cele șapte puncte ale planului Fano pot fi etichetate cu cele șapte triple ordonate diferite de zero ale cifrelor binare 001, 010, 011, 100, 101, 110 și 111. Acest lucru se poate face în așa fel încât pentru fiecare două puncte ''p'' și ''q'', al treilea punct de pe linia ''pq'' are eticheta formată prin adăugarea etichetelor lui ''p'' și ''q'' modul 2. Cu alte cuvinte, punctele planului Fano corespund punctelor nenule ale [[Spațiu vectorial|spațiului vectorial]] finit de dimensiunea 3 peste câmpul finit de ordinul 2.

Datorită acestei construcții, planul Fano este considerat a fi un [[Avion desarguesian|plan desarguesian]], chiar dacă planul este prea mic pentru a conține o [[Desargues configurația|configurație Desargues]] nedegenerată (care necesită 10 puncte și 10 linii).

Liniile planului Fano pot primi, de asemenea, coordonate omogene, folosind din nou tripluri diferite de zero ale cifrelor binare. Cu acest sistem de coordonate, un punct este incident la o linie dacă coordonatele pentru punct și coordonatele pentru linie au un număr par de poziții la care ambii au biți diferiți de zero: de exemplu, punctul 101 aparține liniei 111, deoarece au biți diferiți de zero la două poziții comune. În ceea ce privește algebra liniară subiacentă, un punct aparține unei linii dacă [[Spațiu prehilbertian|produsul interior]] al vectorilor care reprezintă punctul și linia este zero.

Liniile pot fi clasificate în trei tipuri.

* Pe trei dintre linii triplele binare pentru puncte au 0 într-o poziție constantă: linia 100 (conținând punctele 001, 010 și 011) are 0 în prima poziție, iar liniile 010 și 001 sunt formate în același fel.
* Pe trei dintre linii, două dintre pozițiile din triplele binare ale fiecărui punct au aceeași valoare: în linia 110 (care conține punctele 001, 110 și 111) prima și a doua poziție sunt întotdeauna egale, iar liniile 101 și 011 sunt formate în același mod.
* În linia rămasă 111 (care conține punctele 011, 101 și 110), fiecare triplu binar are exact doi biți diferiți de zero.

== Construcție teoretică de grup ==
Alternativ, cele 7 puncte ale planului corespund celor 7 elemente neidentitare ale [[Grup (matematică)|grupului]] (''Z'' <sub>2</sub>)<sup>3</sup>=''Z''<sub>2</sub>&#xD7;''Z'' <sub>2</sub>&#xD7;''Z''<sub>2</sub>. Liniile planului corespund subgrupurilor de ordinul 4, izomorfe la ''Z''<sub>2</sub>&#xD7;''Z''<sub>2</sub>. [[grup de automorfisme|Grupul de automorfisme]] [[GL (3,2)]] al grupului (''Z''<sub>2</sub>)<sup>3</sup> este cel al planului Fano și are ordinul 168.

== Graficul Levi ==
[[Fișier:Heawood_graph_2COL.svg|miniatura| Graficul bipartit Heawood. Punctele sunt reprezentate de vârfurile unei culori și liniile de vârfurile celeilalte culori.]]
Ca și în cazul oricărei structuri de incidență, [[graficul Levi]] al planului Fano este un [[Graf bipartit|grafic bipartit]], vârfurile unei părți reprezentând punctele și cealaltă reprezentând liniile, cu două vârfuri unite dacă punctul și linia corespunzătoare sunt [[Incidență (geometrie)|incidente]]. Acest grafic special este un [[Grafic cubic|grafic cub]] conectat (regulat de gradul 3), are [[Girth (teoria graficelor)|circumferința 6]] și fiecare parte conține 7 vârfuri. Este [[graficul Heawood]], unicul cu [[Cage (teoria graficelor)|6 cuști]].<ref>{{Harvnb|Pisanski|Servatius|2013|loc=p. 171}}</ref>

== Colineatii ==
[[Fișier:Walsh permutation 136 Fano red.svg|stanga|miniatura|180x180px| O coliniere a planului Fano corespunzătoare permutării [[Cod Gray|codului Grey]] pe 3 biți]]
O ''[[Colinierea|coliniere]]'', ''[[automorfism]]'' sau ''[[simetrie]]'' a planului Fano este o permutare a celor 7 puncte care păstrează colinearitatea: adică poartă puncte coliniare (pe aceeași linie) către puncte coliniare. Prin [[teorema fundamentală a geometriei proiective]], [[Colinierea|grupul de colinare]] completă (sau [[grup de automorfism|grupul de automorfism]] sau [[Grup de simetrie|grupul de simetrie]] ) este [[Grup liniar proiectiv|grupul liniar proiectiv]] PGL (3,2),<ref>Actually it is PΓL(3,2), but since the finite field of order 2 has no non-identity automorphisms, this becomes PGL(3,2).</ref> asemenea <math>\mathrm{PGL}_3(\mathbb{F}_2)</math> . Deoarece câmpul are un singur element diferit de zero, acest grup este izomorf pentru [[Grup liniar special proiectiv|grupul liniar special proiectiv]] PSL (3,2) și [[Grup liniar general|grupul liniar general]] GL (3,2). De asemenea, este izomorf pentru PSL (2,7).<ref>{{Harvnb|Hirschfeld|1979|loc=p. 131}}</ref>

Acesta este un [[PSL (3,2)|grup bine cunoscut]] (WKG) de ordinul 168 = 2<sup>3</sup>·3·7, al doilea cel mai mare grup simplu non-abelian după [[Simetrie icosaedrică|A<sub>5</sub>]] de ordinul 60.

Ca un grup de permutare care acționează asupra celor 7 puncte ale planului, grupul de colinare este [[Dublu tranzitiv|dublu tranzitiv,]] ceea ce înseamnă că orice [[pereche ordonată]] de puncte poate fi cartografiata prin cel puțin o coliniere cu orice altă pereche ordonată de puncte.<ref>{{Citation|last=Carmichael|first=Robert D.|title=Introduction to the theory of groups of finite order|page=363|year=1956|orig-year=1937|publisher=Dover|isbn=0-486-60300-8}}</ref> (Vezi mai jos. )

Colineatiunile pot fi, de asemenea, privite ca automorfisme de conservare a culorilor din graficul Heawood (a se vedea figura).
[[Fișier:Fano_plane_Hasse_diagram.svg|miniatura| Dualitate în planul Fano: Fiecare punct corespunde unei linii și invers.]]

=== Dualități ===
O [[Corespondență biunivocă|bijecție]] între setul de puncte și setul de linii care păstrează incidența se numește ''dualitate'' și o dualitate de ordinul doi se numește ''polaritate''.<ref>{{Harvnb|Polster|1998|loc=p. 11}}</ref>

Dualitățile pot fi privite în contextul graficului Heawood ca automorfisme de inversare a culorii. Un exemplu de polaritate este dat de reflectarea printr-o linie verticală care împarte în două reprezentarea graficului Heawood dată în dreapta.<ref>{{Harvnb|Polster|1998|loc=p. 15}}</ref> Existența acestei polarități arată că planul Fano este ''autodual''. Aceasta este, de asemenea, o consecință imediată a simetriei dintre puncte și linii în definirea relației de incidență în termeni de coordonate omogene, așa cum este detaliat într-o secțiune anterioară.

=== Structura ciclului ===
[[Fișier:Fano_plane_nimbers.svg|miniatura|180x180px| O numerotare agilă a planului Fano]]
Grupul de coliniere, considerat un [[grup de permutări|grup de permutare]] a celor 7 puncte numerotate în figură, este generat de:<ref>{{Harvnb|Pisanski|Servatius|2013|loc=p. 173}} given with a different labeling</ref>

: (1432657), (162) (374), (14) (27), (17) (24), (17) (24) (36).

Acesta cuprinde 6 [[Cursuri de conjugare|clase de conjugare]]. Următoarele [[Cicluri și puncte fixe|structuri de ciclu]] definesc fiecare o singură clasă de conjugare:

* [[Fișier:Walsh permutation 124 Fano.svg|faracadru|117x117px]] Permutarea identității
* [[Fișier:Walsh permutation 421 Fano red.svg|faracadru|117x117px]] 21 permutări cu două 2-cicluri
* [[Fișier:Walsh permutation 461 Fano red.svg|faracadru|118x118px]] [[null|legătură=]]42 permutări cu 4-cicluri și 2-cicluri
* [[Fișier:Walsh permutation 425 Fano red.svg|faracadru|118x118px]] [[null|legătură=]]56 permutări cu două 3-cicluri

Cele 48 de permutații cu un ciclu complet de 7 formează două clase distincte de conjugare cu 24 de elemente:

* [[Fișier:Walsh permutation 436 Fano red.svg|faracadru|118x118px]] Hărțile ''A'' către ''B'', ''B'' către ''C'', ''C'' către ''D.'' Atunci ''D'' este pe aceeași linie ca ''A'' și ''B.''
* [[Fișier:Walsh permutation 751 Fano red.svg|faracadru|118x118px]] Hărțile ''A'' către ''B'', ''B'' către ''C'', ''C'' către ''D.'' Atunci ''D'' este pe aceeași linie ca ''A'' și ''C.''

Consultați [[wikiversity:3-bit Walsh permutation#Fano_plane_collineations|coliniile avionului Fano]] pentru o listă completă.

Prin urmare, prin [[teorema enumerării Pólya]], numărul de colorări inechivalente ale planului Fano cu ''n'' culori este:

: <math>{1 \over 168}\left(n^7 + 21 n^5 + 98 n^3 + 48 n\right)</math>

== Completează patrulaterele și subplanurile Fano ==
În orice plan proiecțional, un set de patru puncte, dintre care trei nu sunt coliniare, iar cele șase linii care unesc perechile acestor puncte este o [[Configurare proiectivă|configurație]] cunoscută sub numele de [[Patratul complet|patrulater complet]]. Liniile se numesc ''laturi'' și perechile de laturi care nu se întâlnesc la unul dintre cele patru puncte se numesc ''laturi opuse''. Punctele la care se întâlnesc părțile opuse se numesc ''puncte diagonale'' și există trei dintre ele.<ref>{{Citation|last=Stevenson|first=Frederick W.|title=Projective Planes|page=21|year=1972|publisher=W.H. Freeman and Co.|isbn=0-7167-0443-9}}</ref>

Dacă această configurație se află într-un plan proiectiv și cele trei puncte diagonale sunt coliniare, atunci cele șapte puncte și șapte linii ale configurației extinse formează un subplan al planului proiectiv care este izomorf pentru planul Fano și se numește ''subplan Fano'' .

Un rezultat faimos, datorat lui [[Andrew Gleason|Andrew M. Gleason]] afirmă că, dacă fiecare patrulater complet într-un plan proiecțional finit se extinde la un subplan Fano (adică are puncte diagonale coliniare), atunci planul este desarguesian.<ref>{{Citation|last=Gleason|first=Andrew M.|title=Finite Fano planes|volume=78|pages=797–807|year=1956|periodical=American Journal of Mathematics|doi=10.2307/2372469|author-link=Andrew M. Gleason}}</ref> Gleason a numit orice plan proiectiv care îndeplinește această condiție un ''plan Fano'', creând astfel o oarecare confuzie cu terminologia modernă. Pentru a compune confuzia, ''axioma lui Fano'' afirmă că punctele diagonale ale unui patrulater complet ''nu'' sunt ''niciodată'' coliniare, o condiție care se menține în planurile proiective euclidiene și reale. Astfel, ceea ce Gleason a numit avioane Fano nu satisface axioma lui Fano.<ref>{{Harvnb|Dembowski|1968|loc=p. 168}}</ref>

== Configurări ==
Planul Fano conține următoarele configurații de numere puncte și linii de diferite tipuri. Pentru fiecare tip de configurație, numărul de copii ale configurației înmulțit cu numărul de simetrii ale planului care păstrează configurația neschimbată este egal cu 168, dimensiunea întregului grup de coliniere, cu condiția ca fiecare copie să poată fi mapată la orice altă copie (vezi [[acțiune de grup|teorema Orbit-Stabilizer]]). Deoarece planul Fano este auto-dual, aceste configurații vin în perechi duale și se poate arăta că numărul de colineații care fixează o configurație este egal cu numărul de colineații care fixează configurația sa duală.

* Există 7 puncte cu 24 simetrii care fixează orice punct și dualitatea lui, există 7 linii cu 24 simetrii care fixează orice linie. Numărul simetriilor rezultă din 2-tranzitivitatea grupului de colinare, ceea ce implică faptul că grupul acționează tranzitiv asupra punctelor.
* Există 42 de perechi de puncte ordonate și fiecare poate fi cartografiat printr-o simetrie pe orice altă pereche ordonată. Pentru orice pereche comandată există 4 simetrii care o fixează. În mod corespunzător, există 21 de perechi de puncte neordonate, fiecare dintre ele putând fi mapate printr-o simetrie pe orice altă pereche neordonată. Pentru orice pereche neordonată există 8 simetrii care o fixează.
* Există 21 de steaguri constând dintr-o linie și un punct pe acea linie. Fiecare steag corespunde perechii neordonate a celorlalte două puncte de pe aceeași linie. Pentru fiecare steag, 8 simetrii diferite îl mențin fix.
* Există 7 moduri de a selecta un [[patrulater]] de patru puncte (neordonate) dintre care trei nu sunt coliniare. Aceste patru puncte formează complementul unei linii, care este ''linia diagonală'' a patrulaterului și o coliniere fixează patrulaterul [[dacă și numai dacă]] fixează linia diagonală. Astfel, există 24 de simetrii care fixează orice astfel de patrulater. Configurația duală este un patrulater format din patru linii dintre care trei nu se întâlnesc într-un punct și cele șase puncte de intersecție ale acestora, este complementul unui punct din planul Fano.
* Sunt <math>\tbinom{7}{3} = 35</math> tripluri de puncte, dintre care șapte sunt tripluri coliniare, lăsând 28 de tripluri sau ''[[Triunghi|triunghiuri]]'' necoliniare. Configurația constând din cele trei puncte ale unui triunghi și din cele trei linii care unesc perechile acestor puncte este reprezentată de un ciclu 6 în graficul Heawood. Un automorfism de păstrare a culorilor graficului Heawood care fixează fiecare vârf al unui ciclu 6 trebuie să fie automorfismul identității. <ref>{{Harvnb|Pisanski|Servatius|2013|loc=p. 171}}</ref> Aceasta înseamnă că există 168 de triunghiuri marcate fixate numai prin colinierea identității și doar șase colineații care stabilizează un triunghi nemarcat, unul pentru fiecare permutare a punctelor. Aceste 28 de triunghiuri pot fi privite ca corespunzătoare celor 28 de [[Bitangenții unui quartic|bitangenți ai unui quartic]].<ref> {{Harvnb|Manivel|2006}}</ref> Există 84 de moduri de a specifica un triunghi împreună cu un punct distinct pe acel triunghi și două simetrii care fixează această configurație. Dualul configurației triunghiului este, de asemenea, un triunghi.
* Există 28 de moduri de selectare a unui punct și a unei linii care nu sunt incidente reciproc (un ''anti-steag'' ) și șase moduri de permutare a avionului Fano, păstrând în același timp un anti-steag fix. Pentru fiecare pereche de linie punct-incidentă (''p'', ''l''), cele trei puncte care sunt inegale cu ''p'' și care nu aparțin''l''formează un triunghi, iar pentru fiecare triunghi există un mod unic de a grupa cele patru puncte rămase în un anti-steag.
* Există 28 de moduri de a specifica un [[hexagon]] în care nu există trei vârfuri consecutive pe o linie și șase simetrii care fixează un astfel de hexagon.
* Există 84 de moduri de a specifica un [[pentagon]] în care nu există trei vârfuri consecutive pe o linie și două simetrii care fixează orice pentagon.

Planul Fano este un exemplu de configurație {{Math|(''n''<sub>3</sub>)}}, adică un set de {{Mvar|n}} puncte și {{Mvar|n}} linii cu trei puncte pe fiecare linie și trei linii prin fiecare punct. Avionul Fano, o configurație (7<sub>3</sub>), este unic și este cea mai mică astfel de configurație.<ref>{{Harvnb|Pisanski|Servatius|2013|loc=p. 165}}</ref> Conform teoremei lui [[Ernst Steinitz|Steinitz]]<ref>{{Citation|last=Steinitz|first=Ernst|title=Über die construction der configurationen n<sub>3</sub>|year=1894|type=Ph. D. thesis|publisher=Kgl. Universität, Breslau|author-link=Ernst Steinitz}}</ref> configurațiile de acest tip pot fi realizate în planul euclidian având cel mult o linie curbată (toate celelalte linii situate pe liniile euclidiene).<ref>{{Harvnb|Pisanski|Servatius|2013|loc=p. 221}}</ref>

== Teoria proiectării blocurilor ==
Planul Fano este un design mic de [[Proiectare bloc|blocuri simetrice]], în special un design 2-(7,3,1). Punctele proiectării sunt punctele planului, iar blocurile proiectării sunt liniile planului.<ref name="vanLint196">{{Harvnb|van Lint|Wilson|1992|loc=pp. 196−197}}</ref> Ca atare, este un exemplu valoros în teoria proiectării (blocurilor).

Cu punctele etichetate 0, 1, 2, ..., 6, liniile (ca seturi de puncte) sunt traducerile setului de diferență plană (7, 3, 1) dată de {0, 1, 3} în grup <math>\mathbb{Z} / 7\mathbb{Z}.</math><ref name="vanLint196">{{Harvnb|van Lint|Wilson|1992|loc=pp. 196−197}}</ref> Cu liniile etichetate ''ℓ'' <sub>0</sub>, ..., ''ℓ'' <sub>6</sub> [[matricea de incidență]] (tabel) este dată de:
{| class="wikitable" align="left"
!
!0
!1
!2
!3
!4
!5
!6
|-
!''ℓ''<sub>0</sub>
|1
|1
|0
|1
|0
|0
|0
|-
!''ℓ''<sub>1</sub>
|0
|1
|1
|0
|1
|0
|0
|-
!''ℓ''<sub>2</sub>
|0
|0
|1
|1
|0
|1
|0
|-
!''ℓ''<sub>3</sub>
|0
|0
|0
|1
|1
|0
|1
|-
!''ℓ''<sub>4</sub>
|1
|0
|0
|0
|1
|1
|0
|-
!''ℓ''<sub>5</sub>
|0
|1
|0
|0
|0
|1
|1
|-
!''ℓ''<sub>6</sub>
|1
|0
|1
|0
|0
|0
|1
|}

=== Sistem Steiner ===
Planul Fano, ca design de bloc, este un [[Sistem Steiner|sistem triplu Steiner]].<ref>{{Harvnb|Polster|1998|loc=p. 23}}</ref> Ca atare, i se poate da structura unui [[Quasigroup|cvasigrup]]. Acest cvasigrup coincide cu structura multiplicativă definită de [[Octonion|octoniunile]] unitare ''e'' <sub>1</sub>, ''e'' <sub>2</sub>, ..., ''e'' <sub>7</sub> (omițând 1) dacă semnele produselor octonionale sunt ignorate {{Harvard citation|Baez|2002}}.

== Teoria matroidă ==
Planul Fano este unul dintre exemplele importante din teoria structurii matroizilor.Excluderea planului Fano ca matroid minor este necesară pentru a caracteriza mai multe clase importante de matroide, precum cele obișnuite, grafice și cografice.

Dacă împărțiți o linie în trei linii cu 2 puncte, veți obține „configurația non-Fano”, care poate fi încorporată în planul real. Este un alt exemplu important în teoria matroidei, deoarece trebuie exclus pentru multe teoreme.

== PG (3,2) ==
Planul Fano poate fi extins într-o a treia dimensiune pentru a forma un spațiu proiectiv tridimensional, notat cu '''PG(3,2)''' . Are 15 puncte, 35 de linii și 15 plane și este cel mai mic [[Spațiul proiectiv|spațiu proiectiv]] tridimensional.<ref>{{Citation|last=Meserve|first=Bruce E.|title=Fundamental Concepts of Geometry|page=29|year=1983|orig-year=1955|publisher=Dover|isbn=0-486-63415-9}}</ref> De asemenea, are următoarele proprietăți:<ref>{{Harvnb|Polster|1998|loc=p. 69}}</ref>

* Fiecare punct este conținut în 7 linii și 7 planuri
* Fiecare linie este conținută în 3 planuri și conține 3 puncte
* Fiecare plan conține 7 puncte și 7 linii
* Fiecare plan este [[Izomorfism|izomorf]] pentru planul Fano
* Fiecare pereche de plane distincte se intersectează într-o linie
* O dreaptă și un plan care nu conține linia se intersectează în exact un punct

== Vezi si ==

* [[Configurare proiectivă]]
* [[Loteria Transilvaniei]]

== Note ==
{{Listănote
}}

== Referințe ==

* {{Citation|last=Baez|first=John|title=The Octonions|url=http://www.ams.org/bull/2002-39-02/S0273-0979-01-00934-X/home.html|volume=39|issue=2|pages=145–205|year=2002|periodical=Bull. Amer. Math. Soc.|arxiv=math/0105155|doi=10.1090/S0273-0979-01-00934-X|author-link=John Baez}} ([http://math.ucr.edu/home/baez/octonions/ Online HTML version])
* {{Citation|last=Dembowski|first=Peter|title=Finite geometries|url=https://archive.org/details/finitegeometries0000demb|year=1968|series=[[Ergebnisse der Mathematik und ihrer Grenzgebiete]], Band 44|place=Berlin, New York|publisher=[[Springer-Verlag]]|isbn=3-540-61786-8|mr=0233275}}
* {{Citation|last=Hirschfeld|first=J. W. P.|title=Projective Geometries Over Finite Fields|year=1979|publisher=[[Oxford University Press]]|isbn=978-0-19-850295-1|author-link=James William Peter Hirschfeld}}
* {{Citation|last=Manivel|first=L.|title=Configurations of lines and models of Lie algebras|volume=304|issue=1|pages=457–486|year=2006|periodical=Journal of Algebra|arxiv=math/0507118|doi=10.1016/j.jalgebra.2006.04.029|issn=0021-8693}}
* {{Citation|last=Pisanski|first=Tomaž|title=Configurations from a Graphical Viewpoint|year=2013|publisher=Birkhäuser|isbn=978-0-8176-8363-4|last2=Servatius|first2=Brigitte|author-link=Tomaž Pisanski|author-link2=Brigitte Servatius}}
* {{Citation|last=Polster|first=Burkard|title=A Geometrical Picture Book|url=https://archive.org/details/geometricalpictu0000pols|year=1998|publisher=Springer|isbn=978-0-387-98437-7|author-link=Burkard Polster}}
* {{Citation|last=van Lint|first=J. H.|title=A Course in Combinatorics|year=1992|publisher=Cambridge University Press|isbn=978-0-521-42260-4|last2=Wilson|first2=R. M.}}
[[Categorie:Geometrie proiectivă]]
[[Categorie:Geometrie]]
[[Categorie:Pages with unreviewed translations]]
[[Categorie:Teoria matroizilor]]