|
Calculus On Manifolds (book)
''Calculus on Manifolds: A Modern Approach to Classical Theorems of Advanced Calculus'' (1965) by Michael Spivak is a brief, rigorous, and modern textbook of multivariable calculus, differential forms, and integration on manifolds for advanced undergraduates. Description ''Calculus on Manifolds'' is a brief monograph on the theory of vector-valued functions of several real variables (''f'' : R''n''→R''m'') and differentiable manifolds in Euclidean space. In addition to extending the concepts of differentiation (including the inverse and implicit function theorems) and Riemann integration (including Fubini's theorem) to functions of several variables, the book treats the classical theorems of vector calculus, including those of Cauchy–Green, Ostrogradsky–Gauss (divergence theorem), and Kelvin–Stokes, in the language of differential forms on differentiable manifolds embedded in Euclidean space, and as corollaries of the generalized Stokes theorem on manifolds-with-bo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Michael Spivak
Michael David Spivak (25 May 19401 October 2020)Biographical sketch in Notices of the AMS', Vol. 32, 1985, p. 576. was an American mathematician specializing in differential geometry, an expositor of mathematics, and the founder of Publish-or-Perish Press. Spivak was the author of the five-volume ''A Comprehensive Introduction to Differential Geometry''. Biography Spivak was born in Queens, New York (state), New York. He received an Bachelor of Arts, A.B. from Harvard University in 1960, while in 1964 he received a Doctor of Philosophy, Ph.D. from Princeton University under the supervision of John Milnor, with thesis ''On Spaces Satisfying Poincaré Duality''. In 1985 Spivak received the Leroy P. Steele Prize. Spivak lectured on elementary physics. Spivak's book, ''Physics for Mathematicians: Mechanics I'' (published December 6, 2010), contains the material that these lectures stemmed from and more. Spivak was also the designer of the MathTime Professional 2 fonts (which are wi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Euclidean Space
Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, that is, in Euclid's Elements, Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are Euclidean spaces of any positive integer dimension (mathematics), dimension, including the three-dimensional space and the ''Euclidean plane'' (dimension two). The qualifier "Euclidean" is used to distinguish Euclidean spaces from other spaces that were later considered in physics and modern mathematics. Ancient History of geometry#Greek geometry, Greek geometers introduced Euclidean space for modeling the physical space. Their work was collected by the Greek mathematics, ancient Greek mathematician Euclid in his ''Elements'', with the great innovation of ''mathematical proof, proving'' all properties of the space as theorems, by starting from a few fundamental properties, called ''postulates'', which either were considered as eviden ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
James Munkres
James Raymond Munkres (born August 18, 1930) is a Professor Emeritus of mathematics at MIT and the author of several texts in the area of topology, including ''Topology'' (an undergraduate-level text), ''Analysis on Manifolds'', ''Elements of Algebraic Topology'', and ''Elementary Differential Topology''. He is also the author of ''Elementary Linear Algebra''. Munkres completed his undergraduate education at Nebraska Wesleyan UniversityMathematics '' The Tech'', Volume 119, Issue 33, August 27, 1999 and received his from the |
Chain (algebraic Topology)
In algebraic topology, a -chain is a formal linear combination of the -cells in a cell complex. In simplicial complexes (respectively, cubical complexes), -chains are combinations of -simplices (respectively, -cubes), but not necessarily connected. Chains are used in homology; the elements of a homology group are equivalence classes of chains. Definition For a simplicial complex X, the group C_n(X) of n-chains of X is given by: C_n(X) = \left\ where \sigma_i are singular n-simplices of X. Note that any element in C_n(X) not necessary to be a connected simplicial complex. Integration on chains Integration is defined on chains by taking the linear combination of integrals over the simplices in the chain with coefficients (which are typically integers). The set of all ''k''-chains forms a group and the sequence of these groups is called a chain complex. Boundary operator on chains The boundary of a chain is the linear combination of boundaries of the simplices in the chain. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Exterior Derivative
On a differentiable manifold, the exterior derivative extends the concept of the differential of a function to differential forms of higher degree. The exterior derivative was first described in its current form by Élie Cartan in 1899. The resulting calculus, known as exterior calculus, allows for a natural, metric-independent generalization of Stokes' theorem, Gauss's theorem, and Green's theorem from vector calculus. If a differential -form is thought of as measuring the flux through an infinitesimal - parallelotope at each point of the manifold, then its exterior derivative can be thought of as measuring the net flux through the boundary of a -parallelotope at each point. Definition The exterior derivative of a differential form of degree (also differential -form, or just -form for brevity here) is a differential form of degree . If is a smooth function (a -form), then the exterior derivative of is the differential of . That is, is the unique -form such that for e ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pullback (differential Geometry)
Suppose that is a smooth map between smooth manifolds ''M'' and ''N''. Then there is an associated linear map from the space of 1-forms on ''N'' (the linear space of sections of the cotangent bundle) to the space of 1-forms on ''M''. This linear map is known as the pullback (by ''φ''), and is frequently denoted by ''φ''∗. More generally, any covariant tensor field – in particular any differential form – on ''N'' may be pulled back to ''M'' using ''φ''. When the map ''φ'' is a diffeomorphism, then the pullback, together with the pushforward, can be used to transform any tensor field from ''N'' to ''M'' or vice versa. In particular, if ''φ'' is a diffeomorphism between open subsets of R''n'' and R''n'', viewed as a change of coordinates (perhaps between different charts on a manifold ''M''), then the pullback and pushforward describe the transformation properties of covariant and contravariant tensors used in more traditional (coordinate dependent) approaches ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tangent Space
In mathematics, the tangent space of a manifold generalizes to higher dimensions the notion of '' tangent planes'' to surfaces in three dimensions and ''tangent lines'' to curves in two dimensions. In the context of physics the tangent space to a manifold at a point can be viewed as the space of possible velocities for a particle moving on the manifold. Informal description In differential geometry, one can attach to every point x of a differentiable manifold a ''tangent space''—a real vector space that intuitively contains the possible directions in which one can tangentially pass through x . The elements of the tangent space at x are called the ''tangent vectors'' at x . This is a generalization of the notion of a vector, based at a given initial point, in a Euclidean space. The dimension of the tangent space at every point of a connected manifold is the same as that of the manifold itself. For example, if the given manifold is a 2 -sphere, then one can picture the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Multilinear Form
In abstract algebra and multilinear algebra, a multilinear form on a vector space V over a field K is a map :f\colon V^k \to K that is separately ''K''-linear in each of its ''k'' arguments. More generally, one can define multilinear forms on a module over a commutative ring. The rest of this article, however, will only consider multilinear forms on finite-dimensional vector spaces. A multilinear ''k''-form on V over \mathbf is called a (covariant) ''k''-tensor, and the vector space of such forms is usually denoted \mathcal^k(V) or \mathcal^k(V). Tensor product Given a ''k''-tensor f\in\mathcal^k(V) and an ''â„“''-tensor g\in\mathcal^\ell(V), a product f\otimes g\in\mathcal^(V), known as the tensor product, can be defined by the property : (f\otimes g)(v_1,\ldots,v_k,v_,\ldots, v_)=f(v_1,\ldots,v_k)g(v_,\ldots, v_), for all v_1,\ldots,v_\in V. The tensor product of multilinear forms is not commutative; however it is bilinear and associative: : f\otimes(ag_1+bg_2)=a(f\ot ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Vector Calculus
Vector calculus, or vector analysis, is concerned with differentiation and integration of vector fields, primarily in 3-dimensional Euclidean space \mathbb^3. The term "vector calculus" is sometimes used as a synonym for the broader subject of multivariable calculus, which spans vector calculus as well as partial differentiation and multiple integration. Vector calculus plays an important role in differential geometry and in the study of partial differential equations. It is used extensively in physics and engineering, especially in the description of electromagnetic fields, gravitational fields, and fluid flow. Vector calculus was developed from quaternion analysis by J. Willard Gibbs and Oliver Heaviside near the end of the 19th century, and most of the notation and terminology was established by Gibbs and Edwin Bidwell Wilson in their 1901 book, ''Vector Analysis''. In the conventional form using cross products, vector calculus does not generalize to higher dimensions ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sir George Stokes, 1st Baronet
Sir George Gabriel Stokes, 1st Baronet, (; 13 August 1819 – 1 February 1903) was an Irish English physicist and mathematician. Born in County Sligo, Ireland, Stokes spent all of his career at the University of Cambridge, where he was the Lucasian Professor of Mathematics from 1849 until his death in 1903. As a physicist, Stokes made seminal contributions to fluid mechanics, including the Navier–Stokes equations; and to physical optics, with notable works on polarization and fluorescence. As a mathematician, he popularised "Stokes' theorem" in vector calculus and contributed to the theory of asymptotic expansions. Stokes, along with Felix Hoppe-Seyler, first demonstrated the oxygen transport function of hemoglobin and showed color changes produced by aeration of hemoglobin solutions. Stokes was made a baronet by the British monarch in 1889. In 1893 he received the Royal Society's Copley Medal, then the most prestigious scientific prize in the world, "for his researches and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lord Kelvin
William Thomson, 1st Baron Kelvin, (26 June 182417 December 1907) was a British mathematician, Mathematical physics, mathematical physicist and engineer born in Belfast. Professor of Natural Philosophy (Glasgow), Professor of Natural Philosophy at the University of Glasgow for 53 years, he did important work in the mathematical analysis of electricity and formulation of the first and second laws of thermodynamics, and did much to unify the emerging discipline of physics in its contemporary form. He received the Royal Society's Copley Medal in 1883, was its President of the Royal Society, president 1890–1895, and in 1892 was the first British scientist to be elevated to the House of Lords. Absolute temperatures are stated in units of kelvin in his honour. While the existence of a coldest possible temperature (absolute zero) was known prior to his work, Kelvin is known for determining its correct value as approximately −273.15 degrees Celsius or −459.67 degrees Fahrenheit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Élie Cartan
Élie Joseph Cartan (; 9 April 1869 – 6 May 1951) was an influential French mathematician who did fundamental work in the theory of Lie groups, differential systems (coordinate-free geometric formulation of PDEs), and differential geometry. He also made significant contributions to general relativity and indirectly to quantum mechanics. He is widely regarded as one of the greatest mathematicians of the twentieth century. His son Henri Cartan was an influential mathematician working in algebraic topology. Life Élie Cartan was born 9 April 1869 in the village of Dolomieu, Isère to Joseph Cartan (1837–1917) and Anne Cottaz (1841–1927). Joseph Cartan was the village blacksmith; Élie Cartan recalled that his childhood had passed under "blows of the anvil, which started every morning from dawn", and that "his mother, during those rare minutes when she was free from taking care of the children and the house, was working with a spinning-wheel". Élie had an elder sister Je ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
