X
トップページ⇒数学
68コメント30KB
フランス語の数学記事・論文を読むスレ
■ このスレッドは過去ログ倉庫に格納されています
0018１３２人目の素数さん
垢版 |
2020/08/09(日) 14:17:56.56ID:TfE8NH7p
https://fr.wikipedia.org/wiki/Forme_modulaire

"En mathématiques, une forme modulaire est une fonction analytique sur le demi-plan de Poincaré satisfaisant à une certaine sorte d'équation fonctionnelle et de condition de croissance.
La théorie des formes modulaires est par conséquent dans la lignée de l'analyse complexe mais l'importance principale de la théorie tient dans ses connexions avec la théorie des nombres."

In mathematics, a modular form is a analytic function on the Poincaré upper half plane satisfying a certain kind of functional equations and a growth condition.
The theory of modular forms is therefore in the line of complex analysis, but the principal importance of the theory lies in it's connections with number theory.
0020１３２人目の素数さん
垢版 |
2020/08/12(水) 14:39:35.03ID:9aGtcnhB
"L'ensemble des automorphismes de l'extension possède une structure de groupe appelée groupe de Galois. Cette structure de groupe caractérise l'extension, ainsi que ses sous-corps."

The set of automorphisms of the extension possesses a structure of group called Galois group. This structure of group characterizes the extension, as well as its subfields.
0022１３２人目の素数さん
垢版 |
2020/08/18(火) 18:51:13.51ID:q70pDUcv
"En mathématiques, et plus précisément en analyse complexe, le théorème de l'image ouverte affirme que les fonctions holomorphes non constantes sont ouvertes."

In mathematics, more precisely in complex analysis, the open mapping theorem states that non-constant holomorphic functions are open.
0023１３２人目の素数さん
垢版 |
2020/08/18(火) 18:59:31.08ID:q70pDUcv
"Soit U un ouvert connexe du plan complexe C et f : U → C une fonction holomorphe non constante ; alors f est une application ouverte, c'est-à-dire qu'elle envoie les sous-ensembles ouverts de U vers des ouverts de C. "

Let U be a connected open set of the complex plane C, and f : U → C be a non-constant holomorphic function, then f is a open map, i.e. it sends the open subsets of U to open subsets of C.
0024１３２人目の素数さん
垢版 |
2020/08/18(火) 19:08:08.74ID:q70pDUcv
"Nous voulons montrer que tout point de f(U) est intérieur, autrement dit est contenu dans un disque inclus dans f(U). "

We want to show that all points of f(U) are interior, in other words they are contained in a disk included in f(U).
0025１３２人目の素数さん
垢版 |
2020/08/18(火) 19:11:04.96ID:q70pDUcv
"Soit w0 = f(z0) un point arbitraire de f(U) (avec z0 dans U)."

Let w0 = f(z0) be an arbitrary point of f(U) (with z0 in U).
0026１３２人目の素数さん
垢版 |
2020/08/18(火) 19:13:42.80ID:q70pDUcv
"U étant ouvert, il existe d > 0 tel que B, le disque fermé de centre z0 et de rayon d, soit inclus dans U."

Since U is open, there exists d > 0 such that B, the closed disk whose center is z0 and radius is d, is included in U.
0027１３２人目の素数さん
垢版 |
2020/08/18(火) 19:17:17.63ID:q70pDUcv
"f étant non constante sur U et U étant connexe, f est non constante sur B."

Since f is non-constant on U and U is connected, f is non-constant on B.

※ もしfがB上定数関数なら、一致の定理よりU上でも定数関数となる
0028１３２人目の素数さん
垢版 |
2020/08/18(火) 19:23:45.14ID:q70pDUcv
"La fonction g(z) = f(z) – w0 est analytique non constante, et admet z0 comme racine ; d'après le principe des zéros isolés, nous pouvons donc choisir d pour que g n'ait pas d'autres racines dans B. "

