Traduction de quelques termes mathématiques
Anglais --> Français
Ce dictionnaire ne comprend que quelques difficultés spécifiques
des textes mathématiques (abréviations, traductions non classiques, mots
techniques spécifiques à la langue, ...)
voir aussi le dictionnaire Français --> Anglais et les versions TeX A->F et F->A
Pour toute suggestion, écrire à Eric Reyssat
- :
rupture (corps de -)
pas de mot en anglais
1-1, one-to-one :
injectif, bijectif
on dit aussi bijective en anglais. 1-1 and onto is bijective
abelian (- group, - variety) :
abélien (groupe -, variété -ne)
Mais Galois field, Galois extension, diophantine equation
alternating group :
alterné (groupe -)
participe passé en français, participe présent en anglais
annulus :
couronne
entre 2 anneaux. Ne pas confondre avec ring.
approximation calculus :
approché (calcul -)
adjectif en français
base-point free :
sans point de base
bijective, one to one :
bijective
voir aussi injective
blow up :
éclater
une variété en un point
blowing up :
éclatement
d'une variété
body (convex -) :
corps convexe
ne pas confondre avec field en algèbre
boundary value problem :
limites (problème aux -)
brace :
accolade
bracket (square -) :
crochet
crochet de Lie, $K[X]$. Bracket seul veut dire parfois parenthèse
branch point :
ramification (point de -), ramifié (point -)
bundle :
fibré, faisceau
voir aussi sheaf=faisceau. Ex : line bundle = fibré en droites
calculus :
analyse (élémentaire), calcul
differential calculus, calculus of variation (mais un calcul précis se traduit computation)
cancel :
annuler, réduire, simplifier
simplifier au sens [a+c=b+c implique que a=b]
cancellation :
annulation, réduction, simplification
simplification au sens [a+c=b+c implique que a=b]
casting out nines :
neuf (preuve par -)
chain rule :
composées (règle de dérivation des fonctions -)
chart :
carte (d'un atlas), table
attention : map=application, chart=carte
chinese remainder theorem :
chinois (théorème -)
le mot remainder est plus fréquent en anglais que reste en français
circumcircle :
circonscrit (cercle -)
class number :
nombre de classes
closed curve, closed path, circuit :
lacet, chemin fermé
terminologie mouvante suivant les hypothèses de régularité du chemin
commutator subgroup :
dérivé (sous-groupe -)
congruent :
congru, congruent
réels congrus mod 1, entiers congrus mod 5, matrices congruentes. Un seul mot en anglais.
continued fraction :
continue (fraction -)
mais continuous function
continuous fonction :
continue (fonction -)
mais continued fraction
contour integral, path integral :
curviligne (intégrale -)
converse :
réciproque
d'une assertion. Mais reciprocal polynomial
coset :
classe d'équivalence
covering :
revêtement
cross product :
vectoriel (produit -)
de vecteurs
cross ratio :
birapport
de 4 points
curl :
rotationnel
cusp :
pointe
d'une courbe modulaire
cusp :
rebroussement (point de -)
d'une courbe
cusp(idal) form :
parabolique (forme -)
cyclic :
monogène, cyclique
En français les groupes cycliques sont finis (on dit monogène sinon), pas forcément en anglais.
decomposition (or splitting) field :
décomposition (corps de -)
differentiate :
dériver ou différentier
un seul mot en anglais
diophantine (- equation ,...) :
diophantienne (équation -, ...)
mais Galois field et abelian group.
division algebra, division ring, skew field :
corps gauche, algèbre à division
on emploie plus division algebra en anglais et corps gauche en français
domain :
connexe (ouvert -)
car l'anneau des fonctions holomorphes sur un ouvert connexe est intègre
domain :
intègre (anneau -)
dot product, scalar product :
scalaire (produit -)
l'application $(x,y)\to x\cdot y$ est un scalar product, le résultat $x \cdot y$ est le dot product of $x$ and $y.$
effective divisor :
effectif, positif (diviseur -)
eigenvalue :
propre (valeur -)
de même eigenvector, eigenfunction
embedding :
plongement
=morphisme injectif. Ne pas confondre avec imbedding=immersion
end :
extrémité
d'un segment
endless :
infini, sans fin
curve
entire (function) :
entière (fonction -)
Euclid's (or euclidean) algorithm :
Euclide (algorithme d'-), euclidienne (division -)
pas d'adjectif en français
even :
pair, même
3 is an odd prime, but 2 is even more odd because it is even !
expansion (partial fraction -) :
décomposition ( - en éléments simples)
expansion (power series -, Taylor -) :
développement (en série entière, - limité)
field :
corps
finitely generated (group, ...) :
type fini (groupe de -, ...)
fractional line :
fraction (trait de -)
fundamental theorem of algebra :
théorème de d'Alembert-Gauss
$\C$ est algébriquement clos
Galois extension :
galoisienne (extension -)
adjectif en français, nom propre en anglais. Mais on dit abelian variety et diophantine equation !
Galois field, finite field :
corps fini
gap :
lacune, trou
ex: trou de Weierstrass=Weierstrass gap
gap series, lacunary series :
lacunaire (série -)
gcd : greatest common divisor :
pgcd : plus grand diviseur commun
genus (of curve or field) :
genre (d'une courbe ou d'un corps)
higher derivative :
supérieur (dérivée d'ordre -)
on dit parfois dérivée supérieure
homomorphism :
morphisme
le homo est plus courant en anglais qu'en français
hull (convex -) :
enveloppe convexe
identity :
identité
identity element :
neutre (élément -)
identity element :
unité (élément -)
imbedding :
immersion
Ne pas confondre avec embedding=plongement
incircle :
inscrit (cercle -)
index :
indice
d'un sous-groupe, ramification, ...
induction :
récurrence
infinite number of (an -) :
infinité (une - de)
infinity :
infini,( infinité???)
un seul mot en anglais (et en français ???)
inner automorphisme :
intérieur (automorphisme -)
integral (- domain) :
intègre (anneau -)
integral element :
entier (élément -)
sur un anneau
last but one, penultimate :
avant-dernier, pénultième
lattice :
réseau
lattice point :
point du réseau
lcm : least common multiple :
ppcm : plus petit multiple commun
lhs = left hand side :
gauche (membre de -)
d'une équation
linearly dependent :
liée (famille -)
dans un module ou espace vectoriel
linearly independent family :
libre (famille -)
dans un module ou espace vectoriel
locus (singular -, ...) :
lieu (singulier, ...)
lower (bound, limit, ...) :
inférieure (borne -, limite -, ...)
manifold :
variété
au sens topologique. ne pas confondre avec variety.
many valued function :
multiforme (fonction -)
map, mapping :
application
attention : map=application, chart=carte
Möbius group :
homographies (groupe des -)
Möbius transformation :
homographie
ne pas confondre avec Möbius function=fonction de Möbius
monic polynomial :
unitaire (polynôme -)
et non unitary
Néron model :
Modèle de Néron
mais Néron's theorem
nonnegative :
positif (ou nul)
et non pas positive
normal :
distingué (ou normal)
sous-groupe -
nowhere dense :
rare, partout non dense
Nullstellensatz (Hilbert's -) :
Nullstellensatz (ou théorème des zéros) de Hilbert
jamais traduit en anglais, parfois en français
number field :
nombres (corps de -)
odd :
impair, singulier
3 is an odd prime, but 2 is even more odd because it is even !
one to one :
injective, bijective
on dit aussi bijective en anglais. One to one and onto is bijective
onto (for a map) :
surjective (application -)
open mapping theorem :
Riemann (th. de -)
Le français ne précise que rarement "théorème de l'application ouverte", l'anglais cite peu Riemann.
order of a group, field, ... :
cardinal ou ordre d'un groupe, cardinal d'un corps
on ne dit pas l'ordre d'un corps
outer automorphism :
extérieur (automorphisme -)
pair :
paire, couple
paire n'est jamais couple en français
pairing :
accouplement
parenthesis, bracket :
parenthèse
voir aussi bracket=crochet
PID (principal ideal domain) :
principal (anneau -)
piecewise continuous :
morceaux (continu par -)
pigeonhole principle :
principe des tiroirs
point (floating -) :
virgule flottante
car la virgule est remplacée par un point en anglais.
positive :
strictement positif
mais (positif = non negative) !
power series :
entière (série -)
mais 2 puissance 5 = 2 to the fifth power
prime ideal :
idéal premier
et non pas first !
proper :
propre
morphisme
qed : quod erat demonstrandum :
cqfd : ce qu'il fallait démontrer
raise $x$ to the power $n$ (to -) :
élever $x$ à la puissance $n$
ramified (ideal, place, ...) :
ramifié (idéal, place, ...)
range :
domaine de valeurs de la fonction
ou parfois de la variable
ray class field :
rayon (corps de -)
reciprocal polynomial :
réciproque (polynôme -)
mais the converse is true
removable singularity :
apparente (singularité -)
rhs : right hand side :
droite (membre de -)
d'une équation
row :
ligne
d'une matrice
ruled surface :
surface réglée
saddle point :
col, selle (point -)
schlicht, univalent :
univalent, à un feuillet
l'anglais garde volontiers le mot allemand
self-intersection :
self-intersection
On garde le mot anglais
sheaf :
faisceau
sieve :
crible
skew field :
gauche (corps -)
mais space curve
skew symetric :
antisymétrique
smooth :
$C^\infty$, lisse
courbe, fonction
space curve :
gauche (courbe -)
mais skew field
split extension :
scindée (extension -)
splitting (or decomposition) field :
décomposition (corps de -)
square (to -) :
carré (élever au -)
de même to cube
square root :
carrée (racine -)
et non squared. De même cube root
squarefree :
sans facteur carré
superscript, exponent :
exposant
superscript est typographique, exponent plus mathématique
Taylor expansion :
limité (développement -)
UFD (unique factorisation domain) :
factoriel (anneau -)
uncountable :
non dénombrable, indénombrable
unit :
unité
(élément inversible d'un anneau). Ne pas confondre avec unity.
unitary ring, unital ring, ring with unity :
unitaire (anneau -)
ne pas confondre avec monic
unity :
unité
l'unique élément unité d'un anneau : ex roots of unity. Ne pas confondre avec unit.
upper bound :
majorant
upper bound (least -), supremum :
supérieure (borne -)
variety :
variété
au sens variété algébrique ou analytique, avec singularités. ne pas confondre avec manifold
vector (- space, - analysis, ...) :
vectoriel (espace, analyse, ...)
adjectif en français, nom apposé en anglais
Weil's theorem :
théorème de Weil
mais Weil height sans apostrophe, Hermite theorem sans apostrophe, Mordell-Weil theorem sans apostrophe
winding number (of a closed path) :
indice (d'un lacet par rapport à un point)
wlog (without loss of generality) :
sans perte de généralité
zen (= then) :
mézalor (= mais alors)
unique occurrence dans Samuel, th. alg des nombres, p62)
zero (set of measure -) :
nulle (ensemble de mesure -)