Usategi printzipio
![](http://upload.wikimedia.org/wikipedia/commons/thumb/5/5c/TooManyPigeons.jpg/220px-TooManyPigeons.jpg)
Matematikan, Usategi printzipioak izanik elementu kaxetan sartzen direnean kaxa batek gutxienez elementu bat baino gehiago izan behar duela ezartzen duen teorema edo printzipioa da. Teorema honen izena usategietan sarritan ikusten den kasuarengatik ezarrita dago. Askotan, habiko usategi batean, habi kopuru baino uso gehiago egoten dira. Ondorioz, habietako batean (edo batzuetan) uso bat baino gehiago ipini beharko dira. Horri, Usategiaren printzipioa deritzogu.
Matematikoki ere azaldu dezakegu:
Izan bitez . Orduan, objektu multzotan banatzen baditugu eta
- bada, orduan gutxienez bi objektu multzo berean egon beharko dira (printzipio arrunta).
- existitzen bada zeinetarako den, orduan gutxienez objektu multzo berean egongo dira (printzipio orokortua).
Printzipioa maiz erabiltzen matematikako frogapenetan, batik bat konbinatorian, eta informatikan.
Lehenengo aldiz Dirichlet matematikariak 1834. urtean erabili zuela uste da, Schubfachprinzip edo kajoien printzipioa esapidea erabiliz.
Frogapena (Printzipio orokortua)
Frogapen honetarako printzipio orokortuari begiratuko diogu, arrunta orokortuaren kasu berezi bat denez ( kasua), orokortua frogatzerakoan, arrunta ere frogatuko dugu. Erabiliko dugun metodoa Absurdura eramatearen metodoa erabiliko dugu ( kontraesana izenaz ere ezagutua).
Demagun, multzo (habi) guztietan objektu edo gutxiago daudela. Orduan, multzo dauzkagunez, gehienez objektu izan ditzakegu guztira. Baina, baldin bada ezinezkoa izango litzateke objektu guztiak multzoetan kokatzea. Kontraesan bat lortu dugu, beraz ondorioztatu dezakegu asumitu duguna gezurra dela, hau da; multzo guztietan objektu edo gutxiago egotea ezinezkoa da baldin bada. Orduan, denetarako, gutxienez objektu multzo berean egongo direla frogatu dugu (Usategiaren printzipio orokortua).
Printzipioa kardinalak erabiliz
Printzipio hau kardinalen bitartez adierazi dezakegu,
bada, hau da: A multzoko elementu kopurua B multzokoa baino handiagoa bada, -tik -rako funztio injektiboa ez da existitzen.
Enuntziatua
Dirichleten usategiaren printzipioa. Hartu edozein n,m,p zenbaki natural, np+m uso n kaxatan sartui nahi badituzu, kaxa batek behintzat p+1 uso eduki behar ditu.
Frogapena
Kaxa bakoitzak gehienez p objektu baditu, kokatu ditzakegun objektu kopuru totala np<np+1≤ np+m.
Bere bertsio sinplenean, n>m bada, m elementu eta n elementuen artean aplikazio injektiborik ez dela existitzen dio. Baliokidea da honako hau, m objektu n kaxetan kokatu nahi izanez gero, m>n bada, kaxa batean behintzat bi o objektu egon behar dira.
Aplikazioak
Usategiaren printzipioak behaketa tribialaren itxura duen arren, aurreikusi ezin diren emaitzak kalkulatzeko balio du.
Kanpo estekak
Datuak: Q188276