The function g(z) = f(z) - w0 is non-constant and analytic, and z0 is its root ; since zeros of analytic functions are isolated, we can choose d such that g doesn't have other zeros in B.
0029１３２人目の素数さん
垢版 |
2020/08/18(火) 19:26:40.20ID:q70pDUcv
"Soit alors e le minimum de |g(z)| pour z sur le cercle frontière de B , et soit D le disque de centre w0 et de rayon e."

Let e be the minimum value of |g(z)| for z in the border circle of B, and D be disk of center w0 and radius e.
0030１３２人目の素数さん
垢版 |
2020/08/18(火) 19:49:54.83ID:q70pDUcv
"D'après le théorème de Rouché, la fonction g(z) = f(z) – w0 a le même nombre de racines (comptées avec multiplicités) dans B que f(z) – w pour tout w à une distance strictement inférieure à e de w0. "

According to Rouché's theorem, the function g(z) = f(z) - w0 has the same number of roots (counting multiplicity) in B as f(z) - w for all w whose distance from w0 strictly less than e.
0031１３２人目の素数さん
垢版 |
2020/08/18(火) 19:52:38.84ID:q5vahvSt
"Ainsi, pour chaque w dans D, il existe au moins un z1 dans B tel que f(z1) = w. Le disque D est donc contenu dans f(B), sous-ensemble de f(U) ; w0 est donc un point intérieur de f(U)."

So, for every w in D, there exists at least one z1 in B such that f(z1) = w. The disk D is therefore contained in f(B), a subset of f(U); w0 is therefore an interior point of f(U).
0033１３２人目の素数さん
垢版 |
2020/08/18(火) 20:11:00.99ID:yCXoFyds
"Ce théorème est un exemple des importantes différences entre les applications holomorphes et les fonctions R-différentiables de C vers C :
la fonction de variable complexe z ↦ |z| est R-différentiable et de classe C^∞, mais n'est clairement pas ouverte."

This theorem is an example of impotant differences between holomorphic maps and R-differentiable functions from C to C :
the function of complex variables z ↦ |z| is R-differentiable and of C^∞, but clearly not open.
0034１３２人目の素数さん
垢版 |
2020/08/18(火) 20:18:37.95ID:yCXoFyds
"Elle n'est même pas ouverte comme application de C dans R puisque son image est l'intervalle fermé [0, +∞). De même, il n'y a pas d'équivalent pour les fonctions de variable réelle."

It's not open even as map from C to R since its image is the closed interval [0, +∞). Likewise, there is no equivalent for real variable functions.
0037１３２人目の素数さん
垢版 |
2020/08/23(日) 14:03:24.96ID:uiIqmWWv
"En géométrie différentielle, une forme différentielle est la donnée d'un champ d'applications multilinéaires alternées sur les espaces tangents d'une variété différentielle possédant une certaine régularité."

In differential geometry, a differential form is the data of a field of alternative multilinear maps on the tangent spaces of a differential variety possessing a certain regularity.
0038１３２人目の素数さん
垢版 |
2020/08/23(日) 14:11:33.40ID:O5SmA57A
"Le degré des formes différentielles désigne le degré des applications multilinéaires."

The degree of differential forms means the degree of multilinear maps.
0039１３２人目の素数さん
垢版 |
2020/08/24(月) 19:47:32.04ID:EzzZhtyD
https://fr.wikipedia.org/wiki/Groupe_fondamental

"En mathématiques, et plus spécifiquement en topologie algébrique, le groupe fondamental, ou groupe de Poincaré, est un invariant topologique.
Le groupe fondamental d'un espace topologique pointé (X, p) est, par définition, l'ensemble des classes d'homotopie de lacets (chemins fermés) de X de base p.
C'est un groupe dont la loi de composition interne est induite par la concaténation (juxtaposition) des arcs."

