検索結果

<!--{{Hatnote|For the theorem about the real analytic Eisenstein series see [[Kronecker limit formula]].}} In [[mathematics]], '''Kronecker's theorem''' is either of two theorems named after [[Leopold Kronecker]]. …

{{See also|{{仮リンク|微分積分学の歴史|en|History of calculus}}}} …{{Harvnb|Boyer|1991}}.</ref> [[Isaac Newton]] referred to them as [[Method of Fluxions|fluxions]]. However, it was [[Gottfried Leibniz]] who coined the… …

…w=1up;seq=148 On the integration of discontinuous functions]". Proceedings of the London Mathematical Society. First series. 6: 140–153 …tive |journal=BSHM Bulletin Journal of the British Society for the History of Mathematics |volume=30 |issue=2 |pages=143–152 |doi=10.1080/17498430.2015.1 …

In [[geometry]], the '''hyperplane separation theorem''' is either of two theorems about disjoint [[convex set]]s in ''n''-dimensional [[Euclidea …rst version of the theorem, if both these sets are closed and at least one of them is compact, then there is a hyperplane in between them and even two pa …

…rdinates are used in the [[Hamiltonian mechanics|Hamiltonian formulation]] of [[classical mechanics]]. A closely related concept also appears in [[quantu …bstract 20th century definition of coordinates on the [[cotangent bundle]] of a [[manifold]].--> …

…'''automorphism group'''. It is, loosely speaking, the [[symmetry group]] of the object.--> …st general setting in which these words have meaning is an abstract branch of mathematics called [[category theory]]. Category theory deals with abstract …

[[数学]]における'''実閉体'''（じつへいたい、{{lang-en-short|''real closed field''}}）は[[実数]]体と一階の性質が同じである[[可換体|体]]を言う。実数体、実代数的数体、[[超実数]]体などがその例 # {{mvar|F}} は{{ill2|実閉環|en|real closed ring}}である。 …

…le]] over the circle, is not zero, whereas the first Stiefel–Whitney class of the [[trivial bundle|trivial line bundle]] over the circle, ''S''<sup>1</su …is an example of a '''Z'''/2'''Z'''-[[characteristic class]] associated to real vector bundles. …

{{cite book | author=J.H. Silverman | title=The Arithmetic of Dynamical Systems | url=http://www.math.brown.edu/~jhs/ADSHome.html | publ {{cite book | author=J.H. Silverman | title=The Arithmetic of Dynamical Systems | url=http://www.math.brown.edu/~jhs/ADSHome.html | publ …

…上に定義される<ref>{{Citation | last1=Mumford | first1=David | title=The red book of varieties and schemes | origyear=1967 | publisher=[[Springer-Verlag]] | loc …ore if ''S'' is any set of homogeneous polynomials we may reasonably speak of …

…t is the way it restricts the possible topological types of the underlying real 4-manifold. It was proved independently by {{harvs|txt|last=Yau|first=S.-T. …aracteristic: {{harv|Lang|1983}} and {{harvtxt|Easton|2008}} gave examples of surfaces in characteristic ''p'', such as [[generalized Raynaud surface]]s, …

…e decomposition, on the other hand, can only be applied to certain classes of square matrices. Nevertheless, the two decompositions are related. …values and singular vectors coincide with the eigenvalues and eigenvectors of ''M'', …

| title = [[The Art of Computer Programming]] &ndash; Vol. 2: Seminumerical Algorithms |title = The development of multiset theory …

#''[[Measure (mathematics)|Measure]] and Category&nbsp;- A Survey of the Analogies between Topological and Measure Spaces'', [[John C. Oxtoby]] #''Functions of One Complex Variable I'', [[John B. Conway]] (1978, 2nd ed., {{ISBN2|978-0- …

…spaces were first understood as spaces of parameters rather than as spaces of objects.--> …e set of interest. The moduli space is therefore the set of positive real numbers. …

'''数学基礎論'''<br>　'''foundations of mathematics'''<br> ''Handbook of Mathematical Logic'' は数理論理学を大まかに次の4つの領域に分類している： …

<!--{{About|the theory of representations of algebraic structures by linear transformations and matrices| representation …ng'' their [[element (set theory)|elements]] as [[linear transformation]]s of [[vector space]]s, and studies …

…fferentiable function]]s on that manifold. According to the basic insights of [[Marston Morse]], a typical differentiable function on a manifold will ref …nctional]] on paths). These techniques were used in [[Raoul Bott]]'s proof of his [[Bott periodicity theorem|periodicity theorem]]. …

…try]], where subvarieties are intersected on an [[algebraic variety]], and of [[algebraic topology]], where intersections are computed within the [[cohom …group]] (what is usually called the 'middle dimension') by the evaluation of the [[cup product]] on the [[fundamental class]] <math>[M] \in H_{2n}(M,\pa …

…ally but are nevertheless equivalent when employed as [[extra dimension]]s of [[string theory]].--> …mathematical proof|rigorously prove]] some of the mathematical predictions of mirror symmetry.<ref>Givental 1996, 1998; Lian, Liu, Yau 1997, 1999, 2000</ …