New Immissions/Updates:
boundless - educate - edutalab - empatico - es-ebooks - es16 - fr16 - fsfiles - hesperian - solidaria - wikipediaforschools
- wikipediaforschoolses - wikipediaforschoolsfr - wikipediaforschoolspt - worldmap -

See also: Liber Liber - Libro Parlato - Liber Musica  - Manuzio -  Liber Liber ISO Files - Alphabetical Order - Multivolume ZIP Complete Archive - PDF Files - OGG Music Files -

PROJECT GUTENBERG HTML: Volume I - Volume II - Volume III - Volume IV - Volume V - Volume VI - Volume VII - Volume VIII - Volume IX

Ascolta ""Volevo solo fare un audiolibro"" su Spreaker.
CLASSICISTRANIERI HOME PAGE - YOUTUBE CHANNEL
Privacy Policy Cookie Policy Terms and Conditions
Valuation - Wikipédia

Valuation

Un article de Wikipédia, l'encyclopédie libre.

En mathématiques, plus particulièrement en géométrie algébrique et en théorie des nombres, une valuation est une mesure de la multiplicité. La notion est une généralisation de la notion de degré ou d'ordre d'annulation d'un polynôme en algèbre, du degré de divisibilité par un nombre premier en théorie des nombres, de l'ordre d'un pôle en analyse complexe ou du nombre de points de contact entre deux variétés algébriques en géométrie algébrique.

Sommaire

[modifier] Définition

On appelle valuation une application d'un anneau commutatif unitaire (A, +, .) non nul vers un groupe abélien totalement ordonné (G, +, >) union l'infini

v: AG ∪ ∞

qui vérifie les propriétés suivantes :

Notes :

  1. On utilise les conventions classiques a < ∞ et a + ∞ = ∞ pour tout a ∈ G.
  2. Certains auteurs se restreignent à une valuation sur un corps.
  3. On demande parfois à v d'être surjective.

[modifier] Valuations discrètes

Lorsque G est ℤ muni de l'addition, v est dite valuation de Dedekind ou valuation discrète. Deux valuations discrètes v1 et v2 sont équivalentes si et seulement elles sont proportionnelles, c'est-à-dire s'il existe un entier k tel que

xG : v2(x) = k.v1(x)

ou

xG : v1(x) = k.v2(x).

Les classes d'équivalence des valuations discrètes sur un anneau A sont appelées places.

[modifier] Valuation triviale

La valuation

v: A → G ∪ ∞
0 → ∞
x ≠ 0 → 0

est dite valuation triviale.

[modifier] Propriétés

[modifier] Propriétés générales

A est un anneau commutatif unitaire non nul muni d'une valuation v.

  • v(1) = v(-1) = 0.
  • v(x - y) ≥ min(v(x), v(y)).
  • Si v(x) < v(y) alors v(x + y) = min(v(x), v(y)).
  • A est intègre.
  • v se prolonge sur le corps des fractions Frac A :
    • pour tout p/q dans Frac A, v(p/q) = v(p) - v(q) ;
    • la prolongation est unique.
  • Soit R = { x ∈ Frac A : v(x) ≥ 0 }, alors
    • R est un anneau intègre ;
    • pour tout inversible x ∈ (Frac A)*, xR ou x-1R ;
    • Frac R = Frac A.

[modifier] Valuations discrètes sur ℚ

Les places de ℚ, c'est-à-dire les valuations discrètes sur ℚ à un facteur de proportionnalité près, sont :

  • la valuation triviale ;
  • les valuations p-adiques (cf. exemple ci-dessous).

[modifier] Valeur absolue associée

Soit v une valuation sur A à valeur dans G ⊆ ℝ, et ρ ∈ ]0, 1[. On associe à v la valeur absolue ultramétrique |.|v telle que

|x|v = ρv(x).

[modifier] Exemples

Les applications suivantes sont des valuations.

[modifier] Ordre d'annulation d'un polynôme

Soit K un corps (commutatif) et K[X] l'anneau des polynômes à coefficients dans K. Pour aK, on définit l'application

va: K[X] → ℤ ∪ ∞
P ≠ 0 → max { k ∈ ℕ : ∃ R ∈ K[X]    P(X-a) = (X - a)k R(X - a) }

qui à un polynôme P non nul associe le degré du plus petit monôme non nul de P(X - a) et à un polynôme nul, l'infini. va(P) est l'ordre d'annulation de P en a ; pour un polynôme à coefficients réels ou complexes, il s'agit du plus petit entier positif ou nul n tel que dnP/dPn(a) soit non nul.

Note : cela marche également pour a dans la clôture algébrique de K.

[modifier] Ordre d'annulation d'une fraction rationnelle

Soit K un corps et K(X) le corps des fractions rationnelles à coefficients dans K. On définit l'application

va: K(X) → ℤ ∪ ∞
P/Q v(P) - v(Q)

qui à une fraction rationnelle associe la différences des ordres d'annulation du numérateur et du dénominateur en a. Si v(R) est positif, il s'agit de l'ordre d'annulation de R en a, si v(R) est strictement négatif, il s'agit de l'ordre du pôle de R en a.

[modifier] Opposé du degré d'un polynôme

Soit K un corps et K[X] l'anneau des polynômes à coefficients dans K. On définit l'application

v: K[X] → ℤ ∪ ∞
0 → ∞
P ≠ 0 → -deg P

qui à un polynôme P associe l'opposé de son degré avec la convention deg 0 = -∞.

[modifier] Valuation p-adique

Pour p un nombre premier, on définit l'application

vp: → ℤ ∪ ∞
n → max { k ∈ ℕ: pk | n }

qui à un entier n associe l'exposant de p dans la décompositon en nombres premiers de n, avec la convention vp(0) = ∞. vp est appelée valuation p-adique sur et se prolonge sur le corps des fractions ℚ. Cette valuation définit la norme p-adique pour laquelle la clôture algébrique de ℚ est l'ensemble des nombres p-adiquesp.

Voir l’article Nombre p-adique.

[modifier] Voir aussi

[modifier] Liens internes


Portail des mathématiques – Accédez aux articles de Wikipédia concernant les mathématiques.
Autres langues

Static Wikipedia (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2007 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2006 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia February 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu