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.

φ(n)-ren lehen mila balioak

Adibidez:

φ(1)=1

φ(2)=2

φ(3)=2

φ(4)=4

φ(n)= I{a

φ(n) = Card{k ∈ N : k ≤ n, zkh(k, n)=1}

Propietateak aldatu

  1.  (p)=p-1 p lehena bada
  2.  ( ) =   
  3.  (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

  •   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

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

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

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

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.

Kanpo estekak aldatu