Eulerren φ funtzioa
Eulerren φ funtzioa, Eulerren funtzio adierazlea edo Eulerren funtzio osoa funtzio garrantzitsua da zenbakien teorian. n zenbaki oso positibo bat bada, orduan φ(n) honela definitzen da: n>1 denean, n baino txkiagoak diren zenbakiak beraien artean elkarrekiko lehenak direnak kontatzen ditu.
Edozein zanbakiren φ(n) kalkulatzeko aritmetikaren oinarrizko teoremarekin kalkula daiteke:
Baldin eta non pi-ak zenbaki lehenak ezberdinak diren, orduan, formula hau Euleeren biderketa deritzo eta normalean
idazten da, non p dira lehen desberdinak n zatitzen dutenak.
![](http://178.128.105.246/cars-http-upload.wikimedia.org/wikipedia/commons/thumb/9/9b/EulerPhi.svg/230px-EulerPhi.svg.png)
Adibidez:
φ(1)=1
φ(2)=2
φ(3)=2
φ(4)=4
φ(n)= I{a
φ(n) = Card{k ∈ N : k ≤ n, zkh(k, n)=1}
Propietateak
[aldatu | aldatu iturburu kodea]- (p)=p-1 p lehena bada
- () = −
- (mn)= (m)(n)
Frogapenak:
1) Zenbaki lehen (p) bat aurreko guztiekin elkarrekiko lehenak dira, orduan existitzen dira p-1 dira p-rekin elkarrekiko lehenak direnak.
2) Baldin eta () zenbat den jakiteko {1,….,} multzoan zenbat elementu diren p-rekin elkarekiko lehenak jakin behar dugu. Multzo horretako elementu guztiak hartuko ditugu p-ren multiploak direnak izan ezin. Multzo horretan p-ren multiploak direnak pberkp izango da, hau da . Beraz, ()=-
3) Frogapen honetarako, hasteko, dakigu
pi lehena da, beraz:
zkh(n,m)=1 denez, orduan ez pi ez qi ez direnez berdinak eta mn deskonposaketa ez da afektztzen hau da: eta orduan, lehenen deskonposaketa. Orduan hau inplatzen du betetzea.
Beste propietate batzuk
[aldatu | aldatu iturburu kodea]- zenbakiaren zatitzaileak badira, orduan:
Adibidez:
Carl Friedrich Gauss matematikariak propietate hau egiaztatu zuen Disquisitiones Arithmeticae liburuan
- -rekin elkarren arteko lehenak diren zenbakien batura, hau da, -k kontatzen dituen elementuen batura da.
Adibidez:
- bada, bikoitia da.
- Baldin , orduan
- eta bada, beti egiaztatuko da
- , zenbat eta handiagoa izan, erlatiboki orduan eta gehiago hurbiltzen da batura balio horretara
Historia
[aldatu | aldatu iturburu kodea]Leonhard Eulerrek 1763an sartu zuen funtzioa. Hala ere, une horretan ez zuen sinbolo berezirik aukeratu hura denotatzeko. 1784ko argitalpen batean, Eulerrek sakonago aztertu zuen funtzioa, eta π letra grekoa aukeratu zuen hura denotatzeko: πD idatzi zuen "D baino zenbaki txikiagoak eta berarekin zatitzaile komunik ez dutenak" idazteko.
Definizio hori aldatu egiten da D= 1 funtzioaren egungo definizioaren arabera, baina, gainerakoan, funtzio bera da. φ(A) notazio estandarra Carl Friedrich Gauss-en 1801 Disquisitiones arithmeticae tratatutik dator, nahiz eta Gauss-ek ez zuen parentesirik erabili argumentuaren inguruan, eta φA idatzi zuen. Beraz, sarritan Eulerren phi funtzioa edo phi funtzioa deitzen zaio.
1879an, J. J. Sylvesterrek funtzio horretarako termino totientea asmatu zuen, eta Eulerren funtzio totiente edo Eulerren totiente ere deitzen zaio. Eulerren ideia orokortzea da Jordanen totientea. n-ren kobotientea n-φ(n) gisa definitzen da. n baino txikiagoak edo berdinak diren osoko positiboen kopurua kontatzen du, n duten faktore lehenetsi komun bat gutxienez dutenak.
Eulerren teorema
[aldatu | aldatu iturburu kodea]Fermat-en teorema txikiaren orokortze gisa hartu da. Eulerrek teorema honen bidez baieztatzen du zenbaki osoen zatigarritasuna:
a eta n zenbakiak ditugu beraien arteko elkarrekiko lehenak direnak, orduan n zatitu dezake . Hau beste modu batean emanda aritmetika modularrarekin, . Bi formuletan Eulerren funtzioa barruan dauka.
Eulerren teoremaren frogapena honako hau da:
Izan bedi hondarra-sesitema murriztu bat, n moduluan. Egiterakoan a barrukoak bider a eginda hondarra-sistema murriztua modulu n-an izaten jarraituko du. Orduan, Beraien artean biderketa eginez, . bakoitzk betetzen duenez , orduan da.
Carmichaelen aierua
[aldatu | aldatu iturburu kodea]Badaude balio batzuk Euler-en funtzioak ezin dituenak inoiz hartu, adibidez, ez dago zenbaki naturalik non den. Hartu ezin dituen beste balio batzuk hauek dira: 26, 34, 38, 50, 62, 68...
1907an, Robert D. Carmichael matematikariak honako hau konjeturatu zuen: baldin n zenbakia existitzen bazen non , orduan existitu behar zela beste zenbaki bat non . Teorema bezala aurkeztu zuen, baina geroago egiaztapenak akats bat zeukala ikusi zuten. Oraindik, aurrerapenak egin badira ere, ezin izan dute aierua guztiz egiaztatu.
Bestetik, dela ezaguna da, baina propietatea egiaztatzen duten bikote kopurua infinitua ote den ezezaguna da. Jakina dena da edozein -rentzat gutxienez zenbaki bat existitzen dela non , Waclaw Sierpinskik egiaztatu zuenez.
Lehmer-en aierua
[aldatu | aldatu iturburu kodea]Jakina da zenbakia lehena bada, orduan . Baina, argi dago lehena ez bada -k ezin duela balioa hartu. 1932an D. H. Lehmerrek bere buruari galdetu zion ea zenbaki konposaturen bat existitzen ote zen non -ren zatitzailea zen. Gaur arte ez da aurkitu propietate hori betetzen duen zenbakirik, eta ez da frogatu ez dagoenik.