In mathematics, more specifically in algebraic topology, the fundamental group or Poincaré group is a topological invariant.
The fundamental group of pointed topological space (X, p) is, by definition, the set of homotopy classes of loops (closed pathes) of X of base p.
This is a group whose law of internal composition is induced by the concatenation (juxtaposition) of the arcs.
0040１３２人目の素数さん
垢版 |
2020/08/25(火) 11:13:52.96ID:jXmdneet
https://fr.wikipedia.org/wiki/Cohomologie_des_groupes_profinis

"La cohomologie des groupes profinis est une théorie cohomologique, reposant sur la théorie des groupes profinis.
Elle consiste en un raffinement de la cohomologie des groupes classique, principalement par la prise en compte de la nature topologique des groupes profinis.
Elle s'est développée par la motivation essentielle que constitue la cohomologie galoisienne et ses applications en théorie des nombres."

The cohomology of profinite group is a cohomology theory based on the theory of profinite groups.
It consists of a refinement of the classical group cohomology, mainly by taking into account the topological nature of profinite groups.
It developed by the essential motivation that constitutes Galois cohomology and its applications in number theory .
0041１３２人目の素数さん
垢版 |
2020/08/25(火) 15:48:23.72ID:DL00cij9
https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_du_point_fixe_de_Lefschetz


"En mathématiques, le théorème du point fixe de Lefschetz est une formule qui compte le nombre de points fixes d'une application continue d'un espace compact X dans lui-même en utilisant les traces des endomorphismes qu'elle induit sur l'homologie de X. Il est nommé d'après Solomon Lefschetz qui l'a démontré en 1926."

In mathematics, the Lefschetz's fixed point theorem is a formula which counts the number of fixed points of a continuous map from a compact space into itself by using the traces of endomorhisms induced on the homology of X. It is named after Solomon Lefschetz who proved it in 1926.
0042１３２人目の素数さん
垢版 |
2020/08/25(火) 15:50:54.92ID:VFY7JY02
当たり前だけど、日常会話で使われる単語の方がフランス語独自のものが多いので、数学記事よりそちらの方が難しく感じる（笑）
0043１３２人目の素数さん
垢版 |
2020/08/25(火) 15:51:46.51ID:VFY7JY02
数学記事読むだけならフランス語のハードルである時制や活用を覚えなくてよいのは嬉しい
0048１３２人目の素数さん
垢版 |
2020/08/26(水) 12:56:52.29ID:4eNlG0dZ
"En mathématiques, l'expression « à quelque chose près » peut avoir plusieurs sens différents."

In mathematics, the expression 'up to something' can have many different senses.
0049１３２人目の素数さん
垢版 |
2020/08/26(水) 14:41:38.22ID:kS9NnGno
"Elle peut indiquer la précision d'une valeur approchée ou d'une approximation. Par exemple, « a est une valeur approchée de x à ε près » signifie que la condition |a-x| < ε est vérifiée."

It can indicate the precision of a approximate value or an approximation. For example, 'a is an approximate value of x up to ε' means that the condition |a-x| < ε holds.
0050１３２人目の素数さん
垢版 |
2020/08/26(水) 14:46:52.25ID:kS9NnGno
"Elle peut aussi signifier que des éléments d'une certaine classe d'équivalence doivent être considérés comme ne faisant qu'un. "

It can also mean that elements of certain equivalence classes have to be considered as one.
0051１３２人目の素数さん
垢版 |
2020/08/26(水) 16:15:10.14ID:n1uIPd7g
"Dans l'expression à xxx près, xxx représente alors une propriété ou un processus qui transforment un élément en un autre de la même classe d'équivalence, c'est-à-dire en un élément qui est considéré comme équivalent au premier."

In the expression "up to xxx", xxx then represent a property or a process which transforms a element into another in the same equivalence classes, i.e. an element which is considered equivalent to the first one.
0052１３２人目の素数さん
垢版 |
2020/08/26(水) 16:16:20.22ID:n1uIPd7g
"Dans l'expression à xxx près, xxx représente alors une propriété ou un processus qui transforment un élément en un autre de la même classe d'équivalence, c'est-à-dire en un élément qui est considéré comme équivalent au premier."

In the expression "up to xxx", xxx then represents a property or a process which transforms a element into another in the same equivalence classes, i.e. an element which is considered equivalent to the first one.
0054１３２人目の素数さん
垢版 |
2020/08/26(水) 18:22:08.55ID:78T0Vcm4
"En mathématique, un faisceau de modules est un faisceau sur un espace localement annelé (X, O_X) qui possède une structure de module sur le faisceau structural O_X."

In mathematics, a sheaf of modules is s sheaf on a locally ringed space (X, O_X which possesses a structure of module over the O_X structural sheaf.
0055１３２人目の素数さん
垢版 |
2020/08/26(水) 18:33:35.44ID:78T0Vcm4
"Sur un espace localement annelé (X, O_X), un faisceau de O_X-modules (ou un O_X-Module) est un faisceau F sur X tel que F(U) soit un O_X(U)-module pour tout ouvert U, et que pour tout ouvert V contenu dans U, l'application restriction F(U) → F(V) soit compatible avec les structures de modules: pour tous a ∈ O_X(U), f ∈ F(U), on a

(af)|_{V}=a|_{V}f|_{V}.

Les notions de sous-O_X-modules et de morphismes de O_X-modules sont claires."

On a locally ringed space (X, O_X), a sheaf of O_X-modules (or a O_X-module) is a sheaf F on X such that F(U) is O_X(U)-module for any open sets U, and that for any open sets V contained U, the restriction map F(U) → F(V) is compatible with the structures of modules: for any a ∈ O_X(U), f ∈ F(U), we have

(af)|_{V}=a|_{V}f|_{V}.

The notions of sub-O_X-modules and morphisms of O_X-modules are clear.
0056１３２人目の素数さん
垢版 |
2020/08/26(水) 18:39:30.54ID:78T0Vcm4
"Le faisceau structural O_X est un faisceau de O_X-modules. Les sous-modules de O_X sont des faisceaux d'idéaux de O_X."

The structure sheaf O_X id a sheaf of O_X-modules. The sub-modules of O_X are sheaves of ideals.of O_X.
0057１３２人目の素数さん
垢版 |
2020/08/26(水) 18:52:00.45ID:78T0Vcm4
"Si f:F→ G est un morphisme de faisceaux de O_X-modules, alors le noyau, l'image et le conoyau de f sont des faisceaux de O_X-modules. Le quotient de G par un
sous-O_X-Module est un O_X-Module."

If f: F → G is a morphism of sheaves of O_X-modules, then the kernel, the image and the cokernel of f are sheaves of O_X-modules. The quotient of G by a sub-O_X-modules is a O_X-module.
0059１３２人目の素数さん
垢版 |
2020/08/28(金) 17:46:01.10ID:JFQBgJyg
※ Qの代数閉包（Qの上にバー）は、Q^で書きます。

"La décomposition en produit eulérien, et l'équation fonctionnelle, des séries de Dirichlet associées par Hecke aux formes modulaires de poids 1 suggèrent que celles-ci correspondent à des fonctions L d'Artin de degré 2 du corps Q, autrement dit à des représentations de Gal(Q^/Q) dans GL2(C). C'est une telle correspondance, conjecturée par Langlands, que nous établissons ici."

The decomposition into Euler product, and the functional equation, of Dirichlet series associated by Hecke with modular forms of weight 1 suggests that these correspond to Artin's L functions of degree 2 of the field Q, in other words representations of Gal(Q^/Q) in GL2(C). This is such a correspondence, conjectured by Langlands, that we establish here.
0060１３２人目の素数さん
垢版 |
2020/08/28(金) 17:46:25.45ID:JFQBgJyg
"Les trois premiers paragraphes sont préliminaires. Le paragraphe 4 contient l'énoncé du théorème principal, et quelques compléments. La démonstration occupe les paragraphes 5 à 9. Son principe est le suivant:
on commence par construire, pour tout nombre premier l, une représentation de Gal(Q^/Q) en caractéristique l (cf. §6);
on montre ensuite que les images de Gal(Q^/Q) dans ces diverses représentations sont « petites », ce qui permet de les relever en caractéristique 0, et d'obtenir la représentation complexe cherchée (§§ 7 et 8);
la « petitesse » en question résulte elle-même d'une majoration en moyenne des valeurs propres des opérateurs de Hecke (Rankin, cf. § 5).
Le paragraphe 9 contient une estimation des coefficients des formes modulaires de poids 1."

The first three sections is preliminaries. The section 4 contains the statement of the main theorem, and some complements. The proof occupies the section 5 to 9. Its principle is as follows:
we start by construncting, for any prime number l, a representation of Gal(Q^/Q) of characteristic l (cf. §6);
we show then that the images of Gal(Q^/Q) in those various representations are « small », which makes it possible to lift them to characteristic 0, and to obtain the complex representation to be sought (§ 7 and 8).
the « smallness » in question results itself from an increase of average of eigenvalues of Hecke operators (Rankin, cf. §5).
The section 9 contains a estimation of coefficients of mofular forms of weight 1.
0061１３２人目の素数さん
垢版 |
2020/08/28(金) 17:46:31.24ID:JFQBgJyg
"Signalons que nous avons utilisé en un point essentiel (§6, th. 6.1) des résultats démontrés par l'un de nous (P. Deligne), mais dont aucune démonstration complète n'a encore été publiée; en attendant une telle publication (ainsi que celle de SGA 5, dont ils dépendent), nous demandons au lecteur de bien vouloir les admettre."

Let us mention that we've used at an essential point (§6, th.6.1) results proved by one of us (P. Deligne), but of which no complete proof has yet been published; pending a such publication (as well as that of SGA5, on which they depend ), we ask the reader to admit them.
0064１３２人目の素数さん
垢版 |
2020/08/31(月) 19:10:03.10ID:A/gT2rBw
"Ces fonctions sont liées entre elles par de nombreuses congruences, qu’il n’est guère possible de résumer en un exposé ; on en trouvera des échantillons dans [1], [9], [10], [11], [15]. Je me bornerai à un théorème de structure (§ 1) et à deux applications :
l’une aux valeurs des fonctions zêta aux entiers négatifs (§ 2), l’autre aux représentations l-adiques attachées aux formes modulaires (§ 3). La méthode suivie est due à Swinnerton-Dyer [18]."

These functions is connected with each other by numerous congruences, which which it is hardly possible to summarize in a presentation; we can find examples in [1], [9], [10], [11], [15]. I limit it to a theorem of structure (§1) and two applications :
the one to the values of zeta functions with negative integers (§ 2), the other to l-adic representations attached to modular forms (§ 3). The method followed is due to Swinnerton-Dyer [18].
0067１３２人目の素数さん
垢版 |
2020/11/07(土) 14:36:40.32ID:89IlukAJ
あああああ。
0068１３２人目の素数さん
垢版 |
2021/03/04(木) 21:38:19.69ID:TUpzPvIJ
> En mathématiques, et plus spécifiquement en topologie algébrique, le groupe fondamental, ou groupe de Poincaré, est un invariant topologique.
> Le groupe fondamental d'un espace topologique pointé (X, p) est, par définition, l'ensemble des classes d'homotopie de lacets (chemins fermés) de X de base p.
> C'est un groupe dont la loi de composition interne est induite par la concaténation (juxtaposition) des arcs.

数学、特に代数トポロジーにおいて、基本群またはポアンカレ群とは、ある位相不変量である。点付き位相空間(X, p)の基本群は、定義より、Xのpを基点とする閉路（閉じた道）のホモトピー類である。これは、道の結合を乗法とする群になる。
■ このスレッドは過去ログ倉庫に格納されています
ニューススポーツなんでも実況